Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/0104024 · Physical Review A

Finite-precision measurement does not nullify the Kochen-Specker theorem

Adán Cabello

Published Apr 15, 2002• 48 citations
arXivHTMLPDF

Abstract

It is proven that any hidden variable theory of the type proposed by Meyer [Phys. Rev. Lett. 83, 3751 (1999)], Kent [ibid. 83, 3755 (1999)], and Clifton and Kent [Proc. R. Soc. London, Ser. A 456, 2101 (2000)] leads to experimentally testable predictions that are in contradiction with those of quantum mechanics. Therefore, it is argued that the existence of dense Kochen-Specker-colorable sets must not be interpreted as a nullification of the physical impact of the Kochen-Specker theorem once the finite precision of real measurements is taken into account.

DOI
10.1103/physreva.65.052101

Related papers

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

Comment on "Non-contextual hidden variables and physical measurements"

Adán Cabello

Kent's conclusion that ``non-contextual hidden variable theories cannot be excluded by theoretical arguments of the Kochen-Specker type once the imprecision in real world experiments is taken into account'' [Phys. Rev. Lett. 83, 3755 (1999)], is criticized. The Kochen-Specker theorem just points out that it is impossible even conceive a hidden variable model in which the outcomes of all measurements are pre-determined; it does not matter if these measurements are performed or not, or even if these measurements can be achieved only with finite precision.

arXiv:quant-ph/9911024•Nov 6, 1999•6 citations

Finite Precision Measurement Nullifies the Kochen-Specker Theorem

DAVID A. MEYER

Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in ${S}^{2}$, can be colored so that the contradiction with hidden variable theories provided by Kochen-Specker constructions does not obtain. Thus, in contrast to violation of the Bell inequalities, no quantum-overclassical advantage for information processing can be derived from the Kochen-Specker theorem alone.

arXiv:quant-ph/9905080•Physical Review Letters•Nov 8, 1999•171 citations

Nullification of the Nullification

D. M. Appleby

A recent claim by Meyer, Kent and Clifton (MKC), that their models ``nullify'' the Kochen-Specker theorem, has attracted much comment. In this paper we present a new counter-argument, based on the fact that a classical measurement reveals, not simply a pre-existing value, but pre-existing classical information. In the MKC models measurements do not generally reveal pre-existing classical information. Consequently, the Kochen-Specker theorem is not nullified. We go on to prove a generalized version of the Kochen-Specker theorem, applying to non-ideal quantum measurements. The theorem was inspired by the work of Simon et al and Larsson (SBZL). However, there is a loophole in SBZL's argument, which means that their result is invalid (operational non-contextuality is not inconsistent with the empirical predictions of quantum mechanics). Our treatment resolves this difficulty. We conclude by discussing the question, whether the MKC models can reproduce the empirical predictions of quantum mechanics.

arXiv:quant-ph/0109034•Sep 7, 2001•8 citations

Contextuality of Approximate Measurements

D. M. Appleby

The claim of Meyer, Kent and Clifton (MKC) that finite precision measurement nullifies the Kochen-Specker theorem is criticised. It is argued that, although MKC have nullified the Kochen-Specker theorem strictly so-called, there are other, related propositions which are not nullified. The argument given is an elaboration of some of Mermin's critical remarks. Although MKC allow for the fact that the observables to be measured cannot be precisely specified, they continue to assume that the observables which are actually measured are strictly commuting. As Mermin points out, this assumption is unjustified. Consequently, the analysis of MKC is incomplete. To make it complete one needs to investigate the predictions their models make regarding approximate joint measurements of non-commuting observables. Such an investigation is carried out, using methods previously developed in connection with approximate joint measurements of position and momentum. It is shown that a form of contextuality then re-emerges.

arXiv:quant-ph/0005010•May 1, 2000•5 citations

A Kochen-Specker Theorem for Imprecisely Specified Measurement

N. David Mermin

A recent claim that finite precision in the design of real experiments ``nullifies'' the impact of the Kochen-Specker theorem, is shown to be unsupportable, because of the continuity of probabilities of measurement outcomes under slight changes in the experimental configuration.

arXiv:quant-ph/9912081•Dec 16, 1999•18 citations
It is proven that any hidden variable theory of the type proposed by Meyer [Phys. Rev. Lett. 83, 3751 (1999)], Kent [ibid. 83, 3755 (1999)], and Clifton and Kent [Proc. R. Soc. London, Ser. A 456, 2101 (2000)] leads to experimentally testable predictions that are in contradiction with those of quantum mechanics. Therefore, it is argued that the existence of dense Kochen-Specker-colorable sets must not be interpreted as a nullification of the physical impact of the Kochen-Specker theorem once the finite precision of real measurements is taken into account.
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.
Kent's conclusion that ``non-contextual hidden variable theories cannot be excluded by theoretical arguments of the Kochen-Specker type once the imprecision in real world experiments is taken into account'' [Phys. Rev. Lett. 83, 3755 (1999)], is criticized. The Kochen-Specker theorem just points out that it is impossible even conceive a hidden variable model in which the outcomes of all measurements are pre-determined; it does not matter if these measurements are performed or not, or even if these measurements can be achieved only with finite precision.
Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S2{S}^{2}S2, can be colored so that the contradiction with hidden variable theories provided by Kochen-Specker constructions does not obtain. Thus, in contrast to violation of the Bell inequalities, no quantum-overclassical advantage for information processing can be derived from the Kochen-Specker theorem alone.
A recent claim by Meyer, Kent and Clifton (MKC), that their models ``nullify'' the Kochen-Specker theorem, has attracted much comment. In this paper we present a new counter-argument, based on the fact that a classical measurement reveals, not simply a pre-existing value, but pre-existing classical information. In the MKC models measurements do not generally reveal pre-existing classical information. Consequently, the Kochen-Specker theorem is not nullified. We go on to prove a generalized version of the Kochen-Specker theorem, applying to non-ideal quantum measurements. The theorem was inspired by the work of Simon et al and Larsson (SBZL). However, there is a loophole in SBZL's argument, which means that their result is invalid (operational non-contextuality is not inconsistent with the empirical predictions of quantum mechanics). Our treatment resolves this difficulty. We conclude by discussing the question, whether the MKC models can reproduce the empirical predictions of quantum mechanics.
The claim of Meyer, Kent and Clifton (MKC) that finite precision measurement nullifies the Kochen-Specker theorem is criticised. It is argued that, although MKC have nullified the Kochen-Specker theorem strictly so-called, there are other, related propositions which are not nullified. The argument given is an elaboration of some of Mermin's critical remarks. Although MKC allow for the fact that the observables to be measured cannot be precisely specified, they continue to assume that the observables which are actually measured are strictly commuting. As Mermin points out, this assumption is unjustified. Consequently, the analysis of MKC is incomplete. To make it complete one needs to investigate the predictions their models make regarding approximate joint measurements of non-commuting observables. Such an investigation is carried out, using methods previously developed in connection with approximate joint measurements of position and momentum. It is shown that a form of contextuality then re-emerges.