Abstract:We prove a conjectured lower bound on $\left< T_{--}(x) \right>_\psi$ in any state $\psi$ of a relativistic QFT dubbed the Quantum Null Energy Condition (QNEC). The bound is given by the second order shape deformation, in the null direction, of the geometric entanglement entropy of an entangling cut passing through $x$. Our proof involves a combination of the two independent methods that were used recently to prove the weaker Averaged Null Energy Condition (ANEC). In particular the properties of modular Hamiltonians under shape deformations for the state $\psi$ play an important role, as do causality considerations. We study the two point function of a "probe" operator $\mathcal{O}$ in the state $\psi$ and use a lightcone limit to evaluate this correlator. Instead of causality in time we consider \emph{causality in modular time} for the modular evolved probe operators, which we constrain using Tomita-Takesaki theory as well as certain generalizations pertaining to the theory of modular inclusions. The QNEC follows from very similar considerations to the derivation of the chaos bound and the causality sum rule. We use a kind of defect Operator Product Expansion to apply the replica trick to these modular flow computations, and the displacement operator plays an important role. Our approach was inspired by the AdS/CFT proof of the QNEC which follows from properties of the Ryu-Takayanagi (RT) surface near the boundary of AdS, combined with the requirement of entanglement wedge nesting. Our methods were, as such, designed as a precise probe of the RT surface close to the boundary of a putative gravitational/stringy dual of \emph{any} QFT with an interacting UV fixed point. We also prove a higher spin version of the QNEC.

How negative can null energy be in large N CFTs?

Non-minimal coupling, negative null energy, and effective field theory

Enhanced Negative Energy with a Massless Dirac Field

Negative energy densities in integrable quantum field theories at one-particle level

Null energy constraints on two-dimensional RG flows

Universal Bounds on CFT Distance Conjecture

Holographic entanglement negativity for a single subsystem in conformal field theories with a conserved charge

Toward Null State Equations in $d>2$

Beyond $N=\infty$ in Large $N$ Conformal Vector Models at Finite Temperature

Can negative bare couplings make sense? The $\vecϕ^4$ theory at large $N$

Toward null-state equations in d > 2

A General Proof of the Quantum Null Energy Condition

Beyond N = ∞ in large N conformal vector models at finite temperature

The fermionic double smeared null energy condition

On the negative coupling O(N) model in 2d at high temperature

Conformal bounds in three dimensions from entanglement entropy

Averaged Null Energy and the Renormalization Group

Casimir Energy in (2 + 1)-Dimensional Field Theories

The analytic structure of the fixed charge expansion

Proof of Renyi QNEC for free fermions