Expander graphs in pure and applied mathematics

Expander graphs are highly connected sparse finite graphs. They play an important role in computer science as basic building blocks for network constructions, error correcting codes, algorithms, and more. In recent years they have started to play an increasing role also in pure mathematics: number theory, group theory, geometry, and more. This expository article describes their constructions and various applications in pure and applied mathematics.

[1]  Ben Green,et al.  Approximate Subgroups of Linear Groups , 2010, 1005.1881.

[2]  P. Buser,et al.  Geometry and Spectra of Compact Riemann Surfaces , 1992 .

[3]  Damien Gaboriau,et al.  What is the cost? , 1930 .

[4]  B. Weisfeiler.  Strong approximation for Zariski-dense subgroups of semi-simple algebraic groups , 1984 .

[5]  László Babai,et al.  Small-diameter Cayley Graphs for Finite Simple Groups , 1989, Eur. J. Comb..

[6]  Vadim A. Kaimanovich.  Expander graphs, random matrices and quantum chaos , 2004 .

[7]  A. Lubotzky,et al.  On conjugacy growth of linear groups† , 2011, Mathematical Proceedings of the Cambridge Philosophical Society.

[8]  G. A. Soifer,et al.  Free Subgroups of Linear Groups , 2007 .

[9]  A. Valette.  Introduction To The Baum-Connes Conjecture , 2002 .

[10]  J. Bourgain,et al.  Uniform expansion bounds for Cayley graphs of SL2(Fp) , 2008 .

[11]  E. Kowalski,et al.  Splitting fields of characteristic polynomials of random elements in arithmetic groups , 2010, 1008.3662.

[12]  Alex Kontorovich,et al.  Apollonian Circle Packings and Closed Horospheres on Hyperbolic 3-manifolds , 2022 .

[13]  Ilya Kapovich,et al.  Average-case complexity and decision problems in group theory , 2002, ArXiv.

[14]  László Babai,et al.  Product growth and mixing in finite groups , 2008, SODA '08.

[15]  P. Sarnak,et al.  On Selberg's eigenvalue conjecture , 1995 .

[16]  W. Sierpinski,et al.  Sur certaines hypothèses concernant les nombres premiers , 1958 .

[17]  Alexander Lubotzky,et al.  Sieve Methods in Group Theory III: Aut(FN) , 2012, Int. J. Algebra Comput..

[18]  George Glauberman.  Factorizations in local subgroups of finite groups , 1977 .

[19]  A. Lubotzky,et al.  Dimension expanders , 2008, 0804.0481.

[20]  Universal lattices and property tau , 2005, math/0502112.

[21]  Alexander Lubotzky,et al.  Cayley graphs: eigenvalues, expanders and random walks , 1995 .

[22]  Terence Tao,et al.  A sum-product estimate in finite fields, and applications , 2003, math/0301343.

[23]  Invariant measures and stiffness for non-Abelian groups of toral automorphisms⁎ , 2007 .

[24]  J. Bourgain,et al.  On Representations of Integers in Thin Subgroups of $${{\rm SL}_2({\mathbb {Z}})}$$ , 2010 .

[25]  Daniel A. Spielman,et al.  Expander codes , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[26]  Terence Tao,et al.  An inverse theorem for the Gowers U^{s+1}[N]-norm , 2010 .

[27]  Jing-Run Chen,et al.  ON THE REPRESENTATION OF A LARGER EVEN INTEGER AS THE SUM OF A PRIME AND THE PRODUCT OF AT MOST TWO PRIMES , 1973 .

[28]  Igor Rivin.  Zariski Density and Genericity , 2010 .

[29]  Igor Pak,et al.  The product replacement algorithm and Kazhdan’s property (T) , 2000 .

[30]  L. Clozel.  Démonstration de la conjecture τ , 2003 .

[31]  M. Gromov.  Singularities, Expanders and Topology of Maps. Part 2: from Combinatorics to Topology Via Algebraic Isoperimetry , 2010 .

