pith. sign in

arxiv: 2605.23379 · v1 · pith:ELIWU5HRnew · submitted 2026-05-22 · 🧮 math.DG · math.SP

Spectral Monotonicity under Leaf Attachment and Limiting Behavior in Discrete Einstein Trees

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

Pith reviewed 2026-05-25 03:13 UTC · model grok-4.3

classification 🧮 math.DG math.SP
keywords discrete Ricci curvatureEinstein metric on graphstree spectraleaf attachmentasymptotic expansionspectral monotonicityRicci matrix
0
0 comments X

The pith

Repeated leaf attachment at one vertex drives the largest Ricci eigenvalue of a tree to a limit fixed by local branch data alone, with explicit 1/(d+k) approach rate.

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

The paper studies sequences of finite trees formed by adding more and more pendant edges to a single fixed vertex. It proves that the largest eigenvalue of the associated Ricci matrix converges to a value determined solely by the local branching structure at that vertex. A first-order asymptotic expansion is derived, showing the difference from the limit decays like α divided by (original degree plus number of added leaves). When the coefficient α is nonzero this forces the sequence to become strictly monotonic for large enough k. The result isolates the precise spectral effect of purely local graph modifications on a quantity that encodes discrete Einstein curvature.

Core claim

For the sequence of trees T_k obtained by attaching k pendant edges to a vertex v of degree d in an initial tree T, the largest eigenvalues λ_k = λ_max(R_{T_k}) converge to a limit λ_∞ that depends only on the local branch data around v. The expansion λ_k = λ_∞ + α/(d + k) + O(1/(d + k)^2) holds, with α obtained from a spectral projection onto the eigenspace of the limiting operator; consequently, whenever α ≠ 0 the sequence λ_k is eventually strictly monotonic.

What carries the argument

The Ricci matrix R_T of a finite tree T (whose largest eigenvalue controls the sign of discrete Einstein metric curvature), together with the one-parameter family of trees generated by successive leaf attachment at a fixed vertex.

If this is right

  • The limit λ_∞ is completely determined by local branch data and independent of the rest of the tree.
  • The first-order correction term is explicitly given by a spectral projection formula.
  • Non-vanishing of the projection coefficient α forces eventual strict increase or decrease of λ_k.
  • Local leaf addition exerts a quantifiable fine-scale control on the global spectrum of R_T.

Where Pith is reading between the lines

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

  • The explicit rate may permit stable numerical approximation of curvature quantities on large trees without repeated full diagonalizations.
  • Similar asymptotic analysis could apply to other local operations such as subdivision of a single edge.
  • The monotonicity result supplies a tool for deciding when discrete Einstein metrics remain positive or negative under iterated local growth.

Load-bearing premise

The Ricci matrix is well-defined and symmetric on every finite tree, and its largest eigenvalue governs the sign of the discrete Einstein curvature.

What would settle it

For any concrete small tree, compute the numerical sequence of λ_max(R_{T_k}) for k up to several hundred and test whether the observed differences from the independently computed λ_∞ match the predicted α/(d+k) term within the stated error bound.

Figures

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

