Expanders In Group Algebras

Let G be a finite group and let p be a prime such that (p, |G|) = 1. We study conditions under which the Abelian group $$\Bbb F$$p[G] has a few G-orbits whose union generate it as an expander (equivalently, all the discrete Fourier coefficients (in absolute value) of this generating set are bounded away uniformly from one).We prove a (nearly sharp) bound on the distribution of dimensions of irreducible representations of G which implies the existence of such expanding orbits. We further show a class of groups for which such a bound follows from the expansion properties of G. Together, these lead to a new iterative construction of expanding Cayley graphs of nearly constant degree.

[1]  Avi Wigderson,et al.  Entropy waves, the zig-zag graph product, and new constant-degree expanders and extractors , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[2]  Avinoam Mann,et al.  Positively finitely generated groups , 1996 .

[3]  Noga Alon,et al.  Semi-direct product in groups and zig-zag product in graphs: connections and applications , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[4]  Larry Carter,et al.  Universal Classes of Hash Functions , 1979, J. Comput. Syst. Sci..

[5]  Dan Segal,et al.  Finite Group Theory , 2003 .

[6]  László Pyber,et al.  Groups with super-exponential subgroup growth , 1996, Comb..

[7]  Noga Alon,et al.  lambda1, Isoperimetric inequalities for graphs, and superconcentrators , 1985, J. Comb. Theory, Ser. B.

[8]  János Komlós,et al.  Storing a sparse table with O(1) worst case access time , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

[9]  I. M. Isaacs.  Generalizations of Taketa’s theorem on the solvability of $M$-groups , 1984 .

[10]  Zvi Galil,et al.  Explicit Constructions of Linear-Sized Superconcentrators , 1981, J. Comput. Syst. Sci..

[11]  Alexander Lubotzky,et al.  Discrete groups, expanding graphs and invariant measures , 1994, Progress in mathematics.

[12]  Simon Wassermann.  C*-algebras associated with groups with Kazhdan's property T , 1991 .

[13]  Tom C. Brown,et al.  A Density Version of a Geometric Ramsey Theorem , 1982, J. Comb. Theory, Ser. A.

[14]  Benjamin Weiss,et al.  Groups and Expanders , 1992, Expanding Graphs.

[15]  Noga Alon,et al.  Eigenvalues and expanders , 1986, Comb..

[16]  Alain Valette,et al.  On the spectrum of the sum of generators for a finitely generated group , 1993 .