arXiv++ Combinatorics

A factor of a graph is essentially a specific type spanning subgraph. In recent years, the spectral extremal problem of characterizing the existence of graph factors via eigenvalues has been widely studied. This paper focuses on fractional $ID$-$[a, b]$-factor-critical graphs, which are a natural generalization of fractional $[a,b]$-factors. Let $r \ge 1$ be an integer. A graph $G$ is fractional $ID$-$[a, b]$-factor-critical if for every independent set $I$ of $G$ with $|I| = r$, $G - I$ has a fractional $[a, b]$-factor. In 2026, Jia, Fan and Liu posed the spectral version conjecture for a graph to be fractional $ID$-$[a, b]$-factor-critical [Linear Algebra Appl. 732 (2026) 1-17]. In this paper, we first prove the conjecture holds for connected graphs when $b\ge 2r+2$. Furthermore, for minimum degree $δ(G)\ge a+r$, we present spectral radius and size conditions that ensure a graph is fractional $ID$-$[a, b]$-factor-critical, which improve the results of Jia, Fan and Liu.

A $k$-matching in a graph $G$ is defined as a function $f:E(G) \rightarrow \{0,1,\ldots,k\}$ satisfying $\sum_{e\in E_G(v)} f(e)$ $\leq k$ for each vertex $v\in V(G)$, where $E_G(v)$ denotes the set of edges incident to $v$ in $G$. For $1\leq d\leq k$ and $d \equiv |V(G)|~(\mathrm{mod}~2)$, if for any $ v \in V(G)$, there exists a $k$-matching $f$ such that $\sum_{e\in E_G(v)}f(e)=k-d$ and $\sum_{e\in E_G(u)}f(e)=k \text{ for any } u\in V(G)-\{v\}$, then $G$ is $k$-$d$-critical. A graph $G$ of odd order (resp. even order) is generalized factor-critical (resp. generalized bicritical) if the empty set is the unique set attaining the maximum value in $k$-Berge-Tutte-formula of $G$. In this paper, we provide sharp sufficient conditions in terms of size or spectral radius respectively for a graph $G$ to be $k$-$d$-critical, generalized factor-critical and generalized bicritical with minimum degree.

Let $κ'(G)$ and $τ(G)$ denote the edge connectivity and the spanning tree packing number of a graph $G$, respectively. Recently, Zhang and Fan [J. Graph Theory 112 (2) (2026) 128--144] posed the problem of finding a tight spectral radius condition for an $m$-edge-connected graph $G$ to guarantee $τ(G)\ge k$ for $k+1\le m\le 2k-1$, and solved the case $k=2$ and $m=3$. In this paper, we study the general case $m=k+1$ for $k\ge 3$. We obtain a tight spectral radius condition for a $(k+1)$-edge-connected graph to contain $k$ edge-disjoint spanning trees, and characterize the corresponding extremal graph. More precisely, we prove that if $k\ge 3$ and $G$ is a $(k+1)$-edge-connected graph of order $n\ge 3k+2$, and $ρ(G)\ge ρ(F_{n,k})$, then $τ(G)\ge k$ unless $G\cong F_{n,k}$, where $F_{n,k}$ is the graph with vertex set $U\cup T$, in which $U=\{u_1,u_2,\ldots,u_{n-4}\}$ and $T=\{v_1,v_2,v_3,v_4\}$, such that $F_{n,k}[U]\cong K_{n-4}$, $F_{n,k}[T]\cong K_4-e$ with missing edge $v_1v_2$, and $E_G(T,U)=\{v_i u_j : i \in \{1,2\},\ 1 \le j \le k-1\} \cup \{v_i u_j : i \in \{3,4\},\ 1 \le j \le k-2\}$. We also give a heuristic discussion of the more general case $m=k+c$ with $0\le c\le k-1$ and propose a conjecture on the structure of the corresponding extremal graphs.

