Coboundary expansion of coset complexes

TL;DR

This paper proves coboundary expansion with non-Abelian coefficients for coset complexes, linking high-dimensional topological expansion to problems in theoretical computer science using a novel global proof approach.

Contribution

It introduces a new global proof technique to establish coboundary expansion with non-Abelian coefficients for coset complexes.

Findings

Proves coboundary expansion with non-Abelian coefficients for coset complexes.

Develops a novel global argument method.

Connects high-dimensional expansion to computational problems.

Abstract

Coboundary expansion is a high dimensional generalization of the Cheeger constant to simplicial complexes. Originally, this notion was motivated by the fact that it implies topological expansion, but nowadays a significant part of the motivation stems from its deep connection to problems in theoretical computer science such as agreement expansion in the low soundness regime. In this paper, we prove coboundary expansion with non-Abelian coefficients for the coset complex construction of Kaufman and Oppenheim. Our proof uses a novel global argument, as opposed to the local-to-global arguments that are used to prove cosystolic expansion.