arXiv subjects

Huiqiu Lin

Publications and source records attributed to Huiqiu Lin.

At least 37 records · Page 2Linked to original sources

arXiv2025

Estimates of the first Dirichlet eigenvalue of graphs

Inspired by the Li--Yau eigenvalue-diameter estimates, we investigate lower bounds for the first Dirichlet eigenvalue in terms of the diameter (or inscribed radius) of a graph. Let $G = (V, E)$ be a graph with boundary $B$. Assume that the interior $Ω= V \setminus B$ is connected. Let $r$ be the inscribed radius of $(G, B)$ and $d$ be the maximum degree of $G$. We prove that $$λ_1(G, B) \geq \frac{d - 1}{r d^r},$$ which can be viewed as an analogue of the Lin--Yau bound and the Meng--Lin bound for normalized Dirichlet/Laplacian eigenvalues. We also derive the inequality $$λ_1(G, B) \geq \frac{1}{r |Ω|}.$$ In particular, for a tree $T$ with at least $3$ vertices, we show that $$λ_1(T) \geq 4 \sin^2 \fracπ{4r + 6} \geq \frac{1}{(r + 1)^2}.$$ Notably, both of the two preceding bounds are sharp up to a constant factor. We additionally examine upper bounds on the first Dirichlet eigenvalue under constraints on the numbers of interior and boundary vertices.

math.CO↗

arXiv2025

A note on the spectral radius and $[a,b]$-factor of graphs

The investigation of eigenvalue conditions for the existence of an $[a,b]$-factor originates in the work of Brouwer and Haemers (2005) on perfect matchings. In the decades since, spectral extremal problems related to $[a,b]$-factors have attracted considerable attention. In this paper, we establish a spectral radius condition that ensures the existence of an $[a,b]$-factor in a graph $G$ with minimum degree $δ(G) \geq a$, where $b > a \geq 1$. This result resolves a problem posed by Hao and Li [Electron. J. Combin. (2024)].

math.SP↗

arXiv2025

Comparison between the first Steklov eigenvalue and algebraic connectivity on trees

Trees can be regarded as discrete analogue of Hadamard manifolds, namely simply-connected Riemannian manifolds of non-positive sectional curvature. In this paper, we compare the first (non-trivial) Steklov eigenvalue and algebraic connectivity of trees with prescribed number of boundary vertices and matching number. It is particularly noteworthy that while the extremal trees coincide for both operators, their corresponding eigenvalues differ significantly.

math.CO↗

arXiv2025

Non-bipartite graphs without theta subgraphs

Fix a color-critical graph $H$ with $χ(H)=r+1\geq 3$. Simonovits' chromatic critical edge theorem and Nikiforov's spectral chromatic critical edge theorem imply that $T_{n,r}$ is the extremal graph with the maximum size and the maximum spectral radius over all $H$-free graphs of order $n$, respectively. Since $T_{n,r}$ is $r$-partite, it is interesting to study the Turán number and the spectral Turán number of a color-critical graph $H$ in non-$r$-partite graphs. Denote by ${\rm EX}_{r+1}(n,H)$ (resp. ${\rm SPEX}_{r+1}(n,H)$) the family of $n$-vertex $H$-free non-$r$-partite graphs with the maximum size (resp. spectral radius). Brouwer showed that any graph in $\mathrm{EX}_{r+1}(n,K_{r+1})$ is of size $e(T_{n,r})-\lfloor\frac{n}{r}\rfloor+1$ for $n\geq 2r+1$. Lin, Ning and Wu [Combin. Probab. Comput. 30 (2) (2021) 258--270], and Li and Peng [SIAM J. Discrete Math. 37 (2023) 2462--2485] characterized the unique graph in $\mathrm{SPEX}_{r+1}(n,K_{r+1})$ for $r\geq 2$. Particularly, the unique graph is of size $e(T_{n,r})-\lfloor\frac{n}{r}\rfloor+1$. Thus $\mathrm{SPEX}_{r+1}(n,K_{r+1})\subseteq \mathrm{EX}_{r+1}(n,K_{r+1})$. It is natural to conjecture that ${\rm SPEX}_{r+1}(n,H)\subseteq {\rm EX}_{r+1}(n,H)$ for arbitrary color-critical graph $H$ with $χ(H)=r+1\geq 3$. Fix $q,r\geq 2$ with even $q$, a theta graph $θ(1,q,r)$ is obtained from internally disjoint paths of lengths $1,q,r$, respectively by sharing a common pair of endpoints. In this paper, we prove that $\mathrm{SPEX}_{3}(n,θ(1,q,r))\subseteq \mathrm{EX}_{3}(n,θ(1,q,r))$ for sufficiently large $n$. Furthermore, we determine all the graphs in $\mathrm{SPEX}_{3}(n,θ(1,q,r))$ and $\mathrm{EX}_{3}(n,θ(1,q,r))$, respectively.