Let $\mbox{odd}(G)$ and $i(G)$ denote the number of nontrivial odd components and the number of isolated vertices of a graph $G$, respectively. The $k$-Berge-Tutte-formula of a graph $G$ is defined as: $\mbox{def}_k(G)=\mathop{\text{max}}\limits_{S\subseteq V(G)}\{k\cdot i(G-S)-k|S|\} $ for even $k$; $\mbox{def}_k(G)=\mathop{\mbox{max}}\limits_{S\subseteq V(G)}\{\mbox{odd}(G-S)+k\cdot i(G-S)-k|S|\} $ for odd $k$. A $k$-barrier of a graph $G$ is the subset $S\subseteq V(G)$ that reaches the maximum value in the $k$-Berge-Tutte-formula of $G$. A graph $G$ of odd order (resp. even order) is generalized factor-critical (resp. generalized bicritical) if $\emptyset$ is its only $k$-barrier. Denote by $E_G(v)$ the set of all edges incident to a vertex $v$ in $G$. A $k$-matching of a graph $G$ is a function $f:E(G) \rightarrow \{0,1,...,k\}$ such that $\sum_{e\in E_G(v)} f(e)$ $\leq k$ for every vertex $v\in V(G)$. For $1\leq d\leq k$ and $d \equiv |V(G)|$(mod 2), if for any $ v \in V(G)$, there exists a $k$-matching $f$ such that $\sum_{e\in E_G(v)}f(e)=k-d$ and $\sum_{e\in E_G(u)}f(e)=k \text{ for any } u\in V(G)-\{v\}$. Then $G$ is $k$-$d$-critical. In this paper, we establish tight sufficient conditions in terms of size or spectral radius respectively for a graph $G$ to be generalized factor-critical, generalized bicritical, and $k$-$d$-critical. Furthermore, we prove the equivalence of the existence of four factors (namely, $\{K_2,\{C_t: t\geq 3\}\}$-factor, $\{K_2,\{C_{2t+1}:t\geq 1 \}\}$-factor, fractional perfect matching, perfect $k$-matching with even $k$) in a graph. Thus we also give size conditions and spectral radius conditions for a graph $G-v$ to have one of the four factors for any $v\in V(G)$.

Let $k$ be a positive integer and let $G$ be a simple graph of order $n$ with minimum degree $δ$. A graph $G$ is said to have property $P(k, d)$ if it contains $k$ edge-disjoint spanning trees and an additional forest $F$ with edge number $|E(F)| > \frac{d-1}{d}(|V(G)| - 1)$, such that if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. Let $D(G)$ be the degree diagonal matrix of $G$. We denote $λ_i$ and $μ_i$ as the $i$th largest eigenvalue of the adjacency matrix $A(G)$ of $G$ and the Laplacian matrix $L(G) = D(G) - A(G)$ of $G$ for $i = 1, 2, \ldots, n$, respectively. In this paper, we investigate the relationship between Laplacian eigenvalues and property $P(k, δ)$. Let $t$ be a positive integer, and define $\mathcal{G}_t$ as the set of simple graphs such that each $G \in \mathcal{G}_t$ contains at least $t+1$ non-empty disjoint proper subsets $V_1, V_2, \ldots, V_{t+1}$ satisfying $V(G) \setminus \bigcup_{i=1}^{t+1} V_i \neq \emptyset$ and edge connectivity $κ'(G) = e(V_i, V(G) \setminus V_i)$ for any $i = 1, 2, \ldots, t+1$. For the class of graphs $\mathcal{G}_1$ with minimum degree $δ$, we provide a sufficient condition involving the third smallest Laplacian eigenvalue $μ_{n-2}(G)$ for a graph $G\in \mathcal{G}_1$ to have property $P(k, δ)$. Similarly, for the class of graphs $\mathcal{G}_2$ with minimum degree $δ$, we establish a corresponding sufficient condition involving the fourth smallest Laplacian eigenvalue $μ_{n-3}(G)$ for a graph $G\in \mathcal{G}_2$ to have property $P(k, δ)$. Furthermore, we extend the spectral conditions for all the results about $μ_{n-2}(G)$, $μ_{n-3}(G)$ and $λ_2(G)$ to the general graph matrices $aD(G) + A(G)$ and $aD(G) + bA(G)$.

