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}).

Two statements of the Duggan-Schwartz theorem

A Computer-Aided Proof to Gibbard-Satterthwaite Theorem

Weak Strategyproofness in Randomized Social Choice

Gibbard-Satterthwaite Success Stories and Obvious Strategyproofness

Coalitional Structure of the Muller-Satterthwaite Theorem

Relaxed notions of Condorcet-consistency and efficiency for strategyproof social decision schemes

From Condorcet's paradox to Arrow: yet another simple proof of the impossibility theorem

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

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

Characterizing the Top Cycle via Strategyproofness

Exploring Weak Strategy-Proofness in Voting Theory

Escaping Arrow's Theorem: The Advantage-Standard Model

The structure of two-valued strategy-proof social choice functions with indifference

On the reversal bias of the Minimax social choice correspondence

Three forms of the Erdős-Dushnik-Miller Theorem

A Generalization of Arrow's Impossibility Theorem Through Combinatorial Topology

Thermodynamic susceptibility as a measure of cooperative behavior in social dilemmas

An Undecidable Statement Regarding Zero-Sum Games

Arrow's Theorem by Arrow Theory

Resolute refinements of social choice correspondences

Arrow's Impossibility Theorem: Computability in Social Choice Theory