We develop a bottom-up, statistics-first framework in which the full probabilistic content of an operational theory is encoded in its matrix of conditional outcome probabilities of events (COPE). Within this setting, five model classes (preGPTs, GPTs, quasiprobabilistic, ontological, and noncontextual ontological) are unified as constrained factorizations of the COPE matrix. We identify equirank factorizations as the structural core of GPTs and noncontextual ontological models and establish their relation to tomographic completeness. This yields a simple, model-agnostic criterion for noncontextuality: an operational theory admits a noncontextual ontological model if and only if its COPE matrix admits an equirank nonnegative matrix factorization (ENMF). Failure of the equirank condition in all ontological models therefore establishes contextuality. We operationalize rank separation via two complementary methods provided by the linear-algebraic framework. First, we use ENMF to interpret noncontextual ontological models as nested polytopes. This allows us to establish that the boxworld operational theory is ontologically contextual. Second, we apply techniques from discrete mathematics to derive a lower bound on the ontological dimensionality of COPE matrices exhibiting sparsity patterns, and use this bound to establish a new proof that a discrete version of qubit theory exhibits ontological contextuality. By reframing contextuality as a problem in matrix analysis, our work provides a unified structure for its systematic study and opens new avenues for exploring nonclassical resources.
Comments
19 pages + two appendices, an error in Theorem 2 is fixed, comments are welcome
We develop a bottom-up, statistics-first framework in which the full probabilistic content of an operational theory is encoded in its matrix of conditional outcome probabilities of events (COPE). Within this setting, five model classes (preGPTs, GPTs, quasiprobabilistic, ontological, and noncontextual ontological) are unified as constrained factorizations of the COPE matrix. We identify equirank factorizations as the structural core of GPTs and noncontextual ontological models and establish their relation to tomographic completeness. This yields a simple, model-agnostic criterion for noncontextuality: an operational theory admits a noncontextual ontological model if and only if its COPE matrix admits an equirank nonnegative matrix factorization (ENMF). Failure of the equirank condition in all ontological models therefore establishes contextuality. We operationalize rank separation via two complementary methods provided by the linear-algebraic framework. First, we use ENMF to interpret noncontextual ontological models as nested polytopes. This allows us to establish that the boxworld operational theory is ontologically contextual. Second, we apply techniques from discrete mathematics to derive a lower bound on the ontological dimensionality of COPE matrices exhibiting sparsity patterns, and use this bound to establish a new proof that a discrete version of qubit theory exhibits ontological contextuality. By reframing contextuality as a problem in matrix analysis, our work provides a unified structure for its systematic study and opens new avenues for exploring nonclassical resources.
Generalized contextuality refers to our inability of explaining measurement statistics using a contextindependent probabilistic and ontological model.On the other hand, measurement statistics can also be modeled using the framework of general probabilistic theories (GPTs).Here, starting from a construction of GPTs based on a Gleason-type theorem, we fully characterize these structures with respect to their permission and rejection of generalized (non)contextual ontological models.It follows that in any GPT construction the three insistence of (i) the no-restriction hypothesis, (ii) the ontological noncontextuality, and (iii) multiple nonrefinable measurements for any fixed number of outcomes are incompatible.Hence, any GPT satisfying the no-restriction hypothesis is ontologically noncontextual if and only if it is simplicial.We give a detailed discussion of GPTs for which the no-restriction hypothesis is violated, and show that they can always be considered as subtheories (subGPTs) of GPTs satisfying the hypothesis.It is shown that subGPTs are ontologically noncontextual if and only if they are subtheories of simplicial GPTs of the same dimensionality.Finally, we establish as a corollary the necessary and sufficient condition for a single resourceful measurement or state to promote an ontologically noncontextual (i.e., classical) general probabilistic theory to an ontologically contextual (i.e., nonclassical) one under the no-restriction hypothesis.
It is useful to have a criterion for when the predictions of an operational theory should be considered classically explainable. Here we take the criterion to be that the theory admits of a generalized-noncontextual ontological model. Existing works on generalized noncontextuality have focused on experimental scenarios having a simple structure: typically, prepare-measure scenarios. Here, we formally extend the framework of ontological models as well as the principle of generalized noncontextuality to arbitrary compositional scenarios. We leverage a process-theoretic framework to prove that, under some reasonable assumptions, every generalized-noncontextual ontological model of a tomographically local operational theory has a surprisingly rigid and simple mathematical structure — in short, it corresponds to a frame representation which is not overcomplete. One consequence of this theorem is that the largest number of ontic states possible in any such model is given by the dimension of the associated generalized probabilistic theory. This constraint is useful for generating noncontextuality no-go theorems as well as techniques for experimentally certifying contextuality. Along the way, we extend known results concerning the equivalence of different notions of classicality from prepare-measure scenarios to arbitrary compositional scenarios. Specifically, we prove a correspondence between the following three notions of classical explainability of an operational theory: (i) existence of a noncontextual ontological model for it, (ii) existence of a positive quasiprobability representation for the generalized probabilistic theory it defines, and (iii) existence of an ontological model for the generalized probabilistic theory it defines.
Starting from arbitrary sets of quantum states and measurements, referred to as the prepare-and-measure scenario, an operationally noncontextual ontological model of the quantum statistics associated with the prepare-and-measure scenario is constructed. The operationally noncontextual ontological model coincides with standard Spekkens noncontextual ontological models for tomographically complete scenarios, while covering the non-tomographically complete case with a new notion of a reduced space, which we motivate following the guiding principles of noncontextuality. A mathematical criterion, called unit separability , is formulated as the relevant classicality criterion – the name is inspired by the usual notion of quantum state separability. Using this criterion, we derive a new upper bound on the cardinality of the ontic space. Then, we recast the unit separability criterion as a (possibly infinite) set of linear constraints, from which we obtain two separate hierarchies of algorithmic tests to witness the non-classicality or certify the classicality of a scenario. Finally, we reformulate our results in the framework of generalized probabilistic theories and discuss the implications for simplex-embeddability in such theories.
Generalized contextuality is a canonical distinguishing property of nonclassical generalized probabilistic theories, in particular quantum mechanics. Methods for certification and characterization of generalized contextuality of a given generalized probabilistic theory are well developed for prepare-measure and single-stage prepare-transform-measure scenarios. In a recent work [arXiv:2512.10000], a bottom-up, statistics-first linear-algebraic framework for contextuality in prepare-measure scenarios was introduced. We extend this approach to operational scenarios with sequential transformations with an arbitrary number of stages. We give a full decision procedure for contextuality of such scenarios within operational theories and analyze its computational complexity. In particular, our decision procedure has a complexity linearly exponential in the minimum generalized probabilistic theory (GPT) dimension, and polynomial in the number of procedures. We demonstrate our framework and approach through multiple examples, including Spekkens' toy theory and the 8-state single-qubit stabilizer theory. In particular, we construct an operational theory in which contextuality manifests itself only in the sequential structure of the transformations. Our findings thus shed new light on the significant role of compositional structures in the phenomenon of generalized contextuality.
The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements could not be viewed as deterministically revealing pre-existing properties of the system. More precisely, no model can assign deterministic outcomes to the projectors of a quantum measurement in a way that depends only on the projector and not the context (the full set of projectors) in which it appeared, despite the fact that the Born rule probabilities associated with projectors are independent of the context. A more general, operational definition of contextuality introduced by Spekkens, which we will term 'probabilistic contextuality', drops the assumption of determinism and allows for operations other than measurements to be considered contextual. Even two-dimensional quantum mechanics can be shown to be contextual under this generalised notion. Probabilistic noncontextuality represents the postulate that elements of an operational theory that cannot be distinguished from each other based on the statistics of arbitrarily many repeated experiments (they give rise to the same operational probabilities) are ontologically identical. In this paper, we introduce a framework that enables us to distinguish between different noncontextuality assumptions in terms of the relationships between the ontological representations of objects in the theory given a certain relation between their operational representations. This framework can be used to motivate and define a 'possibilistic' analogue, encapsulating the idea that elements of an operational theory that cannot be unambiguously distinguished operationally can also not be unambiguously distinguished ontologically. We then prove that possibilistic noncontextuality is equivalent to an alternative notion of noncontextuality proposed by Hardy. Finally, we demonstrate that these weaker noncontextuality assumptions are sufficient to prove alternative versions of known 'no-go' theorems that constrain ψ -epistemic models for quantum mechanics.
Generalized contextuality refers to our inability of explaining measurement statistics using a context-independent probabilistic model. On the other hand, measurement statistics can also be modeled most generally within the framework of general probabilistic theories. Here, starting from a construction of general probabilistic theories based on a Gleason-type theorem, we show that for any such theory the three insistence of (i) the no-restriction hypothesis, (ii) the ontological noncontextuality, and (iii) multiple nonrefinable measurements for any fixed number of outcomes are incompatible. In other words, requiring any two of these properties for a general probabilistic theory implies the violation of the third one. We extensively discuss general probabilistic theories for which (ii) and (iii) are met while (i) is violated, exploring the role of the no-restriction hypothesis as a sufficient condition that enforces ontological contextuality on nonsimplicial general probabilistic theories. Finally, we establish as a corollary the necessary and sufficient condition for a single resourceful measurement or state to promote an ontologically noncontextual (i.e. classical) general probabilistic theory to an ontologically contextual (i.e. nonclassical) one under the no-restriction hypothesis.