[32]  P. P. Varj'u.  Expansion in $SL_d(O_K/I)$, $I$ square-free , 2010, 1001.3664.

[33]  Nikolay Nikolov,et al.  Product decompositions of quasirandom groups and a Jordan type theorem , 2007, math/0703343.

[34]  J. Bourgain,et al.  On representations of integers in thin subgroups of SL(2,Z) , 2010, 1001.4534.

[35]  Marc Lackenby.  Heegaard splittings, the virtually Haken conjecture and Property (τ) , 2002 .

[36]  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.

[37]  L'aszl'o Pyber,et al.  Growth in finite simple groups of Lie type of bounded rank , 2010, 1005.1858.

[38]  M. Gromov,et al.  Singularities, Expanders and Topology of Maps. Part 1: Homology Versus Volume in the Spaces of Cycles , 2009 .

[39]  Paul Erdös,et al.  Some problems in partitio numerorum , 1979, Journal of the Australian Mathematical Society.

[40]  Moshe Morgenstern,et al.  Existence and Explicit Constructions of q + 1 Regular Ramanujan Graphs for Every Prime Power q , 1994, J. Comb. Theory, Ser. B.

[41]  A. Lubotzky,et al.  The Galois group of random elements of linear groups , 2012, 1205.5290.

[42]  M. Lackenby.  Expanders, rank and graphs of groups , 2004, math/0403127.

[43]  Justin Malestein,et al.  On genericity of pseudo-Anosovs in the Torelli group , 2011, 1102.0601.

[44]  E. Kowalski.  Amplification arguments for large sieve inequalities , 2009, 0911.2020.

[45]  Yehuda Shalom,et al.  Bounded generation and Kazhdan’s property (T) , 1999 .

[46]  J. Bourgain,et al.  Expansion and random walks in SL_d(Z/p^n Z): II , 2008 .

[47]  Andrzej Zuk,et al.  Property (T) and Kazhdan constants for discrete groups , 2003 .

[48]  L. Bartholdi.  On amenability of group algebras, I , 2006, math/0608302.

[49]  A. Lubotzky,et al.  Finite simple groups as expanders. , 2005, Proceedings of the National Academy of Sciences of the United States of America.

[50]  M. Pinsker,et al.  On the complexity of a concentrator , 1973 .

[51]  P. Sarnak.  What is . . . An expander , 2004 .

[52]  J. Littlewood,et al.  Some problems of ‘Partitio numerorum’; III: On the expression of a number as a sum of primes , 1923 .

[53]  Scott H. Murray,et al.  Generating random elements of a finite group , 1995 .

[54]  Mehrdad Shahshahani,et al.  On the girth of random Cayley graphs , 2007, Random Struct. Algorithms.

[55]  T. Tao,et al.  The primes contain arbitrarily long arithmetic progressions , 2004, math/0404188.

[56]  LERF and the Lubotzky–Sarnak Conjecture , 2008, 0804.1305.

[57]  W. T. Gowers,et al.  Quasirandom Groups , 2007, Combinatorics, Probability and Computing.

[58]  P. Sarnak,et al.  Sieving and expanders , 2006 .

[59]  B. Green.  Approximate groups and their applications: work of Bourgain, Gamburd, Helfgott and Sarnak , 2009, 0911.3354.

[60]  M. Mignotte,et al.  On Fibonacci numbers with few prime divisors , 2005 .

[61]  Yehuda Shalom,et al.  The algebraization of Kazhdan ’ s property ( T ) , 2006 .

[62]  Giuliana P. Davidoff,et al.  Elementary number theory, group theory, and Ramanujan graphs , 2003 .

[63]  Robert Michael Tanner,et al.  A recursive approach to low complexity codes , 1981, IEEE Trans. Inf. Theory.

[64]  Pascal Weil,et al.  Statistical properties of subgroups of free groups , 2013, Random Struct. Algorithms.

[65]  Yehuda Shalom,et al.  The algebraization of Kazhdans property (T) , 2006 .

