REVIEW
Unifying energy-entropy bounds in semiclassical gravity
High Energy Physics - Theory · Submitted 28 Oct 2026 · 64 references
Pith's verdict: A clearly-built unification of QFC and SNEC with an honest parameter sweep; the explicit families are solid, but the 'most general' classification overreaches where shear and the other null expansion are excluded by assertion.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper defines gravitational energy-entropy conditions (GEECs): bounds stronger than both the quantum focusing conjecture and the smeared null energy condition that reduce to the classical NEC; it builds two explicit families and…
The reading
What carries the argument
The load-bearing object is the seed inequality (3.1), $8\pi G_N\langle T_{vv}\rangle_\psi \geq X' + X^2 + Y$ with $Y \geq 0$, together with the ansatz (3.6) that $X$ is a function of the quantum expansion $\Theta$ and the classical expansion $\theta$ and their derivatives. Completing the square turns the seed bound into the SNEC whenever the boundary term $g^2 X$ vanishes at infinity. Requiring the bound to be stronger than the QFC eliminates any dependence of $X$ on derivatives of the expansions and on $\theta$ itself, leaving $X = (\alpha+1)\Theta - \theta$ with $\alpha > -1$; affine-rescaling covariance then fixes the linear form, and the classical limit restricts $\alpha \in [0, 1/(D-2)]$ and fixes $Y_{\mathrm{cl}} = \alpha(\sigma^2 + (\frac{1}{D-2} - \alpha)\theta^2)$. The quantum expansion $\Theta = \theta + 4G_N\hbar\, S'/A$, the functional derivative of the generalised entropy, is what injects entropy into the energy bound, and that is how a GEEC unifies a stress-tensor bound with an entropy bound.
Extended reading notes
Core claim
The central discovery is a constructive route from a weak seed bound to explicit parameterised GEECs. Starting from the observation that any pointwise bound of the form $8\pi G_N\langle T_{vv}\rangle_\psi \geq X' + X^2 + Y$ with $Y \geq 0$ implies the SNEC by completing the square, the authors impose that the bound also imply the QFC and transform covariantly under affine rescalings of the null parameter. These requirements force $X$ to be the linear combination $X = (\alpha+1)\Theta - \theta$ of the quantum and classical null expansions, which the paper argues is the most general expansion-dependent form satisfying the QFC criterion. Requiring the classical limit to be the NEC fixes the classical part of $Y$ and restricts $\alpha \in [0, 1/(D-2)]$, giving the $\alpha$-GEEC family (3.12); adding a quantum part to $Y$ gives the extended family (3.21) with free parameters $\beta$ and $\gamma$ subject to (3.20). The key test: in $D=4$, the CFT vacuum state on a ball violates every $\alpha$-GEEC at leading order in $G_N\hbar$, because of the trace-anomaly log term in the ball entropy, while the inequalities (3.32)–(3.33) identify extended-family members that survive the same test in all even dimensions.
Load-bearing premise
The construction rests on the ansatz (3.6) that $X$ in the seed bound is a function only of the quantum and classical null expansions and their derivatives, and on the stated assumption that the classical limits of the theories obey the NEC; if a valid GEEC could use the shear or the second null expansion in $X$, the claimed uniqueness of (3.8) and the $\alpha,\beta,\gamma$ parametrisation would not exhaust the space of GEECs.
Editorial extensions
If this is right
- If any GEEC is true it implies both the QFC and the SNEC, unifying their two hierarchies — the generalised second law, the QNEC, the ANEC, quantum singularity theorems, and entanglement-wedge nesting — under a single inequality.
- Every $\alpha$-GEEC implies a quantum analogue of the classical focusing theorem: an initially negative $\Theta$ diverges to $-\infty$ in finite affine parameter, a quantum caustic, and the $\alpha = 1/(D-2)$ member also implies the strong-QFC and the field excursion bound.
- Because the $D=4$ CFT vacuum ball rules out the whole $\alpha$-GEEC family, any correct GEEC in four dimensions must come from the extended family, with $\alpha + \beta$ obeying the strict inequality (3.32).
- Integrating a GEEC along a null line gives a stronger form of the ANEC, $8\pi G_N\int dv\,\langle T_{vv}\rangle_\psi \geq \int dv\,(X^2 + Y)$, which the paper suggests could translate into gravitational corrections to bounds on which CFTs can couple to semiclassical gravity.
- The paper shows that the SNEC is equivalent to the equation $8\pi G_N\langle T_{vv}\rangle_\psi = Z' + Z^2$ admitting a globally regular solution, and speculates that identifying $Z$ with $\Theta - \theta$ connects SNEC saturation to the proven QNEC saturation formula with a gravitational correction.
Reading between the lines
- Editorial extension: the failure of the $\alpha$-GEECs in $D=4$ is driven entirely by the trace-anomaly coefficient $a$ in the ball entropy, so any surviving GEEC must couple to anomaly data in a specific way; the free parameters of the extended family may ultimately be pinned down by anomaly structure rather than by additional states.
- Editorial extension: the parameter space is constrained but not closed, because nothing rules out a GEEC whose $X$ includes the shear; the next decisive step is either a proof that shear dependence always spoils the QFC criterion or an explicit shear-dependent GEEC, and either outcome sharpens or breaks claim (3.8).
- Editorial extension: if a GEEC holds, the practical payoff is that singularity theorems and traversable-wormhole constraints currently resting on the SNEC would inherit the GEEC's entanglement content, changing what an energy condition means: a constraint on the stress tensor and the von Neumann entropy together, not the stress tensor alone.
- Editorial extension: the higher-dimensional verdicts (3.32)–(3.33) assume $a_D \geq 0$, which the authors note is proven only in $D=4$ and for holographic CFTs; a negative $a_D$ in some non-holographic theory would flip the $D \equiv 0 \pmod 4$ conclusion, so the surviving parameter region is provisional.
Original abstract
We revisit bounds on energy and entropy in semiclassical gravity, aiming to strengthen and unify established bounds, in particular the quantum focussing conjecture (QFC) and the smeared null energy condition (SNEC). Both the QFC and SNEC have important applications and are the strongest in their respective hierarchies; however, neither implies the other, nor reduces to the null energy condition (NEC) in the classical limit. To that end, we define a new class of bounds dubbed gravitational energy-entropy conditions (GEECs) that imply both the QFC and SNEC, and reduce to the NEC classically. We construct an explicit family of GEECs by imposing the defining criteria on a broad set of stress tensor bounds, and constrain its remaining parameter space through test cases, in an effective field theory-inspired approach. Our GEECs are powerful candidate bounds on energy and entropy in semiclassical gravity.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We revisit bounds on energy and entropy in semiclassical gravity, aiming to strengthen and unify established bounds, in particular the quantum focussing conjecture (QFC) and the smeared null energy condition (SNEC). Both the QFC and SNEC have important applications and are the strongest in their respective hierarchies; however, neither implies the other, nor reduces to the null energy condition (NEC) in the classical limit. To that end, we define a new class of bounds dubbed gravitational energy-entropy conditions (GEECs) that imply both the QFC and SNEC, and reduce to the NEC classically. We construct an explicit family of GEECs by imposing the defining criteria on a broad set of stress tensor bounds, and constrain its remaining parameter space through test cases, in an effective field theory-inspired approach. Our GEECs are powerful candidate bounds on energy and entropy in semiclassical gravity.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We revisit bounds on energy and entropy in semiclassical gravity, aiming to strengthen and unify established bounds, in particular the quantum focussing conjecture (QFC) and the smeared null energy condition (SNEC). | background 0.59 | 0.46 | 0.05 | asserted 0.60 |
| s1 | Both the QFC and SNEC have important applications and are the strongest in their respective hierarchies; however, neither implies the other, nor reduces to the null energy condition (NEC) in the classical limit. | gap 0.62 | 0.17 | 0.05 | asserted 1.00 |
| s2 | To that end, we define a new class of bounds dubbed gravitational energy-entropy conditions (GEECs) that imply both the QFC and SNEC, and reduce to the NEC classically. | contribution 1.00 | 0.94 | 0.70 | asserted 1.00 |
| s3 | We construct an explicit family of GEECs by imposing the defining criteria on a broad set of stress tensor bounds, and constrain its remaining parameter space through test cases, in an effective field theory-inspired approach. | method 0.90 | 0.95 | 0.08 | asserted 0.99 |
| s4 | Our GEECs are powerful candidate bounds on energy and entropy in semiclassical gravity. | interpretation 0.95 | 0.55 | 0.53 | hedged possibility 0.69 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2610.38713 by the authors.
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.