Abstract:We present two new explicit constructions of Cayley high dimensional expanders (HDXs) over the abelian group $\mathbb{F}_2^n$. Our expansion proofs use only linear algebra and combinatorial arguments. The first construction gives local spectral HDXs of any constant dimension and subpolynomial degree $\exp(n^\epsilon)$ for every $\epsilon >0$, improving on a construction by Golowich [Gol23] which achieves $\epsilon =1/2$. [Gol23] derives these HDXs by sparsifying the complete Grassmann poset of subspaces. The novelty in our construction is the ability to sparsify any expanding Grassmannian posets, leading to iterated sparsification and much smaller degrees. The sparse Grassmannian (which is of independent interest in the theory of HDXs) serves as the generating set of the Cayley graph. Our second construction gives a 2-dimensional HDXs of any polynomial degree $\exp(\epsilon n$) for any constant $\epsilon > 0$, which is simultaneously a spectral expander and a coboundary expander. To the best of our knowledge, this is the first such non-trivial construction. We name it the Johnson complex, as it is derived from the classical Johnson scheme, whose vertices serve as the generating set of this Cayley graph. This construction may be viewed as a derandomization of the recent random geometric complexes of [LMSY23]. Establishing coboundary expansion through Gromov's "cone method" and the associated isoperimetric inequalities is the most intricate aspect of this construction. While these two constructions are quite different, we show that they both share a common structure, resembling the intersection patterns of vectors in the Hadamard code. We propose a general framework of such "Hadamard-like" constructions in the hope that it will yield new HDXs.

Hamiltonicity of expanders: optimal bounds and applications

Hamilton cycles in pseudorandom graphs

High dimensional expanders and coset geometries

Hamiltonicity of Sparse Pseudorandom Graphs

Sparser Abelian High Dimensional Expanders

Topological expanders, coarse geometry and thick embeddings of complexes

Modularity and Graph Expansion

A hypergraph bandwidth theorem

Coboundary and cosystolic expansion without dependence on dimension or degree

Hamilton cycles, minimum degree and bipartite holes

Expander graphs in pure and applied mathematics

Cyclability of Id-Cycles in Graphs

Hamilton completion and the path cover number of sparse random graphs

From Grassmannian to Simplicial High-Dimensional Expanders

Hamiltonicity in randomly perturbed hypergraphs

Hypergraph expanders of all uniformities from Cayley graphs

Spectral Radius and Hamiltoncity of Graphs with Large Minimum Degree: Revisited

Higher-dimensional counterexamples to Hamiltonicity

Extending a perfect matching to a Hamiltonian cycle

The Hamilton space of pseudorandom graphs

A generalization of the Hamiltonian cycle in dense digraphs