Pith. sign in

REVIEW 3 major objections 4 minor 71 references

The Making of von Neumann Algebras from Bulk Focusing

T0 review · 3 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that a boundary region's single-trace algebra is a von Neumann algebra precisely when the generalized causal wedge meets the boundary at that region, and establishes causal wedge reconstruction in that case.

desk verdict Crisp geometric criterion and a plausible focusing mechanism, but the written proof of Theorem 5(1) has a real quantifier gap and the converse in Theorem 6 is asserted more than proven. read the letter →

arxiv 2509.05413 v1 pith:VJWCTSAC submitted 2025-09-05 hep-th gr-qc

Netta Engelhardt , Hong Liu This is my paper
classification hep-thgr-qc
keywords AdS/CFTvonNeumannalgebrascausalwedgereconstructionnullgeodesicfocusingcausticsGNSsectordependencesubregion-subalgebradualitytimeliketubetheorem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

At infinite N, the algebra generated by single-trace operators in a boundary spacetime region may or may not be a von Neumann algebra, depending on the GNS sector. This paper identifies the bulk phenomenon behind that sector dependence: the focusing of null geodesics and the caustics where null congruences fired from the boundary fail to return to it. The main result is an exact criterion: the single-trace algebra Y_Y is von Neumann and admits causal wedge reconstruction iff C_Y ∩ B = Y, where C_Y is the causal completion of the bulk intersection of the future and past of Y. Under that condition the paper proves Y_Y = M_{C_Y}, the bulk operator algebra of the causal wedge. If correct, this gives a purely geometric test for when subregion-subalgebra duality applies, and it points toward an algebraic derivation of the generalized second law at finite N.

What carries the argument

The carrying object is the generalized causal wedge C_Y = (J^+[Y]∩J^-[Y])'', together with the maximal boundary region Y_max = D[C_Y]∩B. The load-bearing geometric quantity is the intersection of the two null congruences, ∂J^+[Y]∩∂J^-[Y], which forms the bulk part of the boundary of C_Y on a Cauchy slice; whether the congruence fired from the boundary returns to Y (so that C_Y∩B=Y) is exactly the condition for the algebra to be von Neumann. The timelike envelope X_Y, the set of bulk points on causal curves between Y that are homotopic to curves in Y, plays the role of the bulk region whose algebra the timelike tube theorem identifies with Y''_Y.

What would settle it

Compute the double commutant of the single-trace algebra of a time band in a non-spherically-symmetric large-N state for which C_Y∩B≠Y; the paper predicts the double commutant introduces new single-trace operators of a larger region, so finding Y''_Y = Y_Y would refute the criterion. Alternatively, exhibit a smooth asymptotically AdS spacetime where the timelike envelope X_Y of a region satisfying C_Y∩B=Y fails to contain a Cauchy slice of D[C_Y], which would break the proof of reconstruction.

Watch

Extended reading notes

Core claim

The central assertion, stated in the introduction as the paper's main result, is that for a causally convex boundary region Y, Y_Y is a von Neumann algebra (in the customized sense that its double commutant introduces no new single-trace operators of a larger region) if and only if C_Y ∩ B = Y, with C_Y = (J^+[Y] ∩ J^-[Y])''; for such regions, causal wedge reconstruction holds: Y_Y = M_{C_Y}. The bulk dual of the GNS-sector dependence is the mismatch between null congruences fired from the boundary into the bulk and those fired from the bulk back to the boundary, which is governed by geodesic focusing and caustics. Theorems 1–5 prove the required causal-structure facts (a Cauchy slice on whi

Load-bearing premise

The bridge from the geometric theorems to the algebra statement is the bulk timelike tube theorem together with the assumption that reflecting boundary conditions at the AdS boundary are provided; if those fail for general smooth asymptotically AdS spacetimes, the identification Y_Y = M_{C_Y} does not follow even though the causal-structure theorems still hold.

Editorial extensions

