REVIEW 4 major objections 5 minor 1 cited by
Simple Holography in General Spacetimes
T0 review · 4 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read This paper defines the 'simple wedge' of holographic reconstruction in arbitrary spacetimes via a zigzag of antinormal lightsheets, and proves it is unique and contained in every other accessible throat.
desk verdict A novel, clearly presented construction of the simple wedge in general spacetimes, but a real gap in the uniqueness proof (Theorem 27) makes the central claim unproven as written. 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 zigzag: alternating future (zig) and past (zag) steps, where each step is the wedge union of all lightsheet wedges of the current wedge that are antinormal — nonexpanding in both future and past outgoing null directions — on their newly added edge and contain no proper noncontracting lightsheet wedge. Each step is antinormal on its newly added edge, and the construction carries a preferred piecewise-null Cauchy slice $Z_n=H(z_n)\setminus I(z_{n-1})$ on which the generalized conditional max entropy of the final wedge relative to any intermediate wedge is non-positive; this is what makes each $z_n$ accessible from $a$. The proofs run on Discrete Max-Focusing — the conjecture that two nested future (or past) lightsheet wedges of the same wedge have non-positive generalized max entropy difference — together with discrete subadditivity and a chain rule for the generalized max entropy, and on the fact that the intersection of two noncontracting wedges is again noncontracting (Lemma 16).
What would settle it
Find a spacetime with an input wedge $a$ for which two different accessible throats exist, neither containing the other; even one such example would refute Theorem 27. More directly, any pair of nested future lightsheet wedges of the same wedge with positive $H_{\mathrm{max,gen}}$ would violate Discrete Max-Focusing and break the step in Theorem 22 that proves accessibility.
Extended reading notes
Core claim
The central claim is that the simple wedge admits a purely geometric, spacetime-covariant definition. Starting from an input wedge $a$, the zig is the wedge union of all future lightsheet wedges of $a$ that are antinormal on their newly added edge, contain no proper noncontracting future lightsheet wedge, and stay within the complement of $a$'s fundamental complement; the zag is the time-reversed step. Iterating with $z_0=a$ and $z_n=z_+(z_{n-1})$ for odd $n$, $z_n=z_-(z_{n-1})$ for even $n$, the simple wedge is defined as $z(a)=\lim_{n\to\infty} z_n$. The paper proves that every finite zigzag $z_n$ is accessible from $a$ through the preferred Cauchy slice $Z_n=H(z_n)\setminus I(z_{n-1})$, and that the limit $z(a)$ is a throat accessible from $a$ and is contained in every other throat accessible from $a$, hence unique and contained in the max-hologram $e_{\max}(a)$. In the AdS/CFT case, applying the construction to the causal wedge of a boundary region reproduces the traditional simple/outermost wedge.
Load-bearing premise
Everything rests on Discrete Max-Focusing, the assumption that generalized conditional max entropy never increases between two nested future (or past) lightsheet wedges of the same wedge, together with higher-order strong subadditivity and a chain rule for the generalized max entropy that the paper itself flags as proven only at leading order in Newton's constant $G$.
Editorial extensions
If this is right
- The simple wedge is unique: the zigzag and the time-reversed zagzig have the same limit $z(a)$.
- $z(a)$ is contained in the max-hologram $e_{\max}(a)$, so the zigzag never extends into the Python's lunch region of the entanglement wedge.
- For an AdS boundary region $B$, the prescription $z(B)=z[c(B)]$ recovers the traditional simple/outermost wedge and adds a preferred piecewise-null Cauchy slice that exists even where a time-symmetric-slice construction fails.
- The accessibility criterion gives a covariant, slice-based notion of which wedges can be reconstructed from an input wedge, the missing ingredient for formulating reconstruction complexity in spacetimes without a known dual field theory.
- In semiclassical gravity the quantum version applies to evaporating black holes: before the Page time the simple wedge ends at a quantum extremal surface near the horizon, leaving the interior as a Python's lunch, and after the Page time it agrees with the max-hologram.
Reading between the lines
- Because the zigzag is null rather than spacelike, the paper's own examples suggest (but do not prove) that tensor-network models of holography should be built from broken null hypersurfaces rather than from a single time-symmetric Cauchy slice; this is an extension beyond the paper's explicit results.
- The use of Discrete Max-Focusing in place of the full Quantum Focusing Conjecture implies the construction should remain valid at caustics and corners where smooth quantum expansions are undefined, a regime where conventional quantum extremal surface prescriptions become difficult to state.
- If uniqueness of the accessible throat holds generally, the edge of the simple wedge could serve as a covariant quasi-local horizon in cosmological or evaporating spacetimes where no global extremal surface exists; this would be a new diagnostic, not derived in the paper.
- A direct numerical test in a simple 2+1 spacetime (e.g., comparing the zigzag limit with the outermost extremal surface on a time-symmetric slice) would either corroborate the claim that the null construction is the right covariant generalization or show where accessibility fails.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a covariant definition of the 'simple wedge' (outermost wedge) in arbitrary globally hyperbolic spacetimes. Starting from an input wedge a, it defines a 'zigzag' sequence of antinormal lightsheet wedges, alternating future and past lightsheets, and defines the simple wedge z(a) as the infinite limit of this sequence. The authors claim that z(a) is accessible from a, that it is a throat (future- and past-marginally accessible), that it is contained in every other throat accessible from a (Theorem 27), and hence that it is unique and contained in the generalized entanglement wedge (max-hologram). They further claim that in the AdS boundary case the construction reproduces the standard simple/outermost wedge prescription, and that the zigzag supplies a preferred piecewise-null Cauchy slice not previously identified. The proofs rely on a 'Discrete Max-Focusing' conjecture and on higher-order conjectural entropy inequalities, as the paper acknowledges.
Significance. The conceptual contribution is substantial: a definition of the simple wedge outside AdS, with an explicit preferred Cauchy slice, and a candidate 'outermost' property proved modulo stated conjectures. The paper is unusually explicit about its definitions and about its reliance on conjectural input, and it identifies a genuinely new structure (the piecewise-null zigzag slice) even in the AdS setting. If Theorem 27 can be repaired and the limit step made rigorous, this would be a valuable step toward extending the holographic dictionary to general spacetimes and toward tensor-network models of broken null hypersurfaces. At present, however, the central containment/uniqueness claim is not established as written, so the significance is conditional on a repaired proof.
major comments (4)
- [4.1, Theorem 27] The contradiction step in the proof of Theorem 27 does not follow from the definitions. The wedge j ≡ k ∩ z_N(a) is claimed, via Lemma 16, to be a PNC/FNC proper subwedge of z_N(a). But Definition 18 only forbids z_N(a) from containing a proper PNC/FNC lightsheet wedge of z_{N-1}(a); it imposes no restriction on arbitrary PNC/FNC proper subwedges. The proof never shows that j is a lightsheet wedge of z_{N-1}(a): in general the new boundary of j will include points on H(k) rather than on Z_N(a), so Definition 13 is not met. In addition, the chosen index N need not exist, since H(k) may intersect z(a) only in the infinite limit, with no finite Z_N(a) intersecting H(k). Thus the central containment/uniqueness theorem is unproven even conditional on Conjecture 14.
- [4.1, Definition 25 and Corollary 26] The infinite limit z(a) ≡ lim_{n→∞} z_n(a) is asserted to 'share all properties of the finite-n zigzags,' but no definition of the limit is given and no proof is provided that the limit is a wedge, that it is accessible from a, that it is FNC and PNC, or that Z(a) is a Cauchy slice. These properties are load-bearing for Corollary 26 and for Theorem 27; the limit step needs a lemma with explicit hypotheses ensuring convergence before the main claims are established.
- [3.2, Conjecture 14 and Theorems 8-9; also Theorem 22] The paper's main theorems are conditional on unproved input: Discrete Max-Focusing (Conjecture 14) and the higher-order (beyond leading order in G) versions of strong subadditivity and the chain rule for Hmax,gen are described as conjectural. Since Theorem 22, Corollary 26, and Theorem 27 all invoke these ingredients, the abstract's unconditional wording ('We show...') overstates the present status. I do not object to conjectural input in a physics paper, but the final theorems should be labeled as conditional on these conjectures, and the precise set of conjectures used by each theorem should be stated.
- [4.1, Theorem 22 proof, Eqs. (4.5)-(4.8)] The telescoping argument that derives Hmax,gen[z_n|h] ≤ 0 is not fully justified. The first inequality applies Conjecture 14 to h ⋓ z_{n-1} as a null deformation of z_{n-1}; subsequent inequalities involve h ⋓ z_i, but these are not shown to be lightsheet wedges of z_{i-1}, and the text switches to h ∩ z_{n-1} in an intermediate step without explaining how Discrete Subadditivity is applied to the union. The chain rule (Theorem 9) is then used on a sequence whose nesting is not explicitly verified. This step needs a detailed proof; as written it is a gap in the accessibility claim.
minor comments (5)
- [3.2, Definition 11, condition II] The statement 'k is antinormal at points p ∈ ðf\ða' uses the symbol ðf, which is not defined; it should presumably read ðk\ða.
- [4.2, Eq. (4.13)] The notation z[c(B)] is used without comment; either define square brackets as function application or write z(c(B)) consistently.
- [4.1, Definition 18, property B] The phrase 'proper subset' should be 'proper subwedge' to match the rest of the paper; a subset of a wedge need not itself be a wedge.
- [References] Reference [36] is listed as 'To appear' with no title or arXiv number, yet Definitions 6 and 7 are attributed to it; a full citation is needed. Also, Corollary 48 of the companion paper Ref. [35] is used in Lemma 19 and should be stated or quoted so the proof is self-contained.
- [2.1, footnote 4] The footnote says 'we will use "extremal" instead of "stationary" below,' but the surrounding text continues to use 'stationary'; the wording should be reconciled.
Circularity Check
No circular derivation: the zigzag is defined independently and the uniqueness claim is proved rather than assumed; the main caveats are a load-bearing same-author conjecture and a non-circular proof gap in Theorem 27.
full rationale
The simple wedge z(a) is defined operationally in Definitions 18, 21, and 25 as an infinite limit of zigzags, not as 'the largest throat' or 'the wedge contained in all throats.' Accessibility (Theorem 22) and containment (Theorem 27) are then argued from that definition. The proof of Theorem 22 uses Conjecture 14 (Discrete Max-Focusing) and Corollary 48 from the same authors' companion paper [35], with the paper itself noting that the strong-subadditivity and chain-rule ingredients are only proven at leading order in G and are conjectural beyond that; this is a load-bearing self-citation dependency and a genuine correctness risk, but it is not a circular reduction, because the conjecture is an independent (if unproven) input rather than a restatement of the target result. Theorem 27's uniqueness argument is not circular, but it appears to contain a nontrivial gap: the intersection j = k ∩ z_N(a) is declared to be a PNC/FNC proper subwedge of z_N(a) that contradicts the zigzag definition, yet Definition 18 only forbids a proper PNC future lightsheet wedge of a, and j is not shown to be a lightsheet wedge of a; nor is the existence of a finite N established. The AdS boundary reduction invokes an external result [42] and does not rename the target. No derivation step is equivalent to its input by construction, so the paper has no significant circularity, but its reliance on unverified same-author conjectures justifies a nonzero caution score.
Assumptions & free parameters
assumptions (5)
- ad hoc to paper Conjecture 14 (Discrete Max-Focusing): for future or past lightsheet wedges b⊂c of a, Hmax,gen(c|b)≤0.
- domain assumption Strong subadditivity and chain rule for Hmax,gen hold at all orders in G.
- domain assumption Corollary 48 of Ref. [35]: the wedge union of antinormal lightsheet wedges is antinormal on the new edge.
- ad hoc to paper The infinite zigzag limit z(a)=lim_n z_n(a) exists as a wedge and inherits the finite-n properties.
- standard math M is globally hyperbolic and wedges satisfy a=a''.
Cite this review
Pith. "Pith review of Simple Holography in General Spacetimes." pith.science (2026). https://pith.science/paper/6AUUFZDG
@misc{pith2026250500695,
author = {Pith},
title = {Pith review of: Simple Holography in General Spacetimes},
year = {2026},
howpublished = {\url{https://pith.science/paper/6AUUFZDG}},
note = {Machine review of arXiv:2505.00695}
}
abstract
The simple or "outermost" wedge in AdS is the portion of the entanglement wedge that can be reconstructed with sub-exponential effort from CFT data. Here we furnish a definition in arbitrary spacetimes: given an input wedge $a$ analogous to a CFT boundary region, the simple wedge $z(a)$ is the largest wedge accessible by a "zigzag," a certain sequence of antinormal lightsheets. We show that $z(a)$ is a throat, and that it is contained in every other throat. This implies that $z(a)$ is unique; that it is contained in the generalized entanglement wedge; and that it reduces to the AdS prescription as a special case. The zigzag explicitly constructs a preferred Cauchy slice that renders the simple wedge accessible from $a$; thus it adds a novel structure even in AdS. So far, no spacelike construction is known to reproduce these results, even in time-symmetric settings. This may have implications for the modeling of holographic encoding by tensor networks.
Forward citations
Cited by 1 Pith paper
-
Entanglement Entropy of Quantum Corners
For a two-dimensional corner symmetry algebra, coherent corner states give an entanglement entropy that scales with the area when mapped to near-extremal Reissner-Nordström black holes.
Reference graph
Works this paper leans on
-
[1]
J. M. Maldacena, The Large N limit of superconformal field theories and supergravity, Adv. Theor. Math. Phys. 2 (1998) 231 [ hep-th/9711200]
arXiv 1998
-
[2]
S. S. Gubser, I. R. Klebanov and A. M. Polyakov, Gauge theory correlators from noncritical string theory, Phys. Lett. B 428 (1998) 105 [hep-th/9802109]
arXiv 1998
-
[3]
Witten, Anti-de Sitter space and holography, Adv
E. Witten, Anti-de Sitter space and holography, Adv. Theor. Math. Phys. 2 (1998) 253 [hep-th/9802150]
arXiv 1998
-
[4]
L. Susskind and E. Witten, The Holographic bound in anti-de Sitter space, hep-th/9805114
- [5]
-
[6]
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. D 73 (2006) 086003 [ hep-th/0506118]
arXiv 2006
-
[7]
A. Hamilton, D. N. Kabat, G. Lifschytz and D. A. Lowe, Holographic representation of local bulk operators, Phys. Rev. D 74 (2006) 066009 [hep-th/0606141]
arXiv 2006
-
[8]
A. Almheiri, X. Dong and D. Harlow, Bulk Locality and Quantum Error Correction in AdS/CFT, JHEP 04 (2015) 163 [1411.7041]
arXiv 2015
Show all 42 references
-
[9]
Akers, S
C. Akers, S. Leichenauer and A. Levine, Large Breakdowns of Entanglement Wedge Reconstruction, Phys. Rev. D 100 (2019) 126006 [1908.03975]
2019 arXiv
-
[10]
Lewkowycz and J
A. Lewkowycz and J. Maldacena, Generalized gravitational entropy, JHEP 08 (2013) 090 [1304.4926]
2013 arXiv
-
[11]
Ryu and T
S. Ryu and T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT, Phys. Rev. Lett. 96 (2006) 181602 [ hep-th/0603001]. – 21 –
2006 arXiv
-
[12]
V. E. Hubeny, M. Rangamani and T. Takayanagi, A Covariant holographic entanglement entropy proposal, JHEP 07 (2007) 062 [0705.0016]
2007 arXiv
-
[13]
Faulkner, A
T. Faulkner, A. Lewkowycz and J. Maldacena, Quantum corrections to holographic entanglement entropy, JHEP 11 (2013) 074 [1307.2892]
2013 arXiv
-
[14]
Engelhardt and A
N. Engelhardt and A. C. Wall, Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime, JHEP 01 (2015) 073 [ 1408.3203]
2015 arXiv
-
[15]
Bousso and G
R. Bousso and G. Penington, Entanglement Wedges for Gravitating Regions, 2208.04993
-
[16]
Bousso and G
R. Bousso and G. Penington, Holograms in our world, Phys. Rev. D 108 (2023) 046007 [2302.07892]
2023 arXiv
-
[17]
A. R. Brown, H. Gharibyan, G. Penington and L. Susskind, The Python’s Lunch: geometric obstructions to decoding Hawking radiation, JHEP 08 (2020) 121 [ 1912.00228]
2020 arXiv
-
[18]
Engelhardt, G
N. Engelhardt, G. Penington and A. Shahbazi-Moghaddam, A world without pythons would be so simple, Class. Quant. Grav. 38 (2021) 234001 [2102.07774]
2021 arXiv
-
[19]
Engelhardt and A
N. Engelhardt and A. C. Wall, Decoding the Apparent Horizon: Coarse-Grained Holographic Entropy, Phys. Rev. Lett. 121 (2018) 211301 [ 1706.02038]
2018 arXiv
-
[20]
Engelhardt and A
N. Engelhardt and A. C. Wall, Coarse Graining Holographic Black Holes, JHEP 05 (2019) 160 [ 1806.01281]
2019 arXiv
-
[21]
Bousso, Holography in general space-times, JHEP 06 (1999) 028 [ hep-th/9906022]
R. Bousso, Holography in general space-times, JHEP 06 (1999) 028 [ hep-th/9906022]
1999 arXiv
-
[22]
Engelhardt, G
N. Engelhardt, G. Penington and A. Shahbazi-Moghaddam, Twice Upon a Time: Timelike-Separated Quantum Extremal Surfaces, 2308.16226
-
[23]
Swingle, Entanglement Renormalization and Holography, Phys
B. Swingle, Entanglement Renormalization and Holography, Phys. Rev. D 86 (2012) 065007 [0905.1317]
2012 arXiv
-
[24]
Nomura, P
Y. Nomura, P. Rath and N. Salzetta, Pulling the Boundary into the Bulk, Phys. Rev. D 98 (2018) 026010 [ 1805.00523]
2018 arXiv
-
[25]
R. M. Wald, General Relativity. Chicago Univ. Pr., Chicago, USA, 1984, 10.7208/chicago/9780226870373.001.0001
1984
-
[26]
S. W. Hawking, Black holes in general relativity, Commun. Math. Phys. 25 (1972) 152
1972
-
[27]
J. D. Bekenstein, Black holes and the second law, Lett. Nuovo Cim. 4 (1972) 737. – 22 –
1972
-
[28]
Bousso, Z
R. Bousso, Z. Fisher, S. Leichenauer and A. C. Wall, Quantum Focusing Conjecture, Phys. Rev. D 93 (2016) 064044 [ 1506.02669]
2016 arXiv
-
[29]
Renner and S
R. Renner and S. Wolf, Smooth Renyi entropy and applications, in IEEE International Symposium on Information Theory — ISIT 2004, p. 233, IEEE, 6, 2004
2004
- [30]
- [31]
-
[32]
Bousso, Robust Singularity Theorem, 2501.17910
R. Bousso, Robust Singularity Theorem, 2501.17910
-
[33]
Penington, Entanglement Wedge Reconstruction and the Information Paradox, JHEP 09 (2020) 002 [ 1905.08255]
G. Penington, Entanglement Wedge Reconstruction and the Information Paradox, JHEP 09 (2020) 002 [ 1905.08255]
2020 arXiv
-
[34]
Almheiri, R
A. Almheiri, R. Mahajan, J. Maldacena and Y. Zhao, The Page curve of Hawking radiation from semiclassical geometry, JHEP 03 (2020) 149 [1908.10996]
2020 arXiv
- [35]
-
[36]
Bousso and S
R. Bousso and S. Kaya, To appear,
-
[37]
Shahbazi-Moghaddam, Restricted Quantum Focusing, 2212.03881
A. Shahbazi-Moghaddam, Restricted Quantum Focusing, 2212.03881
-
[38]
Konig, R
R. Konig, R. Renner and C. Schaffner, The operational meaning of min- and max-entropy, IEEE Transactions on Information Theory 55 (2009) 4337
2009
-
[39]
Vitanov, F
A. Vitanov, F. Dupuis, M. Tomamichel and R. Renner, Chain rules for smooth min- and max-entropies, IEEE Transactions on Information Theory 59 (2013) 2603–2612
2013
-
[40]
Bousso, A Covariant entropy conjecture, JHEP 07 (1999) 004 [ hep-th/9905177]
R. Bousso, A Covariant entropy conjecture, JHEP 07 (1999) 004 [ hep-th/9905177]
1999 arXiv
-
[41]
Bousso, Z
R. Bousso, Z. Fisher, J. Koeller, S. Leichenauer and A. C. Wall, Proof of the Quantum Null Energy Condition, Phys. Rev. D 93 (2016) 024017 [1509.02542]
2016 arXiv
-
[42]
A. C. Wall, Maximin Surfaces, and the Strong Subadditivity of the Covariant Holographic Entanglement Entropy, Class. Quant. Grav. 31 (2014) 225007 [ 1211.3494]. – 23 –
2014 arXiv
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.