Generalised Kochen-Specker Theorem for Finite Non-Deterministic Outcome Assignments

Abstract

The Kochen-Specker (KS) theorem is a cornerstone result in quantum foundations, establishing that quantum correlations in Hilbert spaces of dimension $d\ge 3$ cannot be explained by (consistent) hidden variable theories that assign a single deterministic outcome to each measurement. Specifically, there exist finite sets of vectors in these dimensions such that no non-contextual deterministic ($\{0,1\}$) outcome assignment is possible obeying the rules of exclusivity and completeness - that the sum of value assignments to any $d$ mutually orthogonal vectors be equal to $1$. Another central result in quantum foundations is Gleason's theorem that justifies the Born rule as a mathematical consequence of the quantum formalism. The KS theorem can be seen as a consequence of Gleason's theorem and the logical compactness theorem. Notably, Gleason's theorem also indicates the existence of KS-type finite vector constructions to rule out other finite alphabet outcome assignments beyond the $\{0,1\}$ case. Here, we propose a generalisation of the KS theorem that rules out hidden variable theories with outcome assignments in the set $\{0,p,1-p,1\}$ for $p\in [0,1/d)\cup (1/d,1/2]$. The case $p=1/2$ is especially physically significant. We show that in this case the result rules out (consistent) hidden variable theories that are fundamentally binary, i.e., theories where each measurement has fundamentally at most two outcomes (in contrast to the single deterministic outcome per measurement ruled out by KS). We present a device-independent application of this generalised KS theorem by constructing a two-player non-local game for which a perfect quantum winning strategy exists (a Pseudo-telepathy game) while no perfect classical strategy exists even if the players are provided with additional no-signaling resources of PR-box type (with marginal probabilities in $\{0,1/2,1\}$).

arXiv comment14 pages, 5 figures

References in corpus (31)

• Contextuality supplies the magic for quantum computation
• A simple test for hidden variables in spin-1 system
• Experimentally testable state-independent quantum contextuality
• Quantum advantage with shallow circuits
• Free randomness can be amplified
• Bell-Kochen-Specker theorem: A proof with 18 vectors
• Graph-Theoretic Approach to Quantum Correlations
• Experimental non-classicality of an indivisible quantum system
• Contextuality in Measurement-based Quantum Computation
• The cost of exactly simulating quantum entanglement with classical communication
• State-independent proof of Kochen-Specker theorem with 13 rays
• Kochen-Specker Contextuality
• Realization of All-or-nothing-type Kochen-Specker Experiment with Single Photons
• Improving zero-error classical communication with entanglement
• Quantifying Contextuality
• Strong Kochen-Specker theorem and incomputability of quantum randomness
• Generalized monogamy of contextual inequalities from the no-disturbance principle
• Kochen-Specker Vectors
• A variant of the Kochen-Specker theorem localising value indefiniteness
• Limits of privacy amplification against non-signalling memory attacks
• Quantum contextuality provides communication complexity advantage
• Randomness amplification against no-signaling adversaries using two devices
• Significant-loophole-free test of Kochen-Specker contextuality using two species of atomic-ions
• Necessary and sufficient conditions for state-independent measurement contextual scenarios
• Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden variable theories
• Quantum correlations are stronger than all nonsignaling correlations produced by n-outcome measurements
• Gadget structures in proofs of the Kochen-Specker theorem
• Proposed experiment to test fundamentally binary theories
• Tilted Hardy paradoxes for device-independent randomness extraction
• Practical No-Signalling proof Randomness Amplification using Hardy paradoxes and its experimental implementation
• Optimal Measurement Structures for Contextuality Applications

Cited by in corpus (1)

• Chromatic Quantum Contextuality