High-dimensional Lipschitz functions are typically flat (Q2012241)

A homomorphism height function on the \(d\)-dimensional torus \(\mathbb{Z}^d_n\) is a function on the vertices of the torus taking integer values and is constrained to have adjacent vertices which take adjacent integer values. A Lipschitz height function is defined similarly but may also take equal values on adjacent vertices. For each of these models the author considers the uniform distribution over all such functions with predetermined values at some fixed vertices. The main result is that in high dimensions and with zero boundary values, the obtained random function is typically very flat, having bounded variance at any fixed vertex and taking at most \(C({\log}n)^{1/d}\) values with high probability.