Logarithmic variance for the height function of square-ice
In this article, we prove that the height function associated with the square-ice model (i.e.~the six-vertex model with on the square lattice), or, equivalently, of the uniform random homomorphisms from to , has logarithmic variance. This establishes a strong form of roughness of this height function.