English

Characterizing the equality case in Brouwer's inequality for Laplacian eigenvalues

Combinatorics 2026-07-19 v1

Abstract

Brouwer conjectured that the sum of the kk largest Laplacian eigenvalues of an nn-vertex graph is less than or equal to the number of its edges plus (k+12)\binom{k+1}{2} for every k{1,2,,n}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 nn-vertex graph G=(V,E)G=(V,E) and for every k{1,2,,n1}k\in \{1,2,\dots,n-1\}, the equality i=1kμi(G)=E(G)+(k+12)\sum_{i=1}^k\mu_i(G)=|E(G)|+\binom{k+1}{2} holds if and only if GG is a threshold graph with clique number k+1k+1, where μ1(G)μ2(G)μn(G)\mu_1(G)\geq \mu_2(G)\geq \cdots\geq \mu_{n}(G) are the Laplacian eigenvalues of GG. 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.

Cite

@article{arxiv.2607.17293,
  title  = {Characterizing the equality case in Brouwer's inequality for Laplacian eigenvalues},
  author = {Yuhang Cui and Xiaodan Chen},
  journal= {arXiv preprint arXiv:2607.17293},
  year   = {2026}
}

Comments

8 pages