The Kochen-Specker Theorem
No consistent assignment of definite, context-independent values to all quantum observables exists in dimension three or higher.
Ruling out noncontextual values
The Kochen-Specker theorem proves that quantum mechanics cannot be reproduced by a hidden-variable model in which every observable has a predetermined value independent of the measurement context. In any Hilbert space of dimension three or more, it is impossible to assign each projector a value of 0 or 1 such that, within every complete set of orthogonal projectors, exactly one gets the value 1 and the values do not depend on which complete set (context) the projector belongs to.
The structure of the argument
The proof exhibits a finite set of measurement directions (rays) that cannot be consistently colored under the two rules: mutually orthogonal rays must not both be assigned 1, and each orthogonal triad must contain exactly one 1. Original constructions used well over a hundred rays in three dimensions; later versions reduced the count sharply, and in four dimensions the Peres set uses far fewer, sharpening the paradox.
- Assumption: each projector has a fixed 0/1 value
- Constraint: exactly one 1 per complete orthogonal set
- Constraint: value is context-independent
- Result: no such assignment exists for dimension >= 3
Relation to Bell and Gleason
Kochen-Specker is closely related to contextuality and to Gleason's theorem, which already implies that no two-valued probability measure exists on the projectors of a Hilbert space of dimension three or more. Unlike Bell's theorem it does not require spatially separated systems; the contradiction is internal to a single system's measurement structure, making it a statement about measurement compatibility rather than locality.
Significance
The theorem is a foundational no-go result: it eliminates a broad and natural class of classical explanations for quantum statistics. State-independent proofs such as the Mermin-Peres square turn it into concrete, testable predictions. It also anchors the modern view that contextuality is a genuine quantum resource underlying computational advantage beyond the stabilizer regime.