Let G be a finite abelian group of order n and let Δn−1 denote the (n−1)-simplex on the vertex set G. The sum complexXA,k associated to a subset A⊂G and k<n, is the k-dimensional simplicial complex obtained by taking the full (k−1)-skeleton of Δn−1 together with all (k+1)-subsets σ⊂G that satisfy ∑x∈σx∈A. Let Ck−1(XA,k) denote the space of complex-valued (k−1)-cochains of XA,k. Let Lk−1:Ck−1(XA,k)→Ck−1(XA,k) denote the reduced (k−1)th Laplacian of XA,k, and let μk−1(XA,k) be the minimal eigenvalue of Lk−1.
It is shown that if k≥1 and 𝜖>0 are fixed, and A is a random subset of G of size m=⌈4k2logn𝜖2⌉, then
Pr[μk−1(XA,k)<(1−𝜖)m]=O(1n).