Knowledge in quantum systems
- 20 June 2003
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 104-117
- https://doi.org/10.1145/846241.846257
Abstract
This paper applies to quantum systems a modelling for the logic of knowledge, originally developed for reasoning about distributed systems, but since then applied to game theory, computer security and artificial intelligence. A formal model of quantum message passing systems is developed and the question of how one might define the semantics of a modal operator for knowledge in this model is considered. It is argued that there are at least two plausible semantics, depending on whether the agents are permitted to make use of their quantum state in determining what they know, and on whether one is dealing with single instances of quantum systems, or ensembles. The framework is illustrated using a number of examples from the quantum computing literature, including protocols for quantum key distribution and teleportation.Keywords
This publication has 8 references indexed in Scilit:
- Quantum probabilities as Bayesian probabilitiesPhysical Review A, 2002
- Quantum Games and Quantum StrategiesPhysical Review Letters, 1999
- Multiparty quantum communication complexityPhysical Review A, 1999
- Turnstile device for heralded single photons: Coulomb blockade of electron and hole tunneling in quantum confinedp-i-nheterojunctionsPhysical Review Letters, 1994
- Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channelsPhysical Review Letters, 1993
- Quantum cryptography using any two nonorthogonal statesPhysical Review Letters, 1992
- Experimental quantum cryptographyJournal of Cryptology, 1992
- Knowledge and common knowledge in a distributed environmentJournal of the ACM, 1990