SearcharxivSearch

arXiv subjects

Huiqiu Lin

Publications and source records attributed to Huiqiu Lin.

At least 19 recordsLinked to original sources

Zero transfer on mixed graphs

In this paper, we investigate zero transfer on mixed graphs. Zero transfer is a quantum walk phenomenon in which the transition amplitude between two vertices is identically zero for all times, so that no quantum state transfer occurs between them. Using the Hermitian adjacency matrix, we derive necessary and sufficient conditions for zero transfer in mixed graphs. We then specialize these criteria to oriented circulant graphs, obtaining nonexistence results for prime order, structural restrictions for even order, and exhaustive computational classifications for small orders.

quant-ph

Edge-spectral supersaturation for tripartite color-critical graphs

We study edge-spectral supersaturation for two families of color-critical graphs with chromatic number three. For an integer $r\geq 1$, we define the spectral threshold \[ g_r(m):=\frac{r-1+\sqrt{4m-r^2+1}}{2}, \] which is the tight upper bound on the spectral radius of graphs avoiding $K_{s,t}^+$ (when $t+1\geq s\geq 3$) and $C_{2k+1}$ (when $r=k$), realized by split-graph constructions. First, let $t+1 \geq s\geq 3$ be fixed integers, and let $K_{s,t}^{+}$ be obtained by adding an edge to the part of size $s$ in $K_{s,t}$. We prove that every sufficiently large $m$-edge graph $G$ with $\rho(G)>g_{s-1}(m)$ contains $\Omega(m^{(s+t-1)/2})$ copies of $K_{s,t}^{+}$. Second, for any fixed $k\geq 2$, the condition $\rho(G)>g_k(m)$ forces $N(C_{2k+1},G)=\Omega(m^k).$ We also construct graphs showing that both lower bounds are tight up to constant factors. These results establish that exceeding the tight spectral Tur\'{a}n threshold $g_r(m)$ forces not just a single copy, but the optimal polynomial number of copies of these color-critical graphs. Thus, crossing the relevant split-graph spectral threshold forces the optimal polynomial order of copies, extending edge-spectral existence theorems to supersaturation results in the delicate three-chromatic regime.

math.CO

Bipartite graphs, random graphs, and Lin--Lu--Yau curvature

Let $G = (X, Y; E)$ be a bipartite graph with parts $X$ and $Y$ where $|X|=m$ and $|Y|=n$. We show that every bipartite graph with more than $mn - D(m,n)$ edges has positive Lin--Lu--Yau curvature, where $D(m,n)=m-2+\lceil{\frac {n}{2}\rceil} \text{ if $n\geq 2m$}, \mbox{and} \ n-1 \text{ if $m\leq n< 2m$}.$ We also show that every bipartite graph of order $m+n$ with $m \geq n$ and minimum degree at least $\min\{n, \lfloor{\frac{m+n}{3}\rfloor}+1\}$ has positive Lin--Lu--Yau curvature. Both bounds are sharp. Meanwhile probabilistically we can relax the edge density conditions in above results. It is shown that relatively dense random bipartite graph is positively curved. All of our proofs are based on a new formula for Lin--Lu--Yau curvature of bipartite graphs.

math.CO

Krahn--Szeg\H{o} type inequalities and nodal domain methods on graphs

We study discrete analogues of classical spectral geometric inequalities and extremal eigenvalue problems on graphs. The classical Krahn--Szeg\H{o} inequality states that, among bounded open subsets of $\mathbb{R}^n$ with fixed volume, the minimum of $\lambda_2(\Omega)$ is attained by the union of two congruent balls. Firstly, we establish a Krahn--Szeg\H{o} type inequality for trees. For trees with a fixed number of interior vertices and boundary leaves, we completely characterize the extremal structures that minimize the second Dirichlet eigenvalue. Secondly, we develop a nodal domain method for adjacency matrices. By proving an adjacency version of the nodal domain theorem for graphs, we obtain upper bounds for the second largest adjacency eigenvalue $\rho_2(G)$ of $G$ in given graph classes. These bounds imply some previous results. Finally, we settle the Aouchiche--Hansen conjecture (2010) on the second largest eigenvalue with given number of edges and clique number. We prove that for connected graphs $G$ of odd order $n \geq 5$, $|\rho_2| \cdot \omega \leq m-2$, with equality if and only if $G$ consists of two complete graphs of orders $\frac{n+1}{2}$ and $\frac{n-1}{2}$ joined by an edge or a path. For even $n \geq 2$, the quantity $|\rho_2| \cdot \omega - m$ is maximized exactly when $G$ is obtained by adding one edge between the two copies of $K_{n/2}$ by an edge. The core of the methods developed in this paper is to regard a connected graph as an internally disconnected graph with Dirichlet boundary condition. This perspective allows us to transfer nodal domain techniques from continuous spectral geometry to discrete settings and to obtain sharp extremal characterizations across diverse graph classes.

