Quantum focusing conjecture beyond its two-dimensional Russo-Susskind-Thorlacius realization: exact semiclassical solutions with islands and the circumstances of two-dimensional failure

The quantum focusing conjecture (QFC) asserts that the quantum expansion, the change of Bekenstein's generalized entropy per unit transverse area along a null congruence, is non-increasing. It underlies the quantum null energy condition, the quantum Bousso bound, entanglement wedge nesting, and the island resolution of the black hole information paradox, yet for evaporating black holes it has been verified only in a single exactly solved setting: the two-dimensional Russo-Susskind-Thorlacius (RST) model with island formation and exact semiclassical backreaction, using the quantum-corrected area-like entropy $\Omega=e^{-2\phi}+c\phi/24$; the existing four-dimensional test employed the Vaidya approximation with only partially included quantum effects. The open problem is to determine the conjecture's domain of validity: whether the full QFC holds for exact solutions of the semiclassical Einstein equations describing evaporating black holes with backreaction and islands (in particular in four-dimensional Einstein gravity), and, in two dimensions, under what circumstances the QFC or its two-dimensional quantum null energy condition corollary can fail as the model, the definition of the area-like quantity, the matter content, or the vacuum state is varied. Recent work has proved the weaker restricted QFC in Jackiw-Teitelboim (JT) gravity and constructed explicit violations of the original QFC there in the regime where matter quantum effects compete with the dilaton, sharpening but not settling the question; the four-dimensional and RST-robustness cores remain untouched.

Background

Classical focusing and its quantum generalization. In classical general relativity the null focusing theorem follows from the Raychaudhuri equation together with the null energy condition (NEC, the requirement that $T_{kk}\ge 0$ along any null direction): the expansion $\theta=(1/\mathcal{A})\,d\mathcal{A}/d\lambda$ of a null geodesic congruence is non-increasing along its affine parameter $\lambda$. This theorem underwrites the Penrose singularity theorems and the black hole area theorem. Quantum fields violate the NEC, and the quantity that replaces the area is Bekenstein's generalized entropy $S_{\text{gen}}=\mathcal{A}/4G_N+S_{\text{out}}$, the surface term plus the von Neumann entropy of the exterior quantum fields. The generalized second law (GSL) asserts that $S_{\text{gen}}$ never decreases. Bousso, Fisher, Leichenauer and Wall proposed the quantum focusing conjecture (QFC): the quantum expansion $\Theta=(4G_N/\mathcal{A})\,dS_{\text{gen}}/d\lambda$ is non-increasing, $d\Theta/d\lambda\le 0$. The QFC reduces to the classical focusing theorem as $\hbar\to 0$, implies the GSL, and implies on expansion-free ($\theta=0$) null surfaces the quantum null energy condition (QNEC), $2\pi\langle T_{kk}\rangle\ge S_{\text{out}}''$, a bound since proven directly in quantum field theory for fixed-background fields; the corresponding inequality derived as a corollary in a backreacted semiclassical model is a distinct statement. It also underlies the quantum Bousso bound, the covariant upper limit on the entropy that can flow through a null hypersurface, and entanglement wedge nesting, the containment of the entanglement wedge (the bulk region reconstructible from the state of a boundary subregion) inside that of any larger subregion. The QFC itself remains a conjecture: it is violated by classical higher-curvature corrections in spacetime dimension $d\ge 5$, and its QNEC corollary is violated in a holographic wormhole through infrared effects. A weaker restricted QFC (monotonicity only where $\Theta=0$) has been proven in holographic braneworlds and adopted as an axiom in axiomatic formulations of semiclassical gravity.

Evaporation, the Page curve, and islands. Hawking evaporation presents the QFC with its sharpest test. The entanglement entropy of the radiation initially rises, then, for unitary evaporation, turns over at the Page time (the moment at which the radiation entropy equals the black hole entropy) and decreases. In the island paradigm the generalized entropy of the radiation includes contributions from regions inside the black hole (islands) whose boundaries are quantum extremal surfaces (surfaces extremizing $S_{\text{gen}}$ rather than the area); this reproduces unitary Page curves. After the Page time both the horizon area and the radiation entropy decrease, so neither the classical focusing theorem nor any naive monotonicity argument protects the QFC; its status in the evaporation epoch is genuinely nontrivial.

