Contextuality beyond the Kochen-Specker theorem

Abstract

When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis "noncontextuality", an instance of Leibniz's principle of the identity of indiscernibles. Read in the contrapositive, this hypothesis entails that any physical distinctions between two experimental procedures must necessarily lead to a difference in their operational statistics. The results I present in this thesis concern the failure of this hypothesis -- a failure dubbed "contextuality" -- when one tries to embed an operational theory (such as quantum theory) in the ontological models framework. The Kochen-Specker theorem demonstrates the failure of noncontextuality for deterministic ontological models of quantum theory, i.e., those ontological models where the ontic/physical state of the system fixes the outcome of any projective measurement on the system in a deterministic manner. This thesis goes beyond the Kochen-Specker (KS) theorem by asking what operational facts must be verified in experiments to conclude that Nature does not admit noncontextual ontological models, not even indeterministic ones. This leads to noncontextuality inequalities that are robust to noise in the preparations and measurements. In the particular case of quantum theory, these inequalities are meaningful even when unsharp measurements (or POVMs) are allowed, a feature not shared by the traditional approach to KS-noncontextuality where unsharp measurements are excluded by fiat: allowing them renders even trivial POVMs (proportional to identity) maximally KS-contextual. The sense in which trivial POVMs are indeed "trivial" (or "noncontextual") is clear in our approach: they are simply too noisy to lead to violation of our noncontextuality inequalities.

Introductory chapter contains new material, in particular a proof (w/o using maximal psi-epistemicity) that preparation noncontextuality implies KS-noncontextuality for ontological models of quantum theory. Preliminary results from unpublished work (in Chapter 7) will be substantially updated in a forthcoming paper. Defence talk here: https://goo.gl/b3FUV0

References in corpus (10)

• Significant-loophole-free test of Bell's theorem with entangled photons
• Hidden Variables and the Two Theorems of John Bell
• A simple test for hidden variables in spin-1 system
• Experimentally testable state-independent quantum contextuality
• Is the quantum state real? An extended review of $\psi$-ontology theorems
• Negativity and contextuality are equivalent notions of nonclassicality
• Coexistence of qubit effects
• E. Specker: "The logic of non-simultaneously decidable propositions" (1960)
• A note on the joint measurability of POVMs and its implications for contextuality
• Noncontextuality, Finite Precision Measurement and the Kochen-Specker Theorem

Cited by in corpus (7)

• Uniqueness of noncontextual models for stabilizer subtheories
• Contextuality without incompatibility
• Contextuality in entanglement-assisted one-shot classical communication
• Coherence and contextuality in a Mach-Zehnder interferometer
• Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem
• Using a resource theoretic perspective to witness and engineer quantum generalized contextuality for prepare-and-measure scenarios
• Contextuality, Witness of Quantum Weirdness