Recognition: 2 theorem links
· Lean TheoremModular Witten Diagrams and Quantum Extremality
Pith reviewed 2026-05-16 22:55 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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)
- [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
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
-
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
Schwinger-Keldysh contour motivated by replica continuation enables manifest reproduction of QRT canonical energy
specific steps
-
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
axioms (2)
- domain assumption Validity of the AdS/CFT correspondence for relating CFT entanglement to bulk geometry
- domain assumption Quantum extremal surface formula gives the correct entanglement entropy
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
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.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
This calculation involves a Schwinger-Keldysh contour ordering prescription in the bulk, which we motivate using analytic continuation from Euclidean replica correlators.
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
-
[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 –
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[2]
V. E. Hubeny, M. Rangamani and T. Takayanagi,A Covariant holographic entanglement entropy proposal,JHEP07(2007) 062, [0705.0016]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[5]
Generalized gravitational entropy
A. Lewkowycz and J. Maldacena,Generalized gravitational entropy,JHEP08(2013) 090, [1304.4926]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[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]
V. Chandrasekaran, R. Longo, G. Penington and E. Witten,An algebra of observables for de Sitter space,JHEP02(2023) 082, [2206.10780]
-
[12]
V. Chandrasekaran, G. Penington and E. Witten,Large N algebras and generalized entropy, JHEP04(2023) 009, [2209.10454]
- [13]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[15]
Universality of Gravity from Entanglement
B. Swingle and M. Van Raamsdonk,Universality of Gravity from Entanglement,1405.2933
work page internal anchor Pith review Pith/arXiv arXiv
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[19]
A. Belin and S. Colin-Ellerin,Bootstrapping quantum extremal surfaces. Part I. The area operator,JHEP11(2021) 021, [2107.07516]
- [20]
-
[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
work page internal anchor Pith review Pith/arXiv arXiv
- [22]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [24]
-
[25]
S. Colin-Ellerin, G. Lin and G. Penington,Generalized entropy of gravitational fluctuations, JHEP09(2025) 091, [2501.08308]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [27]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2020
-
[29]
S. Hollands and R. Longo,A New Proof of the QNEC,Commun. Math. Phys.406(2025) 269, [2503.04651]
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[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
work page internal anchor Pith review Pith/arXiv arXiv
-
[32]
C. Crnkovic and E. Witten,Covariant description of canonical formalism in geometrical theories.,Three hundred years of gravitation(1987) 676–684
work page 1987
- [33]
-
[34]
R. M. Wald,Black hole entropy is the Noether charge,Phys. Rev. D48(1993) R3427–R3431, [gr-qc/9307038]
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[36]
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]
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[38]
D. Harlow and J.-Q. Wu,Covariant phase space with boundaries,JHEP10(2020) 146, [1906.08616]. – 50 –
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[41]
Canonical Energy is Quantum Fisher Information
N. Lashkari and M. Van Raamsdonk,Canonical Energy is Quantum Fisher Information, JHEP04(2016) 153, [1508.00897]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[42]
G. T. Horowitz,SEMICLASSICAL RELATIVITY: THE WEAK FIELD LIMIT,Phys. Rev. D21(1980) 1445–1461
work page 1980
-
[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]
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]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[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]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[47]
Entanglement Entropy: A Perturbative Calculation
V. Rosenhaus and M. Smolkin,Entanglement Entropy: A Perturbative Calculation,JHEP12 (2014) 179, [1403.3733]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[48]
S. Balakrishnan and O. Parrikar,Modular Hamiltonians for Euclidean Path Integral States, 2002.00018
-
[49]
A. Bhattacharya and O. Parrikar,Modular Hamiltonians for Euclidean path integral states II, to appear
-
[50]
M. S. Costa, V. Gonçalves and J. a. Penedones,Spinning AdS Propagators,JHEP09(2014) 064, [1404.5625]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[51]
J. Glimm and A. Jaffe,Quantum Physics: A Functional Integral Point of View. Springer, 1987, 10.1007/978-1-4612-4728-9
-
[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]
A modular toolkit for bulk reconstruction
T. Faulkner, M. Li and H. Wang,A modular toolkit for bulk reconstruction,JHEP04(2019) 119, [1806.10560]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[54]
Takesaki et al.,Theory of operator algebras II, vol
M. Takesaki et al.,Theory of operator algebras II, vol. 125. Springer, 2003
work page 2003
-
[55]
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
work page 2012
-
[56]
H. Reeh and S. Schlieder,Bemerkungen zur unitäräquivalenz von lorentzinvarianten feldern, Nuovo Cim.22(1961) 1051–1068
work page 1961
-
[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 –
work page 1975
-
[58]
A. Connes and E. Størmer,Homogeneity of the state space of factors of type iii1,Journal of Functional Analysis28(1978) 187–196
work page 1978
-
[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
work page 1973
-
[60]
J. M. Maldacena,Eternal black holes in anti-de Sitter,JHEP04(2003) 021, [hep-th/0106112]. – 52 –
work page internal anchor Pith review Pith/arXiv arXiv 2003
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.