pith. sign in

arxiv: 2604.22449 · v2 · pith:YMVBYGV2new · submitted 2026-04-24 · 🧮 math.DG

Discrete Einstein metrics on trees

Shuliang Bai , Haoxuan Cheng , Bobo Hua This is my paper

Pith reviewed 2026-05-25 07:00 UTC · model grok-4.3

classification 🧮 math.DG
keywords discrete Einstein metricsLin-Lu-Yau Ricci curvaturetreesPerron-Frobenius theorycaterpillar treesradial monotonicitygraph curvatureeigenvalue bound
0
0 comments X

The pith

Discrete Einstein metrics exist and are unique on any tree under Lin-Lu-Yau Ricci curvature.

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

The paper proves that for any tree there is exactly one assignment of positive edge weights making the discrete curvature satisfy the Einstein equation at every vertex. The proof constructs a matrix from the curvature operator and applies the Perron-Frobenius theorem to extract a positive eigenvector that supplies the weights. A reader cares because the result supplies an explicit balanced geometry on branching networks and shows that positive-curvature versions are possible only when the tree is a caterpillar. It also gives a sharp bound on the largest eigenvalue of the curvature matrix in terms of maximum degree and proves that the weights decrease radially from the heaviest edge.

Core claim

We establish the existence and uniqueness of discrete Einstein metrics on trees under Lin-Lu-Yau Ricci curvature using Perron-Frobenius theory. We establish a sharp upper bound for the largest eigenvalue of the associated Ricci matrix in terms of the maximum degree. The existence of a positive-curvature Einstein metric implies the tree must be a caterpillar. These metrics exhibit radial monotonicity, with edge weights decreasing strictly away from the maximal edge.

What carries the argument

The Ricci matrix built from the discrete metric on the tree, whose positive eigenvector supplied by the Perron-Frobenius theorem defines the Einstein metric.

If this is right

  • A sharp upper bound holds for the largest eigenvalue of the Ricci matrix expressed in terms of the tree's maximum degree.
  • Any positive-curvature discrete Einstein metric forces the underlying tree to be a caterpillar.
  • The edge weights of any such metric decrease strictly with graph distance from the maximal-weight edge.
  • Existence and uniqueness together imply that every tree carries exactly one discrete Einstein metric of this type.

Where Pith is reading between the lines

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

  • The same Perron-Frobenius construction may apply to other classes of graphs whose curvature matrices remain nonnegative and irreducible.
  • Radial monotonicity suggests these metrics are stable under small local changes to edge lengths or to the tree shape near the center.
  • The caterpillar restriction limits which branching networks can support uniformly positive discrete curvature.

Load-bearing premise

The Ricci matrix constructed from the discrete metric on the tree is nonnegative and irreducible.

What would settle it

A tree that is not a caterpillar yet admits a positive-curvature discrete Einstein metric, or a tree on which the associated Ricci matrix fails to have a unique positive eigenvector.

Figures

Figures reproduced from arXiv: 2604.22449 by Bobo Hua, Haoxuan Cheng, Shuliang Bai.

