Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

The paper proposes a map from generalized entanglement wedges to von Neumann algebras and states, with a generalized entropy formula S_gen(W) = S(ω_W|A_W) − log Ind(E_{Ω→A_W}) + K_Ω, from which the wedge's monotonicity and strong subadditiv

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-03 19:57 UTC pith:W6TZTJWO

load-bearing objection A transparent conditional framework: if the BP-wedge-to-algebra map with finite-index commuting conditional expectations exists, the algebraic derivations of BP monotonicity and strong subadditivity check out; the paper openly flags the load-bearing assumptions as unverified. the 3 major comments →

arxiv 2511.21852 v2 pith:W6TZTJWO submitted 2025-11-26 hep-th gr-qc

Algebras for generalized entanglement wedges

Abhisek Sahu , Jeremy van der Heijden , Mark Van Raamsdonk , Rana Zibakhsh This is my paper
classification hep-th gr-qc
keywords generalized entanglement wedgesvon Neumann algebrasalgebraic entropyconditional expectationsindexstrong subadditivitygeneralized entropyholography
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 explores a hypothesis about the mathematical skeleton of quantum gravity: that the generalized entanglement wedges recently proposed for arbitrary spacetimes are not merely geometric objects but correspond to quantum subsystems—von Neumann algebras with states—in the still-unknown fundamental description. It postulates a map from each wedge to an algebra and state, and proposes a generalized entropy formula in which the wedge's generalized entropy equals the algebraic entropy of the state minus a term measuring the relative size of the algebra (its index) plus a state-independent constant. Under this identification, the paper shows that the two central inequalities obeyed by generalized wedge entropy, monotonicity under inclusion and strong subadditivity, follow from operator-algebra inequalities alone. The payoff would be that the lattice of spacetime wedges is a reflection of a lattice of algebras, extending the holographic dictionary to spacetimes that have no conventional asymptotic boundary.

Core claim

On the paper's own terms, the central claim is that there exists a map W → (A_W, ω_W) from each generalized entanglement wedge W to a von Neumann factor A_W and a state ω_W, satisfying a list of compatibility postulates, and that with this map the generalized entropy is given by S_gen(W) = S(ω_W|A_W) − log Ind(E_{Ω→A_W}) + K_Ω, where Ω is any larger algebra containing A_W with finite index. Using this identification, differences of generalized entropies for nested wedges become relative entropies plus index corrections, and the monotonicity and strong subadditivity of S_gen, previously established by geometric arguments, become corollaries of algebraic entropy inequalities together with the

What carries the argument

The engine of the argument is the index of a conditional expectation—a number measuring how much larger one algebra is than a subalgebra, generalizing the dimension ratio of tensor factors. Wedge inclusion is converted into algebra inclusion with a trace-preserving conditional expectation, and the entropy assignment turns an entropy difference into S(ω||ω∘E) − log Ind(E), where the relative-entropy term has the opposite sign from the naive coarse-graining inequality. The commuting-square condition, requiring the conditional expectations for two overlapping wedges to commute, then supplies both the multiplicative index relation and the algebraic strong-subadditivity inequality that yield the

Load-bearing premise

The load-bearing premise is that every pair of generalized entanglement wedges can be assigned algebras in the microscopic theory such that wedge inclusion corresponds to finite-index algebra inclusion and the coarse-graining maps for overlapping wedges commute; if this map fails, the entropy formula is undefined and both the monotonicity and strong-subadditivity derivations collapse.

What would settle it

Look for two overlapping generalized entanglement wedges with a finite generalized-entropy difference whose assigned algebras admit no finite-index conditional expectation from their join, or whose conditional expectations fail to commute. In the paper's own toy model this is a concrete computation: construct the factor algebras for two regions in a random tensor network and check whether S_gen(W1)+S_gen(W2)−S_gen(W1∩W2)−S_gen(W1∨W2) equals the algebraic expression; any mismatch, or an infinite index where the geometric entropy difference is finite, would falsify the identification.

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

