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/0005056 · Physical Review A

Existential contextuality and the models of Meyer, Kent, and Clifton

D. M. Appleby

Published Jan 10, 2002• 27 citations
arXivHTMLPDF

Abstract

It is shown that the models recently proposed by Meyer, Kent, and Clifton (MKC) exhibit a novel kind of contextuality, which we term existential contextuality. In this phenomenon it is not simply the pre-existing value but the actual existence of an observable which is context dependent. This result confirms the point made elsewhere, that the MKC models do not, as the authors claim, ``nullify'' the Kochen-Specker theorem. It may also be of some independent interest.

DOI
10.1103/physreva.65.022105

Related papers

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

The problem of contextuality and the impossibility of experimental metaphysics thereof

Ronnie Hermens

Recently a new impulse has been given to the experimental investigation of contextuality. In this paper we show that for a widely used definition of contextuality there can be no decisive experiment on the existence of contextuality. To this end, we give a clear presentation of the hidden variable models due to Meyer, Kent and Clifton (MKC), which would supposedly nullify the Kochen-Specker Theorem. Although we disagree with this last statement, the models play a significant role in the discussion on the meaning of contextuality. In fact, we introduce a specific MKC-model of which we show that it is non-contextual and completely in agreement with quantum mechanical predictions. We also investigate the possibility of other definitions of non-contextuality --with an emphasis on operational definitions-- and argue that any useful definition relies on the specification of a theoretical framework. It is therefore concluded that no experimental test can yield any conclusions about contextuality on a metaphysical level.

•Jan 1, 2011•18 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 brief note on epistemic interpretations and the Kochen-Specker theorem

O. J. E. Maroney

One of the recent no-go theorems on Ψ-epistemic interpretations of quantum proves that there are no 'maximally epistemic' interpretations of quantum theory. The proof utilises similar arrangements to Clifton's quantum contextuality proof and has parallels to Harrigan and Rudolph's quantum deficiency no-go theorem, itself based on the Kochen-Specker quantum contextuality proof. This paper shows how the Kochen-Specker theorem can also be turned into a no 'maximally epistemic' theorem, but of a more limited kind.

arXiv:1207.7192•Jul 31, 2012•0 citations

What does an experimental test of quantum contextuality prove or disprove?

Andreas Winter

The possibility of experimentally testing the Bell–Kochen–Specker theorem is investigated critically, following the demonstrations by Meyer, Kent, and Clifton–Kent that the predictions of quantum mechanics are indistinguishable (up to arbitrary precision) from those of a non-contextual model, and the subsequent debate about the extent to which these models are actually classical or non-contextual. The present analysis starts from a careful consideration of these 'finite-precision' approximations. A stronger condition for non-contextual models, dubbed ontological faithfulness , is exhibited. It is shown that this allows us to approximately formulate the constraints in Bell–Kochen–Specker theorems, such as to render the usual proofs robust. Consequently, one can experimentally test to finite precision ontologically faithful non-contextuality, and thus experimentally refute explanations from this smaller class. We include a discussion of the relation of ontological faithfulness to other proposals to overcome the finite precision objection. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to '50 years of Bell's theorem'.

arXiv:1408.0945•Journal of Physics A Mathematical and Theoretical•Oct 9, 2014•42 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
It is shown that the models recently proposed by Meyer, Kent, and Clifton (MKC) exhibit a novel kind of contextuality, which we term existential contextuality. In this phenomenon it is not simply the pre-existing value but the actual existence of an observable which is context dependent. This result confirms the point made elsewhere, that the MKC models do not, as the authors claim, ``nullify'' the Kochen-Specker theorem. It may also be of some independent interest.
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.
Recently a new impulse has been given to the experimental investigation of contextuality. In this paper we show that for a widely used definition of contextuality there can be no decisive experiment on the existence of contextuality. To this end, we give a clear presentation of the hidden variable models due to Meyer, Kent and Clifton (MKC), which would supposedly nullify the Kochen-Specker Theorem. Although we disagree with this last statement, the models play a significant role in the discussion on the meaning of contextuality. In fact, we introduce a specific MKC-model of which we show that it is non-contextual and completely in agreement with quantum mechanical predictions. We also investigate the possibility of other definitions of non-contextuality --with an emphasis on operational definitions-- and argue that any useful definition relies on the specification of a theoretical framework. It is therefore concluded that no experimental test can yield any conclusions about contextuality on a metaphysical level.
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.
One of the recent no-go theorems on Ψ-epistemic interpretations of quantum proves that there are no 'maximally epistemic' interpretations of quantum theory. The proof utilises similar arrangements to Clifton's quantum contextuality proof and has parallels to Harrigan and Rudolph's quantum deficiency no-go theorem, itself based on the Kochen-Specker quantum contextuality proof. This paper shows how the Kochen-Specker theorem can also be turned into a no 'maximally epistemic' theorem, but of a more limited kind.
The possibility of experimentally testing the Bell–Kochen–Specker theorem is investigated critically, following the demonstrations by Meyer, Kent, and Clifton–Kent that the predictions of quantum mechanics are indistinguishable (up to arbitrary precision) from those of a non-contextual model, and the subsequent debate about the extent to which these models are actually classical or non-contextual. The present analysis starts from a careful consideration of these 'finite-precision' approximations. A stronger condition for non-contextual models, dubbed ontological faithfulness , is exhibited. It is shown that this allows us to approximately formulate the constraints in Bell–Kochen–Specker theorems, such as to render the usual proofs robust. Consequently, one can experimentally test to finite precision ontologically faithful non-contextuality, and thus experimentally refute explanations from this smaller class. We include a discussion of the relation of ontological faithfulness to other proposals to overcome the finite precision objection. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to '50 years of Bell's theorem'.
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.