Effect-valued measurement models and contextuality

🕰 Orloj analysis

Tento článek zobecňuje sheaf-teoretické zpracování kontextuality pomocí konvexních algeber efektů, čímž vytváří jednotný rámec pro pravděpodobnostní, deterministické a kvantové měření. Rozlišuje vnitřní a pozorovatelnou kontextualitu, charakterizuje nekontextualitu pomocí kuželového programování a zobecňuje Bellovy nerovnosti.

💡 Práce představuje významné teoretické zobecnění kontextuality, sjednocující různé typy měření a poskytující nové matematické nástroje, což je cenné pro základy kvantové mechaniky.

Categories: INF-2 INF-1 QFD-1 QFD-2

✓ limit_reductions, modest_claims

⚠ lack_of_direct_experimental_predictions_in_abstract

📄 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.

📄 arXiv abstract page 📥 PDF