[66]  G. A. Margulis,et al.  Explicit constructions of graphs without short cycles and low density codes , 1982, Comb..

[67]  Oren Dinai.  Growth in SL2 over finite fields , 2010 .

[68]  Miklós Abért,et al.  The rank gradient from a combinatorial viewpoint , 2007, math/0701925.

[69]  Glyn Harman,et al.  ANALYTIC NUMBER THEORY (American Mathematical Society Colloquium Publications 53) , 2005 .

[70]  A. Lubotzky.  Free quotients and the first betti number of some hyperbolic manifolds , 1996 .

[71]  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.

[72]  P. Proudhon.  What Is Property , 1970 .

[73]  William M. Kantor,et al.  The probability of generating a finite classical group , 1990 .

[74]  Joseph Maher,et al.  Random Heegaard splittings , 2008, 0809.4881.

[75]  Gábor Hetyei,et al.  On the diameter of finite groups , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[76]  Counting Reducible Matrices, Polynomials, and Surface and Free Group Automorphisms , 2006, math/0604489.

[77]  Peter Sarnak,et al.  Spectra of elements in the group ring of SU(2) , 1999 .

[78]  Emmanuel Breuillard,et al.  Strong Uniform Expansion in SL(2, p) , 2010 .

[79]  Darren D. Long,et al.  Heegaard genus and property τ for hyperbolic 3‐manifolds , 2008 .

[80]  G. Elek.  The amenability of affine algebras , 2002, math/0203261.

[81]  Marc Lackenby,et al.  Large groups, property (τ) and the homology growth of subgroups , 2009, Mathematical Proceedings of the Cambridge Philosophical Society.

[82]  Ben Green,et al.  Linear Approximate Groups , 2010, 1001.4570.

[83]  P. Sarnak,et al.  Affine linear sieve, expanders, and sum-product , 2010 .

[84]  A. Lubotzky,et al.  Hecke operators and distributing points on the sphere I , 1986 .

[85]  Elena D. Fuchs,et al.  Some Experiments with Integral Apollonian Circle Packings , 2010, Exp. Math..

[86]  A spectral proof of Rademacher's conjecture for congruence subgroups of the modular group. , 1991 .

[87]  T. Tao,et al.  Strongly dense free subgroups of semisimple algebraic groups , 2010, 1010.4259.

[88]  A. Lubotzky,et al.  Powers in Finitely Generated Groups , 1996 .

[89]  Nick Gill,et al.  Growth of small generating sets in SL_n(Z/pZ) , 2010 .

[90]  Damien Gaboriau.  Coût des relations d’équivalence et des groupes , 2000 .

[91]  Alexander Lubotzky,et al.  Ramanujan complexes of typeÃd , 2005 .

[92]  William M. Kantor,et al.  The probability of generating a classical group , 1994 .

[93]  Ilya Kapovich,et al.  Generic-case complexity, decision problems in group theory and random walks , 2002, ArXiv.

[94]  Alexei G. Myasnikov,et al.  Generic complexity of undecidable problems , 2008, J. Symb. Log..

[95]  Miklós Abért,et al.  Rank gradient, cost of groups and the rank versus Heegaard genus problem , 2007, math/0701361.

[96]  N. Linial,et al.  Expander Graphs and their Applications , 2006 .

[97]  Alex Gamburd,et al.  On the spectral gap for infinite index “congruence” subgroups of SL2(Z) , 2002 .

[98]  P. Sarnak,et al.  Ramanujan duals II , 1991 .

[99]  M. Bekka.  On the full C*-algebras of arithmetic groups and the congruence subgroup problem , 1999 .

[100]  R. Chapman.  SOME APPLICATIONS OF MODULAR FORMS (Cambridge Tracts in Mathematics 99) , 1992 .

[101]  P. Sarnak,et al.  Prime and almost prime integral points on principal homogeneous spaces , 2009, 0902.0692.

[102]  Martin Kassabov.  Universal lattices and unbounded rank expanders , 2005 .

