pith. machine review for the scientific record. sign in

arxiv: 2512.11754 · v2 · submitted 2025-12-12 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

Modular Witten Diagrams and Quantum Extremality

Authors on Pith no claims yet

Pith reviewed 2026-05-16 22:55 UTC · model grok-4.3

classification ✦ hep-th
keywords entanglement entropyholographic CFTquantum extremal surfaceWitten diagramsgraviton exchangeRyu-Takayanagi formulaentanglement wedgemodular flow
0
0 comments X

The pith

A graviton-exchange Witten diagram reproduces the canonical energy term in the quantum Ryu-Takayanagi formula, including entanglement-wedge deformation from backreaction.

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

The paper examines entanglement entropy for ball-shaped regions in excited states of holographic conformal field theories, where the states are created by a small source for a double-trace operator. This source deforms both the bulk geometry and the state of bulk matter fields, which in turn deforms the shape of the entanglement wedge. The authors compute the second-order correction to the entropy in the source amplitude by expressing it in terms of modular-flowed correlation functions and evaluating those functions with Witten diagrams on a Schwinger-Keldysh contour. They then show that one particular graviton-exchange diagram can be rewritten so that it exactly matches the canonical energy contribution that appears in the quantum extremal surface formula, with the wedge-shape change included.

Core claim

By evaluating the O(λ²) correction to entanglement entropy using Witten diagrams on a Schwinger-Keldysh contour, the graviton exchange diagram is rewritten to manifestly equal the canonical energy term in the quantum Ryu-Takayanagi formula, which incorporates the deformation of the entanglement wedge shape caused by backreaction and quantum corrections.

What carries the argument

Modular-flowed correlation functions of double-trace operators, evaluated as Witten diagrams with a Schwinger-Keldysh contour ordering that is continued from Euclidean replica correlators.

If this is right

  • The quantum extremal surface formula gives the correct second-order correction to holographic entanglement entropy for these excited states.
  • The deformation of the entanglement wedge shape due to backreaction contributes directly to the entropy at this perturbative order.
  • Bulk Witten diagrams with the chosen contour ordering can be rearranged to isolate the canonical energy contribution from the quantum Ryu-Takayanagi formula.
  • The matching provides a consistency check between CFT modular flow and the geometric deformation of the bulk entanglement wedge.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same contour technique might be applied to compute other perturbative corrections, such as those involving higher-spin exchanges or different region shapes.
  • If the matching holds for general sources, modular Witten diagrams could serve as a systematic tool for deriving quantum corrections to holographic entropy beyond the leading order.
  • This rewriting suggests that certain bulk diagram contributions can be interpreted directly as energy functionals on the deformed extremal surface.

Load-bearing premise

The Schwinger-Keldysh contour ordering prescription in the bulk correctly captures the modular-flowed correlation functions for the entanglement entropy calculation.

What would settle it

An explicit computation, for a specific double-trace source and ball region, of the full O(λ²) entanglement entropy both from the CFT modular formula and from the quantum extremal surface formula, checking whether the two expressions agree including the wedge deformation term.

read the original abstract

We study entanglement entropy for ball-shaped regions in excited states of holographic conformal field theories. The excited states are prepared by the Euclidean path integral in the CFT with a source turned on for some double-trace operator, with a small, $O(1)$ amplitude $\lambda$. On the gravity side, the double-trace operator deforms the bulk geometry as well as the entanglement structure of the state of bulk matter fields. By the quantum extremal surface formula, this leads to a deformation of the shape of the entanglement wedge, an effect which becomes manifest in the entanglement entropy at $O(\lambda^2 G_N)$. On the CFT side, we explicitly calculate the entanglement entropy perturbatively in the source amplitude to $O(\lambda^2)$, in terms of modular-flowed correlation functions of double-trace operators. We then evaluate these modular-flowed correlation functions using Witten diagrams. This calculation involves a Schwinger-Keldysh contour ordering prescription in the bulk, which we motivate using analytic continuation from Euclidean replica correlators. Focusing on a particular graviton-exchange diagram, we rewrite it in a form where it manifestly reproduces the canonical energy term present in the quantum Ryu-Takayanagi formula, including the shape deformation of the entanglement wedge due to backreaction and quantum effects.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper claims that for ball-shaped regions in holographic CFT states excited by a small O(1) source for a double-trace operator, the O(λ²) correction to entanglement entropy computed via modular-flowed CFT correlators matches the canonical energy term in the quantum Ryu-Takayanagi formula. This is shown by rewriting a specific graviton-exchange Witten diagram (evaluated on a Schwinger-Keldysh contour motivated by Euclidean replica continuation) so that it manifestly reproduces the backreacted extremal surface deformation and quantum corrections at this order.

