arXiv:1805.02083 · Quantum

Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem

Ravi Kunjwal

Published Jan 10, 2020• 14 citations

Abstract

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 framework to obtain noise-robust witnesses of contextuality from such scenarios. Our approach builds on the results of R. Kunjwal and R. W. Spekkens, Phys. Rev. Lett. 115, 110403 (2015), by providing new insights into the relationship between the structure of a contextuality scenario and the associated noise-robust noncontextuality inequalities that witness contextuality. The present work also forms a necessary counterpart to the framework presented in R. Kunjwal, Quantum 3, 184 (2019), which only applies to KS-colourable contextuality scenarios, i.e., those which do not admit logical proofs of the KS theorem but do admit statistical proofs. We rely on a single hypergraph invariant, defined in R. Kunjwal, Quantum 3, 184 (2019), that appears in our contextuality witnesses, namely, the weighted max-predictability. The present work can also be viewed as a study of this invariant. Significantly, unlike the case of R. Kunjwal, Quantum 3, 184 (2019), none of the graph invariants from the graph-theoretic framework for KS-contextuality due to Cabello, Severini, and Winter (the ``CSW framework", Phys. Rev. Lett. 112, 040401 (2014)) are relevant for our noise-robust noncontextuality inequalities.

DOI: 10.22331/q-2020-01-10-219

Related papers

Beyond the Cabello-Severini-Winter framework: Making sense of contextuality without sharpness of measurements

Ravi Kunjwal

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 in both senses, conceptual and technical. On the conceptual level: 1) as in any treatment based on the generalized notion of noncontextuality à la Spekkens, we relax the assumption of outcome determinism inherent to the Kochen-Specker theorem but retain measurement noncontextuality, besides introducing preparation noncontextuality, 2) we do not require the exclusivity principle -- that pairwise exclusive measurement events must all be mutually exclusive -- as a fundamental constraint on measurement events of interest in an experimental test of contextuality, given that this property is not true of general quantum measurements, and 3) as a result, we do not need to presume that measurement events of interest are ``sharp" (for any definition of sharpness), where this notion of sharpness is meant to imply the exclusivity principle. On the technical level, we go beyond the CSW framework in the following senses: 1) we introduce a source events hypergraph -- besides the measurement events hypergraph usually considered -- and define a new operational quantity Corr that appears in our inequalities, 2) we define a new hypergraph invariant -- the weighted max-predictability -- that is necessary for our analysis and appears in our inequalities, and 3) our noise-robust noncontextuality inequalities quantify tradeoff relations between three operational quantities -- Corr , R , and p0 -- only one of which (namely, R ) corresponds to the Bell-Kochen-Specker functionals appearing in the CSW framework; when Corr=1 , the inequalities formally reduce to CSW type bounds on R . Along the way, we also consider in detail the scope of our framework vis-à-vis the CSW framework, particularly the role of Specker's principle in the CSW framework, i.e., what the principle means for an operational theory satisfying it and why we don't impose it in our framework.

arXiv:1709.01098QuantumSep 9, 201929 citations

Contextuality beyond the Kochen-Specker theorem

Ravi Kunjwal

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 failure dubbed "contextuality" -- when one tries to embed an operational theory (such as quantum theory) in the ontological models framework. The Kochen-Specker theorem demonstrates the failure of noncontextuality for deterministic ontological models of quantum theory, i.e., those ontological models where the ontic/physical state of the system fixes the outcome of any projective measurement on the system in a deterministic manner. This thesis goes beyond the Kochen-Specker (KS) theorem by asking what operational facts must be verified in experiments to conclude that Nature does not admit noncontextual ontological models, not even indeterministic ones. This leads to noncontextuality inequalities that are robust to noise in the preparations and measurements. In the particular case of quantum theory, these inequalities are meaningful even when unsharp measurements (or POVMs) are allowed, a feature not shared by the traditional approach to KS-noncontextuality where unsharp measurements are excluded by fiat: allowing them renders even trivial POVMs (proportional to identity) maximally KS-contextual. The sense in which trivial POVMs are indeed "trivial" (or "noncontextual") is clear in our approach: they are simply too noisy to lead to violation of our noncontextuality inequalities.

arXiv:1612.07250Dec 21, 20169 citations

Emergence and Recovery of (logical) Kochen-Specker Contextuality via Hamilton Extension

Jayashree Karmakar, Biswadeep Chatterjee, Rafiuddin Gazi +5 more

