Bounded degree cosystolic expanders of every dimension

In recent years a high dimensional theory of expanders has emerged. The notion of combinatorial expansion of graphs (i.e. the Cheeger constant of a graph) has seen two generalizations to high dimensional simplicial complexes. One generalization, known as coboundary expansion, is due to Linial and Meshulem; the other, which we term here cosystolic expansion, is due to Gromov, who showed that cosystolic expanders have the topological overlapping property. No construction (either random or explicit) of bounded degree combinational expanders (according to either definition) were known until a recent work of Kaufman, Kazhdan and Lubotzky, which provided the first bounded degree cosystolic expanders of dimension two. No bounded degree combinatorial expanders are known in higher dimensions. In this work we present explicit bounded degree cosystolic expanders of every dimension. This solves affirmatively an open question raised by Gromov, who asked whether there exist bounded degree complexes with the topological overlapping property in every dimension. Moreover, we provide a local to global criterion on a complex that implies cosystolic expansion: Namely, for a d-dimensional complex, X, if its underlying graph is a good expander, and all its links are both coboundary expanders and good expander graphs, then the (d-1)-dimensional skeleton of the complex is a cosystolic expander.

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

[2]  Hee Oh.  Uniform pointwise bounds for matrix coefficients of unitary representations and applications to Kazhdan constants , 2002 .

[3]  Tali Kaufman,et al.  High Dimensional Random Walks and Colorful Expansion , 2016, ITCS.

[4]  Tali Kaufman,et al.  Walking on the Edge and Cosystolic Expansion , 2016, ArXiv.

[5]  Roy Meshulam,et al.  Expansion of Building-Like Complexes , 2014 .

[6]  Matthew Kahle,et al.  Coboundary expanders , 2010, 1012.5316.

[7]  Roy Meshulam,et al.  Random Latin squares and 2-dimensional expanders , 2013, 1307.3582.

[8]  Tali Kaufman,et al.  High Dimensional Combinatorial Random Walks and Colorful Expansion , 2016, ArXiv.

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

[10]  Alexander Lubotzky,et al.  Mixing Properties and the Chromatic Number of Ramanujan Complexes , 2014, 1407.7700.

[11]  R. Meshulam,et al.  Homological connectivity of random k-dimensional complexes , 2009, Random Struct. Algorithms.

[12]  N. Wallach,et al.  Homological connectivity of random k-dimensional complexes , 2009 .

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

[14]  Anna Gundert,et al.  Higher dimensional discrete Cheeger inequalities , 2014, J. Comput. Geom..

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

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

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

[18]  Ori Parzanchevski.  Mixing in High-Dimensional Expanders , 2017, Comb. Probab. Comput..

[19]  Uli Wagner,et al.  Minors in random and expanding hypergraphs , 2011, SoCG '11.

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

[21]  Howard Garland,et al.  p-Adic Curvature and the Cohomology of Discrete Subgroups of p-Adic Groups , 1973 .

[22]  Tali Kaufman,et al.  Isoperimetric Inequalities for Ramanujan Complexes and Topological Expanders , 2014, ArXiv.

[23]  Antti Knowles,et al.  Eigenvalue confinement and spectral gap for random simplicial complexes , 2015, Random Struct. Algorithms.

[24]  Tali Kaufman,et al.  High dimensional expanders and property testing , 2014, ITCS.

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

[26]  Ori Parzanchevski,et al.  Isoperimetric inequalities in simplicial complexes , 2012, Comb..

[27]  Alexander Lubotzky,et al.  Expander graphs in pure and applied mathematics , 2011, 1105.2389.

[28]  Tali Kaufman,et al.  On Expansion and Topological Overlap , 2016, Symposium on Computational Geometry.

[29]  Izhar Oppenheim.  Isoperimetric Inequalities and topological overlapping for quotients of Affine buildings , 2015 .

[30]  Nathan Linial,et al.  Homological Connectivity Of Random 2-Complexes , 2006, Comb..

[31]  Ron Rosenthal,et al.  Simplicial branching random walks and their applications , 2014, 1412.5406.

[32]  A. Lubotzky,et al.  Quantum error correcting codes and 4-dimensional arithmetic hyperbolic manifolds , 2013, 1310.5555.

[33]  Ori Parzanchevski,et al.  Simplicial complexes: Spectrum, homology and random walks , 2012, Random Struct. Algorithms.

[34]  Z. Füredi,et al.  The number of triangles covering the center of an n-set , 1984 .

[35]  Anna Gundert,et al.  On laplacians of random complexes , 2012, SoCG '12.

[36]  Alexander Lubotzky,et al.  Ramanujan complexes and high dimensional expanders , 2012, 1301.1028.

[37]  Anna Gundert,et al.  Higher Dimensional Cheeger Inequalities , 2014, SoCG.

[38]  Matthew Kahle,et al.  Spectral Gaps of Random Graphs and Applications , 2012, International Mathematics Research Notices.