math.CO↗

arXiv2025

The first Steklov eigenvalue of planar graphs and beyond

The Steklov eigenvalue problem was introduced over a century ago, and its discrete form attracted interest recently. Let $D$ and $δΩ$ be the maximum vertex degree and the set of vertices of degree one in a graph $\mathcal{G}$ respectively. Let $λ_2$ be the first (non-trivial) Steklov eigenvalue of $(\mathcal{G}, δΩ)$. In this paper, using the circle packing theorem and conformal mapping, we first show that $λ_2 \leq 8D / |δΩ|$ for planar graphs. This can be seen as a discrete analogue of Kokarev's bound, that is, $λ_2 < 8π/ |\partial Ω|$ for compact surfaces with boundary of genus $0$. Let $B$ and $L$ be the maximum block size and the diameter of a block graph $\mathcal{G}$ respectively. Secondly, we prove that $λ_2 \leq 4 (B-1) (D-1)/ |δΩ|$ and $λ_2 \leq B/L$ for block graphs, which extend the results on trees by He and Hua. In the end, for trees with fixed leaf number and maximum degree, candidates that achieve the maximum first Steklov eigenvalue are given.

math.CO↗

arXiv2025

Maximize the Steklov eigenvalue of trees

We study the maximal Steklov eigenvalues of trees with given number of boundary vertices and total number of vertices. Trees can be regarded as discrete analogue of Hadamard manifolds, namely simply-connected Riemannian manifolds of non-positive sectional curvature. Let $σ_{k,\text{max}}(b, n)$ be the maximal of $k$-th Steklov eigenvalue of trees with $b$ leaves as boundary and $n$ vertices. We determine that $$ σ_{2, \text{max}} (b, n) = \begin{cases} \frac{2}{n-1}, & b=2, n\geq 3, \frac{1}{r}, & b \geq 3, n = br + m, 3 - b \leq m \leq 1, r \in \mathbb{Z}_+, \frac{1}{r+1-\frac{1}{b}}, & b \geq 3, n = br + 2, r \in \mathbb{Z}_+, \end{cases} $$ and we characterize the trees attaining this bound. For $k \geq 3$, we show that $σ_{k, \text{max}} (b, n) = 1$. We also give a lower bound on the maximal Steklov eigenvalues of trees with given diameter and total number of vertices. Our work can be regarded as a completion of the work by He--Hua [Upper bounds for the Steklov eigenvalues on trees, Calc. Var. Partial Differential Equations (2022)] and Yu--Yu [Monotonicity of Steklov eigenvalues on graphs and applications, Calc. Var. Partial Differential Equations (2024)].

math.CO↗

arXiv2025

Halin graphs with positive Lin-Lu-Yau curvature

Halin graphs constitute an interesting class of planar and polyhedral graphs. A generalized Halin graph is obtained by connecting all leaves of a planar embedding of a tree via a cycle. A Halin graph is a generalized Halin graph having no vertex of degree two. We classify all generalized Halin graphs with positive Lin-Lu-Yau curvature.

math.CO↗

arXiv2024

Upper bounds of Steklov eigenvalues on graphs

Let $Δ$ and $B$ be the maximum vertex degree and a subset of vertices in a graph $G$ respectively. In this paper, we study the first (non-trivial) Steklov eigenvalue $σ_2$ of $G$ with boundary $B$. Using metrical deformation via flows, we first show that $σ_2 = \mathcal{O}\left(\frac{Δ(g+1)^3}{|B|}\right)$ for graphs of orientable genus $g$ if $|B| \geq \max\{3 \sqrt{g},|V|^{\frac{1}{4} + ε}, 9\}$ for some $ε> 0$. This can be seen as a discrete analogue of Karpukhin's bound. Secondly, we prove that $σ_2 \leq \frac{8Δ+4X}{|B|}$ based on planar crossing number $X$. Thirdly, we show that $σ_2 \leq \frac{|B|}{|B|-1} \cdot δ_B$, where $δ_B$ denotes the minimum degree for boundary vertices in $B$. At last, we compare several upper bounds on Laplacian eigenvalues and Steklov eigenvalues.

math.CO↗

arXiv2024

