Pith. sign in

REVIEW 2 major objections 3 minor 48 references

For an admissible region in global dS2, the fundamental complement is determined by the largest complementary gap: a gap contributes iff its length is at least π, and at most one gap can contribute.

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-01 00:32 UTC pith:5W5H752W

load-bearing objection Clean, genuinely new geometry results; the operator-algebraic model is honest but the advertised JT framing and the activation discontinuity are partly conventions rather than derived gravitational facts. the 2 major comments →

arxiv 2607.26194 v1 pith:5W5H752W submitted 2026-07-28 hep-th math-phmath.MP

Toward an Observable Algebra for JT-de Sitter Space: Gap Protection and Modular Dressings

Hassan ElSayed This is my paper
classification hep-th math-phmath.MP
keywords fundamental complementgap protectionglobal de Sitter spaceoperator algebrascrossed productmodular flowchiral conformal netactivation
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.

This paper asks, in a closed, positively curved universe, which degrees of freedom must remain complementary to a given spatial region. Working on the time-symmetric circle of global two-dimensional de Sitter space, it proves that the answer is governed by a single gap in the region's complement: a complementary gap contributes to the fundamental complement—the causal completion of all infinitely long timelike curves in the complement—precisely when it spans at least half the circle, and at most one gap can do this. The paper then builds a model of regional observables by dressing each region's algebra with an auxiliary clock, and finds that the natural vacuum-modular dressing fails to nest under inclusion; a split-product-state dressing restores nesting on a fixed finite family of arcs. Finally, a commutant-based model assigns to each region the part of a reference algebra that commutes with its protected gap's algebra; a protected gap overlapping the reference arc makes the assignment a proper subalgebra, while adding an arbitrarily short antipodal arc removes the gap and jumps the assignment to the full reference algebra.

Core claim

Central claims: (1) In global dS2, the spacetime fundamental complement of an admissible region's domain of dependence is the domain of dependence of exactly those complementary gaps of angular length at least π; at most one such gap exists, so the largest gap decides. (2) In the shared-clock representation, dressed continuous cores nest exactly when the larger region's vacuum modular flow restricts to the smaller one's; vacuum correlations break this whenever v adds a nonempty spacelike arc, so vacuum dressings are not isotonic. (3) In the commutant model A_model(a)=M(A~)'∩M_ref, a protected gap overlapping the reference arc yields a proper subalgebra, and for a=(0,δ)∪(π,π+ε) the assignment

What carries the argument

The central objects are the fundamental complement (the causal completion of all points on infinitely long timelike curves in the causal complement); the half-circle gap-protection threshold; the shared-clock continuous core, obtained by cutting each region's crossed product with an auxiliary L^2(R) clock by the projection P=1_[0,∞)(h); and the commutant assignment A_model(a)=M(A~)'∩M_ref. The inclusion criterion reduces nesting of dressed cores to exact restriction of the larger region's vacuum modular flow, equivalently to existence of a vacuum-preserving conditional expectation. The model assignment turns the geometric gap rule into an operator statement: protected gaps impose commuting s

Load-bearing premise

The paper's algebraic results rest on treating the abstract chiral-net model with its shared auxiliary clock, the positive-spectrum cut, and the convention that an empty fundamental complement gives the trivial algebra, as a faithful stand-in for the gravitational sector—assumptions the paper itself flags as unproven, since the clock is auxiliary rather than derived from the gravity phase space and a full realization would require additional matter and embedding structure.

What would settle it