Let $k\ge 2$ be a positive integer and let $G$ be a simple graph of order $n$ with minimum degree $δ$. A graph $G$ is said to have property $P(k, d)$ if it contains $k$ edge-disjoint spanning trees and an additional forest $F$ with edge number $|E(F)| > \frac{d-1}{d}(n-1)$, such that if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. Let $D(G)$ be the distance matrix of $G$. We denote $ρ_D(G)$ as the largest eigenvalue of $D(G)$, which is called the distance spectral radius of $G$. In this paper, we investigate the relationship between the distance spectral radius and the property $P(k, δ)$. We prove that for a connected graph $G$ of order $n \ge 2k+8$ with minimum degree $δ\ge k+2$, if $ρ_D(G) \le ρ_D(K_{k-1} \vee (K_{n-k} \cup K_1))$, then $G$ possesses property $P(k, δ)$. Furthermore, for a connected balanced bipartite graph $G$ of order $n \ge 4k+8$ with minimum degree $δ\ge k+2$, we show that if $ρ_D(G) \le ρ_D(K_{\frac{n}{2}, \frac{n}{2}} \setminus E(K_{1, \frac{n}{2}-k+1}))$, then $G$ also possesses property $P(k, δ)$. Our results generalize the work of Fan et al. [Discrete Appl. Math. 376 (2025), 31--40] from the existence of $k$ edge-disjoint spanning trees to the more refined structural property $P(k, δ)$.

A factor of a graph is essentially a specific type spanning subgraph. The study of characterizing the existence of $[a, b]$-factors based on eigenvalue conditions can be traced back to the work of Brouwer and Haemers (2005) on perfect matchings. With the advancement of graphs factor theory, the related spectral extremal problems, particularly the study of $[a,b]$-factors and fractional $[a,b]$-factors, have been widely studied by scholars. Our work is motivated by research related to the $[a,b]$-factors and fractional $[a,b]$-factors, and explores their generalizations: $(a,b,k)$-critical graphs and fractional $(a,b,k)$-critical graphs. A graph $G$ is called an $(a,b,k)$-critical (a fractional $(a,b,k)$-critical) graph if after deleting any $k$ vertices of $G$ the remaining graph of $G$ has an $[a,b]$-factor (a fractional $[a,b]$-factor). In this paper, we establish spectral radius conditions for a graph to be $(a,b,k)$-critical or fractional $(a,b,k)$-critical. When $k=0$, our results also resolve some open problems concerning $[a, b]$-factors and fractional $[a, b]$-factors.

A fractional $(a,b,m)$-covered graph is a generalization of the concept of a fractional $[a,b]$-covered graph. For any $H \subseteq G$ with edge set $|E(H)| = m$, if there exists a fractional $[a,b]$-factor (the corresponding fractional indicator function is $h$) such that $h(e) = 1$ for any $e \in H$, then the graph $G$ is called a fractional $(a,b,m)$-covered graph. In this paper, we characterize the conditions for a graph to be a fractional $(a,b,m)$-covered graph from the perspectives of spectral radius and size, respectively.

Let $G$ be a simple connected graph with vertex set $V(G)=\{v_{1}, v_{2}, \ldots, v_{n}\}$. The distance $d_G(v_i,v_j)$ between two vertices $v_i$ and $v_j$ of $G$ is the length of a shortest path between $v_i$ and $v_j$. The distance matrix of $G$ is defined as $D(G)=(d_G(v_i,v_j))_{n\times n}$. The second largest distance eigenvalue of \( G \) is the second largest eigenvalues of $D(G)$. Guo and Zhou [Discrete Math. 347(2024), 114082] proved that any connected graph with the second largest distance eigenvalue less than $-\frac{1}{2}$ is chordal, and characterize all bicyclic graphs and split graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$. Based on this, we characterize all tricyclic graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$.

A graph $G$ is called $k$-factor-critical if $G-S$ has a perfect matching for every $S\subseteq G$ with $|S|=k$. A connected graph $G$ is called $t$-connected if it has more than $t$ vertices and remains connected whenever fewer than $t$ vertices are removed. We give a condition on the number of edges and a condition on the spectral radius for $k$-factor-criticality in $t$-connected graphs.

