Abstract Cycle scenarios are a significant class of contextuality scenarios, with the Clauser–Horne–Shimony–Holt scenario being a notable example. While binary outcome measurements in these scenarios are well understood, the generalization to arbitrary outcomes remains less explored, except in specific cases. In this work, we employ homotopical methods in the framework of simplicial distributions to characterize all contextual vertices of the non-signaling polytope corresponding to cycle scenarios with arbitrary outcomes. Additionally, our techniques utilize the bundle perspective on contextuality and the decomposition of measurement spaces. This enables us to extend beyond scenarios formed by gluing cycle scenarios and describe contextual extremal simplicial distributions in these generalized contexts.
Quantum measurements often exhibit non-classical features, such as contextuality, which generalizes Bell's non-locality and serves as a resource in various quantum computation models. Existing frameworks have rigorously captured these phenomena, and recently, simplicial distributions have been introduced to deepen this understanding. The geometrical structure of simplicial distributions can be seen as a resource for applications in quantum information theory. In this work, we use topological foundations to study this geometrical structure, leveraging the fact that, in this simplicial framework, measurements and outcomes are represented as spaces. This allows us to depict contextuality as a topological phenomenon. We show that applying the cone construction to the measurement space makes the corresponding non-signaling polytope equal to the join of
m copies of the original polytope, where
m is the number of possible outcomes per measurement. Then we glue two copies of cone measurement spaces to obtain a suspension measurement space. The decomposition done for simplicial distributions on a cone measurement space provides deeper insights into the geometry of simplicial distributions on a suspension measurement space and aids in characterizing the contextuality there. Additionally, we apply these results to derive a new type of Bell inequalities (inequalities that determine the set of local joint probabilities/non-contextual simplicial distributions) and to offer a mathematical explanation for certain contextual vertices from the literature.
The data of a physical experiment can be represented as a presheaf of probability distributions.A striking feature of quantum theory is that those probability distributions obtained in quantum mechanical experiments do not always admit a joint probability distribution, a celebrated observation due to Bell.Such distributions are called contextual.Simplicial distributions are combinatorial models that extend presheaves of probability distributions by elevating sets of measurements and outcomes to spaces.Contextuality can be defined in this generalized setting.This paper introduces the notion of convex categories to study simplicial distributions from a categorical perspective.Simplicial distributions can be given the structure of a convex monoid, a convex category with a single object, when the outcome space has the structure of a group.We describe contextuality as a monoid-theoretic notion by introducing a weak version of invertibility for monoids.Our main result is that a simplicial distribution is noncontextual if and only if it is weakly invertible.Similarly, strong contextuality and contextual fraction can be characterized in terms of invertibility in monoids.Finally, we show that simplicial homotopy can be used to detect extremal simplicial distributions refining the earlier methods based on Čech cohomology and the cohomology of groups.The authors would like to thank the anonymous referee for useful comments that significantly improved the exposition of the paper, and Walker H. Stern and Redi Haderi for enlightening discussions.