Enumerate all finite unions of open arcs on S^1 and compare the predicted fundamental complement (gaps at least π) with the causal completion of points on complete timelike curves: any configuration with two protected gaps, or with a gap below π contributing, would falsify the geometric theorem. On the operator side, exhibit a nested pair u⊂v with v\u containing an open arc for which a vacuum-preserving normal conditional expectation from the larger to the smaller algebra exists; that would falsify the inclusion obstruction.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • In global dS2, checking whether a region has a nontrivial fundamental complement reduces to measuring its largest complementary gap: only gaps of length at least π matter, and there can be at most one.
  • Because the protected gap is unique, the spacetime fundamental complement equals the domain of dependence of its own spatial trace, so multi-interval geometry collapses to a single-arc problem.
  • For dressed regional algebras, isotony is equivalent to exact modular-flow restriction; therefore any consistent gravitational realization must supply inclusion-compatible modular data rather than per-region vacuum modular flows.
  • In the commutant model, adding an arbitrarily short antipodal arc to a short arc changes the assigned algebra discontinuously from a proper subalgebra to the full reference algebra, demonstrating that the model region-to-algebra map is not continuous in region size.
  • A matching condition identifies the target of semiclassical reconstruction with A_model(a), so the model gives a concrete algebraic candidate for the generalized entanglement wedge of a gravitating region in a closed universe.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the half-circle gap rule is right, path-integral 'hollowing' prescriptions for generalized entanglement wedges should reduce to the same largest-gap criterion in dS2; one could test this by computing holograms for two-arc regions in the semiclassical limit.
  • The inclusion obstruction suggests that any region-wise algebraic construction in a closed universe needs a global compatibility datum—a shared physical clock or a globally defined split state—rather than local modular data; a natural next step is to see whether the split-state dressing can be extended to moving endpoints without extra data.
  • The activation discontinuity may be a signature that tiny matter additions near the antipode can sharply change the algebraic description of a region; in a full gravitational theory this could appear as a discontinuity in relative entropy or code-subspace structure, and a gravitational calculation could look for it.
  • Because the activation result uses the convention that an empty fundamental complement corresponds to the trivial algebra C1, a gravitational derivation that assigns a nontrivial algebra to emptiness might restore continuity; comparing conventions is a concrete test of the model's robustness.

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

2 major / 3 minor

Summary. This paper combines a geometric classification of fundamental complements in global dS_2 with an operator-algebraic model. For an admissible finite-union-of-arcs a ⊂ S^1, Theorem 2.5 shows that the fundamental complement of D(a) is the domain of dependence of the unique complementary gap of angular length at least π. Section 2.4 extends the threshold to containment of an open hemisphere in higher dimensions. The algebraic part introduces a common-clock representation in which each region is crossed with its vacuum modular flow on a shared L^2(R) clock, and proves an exact inclusion criterion for the resulting continuous cores (Theorem 4.2), an obstruction from vacuum correlations (Proposition 4.5), and an isotonic split-state dressing on a fixed Boolean family. Section 5 defines the ambient-commutant model A_model(a) = M(˜A)' ∩ M_ref with M(∅) = C1, proves properness for overlapping protected gaps, and exhibits a two-arc family whose assigned algebra jumps discontinuously to M_ref when an arbitrarily short antipodal arc is added. Appendix C derives a classical JT constraint relation Q_R^JT = H_R^mat. The paper is explicit that the clock and the commutant model are auxiliary and that a full JT realization requires additional structure.

Significance. The geometric gap-protection rule is simple, exact, and parameter-free; if it stands, it gives a sharp criterion for when a complementary gap contributes to the fundamental complement, reducing the multi-interval problem to the largest gap. Theorem 4.2 is a clean operator-algebraic criterion, Proposition 4.5 identifies a genuine obstruction to isotony of independently dressed cores, and Lemma 5.4 is nontrivial and carefully proved. These are solid contributions with no fitted parameters. The activation phenomenon, however, is a property of the model's chosen convention for an empty fundamental complement, and the JT interpretation remains conditional; the paper's own caveats in Sections 1.2 and C.8 are to its credit, but they limit the advertised physical conclusion.

