Contextuality and Noncontextuality Measures and Generalized Bell Inequalities for Cyclic Systems
Ehtibar N. Dzhafarov, Janne V. Kujala, Víctor H. Cervantes
备注：
As pubished in Phys. Rev. A 101, 042119 (2020), but corrected in accordance with Erratum note in Physical Review A 101:069902, 2020 and Erratum note in Physical Review Review A Physical Review Review A 103:059901, 2021
Cyclic systems of dichotomous random variables have played a prominent role in contextuality research, describing such experimental paradigms as the Klyachko-Can-Binicoglu-Shumovky, Einstein-Podolsky-Rosen-Bell, and Leggett-Garg ones in physics, as well as conjoint binary choices in human decision making. Here, we understand contextuality within the framework of the Contextuality-by-Default (CbD) theory, based on the notion of probabilistic couplings satisfying certain constraints. CbD allows us to drop the commonly made assumption that systems of random variables are consistently connected. Consistently connected systems constitute a special case in which CbD essentially reduces to the conventional understanding of contextuality. We present a theoretical analysis of the degree of contextuality in cyclic systems (if they are contextual) and the degree of noncontextuality in them (if they are not). By contrast, all previously proposed measures of contextuality are confined to consistently connected systems, and most of them cannot be extended to measures of noncontextuality. Our measures of (non)contextuality are defined by the L_{1}-distance between a point representing a cyclic system and the surface of the polytope representing all possible noncontextual cyclic systems with the same single-variable marginals. We completely characterize this polytope, as well as the polytope of all possible probabilistic couplings for cyclic systems with given single-variable marginals.[...]
We discuss three measures of the degree of contextuality in contextual systems of dichotomous random variables. These measures are developed within the framework of the Contextuality-by-Default (CbD) theory, and apply to inconsistently connected systems (those with "disturbance" allowed). For one of these measures of contextuality, presented here for the first time, we construct a corresponding measure of the degree of noncontextuality in noncontextual systems. The other two CbD-based measures do not suggest ways in which degree of noncontextuality of a noncontextual system can be quantified. …
The contextuality and noncontextuality notions are considered in framework of probability representation of quantum states. Example of qutrit states and violation of the noncontextuality inequalities are presented by using the spin tomogram and tomographic symbols of the observables.
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…
Violation of a noncontextuality inequality or the phenomenon referred to `quantum contextuality' is a fundamental feature of quantum theory. In this article, we derive a novel family of noncontextuality inequalities along with their sum-of-squares decompositions in the simplest (odd-cycle) sequential-measurement scenario capable to demonstrate Kochen-Specker contextuality. The sum-of-squares decompositions allow us to obtain the maximal quantum violation of these inequalities and a set of algebraic relations necessarily satisfied by any state and measurements achieving it. With their help, we …
Characterising unknown quantum states and measurements is a fundamental problem in quantum information processing. In this Letter, we provide a novel scheme to self-test local quantum systems using non-contextuality inequalities. Our work leverages the graph-theoretic framework for contextuality introduced by Cabello, Severini, and Winter, combined with tools from mathematical optimisation that guarantee the unicity of optimal solutions. As an application, we show that the celebrated Klyachko-Can-Biniciogglu-Shumovsky inequality and its generalisation to contextuality scenarios with odd n-cycl…
Kochen-Specker (KS) theorem reveals the inconsistency between quantum theory and any putative underlying model of it satisfying the constraint of KS-noncontextuality. A logical proof of the KS theorem is one that relies only on the compatibility relations amongst a set of projectors (a KS set) to witness this inconsistency. These compatibility relations can be represented by a hypergraph, referred to as a contextuality scenario. Here we consider contextuality scenarios that we term KS-uncolourable, e.g., those which appear in logical proofs of the KS theorem. We introduce a hypergraph framewor…
Exploring the graph approach, we restate the extended definition of noncontextuality provided by the contextuality-by-default framework. This extended definition avoids the assumption of nondisturbance, which states that whenever two contexts overlap, the marginal distribution obtained for the intersection must be the same. We show how standard tools for characterizing contextuality can also be used in this extended framework for any set of measurements and, in addition, we also provide several conditions that can be tested directly in any contextuality experiment. Our conditions reduce to tra…
We explore the graph approach to contextuality to restate the extended definition of noncontextuality as given by J. Kujala et. al. [Phys. Rev. Lett. 115, 150401 (2015)] using graph-theoretical terms. This extended definition avoids the assumption of the pre-sheaf or non-disturbance condition, which states that if two contexts overlap, then the marginal distribution obtained for the intersection must be the same, a restriction that will never be perfectly satisfied in real experiments. With this we are able to derive necessary conditions for extended noncontextuality for any set of random vari…
The notion of (non)contextuality pertains to sets of properties measured one subset (context) at a time. We extend this notion to include so-called inconsistently connected systems, in which the measurements of a given property in different contexts may have different distributions, due to contextual biases in experimental design or physical interactions (signaling): a system of measurements has a maximally noncontextual description if they can be imposed a joint distribution on in which the measurements of any one property in different contexts are equal to each other with the maximal probabi…
For any Bell locality scenario (or Kochen-Specker noncontextuality scenario), the joint Shannon entropies of local (or noncontextual) models define a convex cone for which the non-trivial facets are tight entropic Bell (or contextuality) inequalities. In this paper we explore this entropic approach and derive tight entropic inequalities for various scenarios. One advantage of entropic inequalities is that they easily adapt to situations like bilocality scenarios, which have additional independence requirements that are non-linear on the level of probabilities, but linear on the level of entrop…
The predictions of quantum theory resist generalised noncontextual explanations. In addition to the foundational relevance of this fact, the particular extent to which quantum theory violates noncontextuality limits available quantum advantage in communication and information processing. In the first part of this work, we formally define contextuality scenarios via prepare-and-measure experiments, along with the polytope of general contextual behaviours containing the set of quantum contextual behaviours. This framework allows us to recover several properties of set of quantum behaviours in th…
The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements cannot be viewed as revealing pre-existing properties of the system. More precisely, no model can assign deterministic outcomes to the projectors of a quantum measurement in a way that depends only on the projector and not the context (the full set of projectors) in which it appeared, despite the fact that the Born rule probabilities associated with projectors are independent of the context. A more general, operatio…
If noncontextuality is defined as the robustness of a system's response to a measurement against other simultaneous measurements, then the Kochen-Specker arguments do not provide an algebraic proof for quantum contextuality. Namely, for the argument to be effective, (i) each operator must be uniquely associated with a measurement and (ii) commuting operators must represent simultaneous measurements. However, in all Kochen-Specker arguments discussed in the literature either (i) or (ii) is not met. Arguments meeting (i) contain at least one subset of mutually commuting operators which do not re…
One of the fundamental results in quantum foundations is the Kochen-Specker no-go theorem. For the quantum theory, the no-go theorem excludes the possibility of a class of hidden variable models where value attribution is context independent. Recently, the notion of contextuality has been generalized for different operational procedures and it has been shown that preparation contextuality of mixed quantum states can be a useful resource in an information-processing task called parity-oblivious multiplexing. Here, we introduce a new class of information processing tasks, namely d-level parity o…
Bell-type criteria of contextuality/nonlocality can be derived without any falsifiable assumptions, such as context-independent mapping (or local causality), free choice, or no-fine-tuning. This is achieved by deriving Bell-type criteria for inconsistently connected systems (i.e., those with disturbance/signaling), based on the generalized definition of contextuality in the Contextuality-by-Default approach, and then specializing these criteria to consistently connected systems.
When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis "noncontextuality", an instance of Leibniz's principle of the identity of indiscernibles. Read in the contrapositive, this hypothesis entails that any physical distinctions between two experimental procedures must necessarily lead to a difference in their operational statistics. The results I present in this thesis concern the failure of this hypothesis -- a failu…
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…
We develop a hypergraph-theoretic framework for Spekkens contextuality applied to Kochen-Specker (KS) type scenarios that goes beyond the Cabello-Severini-Winter (CSW) framework. To do this, we add new hypergraph-theoretic ingredients to the CSW framework. We then obtain noise-robust noncontextuality inequalities in this generalized framework by applying the assumption of (Spekkens) noncontextuality to both preparations and measurements. The resulting framework goes beyond the CSW framework, both conceptually and technically. On the conceptual level: 1) we relax the assumption of outcome deter…
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 …
Contextuality is the leading notion of nonclassicality for a single system. However, an experimental demonstration requires finding procedures that are operationally equivalent, which might seem impossible to achieve exactly. Here I focus on the simplest non-trivial case, four preparations and two tomographically complete binary measurements. Exploiting a subtle connection to the CHSH scenario gives eight non-linear inequalities which are together necessary and sufficient for the experimental statistics to admit a preparation noncontextual model in such a scenario. No fixed operational equival…
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…
We propose a family of noncontextuality inequalities and show that they can be used for certification of multiqubit quantum systems. Our scheme, unlike those based on non-locality, does not require spatial separation between the subsystems, yet it makes use of certain compatibility relations between measurements. Moreover, it is scalable in the sense that the number of expectation values that are to be measured to observe contextuality scales polynomially with the number of qubits that are being certified. In a particular case we also show our scheme to be robust errors and experimental imperf…
We argue that for a \emph{single particle} Bell's inequality is a consequence of noncontextuality and is \emph{incompatible} with statistical predictions of quantum mechanics. Thus noncontextual models can be empirically falsified, \emph{independent} of locality condition. For this an appropriate entanglement between \emph{disjoint} Hilbert spaces pertaining to translational and spin degrees of freedom of a single spin-1/2 particle is invoked
Nieuwenhuizen argued that there exists some "contextuality loophole" in Bell's theorem. This claim is unjustified. In Bell's theorem non-contextuality is not presupposed but derived from Einstein causality using the EPR argument.
The quest for fundamental test of quantum mechanics is an ongoing effort. We here address the question of what are the lowest possible moments needed to prove quantum nonlocality and noncontextuality without any further assumption -- in particular without the often assumed dichotomy. We first show that second order correlations can always be explained by a classical noncontextual local-hidden-variable theory. Similar third-order correlations also cannot violate classical inequalities in general, except for a special state-dependent noncontextuality. However, we show that fourth-order correlati…
We present a generalized set of complex rays for a qutrit in terms of parameter $q=e^{i2π/k}$, a $k$-th root of unity. Remarkably, when $k=2,3$, the set reduces to two well known state-independent contextuality (SIC) sets: the Yu-Oh set and the Bengtsson-Blanchfield-Cabello set. Based on the Ramanathan-Horodecki criterion and the violation of a noncontextuality inequality, we have proven that the sets with $k=3m$ and $k=4$ are SIC, while the set with $k=5$ is not. Our generalized set of rays will theoretically enrich the study of SIC proof, and experimentally stimulate the novel application to…
Contextuality is a natural generalization of nonlocality which does not need composite systems or spacelike separation and offers a wider spectrum of interesting phenomena. Most notably, in quantum mechanics there exist scenarios where the contextual behavior is independent of the quantum state. We show that the quest for an optimal inequality separating quantum from classical noncontextual correlations in an state-independent manner admits an exact solution, as it can be formulated as a linear program. We introduce the noncontextuality polytope as a generalization of the locality polytope, an…
In terms of a suitable variant of the EPR-Bohm example, we argue that the quantum mechanically predicted and experimentally verified violation of a Bell-type path-spin noncontextual realist inequality for an `intraparticle' path-spin entanglement involving single neutrons can be used to infer a form of nonlocality, distinct from Bell-type nonlocality, that is required for any relevant hidden variable model to be compatible with the quantum mechanical treatment of an EPR-Bohm-type `interparticle' entanglement.
The Contextuality-by-Default (CbD) theory allows one to separate contextuality from context-dependent errors and violations of selective influences (aka "no-signaling" or "no-disturbance" principles). This makes the theory especially applicable to behavioral systems, where violations of selective influences are ubiquitous. For cyclic systems with binary random variables, CbD provides necessary and sufficient conditions for noncontextuality, and these conditions are known to be breached in certain quantum systems. We apply the theory of cyclic systems to a psychophysical double-detection experi…
The assumption of local realism in a Bell locality scenario imposes non-trivial conditions on the Shannon entropies of the associated probability distributions, expressed by linear entropic Bell inequalities. In principle, these entropic inequalities provide necessary but not sufficient criteria for the existence of a local hidden variable model reproducing the correlations, as, for example, the paradigmatic nonlocal PR-box is entropically not different from a classically correlated box. In this paper we show that for the n-cycle scenario, entropic inequalities completely characterize the set …
Contextuality means non-existence of a joint distribution for random variables recorded under mutually incompatible conditions, subject to certain constraints imposed on how the identity of these variables may change across these conditions. In simple quantum systems contextuality is indicated by violations of Bell-type or Leggett-Garg-type inequalities. These inequalities, however, are predicated on the assumption of no-signaling, defined as invariance of the distributions of measurement results with respect to other (e.g., earlier in time) measurements' settings. Signaling makes the inequali…
Two fundamental quantum resources, nonlocality and contextuality, can be connected through Bell inequalities that are violated by state-independent contextuality (SI-C) sets. These Bell inequalities allow for applications that require simultaneous nonlocality and contextuality. However, for existing Bell inequalities, the nonlocality produced by SI-C sets is very sensitive to noise. This precludes experimental implementation. Here we identify the Bell inequalities for which the nonlocality produced by SI-C sets is optimal, i.e., maximally robust to either noise or detection inefficiency, for t…
A novel approach for analyzing "classical" alternatives to quantum mechanics for explaining the statistical results of an EPRB-like experiment is proposed. This perspective is top-down instead of bottom-up. Rather than beginning with an inequality derivation, a hierarchy of model types is constructed, each distinguished by appropriately parameterized conditional probabilities. This hierarchy ranks the "classical" model types in terms of their ability to reproduce QM statistics or not. The analysis goes beyond the usual consideration of model types that "fall short" (i.e., satisfy all of the CH…
Our aim is to compare the fundamental notions of quantum physics - contextuality vs. incompatibility. One has to distinguish two different notions of contextuality, {\it Bohr-contextuality} and {\it Bell-contextuality}. The latter is defined operationally via violation of noncontextuality (Bell type) inequalities. This sort of contextuality will be compared with incompatibility. It is easy to show that, for quantum observables, there is {\it no contextuality without incompatibility.} The natural question arises: What is contextuality without incompatibility? (What is "dry-residue"?) Generally …
The Contextuality-by-Default theory is illustrated on contextuality analysis of the idealized double-slit experiment. The experiment is described by a system of contextually labeled binary random variables each of which answers the question: has the particle hit the detector, having passed through a given slit (left or right) in a given state (open or closed)? This system of random variables is a cyclic system of rank 4, formally the same as the system describing the EPR/Bell paradigm with signaling. Unlike the latter, however, the system describing the double-slit experiment is always noncont…
We show that three unsharp binary qubit measurements are enough to violate a generalized noncontextuality inequality, the LSW inequality, in a state-dependent manner. For the case of trine spin axes we calculate the optimal quantum violation of this inequality. Besides, we show that unsharp qubit measurements do not allow a state-independent violation of this inequality. We thus provide a minimal state-dependent proof of measurement contextuality requiring one qubit and three unsharp measurements. Our result rules out generalized noncontextual models of these measurements which were previously…
Let random vectors $R^c=\{R_p^c:p\in P_c\}$ represent joint measurements of certain subsets $P_c$ of properties $p\in P$ in different contexts $c\in C$. Such a system is traditionally called noncontextual if there exists a jointly distributed set $\{Q_p:p\in P\}$ of random variables such that $R^c$ has the same distribution as $\{Q_p:p\in P_c\}$ for all $c\in C$. A trivial necessary condition for noncontextuality and a precondition for most approaches to measuring contextuality is that the system is consistently connected, i.e., all $R_p^c,R_p^{c'},\dots$ measuring the same property $p$ have t…
We report a single-neutron optical experiment to demonstrate the violation of a Bell-like inequality. Entanglement is achieved not between particles, but between the degrees of freedom, in this case, for a single-particle. The spin-{\small 1/2} property of neutrons are utilized. The total wave function of the neutron is described in a tensor product Hilbert space. A Bell-like inequality is derived not by a non-locality but by a contextuality. Joint measurements of the spinor and the path properties lead to the violation of a Bell-like inequality. Manipulation of the wavefunction in one Hilbert…
In a recent work, it was shown by one of us (EGC) that Bell-Kochen-Specker inequality violations in phenomena satisfying the no-disturbance condition (a generalisation of the no-signalling condition) cannot in general be explained with a faithful classical causal model -- that is, a classical causal model that satisfies the assumption of no fine-tuning. The proof of that claim however was restricted to Bell scenarios involving 2 parties or Kochen-Specker-contextuality scenarios involving 2 measurements per context. Here we show that the result holds in the general case of arbitrary numbers of …
Bell non-locality and Kochen-Specker (KS) contextuality are logically independent concepts, fuel different protocols with quantum vs classical advantage, and have distinct classical simulation costs. A natural question is what are the relations between these concepts, advantages, and costs. To address this question, it is useful to have a map that captures all the connections between Bell non-locality and KS contextuality in quantum theory. The aim of this work is to introduce such a map. After defining the theory-independent notions of Bell non-locality and KS contextuality for ideal measurem…
Noncontextuality inequalities for prepare-transform-measure scenarios
International Centre for Theory of Quantum Technologies, University of Gdańsk（格但斯克大学量子技术理论国际中心）；Perimeter Institute for Theoretical Physics（理论物理 perimeter 研究所）；Basic Research Community for Physics e.V.（基础物理社区协会）
Most behavioral and social experiments aimed at revealing contextuality are confined to cyclic systems with binary outcomes. In quantum physics, this broad class of systems includes as special cases Klyachko-Can-Binicioglu-Shumovsky-type, Einstein-Podolsky-Rosen-Bell-type, and Suppes-Zanotti-Leggett-Garg-type systems. The theory of contextuality known as Contextuality-by-Default allows one to define and measure contextuality in all such system, even if there are context-dependent errors in measurements, or if something in the contexts directly interacts with the measurements. This makes the th…
