{"id":"arxiv/2607.23583","url":"https://arxiv.org/abs/2607.23583","tags":["math.CO"],"score":0,"title":"The Equality Cases for the Grone-Merris-Bai Theorem","domain":"math.CO","source":"arxiv","authors":["Dongxiu Cai","Zhengbo Chen","Jia Yang","Xiao-Dong Zhang"],"reviews":0,"subject":"math.CO","summary":"The Grone--Merris inequality, conjectured by Grone and Merris~(1994) and first proved by Bai~(2011), states that for every graph $G$ of order $n$ and every $1\\le k\\le n$, $\\sum_{i=1}^kλ_i(G)\\le\\sum_{i=1}^k d_i^*(G)$, where $λ_1\\ge\\cdots\\geλ_n$ are the Laplacian eigenvalues and $d_1^*\\ge\\cdots\\ge d_n^*$ is the conjugate degree sequence. In this paper we determine exactly when equality holds. Using the split-graph trace inequality developed by Kothari and Tudose~(2026) in their proof of Brouwer's Laplacian conjecture---which relies on Bai's theorem and also establishes the equivalence between…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-26","reactions":{}}