arXiv++ Combinatorics

Brouwer conjectured that the sum of the $k$ largest Laplacian eigenvalues of an $n$-vertex graph is less than or equal to the number of its edges plus $\binom{k+1}{2}$ for every $k\in \{1,2,\dots,n\}$, which has been confirmed by Kothari and Tudose (2026) recently. In this note, we characterize the equality case in this inequality. Our main result is that for every $n$-vertex graph $G=(V,E)$ and for every $k\in \{1,2,\dots,n-1\}$, the equality $\sum_{i=1}^kμ_i(G)=|E(G)|+\binom{k+1}{2}$ holds if and only if $G$ is a threshold graph with clique number $k+1$, where $μ_1(G)\geq μ_2(G)\geq \cdots\geq μ_{n}(G)$ are the Laplacian eigenvalues of $G$. This, together with the confirmed Brouwer's conjecture, would yield a complete solution to the full Brouwer's conjecture posed by Li and Guo (2022). Our proof relies on the projection method of Kothari and Tudose and shows directly that the equality case can occur only for threshold graphs.

Brouwer conjectured that the sum of the first $k$ largest Laplacian eigenvalues of an $n$-vertex graph is less than or equal to the number of its edges plus $\binom{k+1}{2}$ for each $k\in \{1,2,\cdots,n\}$, which has come to be known as Brouwer's conjecture. Recently, Li and Guo further considered the case when the equalities hold in these conjectured inequalities, and proposed the full version of Brouwer's conjecture. In this paper, we first present a concise version of the full Brouwer's conjecture. Then we show that the full Brouwer's conjecture holds for two families of spanning subgraphs of complete split graphs and for $c$-cyclic graphs with $c\in\{0,1,2\}$. We also consider the Nordhaus-Gaddum version of the full Brouwer's conjecture and present partial solutions to it.

Let $G$ be a simple graph of order $n$ with degree sequence $(d_1,d_2,\cdots,d_n)$. For an integer $p>1$, let $e_p(G)=\sum_{i=1}^n d^{p}_i$ and let $ex_p(n,H)$ be the maximum value of $e_p(G)$ among all graphs with $n$ vertices that do not contain $H$ as a subgraph (known as $H$-free graphs). Caro and Yuster proposed the problem of determining the exact value of $ex_2(n,C_4)$, where $C_4$ is the cycle of length $4$. In this paper, we show that if $G$ is a $C_4$-free graph having $n\geq 4$ vertices and $m\leq \lfloor 3(n-1)/2\rfloor$ edges and no isolated vertices, then $e_p(G)\leq e_p(F_n)$, with equality if and only if $G$ is the friendship graph $F_n$. This yields that for $n\geq 4$, $ex_p(n,\mathcal{C}^*)=e_p(F_n)$ and $F_n$ is the unique extremal graph, which is an improved complement of Caro and Yuster's result on $ex_p(n,\mathcal{C}^*)$, where $\mathcal{C}^*$ denotes the family of cycles of even lengths. We also determine the maximum value of $e_p(\cdot)$ among all minimally $t$-(edge)-connected graphs with small $t$ or among all $k$-degenerate graphs, and characterize the corresponding extremal graphs. A key tool in our approach is majorization.

The weighted adjacency matrix $A_{f}(G)$ of a simple graph $G=(V,E)$ is the $|V|\times|V|$ matrix whose $ij$-entry equals $f(d_{i},d_j)$, where $f(x,y)$ is a symmetric function such that $f(d_i,d_j)>0$ if $ij\in E$ and $f(d_i,d_j)=0$ if $ij\notin E$ and $d_i$ is the degree of the vertex $i$. In this paper, we determine the unique graph having the largest spectral radius of $A_{f}(G)$ among all the bicyclic graphs under the assumption that $f(x,y)$ is increasing and convex in $x$ and $f(x_1,y_1)\geq f(x_2,y_2)$ when $|x_1-y_1|>|x_2-y_2|$ and $x_1+y_1=x_2+y_2$. Moreover, we determine the unique graph having the second largest spectral radius of $A_{f}(G)$ among all the bicyclic graphs when $f(x,y)=x+y$, $(x+y)^2$ or $x^2+y^2$, which corresponds to the well-known first Zagreb index, first hyper-Zagreb index, and forgotten index, respectively. In addition, we also characterize the bicyclic graphs with the first two largest spectral radii of $A_{f}(G)$ when $f(x,y)=\frac{1}{2}(x/y+y/x)$, corresponding to the extended index.

Let G be a simple connected graph with n vertices, and let d_i be the degree of the vertex v_i in G. The extended adjacency matrix of G is defined so that the ij-entry is 1/2(d_i/d_j+d_j/d_i) if the vertices v_i and v_j are adjacent in G, and 0 otherwise. This matrix was originally introduced for developing novel topological indices used in the QSPR/QSAR studies. In this paper, we consider extremal problems of the largest eigenvalue of the extended adjacency matrix (also known as the extended spectral radius) of trees. We show that among all trees of order n>= 5, the path Pn(resp., the star Sn) uniquely minimizes (resp., maximizes) the extended spectral radius. We also determine the first five trees with the maximal extended spectral radius.