Spectral gaps, missing faces and minimal degrees

TL;DR

This paper establishes a new lower bound on the spectral gaps of simplicial complexes with constraints on missing faces, leading to insights into their homology and tightness of bounds.

Contribution

It introduces a novel lower bound on the spectral gaps of simplicial complexes with bounded missing faces, providing a new proof for homology vanishing results.

Findings

Derived a lower bound on spectral gaps for complexes without large missing faces.

Provided a family of examples that achieve equality, demonstrating the bound's tightness.

Characterized the equality case specifically for complexes with missing faces of dimension one.

Abstract

Let $X$ be a simplicial complex with $n$ vertices. A missing face of $X$ is a simplex $\sigma\notin X$ such that $\tau\in X$ for any $\tau\subsetneq \sigma$. For a $k$-dimensional simplex $\sigma$ in $X$, its degree in $X$ is the number of $(k+1)$-dimensional simplices in $X$ containing it. Let $\delta_k$ denote the minimal degree of a $k$-dimensional simplex in $X$. Let $L_k$ denote the $k$-Laplacian acting on real $k$-cochains of $X$ and let $\mu_k(X)$ denote its minimal eigenvalue. We prove the following lower bound on the spectral gaps $\mu_k(X)$, for complexes $X$ without missing faces of dimension larger than $d$: \[ \mu_k(X)\geq (d+1)(\delta_k+k+1)-d n. \] As a consequence we obtain a new proof of a vanishing result for the homology of simplicial complexes without large missing faces. We present a family of examples achieving equality at all dimensions, showing that the bound is tight. For $d=1$ we characterize the equality case.