pith. sign in

arxiv: 2607.01873 · v1 · pith:GBJNF27Pnew · submitted 2026-07-02 · ✦ hep-th · gr-qc· math-ph· math.MP· quant-ph

Lubkin-Page typicality bounds for Type~II von~Neumann factors

Zhi-Wei Wang , Samuel L. Braunstein This is my paper

Pith reviewed 2026-07-03 08:49 UTC · model grok-4.3

classification ✦ hep-th gr-qcmath-phmath.MPquant-ph
keywords Type II von Neumann factorsLubkin-Page boundstypicalitymutual informationquantum gravitygravitational algebrasBekenstein-Hawking entropy
0
0 comments X

The pith

Lubkin-Page typicality bounds extend to all Type II von Neumann factors.

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

The paper establishes that typicality arguments for emergent spacetime, based on Lubkin-Page bounds showing vanishing correlations for generic states, apply beyond tensor-product Hilbert spaces to Type II von Neumann factors. This is relevant because quantum field theory and quantum gravity typically involve Type II or III algebras rather than Type I. For hyperfinite Type II1 factors with a tripartite split, mutual information between subsystems vanishes as O((dA dB / dE)^2) in suitable finite approximations. Type II∞ factors, such as those in gravitational algebras, gain extra exponential suppression tied to Bekenstein-Hawking entropy. Obstructions for Type III factors are identified, leaving open whether the commutant can tighten the bound as a thermal bath.

Core claim

We prove that Lubkin-Page typicality bounds, which demonstrate vanishing mutual information for generic states in Type I algebras, survive for all Type II von Neumann factors. In the hyperfinite Type II₁ case with R ≅ A ⊗ B ⊗ E, the mutual information I(A:B) vanishes as O((d_A d_B / d_E)^2) when d_A d_B ≤ d_E in finite-dimensional approximations. For Type II_∞ factors including crossed-product gravitational algebras, the bound includes additional exponential suppression governed by the Bekenstein-Hawking entropy.

What carries the argument

Finite-dimensional approximations to the hyperfinite Type II factor that preserve the tripartite decomposition R ≅ A ⊗ B ⊗ E while satisfying the dimension condition d_A d_B ≤ d_E, together with crossed-product constructions for the Type II_∞ case.

If this is right

  • Generic states in Type II factors exhibit vanishing correlations between subsystems A and B.
  • Typicality arguments for emergent spacetime carry over to quantum gravity settings using Type II algebras.
  • Gravitational algebras benefit from stronger bounds due to entropy factors.
  • The result applies directly to crossed-product constructions of gravitational algebras.

Where Pith is reading between the lines

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

  • This opens the possibility that similar typicality holds in more general settings if Type III factors can be handled via analogous approximations.
  • Numerical simulations of finite matrix approximations could verify the precise scaling of the mutual information bound.
  • If the commutant acts as a bath, it might imply tighter locality in QFT without further assumptions on the algebra.

Load-bearing premise

Suitable finite-dimensional approximations to the infinite Type II factor exist that maintain the tripartite decomposition and satisfy the dimension inequality d_A d_B ≤ d_E.

What would settle it

A sequence of finite-dimensional approximations to a Type II₁ factor where d_A d_B ≤ d_E but the mutual information between A and B fails to decay as O((d_A d_B / d_E)^2).

read the original abstract

Typicality arguments for emergent spacetime rely on the Lubkin-Page bounds, which show that generic quantum states have vanishing correlations between subsystems. These bounds assume a tensor-product Hilbert space (a Type~I von~Neumann algebra), but the observable algebras in quantum field theory and quantum gravity are generically Type~II or Type~III, raising the question of whether the bounds survive. We prove that they do for all Type~II von~Neumann factors. For the hyperfinite Type~II$_1$ factor with a tripartite decomposition $R \cong A \otimes B \otimes E$, the mutual information between subsystems $A$ and $B$ vanishes as $O((d_A d_B / d_E)^2)$ in finite-dimensional approximations, provided $d_A d_B \leq d_E$ (Theorem~1). For Type~II$_\infty$ factors, including the gravitational algebras constructed via the crossed-product method by Witten and by Chandrasekaran, Longo, Penington, and Witten, the bound acquires an additional exponential suppression controlled by the Bekenstein-Hawking entropy (Theorem~2). We identify the obstructions to extending the result to Type~III factors and discuss the open question of whether the commutant of the observable algebra can serve as a natural thermal bath that tightens the bound further.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper proves extensions of Lubkin-Page typicality bounds to Type II von Neumann factors. For the hyperfinite Type II₁ factor admitting a tripartite decomposition R ≅ A ⊗ B ⊗ E, Theorem 1 establishes that the mutual information between A and B vanishes as O((d_A d_B / d_E)^2) in finite-dimensional approximations provided d_A d_B ≤ d_E. Theorem 2 shows that for Type II_∞ factors (including gravitational algebras from crossed-product constructions), the bound acquires an extra exponential suppression controlled by the Bekenstein-Hawking entropy. The manuscript identifies obstructions to extending the result to Type III factors and discusses the possible role of the commutant as a thermal bath.