If this is right

  • Each generalized entanglement wedge with finite generalized entropy would carry a von Neumann factor of type I or II, giving a precise sense in which wedge subregions are quantum subsystems of the fundamental theory.
  • The proposed entropy formula reduces, in the standard holographic setting, to the usual holographic entropy formula up to a state-independent constant, explaining the continuity of generalized entropies as wedges approach the conformal boundary.
  • Geometric monotonicity and strong subadditivity of generalized wedge entropy would no longer be separate gravitational facts; they would be instances of algebraic inequalities testable within the operator-algebra framework.
  • In the random tensor network toy model, the algebra assigned to an extremal region is realized by isometric maps and is not unique—it is defined up to unitary equivalence—suggesting the same non-uniqueness should appear in the full gravitational map.
  • The proposal extends the holographic dictionary beyond ordinary entanglement wedges to bounded bulk regions and to boundary regions more general than the standard AdS/CFT wedges, even within AdS/CFT itself.

Where Pith is reading between the lines

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

  • If the map exists, the same algebraic net may be background-independent: two different spacetimes could share one collection of wedge algebras, with the geometry encoded entirely in the state on those algebras; the paper gestures at this possibility but leaves it open.
  • The commuting-square condition invites a direct numerical test in the tensor network toy model: for overlapping regions one can construct the factor algebras and check whether the conditional expectations commute; a failure would localize exactly where the derivation needs refinement.
  • Because conditional expectations are tightly connected to quantum error correction, the proposal suggests that generalized entanglement wedges, not just ordinary ones, should admit an error-correcting interpretation, with approximate recovery perhaps needed when indices are not finite.
  • A positive result for generalized wedges would imply that gravitational dynamics can be derived from relative-entropy positivity for these algebras, extending known holographic derivations of Einstein equations to arbitrary semiclassical spacetimes.

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 proposes a tentative algebraic counterpart to Bousso–Penington (BP) generalized entanglement wedges: a map W → (A_W, ω_W) from each BP wedge to a von Neumann factor with a state, subject to nine postulated properties involving inclusion, intersection/join, finite-index conditional expectations, and a commuting-square condition. It then proposes a generalized RT formula, S_gen(W) = S(ω_W|A_W) − log Ind(E_{Ω→A_W}) + K_Ω (eq. 2.7), and argues that BP monotonicity and strong subadditivity follow from algebraic entropy inequalities together with index identities. The paper includes a proof that intersections of BP wedges are BP wedges, a tensor-network toy check of the single-region entropy formula, a discussion of modular crossed-product gravitational algebras, and a substantial appendix reviewing algebraic entropy, conditional expectations, the Pimsner–Popa index, and algebraic strong subadditivity.

Significance. If the proposed map and postulates hold, the paper would give a compelling algebraic origin for the basic inequalities satisfied by generalized entanglement wedges and would extend the holographic dictionary beyond standard asymptotically AdS settings. The conditional mathematics is mostly sound: the coarse-graining entropy bound, the index product rule, and the Petz strong-subadditivity theorem are assembled correctly, and the appendix is a useful self-contained review. The tensor-network example provides a concrete illustration of the entropy formula for a single region. However, the central load-bearing assumptions—the existence of finite-index conditional expectations for all finite-entropy-difference wedge inclusions and the commuting-square condition for pairs—are not established, and the paper itself identifies them as stringent and, in the gravitational-algebra context, as "by no means clear." The paper is therefore best read as a consistency proposal and a set of conjectures rather than a proof that BP wedge inequalities have an algebraic origin in a concrete gravitational setting.