[103]  EIGENVALUES OF THE LAPLACIAN, THE FIRST BETTI NUMBER AND THE CONGRUENCE SUBGROUP PROBLEM , 1996 .

[104]  Akshay Venkatesh,et al.  Linnik's ergodic method and the distribution of integer points on spheres , 2010, 1001.0897.

[105]  H. A. Helfgott.  Growth and generation in SL_2(Z/pZ) , 2005 .

[106]  Alexander Lubotzky,et al.  Variants of Kazhdan’s property for subgroups of semisimple groups , 1989 .

[107]  Alain Valette,et al.  Graphes de Ramanujan et applications , 1997 .

[108]  E. Kowalski.  Sieve in expansion , 2010, 1012.2793.

[109]  P. Sarnak.  Equidistribution and primes , 2008 .

[110]  L. N. Vaserstein,et al.  Congruence Properties of Zariski‐Dense Subgroups I , 1984 .

[111]  William P. Thurston,et al.  Finite covers of random 3-manifolds , 2006 .

[112]  Yehuda Shalom,et al.  Expander Graphs and Amenable Quotients , 1999 .

[113]  Madhav V. Nori,et al.  On subgroups ofGLn(Fp) , 1987 .

[114]  Linear Representations of the Automorphism Group of a Free Group , 2006, math/0606182.

[115]  Ben Green,et al.  Linear equations in primes , 2006, math/0606088.

[116]  R. Pink.  Strong approximation for Zariski dense subgroups over arbitrary global fields , 2000 .

[117]  M. Ershov.  Golod-Shafarevich groups with property ($T$) and Kac-Moody groups , 2008 .

[118]  E. Looijenga.  Prym Representations of Mapping Class Groups , 1997 .

[119]  P. Sarnak,et al.  Generalization of Selberg's 3/16 Theorem and Affine Sieve , 2009, 0912.5021.

[120]  Alan Williamson,et al.  The Probability of Generating the Symmetric Group , 1978 .

[121]  V. Lafforgue,et al.  Counterexamples to the Baum—Connes conjecture , 2002 .

[122]  E. Kowalski.  The Large Sieve and its Applications: Arithmetic Geometry, Random Walks and Discrete Groups , 2008 .

[123]  Colva M. Roney-Dougal,et al.  The probability of generating a finite simple group , 2013 .

[124]  Zeev Dvir,et al.  Towards Dimension Expanders over Finite Fields , 2008, 2008 23rd Annual IEEE Conference on Computational Complexity.

[125]  Alain Valette.  An application of Ramanujan graphs to C*-algebra tensor products , 1997, Discret. Math..

[126]  P. Schupp,et al.  On group-theoretic models of randomness and genericity , 2007, 0705.4681.

[127]  A. Lubotzky,et al.  Hecke operators and distributing points on S2. II , 1987 .

[128]  Oren Dinai,et al.  Expansion properties of finite simple groups , 2010, 1001.5069.

[129]  M. Gromov,et al.  Random walk in random groups , 2003 .

[130]  P. Diaconis,et al.  Walks on generating sets of groups , 1998 .

[131]  János Pach,et al.  Overlap properties of geometric expanders , 2011, SODA '11.

[132]  J. Ellenberg,et al.  Expander graphs, gonality, and variation of Galois representations , 2010, 1008.3675.

[133]  M. Murty.  Ramanujan Graphs , 1965 .

[134]  A. Lubotzky,et al.  Sieve methods in group theory I: Powers in linear groups , 2011, 1107.3666.

[136]  Tali Kaufman,et al.  Edge Transitive Ramanujan Graphs and Highly Symmetric LDPC Good Codes , 2011, ArXiv.

[137]  Random walks on the mapping class group , 2006, math/0604433.

[138]  C. L. Mallows,et al.  Apollonian circle packings:number theory , 2000 .

[139]  H. Helfgott.  Growth and generation in $\mathrm{SL}_2(\mathbb{Z}/p \mathbb{Z})$ , 2008 .