Let $G$ be a strongly connected digraph with $n$ vertices and $m$ arcs. For any real $α\in[0,1]$, the $A_α$ matrix of a digraph $G$ is defined as $$A_α(G)=αD(G)+(1-α)A(G),$$ where $A(G)$ is the adjacency matrix of $G$ and $D(G)$ is the outdegrees diagonal matrix of $G$. The eigenvalue of $A_α(G)$ with the largest modulus is called the $A_α$ spectral radius of $G$, denoted by $λ_α(G)$. In this paper, we first obtain an upper bound on $λ_α(G)$ for $α\in[\frac{1}{2},1)$. Employing this upper bound, we prove that for two strongly connected digraphs $G_1$ and $G_2$ with $n\ge4$ vertices and $m$ arcs, and $α\in [\frac{1}{\sqrt{2}},1)$, if the maximum outdegree $Δ^+(G_1)\ge 2α(1-α)(m-n+1)+2α$ and $Δ^+(G_1)>Δ^+(G_2)$, then $λ_α(G_1)>λ_α(G_2)$. Moreover, We also give another upper bound on $λ_α(G)$ for $α\in[\frac{1}{2},1)$. Employing this upper bound, we prove that for two strongly connected digraphs with $m$ arcs, and $α\in[\frac{1}{2},1)$, if the maximum outdegree $Δ^+(G_1)>\frac{2m}{3}+1$ and $Δ^+(G_1)>Δ^+(G_2)$, then $λ_α(G_1)+\frac{1}{4}>λ_α(G_2)$.

Let $Q(G)=D(G)+A(G)$ be the signless Laplacian matrix of a simple graph $G$, where $D(G)$ and $A(G)$ are the degree diagonal matrix and the adjacency matrix of $G$, respectively. The largest eigenvalue of $Q(G)$, denoted by $q(G)$, is called the signless Laplacian spectral radius of $G$. Let $θ(l_{1},l_{2},l_{3})$ denote the theta graph which consists of two vertices connected by three internally disjoint paths with length $l_{1}$, $l_{2}$ and $l_{3}$. Let $F_{n}$ be the friendship graph consisting of $\frac{n-1}{2}$ triangles which intersect in exactly one common vertex for odd $n\geq3$ and obtained by hanging an edge to the center of $F_{n-1}$ for even $n\geq4$. Let $S_{n,k}$ denote the graph obtained by joining each vertex of $K_{k}$ to $n-k$ isolated vertices. Let $S_{n,k}^{+}$ denote the graph obtained by adding an edge to the two isolated vertices of $S_{n,k}$. In this paper, firstly, we show that if $G$ is $θ(1,2,2)$-free, then $q(G)\leq q(F_{n})$, unless $G\cong F_{n}$. Secondly, we show that if $G$ is $θ(1,2,3)$-free, then $q(G)\leq q(S_{n,2})$, unless $G\cong S_{n,2}$. Finally, we show that if $G$ is $\{θ(1,2,2),F_{5}\}$-free, then $q(G)\leq q(S_{n,1}^{+})$, unless $G\cong S_{n,1}^{+}$.

A graph $G$ is $F$-free if $G$ does not contain $F$ as a subgraph. Let $\mathcal{G}(m, F)$ denote the family of $F$-free graphs with $m$ edges and without isolated vertices. Let $S_{n,k}$ denote the graph obtained by joining every vertex of $K_{k}$ to $n-k$ isolated vertices and $S_{n,k}^{t}$ denote the graph obtained from $S_{n-t,k}$ by attaching $t$ pendant vertices to the maximal degree vertex of $S_{n-t,k}$, respectively. Denote by $H_{n}$ the fan graph obtain from $n-1$-vertex path plus a vertex adjacent to each vertex of the path. Particularly, the graph $H_{5}$ is also known as the gem. Zhang and Wang [Discrete Math. 347(2024)114171] and Yu, Li and Peng [arXiv: 2404. 03423] showed that every gem-free graph $G$ with $m$ edges satisfies $ρ(G)\leq ρ(S_{\frac{m+3}{2},2})$. In this paper, we show that if $G\in \mathcal{G}(m, H_{5})\setminus S_{\frac{m+3}{2},2}$ be a graph of odd size $m\geq23$, then $ρ(G)\leq ρ(S_{\frac{m+5}{2},2}^{2})$, and equality holds if and only if $G\cong S_{\frac{m+5}{2},2}^{2}$.

The $Q$-index of graph $G$ is the largest eigenvalue of the signless Laplacian matrix of $G$. Wang [Discrete Appl. Math. 356(2024)] proved the sharp upper bounds on the $Q$-index of leaf-free graphs with given size and characterized the corresponding extremal graphs. A graph is $2$ leaves-free if it has no two pendent vertices. In this paper, we give sharp upper bounds on the $Q$-index of 2 leaves-free graphs with given size and characterize the corresponding extremal graphs.