major comments (3)
  1. [§2.4, Property 7 and Appendix A.5] The strong-subadditivity theorem used in the derivation requires trace-preserving conditional expectations with respect to a common faithful normal finite trace. Property 7 only asserts the existence of commuting conditional expectations E_1 : A_{W1∨W2} → A_{W1} and E_2 : A_{W1∨W2} → A_{W2}; it does not state that they are trace-preserving. This matters because the theorem in Appendix A.5 and the index relations used immediately afterward are stated for trace-preserving conditional expectations. The derivation of eqs. (2.8)–(2.9) and the claimed BP monotonicity/SSA results depend on this. Please add the trace-preserving requirement to Property 7, or specify that the conditional expectations are the unique trace-preserving ones associated with the finite trace, and confirm that the hypotheses of the cited theorem are satisfied.
  2. [§2.4, Properties 7 and 9; §3.3] The finite-index and commuting-square conditions are load-bearing: if either fails, the index logarithms and the algebraic SSA step are undefined, and the derivation collapses. These conditions are not consequences of BP geometry; they are additional structural assumptions. The paper concedes in footnote 14 that finite index is "a stringent requirement" and in §3.3 that it is "by no means clear" that the properties survive for modular crossed-product gravitational algebras because state-dependent dressing prevents straightforward comparison of algebras for different wedges. The tensor-network check in §3.2 verifies only the value of the proposed entropy formula for a single region, not Properties 7 and 9 for pairs of regions. The authors should either provide a concrete model in which the pair properties are verified, or explicitly delimit the main result as a conditional theorem whose h
  3. [§3.2] The tensor-network construction assigns not a single subalgebra to a region but a family of unitarily equivalent factor algebras, with the choice encoded in the complementary isometries T^(a). The postulates of Section 2 are formulated for a map W → (A_W, ω_W), but if only a unitary family exists, one must show that at least one choice satisfies Properties 3, 7, and 9 for all relevant pairs and triples of wedges. This is not demonstrated. Since Property 3 (intersection) and Property 7 (commuting expectations) are used directly in the SSA derivation, the non-uniqueness is not merely a cosmetic issue; it leaves open whether the postulates can be simultaneously satisfied by a single consistent assignment.
minor comments (4)
  1. [p. 14, paragraph after eq. (2.8)] Typo: "algebraic strong subadditivity relation above for gives" should read "...above for ℬ, 𝒞 gives."
  2. [§2.4, eq. (2.9)] The notation S(ω|ω∘E) in eq. (2.9) is inconsistent with the relative-entropy notation S(ω||ω∘E) used in eq. (2.8). Please unify.
  3. [§2.1, Property 4] The weaker version of Property 4 is written as 𝒜_{W1∨W2} ⊃ 𝒜_{W1}∨𝒜_{W2}. Since the discussion in §2.4 and the SSA derivation use the joint algebra 𝒜_{W1∨W2}, it would be helpful to state explicitly which subsequent arguments require only the weak version and which, if any, require the strong equality version.
  4. [§2.5, Property 9] The statement of Property 9 refers to finite-index conditional expectations E_{𝒞→𝒜} and E_{𝒞→ℬ} from the joint algebra 𝒞 = 𝒜∨ℬ, but it does not specify whether these expectations are trace-preserving or whether the index is the Pimsner–Popa index. Given the role of Property 9 in eq. (2.9), this should be made explicit.

Circularity Check

0 steps flagged

No circularity: the central derivation is explicitly conditional on postulated map (2.1) and identification (2.7); reverse-engineered postulates are a correctness concern, not a circular reduction.

full rationale

The paper's derivation chain is: assume the map (2.1) and postulates 1-9, especially the identification S_gen(W)=S(omega|A_W)-log Ind(E_{Omega->A_W})+K_Omega (2.7); then substitute it, via (2.8), into the independent algebraic index inequality (2.6) from [21] and into the algebraic strong-subadditivity theorem from [23], to obtain BP monotonicity and SSA. This is a valid conditional derivation: the target BP inequalities are not used to establish the postulates, and the postulates are not logically equivalent to the conclusions. The admissions that property 7 was added 'since we needed the commuting square condition' and that finite index is 'a stringent requirement' (fn. 14) show that the derivation rests on unverified, reverse-engineered assumptions, not that the conclusion is contained in the assumptions by definition. In section 3.3 the paper explicitly concedes that 'it is by no means clear' the required properties survive for modular crossed-product gravitational algebras; this is a limitation of the proposal, not a circularity. No fitted parameter is relabeled as a prediction; K_Omega is a state-independent choice constant, and the tensor-network check is a consistency check. The self-citations ([1], [10]) are motivational or forward-looking and are not load-bearing. Thus, under the quoted-equation standard, no load-bearing step reduces to its input by construction.

Axiom & Free-Parameter Ledger