If this is right

  • For any boundary region satisfying C_Y∩B=Y, causal wedge reconstruction is proven: the single-trace algebra equals the bulk operator algebra of the causal completion.
  • For regions with Y≠Y_max, Y_Y is not a von Neumann algebra; its double commutant corresponds to a strictly larger bulk region, refining earlier conjectures about subregion-subalgebra duality.
  • The commutant statement Y'_Y = M_{C'_Y} (with bulk Haag duality) identifies the bulk causal complement of the wedge with the commutant of the boundary algebra.
  • GNS-sector dependence of von Neumann algebras is governed by caustic formation in bulk null congruences, so different bulk geometries give different sets of reconstructable boundary regions.
  • The proposed finite-N type I extension B_Y with S(B_Y)→S_gen[C_Y], if made precise, would give an algebraic derivation of the generalized second law for horizons whose area changes at leading order.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The criterion suggests a purely geometric shortcut: to decide whether a boundary region's large-N algebra is von Neumann in a given state, one can check whether the generalized causal wedge returns to the boundary at Y—no explicit commutant computation needed.
  • The same geometric condition may serve as a diagnostic for when boundary time-band algebras admit a type III_1 description in the sense of subregion/subalgebra duality, connecting the paper's criterion to emergent spacetime locality.
  • One testable extension: in spherically symmetric collapse or Vaidya-like backgrounds, where caustics and horizon growth are explicit, the nesting of maximal regions Y_{1,max}⊂Y_{2,max} should translate into monotonic generalized entropies at finite N; verifying this would substantiate the Hawking-area-theorem connection.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper considers single-trace operator algebras Y_Y associated with causally convex boundary regions Y in asymptotically AdS spacetimes in the large-N limit. It proposes a sharp criterion: Y_Y admits standard causal-wedge reconstruction and is a von Neumann algebra iff C_Y ∩ B = Y, where C_Y = (J^+[Y] ∩ J^-[Y])'' is the generalized causal wedge. The bulk mechanism is the difference between null congruences fired from the boundary and those fired from the bulk, i.e., caustic formation, which is claimed to be dual to GNS-sector dependence of the boundary algebra. The technical core consists of causal-structure theorems (Thms 1–5) showing that, under suitable assumptions, the timelike envelope X_Y of Y is contained in D[C_Y] and contains a Cauchy slice of it. Theorem 6 then uses the extrapolate dictionary, the bulk timelike tube theorem, the time slice axiom, and Haag duality to conclude Y_Y = M_{D[C_Y]}. A speculative finite-N extension is proposed, with an application to the generalized second law.

Significance. If the main criterion is correct, the paper would provide a precise, falsifiable condition for causal wedge reconstruction and would identify exactly which boundary regions support von Neumann single-trace algebras, tying GNS-sector dependence to a concrete geometric feature (caustics). The paper is valuable for attempting a rigorous formulation and for isolating the causal-structure ingredients; the technical lemmas in Appendix A are a useful self-contained set. The manuscript also explicitly lists its assumptions and contains no fitted parameters. However, the central geometric inclusion X_Y ⊂ D[C_Y] is not proved as written, and the advertised iff is therefore conditional on a missing argument.

major comments (3)
  1. [§2.2, proof of Theorem 5(1)] The proof asserts that because every bulk causal curve with endpoints in Y intersects C_Y (Lemma 9), every inextendible causal curve through any p ∈ J^+[Y] ∩ J^-[Y] intersects C_Y. This is a quantifier shift: Lemma 9 applies only to curves connecting Y^- to Y^+, whereas an arbitrary inextendible curve through p need not have endpoints in Y and may cross the Cauchy slice Σ at a point outside C_Y. Thus the inclusion X_Y ⊂ D[C_Y] is not established. This inclusion is load-bearing: it is used in the central chain (3.2)–(3.3) and in the proof of Theorem 3. Without it, the identification Y_Y = M_{D[C_Y]} does not follow.
  2. [§2.2, proof of Theorem 3(1)] The same flaw appears in the proof that J^+[Y_max] ∩ J^-[Y_max] ⊂ D[C_Y]. The existence of a causal curve from Y_max to p = γ ∩ Σ does not contradict Y_max ⊂ D[C_Y]: the segment from Y_max to p may itself cross C_Y, and the future extension of γ is not shown to avoid C_Y. Hence the construction of the maximal boundary region Y_max with ∂C_Ymax = ∂C_Y is not proved. Since Theorem 6 relies on the max property, this gap is also load-bearing.
  3. [§3, Theorem 6 converse] The converse of Theorem 6 is not proved as written. The proof applies Theorem 4 to obtain a hypersurface C_Y with D[C_Y] ∩ B = Y, but Theorem 4 requires as input an existing acausal hypersurface C~ with D[C~] ∩ B = Y. No such C~ is constructed from the assumption that Y_Y is a von Neumann algebra. The existence of a bulk hypersurface C with D[C] ∩ B = Y is part of what needs to be shown; the proof does not supply it. Thus the 'only if' direction of the main claim is unsupported.
minor comments (4)
  1. [§3, proof of Theorem 6] The text says 'By Theorem 2, X_\tilde{Y} contains a Cauchy slice of D[C_Y]'; the Cauchy-slice statement is Theorem 5(2), not Theorem 2.
  2. [Introduction and §2] The symbol C_Y is overloaded: in (1.3) it denotes the causal completion (J^+[Y]∩J^-[Y])'', while in Theorem 1 and later it denotes the intersection with a Cauchy slice. Please disambiguate, e.g., with different symbols for the slice and its double-prime causal completion.
  3. [§4, first paragraph] Typo: 'fairy straightforward' should be 'fairly straightforward'.
  4. [Footnote 4] The operative definition of 'von Neumann' is a custom one (double commutant introduces no new single-trace operators of a larger region). This differs from the standard weak-closure definition; it would help to state explicitly that the theorem is about this customized notion and to discuss why it is the relevant one for holographic reconstruction.

Circularity Check

1 steps flagged · score 6.0 of 10

The converse ('only if') of the central iff (Theorem 6) is a petitio principii: it derives the existence of a bulk hypersurface with D[C]∩B=Y by invoking Theorem 4, whose hypothesis is exactly that existence claim. Forward reconstruction and the causal-structure theorems remain independent.

  1. other [Section 3, proof of Theorem 6, converse direction (cf. Theorem 4, Section 2.1)]
    "Y_Y = M_Y = M''_Y = M_{X_Y} = M_{D[C_Y]}, where C_Y is the hypersurface satisfying ∂C_Y = ∂J+[Y] ∩ ∂J−[Y] ∪ σ guaranteed by Theorem 4."

    The converse concludes: 'there exists a bulk hypersurface C such that D[C]∩B=Y' (Theorem 6). The proof's only source of that conclusion is Theorem 4, whose hypothesis reads: 'Let C̃ be any closed bulk acausal hypersurface with boundary satisfying D[C̃]∩B=Y' — the very existence claim the converse is supposed to establish. Theorem 1 supplies only the boundary condition ∂C_Y = ∂J+[Y]∩∂J−[Y]∪σ and the inclusion Y ⊆ D[C_Y]∩B; only Theorem 4 supplies the equality D[C_Y]∩B=Y, and only under its hypothesis. No argument derives the hypothesis from the algebraic premise Y_Y = Y''_Y. Thus the geometric conclusion of the 'only if' half of the advertised iff is fed back in as an input (petitio principii).

full rationale

