Improved Quantum Null Energy Condition

• INEC is a refined quantum energy condition that strengthens QNEC by integrating geometric null expansion and entanglement effects in QFT and semiclassical gravity.
• It connects the null–null stress-energy component to the second derivatives of von Neumann entropy, resulting in stricter local energy bounds.
• INEC underpins advances in holography, singularity theorems, and entropic analyses, offering new insights into quantum and gravitational interactions.

The Improved Quantum Null Energy Condition (INEC) is a quantum-corrected energy inequality in quantum field theory (QFT) and semiclassical gravity, refining the standard Quantum Null Energy Condition (QNEC) by incorporating geometric effects of null expansion and quantum entanglement. INEC provides a strictly stronger constraint on the local null–null component of the stress-energy tensor, $T_{kk}$, by relating it to second derivatives of the outside von Neumann entropy and the local expansion $\theta$ of null generators. This enhancement arises from a limiting case of the Quantum Focusing Conjecture (QFC) and is valid at loci where the quantum expansion vanishes (quantum extremal surfaces). INEC has rigorous proofs in specific scenarios and generalizes essential singularity and chronology-protection results to quantum, non-classical setups.

1. Fundamental Definitions and Mathematical Structure

The null–null energy component is $T_{kk}=\langle T_{\mu\nu}k^\mu k^\nu\rangle$ where $k^\mu$ is an affinely-parametrized, future-directed null generator of a null hypersurface $N$. The expansion scalar $\theta$ quantifies the log-rate of change of the local cross-sectional area $\mathcal{A}$ spanned by a bundle of $k^\mu$: $$\theta(\lambda) = (1/\mathcal{A})\,d\mathcal{A}/d\lambda$$ The “outside” entanglement entropy $S_{\text{out}}(\lambda)$ is the von Neumann entropy of the quantum state on one side of a co-dimension–2 slice $\sigma$ of $N$; derivatives $S'_{\text{out}},S''_{\text{out}}$ are taken along the affine parameter $\lambda$.