[140]  J. Bourgain,et al.  A proof of the positive density conjecture for integer Apollonian circle packings , 2010, 1001.3894.

[141]  Ben Green,et al.  Suzuki groups as expanders , 2010, 1005.0782.

[142]  T. Tao,et al.  Expansion in finite simple groups of Lie type , 2013, 1309.1975.

[143]  Pham Do Tuan,et al.  On the estimation of Fourier coefficients. , 1969 .

[144]  Avi Wigderson,et al.  Expanders In Group Algebras , 2004, Comb..

[145]  Jean-Pierre Serre,et al.  Le Probleme des Groupes de Congruence Pour SL 2 , 1970 .

[146]  P. Sarnak.  Some Applications of Modular Forms , 1990 .

[147]  P. Varjú,et al.  Expansion in perfect groups , 2011, 1108.4900.

[148]  Avi Wigderson,et al.  Iterative Construction of Cayley Expander Graphs , 2006, Theory Comput..

[149]  John B. Friedlander,et al.  Opera De Cribro , 2010 .

[150]  Martin Kassabov,et al.  Symmetric groups and expander graphs , 2005 .

[151]  A. Lubotzky,et al.  Explicit constructions of Ramanujan complexes of type Ãd , 2005, Eur. J. Comb..

[152]  A. N. Kolmogorov,et al.  Selected Works of A.N. Kolmogorov , 1991 .

[153]  A. Lubotzky,et al.  Invariable generation and the chebotarev invariant of a finite group , 2010, 1010.5722.

[154]  Peter Sarnak,et al.  Integral Apollonian Packings , 2011, Am. Math. Mon..

[155]  H. Iwaniec,et al.  Analytic Number Theory , 2004 .

[156]  H. A. Helfgott,et al.  Growth in SL_3(Z/pZ) , 2008, 0807.2027.

[157]  J. Bourgain.  Expanders and dimensional expansion , 2009 .

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

[159]  G. Levitt.  On the cost of generating an equivalence relation , 1995, Ergodic Theory and Dynamical Systems.

[160]  Henry H. Kim.  Functoriality for the exterior square of ₄ and the symmetric fourth of ₂ , 2003 .

[162]  Jean Bourgain,et al.  Expansion in SLd(Z/qZ), q arbitrary , 2010, 1006.3365.

[163]  A. Lubotzky.  Finite simple groups of Lie type as expanders , 2009, 0904.3411.

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

[165]  M. Gromov,et al.  Generalizations of the Kolmogorov–Barzdin embedding estimates , 2011, 1103.3423.

[166]  Yehuda Shalom,et al.  Expanding graphs and invariant means , 1997, Comb..

[167]  Mikhail Ershov,et al.  Property (T) for noncommutative universal lattices , 2008, 0809.4095.

[168]  Nikolay Nikolov,et al.  A product decomposition for the classical quasisimple groups , 2005, math/0510173.

[169]  Alexander Lubotzky,et al.  Explicit constructions of Ramanujan complexes of type , 2005, Eur. J. Comb..

[170]  Alex Kontorovich,et al.  Almost prime Pythagorean triples in thin orbits , 2010, 1001.0370.

[171]  A. Lubotzky,et al.  Sieve methods in group theory II: the mapping class group , 2011, 1104.2450.

[172]  Joel Friedman,et al.  A proof of Alon's second eigenvalue conjecture and related problems , 2004, ArXiv.

[173]  Noga Alon,et al.  Explicit construction of linear sized tolerant networks , 1988, Discret. Math..

[174]  Nathan Linial.  Finite metric spaces: combinatorics, geometry and algorithms , 2002, SCG '02.

[175]  Henry H. Kim,et al.  FUNCTORIALITY FOR THE EXTERIOR SQUARE OF GL4 AND THE SYMMETRIC FOURTH OF GL2 , 2003 .

[176]  Jean Bourgain,et al.  On the spectral gap for finitely-generated subgroups of SU(2) , 2007 .