One of the goals of my course on expanders is to (try to) get an explicit spectral gap for the Cayley graphs of , for prime, with respect to the generating set
(which corresponds to the reduction modulo of the Cayley graph of the “Lubotzky group” , generated in by the “same” matrices.)
The first thing to do in order to obtain an explicit estimate is to get an explicit form of the relation between “pairs of sets with large multiplicative energy” and “cosets of a common approximate group” — indeed, this is a crucial point in the first step of the argument discovered by Bourgain and Gamburd to derive expansion for some Cayley graphs from a classification of approximate subgroups (or more directly, of sets with “small tripling”, a classification which had been produced by Helfgott for ).
To explain this, recall that if are subsets of a finite group , the normalized multiplicative energy is defined by
It is easy to show that , and it is a pleasant exercise to prove that the extreme case occurs if and only if there exists a subgroup of and elements , of such that
The Bourgain-Gamburd argument depends on understanding sets and such that
for some (small) .
This can now be done, in some cases, by first proving an “approximate” version of the characterization of the extreme , and then classifying the resulting “approximate” objects. The second step is much more involved, and I won’t talk about it here, but the first can be done in full generality. The standard texts explaining this are the book of Tao and Vu and a paper of Tao (which contains more details than the summary in the book.)
It is clear from reading the proofs that they are “effective”, but these sources do not give explicit inequalities. So I did the exercise of going through the arguments to get actual constants, inputing the recent explicit results of Petridis to get better control on product sets than the corresponding argument in Tao’s paper. After three or four rounds of checks, I get the following: if
then there exist a -approximate subgroup of and elements , ,
(and a -approximate subgroup is defined to be a symmetric subset, containing the identity, such that for some subset of size .)
For the moment, I’ve only typed a very condensed note spelling this out, which is found on my page of unpublished notes; I admit that I had some fun devising an arrow notation to simplify keeping track of the relation and sizes between the sets involved…
All this will be incorporated in my lectures notes on expanders, and then expanded later to a full proof so that the latter are self-contained. I will also attempt to improve these constants, which are not very promising when I think of what the spectral gap will become in the end…