major comments (2)
  1. [Eq. (56), Def. 5.6(ii), Thm. 5.10] The second equality in Theorem 5.10, A_model(a) = M_ref, follows directly from the convention M(∅) = C1 in Eq. (56), together with (C1)' ∩ M_ref = M_ref. The discontinuity is therefore fixed by the chosen empty-complement branch, not derived from the gravitational sector. If M(∅) were assigned M_ref, the second equality in (64) would fail; with another assignment the jump would go to a different algebra. Since Section C.8 explicitly states that the auxiliary clock is not a gravitational clock and that a JT realization requires an anomaly-free matter theory, a gravitational clock, and coherent regional embeddings, the activation claim as advertised in the abstract overstates its physical status. Please either justify the M(∅) branch from the hologram/fundamental-complement principle or explicitly reframe Theorem 5.10 as a convention-dependent model result in the abstract, introduction, an
  2. [Lemma 2.7, Eqs. (17)-(18)] Lemma 2.7 states that (η,q) ∈ D(g) iff B_η(q) ⊆ g, with B_η the open geodesic ball. This is false in the equality case. For example, take g = B_θ(p) with dist(p,q) + η = θ. Then the open ball B_η(q) is contained in g, but a null curve from (η,q) to a point at distance η from q lying on the boundary of g fails to meet g, so (η,q) ∉ D(g). The correct condition is containment of the closed ball B̄_η(q) ⊆ g; the proof itself uses the closed ball in the converse direction. Relatedly, the last line of the proof asserts B_η(q) ⊆ B_θ(p) iff dist(p,q) + η < θ, whereas for open balls containment holds under ≤. Proposition 2.8 can likely be repaired by choosing η_n > θ + dist(p,q_n) for closed-ball containment, but Lemma 2.7 as stated is wrong. This affects the higher-dimensional claim in the abstract; the d = 2 theorem is unaffected because Section 2.4 is not used below.
minor comments (3)
  1. [Section 1.1, Section 2.3] The gap-protection rule is called 'Definition 2.5' in Section 1.1 but is stated as 'Theorem 2.5' in Section 2.3. Please make the cross-references consistent.
  2. [Section 5.4.2] The text refers to 'Definition 5.6(ii)' for the empty-complement branch, but the numbered statement is Proposition 5.6. Please correct the reference.
  3. [Section 2.4] The symbol q is used for both the sphere coordinate in Section 2.4 and the clock coordinate in Section 3.4. The warning in the text is helpful, but the double use remains potentially confusing; a different symbol for one of the two would improve readability.

Circularity Check

1 steps flagged

Activation is enforced by the M(∅)=C1 convention, not derived; the geometric gap theorem and inclusion criterion remain independent.

specific steps
  1. self definitional [Section 5.1, Eq. (56); Lemma 5.1; Definition 5.6(ii); Theorem 5.10 proof]
    "Amodel(a) :=M( ˜A)′∩M ref ... and M(∅) = C1. ... With M(∅) = C1, it assigns M ref to an empty fundamental complement. ... (ii) if ˜A=∅, then A model(a) =M ref. ... The empty-complement endpoint is fixed by definition in Definition 5.6(ii)."

    The advertised activation discontinuity is not derived from the fundamental-complement principle or from the gravitational sector. The second equality in Theorem 5.10, Amodel(a)=Mref, holds solely because the model definition fixes M(∅)=C1, making (C1)′∩Mref = Mref. The paper explicitly states that this endpoint is 'fixed by definition.' Thus the 'prediction' that adding an arbitrarily short antipodal arc jumps the algebra to Mref is built into the assignment by construction, not a consequence of the gap theorem or of the commutant analysis.

full rationale

The geometric gap theorem (Thm 2.5) is derived from the definitions of domains of dependence, timelike curves, and causal complements, with explicit proofs (Lemma 2.3, Prop 2.4). The shared-clock inclusion criterion (Thm 4.2) is proven from modular theory and Takesaki's theorem, with no fitted parameters or imported self-citations. The properness result (Cor 5.5) is a genuine non-commutation argument. The only circular step is the empty-fundamental-complement branch of the commutant model: M(∅)=C1 in Definition 5.6(ii) is a convention, and the activation theorem's Mref equality follows from that convention by construction. The paper is honest about this, stating in Section 5.1 and Definition 5.9 that the empty-complement endpoint is fixed by definition. It also honestly limits its JT claim in Section C.8: the auxiliary clock is not a gravitational clock and a JT realization requires additional structure not supplied. These are scope limitations rather than circularity, except for the convention-dependent activation result. No other load-bearing circularity was found; self-citations such as [24] are not used to justify the main derivations.

Axiom & Free-Parameter Ledger

0 free parameters · 8 axioms · 1 invented entities

No numerical parameters are fitted. The construction's freedom lies in modeling axioms: the chiral net, strong additivity and split property, the shared auxiliary clock, the positive-clock projection, the choice of reference arc, and the empty-complement convention that determines activation.

