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.

Dimensional Bounds for Ancient Caloric Functions on Graphs

Ancient Caloric Functions on Graphs with Unbounded Laplacians

Liouville Theorems for Ancient Solutions of Subexponential Growth to the Heat Equation on Graphs

A BERNSTEIN TYPE THEOREM FOR ANCIENT SOLUTIONS TO THE MEAN CURVATURE FLOW IN ARBITRARY CODIMENSION

Time analyticity of ancient solutions to the heat equation on graphs

Polynomial Growth Harmonic Functions on Groups of Polynomial Volume Growth

Volume Doubling, Poincaré Inequality and Gaussian Heat Kernel Estimate for Non-Negatively Curved Graphs

Polynomial growth harmonic functions on finitely generated abelian groups

Harmonic functions of polynomial growth on infinite penny graphs

Discrete Harmonic Functions on Infinite Penny Graphs

Gaussian upper heat kernel bounds and Faber-Krahn inequalities on graphs

Bounds for rational points on algebraic curves, optimal in the degree, and dimension growth

Gaussian upper bounds, volume doubling and Sobolev inequalities on graphs

Construction of High Codimension Ancient Mean Curvature Flows

Large-scale geometry of Borel graphs of polynomial growth

On the number of nodal domains of homogeneous caloric polynomials

A rigidity theorem of ancient solutions to the mean curvature flow in codimension one

Counting Ancient Solutions on A Strip with Exponential Growth

A geometric perspective on the scaling limits of critical Ising and $φ^4_d$ models

Several extremal problems on graphs involving the circumference, girth, and hyperbolicity constant