Contextual inferences, nonlocality, and the incompleteness of quantum mechanics
Philippe Grangier
备注：
7 pages, 2 figures. In v2 same text, one Annex added with more arguments and examples. In v3 some precisions and references added. In v4 new abstract, and some clarifications added
It is known that "quantum non locality", leading to the violation of Bell's inequality and more generally of classical local realism, can be attributed to the conjunction of two properties, that we call here elementary locality and predictive completeness. Taking this point of view, we show again that quantum mechanics violates predictive completeness, allowing to make contextual inferences, which can in turn explain why quantum non locality does not contradict relativistic causality. But if the usual quantum state $ψ$ is predictively incomplete, how to complete it ? We give here a set of new arguments to show that $ψ$ should be completed indeed, not by looking for any "hidden variables", but rather by specifying the measurement context, which is required to define actual probabilities over a set of mutually exclusive physical events.
Quantum nonlocality can be revealed "via local contextuality" in qudit-qudit entangled systems with $d > 2$, that is, through the violation of inequalities containing Alice-Bob correlations that admit a local description, and Alice-Alice correlations (between the results of sequences of measurements on Alice's subsystem) that admit a local (but contextual) description. A fundamental question to understand the respective roles of entanglement and local contextuality is whether nonlocality via local contextuality exists when the parties have only qubit-qubit entanglement. Here we respond affirma…
The Clauser-Horne-Shimony-Holt-type noncontextuality inequality and the Svetlichny inequality are derived from the Alicki-Van Ryn quantumness witness. Thus a connection between quantumness and quantum contextuality, and that between quantumness and genuine multipartite nonlocality, are established.
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…
Two distant systems can exhibit quantum nonlocality even though the correlations between them admit a local model. This nonlocality can be revealed by testing extra correlations between successive measurements on one of the systems which do not admit a noncontextual model whatever the reduced state of this system is. This shows that quantum contextuality plays a fundamental role in quantum nonlocality, and allows an experimental test of the Kochen-Specker with locality theorem.
We experimentally show that nonlocality can be produced from single-particle contextuality by using two-particle correlations which do not violate any Bell inequality by themselves. This demonstrates that nonlocality can come from an {\em a priori} different simpler phenomenon, and connects contextuality and nonlocality, the two critical resources for, respectively, quantum computation and secure communication. From the perspective of quantum information, our experiment constitutes a proof of principle that quantum systems can be used simultaneously for both quantum computation and secure comm…
We introduce a general method which converts, in a unified way, any form of quantum contextuality, including any form of state-dependent contextuality, into a quantum violation of a bipartite Bell inequality. As an example, we apply the method to a quantum violation of the Klyachko-Can-Binicioğlu-Shumovsky inequality.
Contextuality and nonlocality are non-classical properties exhibited by quantum statistics whose implications profoundly impact both foundations and applications of quantum theory. In this paper we provide some insights into logical contextuality and inequality-free proofs. The former can be understood as the possibility version of contextuality, while the latter refers to proofs of quantum contextuality/nonlocality that are not based on violations of some noncontextuality (or Bell) inequality. The present work aims to build a bridge between these two concepts from what we call possibilistic p…
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.
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.
Recent experiments have demonstrated ququart state-independent quantum contextuality and qutrit state-dependent quantum contextuality. So far, the most basic form of quantum contextuality pointed out by Kochen and Specker, and Bell, has eluded experimental confirmation. Here we present an experimentally feasible test to observe qutrit state-independent quantum contextuality using single photons in a three-path setup. In addition, we show that if the same measurements are performed on two entangled qutrits, rather than sequentially on the same qutrit, then the noncontextual inequality becomes a…
This work develops analytic methods to quantitatively demarcate quantum reality from its subset of classical phenomenon, as well as from the superset of general probabilistic theories. Regarding quantum nonlocality, we discuss how to determine the quantum limit of Bell-type linear inequalities. In contrast to semidefinite programming approaches, our method allows for the consideration of inequalities with abstract weights, by means of leveraging the Hermiticity of quantum states. Recognizing that classical correlations correspond to measurements made on separable states, we also introduce a pr…
Recently, Yu and Oh [Phys. Rev. Lett. 108, 030402 (2012)] have conjectured that the simplest set of vectors needed to prove state-independent contextuality on a qutrit requires 13 vectors. Here we first prove that a necessary and sufficient condition for a set of vectors in any dimension $d \ge 3$ to prove contextuality for a system prepared in a maximally mixed state is that the graph $G_C$ in which vertices represent vectors and edges link orthogonal ones has chromatic number $χ(G_G)$ larger than $d$. Then, we prove Yu and Oh's conjecture. Finally, we prove that any set satisfying $χ(G_G)>d$…
We investigate the set of qutrit states in terms of symmetric states of two qubits that violate the minimal contextual inequality, namely the Klyachko-Can-Binicoglu-Shumovsky (KCBS) inequality. The physical system that provides a natural framework for this problem is a biphoton which consists of two photons in the same spatio-temporal mode and whose effective polarization behaves as a three-level quantum system. The relationship between the KCBS contextual inequality and the Clauser-Horne-Shimony-Holt (CHSH) inequality is investigated. We find that every biphotonic state that is contextual wit…
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-…
This paper illustrates a direct connection between quantum steering and non-trivial preparation contextuality. In two party-two measurement per party-two outcomes per measurement $(2-2-2)$ Bell scenario, any argument of Bell nonlocality is a proof of trivial preparation contextuality; however, the converse may not hold. If one of the parties (say, Alice) performs the measurements of more than two dichotomic observables, then it is possible to find a set of non-trivial functional relations between Alice's observables. We argue that the existence of a suitable set of such non-trivial relations b…
Gathering data through measurements is at the basis of every experimental science. Ideally, measurements should be repeatable and, when extracting only coarse-grained data, they should allow the experimenter to retrieve the finer details at a later time. However, in practice most measurements appear to be noisy. Here we postulate that, despite the imperfections observed in real life experiments, there exists a fundamental level where all measurements are ideal. Combined with the requirement that ideal measurements remain so when coarse-grained or applied in parallel on spacelike separated syst…
Nonlocality inequalities for multi-party systems act as contextuality inequalities for single qudit systems of suitable dimensions. In this paper, we propose the procedure for adaptation of nonlocality-based quantum conferencing protocols (QCPs) to contextuality-based QCPs. Unlike the nonlocality-based protocols, the proposed protocols do not involve nonlocal states. These protocols can also be implemented in a class of noisy channels without any compromise in the key generation rate. As an illustration of the procedure, we present a QCP based on Mermin's contextuality inequality. As a signifi…
Here, we consider the Bell experiment for a system described by multipartite states in the case where n-dichotomic observables are measured per site. If n is two, we consider a two-setting Bell experiment. If n is three, we consider a three-setting Bell experiment. Twosetting model is an explicit local realistic model for the values of a correlation function, given in a two-setting Bell experiment. Three-setting model is an explicit local realistic model for the values of a correlation function, given in a three-setting Bell experiment. In the non-contextual scenario, there is not the differen…
Cabello-Severini-Winter and Abramsky-Hardy (building on the framework of Abramsky-Brandenburger) both provide classes of Bell and contextuality inequalities for very general experimental scenarios using vastly different mathematical techniques. We review both approaches, carefully detail the links between them, and give simple, graph-theoretic methods for finding inequality-free proofs of nonlocality and contextuality and for finding states exhibiting strong nonlocality and/or contextuality. Finally, we apply these methods to concrete examples in stabilizer quantum mechanics relevant to unders…
We discuss proofs of nonlocality based on a generalization by Erwin Schrödinger of the argument of Einstein, Podolsky and Rosen. These proofs do not appeal in any way to Bell's inequalities. Indeed, one striking feature of the proofs is that they can be used to establish nonlocality solely on the basis of suitably robust perfect correlations. First we explain that Schrödinger's argument shows that locality and the perfect correlations between measurements of observables on spatially separated systems implies the existence of a non-contextual value-map for quantum observables; non-contextual me…
So far, most of the literature on (quantum) contextuality and the Kochen-Specker theorem seems either to concern particular examples of contextuality, or be considered as quantum logic. Here, we develop a general formalism for contextuality scenarios based on the combinatorics of hypergraphs which significantly refines a similar recent approach by Cabello, Severini and Winter (CSW). In contrast to CSW, we explicitly include the normalization of probabilities, which gives us a much finer control over the various sets of probabilistic models like classical, quantum and generalized probabilistic.…
Classical realism demands that system properties exist independently of whether they are measured, while noncontextuality demands that the results of measurements do not depend on what other measurements are performed in conjunction with them. The Bell-Kochen-Specker theorem states that noncontextual realism cannot reproduce the measurement statistics of a single three-level quantum system (qutrit). Noncontextual realistic models may thus be tested using a single qutrit without relying on the notion of quantum entanglement in contrast to Bell inequality tests. It is challenging to refute such …
We present a unified axiomatic approach to contextuality and non-locality based on the fact that both are resource theories. In those theories the main objects are consistent boxes, which can be transformed by certain operations to achieve certain tasks. The amount of resource is quantified by appropriate measures of the resource. Following recent paper [J.I. de Vicente, J. Phys. A: Math. Theor. {\bf 47}, 424017 (2014)], and recent development of abstract approach to resource theories, such as entanglement theory, we propose axioms and welcome properties for operations and measures of resource…
Contextuality is a non-classical behaviour that can be exhibited by quantum systems. It is increasingly studied for its relationship to quantum-over-classical advantages in informatic tasks. To date, it has largely been studied in discrete-variable scenarios, where observables take values in discrete and usually finite sets. Practically, on the other hand, continuous-variable scenarios offer some of the most promising candidates for implementing quantum computations and informatic protocols. Here we set out a framework for treating contextuality in continuous-variable scenarios. It is shown th…
Does the quantum state represent reality or our knowledge of reality? In making this distinction precise, we are led to a novel classification of hidden variable models of quantum theory. Indeed, representatives of each class can be found among existing constructions for two-dimensional Hilbert spaces. Our approach also provides a fruitful new perspective on arguments for the nonlocality and incompleteness of quantum theory. Specifically, we show that for models wherein the quantum state has the status of something real, the failure of locality can be established through an argument considerab…
We show that controlled interference of a particle's wavefunction can be used to perform a quantum mechanical measurement in an incomplete basis. This happens because the measurement projects the particle into a lower dimensional subspace of the Hilbert space of the incoming wave. It allows a sender (Alice) to signal the receiver (Bob) nonlocally, by Alice's choosing to measure in a complete or incomplete basis (in general: bases of differing incompleteness). If experimentally confirmed, it furnishes a new quantum communication act: nonlocal transmission of a bit without concomitant causal com…
Quantum $n$-body correlations cannot be explained with $(n-1)$-body nonlocality. However, this genuine $n$-body nonlocality cannot surpass certain bounds. Here we address the problem of identifying the principles responsible for these bounds. We show that, for any $n \ge 2$, the exclusivity principle, as derived from axioms about sharp measurements, and a technical assumption give the exact bounds predicted by quantum theory. This provides a unified explanation of the bounds of single-body contextuality and $n$-body nonlocality, and connects two programs towards understanding quantum theory.
In 1960, the mathematician Ernst Specker described a simple example of nonclassical correlations which he dramatized using a parable about a seer who sets an impossible prediction task to his daughter's suitors. We revisit this example here, using it as an entree to three central concepts in quantum foundations: contextuality, Bell-nonlocality, and complementarity. Specifically, we show that Specker's parable offers a narrative thread that weaves together a large number of results, including: the impossibility of measurement-noncontextual and outcome-deterministic ontological models of quantum…
Quantum contextuality is a nonintuitive property of quantum mechanics, that distinguishes it from any classical theory. A complementary quantum property is quantum nonlocality, which is an essential resource for many quantum information tasks. Here we experimentally study the contextual and nonlocal properties of polarization biphotons. First, we investigate the ability of the biphotons to exhibit contextuality by testing the violation of the KCBS inequality. In order to do so, we used the original protocol suggested in the KCBS paper, and adjusted it to the real scenario, where some of the bi…
Characterizing quantum correlations in terms of information-theoretic principles is a popular chapter of quantum foundations. Traditionally, the principles adopted for this scope have been expressed in terms of conditional probability distributions, specifying the probability that a black box produces a certain output upon receiving a certain input. This framework is known as "device-independent". Another major chapter of quantum foundations is the information-theoretic characterization of quantum theory, with its sets of states and measurements, and with its allowed dynamics. The different fr…
Nonlocality and contextuality are at the root of conceptual puzzles in quantum mechanics, and are key resources for quantum advantage in information-processing tasks. Bell nonlocality is best understood as the incompatibility between quantum correlations and the classical theory of causality, applied to relativistic causal structure. Contextuality, on the other hand, is on a more controversial foundation. In this work, I provide a common conceptual ground between nonlocality and contextuality as violations of classical causality. First, I show that Bell inequalities can be derived solely from …
"All-Possible-Worlds" is a novel interpretation of quantum physics, which results from a unified reformulation of Many-Worlds and Copenhagen ("collapse") in the light of quantum contextuality, and proposes "nonlocality at detection" as a principle ruling the whole quantum realm, including single qubit and qutrit experiments.
We show that all $n$-qubit entangled states, with the exception of tensor products of single-qubit and bipartite maximally-entangled states, admit Hardy-type proofs of non-locality without inequalities or probabilities. More precisely, we show that for all such states, there are local, one-qubit observables such that the resulting probability tables are logically contextual in the sense of Abramsky and Brandenburger, this being the general form of the Hardy-type property. Moreover, our proof is constructive: given a state, we show how to produce the witnessing local observables. In fact, we gi…
We discuss the problem of separating the total correlations in a given quantum joint probability distribution into nonlocality, contextuality and classical correlations. Bell discord and Mermin discord which qunatify nonlocality and contextuality of quantum correlations are interpreted as distance measures in the nonsignaling polytope. A measure of total correlations is introduced to divide the total amount of correlations into a purely nonclassical part and a classical part. We show that quantum correlations satisfy additivity relations among these three measures.
Recently many simple principles have been proposed that can explain quantum limitations on possible sets of experimental probabilities in nonlocality and contextuality experiments. However, few implications between these principles are known. Here it is shown that lack of irreducible third-order interference (a generalisation of the idea that no probabilistic interference remains unaccounted for once we have taken into account interference between pairs of slits in a $n$-sit experiment) implies the principle known as the E principle or Consistent Exclusivity (that, if each pair of a set of exp…
Although regarded today as an important resource in quantum information, nonlocality has yielded over the years many conceptual conundrums. Among the latter are nonlocal aspects of single particles which have been of major interest. In this paper, the nonlocality of single quanta is studied in a square nested Mach-Zehnder interferometer with spatially separated detectors using a delayed choice modification of quantum measurement outcomes that depend on the complex-valued weak values. We show that if spacelike separated Bob and Alice are allowed to freely control their quantum devices, the geom…
We uncover a form of quantum contextuality that connects maximal contextuality to boson indistinguihability in a similar way maximal nonlocality with respect to the Clauser-Horne-Shimony-Holt Bell inequality is connected to maximal entanglement. Unlike previous forms of photonic contextuality, this form cannot be simulated with classical light, as it relies on indistinguishability and higher-order interference. Ideal measurements on the bosonic system can be performed by means of dispersive coupling with an ancillary qubit. This allows us delaying at will the ending of each measurement and tar…
In contrast to conventional, dynamical entanglement, in which particles with definite identity have uncertain properties, in so-called statistical entanglement, which arises between indistinguishable particles because of quantum symmetry rules, even particle identities are uncertain. The Bell and Kochen-Specker theorems imply that quantum properties either lack realism or possess it with a caveat of contextuality or nonlocality. In the matter of identity of multi-particle states of indistinguishable particles, these contrasting ontological attitudes are mirrored by the "bundle" vs. haecceity v…
It is shown that when properly analyzed using principles consistent with the use of a Hilbert space to describe microscopic properties, quantum mechanics is a local theory: one system cannot influence another system with which it does not interact. Claims to the contrary based on quantum violations of Bell inequalities are shown to be incorrect. A specific example traces a violation of the CHSH Bell inequality in the case of a spin-3/2 particle to the noncommutation of certain quantum operators in a situation where (non)locality is not an issue. A consistent histories analysis of what quantum …
Of late, there has been an upsurge of interest in studying the sequential sharing of various forms of quantum correlations, viz., nonlocality, preparation contextuality, coherence, and entanglement. In this work, we explore the sequential sharing of nonlocality in a quantum network. We first consider the simplest case of the two-input bilocality scenario that features two independent sources and three parties, including two edge parties and a central party. We demonstrate that in the symmetric case when the sharing is considered for both the edge parties, the nonlocality can be shared by at mo…
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 central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here compatible measurements are those that can be implemented simultaneously or, more generally, those that are jointly measurable. This conflict is generically called quantum contextuality. In this review, an introduction to this subject and its current status is presented. Several proofs of the Kochen-Specker the…
The celebrated Bell-Kochen-Specker no-go theorem asserts that quantum mechanics does not present the property of realism, the essence of the theorem is the lack of a joint probability distributions for some experiment settings. In this work, we exploit the information theoretic form of the theorem using information measure instead of probabilistic measure and indicate that quantum mechanics does not present such entropic realism neither. The entropic form of Gleason's no-disturbance principle is developed and it turns out to be characterized by the intersection of several entropic cones. Entro…
Quantum nonlocality and contextuality are two phenomena stemming from nonclassical correlations. Whereas the former requires entanglement that is consumed in the measurement process the latter can occur for any state if one chooses a proper set of measurements. Despite this stark differences experimental tests of both phenomena were similar so far. For each run of the experiment one had to use a different copy of a physical system prepared according to the same procedure, or the system had to be brought to its initial state. Here we show that this is not necessary and that the state-independen…
I purport to show why old and new claims on the role of counterfactual reasoning for the EPR argument and the Bell theorem are unjustified: once the logical relation between locality and counterfactual reasoning is clarified, the use of the latter does no harm and the nonlocality result can well follow from the EPR premises. To show why, I critically review (i) incompleteness arguments that Einstein developed before the EPR paper, and (ii) more recent claims that equate the use of counterfactual reasoning with the assumption of a strong form of realism.
