Kent [quant-ph/9906006] has constructed a hidden variable theory by taking the finite precision of physical measurements into account. But its claim to noncontextuality has been queried, and it shown here that there is a particularly simple way of seeing why it cannot be noncontextual.
It is shown that theoretically viable noncontextual hidden variables models in $d=2$ lead to conflicting dispersion free expressions in the analysis of the conditional measurement of two non-orthogonal projectors. No satisfactory criterion of the quantum discord, which relies on the analysis of conditional measurement, is formulated in the $d=2$ hidden variables space due to a lack of uniqueness of the dispersion free representation. We also make a speculative comment on a "many-worlds interpretation" of hidden variables models to account for the conditional measurement.
We present two experiments testing the hypothesis of noncontextual hidden variables (NCHV's). The first one is based on observation of two-photon pseudo-Greenberger-Horne-Zeilinger correlations, with two of the originally three particles mimicked by the polarization degree of freedom and the spatial degree of freedom of a single photon. The second one, a single-photon experiment, utilizes the same trick to emulate two particle correlations, and is an "event ready" test of a Bell-like inequality, derived from the noncontextuality assumption. Modulo fair sampling, the data falsify NCHV's.
I will argue that the Peres-Mermin square does not necessarily rule out a value-definite (deterministic) noncontextual hidden variable model if the operators are not given a physical interpretation satisfying the following two requirements: (i) each operator is uniquely realized by a single physical measurement; (ii) commuting operators are realized by simultaneous measurements. To underpin this claim, I will construct three hidden variable models for three different physical realizations of the Peres-Mermin square: one violating (i), another violating (ii), and a third one violating both (i) …
The noncontextual hidden variables models in $d=2$, such as the ones constructed by Bell and by Kochen and Specker, have difficulties in accounting for the conditional measurement of two non-orthogonal projectors. An idea of branching in the hidden variables space, which provides a means to realize the notion of reduction effectively and describe the state preparation, is suggested as a way to resolve the difficulties associated with the conditional measurement.
An essential ingredient in many examples of the conflict between quantum theory and noncontextual hidden variables (e.g., the proof of the Kochen-Specker theorem and Hardy's proof of Bell's theorem) is a set of atomic propositions about the outcomes of ideal measurements such that, when outcome noncontextuality is assumed, if proposition $A$ is true, then, due to exclusiveness and completeness, a nonexclusive proposition $B$ ($C$) must be false (true). We call such a set a {\em true-implies-false set} (TIFS) [{\em true-implies-true set} (TITS)]. Here we identify all the minimal TIFSs and TITSs…
One implication of Bell's theorem is that there cannot in general be hidden variable models for quantum mechanics that both are noncontextual and retain the structure of a classical probability space. Thus, some hidden variable programs aim to retain noncontextuality at the cost of using a generalization of the Kolmogorov probability axioms. We generalize a theorem of Feintzeig (2015) to show that such programs are committed to the existence of a finite null cover for some quantum mechanical experiments, i.e., a finite collection of probability zero events whose disjunction exhausts the space …
A basic assumption behind the inequalities used for testing noncontextual hidden variable models is that the observables measured on the same individual system are perfectly compatible. However, compatibility is not perfect in actual experiments using sequential measurements. We discuss the resulting "compatibility loophole" and present several methods to rule out certain hidden variable models which obey a kind of extended noncontextuality. Finally, we present a detailed analysis of experimental imperfections in a recent trapped ion experiment and apply our analysis to that case.
Quantum measurements are noncontextual, with outcomes independent of which other commuting observables are measured at the same time, when consistently analyzed using principles of Hilbert space quantum mechanics rather than classical hidden variables.
We show that the state-independent violation of inequalities for noncontextual hidden variable theories introduced in [Phys. Rev. Lett. 101, 210401 (2008)] is universal, i.e., occurs for any quantum mechanical system in which noncontextuality is meaningful. We describe a method to obtain state-independent violations for any system of dimension d > 2. This universality proves that, according to quantum mechanics, there are no "classical" states.
It is shown that quantum mechanics is noncontextual if quantum properties are represented by subspaces of the quantum Hilbert space (as proposed by von Neumann) rather than by hidden variables. In particular, a measurement using an appropriately constructed apparatus can be shown to reveal the value of an observable A possessed by the measured system before the measurement took place, whatever other compatible ([B,A]=0) observable B may be measured at the same time.
The Kochen-Specker theorem states that noncontextual hidden variable models are inconsistent with the quantum predictions for every yes-no question on a qutrit, corresponding to every projector in three dimensions. It has been suggested [D. A. Meyer, Phys. Rev. Lett. 83, 3751 (1999)] that the inconsistency would disappear when we are restricted to projectors on unit vectors with rational components; that noncontextual hidden variables could reproduce the quantum predictions for rational vectors. Here we show that a qutrit state with rational components violates an inequality valid for nonconte…
Testing a continuous-variable noncontextuality inequality with a hybrid-encoded system
The Niels Bohr Institute, University of Copenhagen(哥本哈根大学尼尔斯·玻尔研究所);Department of Physics, Technical University of Denmark(丹麦技术大学物理系);Experimental Physics VI, Faculty for Physics and Astronomy, Ruhr University Bochum(波鸿鲁尔大学物理与天文学院实验物理第六研究所)
It is a well-known fact that all the statistical predictions of quantum mechanics on the state of any physical system represented by a two-dimensional Hilbert space can always be duplicated by a noncontextual hidden-variables model. In this paper, I show that, in some cases, when we consider an additional independent (unentangled) two-dimensional system, the quantum description of the resulting composite system cannot be reproduced using noncontextual hidden variables. In particular, a no-hidden-variables proof is presented for two individual spin-1/2 particles preselected in an uncorrelated s…
I review the relation of the Bell inequalities - characteristic of (classical) probabilities defined on Boolean logics - with noncontextual and local hidden variables theories of quantum mechanics and with quantum information.
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. A 212, 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 non-contextual hidden variables make the same predictions for eight of them, but make different …
In a noncontextual hidden variable model of quantum theory, hidden variables determine the outcomes of every measurement in a manner that is independent of how the measurement is implemented. Using a generalization of this notion to arbitrary operational theories and to preparation procedures, we demonstrate that a particular two-party information-processing task, "parity-oblivious multiplexing," is powered by contextuality in the sense that there is a limit to how well any theory described by a noncontextual hidden variable model can perform. This bound constitutes a "noncontextuality inequal…
Meyer recently queried whether non-contextual hidden variable models can, despite the Kochen-Specker theorem, simulate the predictions of quantum mechanics to within any fixed finite experimental precision. Clifton and Kent have presented constructions of non-contextual hidden variable theories which, they argued, indeed simulate quantum mechanics in this way. These arguments have evoked some controversy. One aim of this paper is to respond to and rebut criticisms of the MCK papers. We thus elaborate in a little more detail how the CK models can reproduce the predictions of quantum mechanics t…
The question of a hidden variable interpretation of quantum contextuality in the Mermin-Peres square is considered. The Kochen-Specker theorem implies that quantum mechanics may be interpreted as a contextual hidden variable theory. It is shown that such a hidden variable description can be viewed as either contextual in the random variables mapping hidden states to observable outcomes or in the probability measure on the hidden state space. The latter view suggests that this apparent contextuality may be interpreted as a simple consequence of measurement disturbance, wherein the initial hidde…
The probabilistic rule that links the formalism of Quantum Mechanics (QM) to the real world was stated by Born in 1926. Since then, there were many attempts to derive the Born postulate as a theorem, Gleason's being the most prominent. The Gleason derivation, however, is generally considered rather intricate and its physical meaning, in particular in relation with the noncontextuality of probability (NP), is not quite evident. More recently, we are witnessing a revival of interest in possible demonstrations of the Born rule, like Zurek's and Deutsch's based on the decoherence and on the theory…
Quantum mechanics provides a statistical description about nature, and thus would be incomplete if its statistical predictions could not be accounted for by some realistic models with hidden variables. There are, however, two powerful theorems against the hidden-variable theories showing that certain quantum features cannot be reproduced based on two rationale premises of locality, Bell's theorem, and noncontextuality, due to Bell, Kochen and Specker (BKS). Noncontextuality is independent of nonlocality, and the contextuality manifests itself even in a single object. Here we report an experime…
Efforts to construct deeper, realistic, level of physical description, in which individual systems have, like in classical physics, preexisting properties revealed by measurements are known as hidden-variable programs. Demonstrations that a hidden-variable program necessarily requires outcomes of certain experiments to disagree with the predictions of quantum theory are called "no-go theorems". The Bell theorem excludes local hidden variable theories. The Kochen-Specker theorem excludes noncontextual hidden variable theories. In local hidden-variable theories faster-that-light-influences are f…
Hidden variables theories for quantum mechanics are usually assumed to satisfy the KS condition. The Bell-Kochen-Specker theorem then shows that these theories are necessarily contextual. But the KS condition can be criticized from an operational viewpoint, which suggests that a weaker condition (MGP) should be adopted in place of it. This leads one to introduce a class of hidden parameters theories in which contextuality can, in principle, be avoided, since the proofs of the Bell-Kochen-Specker theorem break down. A simple model recently provided by the author for an objective interpretation …
Many seemingly paradoxical effects are known in the predictions for outcomes of measurements made on pre- and post-selected quantum systems. A class of such effects, which we call ``logical pre- and post-selection paradoxes'', bear a striking resemblance to proofs of the Bell-Kochen-Specker theorem, which suggests that they demonstrate the contextuality of quantum mechanics. Despite the apparent similarity, we show that such effects can occur in noncontextual hidden variable theories, provided measurements are allowed to disturb the values of the hidden variables.
It is generally assumed that {\em local realism} represented by a noncontextual and local hidden-variables model in $d=4$ such as the one used by Bell always gives rise to CHSH inequality $|\langle B\rangle|\leq 2$. On the other hand, the contraposition of Gisin's theorem states that the inequality $|\langle B\rangle|\leq 2$ for arbitrary parameters implies (pure) separable quantum states. The fact that local realism can describe only pure separable quantum states is naturally established in hidden-variables models, and it is quantified by $G({\bf a},{\bf b})= 4[\langle ψ|P({\bf a})\otimes P({…
We prove the existence for each Hilbert space of the two new quasi hidden variable (qHV) models, statistically noncontextual and context-invariant, reproducing all the von Neumann joint probabilities via nonnegative values of real-valued measures and all the quantum product expectations -- via the qHV (classical-like) average of the product of the corresponding random variables. In a context-invariant model, a quantum observable X can be represented by a variety of random variables satisfying the functional condition required in quantum foundations but each of these random variables equivalent…
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.
It is shown that the Bell inequalities are closely related to the triangle inequalities involving distance functions amongst pairs of random variables with values $\left\{ 0,1\right\} $. A hidden variables model may be defined as a mapping between a set of quantum projection operators and a set of random variables. The model is noncontextual if there is a joint probability distribution. The Bell inequalities are necessary conditions for its existence. The inequalities are most relevant when measurements are performed at space-like separation, thus showing a conflict between quantum mechanics a…
Further improvements to stabilizer simulation theory: classical rewriting of CSS-preserving stabilizer circuits, quadratic form expansions of stabilizer operations, and framed hidden variable models
Using Maxwell-Bloch equations it has been shown how the superradiance can lead to amplification and gain at a frequency much larger than the pumping frequency. This remarkable effect has been examined in terms of a simpler model involving two coupled oscillators with one of them paramet- rically driven. We show that this coupled oscillator model has a hidden parity-time (PT) symmetry for QASER, we thus bring PT symmetry to the realm of parametrically coupled resonators. More- over, we find that the QASER gain arises from the broken PT symmetry phase. We then quantize the simplified version of …
We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models, and properties such as locality and no-signalling are formulated probabilistically. We show that to a remarkable extent, the main structure of the theory, through the major No-Go theorems and beyond, survives intact under the replacement of probability distributions by mere relations.