A covariant regulator for entanglement entropy: proofs of the Bekenstein bound and QNEC

Abstract

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.

6 pages + appendices, 2 figures

References in corpus (9)

• An Algebra of Observables for de Sitter Space
• Relative entropy and the Bekenstein bound
• Remarks on the entanglement entropy for disconnected regions
• Gravity and the Crossed Product
• Large N algebras and generalized entropy
• Generalized entropy for general subregions in quantum gravity
• Crossed product algebras and generalized entropy for subregions
• Mutual information challenges entropy bounds
• Generalized Black Hole Entropy is von Neumann Entropy

Cited by in corpus (4)

• Crossed products and quantum reference frames: on the observer-dependence of gravitational entropy
• Gravitational null rays: Covariant Quantization and the Dressing Time
• Searching for emergent spacetime in spin glasses
• Fiducial observers and the thermal atmosphere in the black hole quantum throat