The existence of biregular spanning subgraphs in bipartite graphs via spectral radius

Biregular bipartite graphs have been proven to have similar edge distributions to random bipartite graphs and thus have nice pseudorandomness and expansion properties. Thus it is quite desirable to find a biregular bipartite spanning subgraph in a given bipartite graph. In fact, a theorem of Ore implies a structural characterization of such subgraphs in bipartite graphs. In this paper, we demonstrate the existence of biregular bipartite spanning subgraphs in bipartite graphs by employing spectral radius. We also study the existence of spanning trees with restricted degrees and edge-disjoint spanning trees in bipartite graphs via spectral radius.

math.CO↗

arXiv2024

Graphs with nonnegative Bakry-Émery curvature without Quadrilateral

The definition of Ricci curvature on graphs in Bakry-Émery's sense based on curvature dimension condition was introduced by Lin and Yau [\emph{Math. Res. Lett.}, 2010]. Hua and Lin [\emph{Comm. Anal. Geom.}, 2019] classified unweighted graphs satisfying the curvature dimension condition $CD(0,\infty)$ whose girth are at least five. In this paper, we classify all of connected unweighted normalized $C_4$-free graphs satisfying curvature dimension condition $CD(0,\infty)$ for minimum degree at least 2 and the case with non-normalized Laplacian without degree condition..

math.CO↗

arXiv2024

Proof of Lew's conjecture on the spectral gaps of simplicial complexes

As a generalization of graph Laplacians to higher dimensions, the combinatorial Laplacians of simplicial complexes have garnered increasing attention. Let $X$ be a simplicial complex on vertex set $V$ of size $n$, and let $X(k)$ denote the set of all $k$-dimensional simplices of $X$. The $k$-th spectral gap $μ_k(X)$ is the smallest eigenvalue of the reduced $k$-dimensional Laplacian of $X$. For any $k\geq -1$, Lew [J. Combin. Theory Ser. A 169 (2020) 105127] established a lower bound for $μ_k(X)$: $$μ_k(X)\geq (d+1)\left(\min_{σ\in X(k)}°_X(σ)+k+1\right)-dn\geq (d+1)(k+1)-dn,$$ where $°_X(σ)$ and $d$ denote the degree of $σ$ in $X$ and the maximal dimension of a missing face of $X$, respectively. In this paper, we identify the unique simplicial complex that achieves the lower bound of the $k$-th spectral gap, $(d+1)(k+1)-dn$, for some $k$, thereby confirming a conjecture proposed by Lew.

math.CO↗

arXiv2024

A unified approach to the spectral radius, connectivity and edge-connectivity of graphs

For two integers $r\geq 2$ and $h\geq 0$, the \emph{$h$-extra $r$-component connectivity} $κ^h_r(G)$ of a graph $G$ is defined to be the minimum size of a subset of vertices whose removal disconnects $G$, and there are at least $r$ connected components in $G\!-\!S$ and each component has at least $h+1$ vertices. Denote by $\mathcal{G}_{n,δ}^{κ_r^h}$ the set of graphs with $h$-extra $r$-component connectivity $κ^h_r(G)$ and minimum degree $δ$. The following problem concerning spectral radius was proposed by Brualdi and Solheid [On the spectral radius of complementary acyclic matrices of zeros and one, SIAM J. Algebra Discrete Methods 7 (1986) 265-272]: Given a set of graphs $\mathscr{S}$, find an upper bound for the spectral radius of graphs in $\mathscr{S}$ and characterize the graphs in which the maximal spectral radius is attained. We study this question for $\mathscr{S}=\mathcal{G}_{n,δ}^{κ_r^h}$ where $r\geq 2$ and $h\geq 0$. Fan, Gu and Lin [$l$-connectivity, $l$-edge-connectivity and spectral radius of graphs, \emph{arXiv}:2309.05247] give the answer to $r\geq 2$ and $h=0$. In this paper, we solve this problem completely for $r\geq 2$ and $h\geq1$. Moreover, we also investigate analogous problems for the edge version. Our results can break the restriction of the extremum structure of the conditional connectivity. This implies some previous results in connectivity and edge-connectivity.

math.CO↗

arXiv2024

Long cycles and spectral radii in planar graphs

