Von Neumann Entropy in QFT

TL;DR

This paper rigorously defines and analyzes the finiteness of von Neumann entropy as a measure of entanglement in quantum field theory, specifically for free fermion models and chiral conformal nets.

Contribution

It introduces a rigorous operator algebraic notion of entanglement entropy in QFT and proves its finiteness for certain free fermion and conformal models.

Findings

Von Neumann entropy is finite for free fermion models on the circle.

Lower entanglement entropy is finite for models generated by finitely many U(1)-currents.

Establishes a connection between von Neumann entropy and local subspace structures in QFT.

Abstract

In the framework of Quantum Field Theory, we provide a rigorous, operator algebraic notion of entanglement entropy associated with a pair of open double cones $O \subset \tilde O$ of the spacetime, where the closure of $O$ is contained in $\tilde O$. Given a QFT net $A$ of local von Neumann algebras $A(O)$, we consider the von Neumann entropy $S_A(O, \tilde O)$ of the restriction of the vacuum state to the canonical intermediate type $I$ factor for the inclusion of von Neumann algebras $A(O)\subset A(\tilde O)$ (split property). We show that this canonical entanglement entropy $S_A(O, \tilde O)$ is finite for the chiral conformal net on the circle generated by finitely many free Fermions (here double cones are intervals). To this end, we first study the notion of von Neumann entropy of a closed real linear subspace of a complex Hilbert space, that we then estimate for the local free fermion subspaces. We further consider the lower entanglement entropy $\underline S_A(O, \tilde O)$, the infimum of the vacuum von Neumann entropy of $F$, where $F$ here runs over all the intermediate, discrete type $I$ von Neumann algebras. We prove that $\underline S_A(O, \tilde O)$ is finite for the local chiral conformal net generated by finitely many commuting $U(1)$-currents.