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.
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.
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.
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.
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.
In quantum physics, the term ‘contextual’ can be used in more than one way. One usage, here called ‘Bell contextual’ since the idea goes back to Bell, is that if A , B and C are three quantum observables, with A compatible (i.e. commuting) with B and also with C , whereas B and C are incompatible, a measurement of A might yield a different result (indicating that quantum mechanics is contextual) depending upon whether A is measured along with B (the { A , B } context) or with C (the { A , C } context). An analysis of what projective quantum measurements measure shows that quantum theory is Bell non-contextual: the outcome of a particular A measurement when A is measured along with B would have been exactly the same if A had, instead, been measured along with C . A different definition, here called ‘globally (non)contextual’ refers to whether or not there is (non-contextual) or is not (contextual) a single joint probability distribution that simultaneously assigns probabilities in a consistent manner to the outcomes of measurements of a certain collection of observables, not all of which are compatible. A simple example shows that such a joint probability distribution can exist even in a situation where the measurement probabilities cannot refer to properties of a quantum system, and hence lack physical significance, even though mathematically well defined. It is noted that the quantum sample space, a projective decomposition of the identity, required for interpreting measurements of incompatible properties in different runs of an experiment using different types of apparatus, has a tensor product structure, a fact sometimes overlooked. This article is part of the theme issue ‘Contextuality and probability in quantum mechanics and beyond’.
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.
Incompatibility constitutes a fundamental aspect of quantum mechanics. However, not every quantum observable non-classical property arises from incompatibility, nor can all quantum scenarios be fully captured by incompatibility alone. Within the framework of partial Boolean algebra (pBA), we research the structural properties of incompatibility scenarios. We introduce a unified method to realize any incompatibility scenario via a classical game, and the construction is extendable to any scenario embeddable into a Boolean algebra. The exclusivity graph offers a precise characterization of incompatibility scenarios. We prove that every exclusivity graph is the atom graph of an exclusive pBA, which is embedded into a Boolean algebra. These results provide a necessary condition for exclusivity graphs and a sufficient condition for atom graphs.