Random Cayley Graphs with O(log[G]) Generators Are Expanders

Let G be a finite group. Choose a set S of size k uniformly from G and consider a lazy random walk on the corresponding Cayley graph ?(G,S). We show that for almost all choices of S given k = 2alog2 |G|, a > 1, we have Re?1 ? 1-1/2a. A similar but weaker result was obtained earlier by Alon and Roichman (see [4]).