REVIEW 1 major objections 1 cited by
Relative entropy between vacuum and coherent states equals the first-order variation of the Ryu-Takayanagi geodesic length divided by 4G_N in AdS3/CFT2.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.3
2026-06-29 04:02 UTC pith:AQRBMTE6
load-bearing objection The central claim as written is impossible: relative entropy is O(ε²) while the RT length variation is O(ε), so they cannot match at linear order. the 1 major comments →
A UV-Finite Ryu-Takayanagi Relation from Relative Entropy in AdS₃/CFT₂
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Adapting Hollands' exact result for the chiral relative entropy to a diamond region, we express the boundary relative entropy between the vacuum and a coherent state as a Schwarzian functional, which the Fefferman-Graham dictionary identifies with the asymptotic data of a Bañados geometry; the rigidity of three-dimensional gravity promotes this boundary identification to the bulk. To linear order in the metric perturbation, the relative entropy then equals the variation of the RT geodesic length divided by 4G_N. The construction rests only on the Bisognano-Wichmann/Borchers theorem and the holographic dictionary, giving a UV-finite, operator-algebraic counterpart to the RT relation.
What carries the argument
The Schwarzian functional for boundary relative entropy, identified with Bañados asymptotic data via the Fefferman-Graham dictionary and promoted to bulk geometry by three-dimensional gravity rigidity.
Load-bearing premise
The rigidity of three-dimensional gravity allows boundary data from the Schwarzian functional and Fefferman-Graham dictionary to fix the bulk geometry.
What would settle it
An explicit calculation of the relative entropy for a chosen coherent state in the boundary CFT2 that fails to match the first-order change in the corresponding RT geodesic length in the Bañados bulk geometry.
If this is right
- The equality holds to linear order in metric perturbations.
- The relation is ultraviolet-finite by construction.
- The derivation applies to diamond regions and uses only the Bisognano-Wichmann/Borchers theorem plus the holographic dictionary.
- It supplies an operator-algebraic version of the Ryu-Takayanagi formula without reference to divergent entanglement entropy.
Where Pith is reading between the lines
- The same boundary-to-bulk promotion step may not hold in higher dimensions where gravity is less rigid.
- Relative entropy could serve as a regularized replacement for other holographic quantities that currently rely on divergent entropies.
- The method isolates the role of the Bisognano-Wichmann theorem, suggesting it might be tested in non-holographic models with modular flow.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to derive a UV-finite Ryu-Takayanagi relation in AdS₃/CFT₂ by adapting Hollands' exact result for chiral relative entropy to a diamond region via the Bisognano-Wichmann/Borchers theorem. The boundary relative entropy between vacuum and coherent state is expressed as a Schwarzian functional, identified with the asymptotic data of a Bañados geometry through the Fefferman-Graham dictionary, and promoted to the bulk geometry by the rigidity of three-dimensional gravity. To linear order in the metric perturbation, this relative entropy is asserted to equal the variation of the RT geodesic length divided by 4G_N, yielding an operator-algebraic counterpart to the RT formula resting only on the BW/Borchers theorem and the holographic dictionary.
Significance. If the central identification is correct, the result would be significant for providing a UV-finite, relative-entropy-based foundation for the RT formula that avoids cutoff dependence and relies solely on standard inputs from the holographic dictionary and the BW/Borchers theorem. This could strengthen the operator-algebraic understanding of holographic entanglement in AdS₃/CFT₂.
major comments (1)
- [Abstract] Abstract: The assertion that relative entropy equals the variation of the RT geodesic length to linear order in the metric perturbation is inconsistent with the perturbative structure of relative entropy. By definition, S(ρ||σ) for ρ = σ + ε δρ has vanishing first derivative at ε=0 (nonnegative and minimized at equality), so its expansion begins at O(ε²). The first variation of geodesic length is O(ε). Equating the two at linear order is therefore impossible unless both sides vanish identically, which would make the result trivial. The load-bearing step is the adaptation of Hollands' result and its identification with the Schwarzian functional; this must be shown to produce a quantity whose linear term vanishes and whose quadratic term matches δL/4G_N, but the stated claim does not reflect this structure.
Simulated Author's Rebuttal
We thank the referee for their detailed reading and for identifying an important issue with the perturbative orders in our abstract. We agree that the current wording is imprecise and will revise the manuscript to correct it.
read point-by-point responses
-
Referee: The assertion that relative entropy equals the variation of the RT geodesic length to linear order in the metric perturbation is inconsistent with the perturbative structure of relative entropy. By definition, S(ρ||σ) for ρ = σ + ε δρ has vanishing first derivative at ε=0 (nonnegative and minimized at equality), so its expansion begins at O(ε²). The first variation of geodesic length is O(ε). Equating the two at linear order is therefore impossible unless both sides vanish identically, which would make the result trivial. The load-bearing step is the adaptation of Hollands' result and its identification with the Schwarzian functional; this must be shown to produce a quantity whose linear term vanishes and whose quadratic term matches δL/4G_N, but the stated claim does not reflect this structure.
Authors: We agree that the abstract's reference to 'linear order' is incorrect and misleading. Relative entropy between the vacuum and a coherent state is quadratic in the perturbation parameter by construction (vanishing at first order due to the BW theorem and the fact that the coherent state is a unitary excitation). The Schwarzian functional obtained from Hollands' result expands at O(ε²). The first variation of the RT geodesic length is indeed O(ε). We will revise the abstract to state that the relative entropy equals the quadratic term in the expansion that corresponds to the variation of the RT geodesic length divided by 4G_N. In the main text we will add an explicit expansion of the Schwarzian functional demonstrating that the linear term vanishes identically and that the quadratic coefficient matches δL/4G_N via the Fefferman-Graham dictionary and the rigidity of 3d gravity. This revision addresses the load-bearing identification without altering the core result. revision: yes
Circularity Check
No significant circularity; derivation relies on external theorems and dictionary without self-referential reduction
full rationale
The paper's central chain adapts Hollands' result for chiral relative entropy, applies the Bisognano-Wichmann/Borchers theorem to a diamond, expresses the result as a Schwarzian functional, and uses the Fefferman-Graham dictionary plus 3D gravity rigidity to identify it with the variation of the RT geodesic length. These steps invoke named external theorems and the standard holographic dictionary as independent inputs rather than deriving them from the target RT relation itself. No equations or steps reduce a claimed prediction to a fitted parameter or prior self-citation by construction, and the construction is presented as self-contained against those benchmarks. The noted order mismatch between relative entropy (O(ε²)) and geodesic variation (O(ε)) is a potential correctness concern but does not constitute a circularity pattern under the enumerated criteria.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Bisognano-Wichmann/Borchers theorem
- domain assumption Fefferman-Graham holographic dictionary
read the original abstract
We establish a Ryu-Takayanagi (RT) relation in AdS$_3$/CFT$_2$ using \emph{relative entropy} as the central object, in place of the ultraviolet-divergent von Neumann entanglement entropy. Adapting Hollands' exact result for the chiral relative entropy to a diamond region, we express the boundary relative entropy between the vacuum and a coherent state as a Schwarzian functional, which the Fefferman-Graham dictionary identifies with the asymptotic data of a Ba\~nados geometry; the rigidity of three-dimensional gravity promotes this boundary identification to the bulk. To linear order in the metric perturbation, the relative entropy then equals the variation of the RT geodesic length divided by $4G_N$. The construction rests only on the Bisognano-Wichmann/Borchers theorem and the holographic dictionary, giving a UV-finite, operator-algebraic counterpart to the RT relation.
Figures
Forward citations
Cited by 1 Pith paper
-
Holography in the linearized quantum gravity regime and modular crossed product
At linearized order, the vacuum-subtracted HRT entropy of a boundary region is the entropy of a coherent graviton state in the modular crossed-product algebra of the dual CFT, assuming a wedge-reconstructing holographic map.
Reference graph
Works this paper leans on
-
[1]
Ryu and T
S. Ryu and T. Takayanagi, Holographic Derivation of Entanglement Entropy from the anti–de Sitter Space/Conformal Field Theory Correspondence, Phys. Rev. Lett.96, 181602 (2006)
2006
-
[2]
Nishioka, S
T. Nishioka, S. Ryu, and T. Takayanagi, Holographic entanglement entropy: An overview, J. Phys. A Math. Theor.42, 504008 (2009)
2009
-
[3]
Headrick, Entanglement R´ enyi entropies in holo- graphic theories, Phys
M. Headrick, Entanglement R´ enyi entropies in holo- graphic theories, Phys. Rev. D82, 126010 (2010)
2010
-
[4]
Casini, M
H. Casini, M. Huerta, and R. C. Myers, Towards a deriva- tion of holographic entanglement entropy, J. High Energy Phys.2011, 36
2011
-
[5]
Lewkowycz and J
A. Lewkowycz and J. Maldacena, Generalized gravita- tional entropy, J. High Energy Phys.2013, 90
2013
-
[6]
Faulkner, A
T. Faulkner, A. Lewkowycz, and J. Maldacena, Quantum corrections to holographic entanglement entropy, J. High Energy Phys.2013, 74
2013
-
[7]
Almheiri, X
A. Almheiri, X. Dong, and D. Harlow, Bulk Locality and Quantum Error Correction in AdS/CFT, J. High Energy Phys.2015, 163
2015
-
[8]
Jiang and H
X. Jiang and H. Yang, Entanglement entropy of confor- mal field theory in all dimensions, J. High Energy Phys. 2026, 15
2026
-
[9]
thermody- namics
N. Lashkari, M. B. McDermott, and M. van Raamsdonk, Gravitational dynamics from entanglement “thermody- namics”, J. High Energy Phys.2014, 195
2014
-
[10]
Faulkner, M
T. Faulkner, M. Guica, T. Hartman, R. C. Myers, and M. van Raamsdonk, Gravitation from entanglement in holographic CFTs, J. High Energy Phys.2014, 51
2014
-
[11]
D. D. Blanco, H. Casini, L.-Y. Hung, and R. C. Myers, Relative entropy and holography, J. High Energy Phys. 2013, 60
2013
-
[12]
Araki, Relative entropy of states of von Neumann al- gebras, Publ
H. Araki, Relative entropy of states of von Neumann al- gebras, Publ. Res. Inst. Math. Sci.11, 809 (1976)
1976
-
[13]
Uhlmann, Relative entropy and the Wigner-Yanase- Dyson-Lieb concavity in an interpolation theory, Com- mun
A. Uhlmann, Relative entropy and the Wigner-Yanase- Dyson-Lieb concavity in an interpolation theory, Com- mun. Math. Phys.54, 21 (1977)
1977
-
[14]
Witten, APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory, Rev
E. Witten, APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory, Rev. Mod. Phys.90, 045003 (2018)
2018
-
[15]
Kurpicz, N
F. Kurpicz, N. Pinamonti, and R. Verch, Temperature and entropy-area relation of quantum matter near spher- ically symmetric outer trapping horizons, Lett. Math. Phys.111, 110 (2021)
2021
-
[16]
D’Angelo, M
E. D’Angelo, M. B. Fr¨ ob, S. Galanda, P. Meda, A. Much, and K. Papadopoulos, Entropy-Area Law and Tempera- ture of de Sitter Horizons from Modular Theory, Prog. Theor. Exp. Phys.2024, 2 (2024)
2024
-
[17]
Dorau and A
P. Dorau and A. Much, From Quantum Relative Entropy to the Semiclassical Einstein Equations, Phys. Rev. Lett. 136, 091602 (2026)
2026
-
[18]
[45–47], see also Ref
In the context of AQFT, holography has been initially treated in Refs. [45–47], see also Ref. [48]
-
[19]
[21, 30]
They are called Virasoro states because they are gener- ated by elements of the Virasoro algebra, see Refs. [21, 30]
-
[20]
Hereω 0 andω f denote states on the algebra, and|Ω⟩ and|Ψ f ⟩are their corresponding vector representatives in the respective GNS representation
-
[21]
Hollands, Relative entropy for coherent states in chiral CFT, Lett
S. Hollands, Relative entropy for coherent states in chiral CFT, Lett. Math. Phys.110, 713–733 (2020)
2020
-
[22]
Fefferman and C
C. Fefferman and C. R. Graham, Conformal invariants, in The Mathematical Heritage of ´Elie Cartan (Lyon, 1984), Ast´ erisque (Soci´ et´ e math´ ematique de France, 1985) pp. 95–116
1984
-
[23]
Fefferman and C
C. Fefferman and C. R. Graham,The ambient metric, Annals of Mathematics Studies (Princeton University Press, 2011)
2011
-
[24]
Ba˜ nados, Three-dimensional quantum geometry and black holes, AIP Conf
M. Ba˜ nados, Three-dimensional quantum geometry and black holes, AIP Conf. Proc.484, 147 (1999)
1999
-
[25]
M. M. Roberts, Time evolution of entanglement entropy from a pulse, J. High Energy Phys.2012, 27
2012
-
[26]
J. D. Brown and M. Henneaux, Central charges in the canonical realization of asymptotic symmetries: An ex- ample from three-dimensional gravity, Commun. Math. Phys.104, 207 (1986)
1986
-
[27]
Longo and G
R. Longo and G. Morsella, The Massless Modular Hamil- tonian, Commun. Math. Phys.400, 1181 (2023)
2023
-
[28]
Longo, Modular Structure of the Weyl Algebra, Com- mun
R. Longo, Modular Structure of the Weyl Algebra, Com- mun. Math. Phys.392, 145 (2022)
2022
-
[29]
Cardy and E
J. Cardy and E. Tonni, Entanglement Hamiltonians in two-dimensional conformal field theory, J. Stat. Mech. 6 Theory Exp.2016, 123103 (2016)
2016
-
[30]
C. J. Fewster and S. Hollands, Quantum energy in- equalities in two-dimensional conformal field theory, Rev. Math. Phys.17, 577–612 (2005)
2005
-
[31]
Ammon and J
M. Ammon and J. Erdmenger,Gauge/Gravity Dual- ity: Foundations and Applications(Cambridge Univer- sity Press, 2015)
2015
-
[32]
Bayona and N
C. Bayona and N. Braga, Anti-de Sitter boundary in Poincar´ e coordinates, Gen. Rel. Grav.39, 1367 (2007)
2007
-
[33]
Merbis and M
W. Merbis and M. Riegler, Geometric actions and flat space holography, J. High Energy Phys.2020, 125
2020
-
[34]
More precisely, we obtain the induced metric asg (0) ind = g(0)(z=z 0(u), v=−u, u)
-
[35]
Di Francesco, P
P. Di Francesco, P. Mathieu, and D. S´ en´ echal,Conformal Field Theory, Graduate Texts in Contemporary Physics (Springer-Verlag, New York, 1997)
1997
-
[36]
de Haro, K
S. de Haro, K. Skenderis, and S. N. Solodukhin, Holo- graphic Reconstruction of Spacetime and Renormaliza- tion in the AdS/CFT Correspondence, Commun. Math. Phys.217, 595 (2001)
2001
-
[37]
R. C. Myers, Stress tensors and Casimir energies in the AdS/CFT correspondence, Phys. Rev. D60, 046002 (1999)
1999
-
[38]
Skenderis, Lecture notes on holographic renormaliza- tion, Class
K. Skenderis, Lecture notes on holographic renormaliza- tion, Class. Quantum Gravity19, 5849 (2002)
2002
-
[39]
Engelhardt and A
N. Engelhardt and A. C. Wall, Quantum extremal sur- faces: holographic entanglement entropy beyond the clas- sical regime, J. High Energy Phys.2015, 73
2015
-
[40]
For unitary excitations it holds that the relative entropy between the vacuum and the unitarily excited vacuum is equal to the variation of the expectation value of the modular operator associated with the excited state
-
[41]
D. L. Jafferis, A. Lewkowycz, J. Maldacena, and S. J. Suh, Relative entropy equals bulk relative entropy, J. High Energy Phys.2016, 4
2016
-
[42]
The entanglement wedgeais the domain of dependence of any bulk hypersurface bounded by the regionAon the boundary and the corresponding RT surfaceγ A, see Refs. [6, 41]
-
[43]
D’Angelo, Entropy for spherically symmetric, dynam- ical black holes from the relative entropy between co- herent states of a scalar quantum field, Class
E. D’Angelo, Entropy for spherically symmetric, dynam- ical black holes from the relative entropy between co- herent states of a scalar quantum field, Class. Quantum Gravity38, 175001 (2021)
2021
-
[44]
Hollands and A
S. Hollands and A. Ishibashi, News versus information, Class. Quantum Gravity36, 195001 (2019)
2019
-
[45]
Rehren, Algebraic Holography, Ann
K.-H. Rehren, Algebraic Holography, Ann. Henri Poincar´ e1, 607 (2000)
2000
-
[46]
Rehren, Local quantum observables in the anti- de-Sitter–conformal QFT correspondence, Phys
K.-H. Rehren, Local quantum observables in the anti- de-Sitter–conformal QFT correspondence, Phys. Lett. B 493, 383 (2000)
2000
-
[47]
D¨ utsch and K.-H
M. D¨ utsch and K.-H. Rehren, Generalized Free Fields and the AdS-CFT Correspondence, Ann. Henri Poincar´ e 4, 613 (2003)
2003
-
[48]
Dappiagi, V
C. Dappiagi, V. Moretti, and N. Pinamonti, Rigorous steps towards holography in asymptotically flat space- times, Rev. Math. Phys.18, 349 (2006)
2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.