A quantum mechanics concept defining a model element, mathematical object, or experimental method used to predict measurable outcomes. It applies when required assumptions and definitions are specified and yields computable probabilities and expectation values. It does not ensure correctness without validation of approximations, numerical stability, and consistency of units and conventions. It materially affects interpretation of experiments and the reliability of theoretical predictions across quantum systems. The concept is generally stable, though methods and implementations evolve over time.

Principle

Noncontextual hidden-variable assignments that respect algebraic relations among observables are incompatible with the projection structure of higher-dimensional Hilbert spaces; contextuality is therefore required if deterministic value assignments are to be maintained.

Demonstration

Construct a finite set of projection operators (a Kochen–Specker configuration) in a three-dimensional Hilbert space such that any attempt to assign 0/1 values consistently across the set leads to a contradiction; explicit orthogonality graphs provide the concrete obstruction.

Misapplication

Interpreting the theorem as ruling out all forms of hidden-variable theories—Kochen–Specker only forbids noncontextual deterministic assignments preserving functional relations, not contextual or stochastic hidden-variable models or ontologies outside standard quantum formalism.

Consequence

Establishes contextuality as a fundamental feature of quantum theory for dimension ≥ 3, constraining realist reconstructions that seek to preassign measurement values independently of measurement context.

Reversal

If one allows context-dependent value assignments, or weakens the requirement that values preserve all functional relations, consistent value assignments become possible and the Kochen–Specker obstruction is avoided.

Boundary

Applies to projective measurements in Hilbert spaces of dimension three or higher and to models requiring noncontextual value maps respecting functional composition; it does not directly apply to generalized measurements (POVMs) without translation, nor to classical systems.

Semantic Tension

Tensions arise with interpretations that equate contextuality with observer dependence or epistemic uncertainty; Kochen–Specker is a structural statement about value assignments, leaving open whether contextuality is ontic, operational, or a feature of measurement procedures.

Synthesis

The Kochen–Specker theorem shows that, for sufficiently rich Hilbert spaces, there is no consistent global assignment of definite, noncontextual values to projection observables that preserves functional relations; this forces contextuality or other relaxations in any realist account attempting deterministic preassignments.