https://hal.inria.fr/hal-00959024Loh, Po-ShenPo-ShenLohChurchill College [Cambridge] - CAM - University of Cambridge [UK]Schulman, Leonard J.Leonard J.SchulmanComputing and Mathematical Sciences [Pasadena]] - CALTECH - California Institute of TechnologyImproved Expansion of Random Cayley GraphsHAL CCSD2004expander graphsCayley graphssecond eigenvaluelogarithmic generators[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]Inria Sophia Antipolis-Méditerranée / I3s, Service Ist2014-03-13 17:06:482017-11-29 10:26:242014-03-13 21:14:01enJournal articleshttps://hal.inria.fr/hal-00959024/document10.46298/dmtcs.316application/pdf1In Random Cayley Graphs and Expanders, N. Alon and Y. Roichman proved that for every ε > 0 there is a finite c(ε ) such that for any sufficiently large group G, the expected value of the second largest (in absolute value) eigenvalue of the normalized adjacency matrix of the Cayley graph with respect to c(ε ) log |G| random elements is less than ε . We reduce the number of elements to c(ε )log D(G) (for the same c), where D(G) is the sum of the dimensions of the irreducible representations of G. In sufficiently non-abelian families of groups (as measured by these dimensions), log D(G) is asymptotically (1/2)log|G|. As is well known, a small eigenvalue implies large graph expansion (and conversely); see Tanner84 and AlonMilman84-2,AlonMilman84-1. For any specified eigenvalue or expansion, therefore, random Cayley graphs (of sufficiently non-abelian groups) require only half as many edges as was previously known.