The sheaf-theoretic structure is useful in classifying no-go theorems related to non-locality and contextuality. It provides a new point of view different from conventional formularization of quantum mechanics. First, we examine a relationship between the conventional formularization and the innovative formularization. There exists an equivalence of their categories, and from the equivalence, one locality can be transformed to another as a concrete example. Next, we extend the quantum mechanics which has a finite-degree of freedom to the quantum filed theory with an infinite-degree of freedom, especially to the algebraic quantum field theory (AQFT for short). We consider about a violation of the Bell inequality in AQFT, and we show that the condition of strict spacelike separation has the same Cartesian product structure as locality of quantum mechanics. Also, we show that no-signalling property can be proved by Split Property. A local state is a sheaf which is defined by Split Property in AQFT. It induces the sheaf-theoretic structure. Finally, we show an extension of the No-Signalling theorem which depends on spacetime in AQFT.
The sheaf-theoretic structure is useful in classifying no-go theorems related to non-locality and contextuality. It provides a new point of view different from conventional formularization of quantum mechanics. First, we examine a relationship between the conventional formularization and the innovative formularization. There exists an equivalence of their categories, and from the equivalence, one locality can be transformed to another as a concrete example. Next, we extend the quantum mechanics which has a finite-degree of freedom to the quantum filed theory with an infinite-degree of freedom, especially to the algebraic quantum field theory (AQFT for short). We consider about a violation of the Bell inequality in AQFT, and we show that the condition of strict spacelike separation has the same Cartesian product structure as locality of quantum mechanics. Also, we show that no-signalling property can be proved by Split Property. A local state is a sheaf which is defined by Split Property in AQFT. It induces the sheaf-theoretic structure. Finally, we show an extension of the No-Signalling theorem which depends on spacetime in AQFT.
Locality and non-contextuality are intuitively appealing features of classical physics, which are contradicted by quantum mechanics. The goal of the classic no-go theorems by Bell, Kochen-Specker, et al. is to show that non-locality and contextuality are necessary features of any theory whose predictions agree with those of quantum mechanics. We use the mathematics of sheaf theory to analyze the structure of non-locality and contextuality in a very general setting. Starting from a simple experimental scenario, and the kind of probabilistic models familiar from discussions of Bell’s theorem, we show that there is a very direct, compelling formalization of these notions in sheaf-theoretic terms. Moreover, on the basis of this formulation, we show that the phenomena of non-locality and contextuality can be characterized precisely in terms of obstructions to the existence of global sections. We give linear algebraic methods for computing these obstructions, and use these methods to obtain a number of new insights into non-locality and contextuality. For example, we distinguish a proper hierarchy of strengths of no-go theorems, and show that three leading examples — due to Bell, Hardy, and Greenberger, Horne and Zeilinger, respectively — occupy successively higher levels of this hierarchy. We show how our abstract setting can be represented in quantum mechanics. In doing so, we uncover a strengthening of the usual no-signalling theorem, which shows that quantum mechanics obeys no-signalling for arbitrary families of commuting observables, not just those represented on different factors of a tensor product.
We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting that generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers ; this includes Kochen–Specker configurations and more. We show that contextuality, and non-locality as a special case, correspond exactly to obstructions to the existence of global sections . We describe a linear algebraic approach to computing these obstructions, which allows a systematic treatment of arguments for non-locality and contextuality. We distinguish a proper hierarchy of strengths of no-go theorems, and show that three leading examples—due to Bell, Hardy and Greenberger, Horne and Zeilinger, respectively—occupy successively higher levels of this hierarchy. A general correspondence is shown between the existence of local hidden-variable realizations using negative probabilities, and no-signalling; this is based on a result showing that the linear subspaces generated by the non-contextual and no-signalling models, over an arbitrary measurement cover, coincide. Maximal non-locality is generalized to maximal contextuality, and characterized in purely qualitative terms, as the non-existence of global sections in the support. A general setting is developed for the Kochen–Specker-type results, as generic, model-independent proofs of maximal contextuality, and a new combinatorial condition is given, which generalizes the 'parity proofs' commonly found in the literature. We also show how our abstract setting can be represented in quantum mechanics. This leads to a strengthening of the usual no-signalling theorem, which shows that quantum mechanics obeys no-signalling for arbitrary families of commuting observables, not just those represented on different factors of a tensor product.
There has been some recent interest in applying the techniques of Algebraic Quantum Field Theory (AQFT) to entanglement problems in perturbative QFT. In particular, the Hilbert space independence of this formulation makes it particularly interesting in the context of curved spacetimes and the emphasis on the algebra of observables makes the treatment of Bell inequalities in QFT resemble such treatment in non-relativistic Quantum Mechanics. In this work, we present the mathematical structures needed for formulating AQFT in terms of the Haag-Araki-Kastler (HAK) axioms and discuss their implications. Moreover, we discuss the algebraic approach to quantum entanglement in the form of Bell inequalities. We provide an extension of this formulation to general globally hyperbolic spacetimes using the so-called Locally Covariant approach to QFT, which extends the HAK axioms to general spacetimes by means of the Category Theory language.
Locally covariant algebraic quantum field theory (LCQFT) satisfies Einstein causality through microcausality and operational no-signalling, yet Bell-type correlations persist in entangled field states across spacelike regions. We demonstrate that this apparent tension reflects a fundamental covariance obstruction: no assignment of classical past variables can simultaneously be covariant under spacetime embeddings, screen off quantum correlations, and reproduce AQFT statistics. This obstruction is distinct from dynamical nonlocality or signalling violations. We formalize this as a no-go theorem in the category-theoretic framework of LCQFT, showing that Bell's notion of local causality -- requiring factorization conditioned on a common past -- is structurally incompatible with diffeomorphism covariance. The failure of Bell locality thus reflects not a breakdown of relativistic causality but the impossibility of embedding quantum correlations into a classical causal framework without introducing preferred foliations or non-covariant beables. This clarifies the conceptual status of nonlocality in relativistic quantum theory.
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.
In this thesis we use the language of sheaf theory in order to develop a deeper understanding of some of the fundamental differences - such as entanglement, contextuality and non-locality - between quantum and classical physics. We first present, based on the work of Abramsky and Brandenburger, how sheaves, defined over certain posets of physically meaningful contexts, give a natural setting for capturing and analysing important quantum mechanical phenomena, such as quantum non-locality and contextuality. We also describe how this setting naturally leads to a three level hierarchy of quantum contextuality: weak contextuality, logical non-locality and strong contextuality. We use these insights in order to classify certain multipartite entangled states. Almost all of these turn out to be at least logically non-local, and a number of them even turn out to be strongly contextual. We further extend this result by showing that all n-qubit entangled states, with the exception of tensor products of single-qubit and bipartite maximally-entangled states, are logically non-local. Our proof is constructive: given any n-qubit state, we present an algorithm which produces n+2 local observables witnessing its logical non-locality. In the second half of the thesis we use the same basic principle of sheaves defined over physically meaningful contexts, in order to present an elegant mathematical language, known under the name of the Topos Approach, in which many quantum mechanical concepts, such as states, observables, and propositions about these, can be expressed. We then show that the language of the Topos Approach is as least as expressive, in logical terms, as traditional quantum logic. Finally, starting from a topos-theoretic perspective, we develop the construction of contextual entropy in order to give a unified treatment of classical and quantum notions of information theoretic entropy.