Abstract:We quantify the topological expansion properties of bounded degree simplicial complexes in terms of a family of sublinear functions, in analogy with the separation profile of Benjamini-Schramm-Timár for classical expansion of bounded degree graphs. We prove that, like the separation profile, these new invariants are monotone under regular maps between complexes satisfying appropriate higher connectivity assumptions. In the dimension $1$ case, we recover the cutwidth profile of Huang-Hume-Kelly-Lam. We also prove the seemingly new result that any $1$-dimensional topological expander necessarily contains a graphical expander. In higher dimensions, we give full calculations of these new invariants for Euclidean spaces, which are natural analogues of waist and width-volume inequalities due to Gromov and Guth respectively. We present several other methods of obtaining upper bounds including naïve (yet useful) direct product and fibring theorems, and show how lower bounds can be obtained via thick embeddings of complexes, in analogy with previous work of Barrett-Hume. Using this, we find lower bounds for $k$-expansion of $(k+1)$-fold horocyclic products of trees, and for rank $k$ symmetric spaces of non-compact type. As a further application, we prove that for every $k\geq 2$ there is no coarse embedding (and more generally, no regular map) from the $k$-fold horocyclic product of $3$-regular trees to either any product $(\mathbb{H}^2)^{k-2}\times H \times D$ where $\mathbb{H}^2$ is the real hyperbolic plane, $H$ is a bounded degree hyperbolic graph and $D$ is a doubling metric space, or to any symmetric space whose non-compact factor has corank (dimension minus rank) is strictly less than $k$.

Higher-dimensional book-spaces

Topological lower bounds on the sizes of simplicial complexes and simplicial sets

Higher Analogues of Discrete Topological Complexity

Spatial Cube Complexes

Higher-Dimensional Algebra IV: 2-Tangles

Complexes of stable $\infty$-categories

Topological expanders, coarse geometry and thick embeddings of complexes

High-dimensional expanders from Kac--Moody--Steinberg groups

Higher Symmetries of Lattices in 3D

Moduli spaces of Delzant polytopes and symplectic toric manifolds

Distinguish modular categories and 2+1D topological orders beyond modular data: Mapping class group of higher genus manifold

From gauge to higher gauge models of topological phases

Transversal numbers of simplicial polytopes, spheres, and pure complexes

The amazing world of simplicial complexes

On spaces of minimal higher topological complexity

Coweight lattice $A^*_n$ and lattice simplices

Modular categories as representations of the 3-dimensional bordism 2-category

From Grassmannian to Simplicial High-Dimensional Expanders

Group actions and higher topological complexity of lens spaces

Categorified Open Topological Field Theories

Spherical objects in dimensions two and three