Varieties of contextuality emphasizing (non)embeddability

Karl Svozil

Published Mar 10, 2021• 1 citation

Abstract

The notion of in terms of nonclassical (paradoxical) properties of probability distributions is refined by concentrating on the nonclassical logico-algebraic structures of the observables supporting such probabilities. These structures often, but not always, induce and are reflected by nonclassical properties of the probability distributions. Two types of contextuality are introduced, originating either in nonclassical probabilities on classical logics, or in genuine nonclassical logics of observables which cannot be faithfully (homomorphically) embedded into (extended) Boolean algebras. It is suggested to substitute the term contextual by indeterminate or value indefinite in the spirit of partial functions of theoretical computer sciences.

Related papers

Varieties of contextuality based on complexion, quantum probabilities, and structural non-embeddability

Karl Svozil

Contextuality can either be synthetically defined in terms of outcome conditionality on the measurement conditions, or in terms of non-classical probability distributions. Another logico-algebraic strong form of contextuality characterizes collections of quantum observables that have no faithfully embedding into (extended) Boolean algebras. Any of these forms indicate a classical in- or underdetermination that can be termed value indefinite, and formalized by partial functions of theoretical computer sciences. he term contextual by indeterminate or value indefinite in the spirit of partial functions of theoretical computer sciences.

Mar 10, 20211 citation

Varieties of contextuality based on probability and structural nonembeddability

Karl Svozil

Different analytic notions of contextuality fall into two major groups: probabilistic and strong notions of contextuality. Kochen and Specker's Theorem 0 [1] presents a demarcation criterion for differentiating between those groups. Whereas probabilistic contextuality still allows classical models, albeit with nonclassical probabilities, the logico-algebraic “strong” form of contextuality characterizes collections of quantum observables that have no faithfully embedding into (extended) Boolean algebras. Both forms indicate a classical in- or under-determination that can be termed “value indefinite” and formalized by partial functions of theoretical computer sciences.

arXiv:2103.06110Theoretical Computer ScienceApr 28, 20224 citations

The logical structure of contextuality and nonclassicality

Songyi Liu, Yongjun Wang, Baoshan Wang +2 more

Abstract Quantum contextuality represents a fundamental form of nonclassicality in quantum mechanics. To provide a more complete characterization of nonclassical properties in quantum systems, we adopt a logical perspective and propose a mathematical framework based on exclusive partial Boolean algebras. This framework enables a unified description of contextuality and nonclassicality across finite general, quantum, and classical systems. We establish a unified and minimal classical counterpart for any finite general system. Within this framework, we formalize major categories of quantum contextuality, demonstrating that: 12 projectors suffice to generate Kochen–Specker scenarios; 10 projectors suffice to witness state-independent contextuality; and 3 observables suffice to witness quantum contextuality. Finally, we prove that contextuality is a sufficient but not necessary condition for nonclassicality.

arXiv:2506.15071Journal of Physics A Mathematical and TheoreticalJan 14, 20260 citations

Conditions for logical contextuality and nonlocality

Leonardo Santos, Bárbara Amaral

Contextuality and nonlocality are nonclassical properties exhibited by quantum statistics whose implications profoundly impact both the 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 and nonlocality that are not based on violations of some noncontextuality (or Bell) inequality. By ``possibilistic'' we mean a description in terms of possibilities for the outcomes, which are Boolean variables assuming value one when the corresponding probability is strictly larger than zero and zero otherwise. The present work aims to build a bridge between these two concepts from what we call possibilistic paradoxes, which are sets of possibilistic conditions whose occurrence implies contextuality and nonlocality. As the main result, we demonstrate the existence of possibilistic paradoxes whose occurrence is a necessary and sufficient condition for logical contextuality in a very important class of scenarios. Finally, we discuss some interesting consequences arising from the completeness of these possibilistic paradoxes.

arXiv:2011.04111Physical Review AAug 4, 20217 citations

The Logic of Contextuality

Samson Abramsky, Rui Soares Barbosa

Contextuality is a key signature of quantum non-classicality, which has been shown to play a central role in enabling quantum advantage for a wide range of information-processing and computational tasks. We study the logic of contextuality from a structural point of view, in the setting of partial Boolean algebras introduced by Kochen and Specker in their seminal work. These contrast with traditional quantum logic à la Birkhoff and von Neumann in that operations such as conjunction and disjunction are partial, only being defined in the domain where they are physically meaningful. We study how this setting relates to current work on contextuality such as the sheaf-theoretic and graph-theoretic approaches. We introduce a general free construction extending the commeasurability relation on a partial Boolean algebra, i.e. the domain of definition of the binary logical operations. This construction has a surprisingly broad range of uses. We apply it in the study of a number of issues, including: - establishing the connection between the abstract measurement scenarios studied in the contextuality literature and the setting of partial Boolean algebras; - formulating various contextuality properties in this setting, including probabilistic contextuality as well as the strong, state-independent notion of contextuality given by Kochen-Specker paradoxes, which are logically contradictory statements validated by partial Boolean algebras, specifically those arising from quantum mechanics; - investigating a Logical Exclusivity Principle, and its relation to the Probabilistic Exclusivity Principle widely studied in recent work on contextuality as a step towards closing in on the set of quantum-realisable correlations; - developing some work towards a logical presentation of the Hilbert space tensor product, using logical exclusivity to capture some of its salient quantum features.

arXiv:2011.03064Leibniz international proceedings in informaticsNov 5, 20208 citations

Possibilistic (and other) notions of contextuality

Andrew W. Simmons

Since Bell, Kochen and Specker formulated the first notions of contextuality, a number of frameworks have been created to help make philosophical and mathematical sense of the concept. Two of the most common are the Equivalence-based approach due to Spekkens, and the Sheaf-theoretic framework of Abramsky and Brandenburger. Each of these can support a hierarchy of strengths of contextuality, which can include possibilistic concepts. This thesis will explore the differences between the two approaches, and explore what can be demonstrated by using weaker notions of noncontextuality. Notions of noncontextuality are important for proving no-go theorems which highlight that many properties that are true of classical mechanics fail to be compatible with quantum predictions. Often, the notions of noncontextuality used are very strong assumptions, and even weaker flavours of noncontextuality can be used to draw the same, or similar conclusions. An important class of such notions are, possibilistic assumptions that only care about whether or not events are possible or impossible, rather than the exact Born rule probabilities that are applied to events. Even these weaker notions are often impossible to resolve with the logical structure and predictions of quantum theory. Contextuality has been demonstrated to be a resource for many quantum computational operations, and the contextual fraction has been shown to be an important resource. We introduce a metric that can differentiate between different quantum mechanical scenarios with contextual fraction 1, and demonstrate analogues of CHSH and Tsirelson bounds for this quantity. We also investigate the computational complexity of calculating the values of some metrics for nonlocality and contextuality, completing the classification of possibilistic nonlocality scenarios, as well as other metrics of nonlocality analogous to our metric of maximal contextuality.

Sep 1, 20182 citations