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

where

(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 , ,

such that

where

(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…

So, you are just asking for good constants in the noncommutative Balog-Szemeredi-Gowers theorem, right? Or am I missing something?

The Balog-Szemerédi-Gowers theorem is actually one for which there are already fully explicit, and quite good, bounds in the literature, e.g. in Tao-Vu, following Sudakov-Szemerédi-Vu. The constants degrade in the later steps (at least when following the standard proof…), when one wants to extract an approximate group (or set with explicit tripling constant, though one can see from the argument that the tripling constant is actually better than what follows from what I wrote and the definition of approximate group.)