A General Proof of the Quantum Null Energy Condition

TL;DR

The paper establishes the Quantum Null Energy Condition (QNEC) as a local bound on the null-null component of the stress tensor by relating it to the second-order shape deformation of entanglement entropy across a null cut. It develops a robust framework combining modular Hamiltonian dynamics, Tomita–Takesaki theory, a defect-operator (twist) replica trick, and lightcone OPE techniques to extract the modular flow corrections that enforce QNEC. A key outcome is the explicit positivity of the integrated bound Q_-(A,B;y) and its higher-spin generalizations, with a detailed analysis of analyticity properties and a sum-rule argument that parallels chaos bounds and causality constraints. The work also addresses mixed states, local geometric contributions, and the transition from conformal to more general QFTs, illuminating the entanglement-geometry–causality interplay and offering holographic intuition via entanglement wedge nesting.

Abstract

We prove a conjectured lower bound on $\left< T_{--}(x) \right>_ψ$ in any state $ψ$ 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 $ψ$ play an important role, as do causality considerations. We study the two point function of a "probe" operator $\mathcal{O}$ in the state $ψ$ 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.

Figures (12)

• Figure 1: Our setup involves two causally disconnected regions of Minkowski space, the domains of dependence of $B$ and $\bar{A}$ (shaded green regions). These become close to null separated along a null line (gray curve in the left figure) along which we would like to prove the QNEC. The null separation along this line is the coordinate length $\delta x^-$. We insert two operators (blue and red dots) in these respective regions in a lightcone limit close to the continuation of this null line.
• Figure 2: A schematic of the AdS/CFT setup for understanding $f(s)$. The lightcone limit of a four point function $\left< \psi \mathcal{O} \mathcal{O} \psi \right>$ can be interpreted in terms of a dual holographic setup where the dual particle excitation to $\mathcal{O}$ and $\psi$ stay far away from each other in AdS space by having a large relative angular momentum. We use this setup as inspiration for our computation, where we add into the mix two entangling surfaces which start null separated at the boundary and fall into the bulk. EWN is the statement that these surfaces should be spacelike separated as one moves into the bulk. The $\mathcal{O}$ particle in the high energy/lightcone limit probes these entangling surfaces near the boundary after we act with modular flow on this particle.
• Figure 3: (upper) The defect OPE argument is based on bringing the two $\mathcal{O}$ operators close to the defect and replacing these with a sum over defect operators. The dashed line between the operators represents the non-local string we need in order to study these operators in the orbifold theory. The dashed circle represents the radial quantization sphere in the defect theory on which we decompose the state in a basis of local operator insertions at the origin of this sphere. (lower) The OPE coefficients $\beta^i$ can be computed by making the same replacement, but now on a defect which allows us to do the computation. That is on a flat defect in vacuum. The other operator $\widehat{\mathcal{O}}_j$ is inserted elsewhere on the defect so we can extract the various $\beta^i$.
• Figure 4: An illustration of the procedure to analytically continue the two point function in $n$ and extract the limit as $n \rightarrow 1$. We schematically plot the $\lambda$ plane with the slices of the pie representing different replicas and with the dashed lines lying along the positive real $\lambda$ axis on each replica. We integrate $\lambda$ over the green curves and the fuzzy black lines represent branch cuts coming from lightcone singularities. The cross represents a simple pole and the double cross is a double pole. The two top figures are at fixed integer $n$. The continuation proceeds from the second top picture and the leading correction as $n \rightarrow 1$ comes from pulling down a factor of the modular Hamiltonian which is wedged between the straight line integration contour. This results in a commutator which gives rise to the double pole shown on the bottom right figure. The first term in \ref{['bothscalar']} comes from the integral around the simple pole in the bottom left figure.
• Figure 5: Plot of $\widehat{\Delta}$ vs $l$, for the defect operators that appear in the dOPE of the stress tensor for a holographic model. The red dots are the values at $n=1$ and these results are universal to any CFT. The blue lines show the change in the values of the scaling dimension for $n \in (1,2)$. The displacement operator (shown in pink), which has a protected scaling dimension of $\widehat{\Delta} = d-1 = 2$, appears only for $n \neq 1$.