Computing Library › Quantum Foundations
Quantum Foundations

Quantum Contextuality

Measurement results in quantum mechanics can depend on which compatible measurements are performed alongside, defying noncontextual hidden variables.

Results without context-free values

Contextuality is the impossibility of assigning each observable a fixed value independent of which other compatible observables are measured with it. In a noncontextual hidden-variable model, every observable would have a predetermined outcome that does not care about its measurement context. Quantum mechanics forbids such an assignment for systems of dimension three or more, as the Kochen-Specker theorem proves.

A finer notion than nonlocality

Kronos motion — which application

Bell nonlocality is a special case of contextuality where the contexts are separated in space, so noncontextuality is enforced by locality. Contextuality is broader: it appears even in a single indivisible system, with no spatial separation, when different sets of jointly measurable observables give incompatible value assignments. It is a property of the measurement structure itself, not of distance.

Operational demonstrations

State-independent proofs like the Mermin-Peres magic square exhibit contextuality with just two qubits, using a grid of Pauli observables whose row and column products force a contradiction with any fixed value assignment. Inequalities such as the KCBS inequality make contextuality experimentally testable, and violations have been observed across photonic, ionic, and nuclear-spin platforms.

Contextuality as a resource

Contextuality is not merely foundational; it is tied to quantum computational power. Results connect contextuality to the ability of magic states to promote Clifford circuits to universal, fault-tolerant computation. In this view, the non-Clifford magic that lies beyond the classically simulable stabilizer regime is exactly what supplies contextuality. Understanding contextuality thus helps identify what genuinely separates quantum computers from classical ones, beyond entanglement alone.