A Quantum Focussing Conjecture

TL;DR

The paper introduces the Quantum Focussing Conjecture (QFC), a universal inequality that extends classical focussing to quantum matter by using a generalized entropy S_gen = S_out + A/(4Għ). The QFC defines a quantum expansion Θ and asserts it cannot increase along null congruences, enabling a quantum Bousso bound and a Quantum Null Energy Condition (QNEC) that ties stress-energy to the second derivative of S_out. It also connects these ideas to broader frameworks such as the generalized second law, holographic entanglement entropy, quantum extremal surfaces, and holographic screens, providing both off-diagonal and diagonal proofs (in the weak-gravity limit) and outlining implications for quantum trapped surfaces and barrier concepts. Overall, the work establishes a semiclassical, regulator-insensitive bridge between information-theoretic quantities and geometric bounds in quantum spacetimes, with potential impact on holography and quantum gravity theorems.

Abstract

We propose a universal inequality that unifies the Bousso bound with the classical focussing theorem. Given a surface $σ$ that need not lie on a horizon, we define a finite generalized entropy $S_\text{gen}$ as the area of $σ$ in Planck units, plus the von Neumann entropy of its exterior. Given a null congruence $N$ orthogonal to $σ$, the rate of change of $S_\text{gen}$ per unit area defines a quantum expansion. We conjecture that the quantum expansion cannot increase along $N$. This extends the notion of universal focussing to cases where quantum matter may violate the null energy condition. Integrating the conjecture yields a precise version of the Strominger-Thompson Quantum Bousso Bound. Applied to locally parallel light-rays, the conjecture implies a Quantum Null Energy Condition: a lower bound on the stress tensor in terms of the second derivative of the von Neumann entropy. We sketch a proof of this novel relation in quantum field theory.

Figures (3)

• Figure 1: (a) A spatial surface $\sigma$ of area $A$ splits a Cauchy surface $\Sigma$ into two parts. The generalized entropy is defined by $S_\text{gen} = S_\text{out}+ A/4G\hbar$, where $S_\text{out}$ is the von Neumann entropy of the quantum state on one side of $\sigma$. To define the quantum expansion $\Theta$ at $\sigma$, we erect an orthogonal null hypersurface $N$, and we consider the response of $S_\text{gen}$ to deformations of $\sigma$ along $N$. (b) More precisely, $N$ can be divided into pencils of width $\mathcal{A}$ around its null generators; the surface $\sigma$ is deformed an affine parameter length $\epsilon$ along one of the generators, shown in green.
• Figure 2: (a) For an unentangled isolated matter system localized to $N$, the quantum Bousso bound reduces to the original bound. (b) With the opposite choice of "exterior," one can also recover the original entropy bound, by adding a distant auxiliary system that purifies the state.
• Figure 3: (a) A portion of the null surface $N$, which we have chosen to coincide with $\Sigma_{\rm out}$ in the vicinity of the diagram. The horizontal line at the bottom is the surface $V(y)$, and the red and green lines represent deformations at the transverse locations $y_1$ and $y_2$. The region above both deformations is the region outside of $V_{\epsilon_1,\epsilon_2}(y)$ and is shaded blue and labeled $B$. The region between $V(y)$ and $V_{\epsilon_1}(y)$ is labeled $A$ and shaded red. The region between $V(y)$ and $V_{\epsilon_2}(y)$is labeled $C$ and shaded green. Strong subadditivity applied to these three regions proves the off-diagonal QFC. (b) A similar construction for the diagonal part of the QFC. In this case, the sign of the second derivative with respect to the affine parameter is not related to strong subadditivity.