Stefan Virchow and I have just uploaded our paper Random generation of the special linear group to the arXiv. In this paper we study random generation of by two random elements, asymptotically as either or . It was proved by Kantor and Lubotzky some years ago that two random elements almost surely generate the group: indeed, they proved this for all classical finite simple groups of Lie type , as . Our big innovation is a proof, in the special case , that does not depend on the classification of finite simple groups.
Our method is an adaptation of one we used in our previous paper, The probability of generating the symmetric group (journal link: Combinatorica 2018). In that paper we proved, also without the classification, that two random elements of generate at least with probability . Briefly, the idea is that if are random elements, then the elements are pairwise approximately independent (more precisely, approximately equidistributed with respect to rectangles in ). Thus we can leverage the second moment method to show, given our favourite set , that there is almost surely some such that . If we apply this with a couple of judiciously chosen sets then we should be able to deduce that . Additionally, if the sets are chosen to be conjugation-invariant then we can express the variance in terms of character sums, and apply known character estimates (due to Larsen, Shalev, and Tiep) to conclude.
One particularly interesting thing we learned is a connection between this method, for a general group , and the average inverse order
For example, it is not too hard to see that , the main contribution coming from -cycles, and this is fundamentally why our previous paper was limited to . One of the essential steps in the present paper is an estimation of . We prove that
(the lower bound only if is large compared to ). In other words, the harmonic mean of the orders of the elements of is
That there should be any connection between these problems is fascinating, but if I’m honest I think it’s an artifact of the method rather than an essential connection. To go further, we need to elaborate on the “ trick” in a way that remains tractable but overcomes the obstruction.