Significance. If the contour prescription is justified, the result supplies a direct perturbative matching between CFT modular correlators and the quantum extremal surface formula, including explicit backreaction effects on the entanglement wedge shape. This strengthens the evidence for QRT in a controlled regime and illustrates how bulk Witten diagrams can encode the canonical energy contribution.

major comments (1)
  1. [Abstract and contour prescription section] The central matching in the abstract and the graviton-exchange diagram rewrite rests on the Schwinger-Keldysh contour ordering correctly reproducing the modular-flowed double-trace correlators once the geometry is backreacted at O(λ). The motivation via analytic continuation from Euclidean replica correlators is stated, but no derivation or explicit check is given that the same contour implements the real-time modular Hamiltonian action on the operators after the O(λ) shape deformation of the extremal surface; if a contact term or ordering subtlety is missed, the equality no longer holds.
minor comments (1)
  1. [Abstract] The abstract summarizes the result but contains no explicit equations, error estimates, or diagram labels, which makes it difficult to follow the rewriting step without immediately consulting the main text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of our manuscript and for highlighting the importance of rigorously justifying the Schwinger-Keldysh contour prescription in the presence of O(λ) backreaction. We address the major comment below and will strengthen the relevant section in the revised version.

read point-by-point responses
  1. Referee: [Abstract and contour prescription section] The central matching in the abstract and the graviton-exchange diagram rewrite rests on the Schwinger-Keldysh contour ordering correctly reproducing the modular-flowed double-trace correlators once the geometry is backreacted at O(λ). The motivation via analytic continuation from Euclidean replica correlators is stated, but no derivation or explicit check is given that the same contour implements the real-time modular Hamiltonian action on the operators after the O(λ) shape deformation of the extremal surface; if a contact term or ordering subtlety is missed, the equality no longer holds.

    Authors: We agree that an explicit derivation of the contour prescription after the O(λ) deformation would strengthen the presentation. In the revised manuscript we will add a dedicated subsection (or appendix) that expands the modular Hamiltonian to first order in the backreacted geometry, verifies that the analytic continuation from the Euclidean replica manifold continues to dictate the correct real-time operator ordering on the Schwinger-Keldysh contour, and explicitly checks that no additional contact terms arise at this perturbative order. Because the deformation is small and the replica trick is applied order-by-order, the standard iε prescriptions and branch-cut structure remain unchanged; the new subsection will make this transparent and thereby confirm that the graviton-exchange diagram indeed reproduces the canonical-energy contribution including the wedge-shape deformation. revision: yes

Circularity Check

1 steps flagged

Schwinger-Keldysh contour motivated by replica continuation enables manifest reproduction of QRT canonical energy

specific steps
  1. other [Abstract]
    "This calculation involves a Schwinger-Keldysh contour ordering prescription in the bulk, which we motivate using analytic continuation from Euclidean replica correlators. Focusing on a particular graviton-exchange diagram, we rewrite it in a form where it manifestly reproduces the canonical energy term present in the quantum Ryu-Takayanagi formula, including the shape deformation of the entanglement wedge due to backreaction and quantum effects."

    The contour is justified by continuation from replica correlators (the standard CFT definition of entanglement entropy), after which the diagram is rewritten to equal the QRT canonical energy term. The reproduction therefore depends on a prescription whose motivation is internal to the entropy calculation rather than independently derived for the backreacted modular correlators.

full rationale

The derivation chain relies on a bulk SK contour ordering whose justification is analytic continuation from Euclidean replica correlators. The replica method is the same technique used to define the perturbative entanglement entropy on the CFT side, and the central step rewrites the graviton-exchange diagram so that it equals the canonical energy term (including O(λ²) surface deformation) in the quantum RT formula. This creates moderate dependence: the matching is exhibited only after adopting the contour prescription that is motivated directly from the target quantity's CFT definition. No self-citations, fitted parameters, or uniqueness theorems appear in the provided text, so the circularity is limited to this motivation step rather than a full reduction by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review based on abstract only. No free parameters or invented entities are mentioned. The work rests on standard holographic assumptions.

