No physical measurement can be performed with infinite precision. This leaves a loophole in the standard no-go arguments against non-contextual hidden variables. All such arguments rely on choosing special sets of quantum-mechanical observables with measurement outcomes that cannot be simulated non-contextually. As a consequence, these arguments do not exclude the hypothesis that the class of physical measurements in fact corresponds to a dense subset of all theoretically possible measurements with outcomes and quantum probabilities that \emph{can} be recovered from a non-contextual hidden variable model. We show here by explicit construction that there are indeed such non-contextual hidden variable models, both for projection valued and positive operator valued measurements.
We introduce a hierarchy of semidefinite relaxations of the set of quantum correlations in generalised contextuality scenarios. This constitutes a simple and versatile tool for bounding the magnitude of quantum contextuality. To illustrate its utility, we use it to determine the maximal quantum violation of several noncontextuality inequalities whose maximum violations were previously unknown. We then go further and use it to prove that certain preparation-contextual correlations cannot be explained with pure states, thereby showing that mixed states are an indispensable resource for contextua…
Considering an extended type of Bohm's version of EPR thought experiment, we derive Bell's inequality for the case of factorizable contextual hidden variable theories which are consistent with the predictions of quantum theory. Usually factorizability is associated with non-contextuality. Here, we show that factorizability is consistent with contextuality, even for the ordinary Bohm's version of EPR thought experiment.
Simulating quantum contextuality with classical systems requires memory. A fundamental yet open question is what is the minimum memory needed and, therefore, the precise sense in which quantum systems outperform classical ones. Here, we make rigorous the notion of classically simulating quantum state-independent contextuality (QSIC) in the case of a single quantum system submitted to an infinite sequence of measurements randomly chosen from a finite QSIC set. We obtain the minimum memory needed to simulate arbitrary QSIC sets via classical systems under the assumption that the simulation shoul…
Some forms of classical simulations of quantum type probabilities and correlations are capable of violating Boole's conditions of possible experience, such as the Clauser-Horne-Shimony-Holt inequality, even beyond the Tsirelson bound. This can be achieved by communicating a single bit encoding the measurement context.
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…
A PhD student is locked inside a box, imitating a quantum system by mimicking the measurement statistics of any viable observable nominated by external observers. Inside a second box lies a genuine quantum system. Either box can be used to pass a test for contextuality - and from the perspective of an external observer, be operationally indistinguishable. There is no way to discriminate between the two boxes based on the output statistics of any contextuality test. This poses a serious problem for contextuality tests to be used as viable tests for device independent quantumness, and severely l…
We construct a non-contextual hidden variable model consistent with all the kinematic predictions of quantum mechanics (QM). The famous Bell-KS theorem shows that non-contextual models which satisfy a further reasonable restriction are inconsistent with QM. In our construction, we define a weaker variant of this restriction which captures its essence while still allowing a non-contextual description of QM. This is in contrast to the contextual hidden variable toy models, such as the one by Bell, and brings out an interesting alternate way of looking at QM. The results also relate to the Bohmia…
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.
An experiment has recently been performed to demonstrate quantum nonlocality by establishing contextuality in one of a pair of photons encoding four qubits; however, low detection efficiencies and use of the fair-sampling hypothesis leave these results open to possible criticism due to the detection loophole. In this Letter, a physically motivated local hidden-variable model is considered as a possible mechanism for explaining the experimentally observed results. The model, though not intrinsically contextual, acquires this quality upon post-selection of coincident detections.
We discuss the problem of hidden variables and the motivation for introducting them in quantum mechanics. These include determinism, and the problem of meassurement and incompleteness. We first discuss Von-Neumann's imposisbility proof and then analyse it's weakness in terms of Bell's explicit hidden variable model of spin one-half particles. We next discuss Gleason's theorem and Kochen-Specker theorem and bring out the troublems with non contextual hidden variable theories. An important role is played by Einstein locality in the discussion of hidden variable theories as was first brought out …
Recent experiments and theory have further illuminated the concept of "quantum contextuality". In this paper we take an inequality - the Pentagram (or KCBS) inequality, which is violated by an unentangled spin-1 system - and given a relaxed assumption of non-contextuality show that a hidden variable model may be constructed that replicates exactly the quantum bound. This is in contrast to the case of an entangled pair of spin-1/2 particles where a similar relaxation of the assumption of locality does not lead to a replication of the quantum bound. Some reasons are proposed for why this may be …
This paper deals with three traditional ways of defining contextuality: (C1) in terms of (non)existence of certain joint distributions involving measurements made in several mutually exclusive contexts; (C2) in terms of relationship between factual measurements in a given context and counterfactual measurements that could be made if one used other contexts; and (C3) in terms of (non)existence of ``hidden variables'' that determine the outcomes of all factually performed measurements. It is generally believed that the three meanings are equivalent, but the issues involved are not entirely trans…
What classical resources are required to simulate quantum correlations? For the simplest and most important case of local projective measurements on an entangled Bell pair state, we show that exact simulation is possible using local hidden variables augmented by just one bit of classical communication. Certain quantum teleportation experiments, which teleport a single qubit, therefore admit a local hidden variables model.
For a hidden variable theory to be indistinguishable from quantum theory for finite precision measurements, it is enough that its predictions agree for some measurement within the range of precision. Meyer has recently pointed out 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 thus be effectively nullified if only finite precision measurements are considered. We generalise this result: it is possible to ascribe consistent outcomes to a dense subset of the set of projection…
Quantum mechanics implies that not all physical properties can be simultaneously well defined, such as the momentum and position due to Heisenberg uncertainty principle. Some alternative theories have been explored, notably the non-contextual hidden variable theories in which the properties of a system have pre-defined values which are independent of the measurement contextual. However, the Kochen-Specker theorem showed that such non-contextual hidden variable theories are in conflict with quantum mechanics. Recently, a state-independent inequality satisfied by non-contextual hidden variable t…
A hidden-variable model for quantum-mechanical spin, as represented by the Pauli spin operators, is proposed for systems illustrating the well-known no-hidden-variables arguments by Peres and Mermin (1990) and by Greenberger, Horne, and Zeilinger (1989). Both arguments rely on an assumption of non-contextuality; the latter argument can also be phrased as a non-locality argument, using a locality assumption. The model suggested here is compatible with both assumptions. This is possible because the scalar values of spin observables are replaced by vectors that are components of orientations.
We present a classical protocol for simulating correlations obtained by bipartite POVMs on an EPR pair. The protocol uses shared random variables (also known as local hidden variables) augmented by six bits of expected communication.
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…
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.
We present probabilistic analysis of the Greenberger-Horne-Zeilinger (GHZ) scheme in the contextualist framework, namely under the assumption that distributions of hidden variables depend on settings of measurement devices. On one hand, we found classes of probability distributions of hidden variables for that the GHZ scheme does not imply a contradiction between the local realism and quantum formalism. On the other hand, we found classes of probability distributions of hidden variables for that the GHZ scheme still induce such a contradiction (despite variations of distributions). It is also …
We discuss quantum non-locality and contextuality using the notion of transition sets. This approach provides a way to obtain a direct logical contradiction with locality/non-contextuality in the EPRB gedanken experiment as well as a clear graphical illustration of what violations of Bell inequalities quantify. In particular, we show graphically how these violations are related to measures of non-local transition sets. We also introduce a new form of contextuality, {\em measurement ordering contextuality}, i.e. there exists commuting operators $\hat{\mathcal{A}}$ and $\hat{\mathcal{B}}$ such t…
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 …
Since the enlightening proofs of quantum contextuality first established by Kochen and Specker, and also by Bell, various simplified proofs have been constructed to exclude the non-contextual hidden variable theory of our nature at the microscopic scale. The conflict between the non-contextual hidden variable theory and quantum mechanics is commonly revealed by Kochen-Specker (KS) sets of yes-no tests, represented by projectors (or rays), via either logical contradictions or noncontextuality inequalities in a state-(in)dependent manner. Here we first propose a systematic and programmable const…
Considering the common cause principle, we construct a local-contextual hidden-variable model for the Bohm version of EPR experiment. Our proposed model can reproduce the predictions of quantum mechanics. It can be also extended to classical examples in which similar correlations may be revealed.
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…
Everyday experience supports the existence of physical properties independent of observation in strong contrast to the predictions of quantum theory. In particular, existence of physical properties that are independent of the measurement context is prohibited for certain quantum systems. This property is known as contextuality. This paper studies whether the process of decay in space-time generally destroys the ability of revealing contextuality. We find that in the most general situation the decay property does not diminish this ability. However, applying certain constraints due to the space-…
One of the central foundational questions of physics is to identify what makes a system quantum as opposed to classical. One seminal notion of classicality of a quantum system is the existence of a non-contextual hidden variable model as introduced in the early work by Bell, Kochen and Specker. In quantum optics, the non-negativity of the Wigner function is a ubiquitous notion of classicality. In this work we establish an equivalence between these two concepts. In particular, we show that any non-contextual hidden variable model for Gaussian quantum optics has an alternative non-negative Wigne…
The Kochen-Specker theorem, Bell inequalities, and several other tests that were designed to rule out hidden-variable theories, assume the existence of observables having infinitely sharp eigenvalues. A paradigmatic example is spin-1/2. It is measured with a Stern-Gerlach array whose outputs are divided into two classes, spin-up and spin-down, in correspondence to the two spots observed on a detection screen. The spot's finite size is attributed to imperfections of the measuring device. This assumption turns the experimental output into a dichotomic, discrete one, thereby allowing the assignme…
Using joint Shannon entropy, we propose an inequality for a four-level system, which is satisfied in any non-contextual realist hidden variable model. We show that this entropic inequality is violated by quantum mechanics for a range of entangled, as well as product states. Our inequality can be experimentally tested using the existing technology.
We present a new and feasible test proving quantum contextuality in four-dimensional Hiltbert space. In our scheme, a contradiction between quantum mechanics and noncontextual hidden variables is revealed through the measurement statistics of two joint measurements of an ensemble of non-entangled qubits. The origin of nonclassicality is fully attributed to the measurement process. Quantum optical realization using photon pairs and linear optics are presented.
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…
Sequences of compatible quantum measurements can be contextual and any simulation with a classical model accounting for the quantum observations, needs to use some internal memory. In Ref. [New J. Phys. 13, 113011 (2011)], it was shown that simulating the sequences of compatible observables from the Peres-Mermin scenario requires at least three different memory states in order to be not in contradiction with the deterministic predictions of quantum theory. We extend this analysis to the probabilistic quantum predictions and ask how much memory is required to simulate the quantum correlations g…
Recent experiments of Groeblacher et al. proved the violation of a Leggett-type inequality that was claimed to be valid for a broad class of non-local hidden-variable theories. The impossibility of constructing a non-local and realistic theory, unless it entails highly counterintuitive features, seems thus to have been experimentally proved. This would bring us close to a definite refutation of realism. Indeed, realism was proved to be also incompatible with locality, according to a series of experiments testing Bell inequalities. The present paper addresses the said experiments of Groeblacher…
The question of whether quantum phenomena can be explained by classical models with hidden variables is the subject of a long lasting debate. In 1964, Bell showed that certain types of classical models cannot explain the quantum mechanical predictions for specific states of distant particles. Along this line, some types of hidden variable models have been experimentally ruled out. An intuitive feature for classical models is non-contextuality: the property that any measurement has a value which is independent of other compatible measurements being carried out at the same time. However, the res…
In this article we present a new prepare and measure quantum key distribution protocol that uses an experimentally accessible measure of single qubit contextuality to warranty the security of the quantum channel. The definition of contextuality used is that due to Spekkens in which any underlying hidden variable model of the physical system is noncontextual if the probability distribution of the model's hidden variables is independent of the preparation and measurement context. Under this more general definition of noncontextuality the measurement outcomes of a single qubit can be shown to req…
An analog of classical "hidden variables" for qubit states is presented. The states of qubit (two-level atom, spin-1/2 particle) are mapped onto the states of three classical--like coins. The bijective map of the states corresponds to the presence of correlations of random classical--like variables associated with the coin positions "up" or "down" and the observables are mapped onto quantum observables described by Hermitian matrices. The connection of the classical--coin statistics with the statistical properties of qubits is found.
Recently, an inequality satisfied by non-contextual hidden-variable models and violated by quantum mechanics for all states of a four-level system has been derived based on information-theoretic distance approach to non-classical correlations. In this work, we experimentally demonstrate violation of this inequality with single photons. Our experiment offers a method to study a distinction between quantum and classical correlations from an information-theoretic perspective.
For all the joint von Neumann measurements on a D-dimensional quantum system, we present the specific example of a context-invariant quasi hidden variable (qHV) model, proved in [Loubenets, J. Math. Phys. 56, 032201 (2015)] to exist for each Hilbert space. In this model, a quantum observable X is represented by a variety of random variables satisfying the functional condition required in quantum foundations but, in contrast to a contextual model, each of these random variables equivalently models X under all joint von Neumann measurements, regardless of their contexts. This, in particular, imp…
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 non-contextual 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 …
For spin-1/2 particles, using a suitable Mach-Zehnder-type setup with a spin-flipper, we argue that it is a direct consequence of the quantum mechanical treatment that an experimentally verifiable \textit{subensemble} mean of the measured values of an arbitrarily chosen spin variable exhibits dependence on the choice of a comeasurable `path' observable. This, in turn, enables inferring path-spin contextuality at the level of individual measured values of spin that are predetermined using a relevant hidden-variable model applied to our setup.
Modal quantum theory (MQT) is a simplified cousin of ordinary Hilbert space quantum theory. We show that two important theorems of actual quantum theory, the Kochen-Specker theorem excluding non-contextual hidden variables and the Conway-Kochen "free will theorem" about entangled systems, have direct analogues in MQT. The proofs of these analogue theorems are similar to, but much simpler than, the originals. We also show that the structure of possible measurement results for an entangled system in MQT cannot be represented by probability assignments satisfying the no-signaling principle, such …
A violation of Bell-CHSH inequalities does not justify speculations about quantum non-locality, conspiracy and retro-causation. Such speculations are rooted in a belief that setting dependence of hidden variables in a probabilistic model, called a violation of measurement independence, would mean a violation of experimenters freedom of choice. This belief is unfounded because it is based on a questionable use of Bayes Theorem and on incorrect causal interpretation of conditional probabilities. In Bell-local realistic model, hidden variables describe only photonic beams created by a source, thu…
Recently, an interesting form of non-classical effect which can be considered as a form of contextuality within quantum mechanics, has been demonstrated for a four-level system by discriminating the different routes that are taken for measuring a single observable. In this paper, we provide a simpler version of that proof for a single qutrit, which is also within the formalism of quantum mechanics and without recourse to any realist hidden variable model. The degeneracy of the eigenvalues and the L$\ddot{u}$der projection rule play important role in our proof.
We re-examine d=4 hidden-variables-models for a system of two spin-$1/2$ particles in view of the concrete model of Hardy, who analyzed the criterion of entanglement without referring to inequality. The basis of our analysis is the linearity of the probability measure related to the Born probability interpretation, which excludes non-contextual hidden-variables models in $d\geq 3$. To be specific, we note the inconsistency of the non-contextual hidden-variables model in $d=4$ with the linearity of the quantum mechanical probability measure in the sense $\langleψ|{\bf a}\cdot {\bf σ}\otimes{\bf…
We describe an explicitly non-contextual statistical model of hidden variables for the qutrit, which fully reproduces the predictions of quantum mechanics and, thus, bypasses the constraints imposed by the Kochen-Specker theorem and its subsequent reformulations. We notice that these renowned theorems crucially rely on the implicitly assumed existence of an absolute frame of reference with respect to which physically indistinguishable tests related by spurious gauge transformations can supposedly be assigned well-defined distinct identities. We observe that the existence of such an absolute fr…
We investigate the amount of communication that must augment classical local hidden variable models in order to simulate the behaviour of entangled quantum systems. We consider the scenario where a bipartite measurement is given from a set of possibilities and the goal is to obtain exactly the same correlations that arise when the actual quantum system is measured. We show that, in the case of a single pair of qubits in a Bell state, a constant number of bits of communication is always sufficient--regardless of the number of measurements under consideration. We also show that, in the case of a…
