Non-classical probability (along with its underlying logic) is a defining feature of quantum mechanics. A formulation that incorporates them, inherently and directly, would promise a unified description of seemingly different prescriptions of non-classicality of states that have been proposed so far. This paper sets up such a formalism. It is based on elementary considerations, free of ad-hoc definitions, and is completely operational. It permits a systematic construction of non-classicality conditions on states. As important applications, we show the emergence of two important criteria, non-locality and entanglement, as consequences of breakdown of classically valid elementary logical propositions.
Non-classical probability (along with its underlying logic) is a defining feature of quantum mechanics. A formulation that incorporates them, inherently and directly, would promise a unified description of seemingly different prescriptions of non-classicality of states that have been proposed so far. This paper sets up such a formalism. It is based on elementary considerations, free of ad-hoc definitions, and is completely operational. It permits a systematic construction of non-classicality conditions on states. As important applications, we show the emergence of two important criteria, non-locality and entanglement, as consequences of breakdown of classically valid elementary logical propositions.
Non-locality and contextuality are key features of quantum mechanics that distinguish it from classical physics. We aim to develop a deeper, more structural understanding of these phenomena, underpinned by robust and elegant mathematical theory with a view to providing clarity and new perspectives on conceptual and foundational issues. A general framework for logical non-locality is introduced and used to prove that 'Hardy's paradox' is complete for logical non-locality in all (2,2,l) and (2,k,2) Bell scenarios, a consequence of which is that Bell states are the only entangled two-qubit states that are not logically non-local, and that Hardy non-locality can be witnessed with certainty in a tripartite quantum system. A number of developments of the unified sheaf-theoretic approach to non-locality and contextuality are considered, including the first application of cohomology as a tool for studying the phenomena: we find cohomological witnesses corresponding to many of the classic no-go results, and completely characterise contextuality for large families of Kochen-Specker-like models. A connection with the problem of the existence of perfect matchings in k-uniform hypergraphs is explored, leading to new results on the complexity of deciding contextuality. A refinement of the sheaf-theoretic approach is found that captures partial approximations to locality/non-contextuality and can allow Bell models to be constructed from models of more general kinds which are equivalent in terms of non-locality/contextuality. Progress is made on bringing recent results on the nature of the wavefunction within the scope of the logical and sheaf-theoretic methods. Computational tools are developed for quantifying contextuality and finding generalised Bell inequalities for any measurement scenario which complement the research programme. This also leads to a proof that local ontological models with `negative probabilities' generate the no-signalling polytopes for all Bell scenarios.
Quantum mechanics is empirically unrivalled, yet the origin of its distinctive non-classical features remains a foundational question. This paper proves, within the unchanged standard quantum formalism, that these features—collectively termed “quantumness”—arise if and only if certain configurations of the system are indistinguishable in principle. Quantumness is defined as any deviation from classical probability distributions, i.e., probabilities that require coherent amplitude addition rather than incoherent probability addition. Three theorems are established using only the standard Hilbert-space formalism and unitary evolution: 1. Indistinguishability of configurations is necessary and sufficient for quantumness.2. Indistinguishability of identical particles is neither necessary nor sufficient.3. An equivalent restatement in precise operational terms: quantumness occurs exactly when a variable lacks physical definition (distinguishability in principle by macroscopic outcomes). These results are presented and interpreted within the Logical Interpretation of quantum mechanics, a minimalist framework that adds no new postulates and applies classical logic strictly to physically defined facts. The interpretation provides the conceptual tools—particularly the precise notion of “indistinguishability in principle”—that make the theorems sharp and unified. This work unifies the origin of quantumness and serves as the conceptual prequel to the full Logical Interpretation developed in the author’s companion paper.
Quantum non-locality is normally defined via violations of Bell's inequalities that exclude certain classical hidden variable theories from explaining quantum correlations. Another definition of non-locality refers to the wave function collapse thereby one can prepare a quantum state from arbitrary far away. In both cases one can debate on whether non-locality is a real physical phenomenon, e.g. , one can employ formulations of quantum mechanics that do not use collapse, or one can simply refrain from explaining quantum correlations via classical hidden variables. Here we point out that there is a non-local effect within quantum mechanics, i.e. , without involving hidden variables or collapse. This effect is seen via imprecise ( i.e. , interval-valued) joint probability of two observables, which replaces the ill-defined notion of the precise joint probability for non-commuting observables. It is consistent with all requirements for the joint probability, e.g. , those for commuting observales. The non-locality amounts to a fact that (in a two-particle system) the joint imprecise probability of non-commuting two-particle observables ( i.e. , tensor product of single-particle observables) does not factorize into single-particle contributions, even for uncorrelated states of the two-particle system. The factorization is recovered for a less precise ( i.e. , the one involving a wider interval) joint probability. This approach to non-locality reconciles it with locality, since the latter emerges as a less precise description.
In the works leading to this thesis the aim was to give a clear operational interpretation of different aspects of non-classicality. Doing so, enables to see the different properties as different aspects of the same underlying question, namely whether there is a classical explanation of the measurements at hand. If one incorporates the additional assumptions in the setting (such as locality by the separation of the two parties in entanglement theory), the question of whether some system is classical, boils down to ask whether one can simulate everything one can possibly observe by classical variables governed by a stochastic process. This new perspective allows to characterise dynamic properties of non-classicality, and also to connect them to more static types of non-classicality such as entanglement. Indeed we unify entanglement, discord and coherence from one single perspective. We do this by restricting our setting such that the operations have a clear classical interpretation and hence incorporating natural restrictions of classical systems, if the initial state of the system is not entangled does not have discord or does not have coherence. If the initial state of the system is different, we see the magic of quantum mechanics happening again. For instance we show for one specific quantum algorithm, which is thought to be better than any classical algorithm for its task, that the precision of the algorithm scales with the coherence present at its start. In other words, it is these resources (coherence, discord and entanglement) that make the magic possible and with our perspective we can interpret the role of the different resources and analyse how they are linked to each other. This does not give an explanation of the magic of quantum mechanics, but it does make the mechanisms more transparent allowing for new explanations and there are some examples already in this thesis. Finally we also look at the dual of when states are non-classical, asking, and answering, in a specific setting, what makes measurements non-classical.
Quantum trajectory theories have not fully reconciled discrete quantum jumps with continuous unitary evolution. We address this challenge by developing a hidden variable formulation that reveals hidden correlations in individual trials. We represent jump sequences as logical propositions on energy eigenstate occupations, where logical variables describe their truth values and chain operators describe their probabilities. To circumvent established no-go theorems, we introduce a proposition selection rule that requires well-defined joint probabilities for a given density operator. This rule unifies compatibility criteria for quantum and hidden variable theories, eliminating incompatible propositions that lead to value assignment paradoxes. Unlike conventional criteria mandating operator commutativity, it permits propositions that become deterministic for specific initial conditions. This framework systematically captures deterministic relations in individual trials, including the exclusivity of state occupation implied by the observed jumps. This exclusivity, distinct from the Pauli exclusion principle, enables the formalization of a quantum version of Boolean logic as laws for quantum propositions. These assumptions circumvent Bell-type inequalities by prohibiting arithmetic operations between incompatible logical variables, while enabling classical descriptions within the complementarity. The resulting theory reconciles discrete jumps with continuous evolution, providing a direct description of individual trials while preserving standard probability predictions.
Inspired by its fundamental importance in quantum mechanics, we define and study the notion of entanglement for abstract physical theories, investigating its profound connection with the concept of superposition. We adopt the formalism of general probabilistic theories (GPTs), encompassing all physical models whose predictive power obeys minimal requirements. Examples include classical theories, which do not exhibit superposition and whose state space has the shape of a simplex, quantum mechanics, as well as more exotic models such as Popescu-Rohrlich boxes. We call two GPTs entangleable if their composite admits either entangled states or entangled measurements, and conjecture that any two non-classical theories are in fact entangleable. We present substantial evidence towards this conjecture by proving it (1) for the simplest case of 3-dimensional theories; (2) when the local state spaces are discrete, which covers foundationally relevant cases; (3) when one of the local theories is quantum mechanics. Furthermore, (4) we envision the existence of a quantitative relation between local non-classicality and global entangleability, explicitly describing it in the geometrically natural case where the local state spaces are centrally symmetric.