Diameters of Cayley graphs of Chevalley groups (Q872036)

This paper concerns expressing elements of \(\text{SL}_n({\mathbb Z}/k{\mathbb Z})\), for integers \(k\geq 2\) and \(n\geq 3\), as words in the two-element generating set \(\{a_n,b_n\}\). Theorem 1.1. For all integers \(k\geq 2\) and \(n\geq 3\), \(\text{Diam\,Cay(SL}_n({\mathbb Z}/k{\mathbb Z}),\{a_n,b_n\})\leq 3600 n^2\ln k\). Theorem 1.3. There exists a constant \(K\) such that for every classical Chevalley group \(G\) over \(F_p\), of rank at least 2, there exists a two-element generating set \(S\) consisting of a Weyl element and a generator of a root subgroup such that \(\text{Diam\,Cay}(G,S)\leq K \ln |G|\). Theorem 1.4. There exists a constant \(K\) such that every finite simple group \(G\) has a four-element generating set \(S\) such that \(\text{Diam\,Cay}(G,S)\leq K \ln |G|\).