 Superstrong approximation

Superstrong approximation is a generalisation of strong approximation in algebraic groups "G", to provide spectral gap results.The spectrum in question is that of the Laplacian matrix associated to a family of quotients of a discrete group Γ; and the gap is that between the first and second eigenvalues (normalisation so that the first eigenvalue corresponds to constant functions as eigenvectors).