Significance. If the proofs hold, the results supply a direct mathematical justification for typicality arguments in quantum field theory and quantum gravity, where Type II algebras are the relevant observable algebras. The explicit dimension-dependent bounds, the handling of the infinite-dimensional limit, and the treatment of gravitational examples constitute a concrete advance over prior heuristic appeals to Type I results.

major comments (1)
  1. [Theorem 1] Theorem 1 and the surrounding discussion of finite-dimensional approximations: the O((d_A d_B / d_E)^2) bound is stated to hold only when a sequence of matrix-algebra approximations exists that realizes the tripartite decomposition R_n ≅ A_n ⊗ B_n ⊗ E_n with d_A d_B ≤ d_E at every finite n while converging to the hyperfinite II₁ factor. The manuscript must supply an explicit construction (or a reference to one) demonstrating that such a sequence can be chosen without violating the factor property in the limit; absent this, the applicability of the bound to the hyperfinite case remains conditional on an unproven embedding property.
minor comments (2)
  1. [Abstract] The abstract and introduction use 'vanishes as O((d_A d_B / d_E)^2)' without specifying whether the mutual information is the standard von Neumann quantity I(A:B) = S(A) + S(B) - S(AB) or a regularized variant; a single clarifying sentence would remove ambiguity.
  2. [§5] Section 5 (obstructions for Type III) would benefit from a short table contrasting the Type II and Type III cases with respect to the existence of normal states and the validity of the dimension-counting argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of the significance of the results. We address the single major comment below and will revise the manuscript to strengthen the presentation of the finite-dimensional approximations.

read point-by-point responses

  1. Referee: Theorem 1 and the surrounding discussion of finite-dimensional approximations: the O((d_A d_B / d_E)^2) bound is stated to hold only when a sequence of matrix-algebra approximations exists that realizes the tripartite decomposition R_n ≅ A_n ⊗ B_n ⊗ E_n with d_A d_B ≤ d_E at every finite n while converging to the hyperfinite II₁ factor. The manuscript must supply an explicit construction (or a reference to one) demonstrating that such a sequence can be chosen without violating the factor property in the limit; absent this, the applicability of the bound to the hyperfinite case remains conditional on an unproven embedding property.

    Authors: We agree that the applicability of Theorem 1 to the hyperfinite II₁ factor would benefit from an explicit reference or sketch to remove any conditional character. The hyperfinite II₁ factor R admits a tripartite decomposition R ≅ A ⊗ B ⊗ E with A, B, E themselves hyperfinite II₁ factors. Finite-dimensional approximations are obtained by taking an increasing sequence of finite tensor-product subalgebras R_n = M_{k_n}(ℂ) ⊗ M_{m_n}(ℂ) ⊗ M_{l_n}(ℂ) with k_n m_n ≤ l_n at each n, chosen so that the union is dense in R in the strong operator topology. Each R_n is a factor (as a tensor product of factors), the dimension condition holds by construction, and the inductive limit is the unique hyperfinite II₁ factor. We will add a short paragraph with this construction together with a reference to standard results on amenable von Neumann algebras (e.g., the treatment of the hyperfinite factor as an inductive limit in Takesaki, vol. II) in the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No circularity: direct mathematical proofs of bounds under explicit assumptions

full rationale

The paper advances Theorems 1 and 2 as mathematical proofs that Lubkin-Page-style mutual-information bounds extend to Type II von Neumann factors, relying on the existence of a tripartite decomposition R ≅ A ⊗ B ⊗ E together with the dimension condition d_A d_B ≤ d_E in finite-dimensional approximations. These are standard assumptions in the statement of the theorems rather than self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations; the derivation chain consists of algebraic arguments within von Neumann algebra theory and does not reduce the claimed O((d_A d_B / d_E)^2) or exponentially suppressed bounds to the inputs by construction. No patterns from the enumerated circularity kinds are exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of von Neumann algebras (existence of tripartite decompositions for the hyperfinite II1 factor and crossed-product constructions for II∞ gravitational algebras) plus the validity of finite-dimensional approximations that preserve the dimension ordering.

axioms (2)
  • standard math Hyperfinite Type II1 factor admits a tripartite decomposition R ≅ A ⊗ B ⊗ E with controllable finite-dimensional approximations
    Invoked to state Theorem 1 and the O((dA dB/dE)^2) bound.
  • domain assumption Crossed-product constructions yield Type II∞ gravitational algebras whose Bekenstein-Hawking entropy controls an exponential factor
    Used for the additional suppression in Theorem 2.

pith-pipeline@v0.9.1-grok · 5787 in / 1493 out tokens · 25180 ms · 2026-07-03T08:49:19.334000+00:00 · methodology

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