There is a rich history of studying the existence of cycles in planar graphs. The famous Tutte theorem on the Hamilton cycle states that every 4-connected planar graph contains a Hamilton cycle. Later on, Thomassen (1983), Thomas and Yu (1994) and Sanders (1996) respectively proved that every 4-connected planar graph contains a cycle of length $n-1, n-2$ and $n-3$. Chen, Fan and Yu (2004) further conjectured that every 4-connected planar graph contains a cycle of length $\ell$ for $\ell\in\{n,n-1,\ldots,n-25\}$ and they verified that $\ell\in \{n-4, n-5, n-6\}$. When we remove the ``4-connected" condition, how to guarantee the existence of a long cycle in a planar graph? A natural question asks by adding a spectral radius condition: What is the smallest constant $C$ such that for sufficiently large $n$, every graph $G$ of order $n$ with spectral radius greater than $C$ contains a long cycle in a planar graph? In this paper, we give a stronger answer to the above question. Let $G$ be a planar graph with order $n\geq 1.8\times 10^{17}$ and $k\leq \lfloor\log_2(n-3)\rfloor-8$ be a non-negative integer, we show that if $ρ(G)\geq ρ(K_2\vee(P_{n-2k-4}\cup 2P_{k+1}))$ then $G$ contains a cycle of length $\ell$ for every $\ell\in \{n-k, n-k-1, \ldots, 3\}$ unless $G\cong K_2\vee(P_{n-2k-4}\cup 2P_{k+1})$.

math.CO↗

arXiv2024

Spectral expansion properties of pseudorandom bipartite graphs

An $(a,b)$-biregular bipartite graph is a bipartite graph with bipartition $(X, Y)$ such that each vertex in $X$ has degree $a$ and each vertex in $Y$ has degree $b$. By the bipartite expander mixing lemma, biregular bipartite graphs have nice pseudorandom and expansion properties when the second largest adjacency eigenvalue is not large. In this paper, we prove several explicit properties of biregular bipartite graphs from spectral perspectives. In particular, we show that for any $(a,b)$-biregular bipartite graph $G$, if the spectral gap is greater than $\frac{2(k-1)}{\sqrt{(a+1)(b+1)}}$, then $G$ is $k$-edge-connected; and if the spectral gap is at least $\frac{2k}{\sqrt{(a+1)(b+1)}}$, then $G$ has at least $k$ edge-disjoint spanning trees. We also prove that if the spectral gap is at least $\frac{(k-1)\max\{a,b\}}{2\sqrt{ab - (k-1)\max\{a,b\}}}$, then $G$ is $k$-connected for $k\ge 2$; and if the spectral gap is at least $\frac{6k+2\max\{a,b\}}{\sqrt{(a-1)(b-1)}}$, then $G$ has at least $k$ edge-disjoint spanning 2-connected subgraphs. We have stronger results in the paper.

math.CO↗

arXiv2024

On the spectral extremal problem of planar graphs

The spectral extremal problem of planar graphs has aroused a lot of interest over the past three decades. In 1991, Boots and Royle [Geogr. Anal. 23(3) (1991) 276--282] (and Cao and Vince [Linear Algebra Appl. 187 (1993) 251--257] independently) conjectured that $K_2 + P_{n-2}$ is the unique graph attaining the maximum spectral radius among all planar graphs on $n$ vertices, where $K_2 + P_{n-2}$ is the graph obtained from $K_2\cup P_{n-2}$ by adding all possible edges between $K_2$ and $P_{n-2}$. In 2017, Tait and Tobin [J. Combin. Theory Ser. B 126 (2017) 137--161] confirmed this conjecture for all sufficiently large $n$. In this paper, we consider the spectral extremal problem for planar graphs without specified subgraphs. For a fixed graph $F$, let $\mathrm{SPEX}_{\mathcal{P}}(n,F)$ denote the set of graphs attaining the maximum spectral radius among all $F$-free planar graphs on $n$ vertices. We describe a rough sturcture for the connected extremal graphs in $\mathrm{SPEX}_{\mathcal{P}}(n,F)$ when $F$ is a planar graph not contained in $K_{2,n-2}$. As applications, we determine the extremal graphs in $\mathrm{SPEX}_{\mathcal{P}}(n,W_k)$, $\mathrm{SPEX}_{\mathcal{P}}(n,F_k)$ and $\mathrm{SPEX}_{\mathcal{P}}(n,(k+1)K_2)$ for all sufficiently large $n$, where $W_k$, $F_k$ and $(k+1)K_2$ are the wheel graph of order $k$, the friendship graph of order $2k+1$ and the disjoint union of $k+1$ copies of $K_2$, respectively.

math.CO↗

arXiv2024

Spectral extremal results on trees

