Pith. sign in

REVIEW 3 major objections 5 minor 73 references

In the linearized-gravity regime of AdS/CFT, the vacuum-subtracted entropy of a boundary region equals one quarter of the vacuum-subtracted HRT area at leading order.

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 09:10 UTC pith:DXHLBAEE

load-bearing objection A clean conditional derivation of linearized HRT from crossed products, but the weight is carried by an exact wedge-reconstruction assumption the paper does not prove. the 3 major comments →

arxiv 2607.27337 v1 pith:DXHLBAEE submitted 2026-07-29 hep-th gr-qcmath-phmath.MP

Holography in the linearized quantum gravity regime and modular crossed product

Avinandan Mondal This is my paper
classification hep-th gr-qcmath-phmath.MP PACS 04.60.-m11.25.Tq
keywords AdS/CFT correspondenceHRT formulamodular crossed productType II von Neumann algebrasJLMS conditionlinearized quantum gravityrelative entropycoherent states
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.

The paper aims to prove the HRT entanglement-entropy formula in the regime where bulk gravity is linearized metric perturbations over pure anti-de Sitter space. It constructs, for a ball-shaped boundary region A, a Type-II von Neumann algebra of dressed observables by taking the modular crossed product of the AdS-Rindler wedge algebra, whose modular flow is geometric. Coherent states of the perturbed geometry, paired with a boundary-charge wave function, are carried through an assumed isometric holographic map to boundary CFT states; relative entropies are shown to match between bulk and boundary (the JLMS condition). The central result, eq. (6.16), states that the entropy of the boundary state in the crossed-product algebra equals one quarter of the vacuum-subtracted area of the HRT surface to second order in the perturbation. A sympathetic reader would care because this gives a UV-finite, calculable meaning to the difference of two divergent entropies and derives the area formula from the structure of the holographic map plus modular theory, rather than assuming it.

Core claim

On the paper's own terms, the discovery is that the vacuum-subtracted von Neumann entropy of the dual CFT state in the dressed Type-II algebra is, at leading order O(λ²), exactly one quarter of the vacuum-subtracted area of the HRT surface: ΔS(ω_h,A) = S(ρ_{\tilde ω_h}) = (1/4)(Ar[Γ_λ,g(λ)] − Ar[Γ_0,g(0)]). This is equation (6.16). Distinctly, the proof also derives the JLMS equality — relative entropy of any bulk state with respect to the vacuum equals relative entropy of the dual CFT state — as a direct consequence of the holographic map's isometric and reconstruction properties, before any crossed-product construction is invoked.

What carries the argument

The central machinery is the modular crossed product of the wedge algebra with its modular automorphism group, together with the holographic map that transports it to the boundary. The bulk algebra A(H_A^+, ω0) of a region on the AdS-Rindler horizon is a Type-III factor; the paper proves the AdS vacuum is KMS with respect to the Rindler boost, so the modular Hamiltonian equals 2π times the horizon flux operator F_ξ. Taking the crossed product with the modular group and adjoining a boundary-charge variable X replaces the ill-defined Type-III entropy with a Type-II factor carrying a canonical trace, in which von Neumann entropies are finite. Coherent states of the linearized metric perturbatio

Load-bearing premise

The proof assumes, rather than derives, that an isometric holographic map T exists taking the AdS vacuum to the CFT vacuum and reproducing the full AdS-Rindler wedge algebra from the boundary algebra of A — exact wedge reconstruction is the load-bearing input.

What would settle it

In a solvable holographic model such as AdS_3/CFT_2 with an explicit coherent perturbation, compute both sides of eq. (6.16) independently: the Type-II crossed-product entropy of the boundary state and one quarter of the vacuum-subtracted HRT area at O(λ²). If they differ for any coherent state supported in the wedge, the central claim is false.

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

If this is right

  • The HRT formula in the linearized regime becomes a corollary of the assumed holographic map plus modular theory, rather than an independent postulate.
  • The difference of two UV-divergent entanglement entropies is given a well-defined meaning as a Type-II von Neumann entropy, with no cutoff or replica required.
  • The JLMS condition holds generally for any pair of states in the code subspace, independent of the crossed product and independent of whether bulk modular flow is geometric.
  • The construction is dimension-agnostic and applies to AdS_{d+1}/CFT_d for all d ≥ 2, not just AdS_3/CFT_2.

Where Pith is reading between the lines

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

  • If the map T exists only approximately (as in realistic error-correcting codes with a finite code subspace), the exact equality in eq. (6.16) may acquire corrections of order the reconstruction error; this is testable in toy tensor-network models.
  • The same crossed-product entropy should equal a Wald-like Noether-charge integral for any diffeomorphism-invariant gravity theory, suggesting a general 'entropy = charge' dictionary beyond general relativity.
  • Lifting the memoryless initial-data assumption (h_AB(ζ_R^+)=0) would connect this proof to soft-graviton effects at the Rindler horizon; a modular-theoretic treatment of soft modes may allow the result to survive with extra soft terms.
  • Extending the background from pure AdS to AdS-Schwarzschild (replacing the vacuum by a thermofield double) is a natural next step; if the black-hole case works, the same construction would give a linearized proof of generalized entropy for one-sided entanglement wedges.

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 / 5 minor

