High-Dimensional Expanders from Chevalley Groups

TL;DR

This paper constructs new high-dimensional expanders using Chevalley groups over finite fields, generalizing previous work and providing explicit families with spectral properties that improve as the field size grows.

Contribution

It introduces a new method to build high-dimensional expanders from Chevalley groups, extending prior constructions to more root systems and dimensions.

Findings

Constructed explicit families of spectral high-dimensional expanders.

Generalized previous constructions to a broader class of root systems.

Provided new families in dimensions 4, 6, 7, and 8.

Abstract

Let $\Phi$ be an irreducible root system (other than $G_2$) of rank at least $2$, let $\mathbb{F}$ be a finite field with $p = \operatorname{char} \mathbb{F} > 3$, and let $\mathrm{G}(\Phi,\mathbb{F})$ be the corresponding Chevalley group. We describe a strongly explicit high-dimensional expander (HDX) family of dimension $\mathrm{rank}(\Phi)$, where $\mathrm{G}(\Phi,\mathbb{F})$ acts simply transitively on the top-dimensional faces; these are $\lambda$-spectral HDXs with $\lambda \to 0$ as $p \to \infty$. This generalizes a construction of Kaufman and Oppenheim (STOC 2018), which corresponds to the case $\Phi = A_d$. Our work gives three new families of spectral HDXs of any dimension $\ge 2$, and four exceptional constructions of dimension $4$, $6$, $7$, and $8$.