arXiv:1708.00843 · Electronic Proceedings in Theoretical Computer Science

Almost Equivalent Paradigms of Contextuality

Linde Wester

Published Feb 27, 2018• 7 citations

Abstract

Various frameworks that generalise the notion of contextuality in theories of physics have been proposed; one is the sheaf-theoretic approach by Abramsky and Brandenburger; an other is the equivalence-based approach by Spekkens. We show that these frameworks are equivalent for scenarios with preparations and measurements, whenever factorizability is justified. This connection gives rise to a categorical isomorphism between suitable categories. We combine the advantages of the two approaches to derive a canonical method for detecting contextuality in such settings.

DOI: 10.4204/eptcs.266.1

Related papers

Possibilistic (and other) notions of contextuality

Andrew W. Simmons

Since Bell, Kochen and Specker formulated the first notions of contextuality, a number of frameworks have been created to help make philosophical and mathematical sense of the concept. Two of the most common are the Equivalence-based approach due to Spekkens, and the Sheaf-theoretic framework of Abramsky and Brandenburger. Each of these can support a hierarchy of strengths of contextuality, which can include possibilistic concepts. This thesis will explore the differences between the two approaches, and explore what can be demonstrated by using weaker notions of noncontextuality. Notions of noncontextuality are important for proving no-go theorems which highlight that many properties that are true of classical mechanics fail to be compatible with quantum predictions. Often, the notions of noncontextuality used are very strong assumptions, and even weaker flavours of noncontextuality can be used to draw the same, or similar conclusions. An important class of such notions are, possibilistic assumptions that only care about whether or not events are possible or impossible, rather than the exact Born rule probabilities that are applied to events. Even these weaker notions are often impossible to resolve with the logical structure and predictions of quantum theory. Contextuality has been demonstrated to be a resource for many quantum computational operations, and the contextual fraction has been shown to be an important resource. We introduce a metric that can differentiate between different quantum mechanical scenarios with contextual fraction 1, and demonstrate analogues of CHSH and Tsirelson bounds for this quantity. We also investigate the computational complexity of calculating the values of some metrics for nonlocality and contextuality, completing the classification of possibilistic nonlocality scenarios, as well as other metrics of nonlocality analogous to our metric of maximal contextuality.

Sep 1, 20182 citations

The Sheaf-Theoretic Structure of Definite Causality

Stefano Gogioso, Nicola Pinzani

We fill a gap in the study of contextuality by extending the sheaf-theoretic framework for non-locality by Abramsky and Brandenburger to deal with operational scenarios in the presence of arbitrary definite causal orders.

arXiv:2103.13771Electronic Proceedings in Theoretical Computer ScienceSep 9, 20217 citations

On the Cohomology of Contextuality

Giovanni Carù

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.

arXiv:1701.00656Electronic Proceedings in Theoretical Computer ScienceJan 1, 201718 citations

Contextuality, Locality, and the Interpretation of Bell Violations

Partha Ghose

The ontological significance of violations of Bell inequalities is reexamined. Bell's theorem admits several mathematically equivalent formulations that support different interpretive perspectives. The present paper develops one such perspective using contextuality, the sheaf-theoretic framework of Abramsky and Brandenburger, and Nelson's stochastic mechanics.

quant-pharXiv:2604.26916Journal of Theoretical Experimental and Applied PhysicsApr 30, 20260 citations

Categories of Empirical Models

Martti Karvonen

A notion of morphism that is suitable for the sheaf-theoretic approach to contextuality is developed, resulting in a resource theory for contextuality. The key features involve using an underlying relation rather than a function between measurement scenarios, and allowing for stochastic mappings of outcomes to outcomes. This formalizes an intuitive idea of using one empirical model to simulate another one with the help of pre-shared classical randomness. This allows one to reinterpret concepts and earlier results in terms of morphisms. Most notably: non-contextual models are precisely those allowing a morphism from the terminal object; contextual fraction is functorial; Graham-reductions induce morphisms, reinterpreting Vorob'evs theorem; contextual models cannot be cloned.

arXiv:1804.01514Electronic Proceedings in Theoretical Computer ScienceJan 31, 201911 citations

Everything is Contextual: Contextuality Beyond Quantum

Ryan J Buchanan

Contextuality has become a cornerstone of modern foundational approaches to quantum physics. This paper introduces contextual mathematics (CM), a categorical framework for context-indexed observations and agent-dependent evaluation. Contexts are organized into a category Ctx, and observation is modeled as a contravariant bifunctor into an epistemic category E; context refinements induce restriction maps, and a Grothendieck construction organizes evaluations over agent–context pairs. We show how the established sheaf-theoretic account of Kochen–Specker contextuality (Abramsky–Brandenburger) can be represented inside this framework, recovering non-existence of a global section as the relevant obstruction. We then formulate, as comparison problems rather than established equivalences, several further candidate obstruction theories that a fully developed CM might connect to this sheaf-theoretic core: homological extension classes (Ext1 ), Kan-extension reconstruction, deformation-quantization cocycles, and device-dependent restriction in algebraic quantum field theory (AQFT) over globally hyperbolic spacetimes. We are explicit about which of these connections are proved, which are illustrative analogies, and which remain open.

Aug 17, 20260 citations