Summary. The paper considers linearized metric perturbations over pure AdS and uses algebraic QFT plus holography to prove two results: (i) the JLMS relative-entropy equality between bulk AdS-Rindler wedge states and dual CFT states in the code subspace, and (ii) a version of the HRT formula for semi-classical coherent states. The latter is obtained by forming the modular crossed product of the wedge algebra with an auxiliary boundary-charge degree of freedom, computing the resulting Type-II von Neumann entropy, and identifying the state-dependent part with one quarter of the vacuum-subtracted HRT area at leading (second) order in the perturbation. The derivation explicitly assumes an isometric holographic map with exact wedge reconstruction, the KMS/passivity property of the AdS vacuum, and a slowly-varying observer wavefunction. The paper is clearly written and honestly lists several limitations, but the advertised 'proof' is conditional on strong reconstruction assumptions and contains a technical inconsistency in the crossed-product construction that must be addressed.

Significance. If the assumptions are granted, the paper gives a clean algebraic derivation of the finite vacuum-subtracted HRT formula for coherent excitations, avoiding cutoff-dependent subtractions, and extends the modular crossed-product formalism to AdS/CFT. The proof of JLMS from the assumed holographic map is concise and standard. The explicit statement of assumptions and limitations is a strength, as is the use of the Noether-charge identity to convert boundary charges into area. However, the central claim is not a self-contained proof from established AdS/CFT facts: the exact wedge-reconstruction assumption (5.3) is the main input, and the crossed-product algebra used for the entropy computation appears not to be the modular crossed product of the wedge algebra with its geometric modular flow. These issues are load-bearing and require substantial revision.

major comments (3)
  1. [Sec. 4.1, Eqs. (3.3), (4.1)-(4.2), (6.9)] There is an inconsistency in what F_ξ denotes. Equation (3.1) defines F_ξ as the flux over the full horizon H_+, and (3.3)-(3.4) express it as X−C with X and C boundary charges at ζ_R^+ and ζ_L^-. But the modular Hamiltonian of the wedge subalgebra A(H_A^+,ω0) in (4.1) should be 2π times the flux restricted to H_A^+, not the full H_+ flux. The crossed product (4.2) is then defined as the subalgebra invariant under F_ξ−X; if F_ξ is the full flux, this invariant charge is −C, associated with ζ_L^-, not with the bifurcation surface. The entropy computation (6.9) uses F_ξ[H_A^+] = X−∫_Γ δ^2Q_ξ, which is the boundary-term structure of the restricted flux, not of the full flux. Thus the algebra whose entropy is computed in (6.11) is not the algebra defined in (4.2) (and mapped to the boundary in (5.9)). Please either define F_ξ consistently as the restricted flux throughout the crossed-product
  2. [Sec. 5, Eqs. (5.1)-(5.3), and Sec. 6, Eq. (6.16)] The central result is conditional on the assumed existence of an isometric holographic map T and, crucially, on the exact wedge-reconstruction equality T^* \tilde A(A,\tildeω0)T = A(H_A^+,ω0) in (5.3). This exact algebra equality is used at every decisive step: (5.6)-(5.7) identifies modular flows, (5.12)-(5.14) proves JLMS, (5.9) identifies the crossed products, and (6.14)-(6.16) converts the entropy into the area. The paper neither constructs T nor derives (5.3). In realistic AdS/CFT, reconstruction is at best approximate at finite N, and for gravitons constraint/dressing subtleties are the very issue the crossed product is meant to address. If (5.3) holds only up to O(1/N) corrections, then (5.12) and (6.16) fail at the order of the claimed result. This is not necessarily an error if the paper is read as a conditional theorem, but the introduction and abstract advertise it as a proof
  3. [Sec. 6, Eq. (6.7)] Equation (6.7) is quoted from [15] as the entropy of the crossed-product state, but the computation there is performed in the 'slowly-varying wavefunction' approximation. The paper uses this formula as an exact equality and concludes (6.16) with 'all equalities at O(λ^2)'. The approximation error, as discussed in Lemma 2 of [36], is bounded by a function of the observer wavefunction f, but it is not shown to be of order O(λ^2) or otherwise negligible. Since the paper claims rigor, please specify the precise assumptions under which (6.7) is exact, or carry the error term through (6.14)-(6.16) and show it does not affect the leading-order result.
