nucleation

LIT-016: The sheaf-theoretic structure of non-locality and contextuality

3 min read

Properties8
StatusActive — read in full 2026-09-25 (NOTE-016); the founding paper of the sheaf-theoretic approach to contextuality. It is short, fully proved and still the standard reference for its definitions (empirical model, strong contextuality, the global-section criterion). Later work (cohomology, the contextual fraction, the CbD comparison) extends it but does not replace it.
Version2
Tagscontextuality, quantum-foundations, mathematics
Extended byLIT-277 — The Cohomology of Non-Locality and Contextuality, LIT-841 — Semantic Unification: A Sheaf Theoretic Approach to Natural Language, LIT-842 — On the Quantum-like Contextuality of Ambiguous Phrases, LIT-843 — Combining contextuality and causality: a game semantics approach, LIT-844 — Quantum-Like Contextuality in Large Language Models, LIT-845 — Closing Bell: Boxing black box simulations in the resource theory of contextuality, LIT-846 — Categories of Empirical Models, LIT-847 — A comonadic view of simulation and quantum resources
SupportsCLAIM-037 — Formal contextuality is a failure of global extension, distinct from ordinary context dependence, and needs Contextuality-by-Default when marginals shift with context, CLAIM-038 — A communicative object is a context-indexed system of empirical constraints over a cover of contexts, and these need not extend to one globally realizable interpretation, CLAIM-131 — A compatible family of sections of the event sheaf always glues, so where a communicative object lacks a global realization the obstruction lies in its supports or distributions, not in the event sheaf, CLAIM-141 — Causal-loop consistency and sheaf contextuality are both local-to-global problems, but passing to distributions affects them oppositely: a loop with no deterministic solution has a distributional fixed point, while a model with no global section in its supports has no global distribution either, CLAIM-374 — On a consistently connected system, Contextuality-by-Default and the sheaf criterion agree: a maximally connected coupling exists exactly when a global law has the contexts' laws as its marginals
Cited as “grounds” byCLAIM-471 — Physical interconnection can generate effective constraints on joint behaviour; measurement can estimate correspondences among local descriptions; and adaptive apparatuses can revise those correspondences; gluing expresses compatibility under specified relations, but neither the relations' physical generation nor their adequacy follows from gluing alone
Cited as “paper” byNOTE-016 — The sheaf-theoretic structure of non-locality and contextuality
Cited as “source” byTHEORY-010 — Grangier and Auffèves's contextual objectivity is an ontological postulate, not contextuality in either formal sense: its one argued consequence, unpredictability after a change of context, is reproduced by an epistemically restricted classical model, THEORY-012 — An empirical model is Kochen–Specker-noncontextual exactly when its context distributions glue to one global distribution, and since signed global sections always exist for no-signalling models, negative probability does not mark contextuality, THEORY-014 — In both formalisms of contextuality, classicality is the existence of a nonnegative version of a linear representation that always exists over the reals, so negativity is universal and only its unavoidability is nonclassical, THEORY-015 — Kochen–Specker noncontextuality is measurement noncontextuality plus outcome determinism for sharp measurements, and preparation noncontextuality implies that determinism, so every Kochen–Specker proof refutes universal generalized noncontextuality while measurement noncontextuality alone is consistent with quantum theory

Graph View

Samson Abramsky, Adam Brandenburger (2011), New Journal of Physics 13, 113036 (2011) — ARXIV-1102.0264

Key takeaways

  • Contextuality, with non-locality as a special case, is exactly the non-existence of a global section of a presheaf of distributions over a measurement cover, which gives a Hilbert-space-free, linear-algebraic and hierarchical treatment of Bell, Hardy and GHZ-type arguments.

Seeded from the abstract and a skim, before the reading in NOTE-016. What follows is what the work says about itself.

The paper uses sheaf theory to treat non-locality and contextuality in one framework that generalizes Bell-type probability tables to arbitrary measurement covers, including Kochen-Specker configurations. Contextuality corresponds exactly to obstructions to global sections, and a linear-algebraic method computes these obstructions. It establishes a strict hierarchy of no-go strength with Bell < Hardy < GHZ, and shows that local hidden-variable models with negative probabilities exist exactly for no-signalling models. It characterizes maximal/strong contextuality qualitatively, as no global section in the support, gives a combinatorial generalization of Kochen-Specker parity proofs, and strengthens no-signalling to arbitrary families of commuting observables in quantum mechanics.

Standing in the record

Filed by the reading-time triage of 2026-09-25: 645 seconds of active reading over 5 sessions in the papers-feed tracker. It was filed Deferred, unread. NOTE-016 is the close reading of 2026-09-25, and it placed the work: Active — the founding paper of the sheaf-theoretic approach to contextuality. It is short, fully proved and still the standard reference for its definitions (empirical model, strong contextuality, the global-section criterion). Later work (cohomology, the contextual fraction, the CbD comparison) extends it but does not replace it.

The reading of NOTE-016 corrected the seed on one point: this paper is not a bridge to the machine-learning work. Belfiore & Bennequin (ANTH-LIT-698) cite it once, in a related-work list on p. 4, and use nothing from it; the two sheaf-neural-network papers checked (Hansen & Gebhart 2020, Bodnar et al. 2022) do not cite it at all — their lineage is cellular sheaves and sheaf Laplacians. The seed’s priority and checks are kept below as they were written.

When seeded, before the reading in NOTE-016, the entry gave a priority for a deeper reading: high — highly cited and foundational, it is the bridge between the quantum cluster and the topos/sheaf ML item (69); the skim gives the architecture, but the core theorems are short enough to read in full.

What the seeding asked a deeper reading to check (NOTE-016 is that reading):

  • Foundational for the “contextuality as local consistency without global consistency” view that later work (cohomology of contextuality, the contextual fraction) builds on. Check the precise statement of the negative-probability ↔ no-signalling theorem (§5.4) and the hierarchy proofs.
  • Note that its notion of contextuality (Kochen-Specker / sheaf) is different from Spekkens’ generalized noncontextuality in items 14, 17 and 71. A deeper read should keep the two apart.
  • ML link (real but indirect): item 69 cites this paper, and sheaf-theoretic “local-to-global” consistency underlies sheaf neural networks and related data-fusion work. The link is conceptual; this paper contains no ML.

Access when seeded: The arXiv version (1102.0264, posted Feb 2011, “extensively revised” and noted as published in NJP) was found and its abs page and full PDF (33 pp.) retrieved; read outline, §1 Introduction and §10 Postlude. Journal DOI, volume and article number confirmed via Crossref (published 2011-11-28); the iopscience page itself was not fetched. published uses the arXiv posting month.

Backlinks