Abstract:The Kochen-Specker (KS) theorem is a cornerstone result in quantum foundations, establishing that quantum correlations in Hilbert spaces of dimension $d \geq 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\}$).

Minimum entangled state dimension required for pseudo-telepathy

Beating one bit of communication with and without quantum pseudo-telepathy

Implementing 2-qubit pseudo-telepathy games on noisy intermediate-scale quantum computers

Implementing 2-qubit pseudo-telepathy games on noisy intermediate scale quantum computers

Experimental Demonstration of Quantum Pseudotelepathy

Coordinating Decisions via Quantum Telepathy

Near-Optimal and Explicit Bell Inequality Violations

Beating one bit of communication with quantum correlations in smaller dimensions

A two-player dimension witness based on embezzlement, and an elementary proof of the non-closure of the set of quantum correlations

Quantum Bayesian Games

Secret Information Sharing using Multipartite Entanglement in Monty Hall Game

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

Separation between Classical and Quantum Winning Strategies for the Matching Game

Perfect quantum strategies with small input cardinality

A Three-Player Coherent State Embezzlement Game

Device independent security of quantum key distribution from monogamy-of-entanglement games

Shared entanglement for three-party causal order guessing game

Equivalence between face nonsignaling correlations, full nonlocality, all-versus-nothing proofs, and pseudotelepathy

A game theoretical perspective on the quantum probabilities associated with a GHZ state

Entangling capabilities and unitary quantum games