INEC at points where the quantum expansion $\Theta$ vanishes (quantum extremal cuts) asserts (Ben-Dayan, 2023, Ben-Dayan et al., 26 Jan 2026): $$T_{kk} \geq \frac{\hbar}{2\pi\mathcal{A}}\left[S''_{\text{out}} - \frac{1}{2}\theta S'_{\text{out}}\right]$$ In $d$-dimensions, the refined form is

$$\langle T_{kk}(x) \rangle \geq \frac{1}{2\pi}\Big\{ S''(x) - \frac{d-3}{d-2}\,\theta(x) S'(x) \Big\}$$

where all quantities are evaluated at the quantum extremal locus $\Theta=0$.

2. Origin: The Quantum Focusing Conjecture and Its Restricted Form

QFC posits that the “quantum expansion” $\Theta$ of generalized entropy $S_{\text{gen}}=A/(4G\hbar)+S_{\text{out}}$ decreases under null deformations: $d\Theta/d\lambda \leq 0$ The restricted QFC (rQFC) – proven in braneworlds and holographic large-$c$ – requires this only at points with $\Theta = 0$. When classical expansion, shear, and twist vanish, rQFC reduces to the QNEC; at quantum extremal cuts, it yields the strengthened INEC (Ben-Dayan, 2023, Ben-Dayan et al., 26 Jan 2026).

Key quantities are:

Term	Definition	Physical Meaning
$T_{kk}$	$\langle T_{\mu\nu}k^\mu k^\nu\rangle$	Null energy flux along $k^\mu$
$\theta$	$(1/\mathcal{A}) d\mathcal{A}/d\lambda$	Expansion of null geodesic bundle
$S'_{\text{out}}$	$dS_{\text{out}}/d\lambda$	Entropy change under null deformation
$S''_{\text{out}}$	$d^2S_{\text{out}}/d\lambda^2$	Entropic “curvature” under null deformation
$\Theta$	$\theta + (4G\hbar/\mathcal{A})S'_{\text{out}}$	Quantum expansion for $S_{\text{gen}}$

3. Proofs and Field-Theoretic Techniques

A modular Hamiltonian and relative entropy framework forms the backbone of recent INEC proofs (Ben-Dayan et al., 26 Jan 2026). For a null cone region bounded by $\lambda \leq \gamma(\Omega)$, the vacuum-subtracted modular Hamiltonian $K$ is: $$\Delta\langle K\rangle = 2\pi \int d\Omega \int_0^{\gamma(\Omega)} d\lambda\, \lambda^{d-1} \frac{\gamma(\Omega)-\lambda}{\gamma(\Omega)} \langle T_{\lambda\lambda} \rangle$$ By functional differentiation and employing relative entropy convexity and monotonicity, the INEC is proven provided that a “smeared energy” bound is satisfied: $$2\pi \int_0^{\gamma} d\lambda\, (\lambda^{d}/\gamma^2)\langle T_{\lambda\lambda} \rangle \geq -\frac{1}{d-1}\left\{\gamma\, \delta^2 S_{\text{rel}}/\delta\gamma^2 - (d-3)\delta S_{\text{rel}}/\delta\gamma \right\}$$ This relation ensures that negative null energy flux is compensated by rapid growth in entropic cost, manifested as relative entropy, and holds for classes of states relevant to semiclassical gravity.

4. Comparison with NEC and QNEC

INEC is strictly stronger than QNEC and reduces to the classical Null Energy Condition (NEC) in the $\hbar\to0$ limit. Its denominators are strictly positive at quantum extremal loci, tightening the bound relative to QNEC. For $\theta=0$, INEC recovers QNEC: $$T_{kk} \geq \frac{\hbar}{2\pi \mathcal{A}} S''_{\text{out}}$$ For $\Theta=0$, the improved denominator $$\left[S''_{\text{out}}-\frac{1}{2}\theta S'_{\text{out}}\right]$$ accounts for geometric focusing balanced against quantum entropy flow.

In braneworld models, rQFC and thus INEC are proven (Ben-Dayan, 2023). In holographic setups, INEC provides pointwise constraints on $T_{kk}$ at quantum extremal surfaces, restricting energy distributions that enter entanglement wedge reconstruction (Khandker et al., 2018).

5. Integrated Versions and Quantum Null Energy Inequalities

Beyond local bounds, integrated forms (QNEIs) derived from INEC provide state-independent constraints on smeared null energy (Fliss et al., 30 Oct 2025). In $d=2$: $$\int dv\, m_{[g,\zeta]}(v)\, \langle T_{vv}(v) \rangle \geq -\frac{c}{12\pi} \int dv\, \frac{g'(v)}{v-\zeta(v)}$$ where $g(v)$ is a smearing function and $\zeta(v)$ parameterizes auxiliary intervals. In higher dimensions, smearing in all null and transverse directions accommodates interacting QFTs with nontrivial modular Hamiltonians. These universal bounds are foundational for extending semiclassical singularity theorems and constraining negative energy distributions.

6. Implications, Applications, and Open Problems

INEC sharpens the constraints on permissible local and integrated negative energy in QFT, particularly relevant for semiclassical gravity, holographic duality, and studies of spacetime singularities. At quantum extremal surfaces, it dictates the possible profiles of quantum stress tensor relevant to holographic entanglement and both braneworld and CFT bulk geometries (Ben-Dayan, 2023, Khandker et al., 2018).

Physical interpretations hinge on the interplay between geometric background focusing ($\theta$) and quantum entanglement ($S'_{\text{out}}$), which together encode the balance captured by INEC. Large negative null energy, allowable in quantum theory, must be offset by rapid entropic variation; INEC quantifies the price in relative entropy required and supports chronology protection in quantum gravity settings (Ben-Dayan et al., 26 Jan 2026).

A full non-perturbative proof of INEC for all semiclassical states remains open; only restricted scenarios are established. Higher derivative gravity and finite curvature corrections may further modify INEC denominators, and explicit models exploring saturation and violation, especially in interacting CFTs, are ongoing directions. Optimization over the auxiliary interval choices ($\zeta(v)$) and extensions to curved backgrounds, including dynamical gravity (SNEC), are active areas of research (Fliss et al., 30 Oct 2025). Saturation by specific quantum states and localization in transverse directions remain unresolved in higher-dimensional, interacting QFTs.

7. INEC in Bulk Holography and CFTs

In AdS/CFT, the boundary entropic inequalities (QNEC, INEC) propagate into bulk energy conditions via strong subadditivity and modular Hamiltonian structure. For $d>2$, the boundary QNEC is saturated, and bulk INEC can be formulated as a non-negative weighted average of the bulk stress tensor: $$\int dz\, d^{d-2}y\, z^{-(d-1)}\, g(z,y;y_1)\, g(z,y;y_2)\, T^{\text{bulk}}_{--}(z, y) \geq 0$$ In $d=2$, the weight kernel is explicit and gives a strictly stronger constraint than bulk ANEC, interpolating between local and global null energy bounds (Khandker et al., 2018).

These conditions provide new constraints for subregion holography, causality, and traversable wormhole constructions, forming essential inputs for semiclassical gravity extensions and the study of quantum spacetime. They further generalize the relationship between boundary quantum information-theoretic inequalities and bulk geometric positivity in gauge/gravity duality.

---

Key References:

I. Ben-Dayan, “The Quantum Focusing Conjecture and the Improved Energy Condition” (Ben-Dayan, 2023). “Towards a Proof of the Improved Quantum Null Energy Condition” (Ben-Dayan et al., 26 Jan 2026). Khandker–Kundu–Li, “Bulk Matter and the Boundary Quantum Null Energy Condition” (Khandker et al., 2018). Fliss & Rolph, “Curious QNEIs from QNEC: New Bounds on Null Energy in Quantum Field Theory” (Fliss et al., 30 Oct 2025).