The Cohomology of Non-Locality and Contextuality
arXiv:1111.3620 · doi:10.4204/EPTCS.95.1
Abstract
In a previous paper with Adam Brandenburger, we used sheaf theory to analyze the structure of non-locality and contextuality. Moreover, on the basis of this formulation, we showed that the phenomena of non-locality and contextuality can be characterized precisely in terms of obstructions to the existence of global sections. Our aim in the present work is to build on these results, and to use the powerful tools of sheaf cohomology to study the structure of non-locality and contextuality. We use the Cech cohomology on an abelian presheaf derived from the support of a probabilistic model, viewed as a compatible family of distributions, in order to define a cohomological obstruction for the family as a certain cohomology class. This class vanishes if the family has a global section. Thus the non-vanishing of the obstruction provides a sufficient (but not necessary) condition for the model to be contextual. We show that for a number of salient examples, including PR boxes, GHZ states, the Peres-Mermin magic square, and the 18-vector configuration due to Cabello et al. giving a proof of the Kochen-Specker theorem in four dimensions, the obstruction does not vanish, thus yielding cohomological witnesses for contextuality.
In Proceedings QPL 2011, arXiv:1210.0298
References in corpus (2)
Cited by in corpus (40)
- Contextuality, Cohomology and Paradox
- Contextuality as a resource for measurement-based quantum computation beyond qubits
- Quantum computational advantage with string order parameters of 1D symmetry-protected topological order
- The role of cohomology in quantum computation with magic states
- On the Cohomology of Contextuality
- Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models
- Homotopical approach to quantum contextuality
- On Measures and Measurements: a Fibre Bundle approach to Contextuality
- Hardy is (almost) everywhere: nonlocality without inequalities for almost all entangled multipartite states
- On monogamy of non-locality and macroscopic averages: examples and preliminary results
- Contextuality and bundle diagrams
- Categories of Empirical Models
- Towards a complete cohomology invariant for non-locality and contextuality
- Cohomology of Effect Algebras
- The Sheaf-Theoretic Structure of Definite Causality
- A Sheaf Model of Contradictions and Disagreements. Preliminary Report and Discussion
- Closing Bell: Boxing black box simulations in the resource theory of contextuality
- Contextuality and the fundamental theorems of quantum mechanics
- Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation
- Independence Conditions for Nets of Local Algebras as Sheaf Conditions
- Continuous-variable nonlocality and contextuality
- On the 'Reality' of Observable Properties
- Combining contextuality and causality: a game semantics approach
- Sheaf-Theoretic Methods in Quantum Mechanics and Quantum Information Theory
- Wigner and friends, a map is not the territory! Contextuality in multi-agent paradoxes
- Categorical Quantum Dynamics
- The many mathematical faces of Mermin's proof of the Kochen-Specker theorem
- Classifying space for quantum contextuality
- Stochastic Relational Presheaves and Dynamic Logic for Contextuality
- The six blinds and the elephant or an interdisciplinary selection of measurement features
- Connecting extended Wigner's friend arguments and noncontextuality
- Generalised Winograd Schema and its Contextuality
- Topos logic in measurement-based quantum computation
- Reflections on the PBR Theorem: Reality Criteria & Preparation Independence
- Contextuality from missing and versioned data
- Analogs of absolutely maximally entangled states in nonlocal correlations via the sheaf-theoretic framework and its applications
- Differential Geometry of Contextuality
- Contextuality and the Weak Axiom in the Theory of Choice
- A Quantum Gödelian Hunch
- Convexity of noncontextual wirings and how they order the set of correlations