Correlated Knowledge: an Epistemic-Logic View on Quantum Entanglement

In this paper we give a logical analysis of both classical and quantum correlations. We propose a new logical system to reason about the information carried by a complex system composed of several parts. Our formalism is based on an extension of epistemic logic with operators for “group knowledge” (the logic GEL), further extended with atomic sentences describing the results of “joint observations” (the logic LCK). As models we introduce correlation models, as a generalization of the standard representation of epistemic models as vector models. We give sound and complete axiomatizations for our logics, and we use this setting to investigate the relationship between the information carried by each of the parts of a complex system and the information carried by the whole system. In particular we distinguish between the “distributed information”, obtainable by simply pooling together all the information that can be separately observed in any of the parts, and “correlated information”, obtainable only by doing joint observations of the parts (and pooling together the results). Our formalism throws a new light on the difference between classical and quantum information and gives rise to an informational-logical characterization of the notion of “quantum entanglement”.

[1]  S. Smets,et al.  QS 7 Complete Axiomatizations for Quantum Actions , 2005 .

[2]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[3]  Keith Devlin,et al.  Logic and information , 1991 .

[4]  Bill Edwards,et al.  Toy quantum categories , 2008, 0808.1037.

[5]  A. Baltag,et al.  EPISTEMIC LOGIC AND INFORMATION UPDATE , 2008 .

[6]  M. L. Dalla Chiara,et al.  Quantum Computational Logics. A Survey , 2003 .

[7]  Alexandru Baltag,et al.  Correlated Information: A Logic for Multi-Partite Quantum Systems , 2011, QPL@MFPS.

[8]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[9]  Maricarmen Martinez,et al.  The Stories of Logic and Information , 2006 .

[10]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[11]  Roberto Giuntini,et al.  Quantum computational logic , 2004 .

[12]  Alexandru Baltag,et al.  LQP: the dynamic logic of quantum information , 2006, Mathematical Structures in Computer Science.

[13]  Angus Macintyre,et al.  Trends in Logic , 2001 .

[14]  Samson Abramsky,et al.  A categorical quantum logic , 2006, Math. Struct. Comput. Sci..

[15]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[16]  Bill Edwards,et al.  Toy Quantum Categories (Extended Abstract) , 2011, QPL/DCM@ICALP.

[17]  Stan Gudder,et al.  Quantum Computational Logic , 2003 .

[18]  Dirk Aerts Description of Compound Physical Systems and Logical Interaction of Physical Systems , 1981 .

[19]  Alexander K. Petrenko,et al.  Electronic Notes in Theoretical Computer Science , 2009 .

[20]  Johan van Benthem,et al.  INFORMATION AS CORRELATION VS. INFORMATION AS RANGE: a proposal for identifying and merging two basic logical traditions , 2022 .

[21]  Samson Abramsky,et al.  A categorical semantics of quantum protocols , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

[22]  Alexandru Baltag,et al.  A Dynamic-Logical Perspective on Quantum Behavior , 2008, Stud Logica.

[23]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[24]  Alexandru Baltag,et al.  The Logic of Quantum Programs , 2004, ArXiv.