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$.

Expansion properties for finite subdivision rules I

Levy and Thurston obstructions of finite subdivision rules

All finite subdivision rules are combinatorially equivalent to three-dimensional subdivision rules

Vector subdivision schemes in ( L p (ℝ s )) r (1⩽ p ⩽∞) spaces

A Decomposition Theorem for Herman Maps

Lattes maps and finite subdivision rules

Vector Subdivision Schemes in (l_p(r~5))~r(1≤p≤∞) Spaces

Thermodynamic formalism for subsystems of expanding Thurston maps II

Ground states and periodic orbits for expanding Thurston maps

Covering Maps and Periodic Functions on Higher Dimensional Sierpinski Gaskets

Finite and infinite degree Thurston maps with a small postsingular set

Topological expanders, coarse geometry and thick embeddings of complexes

Bifurcation Measures and Quadratic Rational Maps

Finite and infinite degree Thurston maps with extra marked points

Continued Fractions and the 4-Color Theorem

Recursive Process for Constructing the Refinement Rules of New Combined Subdivision Schemes and Its Extended Form

Brun expansions of stepped surfaces

Prime orbit theorems for expanding Thurston maps: Dirichlet series and orbifolds

Continuity of Non-Uniform Recursive Subdivision Surfaces

Combinatorial Characterization of Sub-Hyperbolic Rational Maps

Prime orbit theorems for expanding Thurston maps: Lattès maps and split Ruelle operators