In this thesis, we study aspects of entanglement theory of quantum field theories from an algebraic point of view. The main motivation is to gain insights about the general structure of the entanglement in QFT, towards a definition of an entropic version of QFT. In the opposite direction, we are also interested in exploring any consequence of the entanglement in algebraic QFT. This may help us to reveal unknown features of QFT, with the final aim of finding a dynamical principle which allows us to construct non-trivial and rigorous models of QFT. The algebraic approach is the natural framework to define and study entanglement in QFT, and hence, to pose the above inquiries. After a self-contained review of algebraic QFT and quantum information theory in operator algebras, we focus on our results. We compute, in a mathematically rigorous way, exact solutions of entanglement measures and modular Hamiltonians for specific QFT models, using algebraic tools from modular theory of von Neumann algebras. These calculations show explicitly non-local features of modular Hamiltonians and help us to solve ambiguities that arise in other non-rigorous computations. We also study aspects of entanglement entropy in theories having superselection sectors coming from global symmetries. We follow the algebraic perspective of Doplicher, Haag, and Roberts. In this way, we find an entropic order parameter that "measures" the size of the symmetry group, which is made out of a difference of two mutual informations. Moreover, we identify the main operators that take account of such a difference, and we obtain a new quantum information quantity, the entropic certainty relation, involving algebras containing such operators. This certainty relation keeps an intrinsic connection with subfactor theory of von Neumann algebras.
In this thesis, we study aspects of entanglement theory of quantum field theories from an algebraic point of view. The main motivation is to gain insights about the general structure of the entanglement in QFT, towards a definition of an entropic version of QFT. In the opposite direction, we are also interested in exploring any consequence of the entanglement in algebraic QFT. This may help us to reveal unknown features of QFT, with the final aim of finding a dynamical principle which allows us to construct non-trivial and rigorous models of QFT. The algebraic approach is the natural framework to define and study entanglement in QFT, and hence, to pose the above inquiries. After a self-contained review of algebraic QFT and quantum information theory in operator algebras, we focus on our results. We compute, in a mathematically rigorous way, exact solutions of entanglement measures and modular Hamiltonians for specific QFT models, using algebraic tools from modular theory of von Neumann algebras. These calculations show explicitly non-local features of modular Hamiltonians and help us to solve ambiguities that arise in other non-rigorous computations. We also study aspects of entanglement entropy in theories having superselection sectors coming from global symmetries. We follow the algebraic perspective of Doplicher, Haag, and Roberts. In this way, we find an entropic order parameter that "measures" the size of the symmetry group, which is made out of a difference of two mutual informations. Moreover, we identify the main operators that take account of such a difference, and we obtain a new quantum information quantity, the entropic certainty relation, involving algebras containing such operators. This certainty relation keeps an intrinsic connection with subfactor theory of von Neumann algebras.
Quantum Field Theory (QFT) represents a vast generalization of Quantum Mechanics (QM), as it deals with systems that have an infinite number of degrees of freedom. The Stone-von Neumann theorem, which establishes the equivalence of irreducible representations of the canonical commutation relations (CCR) in QM, does not extend to QFT. Consequently, QFT admits multiple inequivalent irreducible representations, leading to a much richer algebraic structure. This essay aims to explore the physics of QFT from the operator algebra perspective, particularly focusing on entanglement entropy. We discuss the role of von Neumann algebras of different types in QFT, describe the local operator algebra approach to QFT, and explain how entanglement entropy can be defined in terms of the algebra of observables. Additionally, we explore the benefits of this approach in concrete applications, specifically in quantum field theory on curved spacetime.
Abstract Some quantum field theories show, in a fundamental or an effective manner, an alternative between a loss of duality for algebras of operators corresponding to complementary regions, or a loss of additivity. In this latter case, the algebra contains some operator that is not generated locally, in the former, the entropies of complementary regions do not coincide. Typically, these features are related to the incompleteness of the operator content of the theory, or, in other words, to the existence of superselection sectors. We review some aspects of the mathematical literature on superselection sectors aiming attention to the physical picture and focusing on the consequences for entanglement entropy (EE). For purposes of clarity, the whole discussion is divided into two parts according to the superselection sectors classification: the present part I is devoted to superselection sectors arising from global symmetries, and the forthcoming part II will consider those arising from local symmetries. Under this perspective, here restricted to global symmetries, we study in detail different cases such as models with finite and Lie group symmetry as well as with spontaneous symmetry breaking or excited states. We illustrate the general results with simple examples. As an important application, we argue the features of holographic entanglement entropy correspond to a picture of an sub-theory with a large number of superselection sectors and suggest some ways in which this identification could be made more precise.
We develop a cohomological framework for entanglement entropy that unifies information theory, operator algebras, and noncommutative geometry. Entropy is a 1-cocycle in information cohomology; we generalize this to the quantum setting via Hochschild and cyclic cohomology. For an inclusion of von Neumann algebras N contained in M with a faithful normal state w admitting a cyclic and separating vector, and a conditional expectation E: M -> N (whose existence is equivalent to modular invariance of N by Takesaki's theorem), we construct the entanglement complex as the image of the transgression map tau_w on the relative cyclic complex, where A is a dense *-subalgebra of M and B = A intersect N. Our main result identifies entanglement cohomology with the kernel of the restriction map HC*(A) -> HC*(B), up to the connecting homomorphism d of the long exact sequence of the pair (A,B); when d = 0, the identification is exact. The relative modular cocycle u_t = (Dw : D(w|_N) o E)_t generates explicit entanglement classes when E is not w-invariant, with the Araki relative entropy as its infinitesimal generator. The framework accommodates Type III von Neumann algebras, where no local density matrix exists, and leads to a holographic proposal: a subspace of H^1_ent is conjecturally dual to linearized modular Hamiltonian perturbations of the bulk entanglement wedge. We verify the construction in finite-dimensional, type II_1, and type III_1 examples.
In the framework of Algebraic Quantum Field Theory, several operator algebraic notions of entanglement entropy can be associated with any pair of causally disjoint spacetime regions SA and SB with positive relative distance. Among them, the canonical entanglement entropy is defined as the von Neumann entropy of a canonical intermediate type I factor. In this work, we show that the canonical entanglement entropy of the vacuum state is finite for a broad class of conformal nets including the U(1)-current model and the SU(n)-loop group models. Since previous studies suggest that this finiteness property is related to nuclearity properties of the system, we show that the mutual information is finite in any local QFT satisfying a modular p-nuclearity condition for some 0<p<1. A similar finiteness result is established for another notion of entanglement entropy introduced in this paper. We conclude with remarks for future work in this direction.
This thesis aims to establish the study of a somewhat novel form of entanglement in field-theoretical quantum systems: that between degrees of freedom in momentum space. Although scattered results can be found in the literature, with some even going back decades, this work, based on the papers published during the PhD, provides a systematic investigation of the matter and arrive at non-perturbative results, shedding light on unexplored structures present in Quantum Field Theories (QFTs) and their ground states. This line of research is motivated by the inherent connection between the notion of momentum modes of fields and the Wilsonian formulation of the Renormalization Group (RG), a cornerstone of the modern understanding of field theories and phases of matter which is naturally defined by the partition of the degrees of freedom into “fast' and “slow' modes, according to their momenta. Furthermore, by glancing at the achievements of techniques such as the Density Matrix Renormalization Group and Tensor Networks, which are based on ideas from renormalization in real space, there is reason to believe that similarly efficient methods may be derived by connecting the fundaments of the RG with quantum information in momentum-space. With this in mind, the thesis begins by introducing the main notions of information theory and renormalization used throughout, with the inclusion of a brief discussion on the use of von Neumann algebras in quantum physics, a formalism which is not directly applied here, but nevertheless provides a solid basis for many intuitions on the nature of entanglement. Afterwards, the idea of degrees of freedom in momentum-space is defined and its different subtleties clarified. A key insight, that any field theory possesses multiple definitions of partitioning its Hilbert space into momentum modes, based on a choice of a complete set of local and commuting observables or field variables in a path integral, is then obtained. Given this solid grasp on the fundaments of quantum information in momentum-space, two directions of further investigation are pursued. First, a path-integral method is developed for the calculation of the associated entanglement entropies in ground states and applied perturbatively to several models, which also allows for the quantitative confirmation of certain predictions. Secondly, the Wilsonian renormalization procedure is translated to this formalism and is shown to be equivalent to a so-called quantum channel which acts on momentum-space. While an interesting result on its own right, this also leads directly to a powerful constraint on the structure of ground states of renormalization group fixed points: they must be separable, and thus uncorrelated, when the degrees of freedom are partitioned based on their momentum scale. This opens the way for further analytical and numerical studies of these special QFTs beyond the scope of this thesis. Finally, the concept of fidelity of quantum states is invoked in order to better understand the information aspects of the renormalization group flow for theories in the critical manifold of a given fixed point. It is used to quantify the idea that such QFTs are indistinguishable from the fixed point itself when long-distance observables are measured and new “critical exponents' are introduced in this context, providing tight bounds on the differences of expectation values of operators in the critical and fixed-point theories. The results obtained in this work mark only the beginning of the in-depth research on different structures present in the momentum-space of Quantum Field Theories and may, hopefully, serve as a basis for further developments.:Contents Acknowledgements iii 1 Introduction 1 1.1 Notions of quantum information 5 1.2 Comments on von Neumann algebras 10 1.3 Basics of Wilsonian renormalization 14 2 Defining momentum-space entanglement 18 2.1 Momentum modes from the path integral 19 2.2 Non-uniqueness of partitions 24 3 The replica method for non-local actions 33 3.1 Construction of the replica trick 34 3.2 Entanglement between momentum scales in perturbation theory 38 3.2.1 Perturbation theory and the replica trick 39 3.2.2 Coupled Oscillators 40 3.2.3 Perturbative interacting QFT 42 3.2.4 Sine-Gordon and Thirring models 48 4 Wilsonian RG as a quantum channel 53 4.1 Quantum operations from the RG steps 54 4.2 Separability of ground states at fixed points 59 4.3 Further implications 63 4.3.1 The RG is a quantum dynamical semigroup 64 4.3.2 First-order phase transitions 67 5 Critical theories and operator estimations 74 5.1 Quantum state distinguishability 75 5.2 Fidelity in translation-invariant systems 77 5.3 Hyperscaling in the critical manifold 80 6 Conclusions and further directions 86 Bibliography 88
This essay was completed as partial fulfillment of the requirements forthe MASt in Applied Mathematics degree (Part III of the Mathemat-ical Tripos) carried out at the DAMPT, Cambridge. After reviewingthe essentials of C*-algebras and von Neumann algebras, we present theMurray–von Neumann classification of factors into types I, II and III.We then introduce the algebraic approach to Quantum Field Theory(QFT) and discuss existing arguments for the association of type IIIalgebras to local regions of spacetime. We explain why, as a conse-quence, the entanglement entropy of a region is not well defined, andhow relative entropy offers an alternative, reviewing the fundamentalsof entanglement entropy in QFT. Finally, we see how including grav-ity turns the algebra of observables outside a black hole into one oftype II∞, where a well-defined notion of entropy can be recovered. This work should be regarded as introductory notes to operator al-gebras with a particular emphasis on their applications in theoreticalphysics. They are intended to synthesize the mathematical content fora physics-oriented audience, using worked-out examples throughout toset a foundation and gradually build up to some direct examples of theusage of the framework. They are aimed at advanced undergraduatestudents or early postgraduate students, and only some basic knowl-edge on quantum mechanics, QFT, group theory and linear algebra areassumed