Simplicial quantum contextuality
arXiv:2204.06648 · doi:10.22331/q-2023-05-22-1009
Abstract
We introduce a new framework for contextuality based on simplicial sets, combinatorial models of topological spaces that play a prominent role in modern homotopy theory. Our approach extends measurement scenarios to consist of spaces (rather than sets) of measurements and outcomes, and thereby generalizes nonsignaling distributions to simplicial distributions, which are distributions on spaces modeled by simplicial sets. Using this formalism we present a topologically inspired new proof of Fine's theorem for characterizing noncontextuality in Bell scenarios. Strong contextuality is generalized suitably for simplicial distributions, allowing us to define cohomological witnesses that extend the earlier topological constructions restricted to algebraic relations among quantum observables to the level of probability distributions. Foundational theorems of quantum theory such as the Gleason's theorem and Kochen-Specker theorem can be expressed naturally within this new language.
arXiv comment48 pages, 15 figures
References in corpus (24)
- Bell nonlocality
- Hidden Variables and the Two Theorems of John Bell
- Contextuality for preparations, transformations, and unsharp measurements
- Non-local correlations as an information theoretic resource
- All multipartite Bell correlation inequalities for two dichotomic observables per site
- The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
- General properties of Nonsignaling Theories
- Specker's Parable of the Over-protective Seer: A Road to Contextuality, Nonlocality and Complementarity (PLUS AN ERRATUM)
- A Combinatorial Approach to Nonlocality and Contextuality
- All noncontextuality inequalities for the n-cycle scenario
- Logical Bell Inequalities
- Contextuality, Cohomology and Paradox
- Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen-Specker theorem: the Peres-Mermin square
- Fine's Theorem for Leggett-Garg tests with an arbitrary number of measurement times
- A comonadic view of simulation and quantum resources
- On Measures and Measurements: a Fibre Bundle approach to Contextuality
- Contextuality and bundle diagrams
- A complete characterisation of All-versus-Nothing arguments for stabiliser states
- Categories of Empirical Models
- Compositories and Gleaves
- Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation
- Simplicial distributions, convex categories and contextuality
- Contextuality in the Bundle Approach, n-Contextuality, and the Role of Holonomy
- Mermin polytopes in quantum computation and foundations