Related papers: Super approximation for $\text{SL}_2\times \text{S…

Take $S \subset \mathrm{SL}_2(\mathbb{Z}) \times \mathrm{SL}_2(\mathbb{Z})\times \mathrm{SL}_2(\mathbb{Z})$ be finite symmetric and assume $S$ generates a group $G$ which is Zariski-dense in $\mathrm{SL}_2 \times \mathrm{SL}_2\times…

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…

Let Ga be a subgroup of GL_d(Q) generated by a finite symmetric set S. For an integer q, denote by Ga_q the subgroup of Ga consisting of the elements that project to the unit element mod q. We prove that the Cayley graphs of Ga/Ga_q with…

We show that pairs of generators for the family Sz(q) of Suzuki groups may be selected so that the corresponding Cayley graphs are expanders. By combining this with several deep works of Kassabov, Lubotzky and Nikolov, this establishes that…

Let $\Omega$ be a finite symmetric subset of GL$_n(\mathbb{Z}[1/q_0])$, and $\Gamma:=\langle \Omega \rangle$. Then the family of Cayley graphs $\{{\rm Cay}(\pi_m(\Gamma),\pi_m(\Omega))\}_m$ is a family of expanders as $m$ ranges over fixed…

Let S be a fixed symmetric finite subset of SL_d(O_K) that generates a Zariski dense subgroup of SL_d(O_K) when we consider it as an algebraic group over Q by restriction of scalars. We prove that the Cayley graphs of SL_d(O_K/I) with…

This document is an expanded version of a lecture presented at a conference on "Thin Groups and Superstrong Approximation" held at the Mathematical Sciences Research Institute in February 2012. Superstrong approximation is a criterion on a…

We give explicit versions of Helfgott's Growth Theorem for $\SL_2$, as well as of the Bourgain-Gamburd argument for expansion of Cayley graphs modulo primes of subgroups of $\SL_2(\Zz)$ which are Zariski-dense in $\SL_2$.

We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n,…

We establish various results on the structure of approximate subgroups in linear groups such as SL_n(k) that were previously announced by the authors. For example, generalising a result of Helfgott (who handled the cases n = 2 and 3), we…

We show that there is an infinite set of primes $\mathcal{P}$ of density one, such that the family of \textit{all} Cayley graphs of $\mathrm{SL}(2,p)$%, $p\in \mathcal{P}$, is a family of expanders.

We prove that if G is SL_2(F) or PSL_2(F), where F is a finite field, and A is a set of generators of G, then either |AAA| > |A|^(1+epsilon), where epsilon is an absolute positive real number, or AAA=G. As a corollary we get that the…

In this note we show that the family of Cayley graphs of a finitely generated subgroup of ${\rm GL}_{n_0}(\mathbb{F}_p(t))$ modulo some admissible square-free polynomials is a family of expanders under certain algebraic conditions. Here is…

We generalize our methodology for computing with Zariski dense subgroups of $\mathrm{SL}(n, \mathbb{Z})$ and $\mathrm{Sp}(n, \mathbb{Z})$, to accommodate input dense subgroups $H$ of $\mathrm{SL}(n, \mathbb{Q})$ and $\mathrm{Sp}(n,…

Let $S\subset\text{GL}_n(\mathbb Z)$ be a finite symmetric set. We show that if the Zariski closure of $\Gamma=\langle S\rangle$ is a product of $\text{SL}_d$ or a special affine linear group, then the diameter of the Cayley graph…

We detail an explicit construction of ordinary irreducible representations for the family of finite groups $SL_2({\mathbb Z} /p^n {\mathbb Z})$ for odd primes $p$ and $n\geq 2$. For $n=2$, the construction is a complete set of irreducible…

We present new infinite families of expander graphs of vertex degree 4, which is the minimal possible degree for Cayley graph expanders. Our first family defines a tower of coverings (with covering indices equals 2) and our second family is…

We show that if G is a group and A is a finite subset of G with |A^2| < K|A|, then for all k there is a symmetric neighbourhood of the identity S with S^k a subset of A^2A^{-2} and |S| > exp(-K^{O(k)})|A|.

We describe all supergroups with the largest even supersubgroups being isomorphic to $\mathrm{GL}_2, \mathrm{SL}_2$ or $\mathrm{PSL}_2$. These results are applied to the description of centralizers of certain tori in the quasi-reductive…

We investigate closed subgroups $G \subseteq \mathrm{Sp}_{2g}(\mathbb{Z}_2)$ whose modulo-$2$ images coincide with the image $\mathfrak{S}_{2g + 1} \subseteq \mathrm{Sp}_{2g}(\mathbb{F}_2)$ of $S_{2g + 1}$ or the image $\mathfrak{S}_{2g +…