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.
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 TypeI vonNeumann algebra), but the observable algebras in quantum field theory and quantum gravity are generically TypeII or TypeIII, raising the question of whether the bounds survive. We prove that they do for all TypeII vonNeumann factors. For the hyperfinite TypeII1 factor with a tripartite decomposition R≅A⊗B⊗E, the mutual information between subsystems A and B vanishes as O((dAdB/dE)2) in finite-dimensional approximations, provided dAdB≤dE (Theorem1). For TypeII∞ 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 (Theorem2). 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.
An early result of algebraic quantum field theory is that the algebra of any subregion in a QFT is a von Neumann factor of type III _{1} 1 , in which entropy cannot be well-defined because such algebras do not admit a trace or density states. However, associated to the algebra is a modular group of automorphisms characterizing the local dynamics of degrees of freedom in the region, and the crossed product of the algebra with its modular group yields a type II _∞ ∞ factor, in which traces and hence von Neumann entropy can be well-defined. In this work, we generalize recent constructions of the crossed product algebra for the TFD to, in principle, arbitrary spacetime regions in arbitrary QFTs, formally paving the way to the study of entanglement entropy without UV divergences. In contrast to previous works, we emphasize that this construction is independent of gravity. In this sense, the crossed product construction represents a refinement of Haag’s assignment of nets of observable algebras to spacetime regions by providing a natural construction of a type II factor. We present several concrete examples: a QFT in Rindler space, a CFT in an open ball of Minkowski space, and arbitrary boundary subregions in AdS/CFT. In the holographic setting, we provide a novel argument for why the bulk dual must be the entanglement wedge, and discuss the distinction arising from boundary modular flow between causal and entanglement wedges for excited states and disjoint regions.
This paper provides an explanation of the type classification of von Neumann algebras, which has made many appearances in the recent work on entanglement in quantum field theory and quantum gravity. The goal is to bridge a gap in the literature between resources that are too technical for the non-expert reader, and resources that seek to explain the broad intuition of the theory without giving precise definitions. Reading this paper will provide you with: (i) an argument for why “factors” are the fundamental von Neumann algebras that one needs to study; (ii) an intuitive explanation of the type classification of factors in terms of renormalization schemes that turn unnormalizable positive operators into “effective density matrices”; (iii) a mathematical explanation of the different types of renormalization schemes in terms of the allowed traces on a factor; (iv) an intuitive characterization of type I and type II factors in terms of their “standard forms”; and (v) a list of some interesting connections between type classification and modular theory, including the argument for why type III 1 factors are believed to be the relevant ones in quantum field theory. None of the material is new, but the pedagogy is different from other sources the author has read; it is most similar in spirit to the recent work on gravity and the crossed product by Chandrasekaran, Longo, Penington, and Witten.
Abstract A manifestation of the black hole information loss problem is that the two-point function of probe operators in a large Anti-de Sitter black hole decays in time, whereas, on the boundary CFT, it is expected to be an almost periodic function of time. We point out that the decay of the two-point function (clustering in time) holds important clues to the nature of observable algebras, states, and dynamics in quantum gravity. We call operators that cluster in time “mixing” and explore the necessary and sufficient conditions for mixing. The information loss problem is a special case of the statement that in type I algebras, there exists no mixing operators. We prove that, in a thermofield double state (KMS state), if mixing operators form an algebra (close under multiplication), the resulting algebra must be a von Neumann type III1 factor. In other words, the physically intuitive requirement that all nonconserved operators should exponentially mix is so strong that it fixes the observable algebra to be an exotic algebra called a type III1 factor. More generally, for an arbitrary out-of-equilibrium state of a general quantum system (von Neumann algebra), we show that if the set of operators that mix under modular flow forms an algebra, it is a type III1 von Neumann factor. In a theory of Generalized Free Fields (GFF), we show that if the two-point function clusters in time, all operators are mixing, and the algebra is a type III1 factor. For example, in 𝒩 = 4 SYM, above the Hawking-Page phase transition, clustering of the single trace operators implies that the algebra is a type III1 factor, settling a recent conjecture of Leutheusser and Liu. We explicitly construct the C∗-algebra and von Neumann subalgebras of GFF associated with time bands and, more generally, open sets of the bulk spacetime using the HKLL reconstruction map.
MIP*=RE implies that correlations of commuting observables on an infinite-dimensional Hilbert space (C_qc) can lie at a finite distance from every limit of finite-dimensional tensor-product correlations (C_qa). Such correlations would let a finite experiment detect an actual infinity with a modest number of rounds. In earlier work this was identified as the only route that escapes the resource bounds on certifying Hilbert-space dimension. Here we ask whether relativistic quantum field theory allows Bell correlations in this gap. Under standard structural assumptions, it does not. Suppose the theory has the split property, which follows from the Buchholz–Wichmann nuclearity condition and holds for free fields. Then the correlations of local measurements in strictly spacelike separated regions are tensor-product correlations and lie in C_qa. If the local algebras are hyperfinite, the same holds for regions that are merely spacelike, with no gap between them. Buchholz, D'Antoni and Fredenhagen showed this hyperfiniteness under a scaling-limit assumption. We give a self-contained proof based on semidiscreteness. Alice's measurements are compressed through matrix algebras by unital completely positive maps, and the resulting correlations converge to the original ones. The same applies to the type II₁ observer algebra of a de Sitter static patch, constructed by Chandrasekaran, Longo, Penington and Witten. This algebra is a corner of a crossed product of such an algebra by ℝ, so it is again injective. Within these frameworks, local measurements in spacelike separated regions cannot realise the gap found by MIP*=RE. This excludes the fourth of the logical possibilities listed by Cabello, Quintino and Kleinmann. We then bound, from the state side, how much dimension a Bell test can certify. Compressing each party to the support of its ε-smoothed reduced state reproduces all correlations to within 2(√ε_A + √ε_B) + ε_A + ε_B. Since N rounds resolve correlations only to N^(-1/2), an experiment with N rounds certifies at most the smooth max-entropy of the local state at smoothing ε ~ 1/N. We compute this effective dimension exactly for the vacuum of a lattice free scalar field. The single-particle entanglement energies form two towers, one per block endpoint, with a spacing set by the mass, so only a handful of modes are active. The effective dimension follows an area law: it is at most 9 bits for a 128-site block at ε = 10⁻⁶, against 553 bits from naive counting. As ε decreases from 10⁻¹ to 10⁻¹², it grows only from 2.3 to 13.1 bits. A product bound over thermal modes shows that the growth is polylogarithmic in 1/ε for any regularised block. In the continuum, the corresponding object is the canonical splitting type I factor of Doplicher and Longo, whose vacuum entropy coincides with the reflected entropy. Evaluating its smooth max-entropy as a function of the splitting distance is left for future work. Together with the certification budget of the companion paper, the result gives a coherent picture. Physics uses infinite-dimensional Hilbert spaces and type III algebras. Yet, within these frameworks, the correlations that local measurements can produce are reproduced to any finite precision by finite-dimensional models. The size of these models is controlled by entanglement entropy. Code, data and figures: https://github.com/Ruqing1963/qft-tsirelson-loophole
Starting from the exact Projected Central Limit Theorem on hyperspheres, we rederive the Beta distribution for subsystem occupation probabilities and Lubkin's purity formula from elementary hyperspherical moments, quantifying the finite-size ``platykurtic'' suppression of tails relative to the Gaussian approximation used in standard eigenstate-thermalization and typicality treatments. Our main new result concerns the bipartite quantum mutual information ⟨I(A:B)⟩ for Haar-random pure states. We show that its full asymptotic expansion in 1/N admits a Bernoulli-factorized form in which every order k≥1 carries the symmetric factor (dA2k−1)(dB2k−1) and all higher odd-order corrections vanish identically. Through an exact algebraic reorganization of Page's formula (conjectured in Ref.~\cite{Page1993} and subsequently proven~\cite{Foong1994, SanchezRuiz1995, Sen1996}), we establish that the leading finite-size correction separates into a dominant su(dA)⊗su(dB) bipartite quantum coherence contribution (dA2−1)(dB2−1)/(2N) and a subtracted classical-probability (Cartan ⊗ Cartan) contribution (dA−1)(dB−1)/(2N), and we trace this separation to the difference between diagonal and eigenvalue entropies via Schur's majorisation theorem, with the dimensional counts (d−1) and (d2−1) acquiring meaning through the Cartan structure of the generalised Bloch decomposition. These results admit a single non-perturbative closed form: the exact typical mutual information factors as ⟨I(A:B)⟩=(dA2−1)(dB2−1)G(dA,dB,dE), with G given by an explicit Bose--Einstein integral whose asymptotic expansion in 1/N reproduces the Bernoulli series.
In the Type II algebras of semiclassical gravity, an observer's clock with energy bounded in a band regularizes the observables of a static patch, and entropies of the resulting algebras reproduce generalized entropy. What has not been computed in that program is the mutual information budget of the observer: how many bits of clock-field correlation the observer's time-bandwidth resources permit. We prove the regularized answer: for any solution of the constraint (H_fields + H_clock)|Ψ⟩ = 0 with clock spectrum confined to bandwidth W and ticks resolved over duration T, the clock-field mutual information obeys I ≤ 2 log₂(1 + ⌊WT/2π⌋) with equality if and only if the clock is the perfect lattice clock the state that, in the de Sitter algebra of Chandrasekaran-Longo-Penington-Witten, is the maximum-entropy state describing the empty static patch. Rigidity holds: any clock with d orthogonal equally spaced ticks carries at least 2 log₂ d bits, so perfect resolution and budget saturation are the same property. Four components of the statement are measured on IBM quantum hardware: an observer ladder (the same global state read by observers of increasing resolution yields 0 → 1.7 → 3.4 → 5.2 bits, and exactly 0 for a misaligned observer); a continuous observer-frame sweep following I = 1 - h((1 + V cos θ)/2) with R² = 0.998 the ledger invariance full restoration of the correlation under the co-rotation U_A ⊗ U_B at every angle, flat to within shot noise; and the rigidity relation itself tick overlap ε and information I measured by independent circuits at seven detunings, with the forbidden region I < 2 - 2 log₂(1 + ε) empty at every point. The lift of the regularized theorem to the Type II crossed product, where empty de Sitter is conjectured to realize the perfect clock exactly, is stated as a sharp open conjecture. Statements are labelled [P] proved, [N] measured, [C] conjecture.