A set of quantum data can look classical in every local test and still fail to admit a single classical explanation of the whole composite system. We formulate this failure as global contextuality. Here global means global in the physical sense of the whole multipartite system, not the local/global terminology of sheaf theory. Each party's local statistics are noncontextual and each measured multipartite context admits a generalized local hidden-variable description, but the GLHV block descriptions cannot be promoted to a single noncontextual hidden-variable model for the whole system. Three bipartite constructions exhibit this separation. A polarization-path construction gives a direct global obstruction. A qubit-qutrit KCBS construction gives an algebraic scenario-level example, with explicit formulas for the unconditional KCBS operator, the correlation-polytope constraints, and the postselected violation. A flagged qutrit Werner-local state gives a state-level example: the state is entangled and local for all projective measurements, its local qutrit marginals do not violate KCBS, yet postselection rules out a single GNCHV model. We also spell out the classical composition lemma: classical conditional hidden variables can be absorbed into a larger hidden variable, whereas quantum contextual data need not allow such a factorization. Within the general Bell-type framework considered here, with arbitrary parties and arbitrary local compatible contexts, but no cross-party joint measurements, the absence of local contextuality and GLHV-type generalized Bell nonlocality does not imply the existence of a global noncontextual hidden-variable model. Global contextuality is thus a compositional obstruction to classical explanation.
A set of quantum data can look classical in every local test and still fail to admit a single classical explanation of the whole composite system. We formulate this failure as global contextuality. Here global means global in the physical sense of the whole multipartite system, not the local/global terminology of sheaf theory. Each party's local statistics are noncontextual and each measured multipartite context admits a generalized local hidden-variable description, but the GLHV block descriptions cannot be promoted to a single noncontextual hidden-variable model for the whole system. Three bipartite constructions exhibit this separation. A polarization-path construction gives a direct global obstruction. A qubit-qutrit KCBS construction gives an algebraic scenario-level example, with explicit formulas for the unconditional KCBS operator, the correlation-polytope constraints, and the postselected violation. A flagged qutrit Werner-local state gives a state-level example: the state is entangled and local for all projective measurements, its local qutrit marginals do not violate KCBS, yet postselection rules out a single GNCHV model. We also spell out the classical composition lemma: classical conditional hidden variables can be absorbed into a larger hidden variable, whereas quantum contextual data need not allow such a factorization. Within the general Bell-type framework considered here, with arbitrary parties and arbitrary local compatible contexts, but no cross-party joint measurements, the absence of local contextuality and GLHV-type generalized Bell nonlocality does not imply the existence of a global noncontextual hidden-variable model. Global contextuality is thus a compositional obstruction to classical explanation.
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 already been experimentally verified extensively on many different systems , while the quantum contextuality, which is independent of nonlocality and manifests itself even in a single object, is experimentally more demanding. Moreover, the contextuality has been shown to play a critical role to supply the `magic' for quantum computation, making more extensive experimental verifications in potential systems for quantum computing even more stringent. Here we report an experimental verification of quantum contextuality on an individual atomic nuclear spin-1 system in solids under ambient condition. Such a three-level system is indivisible and thus the compatibility loophole, which exists in the experiments performed on bipartite systems, is closed. Our experimental results confirm that the quantum contextuality cannot be explained by nonlocal entanglement, revealing the fundamental quantumness other than locality/nonlocality within the intrinsic spin freedom of a concrete natural atomic solid-state system at room temperature.
Abstract The relations between Bell nonlocality and Kochen–Specker contextuality have been subject of research from many different perspectives in the last decades. Recently, some interesting results on these relations have been explored in the so-called generalized Bell scenarios, that is, scenarios where Bell spatial separation (or agency independence) coexist with (at least one of the) parties’ ability to perform compatible measurements at each round of the experiment. When this party has an n-cycle compatiblity setup, it was first claimed that Bell nonlocality could not be concomitantly observed with contextuality at this party’s local experiment. However, by a more natural reading of the definition of locality, it turns out that both Bell nonlocality and local contextuality can, in fact, be jointly present. In spite of it, in this work we prove that in the simplest of those scenarios there cannot be arbitrary amounts of both of these two resources together. That is, in these cases we show that the violation of any Bell inequality limits the possible violations of any local noncontextuality inequality. We also explore this trade-off relation using quantifiers of nonlocality and contextuality, discussing how such a relation can be understood in terms of a ‘global’ notion of contextuality, and we study possible extensions of this result to other scenarios.
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.
The Kochen Specker theorem revealed contextuality as a fundamental nonclassical feature of nature. Nonlocality arises as a special case of contextuality, where entangled states shared by space like separated parties exhibit nonlocal correlations. The notion of maximality in correlations, analogous to maximal entanglement, is less explored in multipartite systems. In our work, we have defined maximal correlations in terms of contextual models, which are analogous to absolutely maximally entangled (AME) states. Employing the sheaf theoretic framework, we introduce maximal contextual correlations associated with the corresponding maximal contextual model. The formalism introduces the contextual fraction CF as a measure of contextuality, taking values from 0 (noncontextual) to 1 (fully contextual). This enables the formulation of a new class of correlations termed absolutely maximal contextual correlations (AMCC), which are both maximally contextual and maximal marginals. In the bipartite setting, the canonical example is the Popescu Rohrlich (PR) box, while in the tripartite case, it includes Greenberger Horne Zeilinger (GHZ) correlations and three way nonlocal correlations. In this work, we extend these findings to four party correlations. Notably, no AME state exists for four qubits, which introduces a subtle difference between AMCC and AME. The construction follows the constraint satisfaction problem (CSP) and parity check methods. In particular, the explicit realization of a non AMCC correlation that is maximally contextual yet not maximal marginal is obtained within the CSP framework.
Bell nonlocality and Kochen-Specker contextuality are among the main topics in the foundations of quantum theory. Both of them are related to stronger-than-classical correlations, with the former usually referring to spatially separated systems, while the latter considers a single system. In recent works, a unified framework for these phenomena was presented. This article reviews, expands, and obtains new results regarding this framework. Contextual and disturbing features inside the local models are explored, which allows for the definition of different local sets with a non-trivial relation among them. The relations between the set of quantum correlations and these local sets are also considered, and post-quantum local behaviours are found. Moreover, examples of correlations that are both local and non-contextual but such that these two classical features cannot be expressed by the same hidden variable model are shown. Extensions of the Fine-Abramsky-Brandenburger theorem are also discussed.
Bell nonlocality and Kochen-Specker contextuality are two remarkable nonclassical features of quantum theory, related to strong correlations between outcomes of measurements performed on quantum systems. Both phenomena can be witnessed by the violation of certain inequalities, the simplest and most important of which are the Clauser-Horne-Shimony-Holt (CHSH) and the Klyachko-Can-Binicioğlu-Shumovski (KCBS), for Bell nonlocality and Kochen-Specker contextuality, respectively. It has been shown that, using the most common interpretation of Bell scenarios, quantum systems cannot violate both inequalities concomitantly, thus suggesting a monogamous relation between the two phenomena. In this Letter, we show that the joint consideration of the CHSH and KCBS inequalities naturally calls for the so-called generalized Bell scenarios, which, contrary to the previous results, allows for joint violation of them. In fact, this result is not a special feature of such inequalities: We provide very strong evidence that there is no monogamy between nonlocality and contextuality in any scenario where both phenomena can be observed. We also implement a photonic experiment to test the synchronous violation of both CHSH and KCBS inequalities. Our results agree with the theoretical predictions, thereby providing experimental proof of the coexistence of Bell nonlocality and contextuality in the simplest scenario, and lead to novel possibilities where both concepts could be jointly employed for quantum information processing protocols.