Bell correlations are the hallmark of quantum non-locality, and a rich context for analysing them is provided by the algebraic approach to quantum field theory (AQFT): the basic idea is to associate with each bounded region O of Minkowski spacetime an algebra A(O) of operators, of which a self-adjoint element P ∈ A(O) represents a physical quantity pertaining to that part of the field system lying in O, that is measurable by a procedure confined to O. The violation of Bell inequalities in AQFT is known to be "generic", as regards the choices of regions O, and of quantities P, and of states. Furthermore, they are typically "maximal" and "indestructible" in a sense that can be made mathematically precise. The prospects for “peaceful coexistence” between quantum non-locality and relativity theory’s requirement of no action-at-a-distance are also explored. The purpose of this Essay is to review the developments in these areas.
Bell correlations are the hallmark of quantum non-locality, and a rich context for analysing them is provided by the algebraic approach to quantum field theory (AQFT): the basic idea is to associate with each bounded region O of Minkowski spacetime an algebra A(O) of operators, of which a self-adjoint element P ∈ A(O) represents a physical quantity pertaining to that part of the field system lying in O, that is measurable by a procedure confined to O. The violation of Bell inequalities in AQFT is known to be "generic", as regards the choices of regions O, and of quantities P, and of states. Furthermore, they are typically "maximal" and "indestructible" in a sense that can be made mathematically precise. The prospects for “peaceful coexistence” between quantum non-locality and relativity theory’s requirement of no action-at-a-distance are also explored. The purpose of this Essay is to review the developments in these areas.
Bell’s inequalities are briefly presented in the context of order-unit spaces and then studied in some detail in the framework of C*-algebras. The discussion is then specialized to quantum field theory. Maximal Bell correlations β(φ,𝒜(𝒪1), 𝒜(𝒪2)) for two subsystems localized in regions 𝒪1 and 𝒪2 and constituting a system in the state φ are defined, along with the concept of maximal Bell violations. After a study of these ideas in general, properties of these correlations in vacuum states of arbitrary quantum field models are studied. For example, it is shown that in the vacuum state the maximal Bell correlations decay exponentially with the product of the lowest mass and the spacelike separation of 𝒪1 and 𝒪2. This paper is also preparation for the proof in Paper II [S. J. Summers and R. Werner, J. Math. Phys. 28, 2448 (1987)] that Bell’s inequalities are maximally violated in the vacuum state.
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.
Entanglement has long been the subject of discussion by philosophers of quantum theory, and has recently come to play an essential role for physicists in their development of quantum information theory. In this paper we show how the formalism of algebraic quantum field theory (AQFT) provides a rigorous framework within which to analyze entanglement in the context of a fully relativistic formulation of quantum theory. What emerges from the analysis are new practical and theoretical limitations on an experimenter’s ability to perform operations on a field in one spacetime region that can disentangle its state from the state of the field in other spacelike-separated regions. These limitations show just how deeply entrenched entanglement is in relativistic quantum field theory, and yield a fresh perspective on the ways in which the theory differs conceptually from both standard nonrelativistic quantum theory and classical relativistic field theory. “...despite its conservative way of dealing with physical principles, algebraic QFT leads to a radical change of paradigm. Instead of the Newtonian view of a space-time filled with a material content one enters the reality of Leibniz created by relation (in particular inclusions) between ‘monads ’ (∼ the hyperfinite type III1 local von Neumann factors A(O) which as single algebras are nearly void of physical meaning) ” Schroer (1998, p. 302).
It is one of the most remarkable features of quantum physics that measurements on spatially separated systems cannot always be described by a locally causal theory. In such a theory, the outcomes of local measurements are determined in advance solely by some unknown (or hidden) variables and the choice of local measurements. Correlations that are allowed within the framework of a locally causal theory are termed classical. Typically, the fact that quantum mechanics does not always result in classical correlations is revealed by the violation of Bell inequalities, which are constraints that have to be satisfied by any classical correlations. It has been known for a long time that entanglement is necessary to demonstrate nonclassical correlations, and hence a Bell inequality violation. However, since some entangled quantum states are known to admit explicit locally causal models, the exact role of entanglement in Bell inequality violation has remained obscure. This thesis provides both a comprehensive review on these issues as well as a report on new discoveries made to clarify the relationship between entanglement and Bell inequality violation.
Abstract There are many senses in which the phenomenon of Bell correlation, originally discovered and investigated in the context of elementary nonrelativistic quantum mechanics (Bell 1987, Clauser et al. 1969), is ‘generic’ in quantum field theory models. For example, it has been shown that every pair of commuting nonabelian von Neumann algebras possesses some normal state with maximal Bell correlation (Summers 1990; see also Landau 1987b). Moreover, in most standard quantum field models, all normal states are maximally Bell correlated across spacelike separated tangent wedges
It is one of the most remarkable features of quantum physics that measurements on spatially separated systems cannot always be described by a locally causal theory. In such a theory, the outcomes of local measurements are determined in advance solely by some unknown (or hidden) variables and the choice of local measurements. Correlations that are allowed within the framework of a locally causal theory are termed classical. Typically, the fact that quantum mechanics does not always result in classical correlations is revealed by the violation of Bell inequalities, which are constraints that have to be satisfied by any classical correlations. It has been known for a long time that entanglement is necessary to demonstrate nonclassical correlations, and hence a Bell inequality violation. However, since some entangled quantum states are known to admit explicit locally causal models, the exact role of entanglement in Bell inequality violation has remained obscure. This thesis provides both a comprehensive review on these issues as well as a report on new discoveries made to clarify the relationship between entanglement and Bell inequality violation. In particular, within the framework of a standard Bell experiment, i.e., a Bell inequality test that is directly performed on a single copy of a quantum state r, we have derived two algorithms to determine, respectively, a lower bound and an upper bound on the strength of correlations that r can offer for any given Bell inequality. Both of these algorithms make use convex optimization techniques in the form of a semidefinite program. By examples, we show that these algorithms can often be used in tandem, in conjunction with convexity arguments, to determine if a quantum state can offer nonclassical correlations and hence violates a given Bell inequality. On the other hand, since a standard Bell experiment typically involves measurements over many copies of the quantum systems, we have also investigated the possibility of enhancing the strength of nonclassical correlation by, instead, performing collective measurements on multiple copies of the quantum systems. Our findings show that even without postselection, such joint measurements may also lead to stronger nonclassical correlations, and hence a better Bell inequality violation. Meanwhile, previous studies have indicated that entangled state admitting locally causal models may still lead to observable nonclassical correlations if, prior to a standard Bell experiment, the state is subjected to some appropriate local preprocessing. This phenomenon of hidden nonlocality was discovered more than a decade ago, but to date, it is still not known if all entangled states can demonstrate nonclassical correlations through these more sophisticated Bell experiments. A key result in this thesis then consists of showing that for all bipartite entangled states, observable nonclassical correlations, in the form of a Bell-CHSH inequality violation, can indeed be derived if we allow both local preprocessing and the usage of shared ancillary state which by itself does not violate the Bell-CHSH inequality. This establishes a kind of equivalence between bipartite entanglement and states that cannot be simulated by classical correlations. In summary, for a standard Bell experiment where no local preprocessing on a quantum state r is allowed, we have provided two algorithms that can be used in tandem to determine if r can be simulated by a locally causal theory, whereas in the scenario where local preprocessing is allowed, we have demonstrated that bipartite entangled states are precisely those which cannot always be simulated classically.