Pith. sign in

REVIEW 4 major objections 3 minor 2 cited by

Volume as an index of a subalgebra

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

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

Pith's one-line read A bulk subregion's volume is proposed to equal an algebraic index of its boundary dual.

desk verdict The submitted text is an unrelated astro-ph paper on methanol, so the volume-index proposal has no derivable content in front of us; the abstract alone is intriguing but cannot be refereed. read the letter →

arxiv 2508.00056 v1 pith:PCNQGMYO submitted 2025-07-31 hep-th gr-qcmath-phmath.MP

Samuel Leutheusser , Hong Liu This is my paper
classification hep-thgr-qcmath-phmath.MP
keywords volumeindexofinclusionsubregion-subalgebradualityrelativecommutantvonNeumannalgebrasblackholeinteriorcomplexityAdS/CFT
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proposes that the volume of a certain class of bulk subregions in AdS is not a purely geometric quantity but is fixed by boundary algebraic data. Specifically, when a causally complete bulk subregion is dual to the relative commutant $\mathcal{N}' \cap \mathcal{M}$ of two boundary von Neumann algebras, the exponential of the volume of its maximal volume slice is proposed to equal the index of the inclusion of $\mathcal{N}$ in $\mathcal{M}$. If this volume-index relation is right, the growth of the black hole interior becomes a statement about the relative size of operator algebras on the boundary, complementing the usual picture in terms of computational complexity. The paper is explicit that this is a proposal rather than a derived theorem, and it points to applications involving entanglement wedges, causal wedges, large-$N$ additivity violations, and de Sitter observer algebras.

What carries the argument

The mechanical core is subregion-subalgebra duality: bulk subregions are described by von Neumann algebras on the boundary, and a causally complete bulk subregion corresponds specifically to the relative commutant $\mathcal{N}' \cap \mathcal{M}$, the set of operators in $\mathcal{M}$ that commute with every operator in $\mathcal{N}$. The index of inclusion is the algebraic measure of relative size that converts the commutant data into a number, and taking the exponential identifies that number with the volume of the maximal volume slice. The maximal volume slice is the object that turns the algebraic index into a geometric volume.

What would settle it

Compute the index of inclusion for an explicit large-$N$ boundary algebra pair and compare $\exp(\mathrm{Vol}(\Sigma_{\max}))$ for the maximal volume slice of the corresponding bulk subregion; a single example where the two disagree would disprove the volume-index relation. A minimal target is the eternal black hole interior, where the late-time linear growth of volume must be matched by a linear-in-time growth of the index.

Watch

Extended reading notes

Core claim

The central claim is a dictionary entry between geometry and algebra: for a causally complete bulk subregion whose associated boundary algebra is the relative commutant $\mathcal{N}' \cap \mathcal{M}$, the exponential of the volume of the maximal volume slice equals the index of inclusion. The index heuristically measures how much larger the algebra $\mathcal{M}$ is than the subalgebra $\mathcal{N}$. In the black hole interior, where the maximal volume slice grows with time, this identifies late-time interior volume growth with growth of the index of inclusion, meaning the boundary operator algebra is becoming relatively larger. The same relation is applied to quantify how much larger the entanglement wedge algebra is than the causal wedge algebra, and to measure violation of additivity of operator algebras in the large-$N$ limit.

Load-bearing premise

The load-bearing premise is the unproven duality that a causally complete bulk subregion is exactly described by the relative commutant $\mathcal{N}' \cap \mathcal{M}$ of two boundary subalgebras, and that the inclusion has a well-defined finite index in the large-$N$ limit.

Editorial extensions

If this is right

  • Black hole interior volume growth is explained by boundary operator algebra growth, offering a Heisenberg-picture complement to complexity-based descriptions.
  • Volumes of entanglement-wedge and causal-wedge subregions can be obtained from the relative size of their dual algebras rather than from direct extremal-surface calculations.
  • Violation of additivity of operator algebras in the large-$N$ limit acquires a quantitative measure through the index of inclusion.
  • The relation extends in principle to de Sitter space, where volume growth between North and South pole observers is tied to changes in their observer algebras.