Let ${\rm spex}(n,F)$ be the maximum spectral radius over all $F$-free graphs of order $n$, and ${\rm SPEX}(n,F)$ be the family of $F$-free graphs of order $n$ with spectral radius equal to ${\rm spex}(n,F)$. Given integers $n,k,p$ with $n>k>0$ and $0\leq p\leq \lfloor(n-k)/2\rfloor$, let $S_{n,k}^{p}$ be the graph obtained from $K_k\nabla(n-k)K_1$ by embedding $p$ independent edges within its independent set, where `$\nabla$' means the join product. For $n\geq\ell\geq 4$, let $G_{n,\ell}=S_{n,(\ell-2)/2}^{0}$ if $\ell$ is even, and $G_{n,\ell}=S_{n,(\ell-3)/2}^{1}$ if $\ell$ is odd. Cioabă, Desai and Tait [SIAM J. Discrete Math. 37 (3) (2023) 2228--2239] showed that for $\ell\geq 6$ and sufficiently large $n$, if $ρ(G)\geq ρ(G_{n,\ell})$, then $G$ contains all trees of order $\ell$ unless $G=G_{n,\ell}$. They further posed a problem to study ${\rm spex}(n,F)$ for various specific trees $F$. Fix a tree $F$ of order $\ell\geq 6$, let $A$ and $B$ be two partite sets of $F$ with $|A|\leq |B|$, and set $q=|A|-1$. We first show that any graph in ${\rm SPEX}(n,F)$ contains a spanning subgraph $K_{q,n-q}$ for $q\geq 1$ and sufficiently large $n$. Consequently, $ρ(K_{q,n-q})\leq {\rm spex}(n,F)\leq ρ(G_{n,\ell})$, we further respectively characterize all trees $F$ with these two equalities holding. Secondly, we characterize the spectral extremal graphs for some specific trees and provide asymptotic spectral extremal values of the remaining trees. In particular, we characterize the spectral extremal graphs for all spiders, surprisingly, the extremal graphs are not always the spanning subgraph of $G_{n,\ell}$.

math.CO↗

arXiv2023

Eigenvalues and factors: a survey

A factor of a graph is a spanning subgraph satisfying some given conditions. An earlier survey of factors can be traced back to the Akiyama and Kano [J. Graph Theory, 1985, 9: 1-42] in which they described the characterization of factors in (bipartite) graphs and digraphs, respectively. Soon after, Kouider and Vestergaard summarized the findings related to connected factors [Graphs Combin., 2005, 21(1): 1-26]. Plummer extended the aforementioned research by providing a comprehensive overview of progress made in the study of graph factors and factorization from 1985 to 2003 [Discrete Math., 2007, 7-8: 791-821]. In this paper, we aim to summarize the relevant results regarding factors from the perspective of eigenvalues.

math.CO↗

arXiv2023

Extremal spectral results of planar graphs without vertex-disjoint cycles

Given a planar graph family $\mathcal{F}$, let ${\rm ex}_{\mathcal{P}}(n,\mathcal{F})$ and ${\rm spex}_{\mathcal{P}}(n,\mathcal{F})$ be the maximum size and maximum spectral radius over all $n$-vertex $\mathcal{F}$-free planar graphs, respectively. Let $tC_{\ell}$ be the disjoint union of $t$ copies of $\ell$-cycles, and $t\mathcal{C}$ be the family of $t$ vertex-disjoint cycles without length restriction. Tait and Tobin [Three conjectures in extremal spectral graph theory, J. Combin. Theory Ser. B 126 (2017) 137--161] determined that $K_2+P_{n-2}$ is the extremal spectral graph among all planar graphs with sufficiently large order $n$, which implies the extremal graphs of both ${\rm spex}_{\mathcal{P}}(n,tC_{\ell})$ and ${\rm spex}_{\mathcal{P}}(n,t\mathcal{C})$ for $t\geq 3$ are $K_2+P_{n-2}$. In this paper, we first determine ${\rm spex}_{\mathcal{P}}(n,tC_{\ell})$ and ${\rm spex}_{\mathcal{P}}(n,t\mathcal{C})$ and characterize the unique extremal graph for $1\leq t\leq 2$, $\ell\geq 3$ and sufficiently large $n$. Secondly, we obtain the exact values of ${\rm ex}_{\mathcal{P}}(n,2C_4)$ and ${\rm ex}_{\mathcal{P}}(n,2\mathcal{C})$, which solve a conjecture of Li [Planar Turán number of the disjoint union of cycles, Discrete Appl. Math. 342 (2024) 260--274] for $n\geq 2661$.

math.CO↗