REVIEW 4 major objections 4 minor 1 cited by
Quantum Penrose Inequality
T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper conjectures that the total mass of an asymptotically flat spacetime is bounded below by the square root of the generalized entropy on the lightsheet of any quantum marginally trapped surface, replacing the area in the classical…
desk verdict A genuinely new and important conjecture, but with an overconfident abstract and a defenseless crucial corner in the Fig. 3c no-go. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the quantum expansion $$ \Theta[\$\sigma$;y] = \frac{4G\hbar}{\sqrt{h(y)}}\,\frac{\delta S_{\mathrm{gen}}[V]}{\delta V(y)}, $$ the functional derivative of generalized entropy along a null congruence, with $S_{\mathrm{gen}}$ acting as a quantum-corrected area. A surface is quantum marginally trapped when $\Theta_+ = 0$ and $\Theta_- \le 0$. The paper evaluates $S_{\mathrm{gen}}$ on the future-outgoing lightsheet $L$ of such a surface, a null hypersurface with nowhere positive expansion, relying on the Quantum Focussing Conjecture to keep $\Theta_+ \le 0$ along $L$. The lightsheet restriction is what lets the bound ignore distant soft particles: it only sees matter that enters the black hole within roughly a scrambling time.
What would settle it
Compute both sides of the conjectured inequality in a self-consistent semiclassical model of an evaporating Schwarzschild black hole, evaluating $S_{\mathrm{gen}}$ on the future-outgoing lightsheet of the quantum extremal surface; a violation would be $4\pi G m^2/\hbar < S_{\mathrm{gen}}[L]$. The paper identifies the dangerous case as negative-energy matter entering the black hole more than one scrambling time after $\mu_Q$, missing the lightsheet, so showing such a state can be prepared with sub-Planckian energies would falsify the conjecture.
Extended reading notes
Core claim
In an asymptotically flat spacetime, for any quantum marginally trapped surface $\mu_Q$ whose future-outgoing null surface is a quantum lightsheet $L$, the paper conjectures $$ m \ge \sqrt{\frac{\hbar\,S_{\mathrm{gen}}[L(\mu_Q)]}{4\pi G}}, $$ where $S_{\mathrm{gen}} = A/4G\hbar + S_{\mathrm{out}} + \cdots$ is the generalized entropy on $L$. The paper shows that the classical Penrose inequality fails: in the Boulware vacuum outside a Schwarzschild black hole, negative energy near the horizon reduces the ADM mass to $(1-\alpha)M$ with $\alpha = l_P^2/d_c^2$, an $O(1)$ correction rather than an $O(\hbar)$ one. It then argues that the quantum inequality survives this counterexample because the generalized entropy on the lightsheet is lowered by enough, and that in the evaporating-black-hole setting the inequality is nearly saturated, with a logarithmic gap $\log(R/l_P)$. The proposal is explicitly presented as a conjecture, not a theorem.
Load-bearing premise
The whole proposal assumes that a quantum marginally trapped surface exists for the state in question and that its future-outgoing null surface remains a lightsheet, which the paper verifies in spherically symmetric examples but does not prove in general.
Editorial extensions
If this is right
- The classical Penrose inequality fails in semiclassical gravity: a Boulware-type vacuum with a cutoff at proper distance $d_c$ reduces the mass by an $O(1)$ fraction $\alpha = l_P^2/d_c^2$, so the area bound cannot be fundamental.
- The Quantum Penrose Inequality evades the counterexample because the generalized entropy on the lightsheet is lower than the classical area by enough, enforced by the generalized second law.
- For an evaporating black hole the quantum inequality is nearly saturated: $4\pi G m^2/\hbar - S_{\mathrm{gen}}[L(\mu_Q)] \sim \log(R/l_P)$, so the bound is tight up to a logarithmic gap.
- If matter with positive entropy enters the black hole within a scrambling time, the quantum bound is stronger than the classical one, because the lightsheet entropy already reflects the horizon's impending growth.
- The inequality connects quantum information to total energy with Newton's constant appearing explicitly, unlike earlier information-energy bounds that do not involve $G$.
Reading between the lines
- Beyond the paper, the near-saturation estimate suggests that a logarithmic gap $\log(R/l_P)$ may be a universal feature of evaporating black holes; testing it in a fully backreacted model would distinguish the Quantum Penrose Inequality from weaker area-based bounds.
- Beyond the paper, if the conjecture holds, the quantum marginally trapped surface acts as a holographic screen for the energy bound, and one testable consequence is that no semiclassical state can place net negative energy outside a black hole later than roughly one scrambling time before it falls in.
- Beyond the paper, the inequality could serve as a necessary condition for cosmic censorship in the presence of quantum matter, constraining attempts to build semiclassical counterexamples with Boulware-type negative energy.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper argues that the classical Penrose inequality fails in the presence of quantum matter and proposes a quantum-corrected replacement. Section II constructs a Boulware-like state outside a Schwarzschild black hole and computes a negative mass shift at infinity, Eq. (3), which the text claims violates the classical inequality. Section III introduces quantum trapped surfaces via the quantum expansion and generalized entropy, then conjectures the Quantum Penrose Inequality (QPI), Eq. (8): m ≥ sqrt(ℏ S_gen[L(µ_Q)]/(4πG)), where the generalized entropy is evaluated on the future-outgoing quantum lightsheet L of a quantum marginally trapped surface. The paper presents three tests: near-saturation for an evaporating black hole, perturbative matter crossing L, and a so-called dangerous case of late-time negative energy that misses L, which is dismissed by a blueshift argument. The text explicitly defers technical details to a companion article [10].
Significance. If the QPI is correct, it is a novel quantitative link between generalized entropy in a strongly gravitating region and the total energy at infinity, and it would extend the Penrose inequality to semiclassical regimes. The paper is clearly written and commendably explicit about its conjectural status. The strongest parts are the identification of the lightsheet as the right entropy carrier for an energy bound, the near-saturation estimate for evaporating black holes, and the honest framing of the late-time-blow-up scenario as the main threat to the conjecture. However, the present version contains an internal inconsistency in the claimed magnitude of the classical Penrose violation, and the argument against the most dangerous counterexample is quantitatively unsupported as printed. These are load-bearing issues because they affect the central claims of the abstract and of Eq. (8).
major comments (4)
- [II and Abstract] The abstract and Sec. II state that the Boulware-state construction reduces the mass at infinity by an O(1) relative fraction, but the displayed computation gives Δm ∼ −αM with α = l_P^2/d_c^2 (Eq. (3)), and the text explicitly requires d_c ≫ l_P. Under that condition α ≪ 1, so the relative violation is parametrically small, not O(1). The phrase 'not O(ℏ)' can be read as a statement that Eq. (3) survives at fixed ratio l_P/d_c in a formal ℏ→0 limit, but the abstract's 'relative fraction … O(1)' is not supported unless d_c is taken of order l_P, which contradicts the stated semiclassical-control requirement. The magnitude claim in the abstract and Sec. II should be corrected or explicitly qualified.
- [III.C, Fig. 3c] The no-go argument against late-time Boulware-like states that miss L is the only defense of Eq. (8) against a semiclassical counterexample, and as printed it is quantitatively inconsistent. With Δt_s ∼ R log(R/l_P), one has log(Δt_s/R) = log log(R/l_P), not O(R/l_P). If the intended blueshift factor is instead exponential in κΔt_s, giving a factor of order R/l_P, that factor must be stated and derived; otherwise the conclusion that the state has transplanckian energy densities does not follow from the displayed expression. This is a load-bearing gap because a state with net negative energy entering after a scrambling time would lower m without reducing S_gen[L(µ_Q)], directly threatening Eq. (8).
- [II, after Eq. (3)] The explicit violation of the classical Penrose inequality rests on the assertion that the Boulware and Hartle-Hawking regions can be glued at the cutoff sphere without large backreaction or compensating positive contributions to the ADM mass, with the justification deferred to the companion article [10]. Since the paper states that it will 'demonstrate explicitly' the violation, this semiclassical-control assumption should either be substantiated in the main text or be clearly flagged as a conjecture whose failure mode is not discussed. As written, the violation computation depends on an unstated assumption.
- [III.B] The construction of the quantum marginally trapped surface µ_Q is not generic. The text argues that Θ+ crosses zero between a null cone and the singularity, and that Θ− ≤ 0 on the same cut 'in many cases,' but no existence theorem is stated. If Eq. (8) is intended as a universal statement for asymptotically flat spacetimes, the conjecture should either specify the class of backgrounds and states in which µ_Q is guaranteed to exist, or be explicitly restricted to the class where such a surface exists. The current formulation leaves open whether the proposed inequality has any content in generic settings.
minor comments (4)
- [Abstract and Sec. I] The claim that the QPI is 'the first relation between quantum information in quantum gravity, and the total energy' is a strong priority statement; it should either be substantiated with a precise definition of the comparison class or softened to avoid an unverifiable historical claim.
- [II, Eq. (3)] The passage from the local stress-tensor behavior T_tt ∼ −ℏR−4(1−R/r)−1 to the integrand (1−R/r)−2 in Eq. (3) is not explained; a brief sentence on the origin of the extra factor would remove an unnecessary ambiguity.
- [Reference [6]] Reference [6] contains a spurious backslash-quote in the author name; it should read 'R. Penrose.'
- [Fig. 1 and Sec. II] The figure caption labels the negative energy region as 'outside of the cutoff sphere d_c at t=0,' but the text also refers to a proper-distance cutoff and a gluing region; adding the precise meaning of d_c (proper distance versus coordinate radius) in the caption would improve readability.
Circularity Check
No significant circularity: Eq. (8) is an explicit conjecture, not a derived consequence of its own definitions, and the supporting evidence is conditional on independent conjectures rather than tautological.
full rationale
The paper labels the Quantum Penrose Inequality a conjecture before stating it: 'We conjecture a Quantum Penrose Inequality...' (Abstract; Sec. III B). It therefore does not claim to derive Eq. (8) from first principles. The classical violation calculation (Eq. (3)) is an independent input: it uses the Boulware stress tensor to show the classical Penrose inequality fails, and this is not used to define the QPI. The formulation of the QPI does invoke the Quantum Focussing Conjecture [16] to guarantee that L is a quantum lightsheet; this is an explicit assumption, and the same author group being involved does not make the inequality equivalent to the assumption. The test in Sec. III C uses the GSL and entropy estimates, again as independent (though conjectural) inputs, and the argument is explicitly approximate ('~', '≈'), not a derivation of Eq. (8) from itself. The 'dangerous case' (Fig. 3c) is treated as an open check; the blueshift defense is under-developed and the displayed scaling log(Δts/R)∼R/lP is at best garbled, but an unverified defense is an evidentiary gap, not circularity. Technical items are deferred to the authors' companion [10] (e.g., the minimality condition and gluing corrections), which is missing support rather than a circular reduction. In no place does the paper identify the RHS of Eq. (8) with the ADM mass or fit S_gen so that Eq. (8) holds by construction. Score 0.
Assumptions & free parameters
free parameters (1)
- cutoff distance d_c =
chosen with l_P ≪ d_c ≪ R
assumptions (5)
- domain assumption Quantum Focussing Conjecture (QFC) is valid; quantum expansion Θ remains nonpositive along the future-outgoing null surface of µ_Q.
- domain assumption Generalized Second Law (GSL) holds for event horizons.
- domain assumption Quantum trapped surfaces lie inside or on the event horizon (Wall's quantum singularity theorem).
- domain assumption The Boulware state stress tensor near a Schwarzschild horizon has the form T_tt ~ -ℏ R^{-4}(1-R/r)^{-1}.
- ad hoc to paper Semiclassical gluing of Boulware and Hartle-Hawking regions at a cutoff sphere does not introduce large backreaction or compensating positive mass.
invented entities (1)
-
Quantum lightsheet
Cite this review
Pith. "Pith review of Quantum Penrose Inequality." pith.science (2026). https://pith.science/paper/UUSZHZXS
@misc{pith2026190802755,
author = {Pith},
title = {Pith review of: Quantum Penrose Inequality},
year = {2026},
howpublished = {\url{https://pith.science/paper/UUSZHZXS}},
note = {Machine review of arXiv:1908.02755}
}
read the original abstract
The classical Penrose inequality specifies a lower bound on the total mass in terms of the area of certain trapped surfaces. This fails at the semiclassical level. We conjecture a Quantum Penrose Inequality: the mass at spatial infinity is lower-bounded by a function of the generalized entropy of the lightsheet of appropriate quantum trapped surfaces. This is the first relation between quantum information in quantum gravity, and the total energy.
Figures
Figures from the paper (1 more)
Forward citations
Cited by 1 Pith paper
-
Quantum Information Bound on the Energy
A Quantum Penrose Inequality is conjectured, replacing trapped-surface area with lightsheet generalized entropy, and is tested against a semiclassical counterexample.
Reference graph
Works this paper leans on
-
[10]
Quantum Penrose Inequality: Evidence and Implications
R. Bousso, A. Shahbazi-Moghaddam, and M. Tomaˇ sevi´ c, “Quantum Penrose Inequality: Evidence and Implications.” (to appear)
-
[1]
Gravitational radiation from colliding black holes,
S. W. Hawking, “Gravitational radiation from colliding black holes,” Phys. Rev. Lett. 26 (1971) 1344–1346
1971
-
[2]
R. M. Wald, General Relativity. The University of Chicago Press, Chicago, 1984
1984
-
[3]
Gravitational collapse and space-time singularities,
R. Penrose, “Gravitational collapse and space-time singularities,” Phys. Rev. Lett. 14 (1965) 57–59
1965
-
[4]
New Area Law in General Relativity,
R. Bousso and N. Engelhardt, “New Area Law in General Relativity,” Phys. Rev. Lett. 115 no. 8, (2015) 081301, arXiv:1504.07627 [hep-th]
arXiv 2015
-
[5]
Proof of a New Area Law in General Relativity,
R. Bousso and N. Engelhardt, “Proof of a New Area Law in General Relativity,” Phys. Rev. D92 no. 4, (2015) 044031, arXiv:1504.07660 [gr-qc]
arXiv 2015
-
[6]
Naked singularities,
R. ”Penrose, “Naked singularities,” Annals N. Y. Acad. Sci. 224 (1973) 125–134
1973
-
[7]
Present status of the Penrose inequality,
M. Mars, “Present status of the Penrose inequality,” Class. Quant. Grav. 26 (2009) 193001, arXiv:0906.5566 [gr-qc]
arXiv 2009
Show all 41 references
-
[8]
Proof of the positive mass theorem. II,
R. Schoen and S. T. Yau, “Proof of the positive mass theorem. II,” Comm. Math. Phys. 79 no. 2, (1981) 231–260. https://projecteuclid.org: 443/euclid.cmp/1103908964
1981
-
[9]
A Holographic Argument for the Penrose Inequality in AdS,
N. Engelhardt and G. T. Horowitz, “A Holographic Argument for the Penrose Inequality in AdS,” arXiv e-prints (Mar, 2019) arXiv:1903.00555, arXiv:1903.00555 [hep-th]
2019 arXiv
-
[11]
The Dynamics of General Relativity,
R. Arnowitt, S. Deser, and C. W. Misner, “The Dynamics of General Relativity,” in Gravitation: an Introduction to Current Research, L. Witten, ed., pp. 227–265. Wiley, New York, 1962
1962
-
[12]
Recent proofs of the Riemannian Penrose conjecture,
H. Bray and R. Schoen, “Recent proofs of the Riemannian Penrose conjecture,” in Current developments in mathematics , B.Mazur et al., eds. International Press, Somerville, 2000
2000
-
[13]
Black holes and the second law,
J. D. Bekenstein, “Black holes and the second law,” Nuovo Cim. Lett. 4 (1972) 737–740
1972
-
[14]
Black Holes and Entropy,
J. D. Bekenstein, “Black Holes and Entropy,” Phys. Rev. D 7 (1973) 2333
1973
-
[15]
Generalized second law of thermodynamics in black hole physics,
J. D. Bekenstein, “Generalized second law of thermodynamics in black hole physics,” Phys. Rev. D 9 (1974) 3292
1974
-
[16]
Quantum Focusing Conjecture,
R. Bousso, Z. Fisher, S. Leichenauer, and A. C. Wall, “Quantum Focusing Conjecture,” Phys. Rev. D93 no. 6, (2016) 064044, arXiv:1506.02669 [hep-th]
2016 arXiv
-
[17]
The Generalized Second Law implies a Quantum Singularity Theorem,
A. C. Wall, “The Generalized Second Law implies a Quantum Singularity Theorem,” Class.Quant.Grav. 30 (2013) 165003, arXiv:1010.5513 [gr-qc]
2013 arXiv
-
[18]
Generalized Second Law for Cosmology,
R. Bousso and N. Engelhardt, “Generalized Second Law for Cosmology,” Phys. Rev. D93 no. 2, (2016) 024025, arXiv:1510.02099 [hep-th]
2016 arXiv
-
[19]
Proof of the Quantum Null Energy Condition,
R. Bousso, Z. Fisher, J. Koeller, S. Leichenauer, and A. C. Wall, “Proof of the Quantum Null Energy Condition,” Phys. Rev. D93 no. 2, (2016) 024017, arXiv:1509.02542 [hep-th]
2016 arXiv
-
[20]
Holographic Proof of the Quantum Null Energy Condition,
J. Koeller and S. Leichenauer, “Holographic Proof of the Quantum Null Energy Condition,” arXiv:1512.06109 [hep-th]
-
[21]
A General Proof of the Quantum Null Energy Condition,
S. Balakrishnan, T. Faulkner, Z. U. Khandker, and H. Wang, “A General Proof of the Quantum Null Energy Condition,” arXiv:1706.09432 [hep-th]
-
[22]
Recovering the QNEC from the ANEC,
F. Ceyhan and T. Faulkner, “Recovering the QNEC from the ANEC,” arXiv:1812.04683 [hep-th]
-
[23]
Holographic derivation of entanglement entropy from AdS/CFT,
S. Ryu and T. Takayanagi, “Holographic derivation of entanglement entropy from AdS/CFT,” Phys.Rev.Lett. 96 (2006) 181602, arXiv:hep-th/0603001 [hep-th]
2006 arXiv
-
[24]
Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime,
N. Engelhardt and A. C. Wall, “Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime,” arXiv:1408.3203 [hep-th]
-
[25]
Decoding the Apparent Horizon: Coarse-Grained Holographic Entropy,
N. Engelhardt and A. C. Wall, “Decoding the Apparent Horizon: Coarse-Grained Holographic Entropy,” Phys. Rev. Lett. 121 no. 21, (2018) 211301, arXiv:1706.02038 [hep-th]
2018 arXiv
-
[26]
Ignorance is Cheap: From Black Hole Entropy To Energy-Minimizing States In QFT,
R. Bousso, V. Chandrasekaran, and A. Shahbazi-Moghaddam, “Ignorance is Cheap: From Black Hole Entropy To Energy-Minimizing States In QFT,” arXiv:1906.05299 [hep-th]
1906 arXiv
-
[27]
A Universal Upper Bound on the Entropy to Energy Ratio for Bounded Systems,
J. D. Bekenstein, “A Universal Upper Bound on the Entropy to Energy Ratio for Bounded Systems,” Phys. Rev. D 23 (1981) 287
1981
-
[28]
Light-sheets and Bekenstein’s bound,
R. Bousso, “Light-sheets and Bekenstein’s bound,” Phys. Rev. Lett. 90 (2003) 121302, hep-th/0210295
2003 arXiv
-
[29]
Relative entropy and the Bekenstein bound,
H. Casini, “Relative entropy and the Bekenstein bound,” Class.Quant.Grav. 25 (2008) 205021, arXiv:0804.2182 [hep-th]
2008 arXiv
-
[30]
Dimensional reduction in quantum gravity,
G. ’t Hooft, “Dimensional reduction in quantum gravity,” gr-qc/9310026
-
[31]
The World as a hologram,
L. Susskind, “The World as a hologram,” J. Math. Phys. 36 (1995) 6377–6396, hep-th/9409089
1995 arXiv
-
[32]
Holography and cosmology,
W. Fischler and L. Susskind, “Holography and cosmology,” hep-th/9806039
-
[33]
A covariant entropy conjecture,
R. Bousso, “A covariant entropy conjecture,” JHEP 07 (1999) 004, hep-th/9905177
1999 arXiv
-
[34]
Holography in general space-times,
R. Bousso, “Holography in general space-times,” JHEP 06 (1999) 028, hep-th/9906022
1999 arXiv
-
[35]
Quantum field theory in Schwarzschild and Rindler spaces,
D. G. Boulware, “Quantum field theory in Schwarzschild and Rindler spaces,” Phys. Rev. D 11 (Mar, 1975) 1404–1423. https: //link.aps.org/doi/10.1103/PhysRevD.11.1404
1975 doi
-
[36]
Vacuum polarization in Schwarzschild spacetime,
P. Candelas, “Vacuum polarization in Schwarzschild spacetime,” Phys. Rev. D 21 (Apr, 1980) 2185–2202. https: //link.aps.org/doi/10.1103/PhysRevD.21.2185
1980 doi
-
[37]
On the Entropy of the Vacuum outside a Horizon,
R. D. Sorkin, “On the Entropy of the Vacuum outside a Horizon,” in Proceedings, 10th International Conference on General Relativity and Gravitation: Padua, Italy, July 4-9, 1983 , vol. 2, pp. 734–736. 1984. arXiv:1402.3589 [gr-qc]
1983 arXiv
-
[38]
Entropy and area,
M. Srednicki, “Entropy and area,” Phys. Rev. Lett. 71 (1993) 666–669, hep-th/9303048
1993 arXiv
-
[39]
Black hole entropy in canonical quantum gravity and superstring theory,
L. Susskind and J. Uglum, “Black hole entropy in canonical quantum gravity and superstring theory,” Phys. Rev. D 50 (1994) 2700–2711, hep-th/9401070
1994 arXiv
-
[40]
Wavefunction of a Black Hole and the Dynamical Origin of Entropy,
A. O. Barvinsky, V. P. Frolov, and A. I. Zelnikov, “Wavefunction of a Black Hole and the Dynamical Origin of Entropy,” Phys. Rev. D51 (1995) 1741–1763, arXiv:gr-qc/9404036 [gr-qc]
1995 arXiv
-
[41]
The holographic principle,
R. Bousso, “The holographic principle,” Rev. Mod. Phys. 74 (2002) 825, hep-th/0203101
2002 arXiv
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.