{
  "annotation_id": "4a5cc48c-23d8-418b-a499-abfec8d5ed9e",
  "date_created": "2026-03-02T18:02:20.033000Z",
  "date_modified": "2026-03-02T18:02:20.033000Z",
  "file_hash": "6e0df6a2a79aa0195b9bcb5f8c695759cbd903c839875f6b52133d2243c24f0b",
  "private": false,
  "record": {
    "abstract": "We construct a formal framework for investigating epistemic and temporal\nnotions in the context of distributed quantum computation. While we rely on\nstructures developed earlier, we stress that our notion of quantum knowledge\nmakes sense more generally in any agent-based model for distributed quantum\nsystems. Several arguments are given to support our view that an agent\u0027s\npossibility relation should not be based on the reduced density matrix, but\nrather on local classical states and local quantum operations. In this way, we\nare able to analyse distributed primitives such as superdense coding and\nteleportation, obtaining interesting conclusions as to how the knowledge of\nindividual agents evolves. We show explicitly that the knowledge transfer in\nteleportation is essentially classical, in that eventually, the receiving agent\nknows that its state is equal to the initial state of the sender. The relevant\nepistemic statements for teleportation deal with this correlation rather than\nwith the actual quantum state, which is unknown throughout the protocol.",
    "arxiv_id": "quant-ph/0507176",
    "authors": [
      "Ellie D\u0027Hondt",
      "Prakash Panangaden"
    ],
    "categories": [
      "quant-ph"
    ],
    "journal_ref": "Proceedings of FSTTCS05, LNCS vol. 3821, 0544c, 2005",
    "title": "Reasoning about quantum knowledge",
    "url": "https://arxiv.org/abs/quant-ph/0507176"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "cd89e13d-1818-4669-84bc-bb65bd10c8ca",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}