Geometric core is independent: Theorems 1-5 and Lemmas 1-12 derive the causal structure of C_Y (Cauchy slice Σ with ∂C_Y = ∂J+[Y]∩∂J−[Y]∪σ, Y ⊆ D[C_Y]∩B, D[C_Y] = C''_Y) from causal convexity, global hyperbolicity, boundary causality and topological censorship, with no fitted parameters and no reliance on the authors' prior work. Self-citations [9] (subregion/subalgebra duality) and [49] (GNS-sector dependence) frame the problem and supply the motivating examples, but the proof of Theorem 6 invokes only the extrapolate dictionary, the timelike tube theorem [37], the bulk time slice axiom, and the explicitly assumed reflecting boundary conditions at I. Self-citation is thus not load-bearing; there is no fitting, no ansatz smuggled via citation, and no imported uniqueness theorem (on those axes the paper would score 0-2). The circular step is the converse of Theorem 6 — one half of the advertised iff (Introduction (1.3)-(1.5)). It concludes 'there exists a bulk hypersurface C such that D[C]∩B=Y' from 'Y_Y is a von Neumann algebra,' but obtains C_Y by citing Theorem 4, whose stated hypothesis is 'Let C̃ be any closed bulk acausal hypersurface with boundary satisfying D[C̃]∩B=Y' — the same existence claim. Theorem 1 gives only the boundary condition ∂C_Y; Theorem 4's 'Moreover, D[C]∩B=Y' clause supplies the needed equality but only under that hypothesis. No argument derives the hypothesis from the algebraic premise, so the only-if direction feeds its conclusion back in as input. Additional flags, per the reviewing rule (correctness risks, not circularity): (i) Theorem 5(1) proof (Section 2.2): 'Let γ again be a bulk causal curve with endpoints in Y. By lemma 9, γ always intersects C_Y... Thus for any p∈J+[Y]∩J−[Y], every inextendible causal curve through p intersects C_Y.' This shifts quantifiers: Lemma 9 concerns curves that actually join Y− and Y+, whereas D[C_Y] requires every inextendible causal curve through p to meet C_Y; a generic inextendible curve through p need not join Y− and Y+. X_Y ⊂ D[C_Y] is therefore not established, and the chain M_{X_Y}=M_{D[C_Y]} (time slice axiom) used in both directions of Theorem 6 is unsupported. (ii) Forward direction: 'Since Y is also a Ỹ, we must have Y⊆Ŷ' does not follow, and 'we must have Ŷ⊆D[C_Y]∩B=Y, as otherwise we cannot have M_Ŷ=M_{D[C_Y]}' assumes the non-maximal-regions-have-strictly-smaller-algebras fact (contrapositive of Corollary 1), so the 'if' direction leans on the same classification. (iii) Corollary

Assumptions & free parameters 0 free parameters · 8 assumptions · 2 invented entities

No free parameters are fitted: the paper is a derivation from stated causal-structure assumptions plus standard AdS/CFT and algebraic QFT inputs (the map M_Y = Y_Y, bulk Haag duality, timelike tube theorem, time slice axiom). The two invented entities are Y_max, which is derived and checkable, and B_Y, which the authors explicitly label speculative. All assumptions are flagged in Section 1.1 or in the proofs, with the exception of the customized von Neumann definition in footnote 4, which is flagged there.

assumptions (8)
  • domain assumption Bulk causal structure respects boundary causality (boundary-to-boundary causal curves cannot travel faster through the bulk than on the boundary)
    Stated in Section 1.1; used in Lemmas 6, 7, 11 and Theorem 5 to identify C_Y ∩ B with the boundary causal structure of Y. The paper notes this is weaker than the null convergence condition.
  • domain assumption Global hyperbolicity of M∪B and of B; B spatially compact; all Cauchy slices acausal
    Section 1.1 background assumptions for the causal-structure theorems and for Lemma 4's characterization of domains of dependence.
  • domain assumption Extrapolate dictionary M_Y = Y_Y (eq. (3.1))
    Assumed in Section 3; converts the geometric statements into operator-algebra statements in the proof of Theorem 6.
  • domain assumption Timelike tube theorem and bulk time slice axiom hold, with reflecting boundary conditions at the AdS boundary
    Proof of Theorem 6: 'assuming as we do throughout this paper that reflecting boundary conditions at I are provided'; gives M_{D[C_Y]} = M_{X_Y} = M''_Y. The curved-spacetime timelike tube theorem [35-38] is cited as background; applicability to general C-infinity asymptotically AdS spacetimes is not established in this paper.
  • domain assumption Bulk Haag duality
    Assumed for commutant identifications in eqs. (1.2) and (1.6); the paper states the assumption explicitly on page 2.
  • standard math AdS topological censorship
    Cited as [61] and used in the proof of Theorem 5 to equate the timelike envelope X_Y with J+[Y] ∩ J-[Y], and in Lemma 9 for deformations of causal curves.
  • ad hoc to paper Non-degeneracy: no Cauchy slice of M∪B is fully contained in J+[Y] ∩ J-[Y]
    Theorem 1 assumes this to exclude degenerate Y for which C_Y would be a complete Cauchy slice; the paper motivates it as the generic case.
  • domain assumption GNS-sector structure of large-N single-trace algebras (from [49])
    The phenomenon to be explained (state-dependence of the von Neumann property) and the Hilbert-space setup are imported from prior work by Leutheusser-Liu; this paper explains rather than derives that structure.
