Uniform expansion bounds for Cayley graphs of \(\text{SL}_2(\mathbb F_p)\). (Q2389096)

Given a finite group \(G\) with a symmetric set of generators \(S\), the Cayley graph, \(C(G,S)\), is a graph which has elements of \(G\) as vertices and which has an edge from \(x\) to \(y\) if and only if \(x=\sigma y\) for some \(\sigma\in S\). In this paper, the authors prove that Cayley graphs of \(\text{SL}_2(\mathbb F_p)\) are expanders with respect to the projection of any fixed elements in \(\text{SL}_2(\mathbb F_p)\) generating a non-elementary subgroup, and with respect to generators chosen at random in \(\text{SL}_2(\mathbb F_p)\).