math.CO

Minimally $(k,k)$-edge-connected graphs via spectral radius

For $l > 1$, the $l$-edge-connectivity $\kappa'_l(G)$ of a connected graph $G$ is defined as the minimum number of edges whose removal leaves a graph with at least $l$ components. A graph is minimally $(k,l)$-edge-connected if $\kappa'_l(G)\geq k$ but for any edge $e\in E(G)$ satisfies that $\kappa'_l(G-e)< k$. Motivated by two foundational extremal problems: Brualdi and Solheid's problem [SIAM J. Algebra Discrete Methods (1986)] for graphs of fixed order: determine sharp upper bounds for the spectral radius over graph families and characterize extremal graphs; and its fixed size analogue proposed by Brualdi and Hoffman [Linear Algebra Appl. (1985)], we resolve both problems for minimally $(k,k)$-edge-connected graphs. Building on the structural framework of Hennayake, Lai, Li, and Mao [J. Graph Theory (2003)], we combine edge-switching method and double eigenvectors skill to characterize the graphs maximizing the spectral radius among all minimally $(k,k)$-edge-connected graphs of prescribed order or size. Our results generalize the $k=2$ cases established by Lou, Min, and Huang [Electron. J. Comb. (2023)] and Chen and Guo [Discrete Math. (2019)].

math.SP

Spectral extremal results for triangle-free graphs with chromatic number at least four

A graph is called $F$-free if it does not contain a copy of $F$. Let $G(r,s)$ denote a $K_{r+1}$-free graph of order $n$ with chromatic number at least $s$ that maximizes the spectral radius. Nikiforov [Linear Algebra Appl., 2007] proved the spectral Tur\'{a}n theorem, which implies that $G(r,s)$ is the $r$-partite Tur\'{a}n graph $T_{n,r}$ for $s\leq r$. Lin, Ning, and Wu [Combin. Probab. Comput., 2021] characterized the unique spectral extremal graph $G(2,3)$. This result was later extended by Li and Peng [SIAM J. Discrete Math., 2023] to all $s=r+1\geq 3$. In this paper, we push the characterization further by determining the unique extremal graph $G(2,4)$ for all sufficiently large $n$. Specifically, we show that $G(2,4)$ is precisely a blow-up of the Gr\"{o}tzsch graph. Interestingly, under the same conditions, $G(2,4)$ also coincides with the unique edge-extremal graph identified by Ren, Wang, Wang, and Yang [arXiv:2404.07486v2].

math.CO

A local spectral condition for perfect matchings in 3-graphs

Let $\gamma$ be a constant such that $0 < \gamma < 1$, and let $n$ be a sufficiently large integer. Consider a $3$-uniform hypergraph $H$ on $n$ vertices. In 2013, K\"{u}hn, Osthus, and Treglown, along with Khan independently, proved that for large enough $n$ with $n\equiv 0\pmod{3}$, if $\delta_1(H)\geq\binom{2n/3}{2}$, then $H$ admits a perfect matching. For any vertex $v\in V(H)$, we define $N_H(v)$ as the $2$-graph with vertex set $V(H)\setminus\{v\}$ and edge set $E(N_H(v)) = \{e\subseteq V(H)\setminus\{v\}: e\cup \{v\}\in E(H)\}$. In this paper, we show that if $\rho(N_H(v)) > (2/3+\gamma)n$ for all $v\in V(H)$, where $\rho(N_H(v))$ denotes the spectral radius of $N_H(v)$, then $H$ has a perfect matching. This bound is asymptotically tight. Furthermore, for integer $s$ satisfying $n\geq 3s+3$, we establish that if \[ \rho(N_H(v))>\frac{1}{2}(s-1+\sqrt{(s-1)^2+4s(n-s-1)})\] holds for every $v\in V(H),$ then $H$ admits a fractional matching of size $s+1$. Notably, this second spectral bound is tight.

math.CO

