A novel approach for analyzing "classical" alternatives to quantum mechanics for explaining the statistical results of an EPRB-like experiment is proposed. This perspective is top-down instead of bottom-up. Rather than beginning with an inequality derivation, a hierarchy of model types is constructed, each distinguished by appropriately parameterized conditional probabilities. This hierarchy ranks the "classical" model types in terms of their ability to reproduce QM statistics or not. The analysis goes beyond the usual consideration of model types that "fall short" (i.e., satisfy all of the CHSH inequalities) to ones that are "excessive" (i.e., not only violate CHSH but even exceed a Tsirelson bound). This approach clearly shows that noncontextuality is the most general property of an operational model that blocks replication of at least some QM statistical predictions. Factorizability is naturally revealed to be a special case of noncontextuality. The same is true for the combination of remote context independence and outcome determinism (RCI+OD). It is noncontextuality that determines the dividing line between "classical" model instances that satisfy the CHSH inequalities and those that don't. Outcome deterministic operational models are revealed to be the "building blocks" of all the rest, including quantum mechanical, noncontextual, and contextual ones. The set of noncontextual model instances is exactly the convex hull of all 16 RCI+OD model instances, and furthermore, the set of all model instances, including all QM ones, is equal to the convex hull of the 256 OD model instances. It is shown that, under a mild assumption, the construction of convex hulls of finite ensembles of OD model instances is (mathematically) equivalent to the traditional hidden variables approach. Plots and figures provide visual affirmation of many of the results.
A novel approach for analyzing "classical" alternatives to quantum mechanics for explaining the statistical results of an EPRB-like experiment is proposed. This perspective is top-down instead of bottom-up. Rather than beginning with an inequality derivation, a hierarchy of model types is constructed, each distinguished by appropriately parameterized conditional probabilities. This hierarchy ranks the "classical" model types in terms of their ability to reproduce QM statistics or not. The analysis goes beyond the usual consideration of model types that "fall short" (i.e., satisfy all of the CHSH inequalities) to ones that are "excessive" (i.e., not only violate CHSH but even exceed a Tsirelson bound). This approach clearly shows that noncontextuality is the most general property of an operational model that blocks replication of at least some QM statistical predictions. Factorizability is naturally revealed to be a special case of noncontextuality. The same is true for the combination of remote context independence and outcome determinism (RCI+OD). It is noncontextuality that determines the dividing line between "classical" model instances that satisfy the CHSH inequalities and those that don't. Outcome deterministic operational models are revealed to be the "building blocks" of all the rest, including quantum mechanical, noncontextual, and contextual ones. The set of noncontextual model instances is exactly the convex hull of all 16 RCI+OD model instances, and furthermore, the set of all model instances, including all QM ones, is equal to the convex hull of the 256 OD model instances. It is shown that, under a mild assumption, the construction of convex hulls of finite ensembles of OD model instances is (mathematically) equivalent to the traditional hidden variables approach. Plots and figures provide visual affirmation of many of the results.
A parameterized operational representation of an EPRB-like experiment is presented that facilitates direct comparisons among mathematical models that characterize the concepts of local hidden variables, the factorization condition, remote context independence, remote outcome independence, local causality, determinism, predictability, and quantum mechanics. The different models and conditions are derived from a common template, differentiated by parameter adjustment only. This perspective enables new and easier proofs of some existing results. It also clarifies the relationships among the various notions of locality and their relationship to the Bell-CHSH inequalities. Included are tables that make proofs short and intuitive, and figures that dramatize the differences between sets of correlations of quantum mechanics (QM) and those of realistic, local, deterministic, or predictable models. In addition, a novel proof of the no-communication theorem for QM provides a new perspective on why it is true.
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.
When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis "noncontextuality", an instance of Leibniz's principle of the identity of indiscernibles. Read in the contrapositive, this hypothesis entails that any physical distinctions between two experimental procedures must necessarily lead to a difference in their operational statistics. The results I present in this thesis concern the failure of this hypothesis -- a failure dubbed "contextuality" -- when one tries to embed an operational theory (such as quantum theory) in the ontological models framework. The Kochen-Specker theorem demonstrates the failure of noncontextuality for deterministic ontological models of quantum theory, i.e., those ontological models where the ontic/physical state of the system fixes the outcome of any projective measurement on the system in a deterministic manner. This thesis goes beyond the Kochen-Specker (KS) theorem by asking what operational facts must be verified in experiments to conclude that Nature does not admit noncontextual ontological models, not even indeterministic ones. This leads to noncontextuality inequalities that are robust to noise in the preparations and measurements. In the particular case of quantum theory, these inequalities are meaningful even when unsharp measurements (or POVMs) are allowed, a feature not shared by the traditional approach to KS-noncontextuality where unsharp measurements are excluded by fiat: allowing them renders even trivial POVMs (proportional to identity) maximally KS-contextual. The sense in which trivial POVMs are indeed "trivial" (or "noncontextual") is clear in our approach: they are simply too noisy to lead to violation of our noncontextuality inequalities.
Violations of Bell inequalities are commonly interpreted as evidence for nonlocal influences or as constraints on realist descriptions. We show that the failure of Bell-type factorizability arises naturally when observable outcomes are obtained through a non-injective mapping from an underlying configuration space. In this setting, the standard factorization assumption can be viewed as an implicit requirement that observable variables admit a jointly factorizable completion at the underlying level. We demonstrate that this requirement need not hold when the mapping from underlying configurations to observables is many-to-one. The resulting breakdown of probabilistic factorization does not rely on superluminal dynamics or hidden causal influences, but follows from information loss under projection. Observable outcomes correspond to equivalence classes of underlying configurations, preventing the assignment of independent local variables. We illustrate this mechanism with an explicit toy model producing Bell–CHSH violations while preserving operational no-signalling and statistical independence of measurement settings. The model is not intended to reproduce quantum correlations quantitatively, and may exceed the Tsirelson bound; its role is to isolate the structural origin of the violation. This analysis does not contradict Bell’s theorem, but identifies a class of effective descriptions for which its factorizability assumption does not apply. The framework preserves locality at the underlying level, introduces no additional hidden-variable dynamics, and does not modify quantum mechanics. It clarifies how classical factorization is recovered in regimes where the effective mapping becomes approximately injective. In the operator language of quantum theory, the same mechanism admits a natural reformulation in terms of reduction to an effective observable subalgebra by a noncommutative conditional expectation.
Among the various "no-go theorems" in the foundations of quantum mechanics, Bell inequalities are among the few, which do not implicitly rely on the mathematical structure of quantum mechanics. Instead, Bell inequalities are commonly understood to rest on Kolmogorov's theory of probability and a "locality" assumption. Physical evidence supporting their violation is hence taken as evidence against at least one of these two assumptions.
This work provides a comprehensive analysis of the physical debate on Bell inequalities from the point of view of Kolmogorov's theory of probability, focusing on the Bell-Clauser-Horn-Shimony-Holt inequality (BCHSH inequality). The central contribution is the motivation and mathematical study of the notion of contextuality in Bell experiments: in so-called contextual Bell models the detectors themselves behave randomly and the distribution of the random detector parameters depends on the chosen detector settings. It is shown how even "classical" Bell experiments motivate such a description. The need to account for contextuality was pointed out before by de la Peña, Cetto, Brody, Lochak, Bohm, Hiley and others. A broad class of contextual models is proven to satisfy the BCHSH inequality, thereby generalizing a previous result by Gill and Lambare. Nonetheless, even under strong locality requirements, contextual Bell models may violate the BCHSH inequality: based on work by Popescu and Rohrlich, we consider a "proof of concept" example exhibiting the maximum possible violation.
Contrary to the much debated "loopholes" in empirical tests of Bell inequalities, contextuality thus reveals a conceptual misunderstanding in the physical conclusions commonly drawn from Bell inequality violations.
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.