Pith. sign in

REVIEW 4 minor 1 cited by

A Note on Corrections to Entanglement Wedge Reconstruction

T0 review · 0 major / 4 minor · reviewed 2026-07-13 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read In a generic perturbation of holographic codes, reconstruction errors are exponentially smaller than the back-reaction of bulk states on the area function.

desk verdict Clean second-order calculation showing reconstruction error is exp-small relative to area-function backreaction in the CCKLP GUE model. read the letter →

arxiv 2606.18639 v3 pith:EL3MJAYX submitted 2026-06-17 hep-th

Edward Witten This is my paper · ORCID
classification hep-th
keywords entanglementwedgereconstructionRyu-TakayanagiformulaareafunctionrelativeentropyGaussianunitaryensembleholographiccodesgravitationalback-reaction
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Exact entanglement-wedge reconstruction forces the area term in the Ryu-Takayanagi formula to be a pure number, independent of the bulk quantum state. That would mean bulk matter never back-reacts on geometry. A recent model replaces exact reconstruction by a small generic unitary perturbation and defines an effective area function that does depend on the bulk state. This note shows that, once the area term is taken to be order 1/G and the bulk entropy order 1, the relative entropy that measures reconstruction error is smaller than the relative entropy that measures area-function corrections by a factor of order 1/d_{2}^{2}, where d_{2} is the dimension of the high-energy Hilbert space. That ratio is exponentially small in G. The calculation therefore places a quantitative hierarchy between the two corrections that matches the expectation from semiclassical gravity: back-reaction is perturbative while reconstruction remains exact to all orders in G. The same hierarchy continues to hold when the high-energy state is not maximally mixed and when the bulk state is mixed, and is essentially unaffected by the optimization over local recovery unitaries.

What carries the argument

The Kubo-Mori second-order formula for relative entropy, evaluated on the second moments of a Gaussian unitary ensemble after partial traces over the high-energy factors. The ratio of the two resulting relative entropies is controlled by the dimensional factor d_{2}^{2} that arises from the rescaling of the Kubo-Mori weights when the high-energy density matrix is traced out.

What would settle it

Compute the same second-order relative entropies for a modified ensemble that suppresses modes whose eigenvalues are smaller than exp(-1/G); if the ratio D_A1 / D_A1A2 is no longer ~1/d_{2}^{2}, the claimed hierarchy fails inside the model.

Watch

Extended reading notes

Core claim

When the encoding map of a holographic code is deformed by a small Gaussian unitary perturbation, the second-order relative entropy that quantifies reconstruction error on the low-energy subspace is smaller than the relative entropy that quantifies state-dependence of the geometric entropy by a factor approximately equal to 1/d_{2}^{2}, with d_{2} the dimension of the short-distance Hilbert space. Because d_{2} scales as exp(c/G), reconstruction corrections are non-perturbatively small relative to gravitational back-reaction.

Load-bearing premise

The random unitary is drawn uniformly from the full Hilbert space, treating every mode equally even when the low-energy density matrix has exponentially small eigenvalues.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper quantifies a feature of the CCKLP model of approximate entanglement wedge reconstruction. Starting from a generic GUE perturbation of an exact encoding map, it computes the second-order relative entropies D_A1 (reconstruction error on the low-energy factor) and D_A1A2 (distinguishability of the full A1A2 states) via the Kubo-Mori formula and the GUE second moment. When the high-energy dimension d2 is exponentially large (modeling an O(1/G) area term) while the low-energy dimension remains O(1), the ratio of ensemble averages is E[D_A1]/E[D_A1A2] ≈ 1/d2^{2} ~ exp(-c/G). The same hierarchy holds for a general high-energy density matrix (by Jensen convexity of L(x)=x coth(x/2)), after optimization over local recovery unitaries (by a Pinsker bound), and for mixed bulk states. Consequently the state dependence of the CCKLP area function is perturbative while reconstruction errors remain non-perturbatively small, matching semiclassical expectations. The paper also discusses why an area function rather than a central area operator is natural once continuum UV issues are taken into account.

Significance. The result supplies a clean, quantitative bridge between the CCKLP construction and the expected separation of scales in holography: gravitational back-reaction is O(1) while reconstruction remains exponentially accurate. The derivation is elementary, fully explicit, and free of free parameters once the CCKLP ensemble and the invertibility assumption on the low-energy density matrix are granted. The extensions to non-maximally mixed high-energy states, recovery optimization, and mixed bulk states strengthen the claim without altering the leading exponential. The discussion of area functions versus area operators usefully situates the model relative to continuum QFT and to the exact-reconstruction alternative of Harlow. The note is short, self-contained, and of clear interest to the holographic quantum-information community.

