Spectral radius and perfect k-matchings in t-connected graphs
Pith reviewed 2026-05-08 17:08 UTC · model grok-4.3
The pith
Tight spectral radius bounds guarantee perfect k-matchings in t-connected graphs.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that any t-connected graph G whose spectral radius exceeds the spectral radius of a certain extremal graph must admit a perfect k-matching. We also prove that any t-connected graph that possesses a fractional perfect matching and whose spectral radius exceeds a (possibly different) extremal value must admit a perfect k-matching.
What carries the argument
The spectral radius of the adjacency matrix, serving as a numerical threshold compared with the radius of extremal t-connected graphs that lack perfect k-matchings.
If this is right
- Whenever the spectral radius of a t-connected graph lies above the given bound, the graph is guaranteed to have a perfect k-matching.
- The stated bounds cannot be improved, because the extremal graphs achieve the radius limit without having the matching.
- The same style of argument supplies a separate, tight threshold for the subclass of t-connected graphs that already have a fractional perfect matching.
- The existence of the matching can be certified by computing one eigenvalue rather than by exhaustive combinatorial search.
Where Pith is reading between the lines
- The technique may extend to other notions of connectivity or to hypergraphs by replacing the spectral radius with a suitable matrix parameter.
- For large graphs the eigenvalue test could be faster than classical matching algorithms when only a yes/no answer is needed.
- Similar radius conditions might be derived for the existence of other factors such as Hamilton cycles in t-connected graphs.
Load-bearing premise
t-connectivity together with the spectral radius bound is enough to rule out all counterexamples that would otherwise lack a perfect k-matching.
What would settle it
A single t-connected graph whose spectral radius strictly exceeds the stated threshold yet possesses no perfect k-matching would disprove the claimed condition.
read the original abstract
A $k$-matching of a graph $G$ is a function $f:E(G)\rightarrow\{0,1,2,\ldots,k\}$ with $\sum\limits_{e\in E_G(v)}f(e)\leq k$ for each vertex $v$ of $G$, where $E_G(v)$ is the set of edges incident with $v$ in $G$. A perfect $k$-matching of a graph $G$ is a $k$-matching $f$ satisfying $\sum\limits_{e\in E_G(v)}f(e)=k$ for any vertex $v$ of $G$. A fractional perfect matching of a graph $G$ is a function $f:E(G)\rightarrow [0,1]$ satisfying $\sum\limits_{e\in E_G(v)}f(e)=1$ for any $v\in V(G)$. We denote by $\rho(G)$ the spectral radius of $G$. In this paper, we put forward a tight spectral radius condition for a $t$-connected graph to possess a perfect $k$-matching and a tight spectral radius condition for the existence of a perfect $k$-matching in a $t$-connected graph with a fractional perfect matching.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes two tight spectral radius conditions in the setting of t-connected graphs: one guaranteeing the existence of a perfect k-matching, and a second guaranteeing a perfect k-matching in any t-connected graph that already admits a fractional perfect matching. The claims are phrased as extensions of classical spectral matching results, with explicit emphasis on tightness.
Significance. If the stated bounds are correct and the extremal graphs are properly identified, the results would furnish useful spectral criteria for higher-multiplicity matchings, building on known results for ordinary perfect matchings. The incorporation of t-connectivity and the fractional-matching hypothesis as a separate case are potentially valuable for applications in extremal graph theory.
major comments (1)
- The second main claim (existence of a perfect k-matching in a t-connected graph possessing a fractional perfect matching) requires an explicit reduction or scaling argument that converts the fractional solution (edge values in [0,1] summing to 1 at each vertex) into an integer-valued k-matching (values in {0,…,k} summing to k at each vertex) while preserving both t-connectivity and the spectral-radius hypothesis. No such scaling step is visible in the abstract, and for k>1 this linkage is not automatic from the given definitions; the argument is therefore load-bearing for the claim.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback on our manuscript. We address the single major comment point by point below. We agree that greater explicitness will strengthen the presentation and will revise accordingly.
read point-by-point responses
-
Referee: The second main claim (existence of a perfect k-matching in a t-connected graph possessing a fractional perfect matching) requires an explicit reduction or scaling argument that converts the fractional solution (edge values in [0,1] summing to 1 at each vertex) into an integer-valued k-matching (values in {0,…,k} summing to k at each vertex) while preserving both t-connectivity and the spectral-radius hypothesis. No such scaling step is visible in the abstract, and for k>1 this linkage is not automatic from the given definitions; the argument is therefore load-bearing for the claim.
Authors: The abstract summarizes the results at a high level, as is conventional; the detailed proofs appear in the body of the paper. The proof of the second theorem (Section 4) does contain the required reduction: starting from a given fractional perfect matching f with values in [0,1], we form the scaled function kf, which is a fractional perfect k-matching with values in [0,k]. The t-connectivity hypothesis together with the spectral-radius bound is then used to guarantee an integer-valued perfect k-matching, invoking integrality properties of matchings in sufficiently connected graphs. We acknowledge that this linkage could be stated more explicitly for readers. In the revised manuscript we will add a concise outline of the scaling step to the introduction and a short clarifying sentence to the abstract. revision: yes
Circularity Check
No circularity: claims rest on external graph-theoretic results
full rationale
The paper states two new tight spectral-radius conditions for the existence of perfect k-matchings in t-connected graphs (one unconditional, one conditional on the existence of a fractional perfect matching). No equations or definitions in the provided text reduce a claimed result to its own inputs by construction. The definitions of k-matching, perfect k-matching, fractional perfect matching, and spectral radius ρ(G) are standard and independent of the theorems being proved. No fitted parameters are relabeled as predictions, no uniqueness theorems are imported from the authors' prior work, and no ansatz is smuggled via self-citation. The derivation chain therefore remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
S. Pirzada, Z. Bhat, Brualdi-Solheid problem on the minimum spectral radius of graphs with given matching number, Discrete Math. 349(6) (2026) 115031
work page 2026
-
[2]
M. Ellingham, L. Lu, Z. Wang, Maximum spectral radius of outerplanar 3-uniform hypergraphs, J. Graph Theory 100(4) (2022) 671–685
work page 2022
-
[3]
F. Belardo, M. Brunetti, Limit points for the spectral radii of signed graphs, Discrete Math. 347(2) (2024) 113745
work page 2024
-
[4]
Wu, Characterizing spanning trees via the size or the spectral radius of graphs, Aequationes Math
J. Wu, Characterizing spanning trees via the size or the spectral radius of graphs, Aequationes Math. 98(6) (2024) 1441–1455
work page 2024
-
[5]
Wu, Some results on thek-strong parity property in a graph, Comput
J. Wu, Some results on thek-strong parity property in a graph, Comput. Appl. Math. 45(4) (2026) 138
work page 2026
-
[6]
Wu, Sufficient conditions for a graph with minimum degree to have a component factor, Proc
J. Wu, Sufficient conditions for a graph with minimum degree to have a component factor, Proc. Rom. Acad. Ser. A Math. Phys. Tech. Sci. Inf. Sci., accept
-
[7]
S. Zhou, Q. Bian, J. Wu, Sufficient conditions for even factors in graphs, Discrete Appl. Math. 386 (2026) 365–372
work page 2026
-
[8]
S. Zhou, Q. Bian, Z. Sun, Spectral conditions for path-factors in isolated tough graphs, Discrete Appl. Math. 385 (2026) 228–236
work page 2026
-
[9]
Zhou, A result on spanning trees with bounded total excess, Discrete Appl
S. Zhou, A result on spanning trees with bounded total excess, Discrete Appl. Math. 388 (2026) 130–135
work page 2026
-
[10]
S. Zhou, Y. Zhang, T. Zhang, H. Liu, Toughness andA α-spectral radius in graphs, Filomat 40(5) (2026) 1883–1892
work page 2026
-
[11]
H. Lu, W. Wang, On perfectk-matchings, Graphs Combin. 30 (2014) 229–235
work page 2014
-
[12]
O, Spectral radius and matchings in graphs, Linear Algebra Appl
S. O, Spectral radius and matchings in graphs, Linear Algebra Appl. 614 (2021) 316–324
work page 2021
-
[13]
Y. Zhao, X. Huang, Z. Wang, TheA α-spectral radius and perfect matchings of graphs, Linear Algebra Appl. 631 (2021) 143–155
work page 2021
-
[14]
D. Fan, S. Goryainov, X. Huang, H. Lin, The spanningk-trees, perfect matchings and spectral radius of graphs, Linear Multilinear Algebra 70 (2022) 7264–7275
work page 2022
-
[15]
Zhou, Some spectral conditions for star-factors in bipartite graphs, Discrete Appl
S. Zhou, Some spectral conditions for star-factors in bipartite graphs, Discrete Appl. Math. 369 (2025) 124–130
work page 2025
-
[16]
W. Zhang, Spectral conditions for connectivity, toughness and perfectk-matchings of regular graphs, Bull. Malays. Math. Sci. Soc. 46(3) (2023) 93
work page 2023
- [17]
-
[18]
Y. Pan, C. Liu, Spectral radius and fractional perfect matchings in graphs, Graphs Combin. (39) (2023) 52
work page 2023
-
[19]
S. Li, S. Miao, M. Zhang, On the size, spectral radius, distance spectral radius and fractional matchings in graphs, Bull. Aust. Math. Soc. 108(2) (2023) 187–199
work page 2023
-
[20]
Q. Chen, J. Guo, The spectral radius of graphs with fractional matching number, https://doi.org/10.48550/arXiv.2303.05885
-
[21]
J. Xue, M. Zhai, J. Shu, Fractional matching number and eigenvalues of graph, Linear Multi- linear Algebra 67 (2019) 2565–2574
work page 2019
-
[22]
Zhou, Spanning subgraphs and spectral radius in graphs, Aequationes Math
S. Zhou, Spanning subgraphs and spectral radius in graphs, Aequationes Math. 100(1) (2026) 1
work page 2026
-
[23]
Zhou, Toughness, fractional extendability and distance spectral radius in graphs, J
S. Zhou, Toughness, fractional extendability and distance spectral radius in graphs, J. Korean Math. Soc. 62(3) (2025) 601–617
work page 2025
-
[24]
H. Jia, A. Fan, R. Liu, Spectral radius and perfect matching in graphs with given fractional property, Discrete Appl. Math. 386 (2026) 255–263
work page 2026
-
[25]
E. Scheinerman, D. Ullman, Fractional Graph Theory: A Rational Approach to the Theory of Graphs, Wiley & Sons, New York, 1997
work page 1997
-
[26]
Q. Li, K. Feng, On the largest eigenvalue of a graph, Acta Math. Appl. Sin. 2 (1979) 167–175
work page 1979
-
[27]
S. Miao, S. Li, W. Wei, Matching extension and matching exclusion via the size or the spectral radius of graphs, Discrete Appl. Math. 347 (2024) 214–230
work page 2024
-
[28]
D. Fan, H. Lin, Binding number,k-factor and spectral radius of graphs, Electron. J. Combin. 31(1) (2024) #P1.30
work page 2024
- [29]
-
[30]
L. You, M. Yang, W. So, W. Xi, On the spectrum of an equitable quotient matrix and its application, Linear Algebra Appl. 577 (2019) 21–40. 12
work page 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.