Maximizing the Steklov eigenvalues on trees with a diameter constraint

We study the first nonzero Steklov eigenvalue $\lambda_2(T,\delta\Omega)$ of the Dirichlet-to-Neumann operator on a finite tree $T$ with leaf boundary $\delta\Omega$, under a constraint on the diameter $D$. He and Hua [Calc. Var. PDE, 2022] showed that $\lambda_2(T) \leq 2/D$ for any tree of diameter $D$, with the even-diameter equality case fully characterized. For odd $D$, the geometric picture underlying the sharp configurations has remained unclear beyond diameter three. We determine this picture completely for all odd diameters $D = 2r+1 \geq 5$. The sharp value of $\lambda_2$ is achieved on spider trees with nearly-equidistributed branch lengths, forming the family of \emph{generalized almost seesaw trees} $\mathrm{AS}(r,q+2,c,t)$, prescribed by the arithmetic of $n$ relative to $\lceil r/2 \rceil$. Together with the results of He-Hua and Lin-Zhao [Bull. Lond. Math. Soc., 2025] for even diameters and diameter three, this completes the geometric classification for every diameter. The argument is based on a scalar root equation for one-center profiles, an inverse boundary quadratic form on boundary fluxes, and a reduction scheme from arbitrary trees to two-center profiles, and then to the one-center class. The inverse variational viewpoint may be regarded as a boundary analogue of the classical distance-matrix formalism for trees initiated by Graham and Lov\'asz [Adv. Math., 1978].

math.CO

Counting color-critical subgraphs under Nikiforov's condition

For a graph $G$ with $m$ edges, let $\rho(G)$ be its spectral radius, and let $N_F(G)$ denote the number of copies of $F$ in $G$. Nikiforov [Combin. Probab.\,Comput., 2002] proved that for $r\geq 2$, if $\rho(G)>\sqrt{(1-1/r)2m}$, then $N_{K_{r+1}}(G)\geq 1$. Furthermore, Bollob\'{a}s and Nikiforov [J. Combin. Theory, Ser. B, 2007] used $\rho(G)$ to establish a counting inequality for complete subgraphs. In this paper, we generalize and strengthen the above results to any color-critical graph $F$ with chromatic number at least four. More precisely, we demonstrated that under Nikiforov's condition, the number of copies of $F$ in $G$ satisfies $N_F(G)\geq\big(\gamma_F-o(1)\big)m^{(|F|-2)/2},$ where both the leading item and the constant $\gamma_F$ are optimal. Let $F$ be a non-star graph with $\chi(F)=r+1$, and let $G$ be any graph of sufficiently large size $m$ satisfying $N_F(G)=o(m^{|F|/2})$. To support the aforementioned counting arguments, we initially employ the method of progressive induction to tackle spectral problems, proving that $\rho(G)\leq\sqrt{(1-1/r+o(1))2m}$ for $r\geq 3$, and $\rho(G)\leq\sqrt{(1+o(1))m}$ for $r\in \{1,2\}$. Furthermore, we establish a stability result for edge-spectral supersaturation: specifically, if $r\geq 3$ and $\rho(G)\geq\sqrt{(1-1/r-o(1))2m}$, then $G$ differs from an $r$-partite Tur\'{a}n graph by $o(m)$ edges; if $r\in \{1,2\}$ and $\rho(G)\geq\sqrt{(1-o(1))m}$, then $G$ differs from a complete bipartite graph by $o(m)$ edges. This implies the well-known Erdos-Simonovits stability theorem and existing spectral stability theorems, by strengthening the setting from $F$-free graphs to graphs containing only a limited number of copies of $F$. Finally, we propose several counting-related open problems for further investigation.

math.CO

Spectral radius, toughness and $k$-factor of graphs

A $k$-regular spanning subgraph of $G$ is called a $k$-factor. Fan, Lin and Lu [European J. Combin. 110 (2023) 103701] presented a tight sufficient condition in terms of the spectral radius for a connected 1-tough graph to contain a connected 2-factor (Hamilton cycle). Then it is interesting to consider the following problem: What is the spectral radius condition to guarantee the existence of a $k$-factor with $k\ge3$ in a connected 1-tough graph $G$ with $\delta(G)\ge k$? In this paper, we completely solve this problem.

math.CO

Spectral extremal graphs on closed surfaces of fixed Euler genus