minor comments (4)
  1. In the abstract and introduction the phrase "exponentially small (in G) relative to corrections to the area function" is slightly ambiguous; a parenthetical reference to the ratio ~1/d2^{2} would make the claim sharper for a reader who has not yet reached §3.
  2. Section 3.1 and the paragraph after (3.18) correctly flag that exponentially small eigenvalues of σ_A1 would invalidate the O(d1^{2}) estimate of Ξ. A single additional sentence noting that a refined ensemble suppressing those modes would be needed for a full QFT treatment would make the modeling boundary even clearer.
  3. The footnote acknowledging Claude Opus 4.8 is unusual for a journal article; if retained, it should be moved to the acknowledgements and phrased more formally.
  4. A few typographical inconsistencies appear ("W edge", "T echnical", occasional missing spaces around math). A light copy-edit pass would remove them.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the exponential hierarchy is a direct second-order calculation from GUE moments and Kubo-Mori weights inside the given CCKLP model.

full rationale

The paper takes the CCKLP encoding V_ε = e^{iεW} |ψ⟩ ⊗ |χ⟩ (W from GUE) and the definition of geometric entropy SPA as inputs, then computes the second-order relative entropies D_A1 and D_A1A2 explicitly via the Kubo-Mori formula (3.2), the GUE second-moment identity (3.9), and the partial-trace reduction (3.13). The ratio E[D_A1]/E[D_A1A2] ≈ 1/d_{2}^{2} follows algebraically once the eigenvalues of σ_A1 are assumed not exponentially small (so that Ξ remains O(d_{1}^{2})) and d_{2} ~ e^{c/G}. No parameter is fitted to data and then re-used as a prediction; no uniqueness theorem is imported from the author’s prior work to force the result; the recovery optimization is shown separately to contribute only a negligible O(ε σ_W) term (3.36). The calculation is therefore self-contained against its stated assumptions and does not reduce by construction to its inputs.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper works entirely inside the CCKLP model plus standard quantum-information identities. No free parameters are fitted; the only modeling choices are the GUE ensemble and the Hilbert-space factorization already present in the literature. No new physical entities are postulated.

assumptions (4)
  • domain assumption Encoding map is a small GUE perturbation of an exact isometric code of the form Vψ = R_A^{-1} R_A-bar^{-1}(ψ ⊗ χ)
    Taken from CCKLP; used throughout section 2 and 3 to define the family V_ε.
  • domain assumption Low-energy density matrix σ_A1 has no exponentially small eigenvalues
    Stated in section 3.1; needed so that Kubo-Mori weights remain O(1) and the relative-entropy expansion is valid.
  • domain assumption High-energy Hilbert-space dimension d2 ~ exp(c/G) while low-energy dimension d1 is O(1)
    Standard semiclassical expectation used to convert the 1/d2^{2} ratio into exponential smallness in G.
  • standard math Kubo-Mori formula for second-order relative entropy and monotonicity/Pinsker inequalities
    Standard quantum-information identities applied in sections 3.2 and 3.9.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Note on Corrections to Entanglement Wedge Reconstruction." pith.science (2026). https://pith.science/paper/EL3MJAYX

@misc{pith2026260618639,
  author       = {Pith},
  title        = {Pith review of: A Note on Corrections to Entanglement Wedge Reconstruction},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EL3MJAYX}},
  note         = {Machine review of arXiv:2606.18639}
}
read the original abstract

If entanglement wedge reconstruction is exact, then (under certain assumptions) the area term in the RT formula is a c-number, indicating that the choice of a bulk quantum state does not influence the geometry. Recently Cao, Cheng, Karthikeyan, Li, and Preskill considered a generic perturbation away from exact entanglement wedge reconstruction. The optimal reconstruction was defined; based on this, an effective area function that depends nontrivially on the quantum state was defined and its properties were analyzed. Here we make one aspect of this picture more quantitative, by showing that if as expected the area term in the RT formula is of order 1/G while the bulk entropy is of order 1, then the corrections to entanglement wedge reconstruction are exponentially small (in G) relative to corrections to the area function. In the framework under discussion, there is an area function but no area operator; we discuss to what extent this is the expected behavior in holography.

