While von Neumann entropies for subregions in quantum field theory universally contain ultraviolet divergences, differences between von Neumann entropies are finite and well defined in many physically relevant scenarios. We demonstrate that such a notion of entropy differences can be rigorously defined in quantum field theory in a general curved spacetime by introducing a novel, covariant regulator for the entropy based on the modular crossed product. This regulator associates a type II von Neumann algebra to each spacetime subregion, resulting in well-defined renormalized entropies. This prescription reproduces formulas for entropy differences that coincide with heuristic formulas widely used in the literature, and we prove that it satisfies desirable properties such as unitary invariance and concavity. As an application, we provide proofs of the Bekenstein bound and the quantum null energy condition, formulated directly in terms of vacuum-subtracted von Neumann entropies.
While von Neumann entropies for subregions in quantum field theory universally contain ultraviolet divergences, differences between von Neumann entropies are finite and well defined in many physically relevant scenarios. We demonstrate that such a notion of entropy differences can be rigorously defined in quantum field theory in a general curved spacetime by introducing a novel, covariant regulator for the entropy based on the modular crossed product. This regulator associates a type II von Neumann algebra to each spacetime subregion, resulting in well-defined renormalized entropies. This prescription reproduces formulas for entropy differences that coincide with heuristic formulas widely used in the literature, and we prove that it satisfies desirable properties such as unitary invariance and concavity. As an application, we provide proofs of the Bekenstein bound and the quantum null energy condition, formulated directly in terms of vacuum-subtracted von Neumann entropies.
An early result of algebraic quantum field theory is that the algebra of any subregion in a QFT is a von Neumann factor of type III _{1} 1 , in which entropy cannot be well-defined because such algebras do not admit a trace or density states. However, associated to the algebra is a modular group of automorphisms characterizing the local dynamics of degrees of freedom in the region, and the crossed product of the algebra with its modular group yields a type II _∞ ∞ factor, in which traces and hence von Neumann entropy can be well-defined. In this work, we generalize recent constructions of the crossed product algebra for the TFD to, in principle, arbitrary spacetime regions in arbitrary QFTs, formally paving the way to the study of entanglement entropy without UV divergences. In contrast to previous works, we emphasize that this construction is independent of gravity. In this sense, the crossed product construction represents a refinement of Haag’s assignment of nets of observable algebras to spacetime regions by providing a natural construction of a type II factor. We present several concrete examples: a QFT in Rindler space, a CFT in an open ball of Minkowski space, and arbitrary boundary subregions in AdS/CFT. In the holographic setting, we provide a novel argument for why the bulk dual must be the entanglement wedge, and discuss the distinction arising from boundary modular flow between causal and entanglement wedges for excited states and disjoint regions.
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.
Abstract In the context of the AdS/CFT correspondence, it is often convenient to regulate infinite quantities in asymptotically anti-de Sitter spacetimes by introducing a sharp cutoff at some finite, large value of a particular radial coordinate. This procedure is a priori coordinate dependent, and may not be well-motivated in full, covariant general relativity; however, the fact that physically meaningful quantities such as the entanglement entropy can be obtained by such a regulation procedure suggests some underlying covariance. In this paper, we provide a careful treatment of the radial cutoff procedure for computing holographic entanglement entropy in asymptotically anti-de Sitter spacetimes. We prove two results that are frequently assumed in the literature, but that have not been carefully addressed: (i) that the choice of a “globally minimal surface” among several extremal candidates is independent of the choice of regulator, and (ii) that finite CFT quantities such as the mutual information which involve “divergence-cancelling” sums of entanglement entropies are well-defined under the usual prescription for computing covariant holographic entanglement entropy. Our results imply that the “globally minimal surface” prescription for computing the holographic entanglement entropy is well-posed from the perspective of general relativity, and thus support the widely-held belief that this is the correct prescription for identifying the entanglement wedge of a boundary subregion in AdS/CFT. We also comment on the geometric source of state-dependent divergences in the holographic entanglement entropy, and identify precisely the regime of validity of the “vacuum subtraction” protocol for regulating infinite entanglement entropies in arbitrary states by comparing them to the entanglement entropies of identical regions in the vacuum. Our proofs make use of novel techniques for the covariant analysis of extremal surfaces, which are explained in detail and may find use more broadly in the study of holographic entanglement entropy.
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.
The standard, gapped entanglement boundary condition in Chern Simons theory breaks the topological invariance of the theory by introducing a complex structure on the entangling surface. This produces an infinite dimensional subregion Hilbert space, a non-trivial modular Hamiltonion, and a UV-divergent entanglement entropy that is a universal feature of local quantum field theories. In this work, we appeal to the combinatorial quantization of Chern Simons theory to define a purely topological notion of a subregion. The subregion operator algebras are spaces of functions on a quantum group. We develop a diagrammatic calculus for the associated q-deformed entanglement entropy, which arise from the entanglement of anyonic edge modes. The q-deformation regulates the divergences of the QFT, producing a finite entanglement entropy associated to a q-tracial state. We explain how these ideas provide an operator algebraic framework for the entanglement entropy computations in topological string theory \cite{Donnelly:2020teo,Jiang:2020cqo, wongtopstring}, where a large- N limit of the q-deformed subregion algebra plays a key role in the stringy description of spacetime.
A bstract The corrections to holographic entanglement entropy from bulk quantum fields in a classical gravitational background are now well understood. They lead, in particular, to unitary Page curves for evaporating black holes. However, the correct treatment of quantum fluctuations of the metric, including graviton excitations, is a longstanding problem. We provide a gauge-invariant prescription for the generalized entropy of gravitons in anti-de Sitter space in terms of areas and bulk entanglement entropy, generalizing the quantum extremal surface prescription to accommodate fluctuations in the semiclassical spacetime geometry. This task requires a careful treatment of the area operator on the graviton Hilbert space and the definition of a “quantum extremal gauge” in which the extremal surface is unperturbed. It also requires us to determine the correct vacuum modular Hamiltonian for the graviton field, which we fix by requiring that it doesn’t contain a boundary term in extremal gauge. We check our prescription with an explicit computation of the vacuum-subtracted generalized entropy of states containing a graviton in an AdS-Rindler background. Our results exactly match vacuum-subtracted von Neumann entropies for stress-tensor excited states in holographic conformal field theory with d > 2 dimensions. We also use covariant phase space techniques to give a partial proof of our prescription when the entanglement wedge for the background spacetime has a bifurcate Killing horizon. Along the way, we identify a class of perturbative graviton states that have parametrically larger generalized entropy, in the small G N expansion, than any low-energy excitations of an ordinary quantum field.