Reading between the lines

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

  • If the proposal survives, the volume of such subregions becomes predictable from boundary data alone, so the maximal volume slice is not an additional geometric input but a consequence of the algebraic inclusion.
  • A natural test is to evaluate both sides in a solvable holographic setting where the boundary algebra index can be computed exactly; a mismatch at any order in $1/N$ would localize where the dictionary breaks.
  • The volume-index relation may provide a boundary definition of volume that remains meaningful where classical geometry does not, such as deep inside a highly quantum black hole interior.
  • One could use the index to assign a notion of volume to subregions in more general quantum systems without a classical bulk, effectively promoting volume from a geometric observable to an algebraic one.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 3 minor

Summary. The manuscript, identified as arXiv:2508.00056 (hep-th) with the title "Volume as an index of a subalgebra," presents an abstract proposing a relation between the volume of a maximal-volume slice of a causally complete bulk subregion and the index of inclusion of boundary von Neumann algebras: exp(V_max) = Index(N' ∩ M). The claimed applications include a boundary explanation of black hole interior volume growth, a comparison with complexity growth, and a quantifier for violations of additivity of operator algebras in the large N limit. The supplied full text, however, is an unrelated astro-ph observational paper on the discovery of 25 μm interstellar methanol toward NGC 7538 IRS 1 with SOFIA/EXES. No equation, definition, lemma, derivation, or numerical check for the volume-index relation appears anywhere in the submitted full text.

Significance. If the proposed relation were established, it would be a striking bridge between bulk geometric data and boundary algebraic data in AdS/CFT, potentially offering a new handle on black hole interior volume and on the relative size of operator algebras in entanglement wedge reconstruction. The abstract also promises falsifiable structure by connecting index growth to volume growth, which could be tested in tractable models. However, these potential strengths are entirely prospective: the submitted manuscript contains no derivation, no precise definition of the objects entering the relation, and no worked example. The paper therefore cannot, in its current form, be assessed as a contribution to the hep-th literature: the central assertion is unsupported by any apparatus in the supplied text.

major comments (4)
  1. [Abstract and Full Text] The supplied full text is not the manuscript described by the abstract. The full text is an observational astronomy paper on interstellar methanol (arXiv:2508.00059), containing no occurrence of the volume-index relation, no definition of the index of inclusion, no von Neumann algebras, and no AdS/CFT content. The central claim of the abstract therefore has no supporting derivation, lemma, or numerical check anywhere in the submitted document.
  2. [Abstract, volume-index relation] Even taking the abstract as the complete statement of the proposal, the relation exp(V_max) = Index(N' ∩ M) is not well-defined as written. The volume V_max carries units and depends on a choice of regulator and on the AdS scale, while the index of an inclusion of von Neumann algebras is dimensionless; the abstract does not specify the required scheme or state how the regulator dependence cancels.
  3. [Abstract, index of inclusion] No definition of the index of inclusion is supplied, and no criterion is given for finiteness of the index for the relevant inclusions, which in the large-N limit involve type III algebras whose Kosaki index need not be finite. The claimed relation has no stated domain of validity unless such a finiteness criterion and a specific normalization of the index are provided.
  4. [Applications in the abstract] The proposed applications, especially the boundary explanation of black hole interior volume growth, require an argument that the index of the relevant inclusion grows with boundary time in the same way as the maximal-volume slice volume. The abstract contains no such argument, so the advertised physical content remains unsupported.
minor comments (3)
  1. [Full Text] The manuscript should be resubmitted with its own full text; the current version appears to be a different paper and cannot be evaluated for presentation issues such as notation, references, or figure clarity.
  2. [Abstract] The phrase "heuristic measures" should be replaced by a precise definition of the index of inclusion and a statement of which of the standard index constructions (e.g., Kosaki index) is intended.
  3. [Abstract] The term "causally complete bulk subregion" should be defined and its correspondence to the relative commutant N' ∩ M should either be cited to a specific prior result or explicitly stated as an assumption.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular step can be exhibited because the supplied full text is an unrelated astro-ph manuscript and the abstract contains only a heuristic proposal with no derivation chain.

full rationale

The circularity analysis requires quoting a specific reduction in which an output equals an input by construction or via a load-bearing self-citation. No such reduction can be exhibited here. The submitted full text is not the hep-th manuscript described by the abstract; it is an astro-ph paper on 25 micron interstellar methanol, so none of the abstract's equations, definitions, or arguments appear in the body. The abstract itself states only a proposal: 'we propose that the exponential of the volume of the maximal volume slice of the subregion equals the index of inclusion.' A proposal is not a derivation, and no fitted parameter, redefinition, or imported uniqueness theorem is shown that would make the claimed equality true by construction. The load-bearing premise of subregion-subalgebra duality is an unproven assumption, but an unsupported assumption is a correctness or completeness concern, not a circularity loop. The abstract also does not define the index for type III inclusions, state a finiteness condition, or specify the volume regulator, but these omissions are about missing support, not self-reference. Because the instructions require exhibiting the specific reduction before flagging circularity and forbid vague or speculative findings, the honest verdict is no significant circularity, scored 0.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No numerical parameters are stated in the abstract, so the free-parameter ledger is empty pending the real text. The abstract introduces no new particles, forces, or conserved quantities; the index of inclusion and relative commutant are prior mathematical objects. The three axioms listed are the upstream assumptions the central claim rests on, all stated in or directly implied by the abstract.

assumptions (3)
  • domain assumption Subregion-subalgebra duality: bulk subregions are described by von Neumann algebras on the boundary.
    This is the stated dictionary in the abstract ('According to subregion-subalgebra duality, bulk subregions are described by von Neumann algebras on the boundary'). The whole proposal presupposes it.
  • domain assumption A causally complete bulk subregion corresponds to the relative commutant (N' ∩ M) of boundary subalgebras.
    The abstract restricts the proposal to this class of subregions; if the correspondence is not exact, the volume-index equality has no stated domain of validity.
  • domain assumption The index of inclusion is well-defined and finite in the large N limit for the algebras dual to these subregions.
    The proposal identifies exp(volume) with the index, which requires the index to exist and be finite; the abstract gives no proof of either property.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Volume as an index of a subalgebra." pith.science (2026). https://pith.science/paper/PCNQGMYO

@misc{pith2026250800056,
  author       = {Pith},
  title        = {Pith review of: Volume as an index of a subalgebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PCNQGMYO}},
  note         = {Machine review of arXiv:2508.00056}
}
abstract

We propose a new way to understand the volume of certain subregions in the bulk of AdS spacetime by relating it to an algebraic quantity known as the index of inclusion. This index heuristically measures the relative size of a subalgebra $\mathcal{N}$ embedded within a larger algebra $\mathcal{M}$. According to subregion-subalgebra duality, bulk subregions are described by von Neumann algebras on the boundary. When a causally complete bulk subregion corresponds to the relative commutant $\mathcal{N}' \cap \mathcal{M}$ -- the set of operators in $\mathcal{M}$ that commute with $\mathcal{N}$ -- of boundary subalgebras, we propose that the exponential of the volume of the maximal volume slice of the subregion equals the index of inclusion. This ``volume-index'' relation provides a new boundary explanation for the growth of interior volume in black holes, reframing it as a change in the relative size of operator algebras. It offers a complementary perspective on complexity growth from the Heisenberg picture, and has a variety of other applications, including quantifying the relative size of algebras dual to the entanglement wedge and the causal wedge of a boundary region, as well as quantifying the violation of additivity of operator algebras in the large $N$ limit. Finally, it may offer insights into the volume growth of de Sitter space through the changes in North and South pole observer algebras in time.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

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

  1. The Making of von Neumann Algebras from Bulk Focusing

    hep-th 2025-09 conditional novelty 7.0 of 10

    A boundary region's infinite-N operator algebra is a von Neumann algebra exactly when its generalized causal wedge closes on the same region; null geodesic focusing is the bulk mechanism.

  2. Combinatorial aspects of holographic quantum secret sharing

    hep-th 2026-07 conditional novelty 6.0 of 10

    Bulk regions in AdS3/CFT2 get a holographic secret-sharing distance d and thresholds (r,s), with r = n - d + 1; pure states satisfy s = d - 1 while mixed states can satisfy s >= d.

Reference graph

Works this paper leans on

34 extracted references · 27 linked inside Pith · cited by 2 Pith papers

  1. [1]

    J. D. Bekenstein, Lett. Nuovo Cim. 4, 737-740 (1972) doi:10.1007/BF02757029

    doi:10.1007/bf02757029 1972

  2. [2]

    S. W. Hawking, Commun. Math. Phys. 43, 199-220 (1975) [erratum: Commun. Math. Phys. 46, 206 (1976)] doi:10.1007/BF02345020

    doi:10.1007/bf02345020 1975

  3. [3]

    't Hooft, Conf

    G. 't Hooft, Conf. Proc. C 930308, 284-296 (1993) [arXiv:gr-qc/9310026 [gr-qc]]

    arXiv 1993

  4. [4]

    Susskind, J

    L. Susskind, J. Math. Phys. 36, 6377-6396 (1995) doi:10.1063/1.531249 [arXiv:hep-th/9409089 [hep-th]]

    arXiv 1995

  5. [5]

    Ryu and T

    S. Ryu and T. Takayanagi, Phys. Rev. Lett. 96, 181602 (2006) doi:10.1103/PhysRevLett.96.181602 [arXiv:hep-th/0603001 [hep-th]]

    arXiv 2006

  6. [6]

    V. E. Hubeny, M. Rangamani and T. Takayanagi, JHEP 07, 062 (2007) doi:10.1088/1126-6708/2007/07/062 [arXiv:0705.0016 [hep-th]]

    arXiv 2007

  7. [7]

    Engelhardt and A

    N. Engelhardt and A. C. Wall, JHEP 01, 073 (2015) doi:10.1007/JHEP01(2015)073 [arXiv:1408.3203 [hep-th]]

    arXiv 2015

  8. [8]

    Susskind, Fortsch

    L. Susskind, Fortsch. Phys. 64, 24-43 (2016) doi:10.1002/prop.201500092 [arXiv:1403.5695 [hep-th]]

    arXiv 2016

Show all 34 references
  1. [9]

    Stanford and L

    D. Stanford and L. Susskind, Phys. Rev. D 90, no.12, 126007 (2014) doi:10.1103/PhysRevD.90.126007 [arXiv:1406.2678 [hep-th]]

    2014 arXiv

  2. [10]

    Miyaji, T

    M. Miyaji, T. Numasawa, N. Shiba, T. Takayanagi and K. Watanabe, Phys. Rev. Lett. 115, no.26, 261602 (2015) doi:10.1103/PhysRevLett.115.261602 [arXiv:1507.07555 [hep-th]]

    2015 arXiv

  3. [11]

    Alishahiha, Phys

    M. Alishahiha, Phys. Rev. D 92, no.12, 126009 (2015) doi:10.1103/PhysRevD.92.126009 [arXiv:1509.06614 [hep-th]]

    2015 arXiv

  4. [12]

    Jefferson and R

    R. Jefferson and R. C. Myers, JHEP 10, 107 (2017) doi:10.1007/JHEP10(2017)107 [arXiv:1707.08570 [hep-th]]

    2017 arXiv

  5. [13]

    Chapman, M

    S. Chapman, M. P. Heller, H. Marrochio and F. Pastawski, Phys. Rev. Lett. 120, no.12, 121602 (2018) doi:10.1103/PhysRevLett.120.121602 [arXiv:1707.08582 [hep-th]]

    2018 arXiv

  6. [14]

    Belin, R

    A. Belin, R. C. Myers, S. M. Ruan, G. S\'arosi and A. J. Speranza, Phys. Rev. Lett. 128, no.8, 081602 (2022) doi:10.1103/PhysRevLett.128.081602 [arXiv:2111.02429 [hep-th]]

    2022 arXiv

  7. [15]

    Belin, R

    A. Belin, R. C. Myers, S. M. Ruan, G. S\'arosi and A. J. Speranza, JHEP 01, 154 (2023) doi:10.1007/JHEP01(2023)154 [arXiv:2210.09647 [hep-th]]

    2023 arXiv

  8. [16]

    J rstad, R

    E. J rstad, R. C. Myers and S. M. Ruan, JHEP 07, 223 (2023) doi:10.1007/JHEP07(2023)223 [arXiv:2304.05453 [hep-th]]

    2023 arXiv

  9. [17]

    R. C. Myers and S. M. Ruan, [arXiv:2403.17475 [hep-th]]

    arXiv

  10. [18]

    Leutheusser and H

    S. Leutheusser and H. Liu, Phys. Rev. D 108, no.8, 086020 (2023) doi:10.1103/PhysRevD.108.086020 [arXiv:2112.12156 [hep-th]]

    2023 arXiv

  11. [19]

    Leutheusser and H

    S. Leutheusser and H. Liu, [arXiv:2212.13266 [hep-th]]

    arXiv

  12. [20]

    Kosaki, J

    H. Kosaki, J. Funct. Anal. 66, no.1, 335-348 (1986). doi:10.1016/0022-1236(86)90085-6

    1986 doi

  13. [21]

    V. F. R. Jones, Invent. Math. 72, 1-25 (1983). doi:10.1007/BF01389127

    1983 doi

  14. [22]

    Longo, Comm

    R. Longo, Comm. Math. Phys. 126, 217-247 (1989). doi:10.1007/BF02125124

    1989 doi

  15. [23]

    van der Heijden and E

    J. van der Heijden and E. Verlinde, JHEP 02, 207 (2025) doi:10.1007/JHEP02(2025)207 [arXiv:2408.00071 [hep-th]]

    2025 arXiv

  16. [24]

    A. R. Brown, D. A. Roberts, L. Susskind, B. Swingle and Y. Zhao, Phys. Rev. Lett. 116, no.19, 191301 (2016) doi:10.1103/PhysRevLett.116.191301 [arXiv:1509.07876 [hep-th]]

    2016 arXiv

  17. [25]

    Ben-Ami and D

    O. Ben-Ami and D. Carmi, JHEP 11, 129 (2016) doi:10.1007/JHEP11(2016)129 [arXiv:1609.02514 [hep-th]]

    2016 arXiv

  18. [26]

    R. Abt, J. Erdmenger, H. Hinrichsen, C. M. Melby-Thompson, R. Meyer, C. Northe and I. A. Reyes, Fortsch. Phys. 66, no.6, 1800034 (2018) doi:10.1002/prop.201800034 [arXiv:1710.01327 [hep-th]]

    2018 arXiv

  19. [27]

    V. E. Hubeny, H. Maxfield, M. Rangamani and E. Tonni, JHEP 08, 092 (2013) doi:10.1007/JHEP08(2013)092 [arXiv:1306.4004 [hep-th]]

    2013 arXiv

  20. [28]

    V. E. Hubeny and M. Rangamani, JHEP 06, 114 (2012) doi:10.1007/JHEP06(2012)114 [arXiv:1204.1698 [hep-th]]

    2012 arXiv

  21. [29]

    Leutheusser and H

    S. Leutheusser and H. Liu, [arXiv:2411.04183 [hep-th]]

    arXiv

  22. [30]

    Faulkner and A

    T. Faulkner and A. J. Speranza, JHEP 11, 099 (2024) doi:10.1007/JHEP11(2024)099 [arXiv:2405.00847 [hep-th]]

    2024 arXiv

  23. [31]

    Bousso, Z

    R. Bousso, Z. Fisher, S. Leichenauer and A. C. Wall, Phys. Rev. D 93, no.6, 064044 (2016) doi:10.1103/PhysRevD.93.064044 [arXiv:1506.02669 [hep-th]]

    2016 arXiv

  24. [32]

    G. W. Gibbons and S. W. Hawking, Phys. Rev. D 15, 2738-2751 (1977) doi:10.1103/PhysRevD.15.2738

    1977 doi

  25. [33]

    Susskind, JHAP 1, no.1, 1-22 (2021) doi:10.22128/jhap.2021.455.1005 [arXiv:2109.14104 [hep-th]]

    L. Susskind, JHAP 1, no.1, 1-22 (2021) doi:10.22128/jhap.2021.455.1005 [arXiv:2109.14104 [hep-th]]

    2021 arXiv

  26. [34]

    Lashkari, K

    N. Lashkari, K. L. Leung, M. Moosa and S. Ouseph, [arXiv:2412.19882 [hep-th]]

Pith tools

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