Let X be a simplicial complex. For 1≤i≤dim(X), let X(i) be the set of i-dimensional faces of X, and let fi(X)=∣X(i)∣. For 0≤i≤dim(X)−1, let Li+(X) be the i-th upper Laplacian operator of X. For σ∈X and 1≤r≤dim(X), we denote by degX(r)(σ) the number of r-dimensional faces of X containing σ. For a symmetric matrix M∈Rn×n and 1≤i≤n, let λi(M) be the i-th largest eigenvalue of M. We prove that for every complex X, 1≤r≤dim(X), and 1≤k≤fr−1(X)/(r+1), i=1∑kλi(Lr−1+(X))≤max{σ∈A∑degX(r)(σ):A⊂X(r−1),∣A∣=(r+1)k}. This bound is sharp, and it extends a classical result of Anderson and Morley, corresponding to the special case k=1,r=1. As a consequence, we show that for all 1≤r≤dim(X) and 1≤k≤fr−1(X), i=1∑kλi(Lr−1+(X))≤fr(X)+(2(r+1)k). In the case r=1, we obtain the following improved bound: for every k≥1 and every graph G=(V,E) with ∣V∣≥k, i=1∑kλi(L(G))≤∣E∣+k2, where L(G)=L0+(G) is the Laplacian matrix of G. This improves upon previously known bounds for all k≥3, and may be seen as a further step towards Brouwer's conjecture, which states that ∑i=1kλi(L(G))≤∣E∣+(2k+1). As an additional application, we show that if X is an (r+1)-partite r-dimensional simplicial complex on vertex set V, and 1≤k≤fr−1(X), then i=1∑kλi(Lr−1+(X))≤i=1∑k{v∈V:degX(r)(v)≥i}. This resolves a special case of a conjecture of Duval and Reiner, which states that the above inequality holds for all simplicial complexes.
@article{arxiv.2508.04209,
title = {Sums of Laplacian eigenvalues and sums of degrees},
author = {Alan Lew},
journal= {arXiv preprint arXiv:2508.04209},
year = {2025}
}