invented entities (2)
  • Y_max = D[C_Y] ∩ B (maximal boundary region for a given generalized causal wedge) independent evidence
    purpose: Characterizes the largest boundary region with the same causal wedge boundary; regions with Y = Y_max are exactly those where causal wedge reconstruction and the von Neumann property are proven.
    Defined in Theorem 3 from causal structure alone; it yields in-principle checkable predictions about which boundary regions support von Neumann algebras in the large-N field theory (e.g., time bands vs. the two-diamond example of [49]).
  • B_Y (finite-N type I algebra extension of Y_Y)
    purpose: Proposed finite-N algebra whose von Neumann entropy would equal S_gen[C_Y] and yield the generalized second law including leading-order area growth.
    Section 4.1 is explicitly speculative: the paper states it does not know how to construct the regularization, so there is no falsifiable handle outside the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Making of von Neumann Algebras from Bulk Focusing." pith.science (2026). https://pith.science/paper/VJWCTSAC

@misc{pith2026250905413,
  author       = {Pith},
  title        = {Pith review of: The Making of von Neumann Algebras from Bulk Focusing},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VJWCTSAC}},
  note         = {Machine review of arXiv:2509.05413}
}
read the original abstract

The single-trace, infinite-N algebra of an arbitrary region may or may not be a von Neumann algebra depending on the GNS sector. In this paper we identify the holographic dual of this mechanism as a consequence of the focusing of null geodesics; more precisely, this GNS sector-dependence corresponds to the well-known difference between null congruences fired from the bulk and those fired from the boundary. As part of establishing this property, we give a rigorous formulation and proof of causal wedge reconstruction for those general boundary subregions whose single trace algebras support von Neumann algebras at large-N. We discuss a possible finite-N extension and interpretation of our results as an explanation for the Hawking area theorem.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