Figure 1
Figure 1. Figure 1: The topology of a caterpillar tree. Theorem 1.3. If a tree T admits a discrete Einstein metric with positive curvature, then T is a caterpillar tree. Remark 2. The converse is not true: there exist caterpillar trees with negative￾curvature Einstein metrics; see Examples 2, 4, and 5. Moreover, we prove the strict monotonicity of the Einstein metric, the Perron vector, in the positive-curvature case, which i… view at source ↗
Figure 2
Figure 2. Figure 2: The Einstein metric on a caterpillar tree with κ ≈ 0.0168. Remark 3. It is a well-established consequence of Perron–Frobenius theory for acyclic matrices that the Perron vector of a tree’s adjacency matrix attains a unique maximum and decreases strictly along any simple path emanating from that maximum [13]. We further analyze the local behavior of the Perron vector. Corollary 4 shows that at any vertex, i… view at source ↗
Figure 3
Figure 3. Figure 3: An example of a caterpillar tree. In particular, every path graph Pn (n ≥ 1) is a caterpillar, where the spine is the entire path; every star is a caterpillar where the spine is a path of length zero. 2.1. Origin of the Ricci matrix: The entries of the matrix R are derived from the Ricci flow based on the type of Ollivier’s Ricci curvature on edges of trees. Definition 4 (α-Ricci Curvature). [19] Given loc… view at source ↗
Figure 4
Figure 4. Figure 4: An illustration of Td,L with d = 3, L = 4. We have more refined estimates for the balls in a regular tree view at source ↗
Figure 5
Figure 5. Figure 5: The tree S 2 3 : a central vertex c connected to three paths of length 2. The following proposition shows that S 2 3 is a threshold configuration: once branching occurs at a central vertex, the Perron eigenvalue cannot remain negative under further attachments. Proposition 4 (Attaching trees to the center of S 2 3 ). Let T be a tree obtained from S 2 3 by attaching an arbitrary tree H (with at least one ed… view at source ↗
Figure 6
Figure 6. Figure 6: Construction of T from S 2 3 view at source ↗
Figure 7
Figure 7. Figure 7: The smallest non-isomorphic trees with n = 17 vertices that are cospectral under RT . 6.2. The sign of λmax(RT ). Example 2 (Double-star trees). Let Dm,n be the tree consisting of a single edge {u, v}, where du = m + 1, dv = n + 1, and u (resp. v) is adjacent to m (resp. n) leaves. u v By symmetry, all leaf edges at u (resp. v) have the same weight. Let the central edge have weight z, and leaf-edge weights… view at source ↗
Figure 8
Figure 8. Figure 8: The tree D (k) 3,3 : the central edge of D3,3 is subdivided into a path of length k. Proof. We construct a nontrivial vector w on E(D (k) 3,3 ) satisfying Rw = 0. By symmetry, all leaf edges at u and v have the same weight. Let the leaf edges have weight a, and let the internal edges adjacent to leaves have weight b. For a leaf edge ℓ at u (where du = 4), the eigenvalue equation with λ = 0 gives (3a + b) −… view at source ↗
Figure 9
Figure 9. Figure 9: The tree D29 4,4 with raw edge weights. Dashed lines indicate the omitted path edges. Leaf edges have weight 0.099, strictly lighter than adjacent internal edges (0.302), consistent with Corollary 4(2). The global minimum 0.091 (blue) lies on a central internal edge, showing that for λ > 0 the minimum need not occur at a leaf. Example 6 (m = n = 4, k = 29). Consider D29 4,4 , which consists of two 5-stars … view at source ↗
read the original abstract

We establish the existence and uniqueness of discrete Einstein metrics on trees under Lin-Lu-Yau Ricci curvature using Perron-Frobenius theory. We establish a sharp upper bound for the largest eigenvalue of the associated Ricci matrix in terms of the maximum degree. Turning to structural properties, notably, the existence of a positive-curvature Einstein metric implies the tree must be a caterpillar. Furthermore, these metrics exhibit radial monotonicity, with edge weights decreasing strictly away from the maximal edge.

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

2 major / 1 minor

Summary. The manuscript establishes the existence and uniqueness of discrete Einstein metrics on trees under Lin-Lu-Yau Ricci curvature by applying Perron-Frobenius theory to an associated Ricci matrix. It also derives a sharp upper bound on the largest eigenvalue of this matrix in terms of the maximum degree, shows that the existence of a positive-curvature Einstein metric forces the tree to be a caterpillar, and proves that the metrics are radially monotone (edge weights decrease strictly away from a maximal edge).

Significance. If the central existence argument is complete, the result would contribute to discrete geometry by providing an explicit construction and structural classification of Einstein metrics on trees. The eigenvalue bound and caterpillar/monotonicity properties are concrete and potentially useful for further work on discrete curvature. The approach leverages a standard tool (Perron-Frobenius) but requires the Ricci matrix to satisfy the necessary hypotheses independently of the unknown metric.

major comments (2)
  1. [Abstract] Abstract: the existence claim rests on applying Perron-Frobenius to the Ricci matrix to obtain a positive eigenvector declared to be the Einstein metric. However, the Lin-Lu-Yau Ricci curvature (and thus the matrix entries) is defined in terms of the edge weights that constitute the metric itself, so the matrix is not fixed a priori. No explicit fixed-point map, contraction, or topological argument is indicated that would close the loop and guarantee a solution to the resulting nonlinear equation.
  2. [Abstract] Abstract (weakest assumption): nonnegativity and irreducibility of the Ricci matrix are invoked to apply Perron-Frobenius, but these properties must be verified for the unknown metric; without an independent proof that they hold at a fixed point, the argument risks assuming what is to be proved.
minor comments (1)
  1. The abstract states results on eigenvalue bounds, caterpillar structure, and radial monotonicity but does not list the precise statements of the main theorems; moving these to the introduction would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for greater rigor in presenting the existence argument. We address the two major comments below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the existence claim rests on applying Perron-Frobenius to the Ricci matrix to obtain a positive eigenvector declared to be the Einstein metric. However, the Lin-Lu-Yau Ricci curvature (and thus the matrix entries) is defined in terms of the edge weights that constitute the metric itself, so the matrix is not fixed a priori. No explicit fixed-point map, contraction, or topological argument is indicated that would close the loop and guarantee a solution to the resulting nonlinear equation.

    Authors: We agree that the dependence of the Ricci matrix on the unknown metric means the argument as presented requires an explicit closure. The manuscript invokes Perron-Frobenius after assuming the matrix properties but does not supply a fixed-point construction. In the revision we will add a new subsection that defines a continuous map from the compact convex simplex of normalized positive weight vectors to the normalized positive eigenvector of the associated Ricci matrix and invokes Brouwer's fixed-point theorem to guarantee a fixed point. This supplies the missing topological step without altering the overall strategy. revision: yes

  2. Referee: [Abstract] Abstract (weakest assumption): nonnegativity and irreducibility of the Ricci matrix are invoked to apply Perron-Frobenius, but these properties must be verified for the unknown metric; without an independent proof that they hold at a fixed point, the argument risks assuming what is to be proved.

    Authors: The referee correctly notes the risk of circularity. We will insert a short lemma proving that, for any tree and any choice of positive edge weights, the Lin-Lu-Yau Ricci matrix is nonnegative and irreducible. The proof relies only on the combinatorial structure of the tree and the explicit formula for the curvature (which involves only neighboring edges and remains strictly positive), so the hypotheses of Perron-Frobenius hold uniformly and apply at the fixed point. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies established Perron-Frobenius theorem to a matrix constructed from the metric.

full rationale

The abstract states that existence and uniqueness are established using Perron-Frobenius theory on the associated Ricci matrix, with additional results on eigenvalue bounds and structural properties such as caterpillar trees and radial monotonicity. No equations or steps are provided that reduce a claimed prediction or eigenvector directly to a fitted parameter or self-defined quantity by construction. The approach relies on the external, established Perron-Frobenius theorem rather than any self-citation load-bearing premise, ansatz smuggled via citation, or renaming of known results. The matrix depends on the metric by definition of discrete curvature, but the paper's use of the theorem to obtain the eigenvector is presented as a direct application without evidence of an implicit fixed-point reduction that collapses to the input. This is the most common honest finding for papers that invoke standard linear-algebraic tools on well-defined objects.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on abstract only; the central claims rest on the applicability of Perron-Frobenius theory to the Ricci matrix and standard definitions of Lin-Lu-Yau curvature on graphs.

axioms (1)
  • domain assumption The Ricci matrix associated to any discrete metric on a tree is nonnegative and irreducible.
    Invoked to apply Perron-Frobenius for existence and uniqueness.

pith-pipeline@v0.9.0 · 5594 in / 1147 out tokens · 47061 ms · 2026-05-25T07:00:41.299536+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Classification of Positive-Curvature Discrete Einstein Metrics on Trees

    math.DG 2026-05 accept novelty 6.0

    Classification of finite trees with positive-curvature discrete Einstein metrics via λ_max(R_T)<0, giving explicit endpoint families for long-spine caterpillars and exhaustive algebraic verification for short spines.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · cited by 1 Pith paper

  1. [1]

    On the ricci flow on trees.arXiv:2509.22140, 2025

    Shuliang Bai, Bobo Hua, Yong Lin, and Shuang Liu. On the ricci flow on trees.arXiv:2509.22140, 2025

    work page arXiv 2025

  2. [2]

    On the sum of ricci-curvatures for weighted graphs.Pure and Applied Mathematics Quarterly, 17(5):1599–1617, 2021

    Shuliang Bai, An Huang, Linyuan Lu, and Shing-Tung Yau. On the sum of ricci-curvatures for weighted graphs.Pure and Applied Mathematics Quarterly, 17(5):1599–1617, 2021

    work page 2021

  3. [3]

    Ollivier ricci-flow on weighted graphs.American Journal of Mathematics, 146(4), 2024

    Shuliang Bai, Yong Lin, Linyuan Lu, Zhiyu Wang, and Shing-Tung Yau. Ollivier ricci-flow on weighted graphs.American Journal of Mathematics, 146(4), 2024

    work page 2024

  4. [4]

    Ricci-flat graphs with maximum degree at most 4.Asian J

    Shuliang Bai, Linyuan Lu, and Shing-Tung Yau. Ricci-flat graphs with maximum degree at most 4.Asian J. Math., 25(6):757–813, 2021

    work page 2021

  5. [5]

    Ollivier-ricci curvature and the spectrum of the normalized graph laplace operator.Math

    Frank Bauer, J¨ urgen Jost, and Shiping Liu. Ollivier-ricci curvature and the spectrum of the normalized graph laplace operator.Math. Res. Lett., 19:1185–1205, 2012

    work page 2012

  6. [6]

    Plemmons.Nonnegative matrices in the mathematical sciences

    Abraham Berman and Robert J. Plemmons.Nonnegative matrices in the mathematical sciences. Computer Science and Applied Mathematics. Academic Press [Harcourt Brace Jovanovich, Pub- lishers], New York-London, 1979

    work page 1979

  7. [7]

    Besse.Einstein Manifolds, volume 10 ofErgebnisse der Mathematik und ihrer Gren- zgebiete

    Arthur L. Besse.Einstein Manifolds, volume 10 ofErgebnisse der Mathematik und ihrer Gren- zgebiete. Springer-Verlag, Berlin, Heidelberg, 1987

    work page 1987

  8. [8]

    D. P. Bourne, D. Cushing, S. Liu, F. M¨ unch, and N. Peyerimhoff. Ollivier-Ricci idleness functions of graphs.SIAM J. Discrete Math., 32(2):1408–1424, 2018

    work page 2018

  9. [9]

    Manifolds with 1/4-pinched curvature are space forms.Jour- nal of the American Mathematical Society, 22(1):287–307, 2009

    Simon Brendle and Richard Schoen. Manifolds with 1/4-pinched curvature are space forms.Jour- nal of the American Mathematical Society, 22(1):287–307, 2009

    work page 2009

  10. [10]

    Part I, volume 135 ofMathematical Surveys and Monographs

    Bennett Chow, Sun-Chin Chu, David Glickenstein, Christine Guenther, James Isenberg, Tom Ivey, Dan Knopf, Peng Lu, Feng Luo, and Lei Ni.The Ricci flow: techniques and applications. Part I, volume 135 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2007. Geometric aspects

    work page 2007

  11. [11]

    Cushing, S

    D. Cushing, S. Kamtue, J. Koolen, S. Liu, F. M¨ unch, and N. Peyerimhoff. Rigidity of the Bonnet- Myers inequality for graphs with respect to Ollivier Ricci curvature.Adv. Math., 369:107188, 53, 2020

    work page 2020

  12. [12]

    Ricci-flat cubic graphs with girth five.Comm

    David Cushing, Riikka Kangaslampi, Yong Lin, Shiping Liu, Linyuan Lu, and Shing-Tung Yau. Ricci-flat cubic graphs with girth five.Comm. Anal. Geom., 29(7):1559–1570, 2021

    work page 2021

  13. [13]

    Eigenvectors of acyclic matrices.Czechoslovak Mathematical Journal, 25(4):607– 618, 1975

    Miroslav Fiedler. Eigenvectors of acyclic matrices.Czechoslovak Mathematical Journal, 25(4):607– 618, 1975

    work page 1975

  14. [14]

    Three-manifolds with positive ricci curvature.Journal of Differential Geom- etry, 17:255–362, 06 1982

    Richard Hamilton. Three-manifolds with positive ricci curvature.Journal of Differential Geom- etry, 17:255–362, 06 1982

    work page 1982

  15. [15]

    Ricci-flat graphs with girth four.Acta Math

    Wei Hua He, Jun Luo, Chao Yang, Wei Yuan, and Hui Chun Zhang. Ricci-flat graphs with girth four.Acta Math. Sin. (Engl. Ser.), 37(11):1679–1691, 2021

    work page 2021

  16. [16]

    Every salami has two ends.J

    Bobo Hua and Florentin M¨ unch. Every salami has two ends.J. Reine Angew. Math., 821:291–321, 2025

    work page 2025

  17. [17]

    Ollivier’s Ricci curvature, local clustering and curvature-dimension inequalities on graphs.Discrete Comput

    J¨ urgen Jost and Shiping Liu. Ollivier’s Ricci curvature, local clustering and curvature-dimension inequalities on graphs.Discrete Comput. Geom., 51(2):300–322, 2014

    work page 2014

  18. [18]

    The ricci flow on trees: Linear convergence, curvature bounds, and spectral appli- cations

    Shengdao Ke. The ricci flow on trees: Linear convergence, curvature bounds, and spectral appli- cations. 2026. 28 SHULIANG BAI AND BOBO HUA

    work page 2026

  19. [19]

    Ricci curvature of graphs.Tohoku Mathematical Journal, 63, 12 2011

    Yong Lin, Linyuan Lu, and Shing-Tung Yau. Ricci curvature of graphs.Tohoku Mathematical Journal, 63, 12 2011

    work page 2011

  20. [20]

    H. Minc. Nonnegative matrices.Wiley, New York, 1988

    work page 1988

  21. [21]

    Non-negative Ollivier curvature on graphs, reverse Poincar´ e inequality, Buser inequality, Liouville property, Harnack inequality and eigenvalue estimates.J

    Florentin M¨ unch. Non-negative Ollivier curvature on graphs, reverse Poincar´ e inequality, Buser inequality, Liouville property, Harnack inequality and eigenvalue estimates.J. Math. Pures Appl. (9), 170:231–257, 2023

    work page 2023

  22. [22]

    Wojciechowski

    Florentin M¨ unch and Radoslaw K. Wojciechowski. Ollivier ricci curvature for general graph lapla- cians: Heat equation, laplacian comparison, non-explosion and diameter bounds.Advances in Mathematics, 356, 11 2019

    work page 2019

  23. [23]

    Ricci curvature of markov chains on metric spaces.Journal of Functional Analysis, 256:810–864, 02 2009

    Yann Ollivier. Ricci curvature of markov chains on metric spaces.Journal of Functional Analysis, 256:810–864, 02 2009

    work page 2009

  24. [24]

    Volume and diameter of a graph and Ollivier’s Ricci curvature.European J

    Seong-Hun Paeng. Volume and diameter of a graph and Ollivier’s Ricci curvature.European J. Combin., 33(8):1808–1819, 2012

    work page 2012

  25. [25]

    The entropy formula for the ricci flow and its geometric applications, 2002

    Grigori Perelman. The entropy formula for the ricci flow and its geometric applications, 2002

    work page 2002

  26. [26]

    Ricci flow with surgery on three-manifolds, 2003

    Grigori Perelman. Ricci flow with surgery on three-manifolds, 2003

    work page 2003

  27. [27]

    Ollivier curvature of random geometric graphs converges to Ricci curvature of their Riemannian manifolds.Discrete Comput

    Pim van der Hoorn, Gabor Lippner, Carlo Trugenberger, and Dmitri Krioukov. Ollivier curvature of random geometric graphs converges to Ricci curvature of their Riemannian manifolds.Discrete Comput. Geom., 70(3):671–712, 2023

    work page 2023

  28. [28]

    Relation between combinatorial Ricci curvature and Lin-Lu-Yau’s Ricci curvature on cell complexes.Tokyo J

    Kazuyoshi Watanabe and Taiki Yamada. Relation between combinatorial Ricci curvature and Lin-Lu-Yau’s Ricci curvature on cell complexes.Tokyo J. Math., 43(1):25–45, 2020

    work page 2020

  29. [29]

    On the ricci curvature of a compact k¨ ahler manifold and the complex monge- amp` ere equation, i.Communications on Pure and Applied Mathematics, 31(3):339–411, 1978

    Shing-Tung Yau. On the ricci curvature of a compact k¨ ahler manifold and the complex monge- amp` ere equation, i.Communications on Pure and Applied Mathematics, 31(3):339–411, 1978

    work page 1978