REVIEW 2 major objections 4 minor 7 cited by
Further Evidence Against a Semiclassical Baby Universe in AdS/CFT
T0 review · 2 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The paper argues that a semiclassical baby universe cannot be the AdS/CFT dual of the AR state: a causal-wedge swap operator forces its Hilbert space to be one-dimensional.
desk verdict A clean swap-operator argument against semiclassical baby universes in the AR setting, but the whole conclusion hinges on an assumed identity of HKLL reconstruction that the authors flag but do not prove. 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 load-bearing object is the bulk swap operator $S$, defined on two copies of the connected AdS region $ab$ (and its copy $a'b'$), supported entirely in the causal wedge of the doubled boundary system. For density matrices it obeys $\langle S\rangle = \operatorname{tr}[\rho\sigma]$, so its expectation value measures the purity of the $ab$ state and therefore the entanglement between $ab$ and the baby universe. Because $S$ lives in the causal wedge, the paper can use the standard HKLL-then-extrapolate map (assumed asymptotically isometric) to promote it to a boundary operator $S_\partial$, and isometries preserve expectation values. This mechanism converts the question 'does a semiclassical baby universe exist?' into a concrete boundary computation.
What would settle it
A calculation showing that causal-wedge HKLL reconstruction in the presence of a baby universe does not yield the same boundary operator $S_\partial$ as in the geometry without it would dissolve the contradiction; alternatively, exhibit a legitimate large-N CFT state of O(1) energy and no nontrivial quantum extremal surface homologous to the boundary whose $\langle S_\partial\rangle$ is not 1 while respecting the extrapolate dictionary.
Extended reading notes
Core claim
In the two-boundary state $|\Psi\rangle_{AB}$ prepared below the Hawking-Page transition, the same CFT state admits two candidate bulk descriptions: one with a closed baby universe $i$ entangled with the connected AdS regions $ab$, and one with no closed universe. The paper defines the bulk swap operator $S$ exchanging the two copies of the $ab$ system; since $S$ is supported entirely in the causal wedge, the extrapolate dictionary and isometric causal-wedge encoding give it a boundary representative $S_\partial$ with $\langle S_\partial\rangle = \langle S\rangle$. In the no-baby-universe state $\psi^{(2)}_{ab}$, the expectation value is $\langle S\rangle = \operatorname{tr}[(\psi^{(2)}_{ab})^2] = 1$. In the baby-universe state $\psi^{(1)}_{ab}$, the region $ab$ is highly entangled with $i$, so $\langle S\rangle \sim e^{-S[\psi^{(1)}_i]} \ll 1$. Because the encoding is an isometry, the boundary calculation yields $1$, identifying the no-baby-universe geometry as the dual. The only way the gravitational path integral can remain consistent is if the baby universe Hilbert space has dimension one, in which case the baby universe is not semiclassical.
Load-bearing premise
The argument stands on the assumption that the HKLL reconstruction map is approximately the same for all bulks that limit to the same complete causal wedge large-N geometry, so the boundary operator $S_\partial$ always represents the same bulk swap operator $S$ even when a baby universe is present; if the baby universe could change the reconstruction map, the two descriptions could correspond to different boundary operators and the contradiction would vanish.
Editorial extensions
If this is right
- The Antonini-Rath puzzle is resolved: the CFT state's bulk dual is definitively the geometry without a semiclassical baby universe, and the path-integral baby universe must have a one-dimensional Hilbert space.
- Any proposed modification of AdS/CFT that adds semiclassical baby-universe degrees of freedom must reproduce $\langle S_\partial\rangle = 1$ while keeping the extrapolate dictionary and causal-wedge isometry intact; otherwise it is excluded.
- The no-go extends beyond the original construction to any holographic state of O(1) energy with no nontrivial quantum extremal surface homologous to the asymptotic boundary that is produced by O(1) simple operators.
- Proposals that restore semiclassical closed-universe physics by including an observer inside the universe need to explain how the swap-operator expectation value changes when the state is conditioned on the observer.
Reading between the lines
- The swap-operator test is generalizable as a diagnostic: in any concrete holographic model (e.g., a tensor network or a toy code), compute $\langle S_\partial\rangle$ for a proposed baby-universe state; a value below 1 signals either a non-semiclassical baby universe or a breakdown of causal-wedge isometric encoding.
- The argument suggests that any closed-universe component holographically encoded from a distant boundary must have trivial Hilbert space whenever the causal wedge is isometrically encoded; this may constrain proposals for holographic cosmology, though extending it beyond AdS/CFT is speculative.
- The Fannes-inequality argument implies that a single-copy distinguishing operator exists, but the paper does not construct it; finding an explicit low-complexity single-copy operator would turn the contradiction into a sharp observable test.
- Because the generalization assumes no nontrivial quantum extremal surfaces, the no-go may fail precisely where baby universes are most physically interesting, such as late-time interiors of evaporating black holes; it does not close the door on semiclassical closed universes in those settings.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper argues that a broad class of asymptotically AdS geometries containing a semiclassical baby universe cannot be realized in AdS/CFT, and uses this to resolve the Antonini-Rath puzzle. The authors construct a boundary operator S∂ whose bulk dual is a swap operator acting on two copies of the causal wedge, and show that in the CFT state |Ψ⟩_AB of the AR construction the expectation value is ⟨S∂⟩=1, whereas a semiclassical baby universe with Hilbert space dimension greater than one would give ⟨S⟩∼e^{-S_i} for the same bulk operator. They conclude that consistency with the extrapolate dictionary and an (asymptotically) isometric causal-wedge encoding forces the baby universe Hilbert space to be one-dimensional. The argument is presented conditionally on assumptions stated in Sec. 1.1, and a generalization to states with no nontrivial quantum extremal surfaces is given in Sec. 4.
Significance. If the stated assumptions hold, the paper gives a clean and concrete argument that a semiclassical baby universe in the AR construction is inconsistent with standard AdS/CFT. Its strengths are that the diagnostic operator S∂ is explicitly defined, the key expectation values are computed directly, and the truncation analysis using Markov's inequality, Hölder's inequality, and Fannes' inequality is sound and carefully presented. The paper also provides a concrete falsifiable test for any proposed modification of AdS/CFT that would include a semiclassical baby universe: such a proposal must reproduce ⟨S∂⟩=1 without violating causal-wedge isometry. The main weakness is that the central contradiction depends on the 'approximately identical HKLL map' assumption, which is asserted rather than derived; the result is therefore best read as a conditional no-go theorem.
major comments (2)
- [Sec. 1.1 and Eqs. (3.2), (3.4), (3.6)] The central contradiction relies on the same boundary operator S∂ being dual to the same bulk swap operator S in both the baby-universe description (ψ^(1)_aib) and the no-baby-universe description (ψ^(2)_ab). This is exactly the content of Assumption 2 in Sec. 1.1, which states that the HKLL map is approximately identical on bulks that limit to the same complete causal wedge large-N geometry. This assumption is not derived from the extrapolate dictionary or from the asymptotically isometric encoding property; it is a separate, load-bearing locality assumption. If the presence of the baby universe could modify the causal-wedge reconstruction map, for example through state dependence or through effects invisible in the causal wedge, then S∂ need not be the boundary dual of S in the baby-universe description, and Eq. (3.6) would not contradict Eq. (3.2). The paper itself flags this in Sec. 1.1 and in the abstract, noting that without this assumption the correspondence may be vacuous, but because the entire resolution of the AR puzzle rests on this point, the manuscript should either justify Assumption 2 from more primitive properties of AdS/CFT or state the final result explicitly as a theorem conditional on this locality property, with a quantitative statement of the approximation.
- [Sec. 3, Eq. (3.4) and Fig. 2] The operator S is a global swap on two copies of the causal-wedge Hilbert space, not a local bulk field operator in the usual HKLL sense. The paper asserts that 'there is no ambiguity on whether it admits a boundary dual or not' and defines S∂ through the intertwining relation S∂(V⊗V)=(V⊗V)S. This is too quick: the relation defines S∂ only on the range of V⊗V, and the claim that the standard causal-wedge encoding map applies to an operator of this global type needs justification. In particular, the paper should specify the code subspace on which S acts (a finite-dimensional subspace of dimension e^{O(1)}), explain why the swap is an element of the causal-wedge algebra in that code subspace, and discuss the distinction between type-I finite-dimensional code subspaces and the type-III continuum algebras where swap-type automorphisms are not inner. This is not merely a technicality, because the physical interpretation of S∂ as a low-energy boundary observable depends on it.
minor comments (4)
- [Eq. (3.2)] The notation tr[(ψ^(1)_ab)^2] ∼ e^{-S[ψ^(1)_i]} equates the Rényi-2 entropy with the von Neumann entropy. This is only valid if the reduced state ψ^(1)_ab is approximately maximally mixed on the baby-universe Hilbert space; the paper should state this approximation explicitly.
- [Sec. 3, Eqs. (3.12) and (3.21)] The symbol Δ0 is used for two different quantities: in Eqs. (3.12)–(3.14) it is the width of the microcanonical energy window, while in Eq. (3.21) it appears as the dimension of the code subspace. These should be denoted by different symbols to avoid confusion.
- [Sec. 4, Eq. (4.1)] The state ψ^(1)_a appearing in Eq. (4.1) is not defined in Section 4; it should be introduced as the reduced density matrix on the connected AdS region a, with an explicit statement of its relation to the full state on a∪i.
- [Abstract and Sec. 1.1] The abstract says the result 'assumes only' the extrapolate dictionary and an asymptotically isometric encoding of the causal wedge, but Assumption 2 in Sec. 1.1 adds a nontrivial locality condition: the HKLL map is approximately identical on bulks with the same causal wedge. The wording should be adjusted to reflect that this condition is an additional, load-bearing assumption.
Circularity Check
No significant circularity: the swap-operator argument derives a contradiction between two candidate bulk duals from the stated extrapolate-dictionary and isometric-encoding assumptions.
full rationale
The paper's central claim is tested against two candidate bulk descriptions rather than fitted or defined into existence. The boundary operator S_delta is constructed on the bulk causal wedge and mapped to the CFT via the isometric encoding; its expectation value in |Psi>_AB equals 1 because Psi_AB = V psi^(2)_ab V† is the AR state-operator rewriting, while the alternative path-integral description predicts e^{-S_i}. Neither number is chosen to match the conclusion, and the contradiction between e^{-S_i} and 1 is the content of the argument, not a renaming of the inputs. The only load-bearing premise flagged by the paper itself, Assumption 2 in Sec. 1.1 (HKLL reconstruction is approximately identical on bulks with the same complete causal wedge large-N geometry), is an explicit physical assumption with independent support in the HKLL and quantum-error-correction literature; its failure would be a correctness or validity gap, not a circular reduction. Self-citations (e.g. [26,27,31]) provide technical machinery or additional assumptions for the generalization in Sec. 4, but the AR-setup resolution in Sec. 3 does not reduce to an unverified self-citation chain. No fitted parameters, no boundary operators defined in terms of the predicted quantity, and no uniqueness theorem imported from the authors' prior work are used. Accordingly, no circular step is exhibited.
Assumptions & free parameters
assumptions (5)
- domain assumption Extrapolate dictionary: the algebra of boundary operators obtained as limits of bulk operators in M is contained in the algebra of dual CFT operators in the large-N limit.
- domain assumption Isometric encoding in the causal wedge: the HKLL map followed by the extrapolate dictionary is asymptotically isometric at large N and approximately identical on bulks limiting to the same complete causal wedge geometry.
- domain assumption The AR state |Psi>_AB admits the single-trace operator decomposition of Eq. (2.3) into O(1) low-dimension operators acting on the vacuum, with a corresponding pure bulk state psi^(2)_ab.
- domain assumption The Antonini-Rath path integral preparation of |Psi>_AB has a semiclassical bulk dual with baby universe i entangled with ab (Fig. 1, Eq. (2.2)).
- domain assumption The simple entropy construction of [31] continues to hold when the horizon topology changes to the empty set.
Cite this review
Pith. "Pith review of Further Evidence Against a Semiclassical Baby Universe in AdS/CFT." pith.science (2026). https://pith.science/paper/7BRIB6YK
@misc{pith2026250414586,
author = {Pith},
title = {Pith review of: Further Evidence Against a Semiclassical Baby Universe in AdS/CFT},
year = {2026},
howpublished = {\url{https://pith.science/paper/7BRIB6YK}},
note = {Machine review of arXiv:2504.14586}
}
read the original abstract
We argue that a large class of asymptotically AdS geometries with a semiclassical baby universe cannot be realized within the AdS/CFT correspondence. This in particular resolves a recent puzzle introduced by Antonini and Rath, in which a single CFT state appeared to simultaneously describe an AdS spacetime with a baby universe and one without. We construct a low-energy (and low complexity) boundary operator whose expectation values in the descriptions with and without the baby universe cannot match if the baby universe is semiclassical. This operator conclusively identifies the actual bulk dual: the spacetime without a semiclassical baby universe. This result assumes only that AdS/CFT admits an extrapolate dictionary and an asymptotically isometric encoding of the causal wedge into the dual CFT, without which the correspondence may well be vacuous.
Figures
Forward citations
Cited by 7 Pith papers
-
Observer complementarity for black holes and holography
The authors show that the observer rule of Harlow, Usatyuk, and Zhao yields a self-consistent black hole complementarity for both partially and fully evaporated black holes.
-
A Nonperturbative Toolkit for Quantum Gravity
A shell-state resolution of the identity, an infinite-overcompleteness limit, and geometric surgery are claimed to prove fine-grained factorization of the two-sided gravitational thermal partition function.
-
The $\alpha$-states of a string worldsheet
The α-states of the Hurwitz worldsheet are symmetric-group characters weighted by the Poissonized Plancherel measure, so string amplitudes are ensemble averages whose weak-coupling limit is Kerov's central limit theorem.
-
Baby Universes from Thermal Pure States in SYK
A JT-gravity baby universe is constructed with a microscopic dual given by a low-temperature thermal pure state of two coupled SYK models, and its bulk entanglement to the AdS region is O(N) below the phase transition.
-
Observing Spacetime
An asymptotic observer can check a proposed quantum gravity microstate with a probe tuned to the state's creating operator, because extra wormhole saddles make the response O(1) larger than any generic probe.
-
The Baby Universe is Fine and the CFT Knows It: On Holography for Closed Universes
A closed universe in AdS/CFT is not ruled out by recent SWAP-test arguments; the one-dimensional Hilbert space seen from the CFT is external indistinguishability, and CFT data can reconstruct the closed universe's geometry.
-
On tests for baby universes in AdS/CFT
With a post-selected holographic map for the baby universe, the Engelhardt-Gesteau swap test cannot distinguish the two candidate bulk duals.
Reference graph
Works this paper leans on
-
[1]
A. Almheiri, N. Engelhardt, D. Marolf, and H. Maxfield, The entropy of bulk quantum fields and the entanglement wedge of an evaporating black hole , JHEP 12 (2019) 063, [arXiv:1905.08762]
arXiv 2019
-
[2]
Penington, Entanglement Wedge Reconstruction and the Information Paradox , arXiv:1905.08255
G. Penington, Entanglement Wedge Reconstruction and the Information Paradox , arXiv:1905.08255
arXiv 1905
- [3]
-
[4]
A. Almheiri, R. Mahajan, J. Maldacena, and Y. Zhao, The Page curve of Hawking radiation from semiclassical geometry, JHEP 03 (2020) 149, [ arXiv:1908.10996]
arXiv 2020
-
[5]
G. Penington, S. H. Shenker, D. Stanford, and Z. Yang, Replica wormholes and the black hole interior , arXiv:1911.11977
arXiv 1911
- [6]
-
[7]
A. I. Abdalla, S. Antonini, L. V. Iliesiu, and A. Levine, The gravitational path integral from an observer’s point of view , arXiv:2501.02632
-
[8]
N. Engelhardt and A. C. Wall, Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime , JHEP 01 (2015) 073, [ arXiv:1408.3203]
arXiv 2015
Show all 35 references
-
[9]
Marolf and H
D. Marolf and H. Maxfield, Transcending the ensemble: baby universes, spacetime wormholes, and the order and disorder of black hole information , arXiv:2002.08950
2002 arXiv
-
[10]
McNamara and C
J. McNamara and C. Vafa, Baby Universes, Holography, and the Swampland , arXiv:2004.06738. – 17 –
2004 arXiv
-
[11]
X. Dong, M. Kolanowski, X. Liu, D. Marolf, and Z. Wang, Null states and time evolution in a toy model of black hole dynamics , JHEP 08 (2024) 199, [arXiv:2405.04571]
2024 arXiv
-
[12]
Usatyuk, Z.-Y
M. Usatyuk, Z.-Y. Wang, and Y. Zhao, Closed universes in two dimensional gravity , SciPost Phys. 17 (2024), no. 2 051, [ arXiv:2402.00098]
2024 arXiv
-
[13]
Usatyuk and Y
M. Usatyuk and Y. Zhao, Closed universes, factorization, and ensemble averaging , JHEP 02 (2025) 052, [ arXiv:2403.13047]
2025 arXiv
-
[14]
J. M. Maldacena and L. Maoz, Wormholes in AdS , JHEP 02 (2004) 053, [hep-th/0401024]
2004 arXiv
-
[15]
Dong, X.-L
X. Dong, X.-L. Qi, Z. Shangnan, and Z. Yang, Effective entropy of quantum fields coupled with gravity, JHEP 10 (2020) 052, [ arXiv:2007.02987]
2020 arXiv
-
[16]
Antonini and P
S. Antonini and P. Rath, Do holographic CFT states have unique semiclassical bulk duals?, arXiv:2408.02720
-
[17]
Antonini, M
S. Antonini, M. Sasieta, and B. Swingle, Cosmology from random entanglement , JHEP 11 (2023) 188, [ arXiv:2307.14416]
2023 arXiv
-
[18]
Banks, M
T. Banks, M. R. Douglas, G. T. Horowitz, and E. J. Martinec, AdS dynamics from conformal field theory, hep-th/9808016
-
[19]
Engelhardt and A
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]
2018 arXiv
-
[20]
Engelhardt and A
N. Engelhardt and A. C. Wall, Coarse Graining Holographic Black Holes , JHEP 05 (2019) 160, [ arXiv:1806.01281]
2019 arXiv
-
[21]
Hamilton, D
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]
2006 arXiv
-
[22]
Hamilton, D
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]
2006 arXiv
-
[23]
Hamilton, D
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)]
2007 arXiv
-
[24]
Almheiri, X
A. Almheiri, X. Dong, and D. Harlow, Bulk Locality and Quantum Error Correction in AdS/CFT, JHEP 04 (2015) 163, [ arXiv:1411.7041]
2015 arXiv
-
[25]
Harlow, The Ryu-Takayanagi Formula from Quantum Error Correction , Commun
D. Harlow, The Ryu-Takayanagi Formula from Quantum Error Correction , Commun. Math. Phys. 354 (2017), no. 3 865–912, [ arXiv:1607.03901]
2017 arXiv
-
[26]
Faulkner and M
T. Faulkner and M. Li, Asymptotically isometric codes for holography , arXiv:2211.12439. – 18 –
-
[27]
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]
2025 arXiv
-
[28]
A. Goel, H. T. Lam, G. J. Turiaci, and H. Verlinde, Expanding the Black Hole Interior: Partially Entangled Thermal States in SYK , JHEP 02 (2019) 156, [arXiv:1807.03916]
2019 arXiv
-
[29]
Engelhardt, ˚A
N. Engelhardt, ˚A. Folkestad, A. Levine, E. Verheijden, and L. Yang, Spoofing entanglement in holography, arXiv:2407.14589
-
[30]
Engelhardt and A
N. Engelhardt and A. C. Wall, No Simple Dual to the Causal Holographic Information?, JHEP 04 (2017) 134, [ arXiv:1702.01748]
2017 arXiv
-
[31]
Engelhardt, G
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]
2021 arXiv
- [32]
-
[33]
A. R. Brown, H. Gharibyan, G. Penington, and L. Susskind, The Python’s Lunch: geometric obstructions to decoding Hawking radiation , JHEP 08 (2020) 121, [arXiv:1912.00228]
2020 arXiv
-
[34]
Engelhardt, G
N. Engelhardt, G. Penington, and A. Shahbazi-Moghaddam, Finding pythons in unexpected places, Class. Quant. Grav. 39 (2022), no. 9 094002, [ arXiv:2105.09316]
2022 arXiv
-
[35]
Engelhardt, G
N. Engelhardt, G. Penington, and A. Shahbazi-Moghaddam, Twice Upon a Time: Timelike-Separated Quantum Extremal Surfaces, JHEP 01 (2024) 033, [arXiv:2308.16226]. – 19 –
2024 arXiv
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.