English

Sums of Laplacian eigenvalues and sums of degrees

Combinatorics 2025-08-07 v1

Abstract

Let XX be a simplicial complex. For 1idim(X)1\le i\le\dim(X), let X(i)X(i) be the set of ii-dimensional faces of XX, and let fi(X)=X(i)f_i(X)=|X(i)|. For 0idim(X)10\le i\le \dim(X)-1, let Li+(X)L_i^+(X) be the ii-th upper Laplacian operator of XX. For σX\sigma\in X and 1rdim(X)1\le r\le \dim(X), we denote by degX(r)(σ)\text{deg}_X^{(r)}(\sigma) the number of rr-dimensional faces of XX containing σ\sigma. For a symmetric matrix MRn×nM\in \mathbb{R}^{n\times n} and 1in1\le i\le n, let λi(M)\lambda_i(M) be the ii-th largest eigenvalue of MM. We prove that for every complex XX, 1rdim(X)1\le r\le\dim(X), and 1kfr1(X)/(r+1)1\le k\le f_{r-1}(X)/(r+1), i=1kλi(Lr1+(X))max{σAdegX(r)(σ):AX(r1),A=(r+1)k}. \sum_{i=1}^k \lambda_i(L_{r-1}^+(X)) \le \max \left\{ \sum_{\sigma\in A} \text{deg}_X^{(r)}(\sigma) :\, A\subset X(r-1),\, |A|=(r+1)k \right\}. This bound is sharp, and it extends a classical result of Anderson and Morley, corresponding to the special case k=1,r=1k=1,\, r=1. As a consequence, we show that for all 1rdim(X)1\le r\le \dim(X) and 1kfr1(X)1\le k\le f_{r-1}(X), i=1kλi(Lr1+(X))fr(X)+((r+1)k2). \sum_{i=1}^{k} \lambda_i(L_{r-1}^+(X)) \le f_r(X) + \binom{(r+1)k}{2}. In the case r=1r=1, we obtain the following improved bound: for every k1k\ge 1 and every graph G=(V,E)G=(V,E) with Vk|V|\ge k, i=1kλi(L(G))E+k2, \sum_{i=1}^k \lambda_i(L(G)) \leq |E|+k^2, where L(G)=L0+(G)L(G)=L_0^{+}(G) is the Laplacian matrix of GG. This improves upon previously known bounds for all k3k\ge 3, and may be seen as a further step towards Brouwer's conjecture, which states that i=1kλi(L(G))E+(k+12).\sum_{i=1}^k \lambda_i(L(G)) \leq |E|+\binom{k+1}{2}. As an additional application, we show that if XX is an (r+1)(r+1)-partite rr-dimensional simplicial complex on vertex set VV, and 1kfr1(X)1\le k\le f_{r-1}(X), then i=1kλi(Lr1+(X))i=1k{vV:degX(r)(v)i}. \sum_{i=1}^{k} \lambda_i(L_{r-1}^+(X)) \le \sum_{i=1}^k \left|\{v\in V:\, \text{deg}^{(r)}_X(v)\ge i\}\right|. This resolves a special case of a conjecture of Duval and Reiner, which states that the above inequality holds for all simplicial complexes.

Keywords

Cite

@article{arxiv.2508.04209,
  title  = {Sums of Laplacian eigenvalues and sums of degrees},
  author = {Alan Lew},
  journal= {arXiv preprint arXiv:2508.04209},
  year   = {2025}
}