Large-scale geometry of Borel graphs of polynomial growth
Anton Bernshteyn, Jing Yu
TL;DR
The paper studies graphs with polynomial growth through the lens of large-scale geometry and descriptive set theory, establishing coarse embeddings from such graphs into grid-like structures while preserving asymptotic distance growth. It introduces asymptotic growth concepts, extends Krauthgamer–Lee’s injective embeddings to the asymptotic/Borel setting, and shows that graphs generated by free Borel actions of $\\mathbb{Z}^n$ are universal for Borel graphs of polynomial growth. A central technical toolkit is built around padded decompositions and the Borel Lovász Local Lemma, enabling coarse and injective embeddings into shift grids with dimension $n=O_\\varepsilon( ho)$ or $O_\\varepsilon( ho\, ext{log}\, ho)$. As a consequence, Borel graphs of polynomial growth are hyperfinite and admit toast structures, and the paper establishes a tight bound $ ext{asdim}_{\mathsf{B}}(G) \,\le\, \rho_{as}(G)$. Overall, the results connect large-scale geometric properties of polynomial-growth graphs with Borel descriptive-set-theoretic techniques, yielding transfer principles from grid actions to general Borel graphs and broad structural consequences like hyperfiniteness and finite Borel asymptotic dimension.
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 $ρ<\infty$ have asymptotic dimension at most $ρ$ and establish the same bound in the Borel setting.