Logical Kochen-Specker (KS) contextuality is widely regarded as an intrinsic property of specially constructed measurement configurations. We show instead that it can emerge from KS-colorable vector sets through a constructive procedure we call the Hamilton extension. Defined for four-dimensional vector sets, the Hamilton extension associates each real vector with a measurement context while inducing additional measurement contexts among Hamilton-extended children of distinct parent vectors. These emergent contexts fundamentally alter the compatibility structure, transforming KS-colorable configurations into KS-uncolorable ones and recovering logical contextuality lost under apex-vertex augmentation. We establish a sharp and optimal threshold -- the Hamilton extension of every five-vector parent set remains KS-colorable, whereas suitably chosen six-vector parent sets already generate logical KS contradictions. Thus, six vectors constitute the smallest parent set capable of generating KS contradiction through this mechanism. Our results reveal a new structural route to contextuality, provide a systematic framework for constructing compact KS sets, and have implications for contextuality-based quantum information protocols and graph-theoretic approaches to nonclassicality.

quant-pharXiv:2607.14629Jul 17, 20260 citations

Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen–Specker theorem: the Peres–Mermin square

Anirudh Krishna, Robert W. Spekkens, Elie Wolfe

When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen–Specker theorem rules out models of quantum theory that satisfy a particular assumption of context-independence: that sharp measurements are assigned outcomes both deterministically and independently of their context. This notion of noncontextuality is not suited to a direct experimental test because realistic measurements always have some degree of unsharpness due to noise. However, a generalized notion of noncontextuality has been proposed that is applicable to any experimental procedure, including unsharp measurements, but also preparations as well, and for which a quantum no-go result still holds. According to this notion, the model need only specify a probability distribution over the outcomes of a measurement in a context-independent way, rather than specifying a particular outcome. It also implies novel constraints of context-independence for the representation of preparations. In this article, we describe a general technique for translating proofs of the Kochen–Specker theorem into inequality constraints on realistic experimental statistics, the violation of which witnesses the impossibility of a noncontextual model. We focus on algebraic state-independent proofs, using the Peres–Mermin square as our illustrative example. Our technique yields the necessary and sufficient conditions for a particular set of correlations (between the preparations and the measurements) to admit a noncontextual model. The inequalities thus derived are demonstrably robust to noise. We specify how experimental data must be processed in order to achieve a test of these inequalities. We also provide a criticism of prior proposals for experimental tests of noncontextuality based on the Peres–Mermin square.

arXiv:1704.01153New Journal of PhysicsOct 5, 201731 citations

A proof of the Kochen–Specker theorem can always be converted to a state-independent noncontextuality inequality

Xiao-Dong Yu, Yan-Qing Guo, D M Tong

Quantum contextuality is one of the fundamental notions in quantum mechanics. Proofs of the Kochen–Specker theorem and noncontextuality inequalities are two means for revealing the contextuality phenomenon in quantum mechanics. It has been found that some proofs of the Kochen-Specker theorem, such as those based on rays, can be converted to a state-independent noncontextuality inequality, but it remains open whether this is true in general, i.e., whether any proof of the Kochen-Specker theorem can always be converted to a noncontextuality inequality. In this paper, we address this issue. We prove that all kinds of proofs of the Kochen-Specker theorem, based on rays or any other observables, can always be converted to state-independent noncontextuality inequalities. Besides, our constructive proof also provides a general approach for deriving a state-independent noncontextuality inequality from a proof of the KS theorem.

arXiv:1505.02603New Journal of PhysicsSep 2, 201516 citations

Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem

Victoria J Wright, Ravi Kunjwal

The Kochen–Specker (KS) theorem reveals the nonclassicality of single quantum systems. In contrast, Bell's theorem and entanglement concern the nonclassicality of composite quantum systems. Accordingly, unlike incompatibility, entanglement and Bell non-locality are not necessary to demonstrate KS-contextuality. However, here we find that for multiqubit systems, entanglement and non-locality are both essential to proofs of the Kochen–Specker theorem. Firstly, we show that unentangled measurements (a strict superset of local measurements) can never yield a logical (state-independent) proof of the KS theorem for multiqubit systems. In particular, unentangled but nonlocal measurements—whose eigenstates exhibit ''nonlocality without entanglement"—are insufficient for such proofs. This also implies that proving Gleason's theorem on a multiqubit system necessarily requires entangled projections, as shown by Wallach [Contemp Math, 305: 291-298 (2002)]. Secondly, we show that a multiqubit state admits a statistical (state-dependent) proof of the KS theorem if and only if it can violate a Bell inequality with projective measurements. We also establish the relationship between entanglement and the theorems of Kochen–Specker and Gleason more generally in multiqudit systems by constructing new examples of KS sets. Finally, we discuss how our results shed new light on the role of multiqubit contextuality as a resource within the paradigm of quantum computation with state injection.

arXiv:2109.13594QuantumJan 19, 20239 citations