Review history (3 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. When does a state-dependent proto-area define a bulk geometry?

    hep-th 2026-06 unverdicted novelty 7.0 of 10

    Derives criteria for when state-dependent proto-area two-jets in approximate holographic codes are compatible with metric two-jets, including polyhedral realizations, X-ray transform tangent spaces, and quadratic obst...

Reference graph

Works this paper leans on

18 extracted references · 18 linked inside Pith · cited by 1 Pith paper

  1. [1]

    The Gravity Dual of a Density Matrix,

    B. Czech, J. L. Karczmarek, F. Nogueira, and M. Van Raamsdonk, “The Gravity Dual of a Density Matrix,” Class. Quant. Gravity29(2012) 155009, arXiv:1204.1330

    arXiv 2012

  2. [2]

    Causality & Holographic Entanglement Entropy,

    M. Headrick, V. E. Hubeny, A. Lawrence, and M. Rangamani, “Causality & Holographic Entanglement Entropy,” JHEP12(2014) 162, arXiv:1408.6300

    arXiv 2014

  3. [3]

    Maximin Surfaces, and the Strong Subadditivity of the Covariant Holographic Entanglement Entropy,

    A. C. Wall, “Maximin Surfaces, and the Strong Subadditivity of the Covariant Holographic Entanglement Entropy,” Class. Quant. Gravity31(2014) 225007, arXiv:1211.3494

    arXiv 2014

  4. [4]

    Relative Entropy Equals Bulk Relative Entropy,

    D. L. Jafferis, A. Lewkowycz, J. Maldacena, and S. J. Suh, “Relative Entropy Equals Bulk Relative Entropy,” JHEP06(2016) 004, arXiv:1512.06431

    arXiv 2016

  5. [5]

    Reconstruction of Bulk Operators Within the Entanglement Wedge in Gauge-Gravity Duality,

    X. Dong, D. Harlow, and A. C. Wall, “Reconstruction of Bulk Operators Within the Entanglement Wedge in Gauge-Gravity Duality,” Phys. Rev. Lett.117(2016) 021601, arXiv:1601.05416

    arXiv 2016

  6. [6]

    Entanglement Wedge Reconstruction Via Universal Recovery Channels,

    J. Cotler, P. Hayden, G. Penington, G. Salton, B. Swingle, and M. Walter, “Entanglement Wedge Reconstruction Via Universal Recovery Channels,” Phys. Rev.X9(2019) 031011, arXiv:1704.05839

    arXiv 2019

  7. [7]

    The Ryu-Takayanagi Formula From Quantum Error Correction,

    D. Harlow, “The Ryu-Takayanagi Formula From Quantum Error Correction,” Commun. Math. Phys.354(2017) 865, arXiv:1607.03901

    arXiv 2017

  8. [8]

    Learning the Alpha-bits of Black Holes,

    P. Hayden and G. Penington, “Learning the Alpha-bits of Black Holes,” JHEP12(2019) 007, arXiv:1807.06041

    arXiv 2019

Show all 18 references
  1. [9]

    Entanglement Wedge Reconstruction and the Information Paradox,

    G. Penington, “Entanglement Wedge Reconstruction and the Information Paradox,” JHEP 09(2020) 002 arXiv:1905.08255. – 18 –

    2020 arXiv

  2. [10]

    Continuous Symmetries and Approximate Quantum Error Correction,

    P. Faist, S. Nezami, V. V. Albert, G. Salton, F. Pastawski, P. Hayden, and J. Preskill, “Continuous Symmetries and Approximate Quantum Error Correction,” Phys.Rev.X10 (2020) 041018, arXiv:1902.07714

    2020 arXiv

  3. [11]

    Non-Trivial Area Operators Require Nonlocal Magic,

    C.-J. Cao, “Non-Trivial Area Operators Require Nonlocal Magic,” JHEP11(2024) 105, arXiv:2012.00199

    2024 arXiv

  4. [12]

    State-Dependent Geometries From Magic-Enriched Quantum Codes,

    C.-J. Cao, G. Cheng, K.Karthikeyan, C. Li, and J. Preskill, “State-Dependent Geometries From Magic-Enriched Quantum Codes,” arXiv:2603.13475

    arXiv

  5. [13]

    Generalized Gravitational Entropy,

    A. Lewkowycz and J. Maldacena, “Generalized Gravitational Entropy,” JHEP 08 (2013) 090, arXiv:1304.4926

    2013 arXiv

  6. [14]

    Holographic Entanglement Beyond Classical Gravity,

    T. Barrella, X. Dong, S. A. Hartnoll and V. L. Martin, “Holographic Entanglement Beyond Classical Gravity,” JHEP 09 (2013) 109, arXiv:1306.4682

    2013 arXiv

  7. [15]

    Quantum Corrections to Holographic Entanglement Entropy,

    T. Faulkner, A. Lewkowycz and J. Maldacena, “Quantum Corrections to Holographic Entanglement Entropy,” JHEP 11 (2013) 074, arXiv:1307.2892

    2013 arXiv

  8. [16]

    Bulk Locality and Quantum Error Correction in AdS/CFT,

    A. Almheiri, X. Dong, and D. Harlow, “Bulk Locality and Quantum Error Correction in AdS/CFT,” JHEP04(2015) 163, arXiv:1411.7041

    2015 arXiv

  9. [17]

    Holographic Error-Correcting Codes: Toy Models for the Bulk-Boundary Correspondence,

    F. Pastawski, B. Yoshida, D. Harlow, and J. Preskill, “Holographic Error-Correcting Codes: Toy Models for the Bulk-Boundary Correspondence,” JHEP06(2015) 149, arXiv:1503.06237

    2015 arXiv

  10. [18]

    The Timelike Tube Theorem In Curved Spacetime,

    A. Strohmaier and E. Witten, “The Timelike Tube Theorem In Curved Spacetime,” Commun. Math. Phys.405(2024) 7, 153, arXiv:2303.16380. – 19 –

    2024 arXiv

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.