minor comments (5)
  1. [Eq. (6.12) and surrounding text] The notation |ω_h⟩ is used both for the bulk coherent vector in H_AdS and for the extended classical-quantum state in H_AdS⊗L^2(R). This is confusing, especially in (6.12) where (T⊗1) is applied to the extended state and then T|ω_h⟩ is also denoted |ω_h⟩. Please use distinct symbols for the bulk, extended, and boundary states.
  2. [Sec. 5, Eq. (5.9)] Equation (5.9) writes \tilde A_{ext}(H_A^+,ω0) on the right-hand side, but the bulk algebra is denoted A_{ext}(H_A^+,ω0) earlier. Please correct the typo.
  3. [Abstract and Introduction] There are several typos: 'vaccum subtracted' in Eq. (6.15) and surrounding text; 'Hubeney-Rangamani-Takayanagi' should be 'Hubeny-Rangamani-Takayanagi'; 'This will consitute a proof' should be 'constitute'. Please proofread.
  4. [Appendix A] The proof of the KMS property relies on Assumption 2, passivity, and on the claim that P_inv=|ω0⟩⟨ω0|, i.e. uniqueness of the Rindler-invariant state. The latter may fail in the presence of soft/zero modes; the memoryless assumption mentioned in Sec. 7 should be flagged at this point.
  5. [Sec. 6, after Eq. (6.9)] The terms called 'ω_h-independent' include 2π⟨X⟩_ωh and S(f), which depend on the observer wavefunction f. They are independent of the bulk excitation h, but they are still state-dependent. It would be clearer to say 'independent of the bulk coherent excitation' or 'h-independent'.

Circularity Check

1 steps flagged

JLMS 'proof' (5.11)-(5.14) reduces by construction to the assumed wedge reconstruction (5.3); the HRT area in (6.16) is still independently derived from the Iyer-Wald Noether-charge identity.

specific steps
  1. self definitional [Sec. 5.1, eqs. (5.3)-(5.14) and Remark 5.2]
    "T∗ ˜A(A, ˜ω0)T = A(H+ A,ω0) (5.3); ... we establish that: ˜S(˜ω|˜ω0) =S(ω|ω0), (5.14) which is precisely the JLMS condition [12]; Remark 5.2: "the proof of JLMS condition didn't require the modular flow to be geometric in the bulk... It only required the existence of a holographic map satisfying the properties item (1) and item (2).""

    Under (5.2)-(5.3) the restricted boundary algebra is defined to be Ã_rest(A,ω̃₀) = P_code Ã(A,ω̃₀)P_code = T A(H_A⁺,ω₀)T*, with |ω̃₀⟩ = T|ω₀⟩ and |ω̃⟩ = T|ω⟩. The relative Tomita operator of the transported pair is then, by the very definition of the transported algebra and states, the T-conjugate of the bulk one; (5.13) is this conjugacy and (5.14) is its expectation value. No content beyond (5.3)+(5.2) enters — Remark 5.2 says the proof 'only required the existence of a holographic map satisfying the properties item (1) and item (2).' Hence the derived JLMS equality is the assumed exact wedge reconstruction restated in relative-entropy form; the 'prediction' reduces by construction to its input.

full rationale

The paper's central claim (6.16) is not a fitted or renamed result: the vacuum-subtracted area enters through the independent Iyer-Wald Noether-charge identity (6.10) (from [16,39]) together with the constraint Fξ = X − ∫Γ δ²Qξ, and the coherent-state relative entropy (6.8) is taken from the external results [37,38]. No parameter is fitted and the 1/4-area term is computed, not assumed. The self-citation [15] in eq. (6.7) is not load-bearing because the same crossed-product entropy formula for classical-quantum states is documented externally ([36], footnote 12; [20]; [26]); per the review rule, such independently corroborated citations do not raise the circularity score. The one genuine by-construction reduction is the JLMS 'proof' in Sec. 5.1: once (5.2)-(5.3) identify the code-subspace algebra Ã_rest(A,ω̃₀) with T A(H_A⁺,ω₀)T* and the boundary states with T-images of bulk states, the relative modular operator equality (5.13) and the relative-entropy equality (5.14) hold by Tomita-Takesaki functoriality of the transported structure — the derived JLMS condition is the assumed wedge-reconstruction property restated in modular form. The paper itself concedes this (Remark 5.2; Sec. 7: 'It didn't require anything except the existence of the holographic map satisfying properties item (1) and item (2)'). This is a soft self-definitional circularity in a secondary advertised result. The central HRT claim remains conditional on the assumed exact reconstruction (5.1)-(5.3) — the skeptic's point that approximate reconstruction would break (6.14) at the order of the result is a correctness-robustness concern, not circularity, and Section 7 states the limitations explicitly. Overall score 4: partial circularity (JLMS restates its input by construction), while the central area claim has independent content and is not forced by a self-citation chain.

Axiom & Free-Parameter Ledger

1 free parameters · 5 axioms · 1 invented entities

The central proof relies on several assumed or imported inputs: the holographic wedge-reconstruction map, passivity/KMS of the vacuum, the coherent-state relative-entropy formula, gauge-fixing choices, and the auxiliary observer wavefunction. No numerical constants are fitted to data. The only free functional choice is the observer wavefunction f(X), which is chosen slowly-varying for the entropy computation.