25 extracted references · 1 canonical work pages

  1. [1]

    van Raamsdonk, Building up spacetime with quan- tum entanglement.Gen

    M. van Raamsdonk, Building up spacetime with quan- tum entanglement.Gen. Rel. Grav.42, 2323–2329 (2010)

    2010

  2. [2]

    Ryu and T

    S. Ryu and T. Takayanagi, Holographic deriva- tion of entanglement entropy from the anti-de Sitter space/conformal field theory correspondence.Phys. Rev. Lett.96, 181602 (2006)

    2006

  3. [3]

    Maldacena and L

    J. Maldacena and L. Susskind, Cool horizons for entan- gled black holes.Fortschr. Phys.61, 781–811 (2013)

    2013

  4. [4]

    Lubkin, Entropy of ann-system from its correlation with ak-reservoir.J

    E. Lubkin, Entropy of ann-system from its correlation with ak-reservoir.J. Math. Phys.19, 1028–1031 (1978)

    1978

  5. [5]

    D. N. Page, Average entropy of a subsystem.Phys. Rev. Lett.71, 1291–1294 (1993)

    1993

  6. [6]

    Wang and S

    Z.-W. Wang and S. L. Braunstein, Generic quantum states cannot support spacetime: a pre-inflationary ori- gin for large-scale CMB anomalies. In preparation (2026)

    2026

  7. [7]

    Witten, Notes on some entanglement properties of quantum field theory.Rev

    E. Witten, Notes on some entanglement properties of quantum field theory.Rev. Mod. Phys.90, 045003 (2018)

    2018

  8. [8]

    Witten, Gravity and the crossed product.JHEP10, 008 (2022)

    E. Witten, Gravity and the crossed product.JHEP10, 008 (2022)

    2022

  9. [9]

    Chandrasekaran, R

    V. Chandrasekaran, R. Longo, G. Penington, and E. Wit- ten, An algebra of observables for de Sitter space.JHEP 02, 082 (2023)

    2023

  10. [10]

    Wang and S

    Z.-W. Wang and S. L. Braunstein, Typicality bounds sur- vive the Hilbert space factorisation problem. In prepara- tion (2026)

    2026

  11. [11]

    Connes, Classification of injective factors.Ann

    A. Connes, Classification of injective factors.Ann. Math. 104, 73–115 (1976)

    1976

  12. [12]

    V. F. R. Jones, Index for subfactors.Invent. Math.72, 1–25 (1983)

    1983

  13. [13]

    V. F. R. Jones and V. S. Sunder,Introduction to Subfac- tors(Cambridge University Press, Cambridge, 1997)

    1997

  14. [14]

    Tomiyama, On the projection of norm one inW ∗- algebras.Proc

    J. Tomiyama, On the projection of norm one inW ∗- algebras.Proc. Japan Acad.33, 608–612 (1957)

    1957

  15. [15]

    Araki, Relative entropy of states of von Neumann al- gebras.Publ

    H. Araki, Relative entropy of states of von Neumann al- gebras.Publ. RIMS, Kyoto Univ.11, 809–833 (1976)

    1976

  16. [16]

    Ohya and D

    M. Ohya and D. Petz,Quantum Entropy and Its Use (Springer, Berlin, 1993)

    1993

  17. [17]

    Longo, Index of subfactors and statistics of quantum fields

    R. Longo, Index of subfactors and statistics of quantum fields. I.Commun. Math. Phys.126, 217–247 (1989)

    1989

  18. [18]

    J. J. Bisognano and E. H. Wichmann, On the duality condition for quantum fields.J. Math. Phys.17, 303– 321 (1976)

    1976

  19. [19]

    Jacobson, Thermodynamics of space-time: The Ein- stein equation of state.Phys

    T. Jacobson, Thermodynamics of space-time: The Ein- stein equation of state.Phys. Rev. Lett.75, 1260–1263 (1995)

    1995

  20. [20]

    Jacobson, Entanglement equilibrium and the Einstein equation.Phys

    T. Jacobson, Entanglement equilibrium and the Einstein equation.Phys. Rev. Lett.115, 201102 (2015)

    2015

  21. [21]

    Carlip, Black hole entropy from conformal field theory in any dimension.Phys

    S. Carlip, Black hole entropy from conformal field theory in any dimension.Phys. Rev. Lett.82, 2828–2831 (1999)

    1999

  22. [22]

    S. N. Solodukhin, Conformal description of horizon’s states.Phys. Lett. B454, 213–222 (1999)

    1999

  23. [23]

    Banks and K

    T. Banks and K. M. Zurek, Conformal description of near-horizon vacuum states.Phys. Rev. D104, 126026 (2021)

    2021

  24. [24]

    Hilbert Bundles and Holographic Space-time: the Hydrodynamic Approach to Grav- ity,

    T. Banks, Hilbert bundles and holographic space-time: the hydrodynamic approach to gravity. arXiv:2502.04924 [hep-th] (2025)

    work page arXiv 2025

  25. [25]

    Evenbly and G

    G. Evenbly and G. Vidal, Tensor network renormaliza- tion.Phys. Rev. Lett.115, 180405 (2015)

    2015