Abstract:The Kochen–Specker (KS) theorem is a cornerstone result in quantum foundations, establishing that quantum correlations in Hilbert spaces of dimension d ≥ 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 assignments to every set of mutually orthogonal vectors be ≤1 and 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. In a similar vein, 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 ∈ [0, 1/ d ) ∪ (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 marginals in {0, 1/2, 1}).

Optimal conversion of Kochen-Specker sets into bipartite perfect quantum strategies

Simplest bipartite perfect quantum strategies

Perfect quantum strategies with small input cardinality

Maximal Non-Kochen-Specker Sets and a Lower Bound on the Size of Kochen-Specker Sets

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem

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

Generalised Kochen–Specker theorem for finite non-deterministic outcome assignments

Rounding near-optimal quantum strategies for nonlocal games to strategies using maximally entangled states

Optimal Measurement Structures for Contextuality Applications

The set of Kirkwood-Dirac positive states is almost always minimal

Optimal Strategies for Winning Certain Coset-Guessing Quantum Games

Kochen-Specker Sets and the Rank-1 Quantum Chromatic Number

Optimal Control of Bipartite Quantum Systems

Optimal Verification of General Bipartite Pure States

Minimum number of experimental settings required to verify bipartite pure states and unitaries

Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces

Small k-pairable states

A Generalization of Kochen-Specker Sets Relates Quantum Coloring to Entanglement-Assisted Channel Capacity

State-Independent Proof of Kochen-Specker Theorem with 13 Rays

Space-bounded quantum interactive proof systems

Automated Generation of Arbitrarily Many Kochen-Specker and Other Contextual Sets in Odd Dimensional Hilbert Spaces