7b81b2500b9e8419.tex
1: \begin{abstract}
2: 
3: The theory of coset geometries arose as a tool for studying finite simple groups. The idea behind this theory was to find a set of axioms mimic those of Tits' axioms for buildings that will give rise to incidence geometries with desirable properties (or equivalently, simplicial complexes with desirable properties). 
4: 
5: In this work, we show that coset geometries arise in a very natural manner for groups of elementary matrices over any finitely generated algebra over a commutative unital ring. In other words, we show that such groups act simply transitively on the top dimensional face of a pure, partite, clique complex. This discovery seems fundamental and interesting even for well studied groups such as the special linear group over the integers. 
6: 
7: Using this discovery, we construct new families of bounded degree high dimensional expanders obeying the local spectral expansion property. A property that implies, geometric overlapping, fast mixing of high dimensional random walks, agreement testing and agreement expansion.
8: The construction also yields new families of expander graphs which are close to the Ramanujan bound, i.e., their spectral gap is close to optimal.
9: 
10: The construction is quite elementary and it is presented in a self contained manner; This is in contrary to the highly involved previously known construction of the Ramanujan complexes. The construction is also strongly symmetric; The symmetry of the construction could be used, for example, to obtain good symmetric LDPC codes that were previously based on Ramanujan graphs.
11: \end{abstract}
12: