Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

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.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-05 05:27 UTC pith:VJWCTSAC

load-bearing objection 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. the 3 major comments →

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

The Making of von Neumann Algebras from Bulk Focusing

Netta Engelhardt , Hong Liu This is my paper
classification hep-th gr-qc
keywords AdS/CFTvon Neumann algebrascausal wedge reconstructionnull geodesic focusingcausticsGNS sector dependencesubregion-subalgebra dualitytimelike tube theorem
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

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.

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

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.

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.

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 this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

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.

Where Pith is reading between the lines

These are 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, 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

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.

specific steps
  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

Axiom & Free-Parameter Ledger

0 free parameters · 8 axioms · 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.

axioms (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) no independent evidence
    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.

pith-pipeline@v1.4.0-alltime-deepseek-medium · 19186 in / 34066 out tokens · 328583 ms · 2026-08-05T05:27:12.187172+00:00 · methodology

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}
}
Share X Bluesky LinkedIn Reddit HN
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 with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Single-Sided Black Holes in Double-Scaled SYK Model and No Man's Island

    hep-th 2025-11 unverdicted novelty 6.0

    In the double-scaled SYK model with an end-of-the-world brane, the boundary algebra for a single-sided black hole is a type II1 von Neumann factor with non-trivial commutant, preventing full bulk reconstruction and cr...

Reference graph

Works this paper leans on

71 extracted references · 13 canonical work pages · cited by 1 Pith paper · 8 internal anchors

  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]

    Pith/arXiv 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 internal anchor Pith review Pith/arXiv 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]

    Pith/arXiv arXiv 2017

  4. [4]

    Engelhardt and A

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

    Pith/arXiv 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

    Pith/arXiv 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

    Pith/arXiv 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

    Pith/arXiv arXiv

  8. [8]

    Leutheusser and H

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

    Pith/arXiv arXiv

  9. [9]

    Leutheusser and H

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

    Pith/arXiv arXiv

  10. [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 –

    Pith/arXiv arXiv 2022

  11. [11]

    Chandrasekaran, G

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

    Pith/arXiv arXiv

  12. [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]

    Pith/arXiv arXiv 2023

  13. [13]

    Faulkner and M

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

    Pith/arXiv arXiv

  14. [14]

    Jensen, J

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

    Pith/arXiv arXiv

  15. [15]

    Kudler-Flam, S

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

    Pith/arXiv arXiv

  16. [16]

    Engelhardt and H

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

    Pith/arXiv arXiv 2024

  17. [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]

    Pith/arXiv arXiv 2013

  18. [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]

    Pith/arXiv arXiv 2012

  19. [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]

    Pith/arXiv arXiv 2014

  20. [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]

    Pith/arXiv arXiv 2016

  21. [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]

    Pith/arXiv arXiv 2019

  22. [22]

    Hayden and G

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

    Pith/arXiv arXiv 2019

  23. [23]

    Banks, M

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

    Pith/arXiv arXiv

  24. [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]

    Pith/arXiv arXiv 2000

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

    Pith/arXiv arXiv 1999

  26. [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]

    Pith/arXiv arXiv 2006

  27. [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]

    Pith/arXiv arXiv 2006

  28. [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]

    Pith/arXiv arXiv 2011

  29. [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]

    Pith/arXiv arXiv 2012

  30. [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]

    Pith/arXiv arXiv 2012

  31. [31]

    Papadodimas and S

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

    Pith/arXiv arXiv

  32. [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]

    Pith/arXiv arXiv 2014

  33. [33]

    Engelhardt, G

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

    Pith/arXiv arXiv

  34. [34]

    Witten,Algebras, regions, and observers.,Proc

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

    Pith/arXiv arXiv 2024

  35. [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

    work page 1955

  36. [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)

    work page 1962

  37. [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]

    Pith/arXiv arXiv 2024

  38. [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]

    Pith/arXiv arXiv 2000

  39. [39]

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

    work page 1971

  40. [40]

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

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

    Pith/arXiv arXiv 1999

  41. [41]

    A New Area Law in General Relativity

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

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  42. [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]

    Pith/arXiv arXiv 2015

  43. [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 –

    Pith/arXiv arXiv 2018

  44. [44]

    No Simple Dual to the Causal Holographic Information?

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

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  45. [45]

    Harlow, S

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

    work page 2025

  46. [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]

    Pith/arXiv arXiv 2016

  47. [47]

    Gesteau and H

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

    Pith/arXiv arXiv

  48. [48]

    Jensen, S

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

    Pith/arXiv arXiv 2025

  49. [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]

    Pith/arXiv arXiv 2025

  50. [50]

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

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  51. [51]

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

    Pith/arXiv arXiv 2010

  52. [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]

    Pith/arXiv arXiv 2012

  53. [53]

    Faulkner and A

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

    Pith/arXiv arXiv 2024

  54. [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]

    Pith/arXiv arXiv 2000

  55. [55]

    The Gravity Dual of Boundary Causality

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

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  56. [56]

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

    1984

  57. [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]

    Pith/arXiv arXiv 2021

  58. [58]

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

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  59. [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]

    Pith/arXiv arXiv 2013

  60. [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]

    Pith/arXiv arXiv 2014

  61. [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 –

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  62. [62]

    Leutheusser and H

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

    Pith/arXiv arXiv

  63. [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]

    Pith/arXiv arXiv 1994

  64. [64]

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

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

    Pith/arXiv arXiv

  65. [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]

    Pith/arXiv arXiv 1996

  66. [66]

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

    Pith/arXiv arXiv 2011

  67. [67]

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

    Pith/arXiv arXiv 2014

  68. [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]

    Pith/arXiv arXiv 2016

  69. [69]

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

    work page 1972

  70. [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]

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  71. [71]

    Headrick, V

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

    Pith/arXiv arXiv 2014