Graph theory on surfaces extends classical graph structures to topological surfaces, providing a theoretical foundation for characterizing the embedding properties of complex networks in constrained spaces. The study of bounding the spectral radius $\rho(G)$ of graphs on surfaces has a rich history that dates back to the 1990s. In this paper, we establish tight bounds for graphs of order $n$ that are embeddable on a surface with Euler genus $\gamma$. Specifically, if graph $G$ achieves the maximum spectral radius, then \begin{equation*} \begin{array}{ll} \frac32\!+\!\sqrt{2n\!-\!\frac{15}4}\!+\!\frac{3\gamma\!-\!1}{n}<\rho(G)<\frac32\!+\!\sqrt{2n\!-\!\frac{15}4}\!+\!\frac{3\gamma\!-\!0.95}{n}, \end{array} \end{equation*} which improves upon the earlier bound $\rho(G)\leq2+\sqrt{2n+8\gamma-6}$ by Ellingham and Zha [JCTB, 2000]. Furthermore, we prove that any extremal graph is obtained from $K_2 \nabla P_{n-2}$ by adding exactly $3\gamma$ edges, where `$\nabla$' means the join product. As a corollary, for $\gamma = 0$ and $n \geq 4.5 \times 10^6$, the graph $K_2 \nabla P_{n-2}$ is the unique planar extremal graph, thereby confirming a long-standing conjecture resolved by Tait and Tobin [JCTB, 2017]. Let $K_r^n$ be the graph of order $n$ obtained by attaching two paths of nearly equal length to two distinct vertices of $K_r$. Integrating spectral techniques with considerable structural analysis on surface graphs, we further derive the following sharp bounds: $\rho(G) \leq \rho(K_2 \nabla K_4^{n-2})$ for projective-planar graphs, and $\rho(G) \leq \rho(K_2 \nabla K_5^{n-2})$ for toroidal graphs. Our study presents a novel framework for exploring the eigenvalue-extremal problem on surface graphs with high Euler genus.

math.CO

More on spectral supersaturation for the bowtie

A central topic in extremal graph theory is the supersaturation problem, which studies the minimum number of copies of a fixed substructure that must appear in any graph with more edges than the corresponding Tur\'an number. Significant works due to Erd\H{o}s, Rademacher, Lov\'{a}sz and Simonovits investigated the supersaturation problem for the triangle. Moreover, Kang, Makai and Pikhurko studied the case for the bowtie, which consists of two triangles sharing a vertex. Building upon the pivotal results established by Bollob\'{a}s, Nikiforov, Ning and Zhai on counting triangles via the spectral radius, we study in this paper the spectral supersaturation problem for the bowtie. Let $\lambda (G)$ be the spectral radius of a graph $G$, and let $K_{\lceil \frac{n}{2}\rceil, \lfloor \frac{n}{2}\rfloor}^q$ be the graph obtained from Tur\'{a}n graph $T_{n,2}$ by adding $q$ pairwise disjoint edges to the partite set of size $\lceil \frac{n}{2}\rceil$. Firstly, we prove that there exists an absolute constant $\delta >0$ such that if $n$ is sufficiently large, $2\le q \le \delta \sqrt{n}$, and $G$ is an $n$-vertex graph with $\lambda (G)\ge \lambda (K_{\lceil \frac{n}{2}\rceil, \lfloor \frac{n}{2}\rfloor}^q)$, then $G$ contains at least ${q\choose 2}\lfloor \frac{n}{2}\rfloor$ bowties, and $K_{\lceil \frac{n}{2}\rceil, \lfloor \frac{n}{2}\rfloor}^q$ is the unique spectral extremal graph. This solves an open problem proposed by Li, Feng and Peng. Secondly, we show that a graph $G$ whose spectral radius exceeds that of the spectral extremal graph for the bowtie must contain at least $\lfloor \frac{n-1}{2}\rfloor$ bowties. This sharp bound reveals a distinct phenomenon from the edge-supersaturation case, which guarantees at least $\lfloor \frac{n}{2}\rfloor$ bowties.

math.CO

A Faber--Krahn inequality for trees

The well-known Faber-Krahn theorem states that the ball has the lowest first Dirichlet eigenvalue among all domains of the same volume in $\mathbb{R}^n$. Leydold (Geom. Funct. Anal, 1997) gave the discrete version of Faber-Krahn inequality for regular trees with boundary. B{\i}y{\i}ko{\u{g}}lu and Leydold (J. Combin. Theory Ser. B, 2007) demonstrated that the Faber--Krahn inequality holds for the class of trees with boundary with the same degree sequence. They further posed the following question: Give a characterization of all graphs in a given class \(\mathcal{C}\) with the Faber-Krahn property. In this paper, we show the Faber-Krahn property for trees with given matching number. Our result can imply the Klob\"ur\v{s}tel theorem, i.e., the Faber-Krahn inequality for trees with given number of interior vertices and boundary vertices.

math.CO

Spectral supersaturation for color-critical graphs

A graph is color-critical if it contains an edge whose deletion reduces its chromatic number. This class of graphs, including cliques and odd cycles, plays a central role in extremal graph theory. In this paper, following an influential line of research initiated by Bollob\'as-Nikiforov, we study the spectral supersaturation problem for color-critical graphs. Let $T_{n,r}$ be the $r$-partite Tur\'an graph, let $\mathcal{T}_{n,r,q}$ denote the family of graphs obtained from $T_{n,r}$ by adding $q$ edges, and let $\lambda(G)$ be the spectral radius of a graph $G$. We first prove that for any color-critical graph $F$ with chromatic number $r+1$, there exists $\delta_F > 0$ such that for sufficiently large $n$ and all $1 \leq q \leq \delta_F \sqrt{n}$, any $n$-vertex graph $G$ with $\lambda(G) \ge \min_{T \in \mathcal{T}_{n,r,q}} \lambda(T)$ contains at least $q \cdot c(n,F)$ copies of $F$, where $c(n,F)$ denotes the minimum number of copies of $F$ created by adding a single edge to $T_{n,r}$; moreover, any extremal graph $G$ must belong to $ \mathcal{T}_{n,r,q}$.Next, we prove a spectral supersaturation result for the analogous condition $\lambda(G) \ge \max_{T \in \mathcal{T}_{n,r,q}} \lambda(T)$, valid for all $1 \leq q \leq \delta_F n$. Together, these results provide a complete resolution to a problem proposed by Ning-Zhai, and establish a spectral counterpart to the well-known results of Mubayi and Pikhurko-Yilma in the extremal supersaturation setting. A notable feature of our first result is that the restriction $q = O(\sqrt{n})$ is tight up to a constant factor, in contrast to the linear bounds provided by other settings discussed above. As applications, we extend a result of Liu-Mubayi, and solve a related conjecture by Li-Lu-Peng.

math.CO

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 $\Omega = 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 $$\lambda_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 $$\lambda_1(G, B) \geq \frac{1}{r |\Omega|}.$$ In particular, for a tree $T$ with at least $3$ vertices, we show that $$\lambda_1(T) \geq 4 \sin^2 \frac{\pi}{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

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 $\delta(G) \geq a$, where $b > a \geq 1$. This result resolves a problem posed by Hao and Li [Electron. J. Combin. (2024)].

math.SP

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

On the Tur\'{a}n number of odd-ballooning of $3$-chromatic graphs

Given a graph $F$, the Tur\'{a}n number ${\rm ex}(n,F)$ is the maximum number of edges in any $n$-vertex $F$-free graph. The odd-ballooning of $F$, denoted by $F^{o}$, is a graph obtained by replacing each edge of $F$ with an odd cycle, where all new vertices of the odd cycles are distinct. The Tur\'{a}n number of the odd-ballooning of $F$ has been established for several important cases. For a star, it was determined by Erd\H{o}s, F\"{u}redi, Gould, and Gunderson (1995), Hou, Qiu, and Liu (2018), and Yuan (2018); for trees under certain conditions, by Zhu and Chen (2023); and for complete bipartite graphs $K_{s,t}$ ($t\geq s \geq 2$) where each substituted odd cycle has length at least five, by Peng and Xia (2024). In this paper, we apply Simonovits' celebrated method of progressive induction to determine the Tur\'{a}n number for the odd-ballooning of a class of $3$-chromatic graphs. Specifically, let $F$ be a graph formed by connecting a single vertex to all vertices of another graph whose components are either non-trivial trees or even cycles. We determine ${\rm ex}(n,F^{o})$ when each substituted odd cycle in $F^{o}$ has length at least five. As corollaries, we obtain the Tur\'{a}n number for the odd-ballooning of several well-known graph classes, including odd wheels, fan graphs, book graphs, and friendship graphs, where each substituted odd cycle in the ballooning has length at least five.

math.CO