free parameters (1)
  • observer/boundary-charge wavefunction f(X) = slowly-varying, sharply peaked at the classical boundary charge
    The entropy formula (eq. 6.7) is derived under the slowly-varying-wavefunction approximation; the final state-dependent HRT result is extracted after dropping f-dependent terms, so the observable conclusion depends on this choice of auxiliary state.
axioms (5)
  • domain assumption Existence of holographic isometry T: H_AdS → H_CFT mapping vacuums and satisfying wedge reconstruction (eqs. 5.1-5.3)
    Assumed in §5; the JLMS and HRT derivations both depend on this exact algebraic reconstruction property.
  • ad hoc to paper Passivity of the AdS-invariant vacuum in the Rindler-wedge algebra (Appendix A, assumption 2)
    Used to establish KMS via the Pusz-Woronowicz theorem; the paper assumes passivity rather than proving it for linearized gravity.
  • domain assumption Coherent states suffice for the bulk excitations and the relative-entropy formula S(ωh|ω0) = 2πFξ[H_A⁺] (eq. 6.8) from [37,38]
    Quoted from the literature; required to compute the entropy of the crossed-product state in §6.
  • domain assumption Gaussian null gauge with residual gauge fixing δϑ±|Γ0 = 0 (eq. 2.7)
    Imposed in §2.1 to make the area variation O(λ³); the consistency of the gauge choice is cited to [18].
  • domain assumption Reflecting boundary conditions and memorylessness of the perturbations, h(ζ_R⁺) = 0
    Used to define Cauchy evolution on H⁺ and stated in §7 as the memoryless assumption.
invented entities (1)
  • Auxiliary boundary charge / observer degree of freedom X acting on L²(R) no independent evidence
    purpose: Enables the crossed product A ⋊ R_ω0 and defines the Type-II trace and entropy
    Standard mathematical device imported from [15,31]; no independent falsifiable handle beyond its role in defining the entropy.

pith-pipeline@v1.3.0-daily-deepseek · 21453 in / 19377 out tokens · 191973 ms · 2026-08-01T09:10:31.853593+00:00 · methodology

0 comments
read the original abstract

Within the semi-classical regime of AdS/CFT correspondence, we consider the limit where the bulk dynamical field is linearized metric perturbations satisfying linearized Einstein equations over background pure AdS spacetime. AdS/CFT correspondence gives us a holographic map, which is an isometric embedding map of the GNS Hilbert space of linearized gravity in the bulk (w.r.t. the AdS-invariant vacuum) to the GNS Hilbert space of CFT in the boundary (w.r.t. the Minkowski-invariant vacuum). We assume that the map takes AdS-vacuum in the bulk to CFT-vacuum in the boundary and that it allows AdS-Rindler wedge reconstruction. Then using this map, we show that for a given ball-shaped region in the boundary $A$, the relative entropy of a bulk state w.r.t. the AdS vacuum in the algebra of causal wedge associated to $A$ matches with the relative entropy of the dual CFT state w.r.t. the CFT vacuum in the algebra of CFT observables in $A$ in the code subspace, which is known as Jafferis-Lewkowycz-Maldacena-Suh (JLMS) condition. Furthermore, for localized semi-classical coherent excitations in the causal wedge associated to $A$ which corresponds to perturbed bulk geometry, we show rigorously using modular crossed product construction that the state-dependent part of entropy of the dual CFT state in the dressed Type-II algebra associated to $A$ satisfies vacuum subtracted Hubeney-Rangamani-Takayanagi (HRT) formula.

Figures

Figures reproduced from arXiv: 2607.27337 by Avinandan Mondal.

