Abstract:To obtain Russo-Seymour-Welsh estimates for the height function of the six-vertex model under sloped boundary conditions, which can be leveraged to demonstrate that the height function logarithmically delocalizes under a broader class of boundary conditions, we formulate crossing probability estimates in strips of the square lattice and the cylinder, for parameters satisfying $a\equiv b$, $c \in [1,2]$, and $\mathrm{max} \{ a , b \} \leq c$, in which each of the first two conditions respectively relate to invariance under vertical and diagonal reflections enforced through the symmetry $\sigma \xi \geq -\xi$ for domains in strips of the square lattice, and satisfaction of FKG, for the height function and for its absolute value. To determine whether arguments for estimating crossing probabilities of the height function for flat boundary conditions from a recent work due to Duminil-Copin, Karila, Manolescu, and Oulamara remain applicable for sloped boundary conditions, from the set of possible slopes given by the interior of the set of rational points from $[-1,1] \times [-1,1]$, we analyze sloped Gibbs states, which do not have infinitely many disjointly oriented circuits. In comparison to Russo-Seymour-Welsh arguments for flat boundary conditions, arguments for sloped boundary conditions present additional complications for both planar and cylindrical settings, in which crossing events that are considered in the strip, and then extended to the annulus and cylinder, must be maintained across rectangles of large aspect ratio, in spite of the fact that some proportion of faces within the strip freeze with positive probability.

Logarithmic variance for the height function of square-ice

A central limit theorem for square ice

Lower tail large deviations of the stochastic six vertex model

On the duality between height functions and continuous spin models

Precise Asymptotics in the Law of the Logarithm for Random Fields in Hilbert Space

From logarithmic delocalization of the six-vertex height function under sloped boundary conditions to weakened crossing probability estimates for the Ashkin-Teller, generalized random-cluster, and $(q_σ,q_τ)$-cubic models

Hyperuniformity of random measures on Euclidean and hyperbolic spaces

A dynamical version of Silverman-Tate's height inequality

Six-Vertex Model and Random Matrix Distributions

Exact cube-root fluctuations in an area-constrained random walk model

Lozenge tilings of a hexagon and q -Racah ensembles

Lower bounds for variances of Poisson functionals

Lozenge Tilings of a Hexagon and q-Racah Ensembles

A note on logarithmic equidistribution

Lattice Point Variance in Thin Elliptic Annuli over $\mathbb{F}_q [T]$

Logarithmic vector fields and hyperbolicity

Logarithmic corrections to scaling in the four-dimensional uniform spanning tree

Entropy-variance inequalities for discrete log-concave random variables via degree of freedom

Local Density Fluctuations, Hyperuniformity, and Order Metrics

Logarithmic delocalization of random Lipschitz functions on honeycomb and other lattices

The Variance Conjecture on Some Polytopes