71 extracted references · 13 canonical work pages

  1. [1]

    Rehren,Algebraic holography,Annales Henri Poincar´ e1(2000) 607–623, [http://arXiv.org/abs/hep-th/9905179]

    K.-H. Rehren,Algebraic holography,Annales Henri Poincar´ e1(2000) 607–623, [http://arXiv.org/abs/hep-th/9905179]

    arXiv 2000

  2. [2]

    Local Quantum Observables in the Anti-deSitter - Conformal QFT Correspondence

    K.-H. Rehren,Local quantum observables in the anti-deSitter - conformal QFT correspondence,Phys. Lett.B493(2000) 383–388, [http://arXiv.org/abs/hep-th/0003120]

    work page Pith review arXiv 2000

  3. [3]

    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]

    arXiv 2017

  4. [4]

    Engelhardt and A

    N. Engelhardt and A. C. Wall,Coarse Graining Holographic Black Holes,JHEP05 (2019) 160, [arXiv:1806.01281]

    arXiv 2019

  5. [5]

    Kamal and G

    H. Kamal and G. Penington,The Ryu-Takayanagi Formula from Quantum Error Correction: An Algebraic Treatment of the Boundary CFT,arXiv:1912.02240

    arXiv 1912

  6. [6]

    Faulkner,The holographic map as a conditional expectation,arXiv:2008.04810

    T. Faulkner,The holographic map as a conditional expectation,arXiv:2008.04810

    arXiv 2008

  7. [7]

    Leutheusser and H

    S. Leutheusser and H. Liu,Causal connectability between quantum systems and the black hole interior in holographic duality,arXiv:2110.05497

    arXiv

  8. [8]

    Leutheusser and H

    S. Leutheusser and H. Liu,Emergent times in holographic duality,arXiv:2112.12156

    arXiv

Show all 71 references
  1. [9]

    Leutheusser and H

    S. Leutheusser and H. Liu,Subalgebra-subregion duality: emergence of space and time in holography,arXiv:2212.13266

    arXiv

  2. [10]

    Witten,Gravity and the crossed product,JHEP10(2022) 008, [arXiv:2112.12828]

    E. Witten,Gravity and the crossed product,JHEP10(2022) 008, [arXiv:2112.12828]. – 23 –

    2022 arXiv

  3. [11]

    Chandrasekaran, G

    V. Chandrasekaran, G. Penington, and E. Witten,Large N algebras and generalized entropy,arXiv:2209.10454

    arXiv

  4. [12]

    Chandrasekaran, R

    V. Chandrasekaran, R. Longo, G. Penington, and E. Witten,An algebra of observables for de Sitter space,JHEP02(2023) 082, [arXiv:2206.10780]

    2023 arXiv

  5. [13]

    Faulkner and M

    T. Faulkner and M. Li,Asymptotically isometric codes for holography, arXiv:2211.12439

    arXiv

  6. [14]

    Jensen, J

    K. Jensen, J. Sorce, and A. Speranza,Generalized entropy for general subregions in quantum gravity,arXiv:2306.01837

    arXiv

  7. [15]

    Kudler-Flam, S

    J. Kudler-Flam, S. Leutheusser, and G. Satishchandran,Generalized Black Hole Entropy is von Neumann Entropy,arXiv:2309.15897

    arXiv

  8. [16]

    Engelhardt and H

    N. Engelhardt and H. Liu,Algebraic ER=EPR and complexity transfer,JHEP07 (2024) 013, [arXiv:2311.04281]

    2024 arXiv

  9. [17]

    Bousso, B

    R. Bousso, B. Freivogel, S. Leichenauer, V. Rosenhaus, and C. Zukowski,Null Geodesics, Local CFT Operators and AdS/CFT for Subregions,Phys.Rev.D88(2013) 064057, [arXiv:1209.4641]

    2013 arXiv

  10. [18]

    Czech, J

    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]

    2012 arXiv

  11. [19]

    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]

    2014 arXiv

  12. [20]

    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]

    2016 arXiv

  13. [21]

    Cotler, P

    J. Cotler, P. Hayden, G. Penington, G. Salton, B. Swingle, and M. Walter, Entanglement Wedge Reconstruction via Universal Recovery Channels,Phys. Rev. X9 (2019), no. 3 031011, [arXiv:1704.05839]

    2019 arXiv

  14. [22]

    Hayden and G

    P. Hayden and G. Penington,Learning the Alpha-bits of Black Holes,JHEP12(2019) 007, [arXiv:1807.06041]

    2019 arXiv

  15. [23]

    Banks, M

    T. Banks, M. R. Douglas, G. T. Horowitz, and E. J. Martinec,AdS dynamics from conformal field theory,hep-th/9808016

    arXiv

  16. [24]

    Bena,On the construction of local fields in the bulk of AdS(5) and other spaces, Phys

    I. Bena,On the construction of local fields in the bulk of AdS(5) and other spaces, Phys. Rev.D62(2000) 066007, [hep-th/9905186]

    2000 arXiv

  17. [25]

    Balasubramanian, P

    V. Balasubramanian, P. Kraus, and A. E. Lawrence,Bulk versus boundary dynamics in anti-de Sitter space-time,Phys. Rev.D59(1999) 046003, [hep-th/9805171]. – 24 –

    1999 arXiv

  18. [26]

    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

  19. [27]

    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

  20. [28]

    Kabat, G

    D. Kabat, G. Lifschytz, and D. A. Lowe,Constructing local bulk observables in interacting AdS/CFT,Phys. Rev. D83(2011) 106009, [arXiv:1102.2910]

    2011 arXiv

  21. [29]

    Heemskerk,Construction of Bulk Fields with Gauge Redundancy,JHEP09(2012) 106, [arXiv:1201.3666]

    I. Heemskerk,Construction of Bulk Fields with Gauge Redundancy,JHEP09(2012) 106, [arXiv:1201.3666]

    2012 arXiv

  22. [30]

    Heemskerk, D

    I. Heemskerk, D. Marolf, J. Polchinski, and J. Sully,Bulk and Transhorizon Measurements in AdS/CFT,JHEP10(2012) 165, [arXiv:1201.3664]

    2012 arXiv

  23. [31]

    Papadodimas and S

    K. Papadodimas and S. Raju,An Infalling Observer in AdS/CFT,arXiv:1211.6767

    arXiv

  24. [32]

    I. A. Morrison,Boundary-to-bulk maps for AdS causal wedges and the Reeh-Schlieder property in holography,JHEP05(2014) 053, [arXiv:1403.3426]

    2014 arXiv

  25. [33]

    Engelhardt, G

    N. Engelhardt, G. Penington, and A. Shahbazi-Moghaddam,A World without Pythons would be so Simple,arXiv:2102.07774

    arXiv

  26. [34]

    Witten,Algebras, regions, and observers.,Proc

    E. Witten,Algebras, regions, and observers.,Proc. Symp. Pure Math.107(2024) 247–276, [arXiv:2303.02837]

    2024 arXiv

  27. [35]

    H. J. Borchers, ¨Uber die vollst¨ andigkeit lorentzinvarianter felder in einer zeitartigen r¨ ohre,Il Nuovo Cimento (1955-1965)19(1961), no. 4 787–793

    1955

  28. [36]

    Araki,A generalization of borchers theorem,Helvetica Physica Acta (Switzerland) V ol: 36(12, 1962)

    H. Araki,A generalization of borchers theorem,Helvetica Physica Acta (Switzerland) V ol: 36(12, 1962)

    1962

  29. [37]

    Strohmaier and E

    A. Strohmaier and E. Witten,The Timelike Tube Theorem in Curved Spacetime, Commun. Math. Phys.405(2024), no. 7 153, [arXiv:2303.16380]

    2024 arXiv

  30. [38]

    Strohmaier,On the local structure of the Klein-Gordon field on curved space-times, Lett

    A. Strohmaier,On the local structure of the Klein-Gordon field on curved space-times, Lett. Math. Phys.54(2000) 249–261, [math-ph/0008043]

    2000 arXiv

  31. [39]

    S. W. Hawking,Gravitational radiation from colliding black holes,Phys. Rev. Lett.26 (1971) 1344–1346

    1971

  32. [40]

    Bousso,A covariant entropy conjecture,JHEP07(1999) 004, [hep-th/9905177]

    R. Bousso,A covariant entropy conjecture,JHEP07(1999) 004, [hep-th/9905177]

    1999 arXiv

  33. [41]

    Bousso and N

    R. Bousso and N. Engelhardt,New Area Law in General Relativity,Phys. Rev. Lett. 115(2015), no. 8 081301, [arXiv:1504.07627]

    2015 arXiv

  34. [42]

    Bousso and N

    R. Bousso and N. Engelhardt,Proof of a New Area Law in General Relativity,Phys. Rev.D92(2015), no. 4 044031, [arXiv:1504.07660]

    2015 arXiv

  35. [43]

    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]. – 25 –

    2018 arXiv

  36. [44]

    Engelhardt and A

    N. Engelhardt and A. C. Wall,No Simple Dual to the Causal Holographic Information?,JHEP04(2017) 134, [arXiv:1702.01748]

    2017 arXiv

  37. [45]

    Harlow, S

    D. Harlow, S. H. Shao, J. Sorce, and M. Srivastava,Disjoint additivity and local quantum physics,to appear(2025)

    2025

  38. [46]

    Banerjee, J.-W

    S. Banerjee, J.-W. Bryan, K. Papadodimas, and S. Raju,A toy model of black hole complementarity,JHEP05(2016) 004, [arXiv:1603.02812]

    2016 arXiv

  39. [47]

    Gesteau and H

    E. Gesteau and H. Liu,Toward stringy horizons,arXiv:2408.12642

    arXiv

  40. [48]

    Jensen, S

    K. Jensen, S. Raju, and A. J. Speranza,Holographic observers for time-band algebras, JHEP06(2025) 242, [arXiv:2412.21185]

    2025 arXiv

  41. [49]

    Leutheusser and H

    S. Leutheusser and H. Liu,Superadditivity in large N field theories and performance of quantum tasks,Phys. Rev. D112(2025), no. 4 046001, [arXiv:2411.04183]

    2025 arXiv

  42. [50]

    A. C. Wall,Ten Proofs of the Generalized Second Law,JHEP06(2009) 021, [arXiv:0901.3865]

    2009 arXiv

  43. [51]

    A. C. Wall,A Proof of the generalized second law for rapidly-evolving Rindler horizons, Phys.Rev.D82(2010) 124019, [arXiv:1007.1493]

    2010 arXiv

  44. [52]

    A. C. Wall,A proof of the generalized second law for rapidly changing fields and arbitrary horizon slices,Phys.Rev.D85(2012), no. 6 104049, [arXiv:1105.3445]

    2012 arXiv

  45. [53]

    Faulkner and A

    T. Faulkner and A. J. Speranza,Gravitational algebras and the generalized second law, JHEP11(2024) 099, [arXiv:2405.00847]

    2024 arXiv

  46. [54]

    Gao and R

    S. Gao and R. M. Wald,Theorems on gravitational time delay and related issues, Class. Quant. Grav.17(2000) 4999–5008, [gr-qc/0007021]

    2000 arXiv

  47. [55]

    Engelhardt and S

    N. Engelhardt and S. Fischetti,The Gravity Dual of Boundary Causality,Class. Quant. Grav.33(2016), no. 17 175004, [arXiv:1604.03944]

    2016 arXiv

  48. [56]

    R. M. Wald,General Relativity. The University of Chicago Press, Chicago, 1984

    1984

  49. [57]

    Bostelmann, C

    H. Bostelmann, C. J. Fewster, and M. H. Ruep,Impossible measurements require impossible apparatus,Phys. Rev. D103(2021), no. 2 025017, [arXiv:2003.04660]

    2021 arXiv

  50. [58]

    V. E. Hubeny,Covariant Residual Entropy,JHEP09(2014) 156, [arXiv:1406.4611]

    2014 arXiv

  51. [59]

    Balasubramanian, B

    V. Balasubramanian, B. Czech, B. D. Chowdhury, and J. de Boer,The entropy of a hole in spacetime,JHEP1310(2013) 220, [arXiv:1305.0856]

    2013 arXiv

  52. [60]

    Balasubramanian, B

    V. Balasubramanian, B. D. Chowdhury, B. Czech, J. de Boer, and M. P. Heller,Bulk curves from boundary data in holography,Phys.Rev.D89(2014), no. 8 086004, [arXiv:1310.4204]

    2014 arXiv

  53. [61]

    G. J. Galloway, K. Schleich, D. Witt, and E. Woolgar,The AdS / CFT correspondence conjecture and topological censorship,Phys. Lett.B505(2001) 255–262, [hep-th/9912119]. – 26 –

    2001 arXiv

  54. [62]

    Leutheusser and H

    S. Leutheusser and H. Liu,Volume as an index of a subalgebra,arXiv:2508.00056

    arXiv

  55. [63]

    Susskind and J

    L. Susskind and J. Uglum,Black hole entropy in canonical quantum gravity and superstring theory,Phys. Rev. D50(1994) 2700–2711, [hep-th/9401070]

    1994 arXiv

  56. [64]

    Jacobson,Black hole entropy and induced gravity,gr-qc/9404039

    T. Jacobson,Black hole entropy and induced gravity,gr-qc/9404039

    arXiv

  57. [65]

    Larsen and F

    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]

    1996 arXiv

  58. [66]

    S. N. Solodukhin,Entanglement entropy of black holes,Living Rev. Rel.14(2011) 8, [arXiv:1104.3712]

    2011 arXiv

  59. [67]

    J. H. Cooperman and M. A. Luty,Renormalization of Entanglement Entropy and the Gravitational Effective Action,JHEP12(2014) 045, [arXiv:1302.1878]

    2014 arXiv

  60. [68]

    Bousso, Z

    R. Bousso, Z. Fisher, S. Leichenauer, and A. C. Wall,Quantum focusing conjecture, Phys. Rev.D93(2016), no. 6 064044, [arXiv:1506.02669]

    2016 arXiv

  61. [69]

    J. D. Bekenstein,Black holes and the second law,Nuovo Cim. Lett.4(1972) 737–740

    1972

  62. [70]

    A. N. Bernal and M. Sanchez,Further results on the smoothability of Cauchy hypersurfaces and Cauchy time functions,Lett. Math. Phys.77(2006) 183–197, [gr-qc/0512095]

    2006 arXiv

  63. [71]

    Headrick, V

    M. Headrick, V. E. Hubeny, A. Lawrence, and M. Rangamani,Causality & holographic entanglement entropy,JHEP12(2014) 162, [arXiv:1408.6300]. – 27 –

    2014 arXiv

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.