4 free parameters · 6 axioms · 1 invented entities

The central claim rests on the BP wedge structure [6,7] (domain input), the semiclassical UV-finite assumption, and a lattice of algebraic postulates (properties 1–9) introduced ad hoc; the paper's own footnotes identify the stringent parts. The algebraic inequalities and theorems (Petz SSA, commuting-square index relations, Longo–Witten entropy bound) are standard results imported from the operator algebra literature. No data or external benchmarks exist for the fundamental map; the only concrete check is the tensor-network toy model, which itself requires free choices (complement isometries) that make the assigned algebra non-unique.

free parameters (4)
  • K_Ω = unspecified; per-reference-algebra constant (log D_Ω² in the finite-dim example)
    State-independent constant in the proposed generalized RT formula (2.7); chosen by hand so the right side is Ω-independent; cancels in all entropy differences, so not fit to data.
  • reference algebra Ω for each wedge W = not constructed
    Eq. (2.7) requires an arbitrary larger algebra Ω with A_W a finite-index subalgebra; the paper assumes such an Ω exists for every finite-entropy wedge without providing a construction.
  • complement isometries T^(a) (a > 1) in the tensor-network construction = arbitrary
    To make the boundary algebra a von Neumann factor in §3.2, extra isometries must be chosen; the resulting algebra is non-unique, a freedom the paper explicitly acknowledges.
  • state ω_W assigned to each wedge algebra = not specified
    The map (2.1) assigns a state to each wedge algebra, but no rule for constructing ω_W from the geometry is given; it is effectively constrained only by requiring (2.7) to reproduce S_gen.
axioms (6)
  • domain assumption BP wedge structure: definition of generalized entanglement wedge and its geometric properties (monotonicity, SSA of S_gen, closure under intersections/joins) from [6,7].
    Taken as input from Bousso–Penington; the paper builds its algebraic framework on these results rather than re-deriving them.
  • domain assumption Semiclassical limit with well-defined spacetime regions and UV-finite generalized entropies exists (§2 opening).
    The entire construction (finite entropy differences, well-defined wedges) presupposes this regime, including finite G and finite N in the AdS/CFT context.
  • domain assumption S_gen of a regular open set is UV-finite; area submodularity and QFT strong subadditivity hold (§2.1, proof of eq. 2.2).
    Used for the intersection-closure proof; imported from [11–13] and standard QFT entropy properties.
  • standard math Algebraic entropy machinery: entropy increases under coarse-graining (2.4), the index bound (2.6) from [21], the Petz/Pythagorean SSA theorem from [23], and the commuting-square index relations from [24].
    External results from the operator algebra literature, stated in the appendix; the paper's derivations are built on them.
  • ad hoc to paper Wedge algebras are von Neumann factors with faithful normal finite trace and trace-preserving conditional expectations (properties 5–7).
    Postulated so that algebraic entropy and index inequalities apply; no independent evidence is given that BP wedge algebras have this structure.
  • ad hoc to paper Finite-index conditional expectations exist for all finite-entropy-difference wedge inclusions (property 9, fn. 14).
    The paper itself calls this 'a stringent requirement'; it is load-bearing for eqs. (2.8)–(2.9) and the monotonicity/SSA derivations.
invented entities (1)
  • Algebra A_W (with state ω_W) assigned to each generalized entanglement wedge by the map (2.1) no independent evidence
    purpose: Algebraic dual of BP wedges; enables the generalized RT formula (2.7) and the algebraic derivation of BP monotonicity and strong subadditivity.
    The central postulate of the paper. The only concrete handle offered is the random tensor network toy model (§3.2), which yields a non-unique family of unitarily equivalent algebras rather than a single one; no independent falsifiable prediction (e.g., a computable spectrum or index value) is given that could confirm or refute the map outside the proposed framework.

pith-pipeline@v1.3.0-alltime-deepseek · 24346 in / 25810 out tokens · 217238 ms · 2026-08-03T19:57:11.410269+00:00 · methodology

0 comments
read the original abstract

