Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2607.25900

Effect-valued measurement models and contextuality

Samson Abramsky

quant-phSubmitted Jul 28, 2026• Announced Jul 29, 2026• 0 citations
arXivHTMLPDF

Abstract

We generalize the Abramsky--Brandenburger sheaf-theoretic treatment of contextuality by replacing probability distributions with distributions valued in a convex effect algebra \(A\). This yields a notion of \(A\)-valued measurement model encompassing probabilistic, deterministic, and quantum measurement structures within a single framework. States \(σ:A\to[0,1]\) induce ordinary empirical models, allowing observable behaviour to be viewed as arising from effect-valued measurement data. This leads to a distinction between internal contextuality of \(A\)-models and observable contextuality after state evaluation. We analyze the relationship between these notions and identify coherence conditions under which observable classical explanations assemble into internal ones. Using the ordered-vector-space representation of effect modules, we show that non-contextuality is characterized by feasibility of an associated cone program, generalizing the linear-programming formulation of contextuality in the probabilistic case. We also introduce an effect-valued contextual fraction and study its relation to observable contextuality witnesses. We show how cone duality leads to a notion of Bell witnesses for contextuality as a direct generalization of Bell inequalities. Finally, we analyze sharp realizability and uniform dilation for measurement models, clarifying the relationship between general POVMs and projective measurements, and show how resource-indexed effect structures induce graded monads generalizing the quantum monad.

Comments
37 pages

Related papers

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, 2026•0 citations

Putting Bell's inequalities into context by putting context into Bell's inequalities

Adam Stokes

Within the Dempster-Schafer theory of evidence a non-Kolmogorovian kind of epistemic uncertainty arises, which is encoded using multi-valued maps. We analyse the possible implications such non-Kolmogorovian epistemic uncertainty may have for Bell-type inequalities relating to the Einstein-Podolsky-Rosen-Bohm (EPRB) thought experiment. Our analysis leads to a notion of contextuality concerning complexes of physical measurement conditions. The use of multi-valued maps reveals an implicit link between this contextuality and counterfactual outcomes, and results in a formulation wherein the states of measurement devices are explicitly taken into account as part of the probabilistic event space. This reflects a conception of measurement that was advocated by Bell some time ago. It results in context-conditioned measure-theoretic probabilities, which do not obey Bell-type inequalities, but which are nonetheless perfectly compatible with local classical physical models. We give an example of a local classical model that reproduces the quantum mechanical predictions and that fits within the contextual framework.

arXiv:1503.08960•Mar 31, 2015•0 citations

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, 2018•2 citations

Continuous-variable nonlocality and contextuality

Rui Soares Barbosa, Tom Douce, Pierre-Emmanuel Emeriau +2 more

Contextuality is a non-classical behaviour that can be exhibited by quantum systems. It is increasingly studied for its relationship to quantum-over-classical advantages in informatic tasks. To date, it has largely been studied in discrete variable scenarios, where observables take values in discrete and usually finite sets. Practically, on the other hand, continuous-variable scenarios offer some of the most promising candidates for implementing quantum computations and informatic protocols. Here we set out a framework for treating contextuality in continuous-variable scenarios. It is shown that the Fine--Abramsky--Brandenburger theorem extends to this setting, an important consequence of which is that nonlocality can be viewed as a special case of contextuality, as in the discrete case. The contextual fraction, a quantifiable measure of contextuality that bears a precise relationship to Bell inequality violations and quantum advantages, can also be defined in this setting. It is shown to be a non-increasing monotone with respect to classical operations that include binning to dis cretise data. Finally, we consider how the contextual fraction can be formulated as an infinite linear program, and calculated with increasing accuracy using semi-definite programming approximations.

•Jun 11, 2019•18 citations

Quantum contextuality from measurement invasiveness

Andrea Navoni, Marco G. Genoni, Andrea Smirne

Contextuality is a defining feature that separates the quantum from the classical descriptions of physical systems. Within the marginal-scenario framework, noncontextual models are characterized by the existence of a single joint probability distribution consistent with all measurable contexts, while contextual models violate this condition. Building on this approach, we introduce a general method to analyze contextuality in terms of stochastic linear maps that effectively model invasive measurements on an otherwise classical statistics. These maps transform probabilities within the noncontextuality polytope, which includes all classical probabilities, into probabilities that may lie outside the polytope, while preserving the compatibility structure of the scenario at hand. We derive general consistency conditions that such maps must satisfy to represent admissible invasive measurements, and we fully identify them for a paradigmatic example of contextuality for a single three-level quantum system. Furthermore, we introduce a quantifier of contextuality based on the minimal invasiveness required to reproduce a given probability distribution, which offers a distinct approach on how to evaluate the degree of contextuality in a general scenario.

arXiv:2507.16942•Physical Review A•Feb 27, 2026•0 citations

Contextual Fraction as a Measure of Contextuality

Samson Abramsky, Rui Soares Barbosa, Shane Mansfield

