Abstract
We further explore the local-to-global approach for expansion of simplicial complexes that we call local spectral expansion. Specifically, we prove that local expansion in the links implies the global expansion phenomena of mixing and geometric overlapping. Our mixing results also give tighter bounds on the error terms compared to previously known results.
Similar content being viewed by others
References
Alon, N., Chung, F.R.K.: Explicit construction of linear sized tolerant networks. Discrete Math. 72(1–3), 15–19 (1988)
Ballmann, W., Świątkowski, J.: On \(L^2\)-cohomology and property (T) for automorphism groups of polyhedral cell complexes. Geom. Funct. Anal. 7(4), 615–645 (1997)
De Winter, S., Schillewaert, J., Verstraete, J.: Large incidence-free sets in geometries. Electron. J. Comb. 19(4), 24 (2012)
Evra, S., Golubev, K., Lubotzky, A.: Mixing properties and the chromatic number of Ramanujan complexes. Int. Math. Res. Not. IMRN 2015(22), 11520–11548 (2015)
Fox, J., Gromov, M., Lafforgue, V., Naor, A., Pach, J.: Overlap properties of geometric expanders. J. Reine Angew. Math. 671, 49–83 (2012)
Garland, H.: \(p\)-adic curvature and the cohomology of discrete subgroups of \(p\)-adic groups. Ann. Math. 97, 375–423 (1973)
Gromov, M.: Singularities, expanders and topology of maps. Part 2: From combinatorics to topology via algebraic isoperimetry. Geom. Funct. Anal. 20(2), 416–526 (2010)
Gundert, A., Wagner, U.: On Laplacians of random complexes. In: Computational Geometry (SCG’12), pp. 151–160. ACM, New York (2012)
Haemers, W.H.: Interlacing eigenvalues and graphs. Linear Algebra Appl. 226(228), 593–616 (1995)
Kaufman, T., Oppenheim, I.: Construction of new local spectral high dimensional expanders. In: STOC’18—Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, pp. 773–786. ACM, New York (2018)
Kaufman, T., Oppenheim, I.: High order random walks: beyond spectral gap. In: Blais, E. et al. (eds.) Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. LIPIcs. Leibniz International Proceedings in Informatics, vol. 116, Art. No. 47. Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Wadern (2018)
Oppenheim, I.: Local spectral expansion approach to high dimensional expanders (2015). arXiv:1407.8517
Oppenheim, I.: Local spectral expansion approach to high dimensional expanders. Part I: descent of spectral gaps. Discrete Comput. Geom. 59(2), 293–330 (2018)
Pach, J.: A Tverberg-type result on multicolored simplices. Comput. Geom. 10(2), 71–76 (1998)
Parzanchevski, O.: Mixing in high-dimensional expanders. Comb. Probab. Comput. 26(5), 746–761 (2017)
Parzanchevski, O., Rosenthal, R., Tessler, R.J.: Isoperimetric inequalities in simplicial complexes. Combinatorica 36(2), 195–227 (2016)
Acknowledgements
The author would like to thank Matthew Kahle and Tali Kaufman for many useful discussions and Alexander Lubotzky for the inspiration to pursue this subject. The author was partially supported by ISF Grant No. 293/18.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: János Pach
Dedicated to the memory of Ricky Pollack.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Spectral Descent for Random Walks
In [13], it was shown that given a simplicial complex with connected links, one can derive bounds on the spectra of the Laplacians in links of every dimension, based on bounds on the spectrum of the Laplacians in the 1-dimensional links. In the paper above, we replaced the Laplacians with random walk operators.
In this appendix, we state the spectral descent results of [13] in the language of random walks. These results are easy to derive, because the graph Laplacian \(\varDelta _0^+\) is basically defined by \(\varDelta _0^+ = I-(M')_0^+\), and therefore we do not include the proof. We also use this result to find a sufficient condition on the spectral gaps of 1-dimensional links, so that the conditions of our mixing theorems are fulfilled.
Theorem 10.1
(Spectral descent for random walks) Let X be a pure n-dimensional weighted simplicial complex, such that all the links of X of dimension \(\ge 1\) (including X itself) are connected. For \(0 \le k \le n-1\), let \(0 \le \mu _k \le 1,-1 \le \nu _k \le 0\) be constants such that for every \(\sigma \in X(k-1)\), \({\text {Spec}}((M_\sigma ')_0^{+}) \subseteq [\nu _k, \mu _k] \cup \lbrace 1 \rbrace \). Then for every \(0 \le k \le n-2\),
A simple induction leads to the following:
Corollary 10.2
Let X be a pure n-dimensional weighted simplicial complex, such that all the links of X of dimension \(\ge 1\) (including X itself) are connected. Then for every \(0 \le k \le n-2\),
A corollary from the above corollary is
Corollary 10.3
Let X be a weighted pure n-dimensional simplicial complex, such that all the links of X of dimension \(\ge 1\) (including X itself[) are connected, and let \(0 < \lambda \le 1\) be some constant. If \(\mu _{n-1} \le \frac{\lambda }{1+(n-1)\lambda }\), then for every \(0 \le k \le n-1\), \(\mu _k \le \lambda \), i.e., for every \(\sigma \in \bigcup _{k=-1}^{n-2} X(k)\), \({\text {Spec}}((M_\sigma ')_0^{+}) \subseteq [-1, \lambda ] \cup \lbrace 1 \rbrace \).
Moreover, if \(\mu _{n-1} \le \frac{\lambda }{1+(n-1)\lambda }\) and \(\frac{-\lambda }{1+(n-1)\lambda } \le \nu _{n-1}\), then for every \(0 \le k \le n-1\), \(\mu _k \le \lambda \) and \(-\lambda \le \nu _k\), i.e., for every \(\sigma \in \bigcup _{k=-1}^{n-2} X(k)\), \({\text {Spec}}((M_\sigma ')_0^{+}) \subseteq [-\lambda , \lambda ] \cup \lbrace 1 \rbrace \).
Proof
By the above corollary, if \(\mu _{n-1} \le \frac{\lambda }{1+(n-1)\lambda }\) then for every \(0 \le k \le n-2\) we have that
The proof of the second assertion is similar. \(\square \)
Appendix B: Alternative Proof of Theorem 7.1 by Passing to a Partite Cover
Let X be a pure n-dimensional weighted simplicial complex X with a weight function m. Below, we will prove a version of Theorem 7.1 for which we will need the following notation: for non-empty sets \(U_0,\dots ,U_n \subseteq X(0)\), define
and
We note that \(m( x(U_0,\dots ,U_n)))\) is defined so that it accounts for the intersections between the sets. For example, if the sets \(U_0,\dots ,U_n \subseteq X(0)\) are pairwise disjoint, then \(m( x(U_0,\dots ,U_n))) = m(X(U_0,\dots ,U_n))\), and, on the other hand, if \(U_0 = \dots = U_n\), then \(m( x(U_0,\dots ,U_n)) = (n+1)!\, m(X(U_0,\dots ,U_n))\). After these notations, we can state the version of Theorem 7.1 to be proven.
Theorem 11.1
Let X be as above and assume that there is a constant \(0 \le \lambda < 1\) such that for every \(0 \le k \le n-1\) and every \(\tau \in X(k-1)\), \({\text {Spec}}((M')_{\tau ,0}^+) \subseteq [-(n-k) \lambda , \lambda ] \cup \lbrace 1 \rbrace \). Then for every non-empty sets \(U_0,\dots ,U_n \subseteq X(0)\),
where
Remark 11.2
When comparing Theorem 7.1 to Theorem 11.1, we note that Theorem 7.1 gives a better bound, i.e., the constant \(C_n\) is smaller in Theorem 7.1. On the other hand, Theorem 11.1 is more general in the sense that it allows the sets \(U_0,\dots ,U_n\) to have non-empty intersections and that the condition on the lower bound of the spectra of the random walks on the links is relaxed for links of dimension \(>1\).
The proof of Theorem 11.1 uses the partite cover of X which we will now define. Given X as above, we construct a \((n+1)\)-partite cover of X, denoted \({\widetilde{X}}\) as follows:
-
The complex \({\widetilde{X}}\) has \(n+1\)-sides that are copies of X(0). Formally, \({\widetilde{X}} (0) = S_0 \cup \dots \cup S_n\), where the sets \(S_0,\dots ,S_n\) are disjoint and for every \(0 \le i \le n\),
$$\begin{aligned} S_i = \lbrace v^i_u : u \in X(0) \rbrace . \end{aligned}$$ -
The n-simplices of \({\widetilde{X}}\) are those with vertices corresponding to n-simplices of X that are all in different sides of \({\widetilde{X}}\) (and the simplices of all other dimensions are defined to be faces of n-simplices). Formally, for every \(1 \le k \le n\), \(\lbrace v^{i_0}_{u_0},\dots ,v^{i_k}_{u_k} \rbrace \in {\widetilde{X}} (k)\) if and only if \(\lbrace u_0,\dots ,u_k \rbrace \in X(k)\), \(0 \le i_0,\dots ,i_k \le n\) and \(i_{j_1} \ne i_{j_2}\) for \(0 \le j_1, j_2 \le k\).
-
The weight function \({\widetilde{m}}\) of \({\widetilde{X}}\) is defined so that for every \(\lbrace v^{0}_{u_0},\dots ,v^{n}_{u_n} \rbrace \in {\widetilde{X}} (n)\), \({\widetilde{m}} (\lbrace v^{0}_{u_0},\dots ,v^{n}_{u_n} \rbrace ) = m (\lbrace u_0,\dots ,u_n \rbrace )\). Explicitly, for every \(-1 \le k \le n\) and every \(\lbrace v^{i_0}_{u_0},\dots ,v^{i_k}_{u_k} \rbrace \in {\widetilde{X}} (k)\),
$$\begin{aligned} {\widetilde{m}} (\lbrace v^{i_0}_{u_0},\dots ,v^{i_k}_{u_k} \rbrace ) = (n-k)!\, m(\lbrace u_0,\dots ,u_k \rbrace ). \end{aligned}$$
Observation 11.3
For every \(\lbrace v^{i_0}_{u_0},\dots ,v^{i_k}_{u_k} \rbrace \in {\widetilde{X}} (k)\), an link \({\widetilde{X}}_{\lbrace v^{i_0}_{u_0},\dots ,v^{i_k}_{u_k} \rbrace }\) is the \((n-k)\)-partite cover of the link \(X_{\lbrace u_0,\dots ,u_k \rbrace }\).
The 1-skeleton of \({\widetilde{X}}\) is the tensor product of the 1-skeleton of X with the complete graph on \(n+1\) vertices. We recall that it is known that given two graphs \(G_1, G_2\), the spectrum of the random walk matrix on \(G_1 \otimes G_2\) is
Below, we prove a generalization of this fact in the weighted setting (this is probably a well-known fact, but we could not find a proof in the literature).
Proposition 11.4
For a finite weighted graph \(G = (V,E)\), with a weight function m, denote \(M_G'\) to be the weighted random walk operator on G, i.e., for \(\phi \in \ell ^2 (V)\),
Let \(G_1 = (V_1,E_1) ,G_2 = (V_2,E_2)\) be finite weighted graphs with weight functions \(m_i :E_i \rightarrow {\mathbb {R}}^+\). Define \(G_1 \otimes G_2\) to be the weighted graph defined as \(V_{G_1 \otimes G_2} = V_1 \times V_2\),
and
Then
Proof
For \(i=1,2\), let \(\phi _i \in \ell ^2 (V_i)\) be an eigenfunction of \(M_{G_i}'\) with eigenvalue \(\lambda _i\). Define \(\phi _1 \otimes \phi _2 \in \ell ^2 (V_1 \times V_2)\) by
We leave it to the reader to verify that for every \((v_1,v_2) \in V_1 \times V_2\),
We also observe that if \(\phi _1 \perp \phi _1' \) or \(\phi _2 \perp \phi _2' \), then \((\phi _1 \otimes \phi _2) \perp (\phi _1' \otimes \phi _2')\). Therefore if for \(i=1,2\), \(\lbrace \phi _i^{j} : j=1,\dots ,\vert V_i \vert \rbrace \) is an orthogonal basis of eigenfunctions of \(M_{G_i}'\), then \(\lbrace \phi _1^{j_1} \otimes \phi _2^{j_2} : j_1=1,\dots ,\vert V_1 \vert , j_2=1,\dots ,\vert V_2 \vert \rbrace \) is an orthogonal set of eigenfunctions of \(M_{G_1 \otimes G_2}'\) and since it is of size \(\vert V_1 \times V_2|\), it is also a basis. Thus \(\lbrace \phi _1^{j_1} \otimes \phi _2^{j_2} : j_1=1,\dots ,\vert V_1 \vert , j_2=1,\dots ,\vert V_2 \vert \rbrace \) is an orthogonal basis of eigenfunctions and all the eigenvalues are of the form \(\lambda _1 \lambda _2\). \(\square \)
Corollary 11.5
Let X be a pure n-dimensional weighted simplicial complex and let \({\widetilde{X}}\) be the \((n+1)\)-partite cover of X defined above. Denote \((M')_{X,0}^+\) to be the weighted random walk on the 1-skeleton of X and \((M')_{{\widetilde{X}},0}^+\) to be the weighted random walk on the 1-skeleton of \({\widetilde{X}}\). For \(0 \le \lambda <1\), if \({\text {Spec}}\bigl ((M')_{X,0}^+\bigr ) \subseteq [-n\lambda , \lambda ] \cup \lbrace 1 \rbrace \), then \({\text {Spec}}\bigl ((M')_{{\widetilde{X}},0}^+\bigr ) \subseteq \bigl [-\frac{1}{n}, \lambda \bigr ] \cup \lbrace 1 \rbrace \).
Proof
We observe that the 1-skeleton of \({\widetilde{X}}\) is the tensor product of the 1-skeleton of X weighted by m and the complete graph on \(n+1\) vertices with weight 1 on all the edges. The spectrum of the simple random walk on complete graph on \(n+1\) vertices is \(\bigl \lbrace - \frac{1}{n}, 1\bigr \rbrace \) and the corollary follows from Proposition 11.4. \(\square \)
Corollary 11.6
Let X be a pure n-dimensional weighted simplicial complex and let \({\widetilde{X}}\) be the \((n+1)\)-partite cover of X defined above. Assume that there is a constant \(0< \lambda < 1\) such that for every \(0 \le k \le n-1\) and every \(\tau \in X(k-1)\), \({\text {Spec}}\bigl ((M')_{X_\tau ,0}^+\bigr ) \subseteq [-(n-k)\lambda , \lambda ] \cup \lbrace 1 \rbrace \). Then for every \(0 \le k \le n-1\) and every \({\widetilde{\tau }} \in {\widetilde{X}}(k-1)\), \({\text {Spec}}\bigl ((M')_{{\widetilde{X}}_{{\widetilde{\tau }}},0}^+\bigr ) \subseteq \bigl [- \frac{1}{n-k}, \lambda \bigr ] \cup \lbrace 1 \rbrace \).
Proof
The proof follows directly from the previous corollary and Observation 11.3. \(\square \)
After this corollary, we are ready to prove Theorem 11.1:
Proof
Let X be a complex as in the statement of Theorem 11.1. By Corollary 11.6, \({\widetilde{X}}\) fulfils the conditions of Theorem 7.3 (with the same \(\lambda \)). For non-empty sets \(U_0,\dots ,U_n \subseteq X(0)\), we define sets \({\widetilde{U}}_i \subseteq S_i\) in \({\widetilde{X}} (0)\) as
By Theorem 7.3, it follows that
where
We observe that
Thus,
where \(C_n\) as above. Multiplying this inequality by \(m(X(0)) = (n+1)!\, m(X(n))\) (see Proposition 2.3) finishes the proof. \(\square \)
Rights and permissions
About this article
Cite this article
Oppenheim, I. Local Spectral Expansion Approach to High Dimensional Expanders Part II: Mixing and Geometrical Overlapping. Discrete Comput Geom 64, 1023–1066 (2020). https://doi.org/10.1007/s00454-019-00117-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-019-00117-7