On the Cohomology of Contextuality

Abstract

Recent work by Abramsky and Brandenburger used sheaf theory to give a mathematical formulation of non-locality and contextuality. By adopting this viewpoint, it has been possible to define cohomological obstructions to the existence of global sections. In the present work, we illustrate new insights into different aspects of this theory. We shed light on the power of detection of the cohomological obstruction by showing that it is not a complete invariant for strong contextuality even under symmetry and connectedness restrictions on the measurement cover, disproving a previous conjecture. We generalise obstructions to higher cohomology groups and show that they give rise to a refinement of the notion of cohomological contextuality: different "levels" of contextuality are organised in a hierarchy of logical implications. Finally, we present an alternative description of the first cohomology group in terms of torsors, resulting in a new interpretation of the cohomological obstructions.

In Proceedings QPL 2016, arXiv:1701.00242

Cited by in corpus (6)

• A Sheaf Model of Contradictions and Disagreements. Preliminary Report and Discussion
• The Sheaf-Theoretic Structure of Definite Causality
• Closing Bell: Boxing black box simulations in the resource theory of contextuality
• Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation
• Combining contextuality and causality: a game semantics approach
• Polynomial Life: the Structure of Adaptive Systems