The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to contextuality due to Spekkens requires finding operationally equivalent preparation procedures. Previously these have been obtained by demanding indistinguishability under a set of measurements taken to be tomographically complete. In the language of generalised probability theories, this requires the ability to explore all the dimensions of the system's state space. However, if the true tomographically complete set is larger than the set assumed, the extra measurements could break the operational equivalences and hence eliminate the putative contextuality. Such extra dimensions could arise in post-quantum theories, but even if quantum theory is exact there can be unexpected degrees of freedoms due to imperfections in an experiment. Here we design tests of contextuality that are immune to this effect for a given number of extra measurements in the tomographically complete set, even if nothing is known about their statistics. This allows contextuality to be demonstrated with weaker assumptions.
The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to contextuality due to Spekkens requires finding operationally equivalent preparation procedures. Previously these have been obtained by demanding indistinguishability under a set of measurements taken to be tomographically complete. In the language of generalised probability theories, this requires the ability to explore all the dimensions of the system's state space. However, if the true tomographically complete set is larger than the set assumed, the extra measurements could break the operational equivalences and hence eliminate the putative contextuality. Such extra dimensions could arise in post-quantum theories, but even if quantum theory is exact there can be unexpected degrees of freedoms due to imperfections in an experiment. Here we design tests of contextuality that are immune to this effect for a given number of extra measurements in the tomographically complete set, even if nothing is known about their statistics. This allows contextuality to be demonstrated with weaker assumptions.
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.
Contextuality is the leading notion of non-classicality for a single system. However, experimental demonstrations of contextuality have generally been limited by conceptual difficulties. Here I focus on the simplest non-trivial case, four preparations and two tomographically complete binary measurements. Exploiting a subtle connection to the CHSH scenario gives eight non-linear inequalities which are together necessary and sufficient for the experimental statistics to admit a preparation noncontextual model. No fixed operational equivalences are required. Violating such an inequality is therefore arguably the most direct route to an experimental refutation of noncontextuality.
Contextuality is the leading notion of nonclassicality for a single system. However, an experimental demonstration requires finding procedures that are operationally equivalent, which might seem impossible to achieve exactly. Here I focus on the simplest nontrivial case, four preparations and two tomographically complete binary measurements. Exploiting a subtle connection to the Clauser-Horne-Shimony-Holt scenario gives eight nonlinear inequalities which are together necessary and sufficient for the experimental statistics to admit a preparation noncontextual model in such a scenario. No fixed operational equivalences are required, removing a key difficulty with experimental tests of older preparation noncontextuality inequalities.
Generalized contextuality is a possible indicator of non-classical behaviour in quantum information theory. In finite-dimensional systems, this is justified by the fact that noncontextual theories can be embedded into some simplex, i.e. into a classical theory. We show that a direct application of the standard definition of generalized contextuality to continuous variable systems does not envelope the statistics of some basic measurements, such as the position observable. In other words, we construct families of fully classical, i.e. commuting, measurements that nevertheless can be used to show contextuality of quantum theory. To overcome the apparent disagreement between the two notions of classicality, that is commutativity and noncontextuality, we propose a modified definition of generalised contextuality for continuous-variable systems. The modified definition is based on a physically-motivated approximation procedure, that uses only finite sets of measurement effects. We prove that in the limiting case this definition corresponds exactly to an extension of noncontextual models that benefits from non-constructive response functions. In the process, we discuss the extension of a known connection between contextuality and no-broadcasting to the continuous-variable scenario, and prove structural results regarding fixed points of infinite-dimensional entanglement breaking channels.
It is commonly believed that failures of tomographic completeness undermine assessments of nonclassicality in noncontextuality experiments. In this work, we study how such failures can indeed lead to mistaken assessments of nonclassicality. We then show that proofs of the failure of noncontextuality are robust to a very broad class of failures of tomographic completeness, including the kinds of failures that are likely to occur in real experiments. We do so by showing that such proofs actually rely on a much weaker assumption that we term relative tomographic completeness : namely, that one's experimental procedures are tomographic for each other . Thus, the failure of noncontextuality can be established even with coarse-grained, effective, emergent, or virtual degrees of freedom. This also implies that the existence of a deeper theory of nature (beyond that being probed in one's experiment) does not in and of itself pose any challenge to proofs of nonclassicality. To prove these results, we first introduce a number of useful new concepts within the framework of generalized probabilistic theories (GPTs). Most notably, we introduce the notion of a GPT s u b s y s t e m , generalizing a range of preexisting notions of subsystems (including those arising from tensor products, direct sums, decoherence processes, virtual encodings, and more). We also introduce the notion of a s h a d o w of a GPT fragment, which captures the information lost when one's states and effects are unknowingly not tomographic for one another.
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.