© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:quant-ph/9911022 · International Journal of Modern Physics A

KOCHEN–SPECKER THEOREM AND EXPERIMENTAL TEST ON HIDDEN VARIABLES

Adán Cabello

Published Jul 20, 2000• 17 citations

Abstract

A recent proposal to experimentally test quantum mechanics against noncontextual hidden-variable theories [Phys. Rev. Lett.80, 1797 (1998)] is shown to be related with the smallest proof of the Kochen–Specker theorem currently known [Phys. Lett.A212, 183 (1996)]. This proof contains eighteen yes-no questions about a four-dimensional physical system, combined in nine mutually incompatible tests. When these tests are considered as tests about a two-part two-state system, then quantum mechanics and noncontextual hidden variables make the same predictions for eight of them, but make different predictions for the ninth. Therefore, this ninth test would allow us to discriminate between quantum mechanics and noncontextual hidden-variable theories in a (gedanken) single run experiment.

DOI: 10.1142/s0217751x00002020

Related papers

Proposed Experimental Tests of the Bell-Kochen-Specker Theorem

Adán Cabello, Guillermo García Alcaine

For a two-particle two-state system, sets of compatible propositions exist for which quantum mechanics and noncontextual hidden-variable theories make conflicting predictions for every individual system whatever its quantum state. This permits a simple all-or-nothing state-independent experimental verification of the Bell-Kochen-Specker theorem.

arXiv:quant-ph/9709047•Physical Review Letters•Mar 2, 1998•116 citations

Kochen–Specker theorem studied with neutron interferometer

Yuji Hasegawa, Katharina Durstberger-Rennhofer, Stephan Sponar +1 more

The Kochen-Specker theorem shows the incompatibility of noncontextual hidden variable theories with quantum mechanics. Quantum contextuality is a more general concept than quantum non-locality which is quite well tested in experiments using Bell inequalities. Within neutron interferometry we performed an experimental test of the Kochen-Specker theorem with an inequality, which identifies quantum contextuality, by using spin-path entanglement of single neutrons. Here entanglement is achieved not between different particles, but between degrees of freedom of a single neutron, i.e., between spin and path degree of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter allow an experimental verification of the violation of an inequality derived from the Kochen-Specker theorem. The observed violation 2.291±0.008≰1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variable theories.

arXiv:1004.2836•Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment•Jul 2, 2010•44 citations

Experimental Implementation of a Kochen-Specker Set of Quantum Tests

Vincenzo D’Ambrosio, Isabelle Herbauts, Elias Amselem +4 more

The Kochen-Specker theorem, which excludes noncontextual hidden-variable explanations for the counterintuitive puzzles of quantum mechanics, has been realized for the first time in two different single-photon experiments.

arXiv:1209.1836•Physical Review X•Feb 14, 2013•83 citations

Noncontextual Hidden Variables and Physical Measurements

Adrian Kent

Meyer [Phys. Rev. Lett. 83, 3751 (1999)] recently showed that the Kochen-Specker theorem, which demonstrates the impossibility of a deterministic hidden variable description of ideal spin measurements on a spin 1 particle, can be effectively nullified if only finite precision measurements are considered. We generalize this result: one can ascribe consistent outcomes to a dense subset of the set of projection valued measurements, or to a dense subset of the set of positive operator valued measurements, on any finite dimensional system. Hence no Kochen-Specker-like contradiction can rule out hidden variable theories indistinguishable from quantum theory by finite precision measurements in either class.

arXiv:quant-ph/9906006•Physical Review Letters•Nov 8, 1999•103 citations

State-Independent Proof of Kochen—Specker Theorem with Thirty Rank-Two Projectors

S. P. Toh

The Kochen—Specker theorem states that noncontextual hidden variable theories are incompatible with quantum mechanics. We provide a state-independent proof of the Kochen—Specker theorem using the smallest number of projectors, i.e., thirty rank-2 projectors, associated with the Mermin pentagram for a three-qubit system.

arXiv:1310.0190•Chinese Physics Letters•Oct 1, 2013•4 citations

A state-independent test of the Kochen–Specker theorem

F. De Zela

We propose a feasible Kochen–Specker experiment with single photons, whose goal is to submit noncontextual hidden-variable theories to nonstatistical, all-or-nothing tests. Our proposal improves some recently performed tests in two respects. First, the present proposal is state-independent, thereby realizing a scheme designed by Cabello and García-Alcaine that was only partially realized in recent experiments. Second, our proposal can deal with non-ideal detectors without invoking the fair sampling assumption.

Journal of Modern Optics•Feb 20, 2009•2 citations

A recent proposal to experimentally test quantum mechanics against noncontextual hidden-variable theories [Phys. Rev. Lett.80, 1797 (1998)] is shown to be related with the smallest proof of the Kochen–Specker theorem currently known [Phys. Lett.A212, 183 (1996)]. This proof contains eighteen yes-no questions about a four-dimensional physical system, combined in nine mutually incompatible tests. When these tests are considered as tests about a two-part two-state system, then quantum mechanics and noncontextual hidden variables make the same predictions for eight of them, but make different predictions for the ninth. Therefore, this ninth test would allow us to discriminate between quantum mechanics and noncontextual hidden-variable theories in a (gedanken) single run experiment.

The Kochen-Specker theorem shows the incompatibility of noncontextual hidden variable theories with quantum mechanics. Quantum contextuality is a more general concept than quantum non-locality which is quite well tested in experiments using Bell inequalities. Within neutron interferometry we performed an experimental test of the Kochen-Specker theorem with an inequality, which identifies quantum contextuality, by using spin-path entanglement of single neutrons. Here entanglement is achieved not between different particles, but between degrees of freedom of a single neutron, i.e., between spin and path degree of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter allow an experimental verification of the violation of an inequality derived from the Kochen-Specker theorem. The observed violation 2.291±0.008≰1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variable theories.

Meyer [Phys. Rev. Lett. 83, 3751 (1999)] recently showed that the Kochen-Specker theorem, which demonstrates the impossibility of a deterministic hidden variable description of ideal spin measurements on a spin 1 particle, can be effectively nullified if only finite precision measurements are considered. We generalize this result: one can ascribe consistent outcomes to a dense subset of the set of projection valued measurements, or to a dense subset of the set of positive operator valued measurements, on any finite dimensional system. Hence no Kochen-Specker-like contradiction can rule out hidden variable theories indistinguishable from quantum theory by finite precision measurements in either class.

We propose a feasible Kochen–Specker experiment with single photons, whose goal is to submit noncontextual hidden-variable theories to nonstatistical, all-or-nothing tests. Our proposal improves some recently performed tests in two respects. First, the present proposal is state-independent, thereby realizing a scheme designed by Cabello and García-Alcaine that was only partially realized in recent experiments. Second, our proposal can deal with non-ideal detectors without invoking the fair sampling assumption.