Kochen-Specker theorem

In plain terms

Bell's argument needs two separated particles and statistics gathered over many runs, so a determined sceptic could hope the trouble was really about distance, or about probability, and ask whether there's a conflict that needs neither.

Kochen and Specker built one. For a quantum system with three or more distinguishable outcomes, there's a finite set of measurement directions that can't be consistently labelled with answers at all. Each direction is a yes-or-no question, and the labels must respect the relations the corresponding quantities themselves satisfy, so for instance among any complete set of mutually perpendicular directions exactly one must be labelled yes. No labelling of the whole set obeys the rule. Their original construction used 117 directions, the modern record is 18, and you can check it with a pencil.

There's no experiment, no ensemble of runs, and no separation in space. There's just a finite combinatorial fact, which is that the answer sheet doesn't exist, even for one particle, even in principle.

In CSD

CSD is contextual, so this theorem is a constraint it satisfies by construction, with no accommodation needed. What the corpus is genuinely careful about is a tempting misattribution nearby.

The programme's fibre analysis found that in three or more dimensions the natural constructions confined to the base, the space of quantum states onto which the substrate projects, stop working, which is why it places contextual content in the fibre above the base, the set of substrate points lying over a given state. The placement is a judgement against a constraint chain, and the base-only question remains open in both directions. It would be natural, and wrong, to cite Kochen- Specker for that placement, as the theorem constrains non-contextual value assignments and CSD never makes one, so the theorem simply doesn't engage. The fibre argument comes instead from covariance, the requirement that the construction respect the symmetries of the state space, together with non-negativity, the requirement that a density never go below zero. That's a different argument with a different shape, and a constraint chain rather than a no-go, and the corpus flags the distinction precisely because borrowing this theorem's authority would be such an easy overclaim.

Mathematically

In dimension three and above, no non-contextual assignment of definite values to all observables respects the functional relations among commuting sets, witnessed by explicit finite vector sets, 117 originally and 18 in the smallest known.

Dimension two escapes, the same exception that afflicts the original Gleason theorem, and one more instance of the qubit being a misleading guide to the general case.

The name

Simon Kochen, a native of Belgium, has spent his career at Princeton, mostly in model theory and number theory, and he later proved the free will theorem with John Conway. Ernst Specker (1920-2011) was Swiss and spent his whole career at the ETH Zurich, working in logic and combinatorics.

The publication story is unmatched. Specker published the core idea in 1960 in a theology journal, Dialectica, framing it through a scholastic debate about whether God could know the answers to unasked questions, and the joint theorem followed in 1967 in the Journal of Mathematics and Mechanics. It went from medieval counterfactuals to a pillar of quantum foundations, by way of the strangest venue in the subject's bibliography.

Related entries

• ContextualityFor some sets of quantum questions no consistent answer sheet exists at all, and CSD's response is to stop demanding one answer per question and to say instead what the answer depends on.
• Does the Kochen-Specker theorem rule out CSD?No. The Kochen-Specker theorem forbids giving every possible measurement a fixed answer independent of which experiment is actually performed, and CSD assigns outcomes through the measurement context by construction.
• Hidden variablesThe no-go theorems don't kill hidden variables, as they price them, and CSD reads the price tag and pays it.
• Bell and CHSHNo pre-written answer sheet for all four measurement settings can match what a singlet pair of particles does, and the corpus proves this as a theorem about every possible answer sheet.
• Measurement contextA measurement isn't a question put to the quantum state, as it's a piece of apparatus, and the apparatus brings its own way of dividing the world into outcomes.