In asymptotically AdS spacetimes, the mathematical structure of the set of entanglement wedges reflects the algebraic structure of the underlying holographic description. For more general spacetimes, Bousso and Penington (BP) have recently proposed a generalization of entanglement wedges sharing many of the same properties as usual entanglement wedges. In this paper, we explore the hypothesis that each generalized entanglement wedge can be associated with an algebra in the (generally unknown) fundamental description (in a semiclassical limit). We postulate features of the map from entanglement wedges to algebras that provide a natural algebraic interpretation for some of the basic mathematical properties of the set of entanglement wedges. Quantitatively, we suggest a possible generalization of the Ryu-Takayanagi formula that associates the gravitational entropy of a generalized entanglement wedge with an entropic quantity for the associated algebra. Through this assignment, inclusion monotonicity and strong-subadditivity properties shown by BP for generalized entanglement wedges would follow from various inequalities satisfied by algebraic entropies. We include a detailed appendix reviewing relevant algebraic background, including a discussion of algebraic entropies and their inequalities.

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. Subregion observer rules from generalized entanglement wedges

    hep-th 2026-06 unverdicted novelty 6.0

    Two sets of holographic tensor network rules from independent papers are shown to be equivalent, connecting observer inclusion with generalized entanglement wedge proposals.

Reference graph

Works this paper leans on

