Continuum Factorization and Type-III Obstacles

Continuum QFT does not assign a finite-dimensional tensor factor or density matrix to a sharp spatial region: local algebras are generically Type III and have no normal trace. Holographic recovery in the continuum must therefore be formulated for von Neumann algebras, relative entropy, and normal channels, or through a declared split inclusion or regulator. Gravity adds dressing and constraint obstructions on top of this QFT fact.

Required background. Von Neumann Factors and Type-III Local Algebras supplies the algebra classification. Holographic-QEC Algebras, Centers, and Gravitational Edge Data supplies the gravitational complication.

Helpful background. Choosing a Continuum Subsystem: Algebra, Split, or Regulator, Araki Relative Entropy and Regulated Limits, Continuum Codes and Type-III Obstacles, and Regularization, Continuum Limits, and Code Validation give the available repairs.

Why the tensor-factor model fails

For a bounded region $A$ in relativistic QFT, the local algebra $\mathcal A(A)$ is typically a Type III$_1$ factor. There is no decomposition

$$\mathcal H\stackrel{\mathrm{not\ generally}}{=} \mathcal H_A\otimes\mathcal H_{\bar A}$$

for which $\mathcal A(A)=B(\mathcal H_A)\otimes I$, no density matrix $\rho_A$ intrinsic to the sharp algebra, and no von Neumann entropy $-\operatorname{Tr}\rho_A\log\rho_A$. The ultraviolet divergence of a lattice entropy is the regulated symptom of this structural fact, not a large but otherwise ordinary finite entropy. Witten gives a physics-oriented account of these entanglement properties Witten 2018.

Araki relative entropy $D_{\mathcal A(A)}(\omega\lVert\sigma)$ and modular operators remain well defined for suitable normal states. Therefore the continuum version of a recovery statement compares restrictions of states to algebras and uses normal completely positive maps. It should not silently write a partial trace unless a regulator or split has first produced one.

Split inclusions and regulated codes

If $A_-$ is strictly contained in $A_+$ with a collar of thickness $\delta$, the split property can provide a Type I factor $\mathcal N_\delta$ satisfying

$$\mathcal A(A_-) \subset\mathcal N_\delta \subset\mathcal A(A_+).$$

Then $\mathcal N_\delta\simeq B(\mathcal H_{A,\delta})$ supports density matrices and ordinary quantum channels. But the construction depends on the collar, state class, and nuclearity assumptions; its entropy diverges as $\delta\to0$. A valid continuum recovery theorem either proves convergence of a regulator-independent quantity or retains $\delta$ as part of the claim.

Gravity makes the sharp split still less direct. Gauge-invariant observables require dressings that can cross the collar, and surface charges can introduce a center or an edge extension. Large-$N$ algebra limits may instead yield Type II structures with a trace and generalized entropy Chandrasekaran, Penington, and Witten 2023, but that is a particular limiting construction rather than restoration of the naive finite-$N$ factorization.

First application

Take the vacuum and a finite-energy excitation localized in $A_-$. At lattice spacing $a$, compute the reduced density matrices and their entropies. Both entropies contain the same leading area-law divergence, while the relative entropy has a finite continuum limit:

$$\lim_{a\to0} D\!\left(\rho_{A,a}\lVert\sigma_{A,a}\right) =D_{\mathcal A(A)}(\omega\lVert\sigma),$$

under the standard convergence assumptions. Now define recovery on the split factor $\mathcal N_\delta$ and report $\varepsilon(E_*,\delta)$. The continuum claim is licensed only if the desired observable matrix elements converge as $a\to0$ and the behavior as $\delta\to0$ is controlled.

This example shows why matching divergent entropies is weaker than matching algebraic relative entropy and why an energy constraint belongs in an infinite-dimensional channel norm.

Adversarial control

Remove the collar at fixed recovery accuracy or maximize an unconstrained diamond norm over arbitrarily energetic states. UV excitations can distinguish the channels and drive the error to its maximal value. Alternatively choose a different edge extension: the center and the apparent subsystem entropy change even though the gauge-invariant global state is the same.

The strongest surviving result is a regulator- or algebra-specific recovery statement. A finite tensor-network proof cannot be transferred without controlling these limits.

Regime, evidence ceiling, and handoff

The continuum obstruction exists already at $N=\infty$ for local QFT. Large $N$, small $G_N$, small $\alpha'/L^2$, and KK truncation do not remove Type III behavior; they only organize additional gravitational approximations. Every finite-$N$ claim must also specify the order of the UV, large-$N$, code-size, and semiclassical limits.

The evidence ceiling is algebraic recovery or controlled split-limit recovery, not a sharp-region density-matrix code. Continue to Non-Isometric Encoding Proposals for Hilbert-space dimension mismatch and to Approximate Finite-N Recovery, Alpha-Bits, and Error Bounds for energy-constrained metrics.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Araki, H. (1976), “Relative Entropy of States of von Neumann Algebras,” Publications of the Research Institute for Mathematical Sciences 11, 809–833. DOI.
• Chandrasekaran, V., Penington, G., and Witten, E. (2023), “Large N Algebras and Generalized Entropy,” Journal of High Energy Physics 2023(04), 009. DOI; arXiv:2209.10454.
• Witten, E. (2018), “Notes on Some Entanglement Properties of Quantum Field Theory,” Reviews of Modern Physics 90, 045003. DOI; arXiv:1803.04993.