Complementary Recovery, Area Terms, and Center Data

Complementary recovery is naturally an operator-algebra statement: region $A$ recovers an algebra $\mathcal M$, while $\bar A$ recovers its commutant, and only center data can be shared by both. In exact finite-dimensional holographic codes this structure produces an RT-like entropy term that is central by sector. In gravity, promoting that term to a universal finite-$N$ area operator requires additional assumptions and can fail once backreaction makes the effective area state dependent.

Required background. Complementary Recovery and Cleaning Relations supplies the exact theorem. Leading Semiclassical JLMS and Code-Subspace Claims supplies the gravitational input.

Helpful background. Gauge Constraints, Centers, and Edge Data explains sector centers. Crossed-Product Gravitational Algebras and Generalized-Entropy Terms gives a proposed semiclassical algebraic completion.

Algebra blocks and shared data

Every finite-dimensional von Neumann algebra can be represented as

$$\mathcal H_{\mathrm{code}} =\bigoplus_\alpha \left(\mathcal H_{a_\alpha}\otimes\mathcal H_{\bar a_\alpha}\right), \qquad \mathcal M =\bigoplus_\alpha \left(B(\mathcal H_{a_\alpha})\otimes I_{\bar a_\alpha}\right).$$

Its commutant acts on $\mathcal H_{\bar a_\alpha}$, while the center consists of functions of the block label $\alpha$. An exact complementary-recovery encoding has, up to local boundary unitaries, the form

$$V|\alpha,i,j\rangle =U_AU_{\bar A} \left(|\alpha,i\rangle_{A_1}|\alpha,j\rangle_{\bar A_1} |\chi_\alpha\rangle_{A_2\bar A_2}\right).$$

The fixed entangled state $|\chi_\alpha\rangle$ carries the cut contribution. For a code density matrix block-diagonal in $\alpha$,

$$S(\rho_A) =H(p_\alpha) +\sum_\alpha p_\alpha \left[S(\rho_{a_\alpha})+S(\chi_{A_2}^\alpha)\right].$$

Defining $L_A=\bigoplus_\alpha S(\chi_{A_2}^\alpha)I_\alpha$ gives

$$S(\rho_A)=\operatorname{Tr}(\rho L_A)+S(\rho,\mathcal M).$$

This exact algebraic result underlies the QEC derivation of an RT-form entropy formula Harlow 2017. The center label is accessible from both complementary regions without violating no-cloning because it is classical superselection data; noncommuting logical qubits cannot be shared exactly in the same way.

Area term versus area function

In a semiclassical gravitational interpretation one identifies $L_A$ with $\mathcal A/(4G_N)$ plus local corrections. Exact complementary recovery forces $L_A$ to be central and state independent within each $\alpha$ block. Backreaction creates a tension: geometry should respond to the state, yet a noncentral “area operator” is incompatible with the exact structure.

Recent approximate-code work replaces the exact area operator by a state-dependent proto-area or area function Cao et al. 2026. Witten sharpened the scale separation within that framework: when area is $O(1/G_N)$ and bulk entropy is $O(1)$, recovery corrections can be exponentially smaller than corrections to the area function Witten 2026. These are results in specified approximate-code frameworks, not proof that every holographic CFT has the same object.

First application

Take two center sectors $\alpha=0,1$, with one logical qubit in $a_\alpha$, one in $\bar a_\alpha$, and cut entropies $\ell_0,\ell_1$. For probabilities $(p,1-p)$,

$$S(\rho_A) =h_2(p)+p\bigl[S(\rho_{a_0})+\ell_0\bigr] +(1-p)\bigl[S(\rho_{a_1})+\ell_1\bigr].$$

Both $A$ and $\bar A$ can measure the projector onto $\alpha$; $A$ reconstructs the $a_\alpha$ qubit and $\bar A$ the $\bar a_\alpha$ qubit. Directly tracing the encoded state verifies the formula and exposes every assumption behind the “area” contribution.

Adversarial control

Allow the cut state $|\chi_{\alpha,i}\rangle$ to depend on the noncentral logical index $i$. Then $S(\chi_A^{\alpha,i})$ cannot be represented by a central $L_A$ constant within the block. Exact complementary recovery of the full $a_\alpha$ algebra fails unless the dependence is operationally invisible. Alternatively change the center decomposition: what counted as shared classical data can move into one side’s noncommutative algebra.

The control shows why an area term in an entropy formula is not automatically an operator theorem and why the algebra and center must be declared before comparing complementary regions.

Regime, evidence ceiling, and handoff

The block derivation is exact only in finite dimension. Its gravitational use assumes a semiclassical code with $G_N/L^{d-1}\sim N^{-2}$, fixed asymptotic charges, controlled edge modes, and errors small relative to the area-sector gap. $\alpha'$ and KK corrections alter the generalized entropy functional; finite-$N$ and continuum limits can destroy the tensor-factor presentation.

The evidence ceiling is exact operator-algebra structure in toy codes and leading or model-dependent approximate gravitational interpretations. Continue to Holographic-QEC Algebras, Centers, and Gravitational Edge Data for gauge constraints and to QEC Evidence, Current Disputes, and Status for the dated dispute map.

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

• Cao, C., Cheng, G., Karthikeyan, K., Li, C., and Preskill, J. (2026), “State-Dependent Geometries from Magic-Enriched Quantum Codes,” preprint, revised June 2026. arXiv:2603.13475.
• Harlow, D. (2017), “The Ryu–Takayanagi Formula from Quantum Error Correction,” Communications in Mathematical Physics 354, 865–912. DOI; arXiv:1607.03901.
• Witten, E. (2026), “A Note on Corrections to Entanglement Wedge Reconstruction,” preprint, revised June 2026. arXiv:2606.18639.