axioms (8)
  • domain assumption Möbius-covariant chiral conformal net axioms: isotony, locality, irreducibility, positive energy, invariant vacuum, and A_CFT(R) ≠ C1.
    Assumption 3.3; supplies type-III1 local algebras, Reeh–Schlieder, and Bisognano–Wichmann modular flow.
  • domain assumption Strong additivity and split property hold for the net.
    Assumption 3.3(iii); needed for endpoint filling, tensor-product factorization of disconnected regions, and the split-state dressing.
  • domain assumption Bousso–Kaya definition of fundamental complement and their hologram theorem.
    Section 2.2 and Proposition 5.7 adopt [14]; the geometric theorem is built on this definition and the hologram endpoint result is cited, not re-derived.
  • ad hoc to paper Auxiliary clock representation L2(R,dq) with generator h and projection P = 1_[0,∞)(h), shared by all regions.
    Section 3.4; the paper states the clock is auxiliary and not a gravitational clock; all regional crossed products use the same clock.
  • ad hoc to paper Reference static-patch arc R = (−π/2, π/2) and positive-clock corner M_ref.
    Sections 3.1 and 3.4; model outcomes depend on this choice, with only simultaneous-rotation covariance.
  • ad hoc to paper Model convention M(∅) = C1 in the ambient-commutant assignment.
    Definition 5.1 and Definition 5.6(ii); this convention makes an empty fundamental complement assign the full reference algebra and drives the activation result.
  • domain assumption For the JT comparison, the matter sector is a full non-chiral unitary CFT with anomaly-free coupling and c_L = c_R.
    Assumption 3.10(a); used only in Section 3.3, Section 6, and Appendix C, not in the central algebraic-model theorems.
  • standard math Standard theorems: Bisognano–Wichmann for Möbius nets, Takesaki continuous core, Takesaki conditional-expectation theorem, and type-III1 classification results.
    Used in Lemmas 3.1, 3.5, Proposition 3.15, and Theorem 4.2; cited to [28], [33], and [29].
invented entities (1)
  • Shared auxiliary modular clock (q, h, P = 1_[0,∞)(h)) no independent evidence
    purpose: Place all regional crossed products in one ambient Hilbert space and construct the type-II1 corners M(D(u)) and M_ref.
    Section 3.4; introduced purely for representation. The paper explicitly says it is not a gravitational clock and that a JT realization would require a physical clock.

pith-pipeline@v1.3.0-alltime-deepseek · 30357 in / 21925 out tokens · 213167 ms · 2026-08-01T00:32:19.992880+00:00 · methodology

0 comments
read the original abstract

We investigate the relation between fundamental complements and regional operator algebras in global de Sitter space. For a finite union of open arcs on the time-symmetric circle of global dS$_2$, we show that the fundamental complement is determined by the largest complementary gap: a gap contributes precisely when its angular length is at least {\pi}, and at most one gap can do so. In higher-dimensional global de Sitter space, the corresponding criterion is containment of an open hemisphere. We then study the operator-algebraic consequences in an abstract M\"obius-covariant chiral conformal net. Each regional algebra is crossed with its vacuum modular flow using a shared auxiliary clock. We derive an exact criterion for inclusions between the resulting continuous cores and show that vacuum correlations obstruct this criterion when the larger region contains an additional spacelike arc. A compatible family can nevertheless be obtained on the finite Boolean algebra generated by a fixed collection of separated arcs by using a split product state. Motivated by the holograms prescription of Bousso and Penington, we introduce a representation-dependent commutant model for regional algebras. When the protected gap overlaps a fixed reference arc, the assigned algebra is a proper von Neumann subalgebra of the reference Type-II$_1$ factor. For an explicit two-arc family, adding an arbitrarily short antipodal component removes the fundamental complement and changes the assigned algebra discontinuously to the full reference algebra.

Figures

Figures reproduced from arXiv: 2607.26194 by Hassan ElSayed.