Figure 1
Figure 1. Figure 1: FIG. 1: AdS viewed from the boundary [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: AdS spacetime [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] 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

73 extracted references · 34 linked inside Pith

  1. [1]

    Gauge conditions on metric perturbations and their implications 10

  2. [2]

    Anti de-Sitter-Rindler wedge, metric perturbations and gauge conditions 7

  3. [3]

    Algebraic quantization on AdS-Rindler horizon 12

  4. [4]

    Geometric modular flow and crossed product in the bulk 13

  5. [5]

    Dressed observables in the bulk and crossed product algebra 14

  6. [6]

    Holographic map and crossed product in the boundary 15

  7. [7]

    Proof of JLMS condition 17

  8. [8]

    Coherent states of gravity in the bulk and proof of HRT formula 18

  9. [9]

    Proof of KMS nature of AdS vacuum in AdS-Rindler wedge 23 B

    Limitations and future directions 22 Acknowledgments 23 A. Proof of KMS nature of AdS vacuum in AdS-Rindler wedge 23 B. Crossed product von Neumann entropy is purification independent 25 C. Amenable groups, weak clustering and mean ergodic theorem 27

  10. [10]

    Weak clustering under group action 28

  11. [11]

    Mean ergodic theorem for amenable group representations 29 References 29

  12. [12]

    anchored

    INTRODUCTION AdS/CFT correspondence [1, 2] is a duality between a theory of quantum gravity (typically string theory or M-theory) in bulk anti de-Sitter (AdS) spacetime and a dual conformal field theory (CFT) lying at the conformal boundary of the conformally compactified AdS spacetime. The CFT lying at the boundary is typically a gauge theory with a gaug...

  13. [13]

    mostly plus

    and hence applies to our case as for pure AdS, the extremal surface is indeed a bifurcation surface for the AdS-Rindler Killing horizon (see sec. 2) and the bulk QFT is linearized graviton theory. Thus we can take the QES in eq. 1.2 to be the HRT surface in eq. 1.1 if we replace GN byGren N in eq. 1.1. Hence, finally in the semi-classical limit of lineari...

  14. [14]

    ANTI DE-SITTER-RINDLER WEDGE, METRIC PERTURBATIONS AND GAUGE CONDITIONS In this work we shall be interested in a one parameter family of(d + 1)-dimensional asymptotically AdS spacetimes with manifoldM and have metricsgab(λ). The metric g(0) ab :=gab(λ = 0) is the pureAdSd+1 spacetime which is defined as the universal cover of a connected component of the ...

  15. [15]

    This ensures that the hypersurfaceH+ remain null at all orders inλ

    Gauge conditions on metric perturbations and their implications We impose Gaussian null gauge on metric perturbations [18] on the horizonH+. This ensures that the hypersurfaceH+ remain null at all orders inλ. Also we impose that the first order perturbed expansions vanish onΓ0: δϑ±|Γ0 = 0. (2.7) which can be consistently imposed by exploiting residual gau...

  16. [16]

    The classical phase space construction for linearized gravity onH+ proceeds in a similar way as outlined in [15] and we refer the reader to [15] and references therein for review

    ALGEBRAIC QUANTIZATION ON ADS-RINDLER HORIZON The horizonH+ behaves as an initial data surface for first-order (linearized) metric perturbations inAdSd+1 (with reflecting boundary conditions at∂M). The classical phase space construction for linearized gravity onH+ proceeds in a similar way as outlined in [15] and we refer the reader to [15] and references...

  17. [17]

    Wald,General Relativity, Chicago Univ

    R.M. Wald,General Relativity, Chicago Univ. Pr., Chicago, USA (1984), 10.7208/chicago/9780226870373.001.0001

    arXiv 1984

  18. [18]

    horizon boost Killing field inA(H+ A,ω 0) with β = 2π

    GEOMETRIC MODULAR FLOW AND CROSSED PRODUCT IN THE BULK In the previous section it has been argued that the state|ω0⟩ is KMS w.r.t. horizon boost Killing field inA(H+ A,ω 0) with β = 2π. Now, the state|ω0⟩ is KMS withβ = 1 w.r.t. the modular flowγ in A(H+ A,ω 0) generated by the modular HamiltonianHω0 =− log ∆ω0 where ∆ω0 is the modular operator for the st...

  19. [19]

    momentum operator

    Dressed observables in the bulk and crossed product algebra Recall that the algebraA(H+ A,ω 0) is a Type-III von Neumann factor and hence has no finite non-trivial trace defined on it leading to no non-zero finite density matrices (and hence no finite entropies of reduced states) in this algebra. Also, in full quantum gravity, a natural thing to wish for ...

  20. [20]

    We shall denote the boundary field byϕ, which can be any tensor field which is dual to the bulk theory of linearized quantum gravity

    HOLOGRAPHIC MAP AND CROSSED PRODUCT IN THE BOUNDARY The 2-surface∂Σ serves as the initial condition surface for field theory on the boundary. We shall denote the boundary field byϕ, which can be any tensor field which is dual to the bulk theory of linearized quantum gravity. The state ˜ω0 is the boundary isometry invariant vacuum of the boundary CFT. Note...

  21. [21]

    Now consider the bulk relative modular operator ∆ω|ω0 which gives the bulk relative entropyS(ω|ω0) =⟨ω| log ∆ω|ω0|ω⟩

    Proof of JLMS condition Now, consider some state of linearized gravity in the bulk|ω⟩∈ HAdS with Hcode∋| ˜ω⟩ = T|ω⟩ being the corresponding CFT state in the boundary. Now consider the bulk relative modular operator ∆ω|ω0 which gives the bulk relative entropyS(ω|ω0) =⟨ω| log ∆ω|ω0|ω⟩. 11 The boundary relative modular operator˜∆˜ω|˜ω0 analogously gives the ...

  22. [22]

    An extremely important fact that we shall use is that the stateω0 when restricted toH+ A is KMS w.r.t

    5. An extremely important fact that we shall use is that the stateω0 when restricted toH+ A is KMS w.r.t. the horizon boost Killing field with inverse temperatureβ = 2π. This was proven by Buchholz, Florig, and Summers [24] and we reproduce their proof in Appendix Appendix A

  23. [23]

    classical-quantum state

    COHERENT STATES OF GRAVITY IN THE BULK AND PROOF OF HRT FORMULA Now consider the initial data of linearized (i.e. first-order) metric perturbationshAB to be supported inH+ A. In the quantum field theory, this metric perturbation can be represented 19 by a coherent state defined as follows. For any perturbationhAB onH+ A, define the unitary U := exp(−iδσ(h...

  24. [24]

    We shall also point to some future directions of work that can be pursued along these lines

    LIMITATIONS AND FUTURE DIRECTIONS We conclude this paper by mentioning about the implicit limitations in our constructions and proofs. We shall also point to some future directions of work that can be pursued along these lines. The proof of JLMS condition in sec. 5.1 is completely general. It didn’t require anything except the existence of the holographic...

  25. [25]

    Groups having such a measure are called amenable

    Amenable groups Amenability of a groupG formalizes the notion of existence of a measure onG which is invariant under group actions and the measure of the entire groupG is finite. Groups having such a measure are called amenable. In this subsection, we formalize this definition and also give an equivalent definition in terms of existence of group action in...

  26. [26]

    clustered

    Weak clustering under group action Let G be an amenable group acting on the algebraA which has a stateω defined on it. Say the group action is denoted byα and so: α :G→ Aut(A) (C.1) and we denote for someg∈ G, αg : A→ A as an automorphism onA due to the action α. Now being an amenable group,G has an invariant mean defined onL∞(G; C) functions m :L∞(G; C)→...

  27. [27]

    Let us denote the invariant subspace ofH under U-actions to be: Inv(H,U ) :={|ψ⟩∈ H|U(g)|ψ⟩ =|ψ⟩∀g∈G}, (C.3) and the projector to the subspaceInv(H,U ) beP inv

    Mean ergodic theorem for amenable group representations Say G is an amenable group and it has a strongly continuous unitary representation U :G→U (H ) on a Hilbert spaceH and we denote the unitary corresponding tog∈G as U(g). Let us denote the invariant subspace ofH under U-actions to be: Inv(H,U ) :={|ψ⟩∈ H|U(g)|ψ⟩ =|ψ⟩∀g∈G}, (C.3) and the projector to t...

  28. [28]

    Maldacena,The LargeN limit of superconformal field theories and supergravity, Adv

    J.M. Maldacena,The LargeN limit of superconformal field theories and supergravity, Adv. Theor. Math. Phys.2 (1998) 231 [hep-th/9711200]

    Pith/arXiv arXiv 1998

  29. [29]

    Witten,Anti de Sitter space and holography, Adv

    E. Witten,Anti de Sitter space and holography, Adv. Theor. Math. Phys.2 (1998) 253 [hep-th/9802150]

    Pith/arXiv arXiv 1998

  30. [30]

    Natsuume,AdS/CFT Duality User Guide, vol

    M. Natsuume,AdS/CFT Duality User Guide, vol. 903 ofLecture Notes in Physics, Springer Tokyo (2015), 10.1007/978-4-431-55441-7, [1409.3575]

    Pith/arXiv arXiv 2015

  31. [31]

    Ryu and T

    S. Ryu and T. Takayanagi,Holographic derivation of entanglement entropy from AdS/CFT, Phys. Rev. Lett.96 (2006) 181602 [hep-th/0603001]

    Pith/arXiv arXiv 2006

  32. [32]

    Hubeny, M

    V.E. Hubeny, M. Rangamani and T. Takayanagi,A Covariant holographic entanglement entropy proposal, JHEP 07 (2007) 062 [0705.0016]

    Pith/arXiv arXiv 2007

  33. [33]

    Engelhardt and A.C

    N. Engelhardt and A.C. Wall,Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime, JHEP 01 (2015) 073 [1408.3203]

    Pith/arXiv arXiv 2015

  34. [34]

    Faulkner, A

    T. Faulkner, A. Lewkowycz and J. Maldacena,Quantum corrections to holographic entanglement entropy, JHEP 11 (2013) 074 [1307.2892]. 30

    Pith/arXiv arXiv 2013

  35. [35]

    Susskind and J

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

    Pith/arXiv arXiv 1994

  36. [37]

    Sorce,Holographic entanglement entropy is cutoff-covariant, JHEP 10 (2019) 015 [1908.02297]

    J. Sorce,Holographic entanglement entropy is cutoff-covariant, JHEP 10 (2019) 015 [1908.02297]

    Pith/arXiv arXiv 2019

  37. [38]

    Wall,Maximin Surfaces, and the Strong Subadditivity of the Covariant Holographic Entanglement Entropy, Class

    A.C. Wall,Maximin Surfaces, and the Strong Subadditivity of the Covariant Holographic Entanglement Entropy, Class. Quant. Grav.31 (2014) 225007 [1211.3494]

    Pith/arXiv arXiv 2014

  38. [39]

    Jafferis, A

    D.L. Jafferis, A. Lewkowycz, J. Maldacena and S.J. Suh,Relative entropy equals bulk relative entropy, JHEP 06 (2016) 004 [1512.06431]

    Pith/arXiv arXiv 2016

  39. [40]

    Lewkowycz and J

    A. Lewkowycz and J. Maldacena,Generalized gravitational entropy, JHEP 08 (2013) 090 [1304.4926]

    Pith/arXiv arXiv 2013

  40. [41]

    A. Much, P. Dorau, L. Sangaletti and R. Verch,A UV-Finite Ryu-Takayanagi Relation from Relative Entropy in AdS3/CFT2, 2606.27915

    Pith/arXiv arXiv

  41. [42]

    Mondal and K

    A. Mondal and K. Prabhu,Perturbative semiclassical entropy of dynamical black holes, 2603.02320

    arXiv

  42. [43]

    Hollands, R.M

    S. Hollands, R.M. Wald and V.G. Zhang,Entropy of dynamical black holes, Phys. Rev. D110 (2024) 024070 [2402.00818]

    Pith/arXiv arXiv 2024

  43. [44]

    Gralla and H

    S.E. Gralla and H. Wei,Decoherence from horizons: General formulation and rotating black holes, Phys. Rev. D109 (2024) 065031 [2311.11461]

    Pith/arXiv arXiv 2024

  44. [45]

    Hollands and R.M

    S. Hollands and R.M. Wald,Stability of Black Holes and Black Branes, Commun. Math. Phys. 321 (2013) 629 [1201.0463]

    Pith/arXiv arXiv 2013

  45. [46]

    Let G be a locally compact group

    or the classic text [47]. Let G be a locally compact group. IfG has a finitely additive probability measureµ (i.e. ∃µ :B(G)→ [0,∞) whereB(G) is the set of Borel sets inG such thatµ(G) = 1 and for a finite union of disjoint Borel measurable setsAi in G, µ(⨆n i=1Ai) =∑n i=1µ(Ai)) which is left translation invariant (i.e.µ(g·A) = µ(A)∀g∈ G and∀A∈B (G)), then...

  46. [47]

    O’Neill,Semi-riemannian submanifolds, inSemi-Riemannian Geometry with Applications to Relativity, Pure and Applied Mathematics, Academic Press (1983)

    B. O’Neill,Semi-riemannian submanifolds, inSemi-Riemannian Geometry with Applications to Relativity, Pure and Applied Mathematics, Academic Press (1983)

    1983

  47. [48]

    Kudler-Flam, S

    J. Kudler-Flam, S. Leutheusser and G. Satishchandran,Generalized black hole entropy is von Neumann entropy, Phys. Rev. D111 (2025) 025013 [2309.15897]

    Pith/arXiv arXiv 2025

  48. [49]

    Klinger, J

    M.S. Klinger, J. Kudler-Flam and G. Satishchandran,Generalized Entropy is von Neumann Entropy II: The complete symmetry group and edge modes, 2601.07910

    arXiv

  49. [50]

    Araki,Type of von Neumann Algebra Associated with Free Field, Prog

    H. Araki,Type of von Neumann Algebra Associated with Free Field, Prog. Theor. Phys.32 (1964) 956

    1964

  50. [51]

    Sorce,Notes on the type classification of von Neumann algebras, Rev

    J. Sorce,Notes on the type classification of von Neumann algebras, Rev. Math. Phys.36 (2024) 2430002 [2302.01958]

    arXiv 2024

  51. [52]

    Buchholz, M

    D. Buchholz, M. Florig and S.J. Summers,The second law of thermodynamics, TCP and Einstein causality in anti-de Sitter spacetime, Class. Quant. Grav.17 (2000) L31 [hep-th/9905178]

    Pith/arXiv arXiv 2000

  52. [53]

    Summers,Tomita-Takesaki modular theory, math-ph/0511034

    S.J. Summers,Tomita-Takesaki modular theory, math-ph/0511034

    Pith/arXiv arXiv

  53. [54]

    Chandrasekaran, R

    V. Chandrasekaran, R. Longo, G. Penington and E. Witten,An algebra of observables for de Sitter space, JHEP 2023 (2023) 82 [2206.10780]. 31

    Pith/arXiv arXiv 2023

  54. [55]

    Fewster, D.W

    C.J. Fewster, D.W. Janssen, L.D. Loveridge, K. Rejzner and J. Waldron,Quantum Reference Frames, Measurement Schemes and the Type of Local Algebras in Quantum Field Theory, Commun. Math. Phys.406 (2024) 19 [2403.11973]

    Pith/arXiv arXiv 2024

  55. [56]

    De Vuyst, S

    J. De Vuyst, S. Eccles, P.A. Hoehn and J. Kirklin,Gravitational entropy is observer-dependent, JHEP 07 (2025) 146 [2405.00114]

    Pith/arXiv arXiv 2025

  56. [57]

    De Vuyst, S

    J. De Vuyst, S. Eccles, P.A. Hoehn and J. Kirklin,Crossed products and quantum reference frames: on the observer-dependence of gravitational entropy, JHEP 07 (2025) 063 [2412.15502]

    Pith/arXiv arXiv 2025

  57. [58]

    Takesaki,Duality for crossed products and the structure of von Neumann algebras of type III, Acta Mathematica131 (1973) 249

    M. Takesaki,Duality for crossed products and the structure of von Neumann algebras of type III, Acta Mathematica131 (1973) 249

    1973

  58. [59]

    Witten,Gravity and the crossed product, JHEP 2022 (2022) 8 [2112.12828]

    E. Witten,Gravity and the crossed product, JHEP 2022 (2022) 8 [2112.12828]

    Pith/arXiv arXiv 2022

  59. [60]

    Rejzner,Interaction and renormalization of the scalar field theory, inPerturbative Algebraic Quantum Field Theory: An Introduction for Mathematicians, (Cham), pp

    K. Rejzner,Interaction and renormalization of the scalar field theory, inPerturbative Algebraic Quantum Field Theory: An Introduction for Mathematicians, (Cham), pp. 95–136, Springer International Publishing (2016), DOI

    2016

  60. [61]

    Almheiri, X

    A. Almheiri, X. Dong and D. Harlow,Bulk Locality and Quantum Error Correction in AdS/CFT, JHEP 04 (2015) 163 [1411.7041]

    Pith/arXiv arXiv 2015

  61. [62]

    Pastawski, B

    F. Pastawski, B. Yoshida, D. Harlow and J. Preskill,Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence, JHEP 06 (2015) 149 [1503.06237]

    Pith/arXiv arXiv 2015

  62. [63]

    T. Kibe, P. Mandayam and A. Mukhopadhyay,Holographic spacetime, black holes and quantum error correcting codes: a review, Eur. Phys. J. C82 (2022) 463 [2110.14669]

    Pith/arXiv arXiv 2022

  63. [64]

    Kudler-Flam, S

    J. Kudler-Flam, S. Leutheusser, A.A. Rahman, G. Satishchandran and A.J. Speranza, Covariant regulator for entanglement entropy: Proofs of the Bekenstein bound and the quantum null energy condition, Phys. Rev. D111 (2025) 105001 [2312.07646]

    Pith/arXiv arXiv 2025

  64. [65]

    Hollands and A

    S. Hollands and A. Ishibashi,News versus information, Class. Quant. Grav,36 (2019) 195001 [1904.00007]

    Pith/arXiv arXiv 2019

  65. [66]

    Danielson and G

    D.L. Danielson and G. Satishchandran,Horizons and Soft Quantum Information, 2512.20754

    arXiv

  66. [67]

    Iyer and R.M

    V. Iyer and R.M. Wald,Some properties of Noether charge and a proposal for dynamical black hole entropy, Phys. Rev. D50 (1994) 846 [gr-qc/9403028]

    Pith/arXiv arXiv 1994

  67. [68]

    Faulkner, M

    T. Faulkner, M. Guica, T. Hartman, R.C. Myers and M. Van Raamsdonk,Gravitation from Entanglement in Holographic CFTs, JHEP 03 (2014) 051 [1312.7856]

    Pith/arXiv arXiv 2014

  68. [69]

    Blanco, H

    D.D. Blanco, H. Casini, L.-Y. Hung and R.C. Myers,Relative Entropy and Holography, JHEP 08 (2013) 060 [1305.3182]

    Pith/arXiv arXiv 2013

  69. [70]

    Maldacena,Eternal black holes in anti-de Sitter, JHEP 04 (2003) 021 [hep-th/0106112]

    J.M. Maldacena,Eternal black holes in anti-de Sitter, JHEP 04 (2003) 021 [hep-th/0106112]

    Pith/arXiv arXiv 2003

  70. [71]

    Danielson, G

    D.L. Danielson, G. Satishchandran and R.M. Wald,Killing horizons decohere quantum superpositions, Phys. Rev. D108 (2023) 025007 [2301.00026]

    Pith/arXiv arXiv 2023

  71. [72]

    Pusz and S.L

    W. Pusz and S.L. Woronowicz,Passive States and KMS States for General Quantum Systems, Commun. Math. Phys.58 (1978) 273. 32

    1978

  72. [73]

    An introduction to amenable groups

    A. Garrido, “An introduction to amenable groups.” https://www.math.uni-duesseldorf.de/~garrido/amenable.pdf, 2013

    2013

  73. [74]

    Paterson,Amenability, vol

    A.L.T. Paterson,Amenability, vol. 29 ofMathematical Surveys and Monographs, American Mathematical Society, Providence, RI (1988), 10.1090/surv/029

    doi:10.1090/surv/029 1988