Abstract:We study graphs of polynomial growth from the perspective of asymptotic geometry and descriptive set theory. The starting point of our investigation is a theorem of Krauthgamer and Lee who showed that every connected graph of polynomial growth admits an injective contraction mapping to $(\mathbb Z^n, \|\cdot\|_\infty)$ for some $n\in\mathbb N$. We strengthen and generalize this result in a number of ways. In particular, answering a question of Papasoglu, we construct coarse embeddings from graphs of polynomial growth to $\mathbb Z^n$. Moreover, we only require $n$ to be linear in the asymptotic polynomial growth rate of the graph; this confirms a conjecture of Levin and Linial, London, and Rabinovich "in the asymptotic sense." (The exact form of the conjecture was refuted by Krauthgamer and Lee.) All our results are proved for Borel graphs, which allows us to settle a number of problems in descriptive combinatorics. Roughly, we prove that graphs generated by free Borel actions of $\mathbb Z^n$ are universal for the class of Borel graphs of polynomial growth. This provides a general method for extending results about $\mathbb Z^n$-actions to all Borel graphs of polynomial growth. For example, an immediate consequence of our main result is that all Borel graphs of polynomial growth are hyperfinite, which answers a well-known question in the area. As another illustration, we show that Borel graphs of polynomial growth support a certain combinatorial structure called toast. An important technical tool in our arguments is the notion of padded decomposition from computer science, which is closely related to the concept of asymptotic dimension due to Gromov. Along the way we find an alternative, probabilistic proof of a theorem of Papasoglu that graphs of asymptotic polynomial growth rate $\rho<\infty$ have asymptotic dimension at most $\rho$ and establish the same bound in the Borel setting.

Coarse separation and large-scale geometry of wreath products

Coarsely separation of groups and spaces

Wreath products of groups acting with bounded orbits

The coarse geometry of Tsirelson's space and applications

On the quasi-isometric classification of permutational wreath products

Large-scale geometry of Borel graphs of polynomial growth

A coarse geometric approach to graph layout problems

Quantifying conjugacy separability in wreath products of groups

Topological expanders, coarse geometry and thick embeddings of complexes

Coarse embeddings of quotients by finite group actions

Coarse structures on locally compact abelian groups

Coarse homological invariants of metric spaces

Coarse entropy of metric spaces

On coarse embeddings of amenable groups into hyperbolic graphs

Coarse cohomology of configuration space and coarse embedding

Extension theorems for large scale spaces via coarse neighbourhoods

Geometric Structures on the Complement of a Projective Arrangement

Thick embeddings of graphs into symmetric spaces via coarse geometry

Large Scale Geometries of Infinite Strings

Coarse and bi-Lipschitz embeddability of subspaces of the Gromov-Hausdorff space into Hilbert spaces

Symmetries and intrinsic vs. extrinsic properties of $\overline{\mathcal{M}}_{0, n}$