Scope of the Quantum Null Energy Condition

The quantum null energy condition (QNEC) has strong proofs in flat-space relativistic QFT under explicit algebraic or ultraviolet hypotheses, with complementary free-field and holographic derivations. A blanket curved-spacetime QNEC is not established: the entropy variation and stress tensor can be renormalization-scheme dependent unless the dimension, null congruence, background curvature, and stationarity conditions are restricted.

Evidence cutoff. 11 August 2026. Reassess by 11 February 2027 or after a proof materially enlarges the curved-background or theory class.

Required background. The QNEC defines the flat-space inequality and entropy variation; QNEC on curved backgrounds develops the geometric and renormalization qualifications.

Helpful background. The averaged null energy condition supplies the modular route to QNEC; averaged null energy and geometric hypotheses fixes operator-domain and state assumptions; relative entropy and bulk modular data explains what holographic checks do and do not independently prove.

The inequality and its local data

For a null vector $k^a$ at an entangling cut, a common flat-space density form is

$$\langle T_{kk}\rangle \geq \frac{\hbar}{2\pi\sqrt{h}}\,S''_k,$$

where $T_{kk}=T_{ab}k^ak^b$, $h$ is the transverse area density, and $S''_k$ is the second shape variation of the renormalized entropy along the null generator. Precise normalization and diagonal-versus-off-diagonal variations depend on the formulation.

The bounded question is not whether one slogan called “QNEC” is true everywhere. It is where an inequality of this form is proved or scheme independent for a declared QFT, state class, spacetime dimension, background, and entangling cut. Dynamical gravity and the quantum focusing conjecture are outside the core flat-space claim.

Evidence matrix

Source and method	Relation to the bounded claim	Independence	Scope of result	Main limitation
Bousso et al., 2016, null quantization and entropy inequalities	proves an early QNEC domain	direct QFT proof, logically independent of holography	free and superrenormalizable bosonic theories at points on stationary null surfaces, including null planes in Minkowski space	does not cover arbitrary interacting relativistic QFT or generic curved cuts
Koeller and Leichenauer, 2016, holographic entanglement	supports QNEC in a strong-coupling class	distinct gravitational derivation, but conditional on the holographic dictionary and leading large-$N$ limit	CFTs and relevant deformations with semiclassical Einstein-gravity duals in flat space, under stated cut conditions	not independent evidence for finite-$N$, nonholographic QFT; bulk assumptions delimit the result
Balakrishnan et al., 2019, light-ray OPE and modular methods	supplies the broadest standard flat-space proof in this set	direct field-theory route combining structures also used in ANEC proofs	CFTs in Minkowski space; extension argued for relativistic QFTs with an interacting ultraviolet fixed point	hypotheses on the ultraviolet theory, states, and operator limits remain part of the theorem
Ceyhan and Faulkner, 2020, half-sided modular inclusions	independently sharpens the algebraic route from ANEC	operator-algebra formulation avoids replica continuation and perturbative gravity	algebras satisfying the stated modular-inclusion properties, with finite averaged null energy for the input state	translating the abstract hypotheses to every concrete interacting model is a separate task
Fu, Koeller, and Marolf, 2017 and corrigendum, 2018, counterterms and curved null congruences	qualifies and limits curved-space claims	analysis of scheme dependence rather than another flat-space proof	finite, scheme-independent QNEC in specified low-dimensional and locally stationary settings; stronger conditions in dimensions four and five	generic higher-dimensional curved backgrounds can admit counterterm ambiguities; the corrected conditions must be used

What is established in flat space

The convergence of free-field, holographic, light-ray, and modular-algebra arguments makes flat-space QNEC much stronger than a conjecture supported only by examples. The proofs are not all statistically independent observations, but their different logical machinery is valuable: a flaw tied to replica continuation, semiclassical gravity, or a specific Lagrangian would not automatically infect every route.

The correct scope label remains conditional. “Relativistic QFT” in a theorem refers to theories and states for which the stress tensor, null deformation, entropy difference or relative entropy, and limiting operation satisfy the proof’s hypotheses. Gauge-theory factorization and ultraviolet renormalization cannot be discarded merely because the final inequality is local.

Why curved space is a separate claim

In curved spacetime, local counterterms can shift both the renormalized stress tensor and the entropy shape variation. Cancellation depends on dimension and the geometry of the null congruence. For $d\leq3$, the corrected sufficient conditions at the point $p$ are $\theta\vert_p=\dot\theta\vert_p=0$, $\sigma_{ab}\vert_p=0$, and $R_{ab}k^ak^b\geq0$. Fu, Koeller, and Marolf show scheme independence under these local stationarity, shear, and null-convergence hypotheses; dimensions four and five require additional restrictions. In still higher dimensions, generic counterterm obstructions prevent the same blanket conclusion even near highly stationary horizons.

This is not a counterexample to the well-scoped flat-space QNEC. Nor should violations of a proposed quantum focusing condition in dynamical gravity be reported as violations of every QFT QNEC. The geometric data and renormalization prescription determine which proposition is being tested.

What would change the assessment

The curved-space domain would expand through a regulator-independent proof that classifies and cancels all allowed local counterterms for a broader dimension and cut class, or through a reformulation in relative-entropy or algebraic quantities that are manifestly scheme independent. A concrete state and background violating a fully specified theorem’s hypotheses and inequality would weaken the established domain; a violation outside that domain would instead refine the boundary.

For flat space, the highest-value work is not another holographic example but a transparent mapping from the general proof hypotheses to difficult concrete theories, together with control of gauge constraints and null-shape limits.

Source selection

The finite set includes the first direct proof, the holographic route, the general light-ray proof, the modular-algebra derivation, and the primary curved-space limitation including its corrigendum. Model-specific saturation calculations were excluded because they test consequences inside, rather than the boundary of, the proved domain.

Related research pages

• Replica, modular, and operator-algebra methods for the proof machinery.
• Generalized second law: hypotheses for a related gravitational statement with different assumptions.
• QFT in curved spacetime and semiclassical gravity for the broader renormalized-stress-tensor setting.

References

• Balakrishnan, Srivatsan, Thomas Faulkner, Zuhair U. Khandker, and Huajia Wang. “A General Proof of the Quantum Null Energy Condition.” Journal of High Energy Physics 09 (2019): 020. DOI.
• Bousso, Raphael, Zachary Fisher, Jason Koeller, Stefan Leichenauer, and Aron C. Wall. “Proof of the Quantum Null Energy Condition.” Physical Review D 93 (2016): 024017. DOI.
• Ceyhan, Fikret, and Thomas Faulkner. “Recovering the QNEC from the ANEC.” Communications in Mathematical Physics 377 (2020): 999–1045. DOI.
• Fu, Zicao, Jason Koeller, and Donald Marolf. “The Quantum Null Energy Condition in Curved Space.” Classical and Quantum Gravity 34 (2017): 225012; corrigendum 35 (2018): 049501. Article DOI; corrigendum DOI.
• Koeller, Jason, and Stefan Leichenauer. “Holographic Proof of the Quantum Null Energy Condition.” Physical Review D 94 (2016): 024026. DOI.