78 extracted references · 55 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Van Raamsdonk,Comments on quantum gravity and entanglement,0907.2939

    M. Van Raamsdonk,Comments on quantum gravity and entanglement,0907.2939

    Pith/arXiv arXiv

  2. [2]

    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, [1204.1330]

    Pith/arXiv arXiv 2012

  3. [3]

    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

  4. [4]

    Headrick, V

    M. Headrick, V . E. Hubeny, A. Lawrence and M. Rangamani,Causality & holographic entanglement entropy, JHEP2014(2014) 162, [arXiv:1408.6300 [hep-th]]

    Pith/arXiv arXiv 2014

  5. [5]

    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) 021601, [arXiv:1601.05416 [hep-th]]

    Pith/arXiv arXiv 2016

  6. [6]

    Bousso and G

    R. Bousso and G. Penington,Entanglement wedges for gravitating regions,Phys. Rev. D107(2023) 086002, [2208.04993]

    Pith/arXiv arXiv 2023

  7. [7]

    Bousso and G

    R. Bousso and G. Penington,Holograms in our world,Phys. Rev. D108(2023) 046007, [2302.07892]

    Pith/arXiv arXiv 2023

  8. [8]

    Leutheusser and H

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

    Pith/arXiv arXiv

  9. [9]

    S. Kaya, P . Rath and K. Ritchie,Hollow-grams: Generalized entanglement wedges from the gravitational path integral, 2025

    2025

  10. [10]

    A. Sahu, J. van der Heijden, M. Van Raamsdonk and R. Zibakhsh,Algebras for Generalized Entanglement Wedges II, to appear,

  11. [11]

    Lewkowycz and J

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

    Pith/arXiv arXiv 2013

  12. [12]

    Engelhardt and A

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

    Pith/arXiv arXiv 2015

  13. [13]

    Susskind and J

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

    Pith/arXiv arXiv 1994

  14. [14]

    Gesteau,Large𝑁von Neumann algebras and the renormalization of Newton’s constant,2302.01938

    E. Gesteau,Large𝑁von Neumann algebras and the renormalization of Newton’s constant,2302.01938

    Pith/arXiv arXiv

  15. [15]

    Headrick and T

    M. Headrick and T. Takayanagi,A Holographic proof of the strong subadditivity of entanglement entropy,Phys. Rev. D76(2007) 106013, [0704.3719]

    Pith/arXiv arXiv 2007

  16. [16]

    Takesaki,Tomita’s Theory of Modular Hilbert Algebras and its Applications

    M. Takesaki,Tomita’s Theory of Modular Hilbert Algebras and its Applications. Lecture Notes in Mathematics. Springer-Verlag, 1970, 10.1007/bfb0065832

    doi:10.1007/bfb0065832 1970

  17. [17]

    Takesaki,Theory of Operator Algebras II, vol

    M. Takesaki,Theory of Operator Algebras II, vol. 127. 01, 2003, 10.1007/978-1-4612-6188-9

    doi:10.1007/978-1-4612-6188-9 2003

  18. [18]

    Araki,Relative Entropy of States of Von Neumann Algebras,Publ

    H. Araki,Relative Entropy of States of Von Neumann Algebras,Publ. Res. Inst. Math. Sci. Kyoto1976(1976) 809–833. – 33 –

    1976

  19. [19]

    Araki,Relative Entropy for States of von Neumann Algebras II,Publ

    H. Araki,Relative Entropy for States of von Neumann Algebras II,Publ. Res. Inst. Math. Sci. Kyoto13(1977) 173–192

    1977

  20. [20]

    I. E. Segal,A note on the concept of entropy,Indiana University Mathematics Journal9(1960) 623–629

    1960

  21. [21]

    Longo and E

    R. Longo and E. Witten,A note on continuous entropy,Pure Appl. Math. Quart.19(2023) 2501–2523, [2202.03357]

    Pith/arXiv arXiv 2023

  22. [22]

    Ali Ahmad and M

    S. Ali Ahmad and M. S. Klinger,Emergent geometry from quantum probability,Phys. Rev. D111(2025) 105015, [2411.07288]

    Pith/arXiv arXiv 2025

  23. [23]

    Petz,On certain properties of the relative entropy of states of operator algebras,Mathematische Zeitschrift206 (1991) 351–361

    D. Petz,On certain properties of the relative entropy of states of operator algebras,Mathematische Zeitschrift206 (1991) 351–361

    1991

  24. [24]

    V . F. Jones and V . S. Sunder,Introduction to subfactors, vol. 234. Cambridge University Press, 1997

    1997

  25. [25]

    Leutheusser and H

    S. Leutheusser and H. Liu,Emergent Times in Holographic Duality,2112.12156

    Pith/arXiv arXiv

  26. [26]

    Hayden, S

    P . Hayden, S. Nezami, X.-L. Qi, N. Thomas, M. Walter and Z. Yang,Holographic duality from random tensor networks,JHEP11(2016) 009, [1601.01694]

    Pith/arXiv arXiv 2016

  27. [27]

    Chandrasekaran, R

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

    Pith/arXiv arXiv 2023

  28. [28]

    Chandrasekaran, G

    V . Chandrasekaran, G. Penington and E. Witten,Large N algebras and generalized entropy,JHEP04(2023) 009, [2209.10454]

    Pith/arXiv arXiv 2023

  29. [29]

    Jensen, J

    K. Jensen, J. Sorce and A. J. Speranza,Generalized entropy for general subregions in quantum gravity,JHEP12 (2023) 020, [2306.01837]

    Pith/arXiv arXiv 2023

  30. [30]

    Ali Ahmad and R

    S. Ali Ahmad and R. Jefferson,Crossed product algebras and generalized entropy for subregions,SciPost Phys. Core7(2024) 020, [2306.07323]

    Pith/arXiv arXiv 2024

  31. [31]

    M. S. Klinger and R. G. Leigh,Crossed products, extended phase spaces and the resolution of entanglement singularities,Nucl. Phys. B999(2024) 116453, [2306.09314]

    Pith/arXiv arXiv 2024

  32. [32]

    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

  33. [33]

    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

  34. [34]

    M. S. Klinger and R. G. Leigh,Crossed products, conditional expectations and constraint quantization,Nucl. Phys. B1006(2024) 116622, [2312.16678]

    Pith/arXiv arXiv 2024

  35. [35]

    Faulkner and A

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

    Pith/arXiv arXiv 2024

  36. [36]

    Kudler-Flam, S

    J. Kudler-Flam, S. Leutheusser and G. Satishchandran,Algebraic Observational Cosmology,2406.01669

    Pith/arXiv arXiv

  37. [37]

    Ali Ahmad, M

    S. Ali Ahmad, M. S. Klinger and S. Lin,Semifinite von Neumann algebras in gauge theory and gravity,Phys. Rev. D111(2025) 045006, [2407.01695]

    Pith/arXiv arXiv 2025

  38. [38]

    A. J. Speranza,An intrinsic cosmological observer,2504.07630

    Pith/arXiv arXiv

  39. [39]

    Bousso and S

    R. Bousso and S. Kaya,Fundamental complement of a gravitating region,Gen. Rel. Grav.57(2025) 124, [2505.15886]

    Pith/arXiv arXiv 2025

  40. [40]

    Witten,A Background Independent Algebra in Quantum Gravity,Gen

    E. Witten,A Background Independent Algebra in Quantum Gravity,Gen. Rel. Grav.57(2025) 17

    2025

  41. [41]

    H. Liu,Lectures on entanglement, von Neumann algebras, and emergence of spacetime, inTheoretical Advanced Study Institute in Elementary Particle Physics 2023: Aspects of Symmetry, 10, 2025.2510.07017

    arXiv 2023

  42. [42]

    Faulkner, M

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

    Pith/arXiv arXiv 2014

  43. [43]

    Lashkari, M

    N. Lashkari, M. B. McDermott and M. Van Raamsdonk,Gravitational dynamics from entanglement ’thermodynamics’,JHEP04(2014) 195, [1308.3716]

    Pith/arXiv arXiv 2014

  44. [44]

    Swingle and M

    B. Swingle and M. Van Raamsdonk,Universality of Gravity from Entanglement,1405.2933

    Pith/arXiv arXiv

  45. [45]

    Lewkowycz and O

    A. Lewkowycz and O. Parrikar,The holographic shape of entanglement and Einstein’s equations,JHEP05(2018) 147, [1802.10103]

    Pith/arXiv arXiv 2018

  46. [46]

    Jacobson,Entanglement equilibrium and the einstein equation,Physical Review Letters116(May, 2016)

    T. Jacobson,Entanglement equilibrium and the einstein equation,Physical Review Letters116(May, 2016)

    2016

  47. [47]

    Czech, J

    B. Czech, J. De Boer, D. Ge and L. Lamprou,A modular sewing kit for entanglement wedges,JHEP11(2019) 094, [1903.04493]

    Pith/arXiv arXiv 2019

  48. [48]

    Czech, J

    B. Czech, J. de Boer, R. Esp ´ındola, B. Najian, J. van der Heijden and C. Zukowski,Changing states in holography: From modular Berry curvature to the bulk symplectic form,Phys. Rev. D108(2023) 066003, [2305.16384]

    Pith/arXiv arXiv 2023

  49. [49]

    de Boer, B

    J. de Boer, B. Najian, J. van der Heijden and C. Zukowski,Modular chaos, operator algebras, and the Berry phase,JHEP09(2025) 086, [2505.04682]

    arXiv 2025

  50. [50]

    Donnelly and S

    W. Donnelly and S. B. Giddings,Diffeomorphism-invariant observables and their nonlocal algebra,Phys. Rev. D 93(2016) 024030, [1507.07921]

    Pith/arXiv arXiv 2016

  51. [51]

    S. B. Giddings, D. Marolf and J. B. Hartle,Observables in effective gravity,Phys. Rev. D74(2006) 064018, [hep-th/0512200]

    Pith/arXiv arXiv 2006

  52. [52]

    S. B. Giddings,Quantum gravity observables: observation, algebras, and mathematical structure ∗,J. Phys. A58 (2025) 415401, [2505.22708]

    Pith/arXiv arXiv 2025

  53. [53]

    Jensen, S

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

    Pith/arXiv arXiv 2025

  54. [54]

    S. B. Giddings,Gravitational dressing: from the crossed product to more general algebraic and mathematical structure,2510.24833

    arXiv

  55. [55]

    X. Dong, S. McBride and W. W. Weng,Holographic tensor networks with bulk gauge symmetries,JHEP02(2024) 222, [2309.06436]

    Pith/arXiv arXiv 2024

  56. [56]

    Akers and A

    C. Akers and A. Y. Wei,Background independent tensor networks,SciPost Physics17(Sept., 2024)

    2024

  57. [57]

    Qi,Emergent bulk gauge field in random tensor networks,2209.02940

    X.-L. Qi,Emergent bulk gauge field in random tensor networks,2209.02940

    arXiv

  58. [58]

    Balasubramanian and C

    V . Balasubramanian and C. Cummings,Diffeomorphism invariant tensor networks for 3d gravity, 2510.13941

    arXiv

  59. [59]

    M. J. Kang and D. K. Kolchmeyer,Entanglement wedge reconstruction of infinite-dimensional von Neumann algebras using tensor networks,Phys. Rev. D103(2021) 126018, [1910.06328]

    Pith/arXiv arXiv 2021

  60. [60]

    Gesteau and M

    E. Gesteau and M. J. Kang,The infinite-dimensional HaPPY code: entanglement wedge reconstruction and dynamics,2005.05971

    Pith/arXiv arXiv 2005

  61. [61]

    Chemissany, E

    W. Chemissany, E. Gesteau, A. Jahn, D. Murphy and L. Shaposhnik,On Infinite Tensor Networks, Complementary Recovery and Type II Factors,2504.00096

    arXiv

  62. [62]

    R. M. Soni,A type I approximation of the crossed product,JHEP01(2024) 123, [2307.12481]

    Pith/arXiv arXiv 2024

  63. [63]

    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) 865–912

    2017

  64. [64]

    Kamal and G

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

    Pith/arXiv arXiv 1912

  65. [65]

    M. J. Kang and D. K. Kolchmeyer,Holographic Relative Entropy in Infinite-Dimensional Hilbert Spaces, Commun. Math. Phys.400(2023) 1665–1695, [1811.05482]

    Pith/arXiv arXiv 2023

  66. [66]

    Faulkner,The holographic map as a conditional expectation,2008.04810

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

    Pith/arXiv arXiv 2008

  67. [67]

    Faulkner, S

    T. Faulkner, S. Hollands, B. Swingle and Y. Wang,Approximate Recovery and Relative Entropy I: General von Neumann Subalgebras,Commun. Math. Phys.389(2022) 349–397, [2006.08002]

    Pith/arXiv arXiv 2022

  68. [68]

    Faulkner and S

    T. Faulkner and S. Hollands,Approximate recoverability and relative entropy II: 2-positive channels of general von Neumann algebras,Lett. Math. Phys.112(2022) 26, [2010.05513]

    Pith/arXiv arXiv 2022

  69. [69]

    Furuya, N

    K. Furuya, N. Lashkari and S. Ouseph,Real-space RG, error correction and Petz map,JHEP01(2022) 170, [2012.14001]

    Pith/arXiv arXiv 2022

  70. [70]

    Gesteau and M

    E. Gesteau and M. J. Kang,Nonperturbative gravity corrections to bulk reconstruction,J. Phys. A56(2023) 385401, [2112.12789]

    Pith/arXiv arXiv 2023

  71. [71]

    Faulkner and M

    T. Faulkner and M. Li,Asymptotically isometric codes for holography,2211.12439. – 36 –

    Pith/arXiv arXiv

  72. [72]

    van der Heijden and E

    J. van der Heijden and E. Verlinde,An operator algebraic approach to black hole information,JHEP02(2025) 207, [2408.00071]

    Pith/arXiv arXiv 2025

  73. [73]

    Crann and M

    J. Crann and M. J. Kang,Algebraic approach to spacetime bulk reconstruction,2412.00298

    Pith/arXiv arXiv

  74. [74]

    Ali Ahmad and M

    S. Ali Ahmad and M. S. Klinger,Extensions from within,2503.02944

    Pith/arXiv arXiv

  75. [75]

    Ohya and D

    M. Ohya and D. Petz,Quantum entropy and its use, 1993

    1993

  76. [76]

    Pimsner and S

    M. Pimsner and S. Popa,Entropy and index for subfactors,Annales scientifiques de l’ ´Ecole Normale Sup´ erieure19 (1986) 57–106

    1986

  77. [77]

    V . F. Jones,Index for subfactors,Inventiones mathematicae72(1983) 1–25

    1983

  78. [78]

    Longo,Index of subfactors and statistics of quantum fields

    R. Longo,Index of subfactors and statistics of quantum fields. i,Communications in mathematical physics126 (1989) 217–247. – 37 –

    1989