Exactly solvable two-dimensional models. Two-dimensional dilaton gravity provides black holes whose semiclassical (one-loop) equations of motion are exactly solvable. The Callan-Giddings-Harvey-Strominger (CGHS) model couples two-dimensional gravity to a dilaton and conformal matter; the Russo-Susskind-Thorlacius (RST) extension adds a local counterterm that preserves a residual conformal symmetry that the quantum anomaly of the matter fields (with central charge $c$, counting the number of effectively massless matter fields) would otherwise break, and this makes the quantum-corrected area-like entropy $\Omega=e^{-2\phi}+c\phi/24$ the natural two-dimensional analogue of the horizon area, so that $S_{\text{gen}}=2\Omega+S_{\text{out}}$. Since a codimension-two surface degenerates to a point in two dimensions, the quantum expansion must itself be redefined; Ishibashi, Matsuo and Tanaka define $\Theta=(1/2\Omega)\,dS_{\text{gen}}/d\lambda$ (rejecting the unnormalized $dS_{\text{gen}}/d\lambda$, which misbehaves already in the classical limit) and prove the QFC for evaporating RST black holes with islands in near- and away-from-horizon regimes, tracking how the island position responds to the anchor (the endpoint, on the asymptotic boundary, of the interval of radiation modes whose entropy is computed). Their analysis shows that the island saddle exists only in a window of the anchor position and merges with a false saddle (a local maximum of $S_{\text{gen}}$) at a critical location. On expansion-free null surfaces their QFC implies the two-dimensional QNEC $e^{-4\rho}T_{++}\ge d^2S_{\text{out}}/d\lambda^2$, with $\rho$ the conformal factor of the two-dimensional metric $ds^2=-e^{2\rho}dx^+dx^-$. They stress that the exact two-dimensional verification was motivated by the four-dimensional problem: the predecessor analysis of Matsuo verified the QFC for a four-dimensional spherically symmetric evaporating black hole, but on a background approximated by the Vaidya metric (an exact solution sourced by null dust, standing in for the evaporating geometry), with only partially included quantum effects, leaving open whether the QFC holds for exact solutions of the semiclassical Einstein equations.

The JT-gravity turn. Jackiw-Teitelboim (JT) gravity, two-dimensional dilaton gravity with a linear dilaton potential, admits the parallel definition $\Theta=(4G/\Phi)\,dS_{\text{gen}}/d\lambda$ with dilaton $\Phi$ and $S_{\text{gen}}=\Phi/4G+S_{\text{ren}}$. Almheiri, Mahajan and Maldacena used the two-dimensional QNEC to argue for the QFC in this model; with the standard dilaton normalization their argument establishes only the restricted QFC, as re-analyzed by Franken, Kaya, Rondeau, Shahbazi-Moghaddam and Tran, who proved the restricted QFC in JT gravity coupled to a quantum field theory and constructed explicit violations of the original QFC when the species scale $\ell_S=cG$ (the matter backreaction scale, held fixed as $G\to0$ and $c\to\infty$) is comparable to or exceeds the dilaton, near an extremal AdS$_2$ (two-dimensional anti-de Sitter) black hole in equilibrium with a bath (an auxiliary non-gravitating region that absorbs the Hawking flux) and near an evaporating horizon of two-dimensional de Sitter space. The QFC is guaranteed in the opposite regime where the dilaton parametrically dominates and JT admits a higher-dimensional interpretation. This recent line makes the definition- and regime-dependence of the full QFC in two dimensions a sharp, actively studied question, while leaving the RST-robustness and four-dimensional questions open.

Problem Statement

The problem is to determine the domain of validity of the quantum focusing conjecture (QFC) for semiclassical evaporating black holes with islands, beyond the single exactly solved two-dimensional realization in the Russo-Susskind-Thorlacius (RST) model. Concretely: (1) Exact-semiclassical extension. Does the QFC, meaning the monotonicity $d\Theta/d\lambda\le 0$ of the quantum expansion $\Theta=(4G_N/\mathcal{A})\,dS_{\text{gen}}/d\lambda$ of the generalized entropy including the island contribution to the matter entropy, hold for exact solutions of the semiclassical Einstein equations describing evaporating black holes with full backreaction and islands? In four-dimensional Einstein gravity no exact dynamical semiclassical evaporating solution is known, and the only four-dimensional test used the Vaidya approximation with partially included quantum effects; whether the QFC holds for a genuinely higher-dimensional semiclassical spacetime with islands is unsettled. (2) Two-dimensional failure circumstances. Under what circumstances can the QFC, or its corollary the two-dimensional QNEC (the bound $e^{-4\rho}T_{++}\ge d^2S_{\text{out}}/d\lambda^2$ on expansion-free null surfaces in the RST normalization, with $T_{++}$ the matter stress tensor of the backreacted semiclassical model), fail in two dimensions? Explicit violations of the original QFC have been constructed in JT gravity when the species scale $cG$ competes with the dilaton, while the QFC is proven in regimes where the dilaton dominates; the open question is to clarify under what circumstances the full QFC and its QNEC corollary can fail in two dimensions as the model, the definition of the quantum expansion, the matter content, or the vacuum state is varied. (3) Robustness of the RST conclusions. Do the RST conclusions survive a different choice of the area-like quantity normalizing $\Theta$ (the quantum-corrected $\Omega=e^{-2\phi}+c\phi/24$ versus a bare dilaton), non-conformal matter content, or different vacuum and boundary conditions (different choices of the functions $t_\pm$ that encode the boundary conditions in the matter stress tensor of the RST equations)? Items (2) and (3) are coupled: the JT counterexamples demonstrate that the normalization of the quantum expansion by the area-like quantity is precisely what controls whether monotonicity holds once quantum effects are comparable to that quantity. Each of (1), (2) and (3) is an independently refutable sub-question: a conclusive answer to any one resolves that item and leaves the others open, and the standing of all three must be settled for the task to be complete. The variations enumerated within (2) and (3) are alternative settings to be tested one by one, so an answer to either item must address each variation it invokes.

References