A graph $G$ is $F$-free if $G$ does not contain $F$ as a subgraph. Let $ρ(G)$ be the spectral radius of a graph $G$. Let $θ(1,p,q)$ denote the theta graph, which is obtained by connecting two distinct vertices with three internally disjoint paths with lengths $1, p, q$, where $p\leq q$. Let $S_{n,k}$ denote the graph obtained by joining every vertex of $K_{k}$ to $n-k$ isolated vertices and $S_{n,k}^{-}$ denote the graph obtained from $S_{n,k}$ by deleting an edge incident to a vertex of degree $k$, respectively. In this paper, we show that if $ρ(G)\geqρ(S_{\frac{m+4}{2},2}^{-})$ for a graph $G$ with even size $m\geq 92$, then $G$ contains a $θ(1,3,3)$ unless $G\cong S_{\frac{m+4}{2},2}^{-}$.

Let $T_{4p}=\langle a,b\mid a^{2p}=1,a^p=b^2, b^{-1}ab=a^{-1}\rangle$ be the dicyclic group of order $4p$. A Cayley digraph over $T_{4p}$ is called a dicirculant digraph. In this paper, we calculate the number of (connected) dicirculant digraphs of order $4p$ ($p$ prime) up to isomorphism by using the Pólya Enumeration Theorem. Moreover, we get the number of (connected) dicirculant digraphs of order $4p$ ($p$ prime) and out-degree $k$ for every $k$.

Let $\mathcal{F}$ be a family of $r$-uniform hypergraphs. Denote by $\ex^{\mathrm{conn}}_r(n,\mathcal{F})$ the maximum number of hyperedges in an $n$-vertex connected $r$-uniform hypergraph which contains no member of $\mathcal{F}$ as a subhypergraph. Denote by $\mathcal{B}C_k$ the Berge cycle of length $k$, and by $\mathcal{B}P_k$ the Berge path of length $k$. Füredi, Kostochka and Luo, and independently Győri, Salia and Zamora determined $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ provided $k$ is large enough compared to $r$ and $n$ is sufficiently large. For the case $k\le r$, Kostochka and Luo obtained an upper bound for $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$. In this paper, we continue investigating the case $k\le r$. We precisely determine $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ when $n$ is sufficiently large and $n$ is not a multiple of~$r$. For the case $k=r+1$, we determine $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ asymptotically.

Let $H_7$ denote the $7$-vertex \textit{fan graph} consisting of a $6$-vertex path plus a vertex adjacent to each vertex of the path. Let $K_3 \vee \frac{m-3}{3}K_1$ be the graph obtained by joining each vertex of a triangle $K_3$ to $\frac{m-3}{3}$ isolated vertices. In this paper, we show that if $G$ is an $H_{7}$-free graph with size $m\geq 33$, then the spectral radius $ ρ(G)\leq 1+\sqrt{m-2},$ equality holds if and only if $G\cong K_3 \vee \frac{m-3}{3}K_1$ (possibly, with some isolated vertices).

In this paper, we study dual quaternion and dual complex unit gain graphs and their spectral properties in a unified frame of dual unit gain graphs. Unit dual quaternions represent rigid movements in the 3D space, and have wide applications in robotics and computer graphics. Dual complex numbers found application in brain science recently. We establish the interlacing theorem for dual unit gain graphs, and show that the spectral radius of a dual unit gain graph is always not greater than the spectral radius of the underlying graph, and these two radii are equal if and only if the dual gain graph is balanced. By using the dual cosine functions, we establish the closed form of eigenvalues of adjacency and Laplacian matrices of dual complex and quaternion unit gain cycles. We then show the coefficient theorem holds for dual unit gain graphs. Similar results hold for the spectral radius of the Laplacian matrix of the dual unit gain graph too.

Let $G$ be a connected graph with order $n$ and size $m$. Let $D(G)$ and $Tr(G)$ be the distance matrix and diagonal matrix with vertex transmissions of $G$, respectively. For any real $α\in[0,1]$, the generalized distance matrix $D_α(G)$ of $G$ is defined as $$D_α(G)=αTr(G)+(1-α)D(G).$$ The largest eigenvalue of $D_α(G)$ is called the $D_α$ spectral radius or generalized distance spectral radius of $G$, denoted by $μ_α(G)$. In this paper, we establish a lower bound on the difference between the maximum vertex transmission and the $D_α$ spectral radius of non-transmission regular graphs, and we also characterize the extremal graphs attaining the bound.