In the light of the Bell-Kochen-Specker theorem, we examine a feasible experimental test in order to discriminate between non-contextual hidden-variables and some probabilistic predictions of quantum mechanics.
It has recently been questioned whether the Kochen-Specker theorem is relevant to real experiments, which by necessity only have finite precision. We give an affirmative answer to this question by showing how to derive hidden-variable theorems that apply to real experiments, so that noncontextual hidden variables can indeed be experimentally disproved. The essential point is that for the derivation of hidden-variable theorems one does not have to know which observables are really measured by the apparatus. Predictions can be derived for observables that are defined in an entirely operational way.
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.
There are two powerful arguments against the possibility of extending quantum mechanics (QM) into a more fundamental theory yielding a deterministic description of nature. One is the experimental violation of Bell inequalities, which discards local hidden‐variable theories as a possible extension to QM. The other is the Kochen‐Specker (KS) theorem, which stresses the incompatibility of QM with a larger class of hidden‐variable theories, known as noncontextual hidden‐variable theories. We performed experiments with neutron interferometer, which exploits spin‐path entanglements in single neutrons. A Bell‐like state is generated to demonstrate a violation of the Bell‐like inequality and phenomena in accordance with KS theorem: both experiments study quantum contextuality and show clear evidence of the incompatibility of noncontextual hidden variable theories with QM. The value S = 2.202±0.007≰2 is obtained in the new measurement of the Bell‐like inequality, which shows a larger violation than the previous measurement. For the study of KS theorem, the obtained violation 2.291±0.008≰1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variable theories.