We identify a direct correspondence between the crossed product construction which plays a crucial role in the theory of Type III von Neumann algebras, and the extended phase space construction which restores the integrability of non-zero charges generated by gauge symmetries in the presence of spatial substructures. This correspondence provides a blue-print for resolving singularities which are encountered in the computation of entanglement entropy for subregions in quantum field theories. The extended phase space encodes quantities that would be regarded as ‘pure gauge’ from the perspective of the full theory, but are nevertheless necessary for gluing together, in a path integral sense, physics in different subregions. These quantities are required in order to maintain gauge covariance under such gluings. The crossed product provides a consistent method for incorporating these necessary degrees of freedom into the operator algebra associated with a given subregion. In this way, the extended phase space completes the subregion algebra and subsequently allows for the assignment of a meaningful, finite entropy to states therein.
We identify a direct correspondence between the crossed product construction which plays a crucial role in the theory of Type III von Neumann algebras, and the extended phase space construction which restores the integrability of non-zero charges generated by gauge symmetries in the presence of spatial substructures. This correspondence provides a blue-print for resolving singularities which are encountered in the computation of entanglement entropy for subregions in quantum field theories. The extended phase space encodes quantities that would be regarded as ‘pure gauge’ from the perspective of the full theory, but are nevertheless necessary for gluing together, in a path integral sense, physics in different subregions. These quantities are required in order to maintain gauge covariance under such gluings. The crossed product provides a consistent method for incorporating these necessary degrees of freedom into the operator algebra associated with a given subregion. In this way, the extended phase space completes the subregion algebra and subsequently allows for the assignment of a meaningful, finite entropy to states therein.
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 gauge theories the presence of constraints can obstruct expressing the global Hilbert space as a tensor product of the Hilbert spaces corresponding to degrees of freedom localized in complementary regions. In algebraic terms, this is due to the presence of a center---a set of operators which commute with all others---in the gauge invariant operator algebra corresponding to a finite region. A unique entropy can be assigned to algebras with a center, giving a place to a local entropy in lattice gauge theories. However, ambiguities arise on the correspondence between algebras and regions. In particular, it is always possible to choose (in many different ways) local algebras with a trivial center, and hence a genuine entanglement entropy, for any region. These choices are in correspondence with maximal trees of links on the boundary, which can be interpreted as partial gauge fixings. This interpretation entails a gauge fixing dependence of the entanglement entropy. In the continuum limit, however, ambiguities in the entropy are given by terms local on the boundary of the region, in such a way relative entropy and mutual information are finite, universal, and gauge independent quantities.
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.
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.
Entanglement entropy for spatial subregions is difficult to define in string theory because of the extended nature of strings. Here we propose a definition for bosonic open strings using the framework of string field theory. The key difference (compared to ordinary quantum field theory) is that the subregion is chosen inside a Cauchy surface in the ``space of open string configurations.'' We first present a simple calculation of this entanglement entropy in free light-cone string field theory, ignoring subtleties related to the factorization of the Hilbert space. We reproduce the answer expected from an effective field theory point of view, namely a sum over the one-loop entanglement entropies corresponding to all the particle-excitations of the string, and further show that the full string theory regulates ultraviolet divergences in the entanglement entropy. We then revisit the question of factorization of the Hilbert space by analyzing the covariant phase-space associated with a subregion in Witten's covariant string field theory. We show that the pure gauge (i.e., BRST exact) modes in the string field become dynamical at the entanglement cut. Thus, a proper definition of the entropy must involve an extended Hilbert space, with new stringy edge modes localized at the entanglement cut.
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.