Recognition: 2 theorem links
· Lean TheoremHolographic Tensor Networks as Tessellations of Geometry
Pith reviewed 2026-05-16 20:29 UTC · model grok-4.3
The pith
Holographic tensor networks from partial-entanglement-entropy threads exactly reproduce the Ryu-Takayanagi formula.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Assigning tensor states to the vertices of a PEE-thread tessellation of AdS produces holographic tensor networks in which the minimal number of cuts across any homologous surface equals the area of that surface, reproducing the Ryu-Takayanagi formula exactly in the factorized, perfect-tensor, and random cases.
What carries the argument
The PEE-thread network, a collection of bulk geodesics with density fixed by the Crofton formula, used as a lattice on which tensors are placed at vertices so that counting crossed links gives the entanglement entropy.
If this is right
- The Ryu-Takayanagi formula holds exactly rather than approximately in these discrete models.
- The result applies uniformly to factorized EPR-pair networks, HaPPY-style perfect-tensor networks, and random tensor networks.
- The same tessellation method works for more symmetric geometries beyond pure AdS by invoking the Crofton formula.
- Minimal-cut counting supplies a parameter-free geometric interpretation of entanglement entropy.
Where Pith is reading between the lines
- Exact area matching may let these models capture additional quantum-gravity features that approximate networks miss.
- Numerical checks on small finite networks could directly verify the cut-area equality in explicit examples.
- Similar tessellation techniques might extend the construction to time-dependent or less symmetric bulk geometries.
Load-bearing premise
The PEE-thread network forms a perfect tessellation whose link crossings can be counted directly as entanglement cuts whose total equals geometric area with no scaling or adjustment needed.
What would settle it
For a chosen boundary region in one of the constructed networks, count the minimal number of crossed links and compare it to the independently computed area of the corresponding bulk surface; any mismatch would show the equality fails.
read the original abstract
Holographic tensor networks serve as toy models for the Anti-de Sitter/Conformal Field Theory (AdS/CFT) correspondence, capturing many of its essential features in a concrete manner. However, existing holographic tensor network models remain far from a complete theory of quantum gravity. A key obstacle is their discrete structure, which only approximates the semi-classical geometry of gravity in a qualitative sense. In \cite{Lin:2024dho}, it was shown that a network of partial-entanglement-entropy (PEE) threads, which are bulk geodesics with a specific density distribution, generates a perfect tessellation of AdS space. Moreover, such PEE-network tessellations can be constructed for more highly symmetric geometries using the Crofton formula. In this paper, we assign a quantum state to each vertex in the PEE network and develop several holographic tensor network models: (1) the factorized PEE tensor network, which takes the form of a tensor product of EPR pairs; (2) the HaPPY-like PEE tensor network constructed from perfect tensors; and (3) the random PEE tensor network. In all these models, we reproduce the exact Ryu-Takayanagi formula by showing that the minimal number of cuts along a homologous surface in the network exactly equals the area of that surface.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs three holographic tensor network models on PEE-thread tessellations of AdS space (factorized EPR-pair networks, HaPPY-like perfect-tensor networks, and random-tensor networks). It claims that each model exactly reproduces the Ryu-Takayanagi formula because the minimal number of cuts across any homologous surface equals the geometric area of that surface.
Significance. If the cut-count equality is shown to hold rigorously and independently, the work would strengthen holographic tensor networks by converting a qualitative approximation into an exact discrete realization of the RT formula. The systematic use of the prior PEE-tessellation geometry to host the tensor assignments is a clear organizational strength.
major comments (2)
- Abstract: the central claim that 'the minimal number of cuts along a homologous surface in the network exactly equals the area of that surface' is asserted without any derivation, normalization argument, or explicit check that the discrete integer cut count matches the continuous area (rather than a proportional quantity) for a non-trivial surface.
- The reproduction of the RT formula is imported wholesale from the PEE-tessellation result of Lin:2024dho (via the Crofton formula) and then applied to the three tensor assignments; no independent verification is supplied that the link densities produce an exact numerical identity once the tensor states are placed at the vertices.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below, clarifying the structure of our arguments while indicating where revisions will strengthen the presentation.
read point-by-point responses
-
Referee: Abstract: the central claim that 'the minimal number of cuts along a homologous surface in the network exactly equals the area of that surface' is asserted without any derivation, normalization argument, or explicit check that the discrete integer cut count matches the continuous area (rather than a proportional quantity) for a non-trivial surface.
Authors: The abstract condenses the central result. The derivation appears in the main text: the PEE-thread tessellation of Lin:2024dho, obtained via the Crofton formula, ensures that the minimal number of threads crossed by any homologous surface equals its geometric area. Our networks are built directly on these threads as links, so the integer cut count equals the area in units where the proportionality factor is fixed to unity by the tessellation density. We will revise the manuscript to add an explicit normalization paragraph and a concrete check (e.g., for a hemispherical boundary region) in Section 3 or an appendix. revision: yes
-
Referee: The reproduction of the RT formula is imported wholesale from the PEE-tessellation result of Lin:2024dho (via the Crofton formula) and then applied to the three tensor assignments; no independent verification is supplied that the link densities produce an exact numerical identity once the tensor states are placed at the vertices.
Authors: The geometric equality between minimal cut count and area is a property of the PEE tessellation alone and is independent of the states assigned to vertices. The three tensor assignments (factorized EPR, perfect tensors, random tensors) are selected precisely so that the entanglement entropy equals the min-cut value, which then coincides with the area. Link densities are fixed by the geometry before any tensor placement occurs. We nevertheless agree that an explicit verification step would improve clarity; we will insert a short subsection confirming the numerical identity for one model on a non-trivial surface. revision: partial
Circularity Check
RT reproduction inherits cut-count=area equality from cited PEE-tessellation without independent derivation
specific steps
-
self citation load bearing
[Abstract]
"In all these models, we reproduce the exact Ryu-Takayanagi formula by showing that the minimal number of cuts along a homologous surface in the network exactly equals the area of that surface."
The equality between minimal cut count and geometric area is not derived from the tensor-network construction or any new calculation in this paper. It is taken directly from the PEE-thread tessellation result of the cited work Lin:2024dho, which sets thread densities via the Crofton formula so that discrete cuts reproduce continuous areas by construction. The present work only populates the vertices with quantum states and invokes the pre-established cut-counting rule.
full rationale
The paper's central claim is that the three tensor-network models reproduce the exact RT formula because min cuts along a homologous surface equal the geometric area. This equality is asserted by direct appeal to the perfect tessellation property established in the cited prior work Lin:2024dho (via Crofton formula for thread density), rather than being re-derived from the tensor assignments or network rules introduced here. The new content (assigning EPR pairs, perfect tensors, or random tensors to vertices) does not alter or verify the cut-area relation; it simply inherits the geometric interpretation wholesale. This constitutes a moderate self-citation load-bearing step for the RT claim, but the models themselves add independent structure and the paper does not claim a first-principles derivation of the tessellation. No self-definitional loops, fitted predictions, or ansatz smuggling within the present text are present.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption PEE threads form a perfect tessellation of AdS whose link lengths correspond to entanglement measures
- domain assumption Minimal cut count in the network equals the Ryu-Takayanagi area
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the minimal number of cuts along a homologous surface in the network exactly equals the area of that surface
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
PEE-network tessellations can be constructed for more highly symmetric geometries using the Crofton formula
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]
-
[2]
Anti De Sitter Space And Holography
E. Witten, Anti-de Sitter space and holography , Adv. Theor. Math. Phys. 2 (1998) 253 [hep-th/9802150]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[3]
Gauge Theory Correlators from Non-Critical String Theory
S.S. Gubser, I.R. Klebanov and A.M. Polyakov, Gauge theory correlators from noncritical string theory , Phys. Lett. B 428 (1998) 105 [hep-th/9802109]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[4]
The Large N Limit of Superconformal Field Theories and Supergravity
J.M. Maldacena, The Large N limit of superconformal field theories and supergravity , Adv. Theor. Math. Phys. 2 (1998) 231 [hep-th/9711200]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[5]
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. Grav. 29 (2012) 155009 [1204.1330]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[6]
Holographic representation of local bulk operators
A. Hamilton, D.N. Kabat, G. Lifschytz and D.A. Lowe, Holographic representation of local bulk operators, Phys. Rev. D 74 (2006) 066009 [hep-th/0606141]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[7]
Boundary-to-bulk maps for AdS causal wedges and the Reeh-Schlieder property in holography
I.A. Morrison, Boundary-to-bulk maps for AdS causal wedges and the Reeh-Schlieder property in holography, JHEP 05 (2014) 053 [1403.3426]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[8]
R. Bousso, S. Leichenauer and V. Rosenhaus, Light-sheets and AdS/CFT , Phys. Rev. D 86 (2012) 046009 [1203.6619]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[9]
Null Geodesics, Local CFT Operators and AdS/CFT for Subregions
R. Bousso, B. Freivogel, S. Leichenauer, V. Rosenhaus and C. Zukowski, Null Geodesics, Local CFT Operators and AdS/CFT for Subregions , Phys. Rev. D 88 (2013) 064057 [1209.4641]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[10]
Causal Holographic Information
V.E. Hubeny and M. Rangamani, Causal Holographic Information , JHEP 06 (2012) 114 [1204.1698]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[11]
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. Grav. 31 (2014) 225007 [1211.3494]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[12]
Causality & holographic entanglement entropy
M. Headrick, V.E. Hubeny, A. Lawrence and M. Rangamani, Causality & holographic entanglement entropy , JHEP 12 (2014) 162 [1408.6300]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[13]
Relative entropy equals bulk relative entropy
D.L. Jafferis, A. Lewkowycz, J. Maldacena and S.J. Suh, Relative entropy equals bulk relative entropy, JHEP 06 (2016) 004 [1512.06431]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[14]
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
- [15]
-
[16]
A. Almheiri, X. Dong and D. Harlow, Bulk locality and quantum error correction in AdS/CFT, Journal of High Energy Physics 2015 (2015)
work page 2015
-
[17]
H. Kamal and G. Penington, The Ryu-Takayanagi Formula from Quantum Error Correction: An Algebraic Treatment of the Boundary CFT , 1912.02240
-
[18]
M.J. Kang and D.K. Kolchmeyer, Entanglement wedge reconstruction of infinite-dimensional von Neumann algebras using tensor networks , Phys. Rev. D 103 (2021) 126018 [1910.06328]
-
[19]
C. Akers and G. Penington, Quantum minimal surfaces from quantum error correction , SciPost Phys. 12 (2022) 157 [2109.14618]
- [20]
-
[21]
J. Crann and M.J. Kang, Algebraic approach to spacetime bulk reconstruction , 2412.00298
-
[22]
Entanglement Renormalization and Holography
B. Swingle, Entanglement Renormalization and Holography , Phys. Rev. D 86 (2012) 065007 [0905.1317]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[23]
Constructing holographic spacetimes using entanglement renormalization
B. Swingle, Constructing holographic spacetimes using entanglement renormalization , 1209.3304
work page internal anchor Pith review Pith/arXiv arXiv
-
[24]
Exact holographic mapping and emergent space-time geometry
X.-L. Qi, Exact holographic mapping and emergent space-time geometry , 1309.6282
work page internal anchor Pith review Pith/arXiv arXiv
-
[25]
cMERA as Surface/State Correspondence in AdS/CFT
M. Miyaji, T. Numasawa, N. Shiba, T. Takayanagi and K. Watanabe, Continuous Multiscale Entanglement Renormalization Ansatz as Holographic Surface-State Correspondence , Phys. Rev. Lett. 115 (2015) 171602 [1506.01353]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[26]
Tensor Networks from Kinematic Space
B. Czech, L. Lamprou, S. McCandlish and J. Sully, Tensor Networks from Kinematic Space , JHEP 07 (2016) 100 [1512.01548]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[27]
The Ryu-Takayanagi Formula from Quantum Error Correction
D. Harlow, The Ryu–Takayanagi Formula from Quantum Error Correction , Commun. Math. Phys. 354 (2017) 865 [1607.03901]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[28]
R. Vasseur, A.C. Potter, Y.-Z. You and A.W.W. Ludwig, Entanglement Transitions from Holographic Random Tensor Networks , Phys. Rev. B 100 (2019) 134203 [1807.07082]
- [29]
-
[30]
L.-Y. Hung, W. Li and C.M. Melby-Thompson, p-adic CFT is a holographic tensor network , JHEP 04 (2019) 170 [1902.01411]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[31]
N. Bao, G. Penington, J. Sorce and A.C. Wall, Holographic Tensor Networks in Full AdS/CFT, 1902.10157
work page internal anchor Pith review Pith/arXiv arXiv 1902
-
[32]
Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence
F. Pastawski, B. Yoshida, D. Harlow and J. Preskill, Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence , JHEP 06 (2015) 149 [1503.06237]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[33]
Holographic duality from random tensor networks
P. Hayden, S. Nezami, X.-L. Qi, N. Thomas, M. Walter and Z. Yang, Holographic duality from random tensor networks , JHEP 11 (2016) 009 [1601.01694]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[34]
Z. Yang, P. Hayden and X.-L. Qi, Bidirectional holographic codes and sub-AdS locality , JHEP 01 (2016) 175 [1510.03784]
work page internal anchor Pith review Pith/arXiv arXiv 2016
- [35]
- [36]
-
[37]
J. Chandra and T. Hartman, Toward random tensor networks and holographic codes in CFT , JHEP 05 (2023) 109 [2302.02446]
-
[38]
L. Chen, L.-Y. Hung, Y. Jiang and B.-X. Lao, Deriving the non-perturbative gravitational dual of quantum Liouville theory from BCFT operator algebra , 2403.03179
- [39]
- [40]
-
[41]
Akella, Tripartite entanglement in the HaPPY code is not holographic , 2510.08520
S. Akella, Tripartite entanglement in the HaPPY code is not holographic , 2510.08520. – 16 –
-
[42]
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]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[43]
A Covariant Holographic Entanglement Entropy Proposal
V.E. Hubeny, M. Rangamani and T. Takayanagi, A Covariant holographic entanglement entropy proposal, JHEP 07 (2007) 062 [0705.0016]
work page internal anchor Pith review Pith/arXiv arXiv 2007
- [44]
-
[45]
Generalized gravitational entropy
A. Lewkowycz and J. Maldacena, Generalized gravitational entropy , JHEP 08 (2013) 090 [1304.4926]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[46]
Quantum corrections to holographic entanglement entropy
T. Faulkner, A. Lewkowycz and J. Maldacena, Quantum corrections to holographic entanglement entropy , JHEP 11 (2013) 074 [1307.2892]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[47]
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 , JHEP 01 (2015) 073 [1408.3203]
work page internal anchor Pith review Pith/arXiv arXiv 2015
- [48]
- [49]
-
[50]
Fine structure in holographic entanglement and entanglement contour
Q. Wen, Fine structure in holographic entanglement and entanglement contour , Phys. Rev. D 98 (2018) 106004 [1803.05552]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[51]
Wen, Formulas for Partial Entanglement Entropy , Phys
Q. Wen, Formulas for Partial Entanglement Entropy , Phys. Rev. Res. 2 (2020) 023170 [1910.10978]
-
[52]
Q. Wen, Entanglement contour and modular flow from subset entanglement entropies , JHEP 05 (2020) 018 [1902.06905]
- [53]
- [54]
-
[55]
Holographic entanglement contour, bit threads, and the entanglement tsunami
J. Kudler-Flam, I. MacCormack and S. Ryu, Holographic entanglement contour, bit threads, and the entanglement tsunami , J. Phys. A 52 (2019) 325401 [1902.04654]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[56]
G. Vidal and Y. Chen, Entanglement contour , J. Stat. Mech. 2014 (2014) P10011 [1406.1471]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[57]
Towards the generalized gravitational entropy for spacetimes with non-Lorentz invariant duals
Q. Wen, Towards the generalized gravitational entropy for spacetimes with non-Lorentz invariant duals , JHEP 01 (2019) 220 [1810.11756]
work page internal anchor Pith review Pith/arXiv arXiv 2019
- [58]
-
[59]
Rolph, Local measures of entanglement in black holes and CFTs , SciPost Phys
A. Rolph, Local measures of entanglement in black holes and CFTs , SciPost Phys. 12 (2022) 079 [2107.11385]
- [60]
-
[61]
Y.-Y. Lin, Distilled density matrices of holographic partial entanglement entropy from thread-state correspondence, Phys. Rev. D 108 (2023) 106010 [2305.02895]. – 17 –
-
[62]
Q. Wen, Balanced Partial Entanglement and the Entanglement Wedge Cross Section , JHEP 04 (2021) 301 [2103.00415]
- [63]
- [64]
-
[65]
H.A. Camargo, P. Nandy, Q. Wen and H. Zhong, Balanced partial entanglement and mixed state correlations, SciPost Phys. 12 (2022) 137 [2201.13362]
-
[66]
Integral Geometry and Holography
B. Czech, L. Lamprou, S. McCandlish and J. Sully, Integral Geometry and Holography , JHEP 10 (2015) 175 [1505.05515]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[67]
Bit threads and holographic entanglement
M. Freedman and M. Headrick, Bit threads and holographic entanglement , Commun. Math. Phys. 352 (2017) 407 [1604.00354]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[68]
Riemannian and Lorentzian flow-cut theorems
M. Headrick and V.E. Hubeny, Riemannian and Lorentzian flow-cut theorems , Class. Quant. Grav. 35 (2018) 10 [1710.09516]. – 18 –
work page internal anchor Pith review Pith/arXiv arXiv 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.