arXiv++ Combinatorics

In this paper, we demonstrate the effects on the second largest eigenvalue $λ_2(G)$ of a connected graph $G$ after edge addition or deletion. In 1989, Chung, Graham and Wilson showed $\max\{|λ_2|,|λ_n|\}>Ω(n)$ for dense $K_{r+1}$-free graphs of order $n$, giving spectral comprehension of existence of large clique or independent set, respect to Ramsey theory. Applying the results of effects on $λ_2$ after edge operations, we determine the maximum value of $λ_2$ among all $K_{r+1}$-free connected graphs with given order, and completely characterize the extremal graphs. Moreover, for arbitrary given graph $F$, we investigates the maximum second largest $λ_2(G)$ among $F$-free connected graphs of order $n$. Let $ρ^*(n,F)$ be the maximum spectral radius of $F$-free graphs on $n\ge n_F$ vertices, and $G^*(n,F)$ be a graph with its spectral radius $ρ\big(G^*(n,F)\big)=ρ^*(n,F)$. We prove that, for an $F$-free connected graph $G$ of order $n\ge f(n_F)$, \\(1) if $n$ is odd, then $$λ_2(G)\leρ^*\left(\frac{n-1}{2},F\right)$$ with equality if and only if $G\in \mathcal{I}\big(G^*(\frac{n-1}{2},F),G^*(\frac{n-1}{2},F)\big)$; and\\ (2) if $n$ is even, and $F$ does not contain cut edges, then the graph $G^†$ with the maximum second largest eigenvalue satisfies $$λ_2(G^†)=ρ^*\left(\frac{n}{2},F\right)-o(1)$$ and $G^†\in \mathcal{E}\big(H_1,H_2\big)$, where $H_1$ and $H_2$ are $F$-saturated graphs on $\frac{n}{2}$ vertices. In particular, other than a complete graph $K_{r+1}$, when $F$ is a book graph $B_{k+1}$ or an odd cycle $C_{2k+1}$, we are able to determine the maximum second largest eigenvalue for $F$-free connected graphs of given order, and completely characterize the extremal graphs.

Let $λ_i(G)$ denote the $i$-th largest eigenvalue of adjacency matrix of a graph $G$. Gerschgorin's Theorem indicates $λ_1(G)$ belongs to the largest disk, i.e., $λ_1(G)\leΔ_1(G)$, where $Δ_i(G)$ is the $i$-th largest degree of $G$. We show that $λ_2(G)$ lies in the second largest disk. That is, in detail, $$λ_2(G)<Δ_2(G)-\frac{1}{n^2}.$$ A classical theorem proved by Hong [\textit{Linear Algebra Appl.} 1988] states that $λ_1(G)\le\sqrt{2m-n+1}$ for a connected graph $G$ with $n$ vertices and $m$ edges, where the equality holds if and only if $G$ is a star $S_n$ or a complete graph $K_n$. We give a refinement of Hong's theorem by showing $$λ_1(G)<\sqrt{2m-n}$$ for any connected graph $G\not\in\left\{S_n,S^1_{n-1},K_n,K^1_{n-1}\right\}$. Based on this improved upper bound of $λ_1(G)$, for a connected graph $G$ with $n$ vertices and $m$ edges, we are able to prove a sharp upper bound of $λ_2(G)$ that $$λ_2(G)\le\sqrt{m-\frac{n}{2}-\frac{1}{2}},$$ except $G$ is obtained from two disjoint $S_\frac{n}{2}$ by adding an edge between a pendant vertex of each star. Moreover, we provide a complete characterization to extremal graphs attaining the equality.

For a graph $G$, let $\mathcal{S}(G)$ be the set consisting of Hermitian matrices whose graph is $G$. Denoted by $m_B(G,λ)$ the multiplicity of an eigenvalue $λ$ of $B(G)\in \mathcal{S}(G)$, we show that $m_B(G,λ)\le 2θ(G)+p(G)$ where $θ(G)$ and $p(G)$ are the cyclomatic number and the number of pendent vertices of $G$ respectively, and characterize the graphs attaining the equality. This is a generalization of a result on adjacency matrix by Wang et al.\cite{Wang1}. Moreover, they arose an open problem in \cite{Wang1}: \textit{characterize all graphs with $m_A(G,λ)=2θ(G)+p(G)-1$ for any eigenvalue $λ$ of its adjacency matrix.} In this paper, we completely characterize the graphs with $m_B(G,λ)=2θ(G)+p(G)-1$ for any eigenvalue $λ$ of an arbitrary Hermitian matrix $B(G)\in \mathcal{S}(G)$. This result provides a stronger answer to the above problem, and encompasses some previous known works considering $λ=-1$ or $0$ on the problem.

Research on the relationship of the (signless Laplacian) spectral radius of a graph with its structure properties is an important research project in spectral graph theory. Denote by $ρ(G)$ and $q(G)$ the spectral radius and the signless Laplacian spectral radius of a graph $G$, respectively. Let $k\ge 0$ be a fixed integer and $G$ be a graph of size $m$ which is large enough. We show that if $ρ(G)\ge\sqrt{m-k}$, then $C_4\subseteq G$ or $K_{1,m-k}\subseteq G$. Furthermore, we prove that if $q(G)\ge m-k$, then $K_{1,m-k}\subseteq G$. Both these two results extend some known results.

Let $α\in[0,1)$, and let $G$ be a graph of even order $n$ with $n\geq f(α)$, where $f(α)=10$ for $0\leq α\leq1/2$, $f(α)=14$ for $1/2<α\leq 2/3$ and $f(α)=5/(1-α)$ for $2/3<α<1$. In this paper, it is shown that if the $A_α$-spectral radius of $G$ is not less than the largest root of $x^3 - ((α+ 1)n +α-4)x^2 + (αn^2 + (α^2 - 2α- 1)n - 2α+1)x -α^2n^2 + (5α^2 - 3α+ 2)n - 10α^2 + 15α- 8=0$ then $G$ has a perfect matching unless $G=K_1\nabla(K_{n-3}\cup 2K_1)$. This generalizes a result of S. O [Spectral radius and matchings in graphs, Linear Algebra Appl. 614 (2021) 316--324], which gives a sufficient condition for the existence of a perfect matching in a graph in terms of the adjacency spectral radius.

The rank $r(G)$ of a graph $G$ is the rank of its adjacency matrix $A(G)$ and the nullity $η(G)$ of $G$ is the multiplicity of $0$ as an eigenvalue of $A(G)$. In this paper, we prove that if $G$ is a connected graph of order $n$ with rank $r$, then $G$ contains a nonsingular connected induced subgraph of order $r$. As an application of the result, we completely solve the following problem posed by Zhou, Wong and Sun in [Linear Algebra and its Applications, 555 (2018) 314-320]: Let $G$ be a connected graph of order $n$ with nullity $η(G)$ and the maximum degree $Δ$. Then $$η(G)\le\frac{(Δ-2)n+2}{Δ-1},$$ the equality holds if and only if $G\cong C_n$ ($n\equiv 0$ $(mod\ 4)$) or $G\cong K_{Δ, Δ}$.