Proof of the quantum null energy condition for free fermionic field theories

Abstract

The quantum null energy condition (QNEC) is a quantum generalization of the null energy condition, which gives a lower bound on the null energy in terms of the second derivative of the von Neumann entropy or entanglement entropy of some region with respect to a null direction. The QNEC states that $⟨{T}_{kk}{⟩}_{p}\ensuremath{\ge}{\mathrm{lim}}_{A\ensuremath{\rightarrow}0}(\frac{\ensuremath{\hbar}}{2\ensuremath{\pi}A}{S}_{\mathrm{out}}^{\ensuremath{'}\ensuremath{'}})$, where ${S}_{\mathrm{out}}$ is the entanglement entropy restricted to one side of a codimension-2 surface $\mathrm{\ensuremath{\Sigma}}$, which is deformed in the null direction about a neighborhood of point $p$ with area $A$. A proof of QNEC has been given before, which applies to free and super-renormalizable bosonic field theories, and to any points that lie on a stationary null surface. Using similar assumptions and methods, we prove the QNEC for fermionic field theories.