The Equality Cases for the Grone-Merris-Bai Theorem
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\lambda_i(G)\le\sum_{i=1}^k d_i^*(G)$, where $\lambda_1\ge\cdots\ge\lambda_n$ are the Laplacian eigenvalues and $d_1^*\ge\cdots\ge d_n^*...