Covariant Holographic Entanglement Entropy Inversion to Reconstruct Bulk Geometry
Pith reviewed 2026-05-20 18:02 UTC · model grok-4.3
The pith
Covariant holographic entanglement entropy reconstructs the bulk radial geometry only when fixed-kappa family reconstructions agree on a shared radial coordinate.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In stationary homogeneous three-dimensional geometries the renormalized interval entropy S(Δt, Δx) is an on-shell Hamilton-Jacobi functional. Its endpoint derivatives fix the conserved charges of the extremal geodesic, and the ratio of these charges organizes the data into fixed-kappa families. For each family an Abel-type reconstruction produces a radial metric block. A single classical geometry is recovered precisely when the blocks from distinct fixed-kappa families agree as functions of one common radial coordinate; this cross-family agreement is the integrability condition of the covariant inverse problem. Satisfaction of the condition determines the projected Lorentzian light cone, the
What carries the argument
The cross-family compatibility condition that equates radial-metric reconstructions from different fixed-kappa families, serving as the integrability condition for the covariant inverse problem.
If this is right
- When the compatibility condition is satisfied, the reconstructed radial metric block uniquely determines the frame-dragging term and the locations of the horizon generator and stationary-limit surface.
- The method recovers the expected geometries for pure AdS, rotating BTZ, and a boosted Einstein-scalar black brane.
- For a thin-shell obstruction or multi-branch data the compatibility condition fails, signaling that no single classical radial geometry exists.
- The projected Lorentzian light cone is fixed once the radial block is obtained, including causal structure information.
Where Pith is reading between the lines
- The same integrability requirement may serve as a diagnostic for whether a given set of entanglement data is consistent with a classical bulk in less symmetric settings.
- Numerical checks on holographic models with known exact solutions could verify whether the radial-coordinate matching holds to the expected precision.
- Extending the construction to include sub-leading corrections in the entropy functional would test how robust the integrability condition remains beyond the classical area term.
Load-bearing premise
The assumption that the HRT problem reduces to a one-dimensional radial variational problem for stationary homogeneous three-dimensional geometries.
What would settle it
Explicit computation for a known solution such as rotating BTZ showing that the radial metric block reconstructed from one fixed-kappa family differs from the block obtained from a second family at some common radial coordinate.
Figures
read the original abstract
We study when covariant holographic entanglement entropy determines a bulk radial geometry. We focus on stationary homogeneous three-dimensional geometries for which the Hubeny--Rangamani--Takayanagi (HRT) problem reduces to a one-dimensional radial variational problem. In this sector, the renormalized interval entropy \(S(\Delta t,\Delta x)\) is an on-shell Hamilton--Jacobi functional. Its endpoint derivatives determine the conserved charges of the corresponding extremal geodesic, and their ratio organizes the data into fixed-\(\kappa\) families. For each fixed \(\kappa\), the entropy data define an Abel-type reconstruction of a radial metric block. A single classical geometry is obtained only when the reconstructions from different fixed-\(\kappa\) families agree as functions of one common radial coordinate. This cross-family compatibility condition is the integrability condition of the covariant inverse problem. When it is satisfied, the reconstructed block determines the projected Lorentzian light cone, including frame dragging, the horizon generator, and the stationary-limit surface. We illustrate the construction with pure anti--de Sitter (AdS) space, rotating Ba\~nados--Teitelboim--Zanelli (BTZ) geometry, a static warped metric, a boosted Einstein--scalar black brane, a higher-dimensional strip example, and a thin-shell obstruction. The analysis is restricted to the classical HRT area term and to smooth single-branch data within the assumed radial reduction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a method to reconstruct the bulk radial geometry from covariant holographic entanglement entropy (HEE) in stationary homogeneous three-dimensional spacetimes. It reduces the Hubeny-Rangamani-Takayanagi (HRT) extremization to a one-dimensional radial variational problem, interprets the renormalized interval entropy S(Δt, Δx) as an on-shell Hamilton-Jacobi functional whose endpoint derivatives supply conserved charges, organizes data into fixed-κ families via the charge ratio, performs an Abel-type inversion to obtain a radial metric block for each family, and identifies agreement of these blocks on a single common radial coordinate as the integrability condition required for a unique classical geometry. When satisfied, the block determines the projected Lorentzian light cone, frame dragging, horizon generator, and stationary-limit surface. The construction is illustrated with explicit derivations and examples including pure AdS, rotating BTZ, static warped metrics, boosted Einstein-scalar branes, higher-dimensional strips, and thin-shell obstructions, all restricted to the classical area term and smooth single-branch data.
Significance. If the central construction holds, the paper supplies a concrete, data-driven procedure for inverting covariant HEE to recover bulk geometry within a well-defined sector, using variational principles and a cross-family compatibility condition as the integrability requirement. Strengths include the explicit reduction to the radial problem, charge extraction from the Hamilton-Jacobi structure, the inversion formula, the light-cone reconstruction, and multiple worked examples that verify the compatibility condition is both necessary and sufficient inside the stated restrictions. These elements provide a falsifiable test for the inverse problem and could inform broader efforts to extract bulk data from entanglement in holographic settings.
major comments (2)
- [§2] §2 (reduction to radial variational problem): the claim that the HRT problem reduces exactly to a one-dimensional radial problem for stationary homogeneous 3D geometries is load-bearing for the entire inversion; while the examples are consistent, an explicit derivation showing that the extremal surface equation decouples from angular or time dependence under the homogeneity assumption would confirm the reduction is not an additional restriction.
- [§4] §4 (Abel-type inversion and cross-family agreement): the statement that agreement of reconstructions from different fixed-κ families on a common radial coordinate is the integrability condition is central; the examples demonstrate necessity and sufficiency within the sector, but a general argument that this condition is independent of the input entropy function (rather than tautological by construction of the families) would strengthen the claim that a single geometry is recovered.
minor comments (3)
- The notation for the radial coordinate in the reconstructed metric block should be distinguished explicitly from the boundary interval coordinates (Δt, Δx) to avoid confusion when comparing input data to output geometry.
- In the thin-shell obstruction example, include a brief statement of how the compatibility condition fails quantitatively (e.g., mismatch in the radial functions) to make the obstruction more transparent.
- A short table summarizing the reconstructed metric components for each example (pure AdS, BTZ, etc.) would improve readability and allow direct verification of the cross-family agreement.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below.
read point-by-point responses
-
Referee: [§2] §2 (reduction to radial variational problem): the claim that the HRT problem reduces exactly to a one-dimensional radial problem for stationary homogeneous 3D geometries is load-bearing for the entire inversion; while the examples are consistent, an explicit derivation showing that the extremal surface equation decouples from angular or time dependence under the homogeneity assumption would confirm the reduction is not an additional restriction.
Authors: We agree that an explicit derivation would strengthen the manuscript. In the revised version, we will include a detailed derivation in §2 showing how the homogeneity and stationarity assumptions lead to the decoupling of the extremal surface equations from angular and time dependence, reducing the HRT problem to a one-dimensional radial variational problem. This will confirm that the reduction follows directly from the spacetime symmetries without imposing additional restrictions. revision: yes
-
Referee: [§4] §4 (Abel-type inversion and cross-family agreement): the statement that agreement of reconstructions from different fixed-κ families on a common radial coordinate is the integrability condition is central; the examples demonstrate necessity and sufficiency within the sector, but a general argument that this condition is independent of the input entropy function (rather than tautological by construction of the families) would strengthen the claim that a single geometry is recovered.
Authors: We thank the referee for highlighting this point. The fixed-κ families are obtained by partitioning the same entropy data according to different values of the charge ratio κ. Each family then yields an independent Abel-type inversion for a candidate radial metric block. The requirement that these blocks coincide when expressed as functions of a single common radial coordinate is not tautological by construction; it is the condition that ensures the entropy data is consistent with a single bulk geometry. In the revised manuscript we will add a general argument in §4 establishing that this compatibility condition is independent of the specific functional form of the input entropy (within the smooth single-branch sector) and constitutes the integrability requirement for recovering a unique classical geometry. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper explicitly derives the reduction of the HRT problem to a one-dimensional radial variational problem for stationary homogeneous 3D geometries, identifies the renormalized interval entropy as an on-shell Hamilton-Jacobi functional whose endpoint derivatives yield conserved charges, organizes data into fixed-κ families via their ratio, supplies an Abel-type inversion formula for each family, and identifies cross-family agreement on a common radial coordinate as the integrability condition. All steps are supported by explicit derivations, charge extraction, light-cone reconstruction, and worked examples (pure AdS, rotating BTZ, warped metric, boosted brane, higher-D strip, thin-shell) that confirm necessity and sufficiency inside the classical area term and smooth single-branch assumptions. No step reduces the final geometry to a fitted input by construction, and no load-bearing premise relies on unverified self-citation chains.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The renormalized interval entropy S(Δt, Δx) is an on-shell Hamilton-Jacobi functional whose endpoint derivatives determine the conserved charges of the extremal geodesic.
- domain assumption For stationary homogeneous 3D geometries the HRT problem reduces to a one-dimensional radial variational problem.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the HRT problem reduces to a one-dimensional radial variational problem for stationary homogeneous three-dimensional geometries... cross-family compatibility condition is the integrability condition of the covariant inverse problem
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]
The Large N limit of superconformal field theories and super- gravity.Adv
Juan Martin Maldacena. The Large N limit of superconformal field theories and super- gravity.Adv. Theor. Math. Phys., 2:231–252, 1998. doi: 10.1023/A:1026654312961
-
[2]
S. S. Gubser, Igor R. Klebanov, and Alexander M. Polyakov. Gauge theory correlators from noncritical string theory.Phys. Lett. B, 428:105–114, 1998. doi: 10.1016/S0370-2693(98) 00377-3
-
[3]
Anti-de Sitter space and holography.Adv
Edward Witten. Anti-de Sitter space and holography.Adv. Theor. Math. Phys., 2:253–291,
-
[4]
doi: 10.4310/ATMP.1998.v2.n2.a2
-
[5]
Holographic derivation of entanglement entropy from AdS/CFT
Shinsei Ryu and Tadashi Takayanagi. Holographic derivation of entanglement entropy from AdS/CFT.Phys. Rev. Lett., 96:181602, 2006. doi: 10.1103/PhysRevLett.96.181602
-
[7]
John Hammersley. Extracting the bulk metric from boundary information in asymptotically AdS spacetimes.JHEP, 12:047, 2006. doi: 10.1088/1126-6708/2006/12/047
-
[8]
Numerical metric extraction in AdS/CFT.Gen
John Hammersley. Numerical metric extraction in AdS/CFT.Gen. Rel. Grav., 40:1619– 1652, 2008. doi: 10.1007/s10714-007-0564-6
-
[9]
Extracting spacetimes using the AdS/CFT conjecture.JHEP, 08:073, 2008
Samuel Bilson. Extracting spacetimes using the AdS/CFT conjecture.JHEP, 08:073, 2008. doi: 10.1088/1126-6708/2008/08/073
-
[10]
Extracting Spacetimes using the AdS/CFT Conjecture: Part II.JHEP, 02:050, 2011
Samuel Bilson. Extracting Spacetimes using the AdS/CFT Conjecture: Part II.JHEP, 02:050, 2011. doi: 10.1007/JHEP02(2011)050
-
[11]
Dual gravities from entanglement entropy
Jaehyeok Huh and Chanyong Park. Dual gravities from entanglement entropy. 3 2026
work page 2026
-
[12]
Hubeny, Hong Liu, and Mukund Rangamani
Veronika E. Hubeny, Hong Liu, and Mukund Rangamani. Bulk-cone singularities and signatures of horizon formation in AdS/CFT.JHEP, 01:009, 2007. doi: 10.1088/1126-6708/ 2007/01/009
-
[13]
Netta Engelhardt and Gary T. Horowitz. Towards a Reconstruction of General Bulk Met- rics.Class. Quant. Grav., 34:015004, 2017. doi: 10.1088/1361-6382/34/1/015004
-
[14]
Netta Engelhardt and Gary T. Horowitz. Recovering the spacetime metric from a holo- graphic dual.Adv. Theor. Math. Phys., 21:1635–1653, 2017. doi: 10.4310/ATMP.2017.v21. n7.a2. 37
-
[15]
Phase diagrams of lattice gauge theories with Higgs fields
Alex Hamilton, Daniel N. Kabat, Gilad Lifschytz, and David A. Lowe. Holographic repre- sentation of local bulk operators.Phys. Rev. D, 74:066009, 2006. doi: 10.1103/PhysRevD. 74.066009
-
[16]
Solodukhin, and Kostas Skenderis
Sebastian de Haro, Sergey N. Solodukhin, and Kostas Skenderis. Holographic reconstruc- tion of space-time and renormalization in the AdS/CFT correspondence.Commun. Math. Phys., 217:595–622, 2001. doi: 10.1007/s002200100381
-
[17]
Chowdhury, Bartlomiej Czech, Jan de Boer, and Michal P
Vijay Balasubramanian, Borun D. Chowdhury, Bartlomiej Czech, Jan de Boer, and Michal P. Heller. Bulk curves from boundary data in holography.Phys. Rev. D, 89: 086004, 2014. doi: 10.1103/PhysRevD.89.086004
-
[18]
Holographic definition of points and distances
Bartlomiej Czech and Lampros Lamprou. Holographic definition of points and distances. Phys. Rev. D, 90:106005, 2014. doi: 10.1103/PhysRevD.90.106005
-
[19]
Integral Ge- ometry and Holography.JHEP, 10:175, 2015
Bartlomiej Czech, Lampros Lamprou, Samuel McCandlish, and James Sully. Integral Ge- ometry and Holography.JHEP, 10:175, 2015. doi: 10.1007/JHEP10(2015)175
-
[20]
Myers, Junjie Rao, and Sotaro Sugishita
Robert C. Myers, Junjie Rao, and Sotaro Sugishita. Holographic Holes in Higher Dimen- sions.JHEP, 06:044, 2014. doi: 10.1007/JHEP06(2014)044
-
[21]
Bit threads and holographic entanglement
Michael Freedman and Matthew Headrick. Bit threads and holographic entanglement. Commun. Math. Phys., 352:407–438, 2017. doi: 10.1007/s00220-016-2796-3
-
[22]
Xi Dong, Daniel Harlow, and Aron C. Wall. Reconstruction of Bulk Operators within the Entanglement Wedge in Gauge-Gravity Duality.Phys. Rev. Lett., 117:021601, 2016. doi: 10.1103/PhysRevLett.117.021601
-
[23]
Building bulk from Wilson loops.PTEP, 2021(2):023B04, 2021
Koji Hashimoto. Building bulk from Wilson loops.PTEP, 2021(2):023B04, 2021. doi: 10.1093/ptep/ptaa183
-
[24]
Bulk reconstruction of metrics inside black holes by complexity.JHEP, 09:165, 2021
Koji Hashimoto and Ryota Watanabe. Bulk reconstruction of metrics inside black holes by complexity.JHEP, 09:165, 2021. doi: 10.1007/JHEP09(2021)165
-
[25]
Wen-Bin Xu and Shao-Feng Wu. Reconstructing black hole exteriors and interiors using entanglement and complexity.JHEP, 07:083, 2023. doi: 10.1007/JHEP07(2023)083
-
[26]
Emergence of spacetime from the algebra of total modular Hamiltonians.JHEP, 05:017, 2019
Daniel Kabat and Gilad Lifschytz. Emergence of spacetime from the algebra of total modular Hamiltonians.JHEP, 05:017, 2019. doi: 10.1007/JHEP05(2019)017
-
[27]
Shubho R. Roy and Debajyoti Sarkar. Bulk metric reconstruction from boundary entan- glement.Phys. Rev. D, 98:066017, 2018. doi: 10.1103/PhysRevD.98.066017
-
[28]
Holographic cameras: an eye for the bulk.JHEP, 03:047, 2023
Simon Caron-Huot. Holographic cameras: an eye for the bulk.JHEP, 03:047, 2023. doi: 10.1007/JHEP03(2023)047
-
[29]
Towards Bulk Metric Reconstruction from Extremal Area Variations.Class
Ning Bao, ChunJun Cao, Sebastian Fischetti, and Cynthia Keeler. Towards Bulk Metric Reconstruction from Extremal Area Variations.Class. Quant. Grav., 36:185002, 2019. doi: 10.1088/1361-6382/ab377f
-
[30]
Niko Jokela, Tony Liimatainen, Miika Sarkkinen, and Leo Tzou. Bulk metric reconstruction from entanglement data via minimal surface area variations.JHEP, 10:079, 2025
work page 2025
-
[31]
Byoungjoon Ahn, Hyun-Sik Jeong, Keun-Young Kim, and Kwan Yun. Holographic recon- struction of black hole spacetime: machine learning and entanglement entropy.JHEP, 01: 025, 2025. doi: 10.1007/JHEP01(2025)025. 38
-
[32]
Learning the inverse Ryu–Takayanagi formula with transformers.JHEP, 04: 128, 2026
Sejin Kim. Learning the inverse Ryu–Takayanagi formula with transformers.JHEP, 04: 128, 2026. doi: 10.1007/JHEP04(2026)128
-
[33]
Bo-Wen Fan and Run-Qiu Yang. Application of Solving Inverse Scattering Problem in Holographic Bulk Reconstruction.JHEP, 03:044, 2026. doi: 10.1007/JHEP03(2026)044
-
[34]
Entanglement Renormalization.Phys
Guifre Vidal. Entanglement Renormalization.Phys. Rev. Lett., 99:220405, 2007. doi: 10.1103/PhysRevLett.99.220405
-
[35]
Class of Quantum Many-Body States That Can Be Efficiently Simulated
Guifre Vidal. Class of Quantum Many-Body States That Can Be Efficiently Simulated. Phys. Rev. Lett., 101:110501, 2008. doi: 10.1103/PhysRevLett.101.110501
-
[36]
Entanglement Renormalization and Holography.Phys
Brian Swingle. Entanglement Renormalization and Holography.Phys. Rev. D, 86:065007,
-
[37]
doi: 10.1103/PhysRevD.86.065007
-
[38]
Building up spacetime with quantum entanglement.Gen
Mark Van Raamsdonk. Building up spacetime with quantum entanglement.Gen. Rel. Grav., 42:2323–2329, 2010. doi: 10.1142/S0218271810018529
-
[39]
Cool horizons for entangled black holes.Fortsch
Juan Maldacena and Leonard Susskind. Cool horizons for entangled black holes.Fortsch. Phys., 61:781–811, 2013. doi: 10.1002/prop.201300020
-
[40]
Geometric interpretation of the multi-scale entanglement renormalization ansatz
Ashley Milsted and Guifre Vidal. Geometric interpretation of the multi-scale entanglement renormalization ansatz. 2018
work page 2018
-
[41]
Mukund Rangamani and Tadashi Takayanagi.Holographic Entanglement Entropy, volume 931 ofLecture Notes in Physics. Springer, 2017. doi: 10.1007/978-3-319-52573-0
-
[42]
Generalized gravitational entropy.JHEP, 08:090,
Aitor Lewkowycz and Juan Maldacena. Generalized gravitational entropy.JHEP, 08:090,
-
[43]
doi: 10.1007/JHEP08(2013)090
-
[44]
Quantum corrections to holo- graphic entanglement entropy.JHEP, 11:074, 2013
Thomas Faulkner, Aitor Lewkowycz, and Juan Maldacena. Quantum corrections to holo- graphic entanglement entropy.JHEP, 11:074, 2013. doi: 10.1007/JHEP11(2013)074
-
[45]
Netta Engelhardt and Aron C. Wall. Quantum Extremal Surfaces: Holographic En- tanglement Entropy beyond the Classical Regime.JHEP, 01:073, 2015. doi: 10.1007/ JHEP01(2015)073
work page 2015
-
[46]
The Gravity Dual of Renyi Entropy.Nature Commun., 7:12472, 2016
Xi Dong. The Gravity Dual of Renyi Entropy.Nature Commun., 7:12472, 2016. doi: 10.1038/ncomms12472
-
[47]
Entanglement of purification through holographic duality.Nature Phys., 14:573–577, 2018
Koji Umemoto and Tadashi Takayanagi. Entanglement of purification through holographic duality.Nature Phys., 14:573–577, 2018. doi: 10.1038/s41567-018-0075-2
-
[48]
Phuc Nguyen, Trithep Devakul, Matthew G. Halbasch, Michael P. Zaletel, and Brian Swingle. Entanglement of purification: from spin chains to holography.JHEP, 01:098,
-
[49]
doi: 10.1007/JHEP01(2018)098
-
[50]
A canonical purification for the entanglement wedge cross-section.JHEP, 03:178, 2021
Souvik Dutta and Thomas Faulkner. A canonical purification for the entanglement wedge cross-section.JHEP, 03:178, 2021. doi: 10.1007/JHEP03(2021)178
-
[51]
Maximo Banados, Claudio Teitelboim, and Jorge Zanelli. The Black hole in three- dimensional space-time.Phys. Rev. Lett., 69:1849–1851, 1992. doi: 10.1103/PhysRevLett. 69.1849
-
[52]
J. David Brown and M. Henneaux. Central Charges in the Canonical Realization of Asymp- totic Symmetries: An Example from Three-Dimensional Gravity.Commun. Math. Phys., 104:207–226, 1986. doi: 10.1007/BF01211590. 39
-
[53]
Eternal black holes in anti-de Sitter.JHEP, 04:021, 2003
Juan Martin Maldacena. Eternal black holes in anti-de Sitter.JHEP, 04:021, 2003. doi: 10.1088/1126-6708/2003/04/021
-
[54]
David S. Berman and Maulik K. Parikh. Holography and Rotating AdS Black Holes.Phys. Lett. B, 463:168–173, 1999. doi: 10.1016/S0370-2693(99)00985-4
-
[55]
David S. Berman. Aspects of holography and rotating AdS black holes.PoS, tmr99:008,
-
[56]
doi: 10.22323/1.004.0008
-
[57]
Semiclassical Rotating AdS Black Holes with Quantum Hair in Holography.Phys
Ryusei Hamaki and Kengo Maeda. Semiclassical Rotating AdS Black Holes with Quantum Hair in Holography.Phys. Rev. D, 111:084021, 2025. doi: 10.1103/PhysRevD.111.084021. 40
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.