We consider the contextual fraction as a quantitative measure of contextuality of empirical models, i.e., tables of probabilities of measurement outcomes in an experimental scenario. It provides a general way to compare the degree of contextuality across measurement scenarios; it bears a precise relationship to violations of Bell inequalities; its value, and a witnessing inequality, can be computed using linear programing; it is monotonic with respect to the "free" operations of a resource theory for contextuality; and it measures quantifiable advantages in informatic tasks, such as games and a form of measurement-based quantum computing.

arXiv:1705.07918•Physical Review Letters•Aug 4, 2017•147 citations
We generalize the Abramsky--Brandenburger sheaf-theoretic treatment of contextuality by replacing probability distributions with distributions valued in a convex effect algebra (A). This yields a notion of (A)-valued measurement model encompassing probabilistic, deterministic, and quantum measurement structures within a single framework.
States (σ:A\to[0,1]) induce ordinary empirical models, allowing observable behaviour to be viewed as arising from effect-valued measurement data. This leads to a distinction between internal contextuality of (A)-models and observable contextuality after state evaluation. We analyze the relationship between these notions and identify coherence conditions under which observable classical explanations assemble into internal ones.
Using the ordered-vector-space representation of effect modules, we show that non-contextuality is characterized by feasibility of an associated cone program, generalizing the linear-programming formulation of contextuality in the probabilistic case. We also introduce an effect-valued contextual fraction and study its relation to observable contextuality witnesses. We show how cone duality leads to a notion of Bell witnesses for contextuality as a direct generalization of Bell inequalities.
Finally, we analyze sharp realizability and uniform dilation for measurement models, clarifying the relationship between general POVMs and projective measurements, and show how resource-indexed effect structures induce graded monads generalizing the quantum monad.
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.
Within the Dempster-Schafer theory of evidence a non-Kolmogorovian kind of epistemic uncertainty arises, which is encoded using multi-valued maps. We analyse the possible implications such non-Kolmogorovian epistemic uncertainty may have for Bell-type inequalities relating to the Einstein-Podolsky-Rosen-Bohm (EPRB) thought experiment. Our analysis leads to a notion of contextuality concerning complexes of physical measurement conditions. The use of multi-valued maps reveals an implicit link between this contextuality and counterfactual outcomes, and results in a formulation wherein the states of measurement devices are explicitly taken into account as part of the probabilistic event space. This reflects a conception of measurement that was advocated by Bell some time ago. It results in context-conditioned measure-theoretic probabilities, which do not obey Bell-type inequalities, but which are nonetheless perfectly compatible with local classical physical models. We give an example of a local classical model that reproduces the quantum mechanical predictions and that fits within the contextual framework.
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.
Contextuality is a non-classical behaviour that can be exhibited by quantum systems. It is increasingly studied for its relationship to quantum-over-classical advantages in informatic tasks. To date, it has largely been studied in discrete variable scenarios, where observables take values in discrete and usually finite sets. Practically, on the other hand, continuous-variable scenarios offer some of the most promising candidates for implementing quantum computations and informatic protocols. Here we set out a framework for treating contextuality in continuous-variable scenarios. It is shown that the Fine--Abramsky--Brandenburger theorem extends to this setting, an important consequence of which is that nonlocality can be viewed as a special case of contextuality, as in the discrete case. The contextual fraction, a quantifiable measure of contextuality that bears a precise relationship to Bell inequality violations and quantum advantages, can also be defined in this setting. It is shown to be a non-increasing monotone with respect to classical operations that include binning to dis cretise data. Finally, we consider how the contextual fraction can be formulated as an infinite linear program, and calculated with increasing accuracy using semi-definite programming approximations.
Contextuality is a defining feature that separates the quantum from the classical descriptions of physical systems. Within the marginal-scenario framework, noncontextual models are characterized by the existence of a single joint probability distribution consistent with all measurable contexts, while contextual models violate this condition. Building on this approach, we introduce a general method to analyze contextuality in terms of stochastic linear maps that effectively model invasive measurements on an otherwise classical statistics. These maps transform probabilities within the noncontextuality polytope, which includes all classical probabilities, into probabilities that may lie outside the polytope, while preserving the compatibility structure of the scenario at hand. We derive general consistency conditions that such maps must satisfy to represent admissible invasive measurements, and we fully identify them for a paradigmatic example of contextuality for a single three-level quantum system. Furthermore, we introduce a quantifier of contextuality based on the minimal invasiveness required to reproduce a given probability distribution, which offers a distinct approach on how to evaluate the degree of contextuality in a general scenario.
We consider the contextual fraction as a quantitative measure of contextuality of empirical models, i.e., tables of probabilities of measurement outcomes in an experimental scenario. It provides a general way to compare the degree of contextuality across measurement scenarios; it bears a precise relationship to violations of Bell inequalities; its value, and a witnessing inequality, can be computed using linear programing; it is monotonic with respect to the "free" operations of a resource theory for contextuality; and it measures quantifiable advantages in informatic tasks, such as games and a form of measurement-based quantum computing.