Expansion in SL_d(Z/qZ), q arbitrary

Abstract

Let S be a fixed finite symmetric subset of SL_d(Z), and assume that it generates a Zariski-dense subgroup G. We show that the Cayley graphs of pi_q(G) with respect to the generating set pi_q(S) form a family of expanders, where pi_q is the projection map Z->Z/qZ.

Cited by in corpus (7)

• Expansion in perfect groups
• Local-global principles in circle packings
• Logarithmic girth expander graphs of $S{L}_n({\mathbb{F}}_p)$
• Super-approximation, I: p-adic semisimple case
• Generalization of Selberg's $3/16$ theorem for convex cocompact thin subgroups of $\mathrm{SO}(n,1)$
• Semisimple random walks on the torus
• Towards super-approximation in positive characteristic