Recognition: 2 theorem links
· Lean TheoremA Semiclassical Diagnostic for Spacetime Emergence
Pith reviewed 2026-05-11 00:54 UTC · model grok-4.3
The pith
Evanescent quantum extremal surfaces diagnose when semiclassical spacetimes fail to emerge from holography
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The presence of evanescent quantum extremal surfaces, distinguished by an upper bound on their area rather than on their generalized entropy, serves as a general semiclassical diagnostic for failures of spacetime emergence from traditional holographic rules. The generalized entropy of such a surface can remain large because its bulk entanglement term is unconstrained by the operational requirements that bound the area term, a feature explained by the distinction between classical and quantum connectivity in semiclassical gravity.
What carries the argument
Evanescent quantum extremal surfaces, which carry the diagnostic by exhibiting a strict upper bound on the area term while leaving the bulk entanglement term free due to the separation of classical and quantum connectivity.
If this is right
- Traditional holographic rules fail to reproduce semiclassical spacetimes that contain evanescent quantum extremal surfaces.
- Observer rules can partially or fully restore emergence for spacetimes diagnosed by these surfaces.
- The area term of the generalized entropy is bounded while the bulk entanglement term is not, allowing large total entropy.
- The diagnostic quantifies the extent to which observer rules are required to achieve consistency with holography.
Where Pith is reading between the lines
- The diagnostic could be applied to concrete models such as black hole interiors to check for emergence failures.
- Similar connectivity distinctions might extend to other gravitational entropy measures beyond the generalized entropy.
- Tightening or loosening the area bound on evanescent surfaces could provide a quantitative measure of how severely emergence is obstructed.
Load-bearing premise
The operational distinction between classical and quantum connectivity in semiclassical gravity is well-defined and directly accounts for why the bulk entanglement term stays unconstrained on these surfaces.
What would settle it
An explicit semiclassical construction in which an evanescent quantum extremal surface has its bulk entanglement term forced small by the same connectivity rules that bound its area would falsify the diagnostic.
read the original abstract
Recent developments have shown that some semiclassical spacetimes cannot emerge from a traditional application of the rules of holography, prompting proposals for restoring their emergence with "observer rules". In this paper, we propose a general semiclassical diagnostic of such failures of emergence, and of the extent to which observer rules can fix them. Our diagnostic is the presence of certain "evanescent" quantum extremal surfaces, which are distinguished by an upper bound on their area rather than their generalized entropy. In particular, the generalized entropy of an evanescent QES may be large: even though its area term must be small, its bulk entanglement term is unconstrained. This feature is explained by an operational distinction between classical and quantum connectivity in semiclassical gravity, or equivalently between the two summands of the generalized entropy.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a semiclassical diagnostic for failures of spacetime emergence from standard holographic rules, identifying the presence of 'evanescent' quantum extremal surfaces (QES). These surfaces are distinguished by an upper bound on their area term (rather than on the full generalized entropy), allowing the bulk entanglement contribution to remain large and unconstrained. This feature is attributed to an operational distinction between classical and quantum connectivity in semiclassical gravity, which the abstract equates to separating the two summands of the generalized entropy.
Significance. If the proposed distinction and diagnostic can be derived rigorously, the work could provide a concrete criterion for when observer-dependent rules are required to restore emergence, extending discussions of generalized entropy and QES to cases where standard holographic reconstruction fails. Its value would lie in offering a falsifiable test based on area bounds rather than entropy minimization alone.
major comments (2)
- [Abstract] Abstract: The diagnostic defines evanescent QES via an upper bound on area (with bulk entanglement unconstrained) rather than generalized entropy, but provides no derivation showing how this bound follows from the QES extremization condition or the semiclassical Einstein equations while preserving the extremal property.
- [Abstract] Abstract: The justification invokes an operational distinction between classical and quantum connectivity (equated to separating the area and bulk terms of S_gen), yet no explicit construction or controlled limit of the holographic dictionary is given to demonstrate that quantum connectivity can decouple from the area term without reducing to a re-labeling of standard generalized entropy.
minor comments (1)
- The abstract would benefit from a brief statement of how the diagnostic applies to at least one concrete example of a non-emergent semiclassical spacetime from the recent literature referenced in the opening sentence.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. The major comments correctly identify that the proposal for evanescent QES is presented as a diagnostic motivated by semiclassical considerations rather than a fully derived result. We have revised the abstract and added clarifying discussion in the introduction and conclusions to address the points raised, while noting the limitations of the current semiclassical treatment.
read point-by-point responses
-
Referee: [Abstract] Abstract: The diagnostic defines evanescent QES via an upper bound on area (with bulk entanglement unconstrained) rather than generalized entropy, but provides no derivation showing how this bound follows from the QES extremization condition or the semiclassical Einstein equations while preserving the extremal property.
Authors: We agree that the manuscript does not contain a derivation of the area bound directly from the extremization condition or the semiclassical Einstein equations. The definition is instead motivated by the requirement that the surface extremizes the full generalized entropy while the area contribution remains small in regimes where bulk entanglement dominates the variation. This is illustrated through examples in the paper but remains a heuristic at the semiclassical level. In the revised manuscript we have expanded the discussion of this motivation and explicitly flagged the absence of a first-principles derivation as an important direction for future work. revision: partial
-
Referee: [Abstract] Abstract: The justification invokes an operational distinction between classical and quantum connectivity (equated to separating the area and bulk terms of S_gen), yet no explicit construction or controlled limit of the holographic dictionary is given to demonstrate that quantum connectivity can decouple from the area term without reducing to a re-labeling of standard generalized entropy.
Authors: The operational distinction is introduced in the paper as a way to interpret the separation of the two terms in S_gen within semiclassical gravity, where the area term tracks classical geometric connectivity and the bulk term tracks quantum correlations. We support this with references to existing holographic examples where standard reconstruction fails. We acknowledge, however, that the work does not supply a new explicit construction or controlled limit of the holographic dictionary. The diagnostic is offered as a practical semiclassical criterion rather than a theorem derived from the full dictionary. The revised manuscript includes an additional paragraph in the discussion section stating this limitation and its implications. revision: partial
- A rigorous derivation of the upper bound on the area term from the QES extremization condition together with the semiclassical Einstein equations
- An explicit construction or controlled limit within the holographic dictionary that demonstrates decoupling of quantum connectivity from the area term
Circularity Check
Diagnostic of evanescent QES defined via explicit separation of generalized entropy terms
specific steps
-
self definitional
[Abstract]
"This feature is explained by an operational distinction between classical and quantum connectivity in semiclassical gravity, or equivalently between the two summands of the generalized entropy."
The diagnostic is defined by bounding only the area term while allowing S_gen to be large. The text then presents the unconstrained bulk term as a 'feature' explained by a distinction that is explicitly equivalent to splitting S_gen = Area/4G + S_bulk. The claimed independence of the bulk term is therefore true by the definition of the diagnostic itself, not by an independent argument from the semiclassical dynamics or extremization condition.
full rationale
The paper's central diagnostic introduces evanescent QES as surfaces with an upper bound on area (rather than on S_gen) and claims their bulk entanglement term remains unconstrained. This feature is justified by invoking an operational distinction that the text itself equates to separating the two summands of S_gen. The step is therefore self-definitional: the distinguishing property follows immediately from the chosen definition rather than from a derivation using the semiclassical Einstein equations, QES extremization, or holographic dictionary. No other circular patterns (self-citation chains, fitted predictions, or imported uniqueness theorems) are evident in the provided text, keeping the overall score moderate.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Quantum extremal surfaces are defined by extremizing generalized entropy
- domain assumption Generalized entropy splits into area and bulk entanglement terms with distinct operational meanings
invented entities (1)
-
Evanescent quantum extremal surfaces
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclearOur diagnostic is the presence of certain 'evanescent' quantum extremal surfaces, which are distinguished by an upper bound on their area rather than their generalized entropy. In particular, the generalized entropy of an evanescent QES may be large: even though its area term must be small, its bulk entanglement term is unconstrained. This feature is explained by an operational distinction between classical and quantum connectivity in semiclassical gravity, or equivalently between the two summands of the generalized entropy.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearthe contracted legs of the tensor network, which model the area term, turn out to be of paramount importance for emergence
Reference graph
Works this paper leans on
-
[1]
Bulk Locality and Quantum Error Correction in AdS/CFT
A. Almheiri, X. Dong, and D. Harlow,Bulk Locality and Quantum Error Correction in AdS/CFT,JHEP04(2015) 163, [arXiv:1411.7041]
work page Pith review arXiv 2015
-
[2]
The Ryu-Takayanagi Formula from Quantum Error Correction
D. Harlow,The Ryu-Takayanagi Formula from Quantum Error Correction,Commun. Math. Phys.354(2017), no. 3 865–912, [arXiv:1607.03901]
work page Pith review arXiv 2017
-
[3]
F. Pastawski, B. Yoshida, D. Harlow, and J. Preskill,Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence,JHEP06 (2015) 149, [arXiv:1503.06237]
- [4]
- [5]
- [6]
-
[7]
N. Engelhardt and A. C. Wall,Decoding the Apparent Horizon: Coarse-Grained Holographic Entropy,Phys. Rev. Lett.121(2018), no. 21 211301, [arXiv:1706.02038]
-
[8]
N. Engelhardt and A. C. Wall,Coarse Graining Holographic Black Holes,JHEP05 (2019) 160, [arXiv:1806.01281]
-
[9]
N. Engelhardt, G. Penington, and A. Shahbazi-Moghaddam,A world without pythons would be so simple,Class. Quant. Grav.38(2021), no. 23 234001, [arXiv:2102.07774]
-
[10]
A. C. Wall,Maximin Surfaces, and the Strong Subadditivity of the Covariant Holographic Entanglement Entropy,Class.Quant.Grav.31(2014), no. 22 225007, [arXiv:1211.3494]
work page Pith review arXiv 2014
-
[11]
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,JHEP01(2015) 073, [arXiv:1408.3203]
work page Pith review arXiv 2015
- [12]
-
[13]
Quantum mechanics and observers for grav- ity in a closed universe
D. Harlow, M. Usatyuk, and Y. Zhao,Quantum mechanics and observers for gravity in a closed universe,arXiv:2501.02359
-
[14]
M. Usatyuk, Z.-Y. Wang, and Y. Zhao,Closed universes in two dimensional gravity, SciPost Phys.17(2024), no. 2 051, [arXiv:2402.00098]
-
[15]
M. Usatyuk and Y. Zhao,Closed universes, factorization, and ensemble averaging, JHEP02(2025) 052, [arXiv:2403.13047]
-
[16]
S. Antonini, M. Sasieta, and B. Swingle,Cosmology from random entanglement,JHEP 11(2023) 188, [arXiv:2307.14416]
-
[17]
Further Evidence Against a Semiclassical Baby Universe in AdS/CFT
N. Engelhardt and E. Gesteau,Further Evidence Against a Semiclassical Baby Universe in AdS/CFT,arXiv:2504.14586
-
[18]
Gesteau,A no-go theorem for largeNclosed universes,arXiv:2509.14338
E. Gesteau,A no-go theorem for largeNclosed universes,arXiv:2509.14338
-
[19]
J. McNamara and C. Vafa,Baby Universes, Holography, and the Swampland, arXiv:2004.06738
-
[20]
A. Almheiri, R. Mahajan, J. Maldacena, and Y. Zhao,The Page curve of Hawking radiation from semiclassical geometry,JHEP03(2020) 149, [arXiv:1908.10996]
-
[21]
Observer complementarity for black holes and holography
N. Engelhardt, E. Gesteau, and D. Harlow,Observer complementarity for black holes and holography,arXiv:2507.06046
-
[22]
Harlow, Observers,α-parameters, and the Hartle-Hawking state,2602.03835
D. Harlow,Observers, alpha-parameters, and the Hartle-Hawking state, arXiv:2602.03835. – 38 –
-
[23]
A. Sahu and M. Van Raamsdonk,Holographic black hole cosmologies,JHEP05(2025) 233, [arXiv:2411.14673]
-
[24]
Van Raamsdonk,Cosmology from confinement?,JHEP03(2022) 039, [2102.05057]
M. Van Raamsdonk,Cosmology from confinement?,JHEP03(2022) 039, [arXiv:2102.05057]
-
[26]
Liu,Towards a holographic description of closed universes,arXiv:2509.14327
H. Liu,Towards a holographic description of closed universes,arXiv:2509.14327
-
[27]
Emergent Mixed States for Baby Universes and Black Holes
J. Kudler-Flam and E. Witten,Emergent Mixed States for Baby Universes and Black Holes,arXiv:2510.06376
-
[28]
H. Liu,”Filtering” CFTs at large N: Euclidean Wormholes, Closed Universes, and Black Hole Interiors,arXiv:2512.13807
- [29]
-
[30]
Srednicki,Entropy and area,Phys
M. Srednicki,Entropy and area,Phys. Rev. Lett.71(1993) 666–669, [http://arXiv.org/abs/hep-th/9303048]
-
[31]
L. Susskind and J. Uglum,Black hole entropy in canonical quantum gravity and superstring theory,Phys. Rev. D50(1994) 2700–2711, [hep-th/9401070]
- [32]
-
[33]
J.-G. Demers, R. Lafrance, and R. C. Myers,Black hole entropy and renormalization, Fields Inst. Commun.15(2001) 227–232, [gr-qc/9507042]
work page internal anchor Pith review arXiv 2001
-
[34]
Jacobson,Black hole entropy and induced gravity,gr-qc/9404039
T. Jacobson,Black hole entropy and induced gravity,gr-qc/9404039
work page internal anchor Pith review arXiv
-
[35]
F. Larsen and F. Wilczek,Renormalization of black hole entropy and of the gravitational coupling constant,Nucl. Phys. B458(1996) 249–266, [hep-th/9506066]
- [36]
-
[37]
Winstanley,Renormalized black hole entropy via the ’brick wall’ method,Phys
E. Winstanley,Renormalized black hole entropy via the ’brick wall’ method,Phys. Rev. D63(2001) 084013, [hep-th/0011176]
- [38]
-
[39]
Gesteau,Large N von Neumann Algebras and the Renormalization of Newton’s Constant, Commun
E. Gesteau,Large N von Neumann Algebras and the Renormalization of Newton’s Constant,Commun. Math. Phys.406(2025), no. 2 40, [arXiv:2302.01938]
- [40]
-
[41]
Van RaamsdonkBuilding up spacetime with quantum entanglement,Gen
M. Van Raamsdonk,Building up spacetime with quantum entanglement,Gen. Rel. Grav.42(9, 2010) 2323–2329, [arXiv:1005.3035]. [Int. J. Mod. Phys.D19,2429(2010)]
-
[42]
Van Raamsdonk,Evaporating Firewalls,JHEP11(2014) 038, [arXiv:1307.1796]
M. Van Raamsdonk,Evaporating Firewalls,JHEP11(2014) 038, [arXiv:1307.1796]
-
[43]
Cool horizons for entangled black holes
J. Maldacena and L. Susskind,Cool horizons for entangled black holes, arXiv:1306.0533
-
[44]
N. Engelhardt and H. Liu,Algebraic ER=EPR and Complexity Transfer, arXiv:2311.04281
-
[45]
N. Engelhardt, G. Penington, and A. Shahbazi-Moghaddam,Twice Upon a Time: Timelike-Separated Quantum Extremal Surfaces,JHEP01(2024) 033, [arXiv:2308.16226]
- [46]
-
[47]
N. Engelhardt, G. Penington, and A. Shahbazi-Moghaddam,Finding pythons in unexpected places,Class. Quant. Grav.39(2022), no. 9 094002, [arXiv:2105.09316]
-
[48]
K. Jensen and J. Sonner,Wormholes and entanglement in holography,Int. J. Mod. Phys. D23(2014), no. 12 1442003, [arXiv:1405.4817]
-
[49]
Susskind,Copenhagen vs Everett, Teleportation, and ER=EPR,Fortsch
L. Susskind,Copenhagen vs Everett, Teleportation, and ER=EPR,Fortsch. Phys.64 (2016), no. 6-7 551–564, [arXiv:1604.02589]
-
[50]
L. Susskind and Y. Zhao,Teleportation through the wormhole,Phys. Rev. D98(2018), no. 4 046016, [arXiv:1707.04354]
-
[51]
Susskind,Dear Qubitzers, GR =QM,arXiv:1708.03040
L. Susskind,Dear Qubitzers, GR =QM,arXiv:1708.03040
-
[52]
The Gravity Dual of a Density Matrix
B. Czech, J. L. Karczmarek, F. Nogueira, and M. Van Raamsdonk,The Gravity Dual of a Density Matrix,Class.Quant.Grav.29(2012) 155009, [arXiv:1204.1330]
work page Pith review arXiv 2012
-
[53]
X. Dong, D. Harlow, and A. C. Wall,Reconstruction of Bulk Operators within the Entanglement Wedge in Gauge-Gravity Duality,Phys. Rev. Lett.117(2016), no. 2 021601, [arXiv:1601.05416]
work page Pith review arXiv 2016
-
[54]
N. Engelhardt and ˚A. Folkestad,Canonical purification of evaporating black holes, Phys. Rev. D105(2022), no. 8 086010, [arXiv:2201.08395]
-
[55]
Penington, JHEP09, 002 (2020), arXiv:1905.08255 [hep-th]
G. Penington,Entanglement Wedge Reconstruction and the Information Paradox, arXiv:1905.08255
-
[56]
A. Almheiri, N. Engelhardt, D. Marolf, and H. Maxfield,The entropy of bulk quantum fields and the entanglement wedge of an evaporating black hole,JHEP12(2019) 063, [arXiv:1905.08762]
-
[57]
S. Dutta and T. Faulkner,A canonical purification for the entanglement wedge cross-section,arXiv:1905.00577. – 40 –
-
[58]
C. Akers and G. Penington,Quantum minimal surfaces from quantum error correction, SciPost Phys.12(2022), no. 5 157, [arXiv:2109.14618]
- [59]
- [60]
-
[61]
Engelhardt and E
N. Engelhardt and E. Gesteau,to appear,
-
[62]
A. Hamilton, D. N. Kabat, G. Lifschytz, and D. A. Lowe,Local bulk operators in AdS/CFT: A Boundary view of horizons and locality,Phys.Rev.D73(2006) 086003, [hep-th/0506118]
-
[63]
Holographic representation of local bulk operators
A. Hamilton, D. N. Kabat, G. Lifschytz, and D. A. Lowe,Holographic representation of local bulk operators,Phys.Rev.D74(2006) 066009, [hep-th/0606141]
work page Pith review arXiv 2006
-
[64]
Local bulk operators in AdS/CFT: A Holographic description of the black hole interior,
A. Hamilton, D. N. Kabat, G. Lifschytz, and D. A. Lowe,Local bulk operators in AdS/CFT: A Holographic description of the black hole interior,Phys. Rev.D75(2007) 106001, [hep-th/0612053]. [Erratum: Phys. Rev.D75,129902(2007)]
-
[65]
T. Faulkner and M. Li,Asymptotically isometric codes for holography, arXiv:2211.12439
-
[66]
Berman and H
J. Berman and H. Liu,to appear,
-
[67]
S. W. Hawking,Breakdown of predictability in gravitational collapse,Phys. Rev. D14 (1976) 2460–2473
1976
-
[68]
Witten,Gravity and the crossed product,JHEP10(2022) 008 [2112.12828]
E. Witten,Gravity and the crossed product,JHEP10(2022) 008, [arXiv:2112.12828]
-
[69]
The Baby Universe is Fine and the CFT Knows It: On Holography for Closed Universes
S. Antonini, P. Rath, M. Sasieta, B. Swingle, and A. Vilar L´ opez,The Baby Universe is Fine and the CFT Knows It: On Holography for Closed Universes,arXiv:2507.10649
-
[70]
Y. Zhao,”It from Bit”: The Hartle-Hawking state and quantum mechanics for de Sitter observers,arXiv:2602.05939
- [71]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.