REVIEW 4 major objections 5 minor 5 cited by
Fundamental Complement of a Gravitating Region
T0 review · 4 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Every gravitating region, in any spacetime, has a hologram obeying a complementarity rule that generalizes AdS/CFT duality.
desk verdict A genuinely new organizing result for gravitational holography, with the AdS/CFT recovery hanging on an unproved causal-wedge identity and the appendix properties on a conjecture. 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 machinery is the fundamental complement $\tilde a$ (Definition 7), defined as the smallest wedge containing all timelike world lines that stay inside the spacelike complement $a'$ and have infinite duration to both past and future. Around it, the paper rebuilds the notion of holographic accessibility (Definition 13): an accessible wedge $f$ must satisfy $a \subset f \subset \tilde a'$ and be antinormal away from the edge of $a$. The proofs use the Discrete Max-Focusing conjecture (Conjecture 11), the generalized second law, and strong subadditivity of generalized conditional max-entropy to show that holograms are well-behaved and that the complementarity theorem holds.
What would settle it
Find a globally hyperbolic spacetime and wedges $a \subset b \subset c$ with $\partial b \cup \partial c$ on the future lightsheet of $a$ for which $H_{\max,\mathrm{gen}}(c|b) > 0$; that would refute Discrete Max-Focusing and void the theorem's proof. A less global test: in an asymptotically flat spacetime with a generic matter distribution, compute the min-hologram of a Rindler wedge with a local protrusion and check independently that $e_{\min}(a)' = e_{\max}(\tilde a)|_{a'}$.
Extended reading notes
Core claim
The central result is the complementarity theorem: for any wedge $a$ in any globally hyperbolic spacetime, $e_{\min}(a)' = e_{\max}(\tilde a)|_{a'}$, where $e_{\min}$ and $e_{\max}$ are the min- and max-holograms, $\tilde a$ is the fundamental complement of $a$, and the subscript restricts the max-hologram to be computed in $a'$. The fundamental complement is defined as the causal wedge inside $a'$ that contains all timelike curves that are both past- and future-infinite. Requiring holograms to be spacelike to $\tilde a$ removes the failures of earlier proposals, such as a Rindler wedge in asymptotically flat space accessing the whole spacetime. As a further result, the paper proves that the AdS/CFT entanglement wedges of a boundary region $B$ are recovered by applying the bulk prescription to the causal wedge of $B$: $\max EW(B) = e_{\max}[CW(B)]$ and $\min EW(B) = e_{\min}[CW(B)]$.
Load-bearing premise
The load-bearing premise is the Discrete Max-Focusing conjecture, used as a black box in the appendix proofs of accessibility, nesting, no-cloning, and strong subadditivity; if that conjecture is false, the holograms may lose the properties on which complementarity and the AdS/CFT recovery depend.
Editorial extensions
If this is right
- Every wedge in every globally hyperbolic spacetime acquires a well-defined max- and min-hologram satisfying complementarity, not just regions in AdS/CFT.
- AdS/CFT subregion duality becomes a special case: the entanglement wedge of a boundary region $B$ is the hologram of its bulk causal wedge, $\max EW(B)=e_{\max}[CW(B)]$ and $\min EW(B)=e_{\min}[CW(B)]$.
- Spacetimes that begin with a Big Bang or end with a Big Crunch are trivially reconstructible: the whole universe is the hologram of any wedge, regardless of spatial topology.
- De Sitter space is not trivially reconstructible despite being spatially closed, so static patches in de Sitter carry nontrivial holograms.
Reading between the lines
- If complementarity holds for all wedges, it constrains how much information can be independently reconstructed from a region and its fundamental complement, suggesting a universal trade-off that could be phrased as a bulk no-cloning theorem independent of any boundary.
- The trivial reconstructibility of Big Bang cosmologies might be an artifact of the classical focusing assumptions; a semiclassical treatment with quantum matter could reveal small corrections that break exact reconstructibility.
- The definition of the fundamental complement via infinite world lines could be adapted to spacetimes with no conformal boundary, providing a purely causal notion of 'the part of the universe a region cannot influence' that may sharpen cosmological observables such as the static patch in de Sitter.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a refinement of the Bousso–Penington construction of holograms (generalized entanglement wedges) for arbitrary wedges in globally hyperbolic spacetimes. For a wedge a, the fundamental complement ã is defined (Def. 7) as the causal wedge in the spacelike complement a', that is, the smallest wedge containing all timelike curves that are both past- and future-infinite in a'. Accessibility (Def. 13) is modified to require a ⊂ f ⊂ ã', and the max- and min-holograms emax(a) and emin(a) are defined as the wedge union and wedge intersection of the corresponding extremal families (Defs. 14–15). The central result, Theorem 19 (Eq. 3.4), states emin(a)' = emax(ã)|a': the min-hologram of any wedge is complementary to the restricted max-hologram of its fundamental complement. Section 4 works out examples in Big Bang/Big Crunch, asymptotically flat, and asymptotically de Sitter spacetimes, including the claims that Big Bang cosmologies are trivially reconstructible (emax = emin = M) whereas de Sitter space is not. Section 5 claims to recover AdS/CFT subregion duality as a special case: maxEW(B) = emax[CW(B)] and minEW(B) = emin[CW(B)] (Theorem 28, Eq. 5.6). Appendix A re-derives nesting, no-cloning, emax ⊂ emin, and strong subadditivity for the new definitions; Appendix B formulates an alternative, 'large' fundamental complement.
Significance. If correct, the framework assigns to every gravitating region a hologram with a complementarity property directly generalizing the AdS/CFT relation (1.1), with subregion duality arising as a special case (Eq. 5.6); the definitions are parameter-free, and the paper is unusually explicit about its inputs (Conjecture 11, the Generalized Second Law in Lemma 16, and Eq. (1.1) in Theorem 28). The proof of the central complementarity theorem is a clean dual correspondence between the defining families F(ã|a') and G(a) and does not invoke Conjecture 11; the examples yield concrete, in-principle falsifiable statements (trivial reconstructibility of Big Bang cosmologies versus non-triviality in de Sitter, and the Rindler-wedge protrusion examples). The main weaknesses are localized: the AdS/CFT recovery rests on the unproved identity Eq. (5.7) and imports Eq. (1.1) as an input, and the advertised good properties (nesting, no-cloning, strong subadditivity) as well as parts of the Section 4 analysis are conditional on Conjecture 11. Neither issue appears to invalidate Theorem 19, but both must be addressed before the abstract-level claims can be taken at face value.
major comments (4)
- [Theorem 28, Eq. (5.7)] The identity ~CW(B) = CW(¯B), Eq. (5.7), is asserted with 'easily seen' and is never proved. It is load-bearing in two places in the proof of Theorem 28: it is the only argument establishing properties I and i (that emax[CW(B)] and emin[CW(B)] have conformal boundary B), and it is needed, together with Eq. (1.1) and causal wedge inclusion, to show that maxEW(B) and minEW(B) lie in CW(¯B)'. If Eq. (5.7) fails for some boundary wedge B—for example for disconnected B or ¯B, or in the timeband case of Fig. 13 where I is only a globally hyperbolic subset of the conformal boundary—the equality (5.6) is not established. Please supply a proof of Eq. (5.7) from Definitions 7 and 27, or state precisely the hypotheses on M, I, and B under which it holds.
- [Theorem 28 (proof)] The proof of Theorem 28 uses the standard AdS/CFT complementarity relation, Eq. (1.1), as an input: 'When combined with traditional entanglement wedge complementarity, Eq. 1.1, causal wedge inclusion also implies...'. Both inclusions in (5.6) rely on this step, so the theorem is a consistency check between the new prescription and the standard one, conditional on Eq. (1.1) and on causal wedge inclusion, rather than an independent derivation of subregion duality. The abstract's statement that the paper recovers the AdS/CFT prescription 'by proving that EW(B) = e(causal wedge of B)' should be qualified accordingly; as written it invites the reader to believe Eq. (1.1) is a consequence rather than an assumption of the recovery argument.
- [Appendix A, Theorems 33–42; Section 4.1] The advertised good properties of holograms—nesting (Theorem 39), no-cloning (Theorem 41), strong subadditivity (Theorem 42), and the inclusion emax ⊂ emin (Theorem 38)—as well as the throat property (Theorem 36, Corollary 37) are proved with explicit invocations of Conjecture 11 at Eqs. (A.11), (A.18), (A.20)–(A.21), (A.27), (A.39), (A.47), and (A.49). Theorems 33 and 34 also use the conjecture to show that the unions and intersections defining the holograms are themselves accessible and admissible. The main-text proof of Theorem 23 invokes Theorem 38, so the trivial-reconstructibility claims of Section 4.1 inherit this dependence (the bracketed alternative argument in Theorem 23 does not, but it is not the one the proof uses). Theorem 19 and Lemma 17, by contrast, are independent of Conjecture 11; Theorem 19 relies only on Lemma 16 and on transferring the defining properties I–III/i–iii under complementation. Because the abstract advertises strong subadditivity, nesting, and no-cloning as properties of holograms, the main text should state in one explicit place which results are conditional on Conjecture 11.
- [Sections 2.3 and 3.2; footnote 4] Theorem 19 is to a large extent a structural consequence of the new definitions rather than an independently derived physical statement. Footnote 4 acknowledges that the accessibility condition in Def. 13 was chosen in part because it leads to the complementarity theorem, and the proof of Eq. (3.4) is a direct bijection between the defining families F(ã|a') and G(a) under spacelike complementation, with Lemmas 16 and 17 as the only geometric input. A reader cannot tell from Theorem 19 alone which part of the physics is doing the work; I recommend that the paper state explicitly that the content of the theorem resides in property I of Def. 13 together with the identification of ã as the region that cannot be reconstructed from a, and that the present evidence for that identification comes from the AdS/CFT consistency check of Theorem 28 and from the examples of Section 4, rather than from a first-principles derivation.
minor comments (5)
- [Theorem 28 (proof of properties III/iii)] The displayed formulas for Σ and Σ′ contain two identical union terms, which is presumably a typo; please correct these formulas and expand the one-line argument ('by strong subadditivity and the generalized second law') that the completed slices satisfy property III of Def. 14 and property iii of Def. 15.
- [Section 2.2, Definitions 13 and 15] Because Hmax,gen in Eq. (2.5) is defined up to an omitted smoothing parameter and to O(G) corrections, the inequalities that define accessibility and the holograms are leading-order conditions; the paper should state once whether the set equalities (3.4) and (5.6) are claimed exactly for the holograms defined by these approximate conditions, and what the status of the theorems is at higher orders in G.
- [Definition 18] The definition of the restricted fundamental complement ã|b via 'null infinity I|b = I ∩ [cl b]_{\bar M}' is informal; since Theorem 19 and Lemma 17 require computing the fundamental complement inside the spacetime a', a precise definition of the causal wedge 'in b' for a sub-spacetime, including the treatment of its null infinity, should be given.
- [Section 4.1, Theorem 23 and Corollary 24] The phrase 'trivially reconstructible' and the parenthetical 'a one-dimensional Hilbert space' are stronger than what Theorem 23 establishes, which is a statement about the semiclassical hologram prescription; consider adding a caution that the Hilbert-space interpretation is an extrapolation.
- [Note added (p. 6)] The unproved claim of equivalence with the 'heterodox' proposal of Ref. [17] inherits the dependence of the Appendix A theorems on Conjecture 11; since a later reader may cite this remark, one sentence noting that the equivalence is conjectural and conditional would prevent over-quoting.
Circularity Check
Complementarity theorem is a definitional duality; AdS/CFT 'recovery' leans on the standard complementarity relation.
-
self definitional
[Def. 15 (Min-Hologram), footnote 6; Sec. 3.2, Theorem 19]
"To make this look more like Def. 14, we could have defined a notion of min-accessibility that parallels Def. 13 of (max-)accessibility [9]. But in fact, the notions of min-accessibility can be largely eliminated [13] except here; and the complementarity theorem 19 will allow us to eliminate it altogether. We introduce the present definition to make contact with the prior literature, but it should ultimately be replaced by Eq. (3.4)."
Def. 15 is written so that, after spacelike complementation, its conditions i–iii for g are exactly Def. 13's conditions I–III for accessibility from tilde a: g' contains tilde a (i becomes I), g' is antinormal (ii becomes II), and property iii is the same extremality condition as property III with input a replaced by tilde a. Theorem 19's proof is a term-by-term verification of this dictionary. Footnote 6 explicitly says Eq. (3.4) should replace Def. 15. Thus emin(a)' = emax(tilde a)|a' is not an independent consequence of a separately motivated min-hologram; it is the definition of emin rewritten, with Lemmas 16 and 17 supplying the small remaining pieces.
-
other
[Sec. 5, Theorem 28 proof, properties I and i]
"Conversely, causal wedge inclusion [9, 14] implies that maxEW(B) and minEW(B) both contain CW(B). When combined with traditional entanglement wedge complementarity, Eq. 1.1, causal wedge inclusion also implies that maxEW(B) and minEW(B) are both contained in CW(bar B)'."
To prove the advertised recovery maxEW(B) = emax[CW(B)] and minEW(B) = emin[CW(B)], the paper uses Eq. (1.1), the standard AdS/CFT complementarity relation, as an input. That relation is the very AdS/CFT statement the construction is said to recover. One direction of the equality therefore holds only if the standard AdS/CFT result is already assumed. This makes the recovery a consistency check rather than an independent derivation; the paper presents it as a recovery without prominently flagging Eq. (1.1) as an assumption.
full rationale
The core complementarity theorem (Thm 19) is not a numerical fit and does not rely on Conjecture 11, but it is largely built into the definitions: Def. 15 of emin is the complement-dual of Def. 13's accessibility from tilde a, and footnote 6 states that Eq. (3.4) should replace the definition. The theorem's proof is an essentially definitional dictionary check, so the central claim reduces partly by construction. The AdS/CFT recovery in Thm 28 additionally uses Eq. (1.1) as an input, so the 'recovery' is a consistency check, not self-contained derivation. The many spacetime examples and the identification tilde a with causal wedges provide independent content, and the appendix's reliance on Conjecture 11 is an explicit dependency rather than a circular reduction. Overall, partial circularity in the central complementarity statement and in the AdS/CFT recovery warrant a score of 6.
Assumptions & free parameters
assumptions (5)
- domain assumption Generalized Second Law implies causal horizons are antinormal (non-expanding).
- domain assumption Discrete Max-Focusing (Conjecture 11).
- domain assumption Strong subadditivity of generalized smooth max-entropy at higher orders in G.
- domain assumption Standard AdS/CFT entanglement-wedge complementarity (Eq. 1.1) and causal wedge inclusion.
- standard math Global hyperbolicity and existence of conformal completion.
invented entities (1)
-
Fundamental complement ~a of a wedge
Cite this review
Pith. "Pith review of Fundamental Complement of a Gravitating Region." pith.science (2026). https://pith.science/paper/M2BP55EA
@misc{pith2026250515886,
author = {Pith},
title = {Pith review of: Fundamental Complement of a Gravitating Region},
year = {2026},
howpublished = {\url{https://pith.science/paper/M2BP55EA}},
note = {Machine review of arXiv:2505.15886}
}
abstract
Any gravitating region $a$ in any spacetime gives rise to a generalized entanglement wedge, the hologram $e(a)$. Holograms exhibit properties expected of fundamental operator algebras, such as strong subadditivity, nesting, and no-cloning. But the entanglement wedge EW of an AdS boundary region $B$ with commutant $\bar B$ satisfies an additional condition, complementarity: EW$(B)$ is the spacelike complement of EW$(\bar B)$ in the bulk. Here we identify an analogue of the boundary commutant $\bar B$ in general spacetimes: given a gravitating region $a$, its \emph{fundamental complement} $\tilde{a}$ is the smallest wedge that contains all infinite world lines contained in the spacelike complement $a'$ of $a$. We refine the definition of $e(a)$ by requiring that it be spacelike to $\tilde a$. We prove that $e(a)$ is the spacelike complement of $e(\tilde a)$ when the latter is computed in $a'$. We exhibit many examples of $\tilde{a}$ and of $e(a)$ in de Sitter, flat, and cosmological spacetimes. We find that a Big Bang cosmology (spatially closed or not) is trivially reconstructible: the whole universe is the entanglement wedge of any wedge inside it. But de Sitter space is not trivially reconstructible, despite being closed. We recover the AdS/CFT prescription by proving that EW$(B)=e($causal wedge of $B$).
Forward citations
Cited by 5 Pith papers
-
Algebras for generalized entanglement wedges
Generalized (Bousso–Penington) entanglement wedges are conjectured to carry von Neumann algebras such that S_gen(W) = S(ω|A_W) − log Ind(E) + K_Ω (eq. 2.7), making BP's monotonicity and strong subadditivity consequenc...
-
Hollow-grams: Generalized Entanglement Wedges from the Gravitational Path Integral
The entropy of a bulk region in holographic states equals the generalized entropy of the smallest wedge containing it, derived from a replica path integral via a hollow-graphic construction.
-
Toward an Observable Algebra for de Sitter Space: Gap Protection and Modular Dressings
In global dS2 the fundamental complement of a finite union of arcs is empty unless some complementary gap has length at least π; a commutant-based algebra model reproduces this and exhibits a discontinuous 'activation...
-
Combinatorial aspects of holographic quantum secret sharing
Bulk regions in AdS3/CFT2 get a holographic secret-sharing distance d and thresholds (r,s), with r = n - d + 1; pure states satisfy s = d - 1 while mixed states can satisfy s >= d.
-
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]
Bousso, The Holographic Principle , Rev
R. Bousso, The Holographic Principle , Rev. Mod. Phys. 74 (2002) 825 [hep-th/0203101]
arXiv 2002
-
[2]
J. D. Bekenstein, Black Holes and the Second Law , Lett. Nuovo Cim. 4 (1972) 737
work page 1972
-
[3]
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]
arXiv 1999
-
[4]
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
- [5]
- [6]
- [7]
-
[8]
C. Akers and G. Penington, Leading order corrections to the quantum extremal surface prescription, JHEP 04 (2021) 062 [ 2008.03319]
arXiv 2021
Show all 34 references
-
[9]
Akers, A
C. Akers, A. Levine, G. Penington and E. Wildenhain, One-shot holography, SciPost Phys. 16 (2024) 144 [ 2307.13032]
2024 arXiv
-
[10]
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
-
[11]
Bousso and G
R. Bousso and G. Penington, Entanglement wedges for gravitating regions , Phys. Rev. D 107 (2023) 086002 [ 2208.04993]
2023 arXiv
-
[12]
Bousso and G
R. Bousso and G. Penington, Holograms in Our World , Phys. Rev. D 108 (2023) 046007 [2302.07892]
2023 arXiv
- [13]
-
[14]
A. C. Wall, Maximin Surfaces, and the Strong Subadditivity of the Covariant Holographic Entanglement Entropy, Class. Quant. Grav. 31 (2014) 225007 [1211.3494]
2014 arXiv
-
[15]
Bousso, Positive vacuum energy and the N bound , JHEP 11 (2000) 038 [hep-th/0010252]
R. Bousso, Positive vacuum energy and the N bound , JHEP 11 (2000) 038 [hep-th/0010252]
2000 arXiv
-
[16]
Gao and R
S. Gao and R. M. Wald, Theorems on gravitational time delay and related issues , Class. Quant. Grav. 17 (2000) 4999 [ gr-qc/0007021]
2000 arXiv
-
[17]
Gupta, M
D. Gupta, M. Headrick and M. Sasieta, Entangled universes, 2505.08945
-
[18]
R. M. Wald, General Relativity. Chicago Univ. Pr., Chicago, USA, 1984, 10.7208/chicago/9780226870373.001.0001. – 35 –
1984
-
[19]
Bousso, Robust Singularity Theorem, 2501.17910
R. Bousso, Robust Singularity Theorem, 2501.17910
-
[20]
Shahbazi-Moghaddam, Restricted quantum focusing, Phys
A. Shahbazi-Moghaddam, Restricted quantum focusing, Phys. Rev. D 109 (2024) 066023 [2212.03881]
2024 arXiv
-
[21]
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
-
[22]
A. C. Wall, The Generalized Second Law implies a Quantum Singularity Theorem , Class. Quant. Grav. 30 (2013) 165003 [ 1010.5513]
2013 arXiv
-
[23]
Marolf and H
D. Marolf and H. Maxfield, Transcending the ensemble: baby universes, spacetime wormholes, and the order and disorder of black hole information , JHEP 08 (2020) 044 [2002.08950]
2020 arXiv
-
[24]
Usatyuk, Z.-Y
M. Usatyuk, Z.-Y. Wang and Y. Zhao, Closed universes in two dimensional gravity , SciPost Phys. 17 (2024) 051 [ 2402.00098]
2024 arXiv
-
[25]
McNamara and C
J. McNamara and C. Vafa, Baby Universes, Holography, and the Swampland , 2004.06738
2004 arXiv
-
[26]
A. I. Abdalla, S. Antonini, L. V. Iliesiu and A. Levine, The gravitational path integral from an observer’s point of view , JHEP 05 (2025) 059 [ 2501.02632]
2025 arXiv
-
[27]
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
-
[28]
Harlow, M
D. Harlow, M. Usatyuk and Y. Zhao, Quantum mechanics and observers for gravity in a closed universe , 2501.02359
-
[29]
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]
2006 arXiv
-
[30]
V. E. Hubeny, M. Rangamani and T. Takayanagi, A covariant holographic entanglement entropy proposal, JHEP 07 (2007) 062 [ 0705.0016]
2007 arXiv
-
[31]
Faulkner, A
T. Faulkner, A. Lewkowycz and J. Maldacena, Quantum corrections to holographic entanglement entropy, JHEP 11 (2013) 074 [ 1307.2892]
2013 arXiv
-
[32]
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
-
[33]
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
-
[34]
Bousso and N
R. Bousso and N. Engelhardt, Proof of a New Area Law in General Relativity , Phys. Rev. D 92 (2015) 044031 [ 1504.07660]. – 36 –
2015 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.