arXiv++ Combinatorics

For a simple graph $G$ of order $n$, let $S_2(G)=λ_1(G)+λ_2(G)$ denote its spectral sum. We determine, for every $n\geq5$, the exact maximum of $S_2(G)$ and all equality cases. The unique maximizer, up to isomorphism, is the complement of the disjoint union of a suitably balanced complete bipartite graph and isolated vertices, with the sizes of its three parts determined by $n$ modulo $7$. Denoting this graph by $K_n^\star$, we further show that $ S_2(K_n^\star)\leq\frac{8n}{7}-2,$ with equality exactly when $7\mid n$. This proves a conjecture of Kumar, Liu, Monterde, Pragada and Tait, which strengthens the Aouchiche--Hansen 2010 conjecture by extending it from connected graphs to all graphs and by asserting uniqueness of the extremal graph. The result also subsumes the 2008 conjecture of Ebrahimi B., Mohar, Nikiforov, and Ahmady. The proof combines Ky Fan's variational principle with a spectral inequality for weighted Ferrers quotients to reduce the problem to an explicit family whose complements have incidence rank one. Exact integer optimization and a separate equality analysis then yield the maximum and uniqueness.

A graph $G$ is said to be $k$-extendable if every matching of size $k$ in $G$ can be extended to a perfect matching of $G$, where $k$ is a positive integer. We say $G$ is $1$-excludable if for every edge $e$ of $G$, there exists a perfect matching excluding $e$. In this paper, we first establish a lower bound on the size (resp. the spectral radius) of $G$ to guarantee that $G$ is $k$-extendable. Then we determine a lower bound on the size (resp. the spectral radius) of $G$ to guarantee that $G$ is $1$-excludable. All the corresponding extremal graphs are characterized.

Let $\mathcal{F}$ denote a set of graphs. A graph $G$ is said to be $\mathcal{F}$-free if it does not contain any element of $\mathcal{F}$ as a subgraph. The Turán number is the maximum possible number of edges in an $\mathcal{F}$-free graph with $n$ vertices. It is well known that classical Turán type extremal problem aims to study the Turán number of fixed graphs. In 2010, Nikiforov \cite{Nik2} proposed analogously a spectral Turán type problem which asks to determine the maximum spectral radius of an $\mathcal{F}$-free graph with $n$ vertices. It attracts much attention and many such problems remained elusive open even after serious attempts, and so they are considered as one of the most intriguing problems in spectral extremal graph theory. It is interesting to consider another spectral Turán type problem which asks to determine the maximum spectral radius of an $\mathcal{F}$-free graph with $m$ edges. Denote by $\mathcal{G}(m,\mathcal{F})$ the set of $\mathcal{F}$-free graphs with $m$ edges having no isolated vertices. Each of the graphs among $\mathcal{G}(m,\mathcal{F})$ having the largest spectral radius is called a maximal graph. Let $θ_{p,q,r}$ be a theta graph formed by connecting two distinct vertices with three independent paths of length $p,q$ and $r,$ respectively (length refers to the number of edges). In this paper, we firstly determine the unique maximal graph among $\mathcal{G}(m,θ_{1,2,3})$ and $\mathcal{G}(m,θ_{1,2,4}),$ respectively. Then we determine all the maximal graphs among $\mathcal{G}(m,C_5)$ (resp. $\mathcal{G}(m,C_6)$) excluding the book graph. These results extend some earlier results.