Contextuality and the fundamental theorems of quantum mechanics
arXiv:1910.09591 · doi:10.1063/5.0012855
Abstract
Contextuality is a key feature of quantum mechanics, as was first brought to light by Bohr and later realised more technically by Kochen and Specker. Isham and Butterfield put contextuality at the heart of their topos-based formalism and gave a reformulation of the Kochen-Specker theorem in the language of presheaves. Here, we broaden this perspective considerably (partly drawing on existing, but scattered results) and show that apart from the Kochen-Specker theorem, also Wigner's theorem, Gleason's theorem, and Bell's theorem relate fundamentally to contextuality. We provide reformulations of the theorems using the language of presheaves over contexts and give general versions valid for von Neumann algebras. This shows that a very substantial part of the structure of quantum theory is encoded by contextuality.
arXiv commentv2: minor revisions, added definition of Bell presheaf, adjustment of Bell's theorem in contextual form
References in corpus (31)
- Significant-loophole-free test of Bell's theorem with entangled photons
- A strong loophole-free test of local realism
- Hidden Variables and the Two Theorems of John Bell
- Contextuality for preparations, transformations, and unsharp measurements
- Contextuality supplies the magic for quantum computation
- The Free Will Theorem
- Quantum states and generalized observables: a simple proof of Gleason's theorem
- Specker's Parable of the Over-protective Seer: A Road to Contextuality, Nonlocality and Complementarity (PLUS AN ERRATUM)
- Contextuality in Measurement-based Quantum Computation
- Computational power of correlations
- The contextual fraction as a measure of contextuality
- Local Quantum Measurement and No-Signaling Imply Quantum Correlations
- `What is a Thing?': Topos Theory in the Foundations of Physics
- A topos for algebraic quantum theory
- The Cohomology of Non-Locality and Contextuality
- Kochen-Specker theorem for von Neumann algebras
- Equivalence between contextuality and negativity of the Wigner function for qudits
- Contextuality as a resource for measurement-based quantum computation beyond qubits
- Abelian subalgebras and the Jordan structure of a von Neumann algebra
- A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations
- A topos perspective on the Kochen-Specker theorem: II. Conceptual Aspects, and Classical Analogues:
- The Expectation Monad in Quantum Foundations
- Quantum Measurements and Contextuality
- On the Cohomology of Contextuality
- An Algebraic Approach to Koopman Classical Mechanics
- Dynamics and statistics in the operator algebra of quantum mechanics
- Gelfand-type duality for commutative von Neumann algebras
- Flows on Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras and Time Evolution of Quantum Systems
- Contextuality and bundle diagrams
- No-signalling, Contextuality, and the Arrow of Time
- Observables IV: The presheaf perspective