pith. sign in

arxiv: 2604.22449 · v1 · submitted 2026-04-24 · 🧮 math.DG

Discrete Einstein metrics on trees

Shuliang Bai , Bobo Hua This is my paper

Pith reviewed 2026-05-08 09:49 UTC · model grok-4.3

classification 🧮 math.DG
keywords discrete Einstein metricstreesLin-Lu-Yau Ricci curvaturePerron-Frobenius theorycaterpillar treesradial monotonicitygraph curvaturediscrete geometry
0
0 comments X

The pith

Discrete Einstein metrics exist and are unique on trees under Lin-Lu-Yau curvature, but positive-curvature cases require caterpillar trees.

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

The paper constructs discrete Einstein metrics on trees by requiring that the Lin-Lu-Yau Ricci curvature equals a constant times the edge weights in a suitable normalization. It proves existence and uniqueness of such metrics by showing that an associated curvature operator admits a unique positive eigenvector via Perron-Frobenius theory. This matters because it equips trees with a discrete geometric structure satisfying an Einstein-type condition and identifies a sharp combinatorial restriction: only caterpillar trees can carry positive-curvature versions. The resulting metrics further satisfy a strict radial monotonicity property in which edge weights decrease with distance from a distinguished maximal edge.

Core claim

Using Perron-Frobenius theory applied to the curvature operator derived from Lin-Lu-Yau Ricci curvature, we establish existence and uniqueness of discrete Einstein metrics on trees. The existence of a positive-curvature Einstein metric forces the tree to be a caterpillar. Any such metric exhibits radial monotonicity, with edge weights decreasing strictly away from the maximal edge.

What carries the argument

The curvature operator built from the Lin-Lu-Yau Ricci curvature on the tree, whose positive eigenvector supplies the edge weights of the Einstein metric.

Load-bearing premise

The curvature operator constructed from the Lin-Lu-Yau Ricci curvature must satisfy positivity or irreducibility conditions so that Perron-Frobenius theory applies and yields a unique positive eigenvector.

What would settle it

A concrete counterexample would be any non-caterpillar tree (for instance a balanced binary tree of height greater than one) that nevertheless admits a positive-curvature discrete Einstein metric, or a caterpillar tree whose curvature operator has no positive eigenvector.

Figures

Figures reproduced from arXiv: 2604.22449 by Bobo Hua, 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. 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

1 major / 1 minor

Summary. The paper establishes existence and uniqueness of discrete Einstein metrics on trees under the Lin-Lu-Yau Ricci curvature by constructing a curvature-derived operator and invoking Perron-Frobenius theory to obtain a positive eigenvector. It further proves that a positive-curvature Einstein metric exists only when the tree is a caterpillar and that all such metrics are radially monotone, with edge weights strictly decreasing away from a maximal edge.

Significance. If the operator is correctly defined and the Perron-Frobenius hypotheses (nonnegativity and irreducibility) are verified, the result gives a clean characterization of trees admitting positive discrete Einstein metrics and supplies an explicit monotonicity property. The application of Perron-Frobenius to a curvature operator is a strength when the technical conditions are fully checked.

major comments (1)
  1. [Operator construction and proof of main theorem] The central step is the construction of the curvature operator (presumably in the section preceding the main theorem) and the verification that it is nonnegative and irreducible precisely when the tree is a caterpillar. The manuscript must supply the explicit matrix entries (or local formulas) indexed by edges/vertices and the argument showing that distant branches produce reducible blocks or zero entries for non-caterpillars; without this the existence/uniqueness claim and the caterpillar implication rest on unverified hypotheses for Perron-Frobenius.
minor comments (1)
  1. [Abstract] The abstract could briefly indicate how the discrete metric is represented (edge weights or vertex potentials) and state the precise Einstein equation being solved.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive recommendation for major revision. We address the major comment below by agreeing to expand the explicit details in the revised manuscript.

read point-by-point responses

  1. Referee: [Operator construction and proof of main theorem] The central step is the construction of the curvature operator (presumably in the section preceding the main theorem) and the verification that it is nonnegative and irreducible precisely when the tree is a caterpillar. The manuscript must supply the explicit matrix entries (or local formulas) indexed by edges/vertices and the argument showing that distant branches produce reducible blocks or zero entries for non-caterpillars; without this the existence/uniqueness claim and the caterpillar implication rest on unverified hypotheses for Perron-Frobenius.

    Authors: We agree that a fully explicit presentation of the curvature operator is necessary to rigorously justify the Perron-Frobenius application. In the revised manuscript we will add a dedicated subsection that defines the operator explicitly: its rows and columns are indexed by the edges of the tree, and the (e,f)-entry is given by the local formula derived from the Lin-Lu-Yau Ricci curvature expression evaluated at the common vertex of e and f (specifically, a positive multiple of the curvature term when e and f share a vertex and zero otherwise). Nonnegativity follows immediately from the nonnegativity of the curvature terms for positive edge weights. Irreducibility holds if and only if the tree is a caterpillar, because the directed graph associated with the operator is strongly connected precisely when every edge lies on a unique path between the two leaves of the diameter; for non-caterpillar trees, branches off the main path produce zero blocks that disconnect the graph into reducible components. We will include a short combinatorial argument and a small illustrative example for a non-caterpillar tree to make this transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; external Perron-Frobenius theorem applied to independently constructed operator

full rationale

The derivation constructs an operator from the given Lin-Lu-Yau Ricci curvature on the tree graph and invokes the classical Perron-Frobenius theorem for existence and uniqueness of a positive eigenvector that defines the discrete Einstein metric. The additional result that positive-curvature solutions force the tree to be a caterpillar follows from analyzing when the operator satisfies the nonnegativity and irreducibility hypotheses of the theorem. No equations or steps in the provided abstract reduce the target metric to a tautological input, a fitted parameter renamed as prediction, or a self-citation chain; the operator definition and PF application remain independent of the final metric values.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the Lin-Lu-Yau curvature being a well-defined discrete Ricci curvature on trees and on the curvature operator satisfying the hypotheses of Perron-Frobenius theory; both are domain assumptions imported from prior literature rather than derived inside the paper.

axioms (2)
  • domain assumption Lin-Lu-Yau Ricci curvature is a valid discrete curvature on graphs and trees
    The entire construction begins from this curvature notion; the abstract treats it as given.
  • domain assumption The operator encoding the Einstein condition on a tree is positive or irreducible
    Perron-Frobenius is invoked, so this spectral property must hold for the chosen curvature and tree class.

pith-pipeline@v0.9.0 · 5331 in / 1644 out tokens · 41511 ms · 2026-05-08T09:49:16.611794+00:00 · methodology

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 · 1 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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    2011

  20. [20]

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

    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

    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

    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

    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

    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

    2002

  26. [26]

    Ricci flow with surgery on three-manifolds, 2003

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

    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

    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

    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

    1978