Constraints on Brouwer's Laplacian Spectrum Conjecture
Brouwer's Conjecture states that, for any graph , the sum of the largest (combinatorial) Laplacian eigenvalues of is at most , . We present several interrelated results establishing Brouwer's conjecture for a wide range of graphs and parameters . In particular, we show that (1) is true for low-arboricity graphs, and in particular for planar when ; (2) is true whenever the variance of the degree sequence is not very high, generalizing previous results for regular or random; (3) is true if belongs to a hereditarily spectrally-bounded class and is sufficiently large as a function of , in particular for bipartite graphs; (4) holds unless has edge-edit distance from a split graph; (5) no violates the conjectured upper bound by more than , and bipartite by no more than ; and (6) holds for all outside an interval of length . Furthermore, we present a surprising negative result: asymptotically almost surely, a uniform random signed complete graph violates the conjectured bound by .