A new characterization of the set of Laplacian spectral radii of trees
Pith reviewed 2026-05-10 16:47 UTC · model grok-4.3
The pith
A recursive set L_r(α) exactly identifies which numbers α are the Laplacian spectral radii of trees with maximum degree at most r.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that (α-1)^{-1} ∈ L_r(α) if and only if there exists a tree T with its maximum degree Δ(T) ≤ r and Laplacian spectral radius μ(T) = α > 1. It follows that the set of Laplacian spectral radii of non-trivial trees is exactly the set of real numbers α ≥ 2 such that (α-1)^{-1} ∈ L_r(α) for r = ⌊α⌋ - 1.
What carries the argument
The set L_r(α) defined recursively by seeding with α-1 and closing under the rule that, for any multi-subset {q_1, …, q_s} with s < r, the value β = α-1-s-sum q_i^{-1} is added whenever β > 0. This set collects all values that can arise from the eigenvector equation when a root vertex of degree at most r is attached to branches whose own inverse contributions lie in the set.
Load-bearing premise
The recursive additions in L_r(α) generate precisely the values that can be realized by attaching subtrees to a highest-degree vertex without introducing extra constraints from the global positive-semidefinite property of the Laplacian.
What would settle it
Enumerate the first few layers of L_3(4) starting from 3 and adding positive β values, then verify whether 1/3 appears; separately compute the Laplacian eigenvalues of all trees with maximum degree 3 on up to 10 vertices to see if any has spectral radius exactly 4 when the membership fails or misses one when membership holds.
Figures
read the original abstract
For any positive integer $r$ and real number $\alpha>1$, let ${\mathscr L}_r(\alpha)$ denote the set of positive real numbers defined recursively: $\alpha-1\in {\mathscr L}_r(\alpha)$, and for any multi-subset $\{q_1,q_2,\dots,q_s\}$ of ${\mathscr L}_r(\alpha)$, where $0<s<r$, $\beta:=\alpha-1-s-\sum_{i=1}^sq_i^{-1}$ belongs to ${\mathscr L}_r(\alpha)$ as long as $\beta>0$. We show that $(\alpha-1)^{-1}\in {\mathscr L}_r(\alpha)$ if and only if there exists a tree $T$ with its maximum degree $\Delta(T)\le r$ and Laplacian spectral radius $\mu(T)=\alpha>1$. It follows that the set of Laplacian spectral radii of non-trivial trees is exactly the set of real numbers $\alpha\ge 2$ such that $(\alpha-1)^{-1}\in {\mathscr L}_r(\alpha)$ for $r=\lfloor\alpha\rfloor-1$. Applying this conclusion, we then show that for any integer $n$, there exists a tree $T$ with $\Delta(T)<n$ and $\mu(T)=n+1$ if and only if $n\ge 4$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines the set ℒ_r(α) recursively by starting with α−1 and closing under the rule that β = α−1−s−∑_{i=1}^s q_i^{−1} belongs to the set whenever 0 < s < r, the q_i form a multi-subset of ℒ_r(α), and β > 0. It proves that (α−1)^{−1} ∈ ℒ_r(α) if and only if there exists a tree T with Δ(T) ≤ r whose Laplacian spectral radius equals α > 1. As a corollary, the Laplacian spectral radii of non-trivial trees are precisely the numbers α ≥ 2 for which (α−1)^{−1} ∈ ℒ_r(α) with r = ⌊α⌋ − 1. The paper then applies the characterization to prove that, for any integer n, a tree T with Δ(T) < n and μ(T) = n + 1 exists if and only if n ≥ 4.
Significance. If the central equivalence holds, the recursive description supplies a concrete, constructive characterization of attainable Laplacian spectral radii under a maximum-degree constraint. This is a useful addition to the literature on spectral graph theory for trees, as it directly encodes the local eigenvector equations that arise on trees and yields an explicit existence criterion for the family μ(T) = n + 1. The recursive closure also offers a potential route to algorithmic enumeration or verification of candidate radii for small r.
major comments (3)
- [§3] §3 (main theorem): The recursive construction produces a tree on which α is an eigenvalue by solving the local equations L v = α v vertex-by-vertex and assigning consistent positive components to the subtrees. The manuscript must still supply an explicit argument that α is the largest eigenvalue (i.e., that the Rayleigh quotient R(L, x) ≤ α for every nonzero x). Without a separate maximality step—perhaps via the Perron–Frobenius property for the positive eigenvector or an inductive bound on the spectral radii of the attached subtrees—the claim that μ(T) = α rather than merely that α is some eigenvalue remains incomplete.
- [Definition 2.1] Definition 2.1 and the proof of the “only if” direction: The multi-subset closure is claimed to generate exactly the trees with Δ ≤ r that realize spectral radius α. The argument should verify that every possible tree structure is captured and that no extraneous values are introduced by the recursion; in particular, it must confirm that the resulting Laplacian remains positive semidefinite and that the constructed vector is indeed an eigenvector for the global matrix, not merely for a local subsystem.
- [§4] §4 (application): For the statement that trees with Δ(T) < n and μ(T) = n + 1 exist precisely when n ≥ 4, the paper must check membership of (n)^{-1} in ℒ_{n−1}(n+1) (the appropriate r for the strict degree bound Δ < n). The manuscript should exhibit the explicit recursive sequence that witnesses membership for n ≥ 4 and non-membership for n < 4, together with a short verification for the base cases n = 2, 3, 4 to confirm the threshold.
minor comments (2)
- [§2] The abstract and §2 use the script-L notation ℒ_r(α); ensure that this symbol is defined before its first use in the body and that the multi-subset language is introduced with a brief sentence clarifying that repetitions are allowed.
- A short table or diagram illustrating the first few elements generated by the recursion for a small pair (r, α), e.g., r = 3 and α = 4, would help readers visualize the correspondence between set elements and subtree attachments.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, indicating the revisions we will make to strengthen the presentation and proofs.
read point-by-point responses
-
Referee: [§3] §3 (main theorem): The recursive construction produces a tree on which α is an eigenvalue by solving the local equations L v = α v vertex-by-vertex and assigning consistent positive components to the subtrees. The manuscript must still supply an explicit argument that α is the largest eigenvalue (i.e., that the Rayleigh quotient R(L, x) ≤ α for every nonzero x). Without a separate maximality step—perhaps via the Perron–Frobenius property for the positive eigenvector or an inductive bound on the spectral radii of the attached subtrees—the claim that μ(T) = α rather than merely that α is some eigenvalue remains incomplete.
Authors: We agree that an explicit maximality argument is needed to establish that the constructed α is the spectral radius. In the revised manuscript, we will add an inductive argument on the number of vertices in the proof of the main theorem in §3. The base case for small trees is verified directly. For the inductive step, we assume that every proper subtree constructed via the recursion has spectral radius at most α. Using the variational characterization of the largest Laplacian eigenvalue and the fact that the local eigenvector equations are satisfied at every vertex, we then show that the Rayleigh quotient R(L, x) ≤ α for any nonzero vector x on the full tree, with equality for the constructed eigenvector. This inductive bound on subtrees replaces the suggested Perron–Frobenius approach (noting that the Laplacian eigenvector for the largest eigenvalue need not be strictly positive). revision: yes
-
Referee: [Definition 2.1] Definition 2.1 and the proof of the “only if” direction: The multi-subset closure is claimed to generate exactly the trees with Δ ≤ r that realize spectral radius α. The argument should verify that every possible tree structure is captured and that no extraneous values are introduced by the recursion; in particular, it must confirm that the resulting Laplacian remains positive semidefinite and that the constructed vector is indeed an eigenvector for the global matrix, not merely for a local subsystem.
Authors: The 'only if' direction proceeds by induction on tree order: given any tree T with Δ(T) ≤ r and Laplacian spectral radius α, root T at an arbitrary vertex and compute the associated values from each child subtree (which lie in ℒ_r(α) by the inductive hypothesis). These values satisfy the recursive relation defining membership in ℒ_r(α), so every such tree is captured. The recursion introduces no extraneous values because each step corresponds precisely to attaching a valid subtree whose contribution satisfies the eigenvector equation at the attachment vertex. The Laplacian of any tree is positive semidefinite by the standard property that L is symmetric with nonnegative eigenvalues (kernel spanned by the all-ones vector). The constructed vector is a global eigenvector because the local equations L v = α v hold at every vertex by the recursive construction, and the absence of cycles in a tree ensures global consistency with no further constraints. We will insert a short clarifying paragraph in the proof of the 'only if' direction to make these points explicit. revision: partial
-
Referee: [§4] §4 (application): For the statement that trees with Δ(T) < n and μ(T) = n + 1 exist precisely when n ≥ 4, the paper must check membership of (n)^{-1} in ℒ_{n−1}(n+1) (the appropriate r for the strict degree bound Δ < n). The manuscript should exhibit the explicit recursive sequence that witnesses membership for n ≥ 4 and non-membership for n < 4, together with a short verification for the base cases n = 2, 3, 4 to confirm the threshold.
Authors: We agree that explicit recursive sequences and base-case verifications will improve the readability of the application in §4. In the revised manuscript we will add a dedicated paragraph exhibiting the required computations. For n=2 (r=1, α=3, target 1/2): ℒ_1(3) contains only the initial element 2, and since s < 1 is impossible no further elements are generated; 1/2 ≠ 2, so non-membership. For n=3 (r=2, α=4, target 1/3): starting from 3 we generate possible elements such as 3-1-1/3 = 5/3 and further closures, but exhaustive enumeration of the finite set shows 1/3 is never reached. For n=4 (r=3, α=5, target 1/4): we exhibit an explicit sequence beginning with 4, then s=2 with suitable q_i drawn from the set to produce successive β values that terminate at 1/4 (precise numerical steps will be written out). For n>4 the same constructive pattern continues, confirming existence. These calculations verify the threshold at n=4. revision: yes
Circularity Check
Recursive definition of L_r(α) is independent of graphs; equivalence is a proved theorem, not tautological
full rationale
The paper first defines L_r(α) recursively from the base value α-1 and the closure operation β = α-1-s-∑q_i^{-1} (0<s<r, β>0) without any reference to trees or eigenvalues. It then states and proves the equivalence “(α-1)^{-1} ∈ L_r(α) iff there exists a tree T with Δ(T)≤r and μ(T)=α”. Because the set is introduced prior to and independently of the graph-theoretic claim, and the paper presents the equivalence as a theorem rather than an identity by construction, the derivation chain does not reduce the result to its own inputs. No self-citation, fitted parameter, or ansatz is invoked in the core statement. The final existence result for μ(T)=n+1 is a direct corollary of the characterization and likewise contains no circular step.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math The Laplacian matrix of any graph is symmetric and positive semidefinite with smallest eigenvalue 0
- domain assumption Trees admit a recursive decomposition into a root vertex plus subtrees whose degrees are constrained by the global maximum degree
invented entities (1)
-
The recursively defined set L_r(α)
no independent evidence
Reference graph
Works this paper leans on
-
[1]
A. E. Brouwer, W. H. Haemers, Spectra of graphs, 2011 Springer. 14
work page 2011
-
[2]
D. M. Cvetkovi´ c, M. Doob, H. Sachs, Spectra of Graphs: Theory and Applications, Johann Abrosius Barth Verlag, Heidelberg-Leipzig, 1995, third revised and enlarged edition
work page 1995
-
[3]
D. Cvetkovi´ c, P. Rowlinson, S. Simi´ c, Signless Laplacians of finite graphs.Linear Algebra and its applications423(2007), 155 – 71
work page 2007
-
[4]
D. Cvetkovi´ c, P. Rowlinson, S. Simi´ c, An introduction to the theory of graph spectra. Cambridge University Press, 2010
work page 2010
-
[5]
Dirac, On rigid circuit graphs,Abh
G.A. Dirac, On rigid circuit graphs,Abh. Math. Sem. Univ. Hamburg.24(1962), 71 – 76
work page 1962
-
[6]
https://arxiv.org/abs/2504.06617
Fengming Dong and Ruixue Zhang, Existence of trees with prescribed maximum degrees and spectral radii Spectrum Radii of tree. https://arxiv.org/abs/2504.06617
-
[7]
Georg Frobenius, et al., ¨Uber Matrizen aus nicht negativen Elementen. (1912): 456– 477
work page 1912
-
[8]
D. Fulkerson, O. Gross, Incidence matrices and interval graphs,Pacific Journal of Mathematics15(1965), 835-855
work page 1965
- [9]
-
[10]
Guo, On the Laplacian spectral radius of a tree,Linear Algebra Appl.368 (2003), 379 – 385
J.M. Guo, On the Laplacian spectral radius of a tree,Linear Algebra Appl.368 (2003), 379 – 385
work page 2003
-
[11]
J.M. Guo, On the second largest Laplacian eigenvalue of the trees,Linear Algebra Appl.404(2005), 251 – 261
work page 2005
- [12]
-
[13]
Yuan Hong and Zhang Xiaodong, Sharp upper and lower bounds for largest eigen- value of the Laplacian matrices of trees. Discrete Mathematics. 2005 Jul 6;296(2- 3):187-97
work page 2005
-
[14]
B.L. Liu, B. Zhou, On the third largest eigenvalue of a graph,Linear Algebra and its Applications317(2000), 193-200
work page 2000
-
[15]
L. Lov´ asz, J, Pelik´ an. On the eigenvalues of trees. Periodica Mathematica Hungarica 3(1-2) (1973), 175 – 82
work page 1973
-
[16]
Merris, Laplacian matrices of graphs: a survey,Linear Algebra Appl.197–198 (1994) 143–176
R. Merris, Laplacian matrices of graphs: a survey,Linear Algebra Appl.197–198 (1994) 143–176. 15
work page 1994
-
[17]
Meyer, Matrix Analysis and applied linear algebra
C.D. Meyer, Matrix Analysis and applied linear algebra. SIAM, 2000
work page 2000
-
[18]
Henryk Minc,Nonnegative matrices. Vol. 170. New York: Wiley, 1988
work page 1988
-
[19]
M.R. Oboudi, On the third largest eigenvalue of graphs,Linear Algebra and its Applications503(2016), 164 – 179
work page 2016
-
[20]
Oskar Perron, Zur Theorie der Matrices,Mathematische Annalen64(2) (1907), 248 –263
work page 1907
-
[21]
S.K. Simic, and D.V. Toˇ si´ c, The index of trees with specified maximum degree. MATCH Commun. Math. Comput. Chem54(2005), 351 – 362
work page 2005
-
[22]
D. Stevanovi´ c, Bounding the largest eigenvalue of trees in terms of the largest vertex degree.Linear algebra and its applications360(2003), 35 – 42
work page 2003
-
[23]
Xiaodong Zhang, The Laplacian spectral radii of trees with degree sequences,Discrete Mathematics308(15) (2008), 3143 – 3150
work page 2008
-
[24]
Aimei Yu and Mei Lu, Laplacian spectral radius of trees with given maximum degree, Linear algebra and its applications429(2008), 1962 – 1969
work page 2008
-
[25]
Xiying Yuan, Yue Liu and Miaomiao Han, The Laplacian spectral radius of trees and maximum vertex degree.Discrete mathematics311(2011), 761 – 618. 16
work page 2011
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.