axioms (2)
  • domain assumption Validity of the AdS/CFT correspondence for relating CFT entanglement to bulk geometry
    The entire calculation equates CFT and gravity sides via holography.
  • domain assumption Quantum extremal surface formula gives the correct entanglement entropy
    The paper uses this formula to interpret the gravity-side result.

pith-pipeline@v0.9.0 · 5521 in / 1285 out tokens · 30279 ms · 2026-05-16T22:55:40.978611+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

60 extracted references · 60 canonical work pages · 34 internal anchors

  1. [1]

    Holographic Derivation of Entanglement Entropy from AdS/CFT

    S. Ryu and T. Takayanagi,Holographic derivation of entanglement entropy from AdS/CFT, Phys. Rev. Lett.96(2006) 181602, [hep-th/0603001]. – 48 –

  2. [2]

    V. E. Hubeny, M. Rangamani and T. Takayanagi,A Covariant holographic entanglement entropy proposal,JHEP07(2007) 062, [0705.0016]

  3. [3]

    Quantum corrections to holographic entanglement entropy

    T. Faulkner, A. Lewkowycz and J. Maldacena,Quantum corrections to holographic entanglement entropy,JHEP11(2013) 074, [1307.2892]

  4. [4]

    Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime

    N. Engelhardt and A. C. Wall,Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime,JHEP01(2015) 073, [1408.3203]

  5. [5]

    Generalized gravitational entropy

    A. Lewkowycz and J. Maldacena,Generalized gravitational entropy,JHEP08(2013) 090, [1304.4926]

  6. [6]

    Towards a derivation of holographic entanglement entropy

    H. Casini, M. Huerta and R. C. Myers,Towards a derivation of holographic entanglement entropy,JHEP05(2011) 036, [1102.0440]

  7. [7]

    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, [1411.7041]

  8. [8]

    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, [1601.05416]

  9. [9]

    The Ryu-Takayanagi Formula from Quantum Error Correction

    D. Harlow,The Ryu–Takayanagi Formula from Quantum Error Correction,Commun. Math. Phys.354(2017) 865–912, [1607.03901]

  10. [10]

    Witten,Gravity and the crossed product,JHEP10(2022) 008, [2112.12828]

    E. Witten,Gravity and the crossed product,JHEP10(2022) 008, [2112.12828]

  11. [11]

    Chandrasekaran, R

    V. Chandrasekaran, R. Longo, G. Penington and E. Witten,An algebra of observables for de Sitter space,JHEP02(2023) 082, [2206.10780]

  12. [12]

    Chandrasekaran, G

    V. Chandrasekaran, G. Penington and E. Witten,Large N algebras and generalized entropy, JHEP04(2023) 009, [2209.10454]

  13. [13]

    Jensen, J

    K. Jensen, J. Sorce and A. J. Speranza,Generalized entropy for general subregions in quantum gravity,JHEP12(2023) 020, [2306.01837]

  14. [14]

    Gravitation from Entanglement in Holographic CFTs

    T. Faulkner, M. Guica, T. Hartman, R. C. Myers and M. Van Raamsdonk,Gravitation from Entanglement in Holographic CFTs,JHEP03(2014) 051, [1312.7856]

  15. [15]

    Universality of Gravity from Entanglement

    B. Swingle and M. Van Raamsdonk,Universality of Gravity from Entanglement,1405.2933

  16. [16]

    Nonlinear Gravity from Entanglement in Conformal Field Theories

    T. Faulkner, F. M. Haehl, E. Hijano, O. Parrikar, C. Rabideau and M. Van Raamsdonk, Nonlinear Gravity from Entanglement in Conformal Field Theories,JHEP08(2017) 057, [1705.03026]

  17. [17]

    F. M. Haehl, E. Hijano, O. Parrikar and C. Rabideau,Higher Curvature Gravity from Entanglement in Conformal Field Theories,Phys. Rev. Lett.120(2018) 201602, [1712.06620]

  18. [18]

    F. M. Haehl, E. Mintun, J. Pollack, A. J. Speranza and M. Van Raamsdonk,Nonlocal multi-trace sources and bulk entanglement in holographic conformal field theories,JHEP06 (2019) 005, [1904.01584]

  19. [19]

    Belin and S

    A. Belin and S. Colin-Ellerin,Bootstrapping quantum extremal surfaces. Part I. The area operator,JHEP11(2021) 021, [2107.07516]

  20. [20]

    B. G. Chowdhury, J. R. David, S. Dutta and J. Mukherjee,Precision tests of bulk entanglement entropy,JHEP10(2024) 189, [2404.03252]. – 49 –

  21. [21]

    A prescription for holographic Schwinger-Keldysh contour in non-equilibrium systems

    P. Glorioso, M. Crossley and H. Liu,A prescription for holographic Schwinger-Keldysh contour in non-equilibrium systems,1812.08785

  22. [22]

    C. Jana, R. Loganayagam and M. Rangamani,Open quantum systems and Schwinger-Keldysh holograms,JHEP07(2020) 242, [2004.02888]

  23. [23]

    The Holographic Shape of Entanglement and Einstein's Equations

    A. Lewkowycz and O. Parrikar,The holographic shape of entanglement and Einstein’s equations,JHEP05(2018) 147, [1802.10103]

  24. [24]

    R. M. Soni,Extremality as a consistency condition on subregion duality,SciPost Phys.17 (2024) 133, [2403.19562]

  25. [25]

    Colin-Ellerin, G

    S. Colin-Ellerin, G. Lin and G. Penington,Generalized entropy of gravitational fluctuations, JHEP09(2025) 091, [2501.08308]

  26. [26]

    Notes on Some Entanglement Properties of Quantum Field Theory

    E. Witten,APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory,Rev. Mod. Phys.90(2018) 045003, [1803.04993]

  27. [27]

    Levine, A

    A. Levine, A. Shahbazi-Moghaddam and R. M. Soni,Seeing the entanglement wedge,JHEP06 (2021) 134, [2009.11305]

  28. [28]

    Recovering the QNEC from the ANEC

    F. Ceyhan and T. Faulkner,Recovering the QNEC from the ANEC,Commun. Math. Phys. 377(2020) 999–1045, [1812.04683]

  29. [29]

    Hollands and R

    S. Hollands and R. Longo,A New Proof of the QNEC,Commun. Math. Phys.406(2025) 269, [2503.04651]

  30. [30]

    Modular Hamiltonians for Deformed Half-Spaces and the Averaged Null Energy Condition

    T. Faulkner, R. G. Leigh, O. Parrikar and H. Wang,Modular Hamiltonians for Deformed Half-Spaces and the Averaged Null Energy Condition,JHEP09(2016) 038, [1605.08072]

  31. [31]

    Covariant phase space and the semi-classical Einstein equation

    A. Bhattacharya and O. Parrikar,Covariant phase space and the semi-classical Einstein equation,2510.19939

  32. [32]

    Crnkovic and E

    C. Crnkovic and E. Witten,Covariant description of canonical formalism in geometrical theories.,Three hundred years of gravitation(1987) 676–684

  33. [33]

    Lee and R

    J. Lee and R. M. Wald,Local symmetries and constraints,J. Math. Phys.31(1990) 725–743

  34. [34]

    R. M. Wald,Black hole entropy is the Noether charge,Phys. Rev. D48(1993) R3427–R3431, [gr-qc/9307038]

  35. [35]

    Some Properties of Noether Charge and a Proposal for Dynamical Black Hole Entropy

    V. Iyer and R. M. Wald,Some properties of Noether charge and a proposal for dynamical black hole entropy,Phys. Rev. D50(1994) 846–864, [gr-qc/9403028]

  36. [36]

    A comparison of Noether charge and Euclidean methods for Computing the Entropy of Stationary Black Holes

    V. Iyer and R. M. Wald,A Comparison of Noether charge and Euclidean methods for computing the entropy of stationary black holes,Phys. Rev. D52(1995) 4430–4439, [gr-qc/9503052]

  37. [37]

    R. M. Wald and A. Zoupas,A General definition of ’conserved quantities’ in general relativity and other theories of gravity,Phys. Rev. D61(2000) 084027, [gr-qc/9911095]

  38. [38]

    Harlow and J.-Q

    D. Harlow and J.-Q. Wu,Covariant phase space with boundaries,JHEP10(2020) 146, [1906.08616]. – 50 –

  39. [39]

    A Stress Tensor for Anti-de Sitter Gravity

    V. Balasubramanian and P. Kraus,A Stress tensor for Anti-de Sitter gravity,Commun. Math. Phys.208(1999) 413–428, [hep-th/9902121]

  40. [40]

    Stability of Black Holes and Black Branes

    S. Hollands and R. M. Wald,Stability of Black Holes and Black Branes,Commun. Math. Phys. 321(2013) 629–680, [1201.0463]

  41. [41]

    Canonical Energy is Quantum Fisher Information

    N. Lashkari and M. Van Raamsdonk,Canonical Energy is Quantum Fisher Information, JHEP04(2016) 153, [1508.00897]

  42. [42]

    G. T. Horowitz,SEMICLASSICAL RELATIVITY: THE WEAK FIELD LIMIT,Phys. Rev. D21(1980) 1445–1461

  43. [43]

    Lashkari,Modular zero modes and sewing the states of QFT,JHEP21(2020) 189, [1911.11153]

    N. Lashkari,Modular zero modes and sewing the states of QFT,JHEP21(2020) 189, [1911.11153]

  44. [44]

    Anti De Sitter Space And Holography

    E. Witten,Anti-de Sitter space and holography,Adv. Theor. Math. Phys.2(1998) 253–291, [hep-th/9802150]

  45. [45]

    S. S. Gubser, I. R. Klebanov and A. M. Polyakov,Gauge theory correlators from noncritical string theory,Phys. Lett. B428(1998) 105–114, [hep-th/9802109]

  46. [46]

    From Euclidean Sources to Lorentzian Spacetimes in Holographic Conformal Field Theories

    D. Marolf, O. Parrikar, C. Rabideau, A. Izadi Rad and M. Van Raamsdonk,From Euclidean Sources to Lorentzian Spacetimes in Holographic Conformal Field Theories,JHEP06(2018) 077, [1709.10101]

  47. [47]

    Entanglement Entropy: A Perturbative Calculation

    V. Rosenhaus and M. Smolkin,Entanglement Entropy: A Perturbative Calculation,JHEP12 (2014) 179, [1403.3733]

  48. [48]

    Balakrishnan and O

    S. Balakrishnan and O. Parrikar,Modular Hamiltonians for Euclidean Path Integral States, 2002.00018

  49. [49]

    Bhattacharya and O

    A. Bhattacharya and O. Parrikar,Modular Hamiltonians for Euclidean path integral states II, to appear

  50. [50]

    M. S. Costa, V. Gonçalves and J. a. Penedones,Spinning AdS Propagators,JHEP09(2014) 064, [1404.5625]

  51. [51]

    Glimm and A

    J. Glimm and A. Jaffe,Quantum Physics: A Functional Integral Point of View. Springer, 1987, 10.1007/978-1-4612-4728-9

  52. [52]

    Stanford,Many-body chaos at weak coupling,JHEP10(2016) 009, [1512.07687]

    D. Stanford,Many-body chaos at weak coupling,JHEP10(2016) 009, [1512.07687]

  53. [53]

    A modular toolkit for bulk reconstruction

    T. Faulkner, M. Li and H. Wang,A modular toolkit for bulk reconstruction,JHEP04(2019) 119, [1806.10560]

  54. [54]

    Takesaki et al.,Theory of operator algebras II, vol

    M. Takesaki et al.,Theory of operator algebras II, vol. 125. Springer, 2003

  55. [55]

    Bratteli and D

    O. Bratteli and D. W. Robinson,Operator algebras and quantum statistical mechanics: Volume 1: C*-and W*-Algebras. Symmetry Groups. Decomposition of States. Springer Science & Business Media, 2012

  56. [56]

    Reeh and S

    H. Reeh and S. Schlieder,Bemerkungen zur unitäräquivalenz von lorentzinvarianten feldern, Nuovo Cim.22(1961) 1051–1068

  57. [57]

    J. J. Bisognano and E. H. Wichmann,On the Duality Condition for a Hermitian Scalar Field, J. Math. Phys.16(1975) 985–1007. – 51 –

  58. [58]

    Connes and E

    A. Connes and E. Størmer,Homogeneity of the state space of factors of type iii1,Journal of Functional Analysis28(1978) 187–196

  59. [59]

    Araki,Relative hamiltonian for faithful normal states of a von neumann algebra,Publ

    H. Araki,Relative hamiltonian for faithful normal states of a von neumann algebra,Publ. Res. Inst. Math. Sci. Kyoto9(1973) 165–209

  60. [60]

    J. M. Maldacena,Eternal black holes in anti-de Sitter,JHEP04(2003) 021, [hep-th/0106112]. – 52 –