Holographic-QEC Algebras, Centers, and Gravitational Edge Data

A gravitational subregion is specified by an algebra of gauge-invariant observables, not by a naive tensor factor. The algebra depends on gravitational dressing, its asymptotic anchor, the boundary conditions at the entangling surface, and any center or edge extension. Leading area or charge data can behave centrally in restricted semiclassical sectors, but that does not establish a universal finite-$N$ center or a shared noncommutative logical algebra.

Required background. Gauge Constraints, Centers, and Edge Data supplies the gauge-theory prototype. Leading Semiclassical JLMS and Code-Subspace Claims supplies the holographic relation.

Helpful background. Gravitational Gauss Laws and Boundary Anchoring fixes dressing. Centers, Edge Extensions, and Distillable Entanglement, Species, Gauge Edges, and Contact Terms, Algebraic Quantum Channels and Localized Operations, Symmetry, Covariance, and QEC Constraints, and Subsystem and Gauge-Code Structures in QFT supply the algebraic alternatives.

Dressing prevents naive localization

A local metric perturbation $h_{\mu\nu}(x)$ is not gauge invariant. A dressed observable has schematic expansion

$$\Phi_\Gamma(x) =\phi\!\left(x+V_\Gamma[h](x)\right) =\phi(x)+V_\Gamma^\mu[h](x)\partial_\mu\phi(x)+O(\kappa^2),$$

where $\Gamma$ specifies a dressing to an asymptotic anchor and $\kappa^2\sim G_N$. Two dressings with the same local matter insertion can differ by a radiative gravitational operator or asymptotic charge. Gauss-law constraints imply that such observables need not commute merely because their undressed matter supports are spacelike separated.

For a cut $\gamma$, a candidate wedge algebra $\mathcal M_a$ must therefore state:

• which dressed generators are admitted;
• which surface or asymptotic charges are fixed;
• whether those charges form a center, are represented by edge degrees of freedom, or are excluded by boundary conditions; and
• the code sector and perturbative order.

These are choices of physical observable algebra, not bookkeeping conventions.

Centers and large-N algebra types

In a regulated gauge theory, fixing normal electric flux at a cut gives an electric center; adding edge modes instead produces an extended factorization. Gravity has analogous but more intricate surface symmetries. An area term can be central in an exact operator-algebra code or within a fixed semiclassical sector, while subleading shape and dressing fluctuations need not be.

Large-$N$ limits can also change algebra type. Chandrasekaran, Penington, and Witten construct a Type II$_\infty$ algebra for single-trace observables in a microcanonical large-$N$ limit whose entropy matches generalized entropy at a bifurcation surface Chandrasekaran, Penington, and Witten 2023. This is a concrete algebra in a specified limit and ensemble. It is not a proof that every finite-$N$ wedge algebra is Type II or has the same center.

First application

Consider linearized excitations in an AdS wedge with fixed asymptotic time translation. Define one sector by a fixed surface charge $q_\gamma$ and let $P_q$ project onto it. Matter operators dressed along curves that remain in the wedge generate $\mathcal M_{a,q}$, while $q_\gamma P_q$ is a c-number within that sector. Across a direct sum of sectors,

$$\mathcal H_{\mathrm{code}}=\bigoplus_q\mathcal H_q, \qquad Z=\sum_q qP_q$$

is central if all admitted wedge generators preserve $q$. Compute commutators with $Z$ and with the Hamiltonian boundary charge to verify the claim. If a proposed operator changes $q$, it belongs to an enlarged algebra with a different center.

This explicit test separates center data from a noncommuting local excitation and records the dressing anchor that makes both gauge invariant.

Adversarial control

Change the dressing from an $A$-anchored line to a $\bar A$-anchored line, or allow an operator that transfers surface charge through $\gamma$. Recompute the commutant. A generator previously assigned to $\mathcal M_a$ can acquire boundary support or fail to commute with the old center. If two regions are claimed to reconstruct the same finite-$N$ operator, verify equality as dressed physical operators on the same code, not just equality of their $N=\infty$ free-field limits.

The control blocks the inference “same undressed field, therefore same logical observable.”

Regime, evidence ceiling, and handoff

The perturbative construction assumes $\kappa/L^{(d-1)/2}\sim1/N$, low energy and curvature, fixed asymptotic boundary conditions, and a controlled EFT below string and KK scales. Edge-mode and entropy counterterms are regulator dependent; large-$N$ Type II constructions involve an order of limits that need not commute with finite-$N$ factorization.

The evidence ceiling is a specified semiclassical algebra and, in special limits, a rigorous operator-algebra construction. A universal finite-$N$ gravitational center remains unestablished. Continue to Continuum Factorization and Type-III Obstacles for the local-QFT limit and to Complementary Recovery, Area Terms, and Center Data for the exact code structure.

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

• 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.
• Donnelly, W., and Freidel, L. (2016), “Local Subsystems in Gauge Theory and Gravity,” Journal of High Energy Physics 2016(09), 102. DOI; arXiv:1601.04744.
• Donnelly, W., and Giddings, S. B. (2016), “Observables, Gravitational Dressing, and Obstructions to Locality and Subsystems,” Physical Review D 94, 104038. DOI; arXiv:1607.01025.