Figure 1
Figure 1. Figure 1: The tree Tk: original branches C1, . . . , Cd attached to v from above, with k new pendant edges g1, . . . , gk attached below v. 4 Limit of Repeated Leaf Addition at a Fixed Vertex Fix a tree T and a vertex v on it. Let d = dT (v). For each k ≥ 0, let Tk be the tree obtained by attaching k additional pendant edges to v, and define λk := λmax(RTk ). Let the neighbors of v in the original tree be u1, . . . … view at source ↗
Figure 2
Figure 2. Figure 2: A schematic illustration of repeated pendant-edge attachment at the fixed [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗
read the original abstract

Let $R_T$ be the Ricci matrix of a finite tree $T$ introduced in \cite{BaiChengHua2026}, the largest eigenvalue $\lambda_{\max}(R_T)$ determines the sign of a discrete Einstein metric curvature on the tree. This paper investigates the asymptotic behavior of the sequence $\lambda_k = \lambda_{\max}(R_{T_k})$ obtained by repeatedly adding pendant edges at a fixed vertex. We prove that $\lambda_k$ converges to a limit $\lambda_\infty$ that depends only on the local branch data of $T$, and establish a first-order asymptotic expansion: \[ \lambda_k = \lambda_\infty + \frac{\alpha}{d+k} + O\!\left(\frac{1}{(d+k)^2}\right), \] where $d$ is the degree of the original vertex, and the coefficient $\alpha$ is given by a spectral projection. As a corollary, when $\alpha \neq 0$, $\lambda_k$ is eventually strictly monotonic (increasing or decreasing). This theory reveals the fine influence of local leaf addition on the global spectrum.

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 / 2 minor

Summary. The paper studies the sequence λ_k = λ_max(R_{T_k}) where T_k is obtained from an initial tree T by repeatedly attaching pendant edges at a fixed vertex of degree d. It claims to prove that λ_k converges to a limit λ_∞ depending only on the local branch data of T, together with the first-order asymptotic expansion λ_k = λ_∞ + α/(d+k) + O(1/(d+k)^2) in which the coefficient α arises from a spectral projection onto the eigenspace of the limiting operator; as a corollary, λ_k is eventually strictly monotonic whenever α ≠ 0. The entire development rests on the Ricci matrix R_T introduced in the authors' prior work.

Significance. If the stated convergence, expansion, and monotonicity results hold, the work supplies a precise description of the effect of local leaf attachment on the global spectrum of the discrete Einstein curvature operator, which may be useful for analyzing limiting regimes in discrete geometric settings on trees. The explicit spectral-projection formula for the leading correction term α constitutes a concrete technical contribution.

major comments (2)
  1. [Introduction and §2] Introduction and §2: The symmetry of R_T for every finite tree and the interpretation of λ_max(R_T) as governing the sign of the discrete Einstein metric curvature are imported verbatim from [BaiChengHua2026] without re-derivation or explicit verification that these properties persist under the pendant-attachment construction that produces the sequence T_k. Because the convergence statement, the spectral-projection formula for α, and the eventual-monotonicity corollary all rely on these properties, the omission is load-bearing.
  2. [§3] §3 (proof of convergence and expansion): The abstract asserts that proofs exist for convergence of λ_k to λ_∞, for the expansion with remainder O(1/(d+k)^2), and for the corollary, yet no derivation steps, error estimates, or argument establishing that the projection coefficient α is independent of any auxiliary fitting process are supplied in the text. Without these details the central claims cannot be assessed.
minor comments (2)
  1. [Abstract] The notation d for the initial degree and the indexing of the sequence T_k should be introduced once in a dedicated notation paragraph rather than appearing first in the abstract.
  2. [Introduction] The phrase “local branch data of T” is used repeatedly but never given a precise definition; a short paragraph or displayed equation clarifying what data are retained in the limit would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address each major comment below and will revise the manuscript to incorporate the requested clarifications and derivations.

read point-by-point responses

  1. Referee: [Introduction and §2] Introduction and §2: The symmetry of R_T for every finite tree and the interpretation of λ_max(R_T) as governing the sign of the discrete Einstein metric curvature are imported verbatim from [BaiChengHua2026] without re-derivation or explicit verification that these properties persist under the pendant-attachment construction that produces the sequence T_k. Because the convergence statement, the spectral-projection formula for α, and the eventual-monotonicity corollary all rely on these properties, the omission is load-bearing.

    Authors: The symmetry of R_T and the curvature-sign interpretation of λ_max are established in the cited prior work. Under repeated pendant attachment at a fixed vertex, these properties are preserved because the Ricci matrix is defined via local combinatorial data and the attachment of a new leaf adds symmetric off-diagonal entries without disrupting the overall symmetry or the global curvature sign. Nevertheless, to address the load-bearing concern, we will insert a short verification subsection in §2 that explicitly confirms persistence of symmetry and the curvature interpretation for the sequence T_k. This addition strengthens self-containment while leaving the main theorems unchanged. revision: yes

  2. Referee: [§3] §3 (proof of convergence and expansion): The abstract asserts that proofs exist for convergence of λ_k to λ_∞, for the expansion with remainder O(1/(d+k)^2), and for the corollary, yet no derivation steps, error estimates, or argument establishing that the projection coefficient α is independent of any auxiliary fitting process are supplied in the text. Without these details the central claims cannot be assessed.

    Authors: The referee correctly notes that §3 currently states the convergence, expansion, and monotonicity results without supplying the intermediate derivation steps, error estimates, or the argument that the spectral-projection coefficient α is independent of auxiliary fitting. This omission prevents full assessment. In the revised manuscript we will expand §3 to include: (i) the perturbation analysis of R_{T_k} showing convergence to the local-data operator whose largest eigenvalue is λ_∞; (ii) the explicit spectral-projection formula for α together with a proof that it is canonically defined and independent of any fitting procedure; (iii) the O(1/(d+k)^2) remainder estimate obtained via standard eigenvalue perturbation bounds; and (iv) the direct deduction of eventual strict monotonicity from the sign of α. These additions will make the central claims fully verifiable. revision: yes

Circularity Check

1 steps flagged

Central claims depend on symmetry and curvature interpretation of R_T imported from authors' prior self-citation

specific steps
  1. self citation load bearing [Abstract (and presumably §1)]
    "Let $R_T$ be the Ricci matrix of a finite tree $T$ introduced in [BaiChengHua2026], the largest eigenvalue λ_max(R_T) determines the sign of a discrete Einstein metric curvature on the tree."

    The symmetry of R_T for every finite tree and the claim that λ_max(R_T) governs the sign of the discrete Einstein curvature are taken verbatim from the authors' overlapping prior paper without re-proof or independent check inside the present manuscript. All subsequent statements about λ_k = λ_max(R_{T_k}), its limit, the coefficient α via spectral projection, and eventual monotonicity rest on these imported properties holding under repeated leaf attachment.

full rationale

The paper opens by defining R_T and stating that its largest eigenvalue controls the sign of discrete Einstein metric curvature, citing only the authors' own prior work [BaiChengHua2026]. The subsequent proofs of convergence of λ_k and the first-order expansion λ_k = λ_∞ + α/(d+k) + O(1/(d+k)^2) are presented as spectral-projection arguments on the sequence of matrices R_{T_k}. No re-derivation or external verification of the symmetry of R_T or its curvature-sign interpretation is supplied for the pendant-attachment sequence. This constitutes a self-citation load-bearing step for the foundational objects, but the asymptotic derivation itself supplies independent content once those objects are granted. Hence a moderate circularity score rather than a high one.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard facts from linear algebra (existence of largest eigenvalue for symmetric matrices) and graph theory (finite trees). No free parameters are fitted; the only external object is the Ricci matrix definition from the cited prior work.

axioms (2)
  • standard math The largest eigenvalue of a real symmetric matrix exists and is simple or has a well-defined spectral projection when needed for the expansion.
    Invoked implicitly when the asymptotic coefficient α is extracted via spectral projection.
  • domain assumption The Ricci matrix R_T is symmetric for every finite tree T.
    Taken from the definition in the cited reference [BaiChengHua2026].

pith-pipeline@v0.9.0 · 5731 in / 1446 out tokens · 25763 ms · 2026-05-25T03:13:33.141729+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

12 extracted references

  1. [1]

    2026 , eprint =

    Shuliang Bai and Haoxuan Cheng and Bobo Hua , title =. 2026 , eprint =

    2026

  2. [2]

    2026 , eprint =

    Haoxuan Cheng , title =. 2026 , eprint =

    2026

  3. [3]

    2025 , eprint =

    Shuliang Bai and Bobo Hua and Yong Lin and Shuang Liu , title =. 2025 , eprint =

    2025

  4. [4]

    Tohoku Mathematical Journal , volume =

    Yong Lin and Linyuan Lu and Shing-Tung Yau , title =. Tohoku Mathematical Journal , volume =. 2011 , pages =

    2011

  5. [5]

    Journal of Functional Analysis , volume =

    Yann Ollivier , title =. Journal of Functional Analysis , volume =. 2009 , pages =

    2009

  6. [6]

    A. J. Hoffman and J. H. Smith , title =. Recent Advances in Graph Theory , editor =. 1975 , pages =

    1975

  7. [7]

    Merris , title =

    R. Merris , title =. Linear Algebra and its Applications , volume =. 1994 , pages =

    1994

  8. [8]

    Steve Butler , title =

  9. [9]

    1995 , note =

    Tosio Kato , title =. 1995 , note =

    1995

  10. [10]

    Dragan Stevanović , title =

  11. [11]

    2008 , eprint =

    Türker Bıyıkoğlu and Marc Hellmuth and Josef Leydold , title =. 2008 , eprint =

    2008

  12. [12]

    2025 , eprint =

    Qi Guo and Bobo Hua and Yang Shen , title =. 2025 , eprint =

    2025