Varieties of contextuality based on probability and structural nonembeddability
Abstract
Different analytic notions of contextuality fall into two major groups: probabilistic and strong notions of contextuality. Kochen and Specker's Theorem~0 is 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2021
- DOI:
- 10.48550/arXiv.2103.06110
- arXiv:
- arXiv:2103.06110
- Bibcode:
- 2021arXiv210306110S
- Keywords:
-
- Quantum Physics
- E-Print:
- 12 pages, 3 figures, 2 tables, final version