Figure 1
Figure 1. Figure 1: Penrose diagrams of global dS2 illustrating geometric gap protection (Definition 2.5). The Cauchy slice Σ0 = S 1 sits at η = 0 and light rays propagate at 45◦ ; open circles indicate that the gaps are open arcs. (a) A complementary gap b of angular length β = 1.2π ≥ π has a domain of dependence D(b) of full conformal height ∆η = π that meets both conformal boundaries I ±. It contains timelike curves of inf… view at source ↗
Figure 2
Figure 2. Figure 2: The activation effect. (a) A short arc a1 = (0, δ) leaves one protected gap a ⊥ 1 = (δ, 2π), and Amodel(a1) is a proper von Neumann subalgebra of Mref by Definition 5.5. (b) A short antipodal arc a2 = (π, π + ε) splits that gap into the two open arcs b1 = (δ, π) and b2 = (π + ε, 2π), both of angular length below the threshold π. The fundamental complement is then empty and the definition (56) assigns the w… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

48 extracted references · 3 canonical work pages

  1. [1]

    Maldacena

    Juan M. Maldacena. The largeN limit of superconformal field theories and supergrav- ity.Adv. Theor. Math. Phys., 2(2):231–252, 1998. doi: 10.4310/ATMP.1998.v2.n2.a1. arXiv:hep-th/9711200

    Pith/arXiv arXiv 1998

  2. [2]

    S. S. Gubser, I. R. Klebanov, and A. M. Polyakov. Gauge theory correlators from noncritical string theory.Phys. Lett. B, 428:105–114, 1998. doi:10.1016/S0370-2693(98)00377-3. arXiv:hep-th/9802109

    Pith/arXiv arXiv 1998

  3. [3]

    Anti-de Sitter space and holography.Adv

    Edward Witten. Anti-de Sitter space and holography.Adv. Theor. Math. Phys., 2(2): 253–291, 1998. doi:10.4310/ATMP.1998.v2.n2.a2. arXiv:hep-th/9802150. 31

    Pith/arXiv arXiv 1998

  4. [4]

    Holographic derivation of entanglement entropy from AdS/CFT.Phys

    Shinsei Ryu and Tadashi Takayanagi. Holographic derivation of entanglement entropy from AdS/CFT.Phys. Rev. Lett., 96:181602, 2006. doi:10.1103/PhysRevLett.96.181602. arXiv:hep-th/0603001

    Pith/arXiv arXiv 2006

  5. [5]

    Acovariantholographic entanglement entropy proposal.JHEP, 07:062, 2007

    VeronikaE.Hubeny, MukundRangamani, andTadashiTakayanagi. Acovariantholographic entanglement entropy proposal.JHEP, 07:062, 2007. doi:10.1088/1126-6708/2007/07/

    work page doi:10.1088/1126-6708/2007/07/ 2007

  6. [6]

    Netta Engelhardt and Aron C. Wall. Quantum extremal surfaces: Holographic entanglement entropy beyond the classical regime.JHEP, 01:073, 2015. doi:10.1007/JHEP01(2015)073. arXiv:1408.3203

    Pith/arXiv arXiv 2015

  7. [7]

    Jafferis, Aitor Lewkowycz, Juan Maldacena, and S

    Daniel L. Jafferis, Aitor Lewkowycz, Juan Maldacena, and S. Josephine Suh. Relative entropy equals bulk relative entropy.JHEP, 06:004, 2016. doi:10.1007/JHEP06(2016)004. arXiv:1512.06431

    Pith/arXiv arXiv 2016

  8. [8]

    Xi Dong, Daniel Harlow, and Aron C. Wall. Reconstruction of bulk operators within the entanglement wedge in gauge-gravity duality.Phys. Rev. Lett., 117(2):021601, 2016. doi: 10.1103/PhysRevLett.117.021601. arXiv:1601.05416

    Pith/arXiv arXiv 2016

  9. [9]

    Bulk locality and quantum error correction in AdS/CFT.JHEP, 04:163, 2015

    Ahmed Almheiri, Xi Dong, and Daniel Harlow. Bulk locality and quantum error correction in AdS/CFT.JHEP, 04:163, 2015. doi:10.1007/JHEP04(2015)163. arXiv:1411.7041

    Pith/arXiv arXiv 2015

  10. [10]

    TASI lectures on the emergence of bulk physics in AdS/CFT.PoS, TASI2017:002, 2018

    Daniel Harlow. TASI lectures on the emergence of bulk physics in AdS/CFT.PoS, TASI2017:002, 2018. doi:10.22323/1.305.0002. arXiv:1802.01040

    Pith/arXiv arXiv 2018

  11. [11]

    Local subsystems in gauge theory and gravity

    William Donnelly and Laurent Freidel. Local subsystems in gauge theory and gravity. JHEP, 09:102, 2016. doi:10.1007/JHEP09(2016)102. arXiv:1601.04744

    Pith/arXiv arXiv 2016

  12. [12]

    Entanglement wedges for gravitating regions.Phys

    Raphael Bousso and Geoff Penington. Entanglement wedges for gravitating regions.Phys. Rev. D, 107(8):086002, 2023. doi:10.1103/PhysRevD.107.086002. arXiv:2208.04993

    Pith/arXiv arXiv 2023

  13. [13]

    The entropy of finite gravitating regions

    Vijay Balasubramanian and Charlie Cummings. The entropy of finite gravitating regions. arXiv:2312.08434 [hep-th], 2023. Preprint; no journal publication located

    Pith/arXiv arXiv 2023

  14. [14]

    Fundamental complement of a gravitating region.Gen

    Raphael Bousso and Sami Kaya. Fundamental complement of a gravitating region.Gen. Rel. Grav., 57(8):124, 2025. doi:10.1007/s10714-025-03462-6. arXiv:2505.15886

    Pith/arXiv arXiv 2025

  15. [15]

    Hollow-grams: Generalized entanglement wedges from the gravitational path integral.JHEP, 09:032, 2025

    Sami Kaya, Pratik Rath, and Kyle Ritchie. Hollow-grams: Generalized entanglement wedges from the gravitational path integral.JHEP, 09:032, 2025. doi:10.1007/JHEP09(2025)032. arXiv:2506.10064

    Pith/arXiv arXiv 2025

  16. [16]

    Causal connectability between quantum systems and the black hole interior in holographic duality.Phys

    Samuel Leutheusser and Hong Liu. Causal connectability between quantum systems and the black hole interior in holographic duality.Phys. Rev. D, 108(8):086019, 2023. doi: 10.1103/PhysRevD.108.086019. arXiv:2110.05497

    Pith/arXiv arXiv 2023

  17. [17]

    Emergent times in holographic duality.Phys

    Samuel Leutheusser and Hong Liu. Emergent times in holographic duality.Phys. Rev. D, 108(8):086020, 2023. doi:10.1103/PhysRevD.108.086020. arXiv:2112.12156

    Pith/arXiv arXiv 2023

  18. [18]

    Gravity and the crossed product.JHEP, 10:008, 2022

    Edward Witten. Gravity and the crossed product.JHEP, 10:008, 2022. doi:10.1007/ JHEP10(2022)008. arXiv:2112.12828

    Pith/arXiv arXiv 2022

  19. [19]

    An algebra of observables for de Sitter space.JHEP, 02:082, 2023

    Venkatesa Chandrasekaran, Roberto Longo, Geoff Penington, and Edward Witten. An algebra of observables for de Sitter space.JHEP, 02:082, 2023. doi:10.1007/JHEP02(2023)

    doi:10.1007/jhep02(2023 2023

  20. [20]

    Algebras and states in JT gravity

    Geoff Penington and Edward Witten. Algebras and states in JT gravity. arXiv:2301.07257 [hep-th], 2023. Preprint; no journal publication located

    Pith/arXiv arXiv 2023

  21. [21]

    York time in JT gravity.JHEP, 04:010, 2026

    Onkar Parrikar and Sunil Kumar Sake. York time in JT gravity.JHEP, 04:010, 2026. doi: 10.1007/JHEP04(2026)010. arXiv:2505.19231

    Pith/arXiv arXiv 2026

  22. [22]

    Time in gravitational subregions and in closed universes

    Andreas Blommaert and Chang-Han Chen. Time in gravitational subregions and in closed universes. arXiv:2602.22153 [hep-th], 2026. Preprint

    arXiv 2026

  23. [23]

    Alge- bras for generalized entanglement wedges.JHEP, 07:192, 2026

    Abhisek Sahu, Jeremy van der Heijden, Mark Van Raamsdonk, and Rana Zibakhsh. Alge- bras for generalized entanglement wedges.JHEP, 07:192, 2026. doi:10.1007/JHEP07(2026)

    work page doi:10.1007/jhep07(2026 2026

  24. [24]

    Page curve of black hole evaporation into a gravitating de Sitter region from holograms

    Hassan ElSayed and Gary Shiu. Page curve of black hole evaporation into a gravitating de Sitter region from holograms. In preparation, 2026

    2026

  25. [25]

    Wald.General Relativity

    Robert M. Wald.General Relativity. University of Chicago Press, Chicago, 1984. ISBN 9780226870335

    1984

  26. [26]

    S. W. Hawking and G. F. R. Ellis.The Large Scale Structure of Space-Time. Cambridge University Press, Cambridge, 1973. doi:10.1017/CBO9780511524646

    doi:10.1017/cbo9780511524646 1973

  27. [27]

    T. S. Bunch and P. C. W. Davies. Quantum field theory in de Sitter space: Renormalization by point splitting.Proc. Roy. Soc. Lond. A, 360(1700):117–134, 1978. doi:10.1098/rspa. 1978.0060

    arXiv 1978

  28. [28]

    Modular structure and duality in conformal quantum field theory.Commun

    Romeo Brunetti, Daniele Guido, and Roberto Longo. Modular structure and duality in conformal quantum field theory.Commun. Math. Phys., 156(1):201–219, 1993. doi: 10.1007/BF02096738. arXiv:funct-an/9302008

    Pith/arXiv arXiv 1993

  29. [29]

    Real Hilbert subspaces, modular theory,SL(2, R)and CFT

    Roberto Longo. Lectures on conformal nets, Part II: Nets of von Neumann algebras. Unpublished draft, available athttps://www.mat.uniroma2.it/longo/lecture-notes. html; Part I appeared as “Real Hilbert subspaces, modular theory,SL(2, R)and CFT” in Von Neumann Algebras in Sibiu, Theta Ser. Adv. Math. 10, Theta, Bucharest, pp. 33–91, 2008

    2008

  30. [30]

    Operator algebras and conformal field theory

    Fabrizio Gabbiani and Jürg Fröhlich. Operator algebras and conformal field theory. Commun. Math. Phys., 155(3):569–640, 1993. doi:10.1007/BF02096729

    doi:10.1007/bf02096729 1993

  31. [31]

    Extensions of conformal nets and superselection structures.Commun

    Daniele Guido, Roberto Longo, and Hans-Werner Wiesbrock. Extensions of conformal nets and superselection structures.Commun. Math. Phys., 192(1):217–244, 1998. doi: 10.1007/s002200050297. arXiv:hep-th/9703129

    Pith/arXiv arXiv 1998

  32. [32]

    Nuclearity and thermal states in conformal field theory.Commun

    Detlev Buchholz, Claudio D’Antoni, and Roberto Longo. Nuclearity and thermal states in conformal field theory.Commun. Math. Phys., 270(1):267–293, 2007. doi:10.1007/ s00220-006-0127-9. arXiv:math-ph/0603083

    Pith/arXiv arXiv 2007

  33. [33]

    Encyclopaedia of Mathematical Sciences 124, 125, 127

    Masamichi Takesaki.Theory of Operator Algebras I, II, III. Encyclopaedia of Mathematical Sciences 124, 125, 127. Springer, Berlin, 2002–2003. Vol. I first published 1979. Crossed products and Takesaki duality: Vol. II, Ch. X. Structure of type-III algebras and the continuous core: Vol. II, Ch. XII

    2002

  34. [34]

    Gravitational anomalies.Nucl

    Luis Alvarez-Gaumé and Edward Witten. Gravitational anomalies.Nucl. Phys. B, 234(2): 269–330, 1984. doi:10.1016/0550-3213(84)90066-X

    work page doi:10.1016/0550-3213(84)90066-x 1984

  35. [35]

    Gravitation and Hamiltonian structure in two space-time dimensions

    Claudio Teitelboim. Gravitation and Hamiltonian structure in two space-time dimensions. Phys. Lett. B, 126:41–45, 1983. doi:10.1016/0370-2693(83)90012-6. 33

    doi:10.1016/0370-2693(83)90012-6 1983

  36. [36]

    Lower dimensional gravity.Nucl

    Roman Jackiw. Lower dimensional gravity.Nucl. Phys. B, 252:343–356, 1985. doi: 10.1016/0550-3213(85)90448-1

    doi:10.1016/0550-3213(85)90448-1 1985

  37. [37]

    Turiaci, and Zhenbin Yang

    Juan Maldacena, Gustavo J. Turiaci, and Zhenbin Yang. Two dimensional nearly de Sitter gravity.JHEP, 01:139, 2021. doi:10.1007/JHEP01(2021)139. arXiv:1904.01911

    Pith/arXiv arXiv 2021

  38. [38]

    Low-dimensional de Sitter quantum gravity.JHEP, 06:048, 2020

    Jordan Cotler, Kristan Jensen, and Alexander Maloney. Low-dimensional de Sitter quantum gravity.JHEP, 06:048, 2020. doi:10.1007/JHEP06(2020)048. arXiv:1905.03780

    Pith/arXiv arXiv 2020

  39. [39]

    Multi-interval subfactors and modularity of representations in conformal field theory.Commun

    Yasuyuki Kawahigashi, Roberto Longo, and Michael Müger. Multi-interval subfactors and modularity of representations in conformal field theory.Commun. Math. Phys., 219(3): 631–669, 2001. doi:10.1007/PL00005565. arXiv:math/9903104

    Pith/arXiv arXiv 2001

  40. [40]

    Conditional expectations in von Neumann algebras.J

    Masamichi Takesaki. Conditional expectations in von Neumann algebras.J. Funct. Anal., 9(3):306–321, 1972. doi:10.1016/0022-1236(72)90004-3

    doi:10.1016/0022-1236(72)90004-3 1972

  41. [41]

    Geometric and renormalized entropy in conformal field theory.Nucl

    Christoph Holzhey, Finn Larsen, and Frank Wilczek. Geometric and renormalized entropy in conformal field theory.Nucl. Phys. B, 424(3):443–467, 1994. doi:10.1016/0550-3213(94) 90402-2. arXiv:hep-th/9403108

    Pith/arXiv arXiv 1994

  42. [42]

    Pasquale Calabrese and John L. Cardy. Entanglement entropy and quantum field theory. J. Stat. Mech., 0406:P06002, 2004. doi:10.1088/1742-5468/2004/06/P06002. arXiv:hep- th/0405152

    arXiv 2004

  43. [43]

    Sufficient subalgebras and the relative entropy of states of a von Neumann algebra.Commun

    Dénes Petz. Sufficient subalgebras and the relative entropy of states of a von Neumann algebra.Commun. Math. Phys., 105(1):123–131, 1986. doi:10.1007/BF01212345

    doi:10.1007/bf01212345 1986

  44. [44]

    Sufficiency of channels over von Neumann algebras.Quart

    Dénes Petz. Sufficiency of channels over von Neumann algebras.Quart. J. Math., 39(1): 97–108, 1988. doi:10.1093/qmath/39.1.97

    doi:10.1093/qmath/39.1.97 1988

  45. [45]

    José Navarro-Salas and C. F. Talavera. Quantum cosmological approach to 2D dilaton gravity.Nucl. Phys. B, 423(2–3):686–704, 1994. doi: 10.1016/0550-3213(94)90149-X. arXiv:hep-th/9312030

    Pith/arXiv arXiv 1994

  46. [46]

    Kuchař, Joseph D

    Karel V. Kuchař, Joseph D. Romano, and Madhavan Varadarajan. Dirac constraint quantization of a dilatonic model of gravitational collapse.Phys. Rev. D, 55(2):795–808,

  47. [82]

    arXiv:2206.10780. 32

    Pith/arXiv arXiv

  48. [1997]

    arXiv:gr-qc/9608011

    doi:10.1103/PhysRevD.55.795. arXiv:gr-qc/9608011. 34

    Pith/arXiv arXiv