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 transparent. Thus, arguments have been offered that C2 may have nothing to do with C1, and the traditional formulation of C1 itself encounters difficulties when measurement outcomes in a contextual system are treated as random variables. I show that if C1 is formulated within the framework of the Contextuality-by-Default (CbD) theory, the notion of a probabilistic coupling, the core mathematical tool of CbD, subsumes both counterfactual values and ``hidden variables''. In the latter case, a coupling itself can be viewed as a maximally parsimonious choice of a hidden variable.
In this paper, following an elementary line of thought which somewhat differs from the usual one, we prove once more that any deterministic theory predictively equivalent to quantum mechanics unavoidably exhibits a contextual character. The purpose of adopting this perspective is that of paving the way for a critical analysis of the use of counterfactual arguments when dealing with nonlocal physical processes.
Counterfactual reasoning and contextuality is defined and critically evaluated with regard to its nonempirical content. To this end, a uniqueness property of states, explosion views and link observables are introduced. If only a single context associated with a particular maximum set of observables can be operationalized, then a context translation principle resolves measurements of different contexts.
The amount of contextuality is quantified in terms of the probability of the necessary violations of noncontextual assignments to counterfactual elements of physical reality.
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…
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…
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 …
A primary goal in recent research on contextuality has been to extend this concept to cases of inconsistent connectedness, where observables have different distributions in different contexts. This article proposes a solution within the framework of probabilistic causal models, which extend hidden-variables theories, and then demonstrates an equivalence to the contextuality-by-default (CbD) framework. CbD distinguishes contextuality from direct influences of context on observables, defining the latter purely in terms of probability distributions. Here we take a causal view of direct influences…
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.
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.
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…
Two entangled particles in threedimensional Hilbert space (per particle) are considered in an EPR-type arrangement. On each side the Kochen-Specker observables $\{J_1^2,J_2^2,J_3^2\}$ and $\{\bar J_1^2, \bar J_2^2,J_3^2\}$ with $[J_1^2,\bar J_1^2]\neq 0$ are measured. The outcomes of measurements of $J_3^2$ (via $J_1^2,J_2^2$) and $J_3^2$ (via $\bar J_1^2,\bar J_2^2$) are compared. Although formally $J_3^2$ is associated with the same projection operator, a strong form of quantum contextuality states that an outcome depends on the complete disposition of the measurement apparatus, in particula…
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…
We investigate the connection between steering and contextuality in general probabilistic theories. We show that for a class of bipartite states the steerability of the state by given set of measurements is equivalent to non-existence of preparation noncontextual hidden variable model for certain restricted theory constructed from the given state and measurements. The connection between steering and contextuality is provided by the concept of incompatibility in restricted theories, which we also investigate.
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.
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…
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…
By analyzing the concept of contextuality (Bell-Kochen-Specker) in terms of pre-and-post-selection (PPS), it is possible to assign definite values to observables in a new and surprising way. Physical reasons are presented for restrictions on these assignments. When measurements are performed which do not disturb the pre- and post-selection (i.e. weak measurements), then novel experimental aspects of contextuality can be demonstrated including a proof that every PPS-paradox with definite predictions implies contextuality. Certain results of these measurements (eccentric weak values with e.g. ne…
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 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…
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…
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.
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 …
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…
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.
The structural connections between the Kochen-Specker (KS) theorem, pre- and post-selection (PPS) paradoxes, and anomalous weak values are explored in detail. All PPS paradoxes, such as the 3-box paradox, the Quantum Cheshire Cat, and the Quantum Pigeonhole principle, construct a particular type of ontological model that assigns an eigenvalue to each observable (independent of context) of a system such that these assignments are consistent with the PPS. It is shown that such an ontological model must be explicitly contextual in the sense of the KS theorem, or otherwise implies either a restric…
We present a protocol to evaluate the expectation value of the correlations of measurement outcomes for ensembles of quantum systems, and use it to experimentally demonstrate--under an assumption of fair sampling--the violation of an inequality that is satisfied by any non-contextual hidden-variables (NCHV) theory. The experiment is performed on an ensemble of molecular nuclear spins in the solid state, using established Nuclear Magnetic Resonance (NMR) techniques for quantum information processing (QIP).
We experimentally observed state-independent violations of Kochen-Specker inequalities for the simplest indivisible quantum system manifesting quantum contextuality, a three-level (qutrit) system. We performed the experiment with a single trapped ^{171}Yb^{+} ion, by mapping three ground states of the ^{171}Yb^{+} ion to a qutrit system and carrying out quantum operatations by applying microwaves resonant to the qutrit transition frequencies. Our results are free from the detection loophole and cannot be explained by the non-contextual hidden variable models.
Bell inequalities are a consequence of measurement incompatibility (not, as generally thought, of nonlocality). In classical terms, this is equivalent to contextuality -- measurement devices do have a significant effect. Contextual models are reasonable in classical physics, which always took the view that we ignore measurement devices whenever possible, but if that isn't good enough then we do have to model measurement devices. It is also argued that quantum theory should only be taken with counterfactual seriousness, because measurement incompatibility is a counterfactual concept.
An operational definition of contextuality is introduced which generalizes the standard notion in three ways: (1) it applies to arbitrary operational theories rather than just quantum theory, (2) it applies to arbitrary experimental procedures, rather than just sharp measurements, and (3) it applies to a broad class of ontological models of quantum theory, rather than just deterministic hidden variable models. We derive three no-go theorems for ontological models, each based on an assumption of noncontextuality for a different sort of experimental procedure; one for preparation procedures, ano…
Linear-optical test of quantum contextuality with sequential measurements
National Laboratory of Solid State Microstructures, Key Laboratory of Intelligent Optical Sensing and Manipulation, College of Engineering and Applied Sciences and School of Physics, Collaborative Innovation Center of Advanced Microstructures, Nanjing University（南京大学固体微结构物理国家重点实验室、智能光学传感与操控重点实验室、工程与应用科学学院和物理学院、先进微结构协同创新中心）；Physics Department, Institute for Advanced Studies in Basic Sciences (IASBS)（基础科学高等研究院物理系）；Vienna Center for Quantum Science and Technology, Atominstitut, TU Wien（维也纳量子科学与技术中心、原子研究所、维也纳工业大学）；School of Quantum Physics and Matter, Institute for Research in Fundamental Sciences (IPM)（基本科学研究院量子物理与物质学院）；Wallenberg Centre for Quantum Technology, Department of Microtechnology and Nanoscience, Chalmers University of Technology（查尔姆斯理工大学微技术与纳米科学部瓦伦堡量子技术中心）
Many seemingly paradoxical effects are known in the predictions for outcomes of intermediate measurements made on pre- and post-selected quantum systems. Despite appearances, these effects do not demonstrate the impossibility of a noncontextual hidden variable theory, since an explanation in terms of measurement-disturbance is possible. Nonetheless, we show that for every paradoxical effect wherein all the pre- and post- selected probabilities are 0 or 1 and the pre- and post-selected states are nonorthogonal, there is an associated proof of contextuality. This proof is obtained by considering…
Quantum theory has the intriguing feature that is inconsistent with noncontextual hidden variable models, for which the outcome of a measurement does not depend on which other compatible measurements are being performed concurrently. While various proofs of such contextual behavior of quantum systems have been established, relatively little is known concerning the possibility to demonstrate this intriguing feature for indistinguishable particles. Here, we show in a simple and systematic manner that with projective measurements alone, it is possible to demonstrate quantum contextuality for such…
Nowadays contextuality is the hotest topic of quantum foundations and, especially, foundations of quantum information theory. This notion is characterized by the huge diversity of approaches and interpretations. One of the strongest trends in contextual research is to identify contextuality with violation of the Bell inequalities. We call this sort of contextuality {\it Bell test contextuality} (BTC). In this note, we criticize the BTC-approach. It can be compared with an attempt to identify the complex and theoretically nontrivial notion of randomness with a test for randomness (or a batch of…
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…
The derivation of Bell inequalities for beables is well-known to require a "no-conspiracy" assumption. This assumption is widely accepted, the alternative being correlations between instrument settings and hidden beables. Two further assumptions are identified here: (1) a "no-contextuality" assumption, similar to the prohibition of contextuality that is required to derive the Kochen-Specker theorem, which is closely related to the "no-conspiracy" assumption; (2) a "no-correlation" assumption, which prohibits correlations between hidden beables. The three assumptions together are less acceptabl…
Weak value measurements have recently given rise to a large interest for both the possibility of measurement amplification and the chance of further quantum mechanics foundations investigation. In particular, a question emerged about weak values being proof of the incompatibility between Quantum Mechanics and Non-Contextual Hidden Variables Theories (NCHVT). A test to provide a conclusive answer to this question was given in [M. Pusey, Phys. Rev. Lett. 113, 200401 (2014)], where a theorem was derived showing the NCHVT incompatibility with the observation of anomalous weak values under specific…
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…
Studying the extent to which realism is compatible with quantum mechanics teaches us something about the quantum mechanical universe, regardless of the validity of such realistic assumptions. It has also recently been appreciated that these kinds of studies are fruitful for questions relating to quantum information and computation. Motivated by this, we extend the ontological model formalism for realistic theories to describe a set of theories emphasizing the role of measurement and preparation devices by introducing `hidden variables' to describe them. We illustrate both the ontological model…
In the standard formulation of quantum mechanics, there exists an inherent feedback of the measurement setting on the elementary object under scrutiny. Thus one cannot assume that an 'element of reality' prexists to the measurement and, it is even more intriguing that unperformed/counterfactual observables enter the game. This is called quantum contextuality. Simple finite projective geometries are a good way to picture the commutation relations of quantum observables entering the context, at least for systems with two or three parties. In the essay, it is further discovered a mathematical mec…
Quantum mechanics provides a statistical description about nature, and thus would be incomplete if its statistical predictions could not be accounted for 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 classicality, the Bell theorem, and noncontextuality, due to Bell, Kochen and Specker (BKS) . Tests of the Bell inequality and the BKS theorem are both of fundamental interests and of great significance . The Bell theorem has al…
H. P. Stapp has proposed a number of demonstrations of a Bell-type theorem which dispensed with an assumption of hidden variables, but relied only upon locality together with an assumption that experimenters can choose freely which of several incompatible observables to measure. In recent papers his strategy has centered upon counterfactual conditionals. Stapp's paper in American Journal of Physics, 2004, replies to objections raised against earlier expositions of this strategy and proposes a simplified demonstration. The new demonstration is criticized, several subtleties in the logic of coun…
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 …
Within the Dempster-Schafer theory of evidence a non-Kolmogorovian kind of epistemic uncertainty arises, which is encoded using multi-valued maps. We analyse the possible implications such non-Kolmogorovian epistemic uncertainty may have for Bell-type inequalities relating to the Einstein-Podolsky-Rosen-Bohm (EPRB) thought experiment. Our analysis leads to a notion of contextuality concerning complexes of physical measurement conditions. The use of multi-valued maps reveals an implicit link between this contextuality and counterfactual outcomes, and results in a formulation wherein the states …
The Greenberger, Horne, Zeilinger (GHZ) theorem is critically important to consideration of the possibility of hidden variables in quantum mechanics. Since it depends on predictions of single sets of measurements on three particles, it eliminates the sampling loophole encountered by the Bell theorem which requires a large number of observations to obtain a small number of useful joint measurements. In evading this problem, the GHZ theorem is believed to have confirmed Bell's historic conclusion that local hidden variables are inconsistent with the results of quantum mechanics. The GHZ theorem …
Using measurements pertaining to a suitable Mach-Zehnder(MZ) type setup, a curious quantum mechanical effect of contextuality between the path and the polarization degrees of freedom of a polarized photon is demonstrated, without using any notion of realism or hidden variables - an effect that holds good for the product as well as the entangled states. This form of experimental context-dependence is manifested in a way such that at \emph{either} of the two exit channels of the MZ setup used, the empirically verifiable \emph{subensemble} statistical properties obtained by an arbitrary polarizat…
In eliminating the fair sampling assumption, the Greenberger, Horne, Zeilinger (GHZ) theorem is believed to confirm Bell's historic conclusion that local hidden variables are inconsistent with the results of quantum mechanics. The GHZ theorem depends on predicting the results of sets of measurements of which only one may be performed. In the present paper, the non-commutative aspects of these unperformed measurements are critically examined. Classical examples and the logic of the GHZ construction are analyzed to demonstrate that combined counterfactual results of non-commuting operations are …
