Leading Semiclassical JLMS and Code-Subspace Claims

JLMS identifies boundary modular data with bulk modular data plus an area contribution on a fixed semiclassical code subspace, to the order controlled by the gravitational expansion. It implies leading entanglement-wedge recoverability when its hypotheses and relative-entropy accuracy are retained. It is not an exact finite-$N$ operator identity, a definition of a universal area operator, or a converse selecting a unique gravitational algebra.

Required background. Boundary Relative Entropy and Bulk Modular Data owns the modular relation. Operator-Algebra Quantum Error Correction supplies the recovery implication.

Helpful background. Positivity, Monotonicity, and Data Processing supplies the information inequality. Code Subspaces, Logical Algebras, and Encoding Maps fixes the domain.

Modular generators and the area term

For a faithful reference code state $\sigma$, define $K_A^\sigma=-\log\sigma_A$ and $K_a^\sigma=-\log\sigma_a$. In the semiclassical code one writes schematically

$$P K_A^\sigma P =P\left( \frac{\widehat{\mathcal A}_\gamma}{4G_N} +K_a^\sigma \right)P +O(G_N^0\delta_{\mathrm{grav}},\alpha'/L^2),$$

where $\gamma$ is the extremal surface appropriate to the code sector. The notation $\widehat{\mathcal A}_\gamma$ is licensed only when the chosen code admits such an operator; in a fixed-background sector it may reduce to a c-number at the relevant order.

For any code state $\rho$,

$$D(\rho_A\lVert\sigma_A) =\Delta\langle K_A^\sigma\rangle-\Delta S_A.$$

Using the FLM entropy expansion

$$S_A(\rho)=\frac{\langle\mathcal A_\gamma\rangle_\rho}{4G_N} +S_a(\rho)+O(G_N),$$

the area variations cancel between $\Delta\langle K_A\rangle$ and $\Delta S_A$, leaving

$$D(\rho_A\lVert\sigma_A) =D(\rho_a\lVert\sigma_a)+O(G_N,\alpha'/L^2).$$

This is the central JLMS result Jafferis et al. 2016. The cancellation is a normalization and sign check: omitting the area contribution would incorrectly equate boundary distinguishability with matter entropy alone.

Recovery is an implication with an error

In exact finite-dimensional algebraic QEC, equality of relative entropy for all code states is equivalent to correctability of the algebra. Semiclassical equality has a remainder. Recovery theorems convert the remainder into a fidelity or channel-error estimate under additional uniformity and faithfulness conditions. Thus the gravitational conclusion has the form

$$\inf_{\mathcal R_A} \sup_{\rho\in\mathcal S_{\mathrm{code}}} \bigl[1-F(\rho_a,\mathcal R_A(\rho_A))\bigr] \leq f(\varepsilon_{\mathrm{JLMS}}),$$

not $O_A=O$ as an exact identity on the full theory. Dong, Harlow, and Wall established the operator-algebra reconstruction consequence in the idealized equality setting Dong, Harlow, and Wall 2016.

First application

Fix a vacuum-like code sector and two normalized states $\sigma$ and $\rho=U_a\sigma U_a^\dagger$, where $U_a$ creates a low-energy excitation well inside $\operatorname{EW}(A)$. Suppose $G_NE/L^{d-2}\ll1$ and the excitation does not move the extremal surface across a competing saddle. Calculate $D(\rho_A\lVert\sigma_A)$ from boundary modular response and $D(\rho_a\lVert\sigma_a)$ from bulk EFT. Agreement through $O(N^0)$ licenses recovery of the declared wedge algebra to the corresponding order.

The application must report the difference

$$\varepsilon_{\mathrm{JLMS}} =\left|D(\rho_A\lVert\sigma_A)-D(\rho_a\lVert\sigma_a)\right|$$

over a state family, not only at one perturbation. It also records whether the area term is fixed, central by sector, or state-dependent at subleading order.

Adversarial control

Demand the modular equality for states outside the code, across a QES transition, or after increasing the code entropy until it competes with the area gap. The surface and even the relevant algebra can change, so a single projected operator relation need not survive. Conversely, begin with an approximate recovery map and try to infer a unique gravitational algebra or area operator. Recovery alone does not select a dressing, center, or geometry; this is the relevant nonconverse.

The strongest surviving statement is a leading semiclassical equality and recovery implication on the fixed domain.

Regime, evidence ceiling, and handoff

In an AdS$_{d+1}$/CFT$_d$ regime with $G_N/L^{d-1}\sim N^{-2}$, JLMS controls the $N^2$ area contribution and $N^0$ bulk quantum contribution under a low-energy EFT truncation. Bulk loops, higher derivatives of order $\alpha'/L^2$, KK modes, and nonperturbative terms of order $e^{-O(N^2)}$ require separate estimates. Near an extremal-surface transition, an $O(1)$ entropy correction can change the wedge and invalidate a uniform expansion.

The evidence ceiling is leading semiclassical modular equivalence and its qualified recovery consequence. Continue to Complementary Recovery, Area Terms, and Center Data for sector centers and to Approximate Finite-N Recovery, Alpha-Bits, and Error Bounds for finite-error statements.

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

• Dong, X., Harlow, D., and Wall, A. C. (2016), “Reconstruction of Bulk Operators within the Entanglement Wedge in Gauge-Gravity Duality,” Physical Review Letters 117, 021601. DOI; arXiv:1601.05416.
• Faulkner, T., Lewkowycz, A., and Maldacena, J. (2013), “Quantum Corrections to Holographic Entanglement Entropy,” Journal of High Energy Physics 2013(11), 074. DOI; arXiv:1307.2892.
• Jafferis, D. L., Lewkowycz, A., Maldacena, J., and Suh, S. J. (2016), “Relative Entropy Equals Bulk Relative Entropy,” Journal of High Energy Physics 2016(06), 004. DOI; arXiv:1512.06431.