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.
- {BBB+92} C. H. Bennet, F. Bessette, G. Brassard, L. Salvail, and J. Smolin. Experimental quantum cryptography. Journal of Cryptology, 5(1):3--28, 1992. Google ScholarDigital Library
- {BBC+93} C. H. Bennet, G. Brassard, C. Crepeau, R. Josza, A. Peres, and W. K. Wooters. Teleporting unknown quantum states via dual classical and EPR chnnels. Physical Review Letters, 70(13):1895--1899, 1993.Google ScholarCross Ref
- {BDHT99} H. Buhrman, W. van Dam, P. Hoyer, and A. Tapp. Multiparty quantum communication complexity. Physical Review A, 60(4):2737--2741, 1999.Google ScholarCross Ref
- {Ben92} C. H. Bennet. Quantum cryptography using any two nonorthogonal states. Physical Review Letters, 68(21):3121--3124, 1992.Google ScholarCross Ref
- {CFS02} C. M. Caves, C. A. Fuchs, and R. Schack. Quantum probabilities as Bayesian probabilities. Physical Review A, 65:022305, 2002.Google ScholarCross Ref
- {EWL99} J. Eisert, M. Wilkens, and M. Lewenstein. Quantum games and quantum strategies. Physical Review Letters, 83:3077--3088, 1999.Google ScholarCross Ref
- {FHMV95} R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995. Google ScholarDigital Library
- {HM90} J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549--587, 1990. Google ScholarDigital Library
- {IY94} A. Imamoglu and Y. Yamamoto. Turnstile device for heralded single photons: Coulomb blockade of electron and hole tunneling in quantum confined p-i-n heterojunctions. Physical Review Letters, 72(2):210--213, 1994.Google ScholarCross Ref
- {MP03} R. van der Meyden and M. Patra. A logic for probability in quantum systems. submitted for publication, 2003.Google Scholar
- {NC00} M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. CUP, Cambridge, UK., 2000.Google Scholar
- {Wig62} E.P. Wigner. Remarks on the mind-body question. In I.J Good, editor, The Scientist Speculates, pages 284--301. Heinemann, London, 1962.Google Scholar
Index Terms
- Knowledge in quantum systems
Recommendations
Quantum correlation swapping
Quantum correlations (QCs), including quantum entanglement and those different, are important quantum resources and have attracted much attention recently. Quantum entanglement swapping as a kernel technique has already been applied to quantum repeaters ...
Can quantum discord increase in a quantum communication task?
Quantum teleportation of an unknown quantum state is one of the few communication tasks which has no classical counterpart. Usually the aim of teleportation is to send an unknown quantum state to a receiver. But is it possible in some way that the ...
Quantum discord amplification of fermionic systems in an accelerated frame
Quantum discord of fermionic systems in the relativistic regime, that is, beyond the single-mode approximation (SMA) is investigated. It is shown that quantum discord is amplified for the fermionic system in non-inertial frames irrespective of the ...
Comments