1. A. Ishibashi, Y. Matsuo, A. Tanaka, 'Quantum focusing conjecture in two-dimensional evaporating black holes,' JHEP 09 (2024) 126, doi:10.1007/JHEP09(2024)126, arXiv:2403.19136, https://doi.org/10.1007/JHEP09(2024)126
2. R. Bousso, Z. Fisher, S. Leichenauer, A. C. Wall, 'Quantum focusing conjecture,' Phys. Rev. D 93 (2016) 064044, doi:10.1103/PhysRevD.93.064044, arXiv:1506.02669, https://doi.org/10.1103/PhysRevD.93.064044
3. Y. Matsuo, 'Quantum focusing conjecture and the Page curve,' JHEP 12 (2023) 050, doi:10.1007/JHEP12(2023)050, arXiv:2308.05009, https://doi.org/10.1007/JHEP12(2023)050
4. Z. Fu, J. Koeller, D. Marolf, 'Violating the quantum focusing conjecture and quantum covariant entropy bound in d>=5 dimensions,' Class. Quant. Grav. 34 (2017) 175006, doi:10.1088/1361-6382/aa80ba, arXiv:1705.03161, https://doi.org/10.1088/1361-6382/aa80ba
5. A. Ishibashi, K. Maeda, E. Mefford, 'Violation of the quantum null-energy condition in a holographic wormhole and infrared effects,' Phys. Rev. D 99 (2019) 026004, doi:10.1103/PhysRevD.99.026004, arXiv:1808.05192, https://doi.org/10.1103/PhysRevD.99.026004
6. A. Almheiri, R. Mahajan, J. Maldacena, 'Islands outside the horizon,' arXiv:1910.11077, https://arxiv.org/abs/1910.11077
7. J. G. Russo, L. Susskind, L. Thorlacius, 'End point of Hawking radiation,' Phys. Rev. D 46 (1992) 3444-3449, doi:10.1103/PhysRevD.46.3444, arXiv:hep-th/9206070, https://doi.org/10.1103/PhysRevD.46.3444
8. C. G. Callan, Jr., S. B. Giddings, J. A. Harvey, A. Strominger, 'Evanescent black holes,' Phys. Rev. D 45 (1992) R1005-R1009, doi:10.1103/PhysRevD.45.R1005, arXiv:hep-th/9111056, https://doi.org/10.1103/PhysRevD.45.R1005
9. A. Shahbazi-Moghaddam, 'Restricted quantum focusing,' Phys. Rev. D 109 (2024) 066023, doi:10.1103/PhysRevD.109.066023, arXiv:2212.03881, https://doi.org/10.1103/PhysRevD.109.066023
10. R. Bousso, E. Tabor, 'Discrete max-focusing,' JHEP 06 (2025) 240, doi:10.1007/JHEP06(2025)240, arXiv:2410.18192, https://doi.org/10.1007/JHEP06(2025)240
11. V. Franken, F. Rondeau, 'On the quantum Bousso bound in JT gravity,' JHEP 03 (2024) 178, doi:10.1007/JHEP03(2024)178, arXiv:2311.17152, https://doi.org/10.1007/JHEP03(2024)178
12. V. Franken, S. Kaya, F. Rondeau, A. Shahbazi-Moghaddam, P. Tran, 'Tests of restricted quantum focusing and a new CFT bound,' JHEP 05 (2026) 111, doi:10.1007/JHEP05(2026)111, arXiv:2510.13961, https://doi.org/10.1007/JHEP05(2026)111
13. V. Franken, 'Information-theoretic constraints in quantum gravity and cosmology,' PhD dissertation, arXiv:2510.15787, https://arxiv.org/abs/2510.15787
14. S. Hollands, R. Longo, 'A new proof of the QNEC,' Commun. Math. Phys. 406 (2025) 269, doi:10.1007/s00220-025-05450-y, arXiv:2503.04651, https://doi.org/10.1007/s00220-025-05450-y
15. T. Kibe, P. Roy, 'Quantum null energy condition in quenched 2d CFTs,' Phys. Rev. D 111 (2025) 126009, doi:10.1103/PhysRevD.111.126009, arXiv:2503.17448, https://doi.org/10.1103/PhysRevD.111.126009
16. J. Kirklin, 'Generalised second law beyond the semiclassical regime,' JHEP 07 (2025) 192, doi:10.1007/JHEP07(2025)192, arXiv:2412.01903, https://doi.org/10.1007/JHEP07(2025)192
17. T. Kanai, K. Maeda, T. Noumi, D. Yoshida, 'Cutoff scale of quadratic gravity from quantum focusing conjecture,' Phys. Rev. D 110 (2024) 084037, doi:10.1103/PhysRevD.110.084037, arXiv:2405.01296, https://doi.org/10.1103/PhysRevD.110.084037
18. I. Ben-Dayan, 'The quantum focusing conjecture and the improved energy condition,' arXiv:2310.14396, https://arxiv.org/abs/2310.14396
19. M.-H. Yu, X.-H. Ge, 'Geometric constraints via Page curves: insights from island rule and quantum focusing conjecture,' Chin. Phys. C 49 (2025) 045107, doi:10.1088/1674-1137/ada34e, arXiv:2405.03220, https://doi.org/10.1088/1674-1137/ada34e
20. M.-H. Yu, X.-H. Ge, 'Islands in Kerr-Newman black holes,' Eur. Phys. J. C 86 (2026) 276, doi:10.1140/epjc/s10052-026-15432-6, arXiv:2510.24006, https://doi.org/10.1140/epjc/s10052-026-15432-6
21. M.-H. Yu, S.-Y. Lin, X.-H. Ge, 'Replica wormholes, modular entropy, and capacity of entanglement in JT gravity,' Sci. China Phys. Mech. Astron. 69 (2026) 220412, doi:10.1007/s11433-025-2811-4, arXiv:2501.11474, https://doi.org/10.1007/s11433-025-2811-4
22. Y. Matsuo, 'Universal structure of islands in evaporating black holes,' arXiv:2407.20921, https://arxiv.org/abs/2407.20921
23. A. Ishibashi, Y. Matsuo, A. Tanaka, 'Self-gravitating strings and quantum effects in two-dimensional gravity,' arXiv:2506.09586, https://arxiv.org/abs/2506.09586
24. Y. Matsuo, 'Interior of Schwarzschild in semiclassical gravity,' arXiv:2603.25683, https://arxiv.org/abs/2603.25683