Phase separation in random cluster models. II: The droplet at equilibrium, and local deviation lower bounds (Q428136)

From the abstract: We study the droplet that results from conditioning the planar subcritical Fortuin-Kasteleyn random cluster model on the presence of an open circuit \(\Gamma_0\) encircling the origin and enclosing an area of at least (or exactly) \(n^2\). We consider local deviation of the droplet boundary, measured in a radial sense by the maximum local roughness \(\operatorname{MLR}(\Gamma_0)\), that is, the maximum distance from a point in the circuit \(\Gamma_0\) to the boundary \(\partial\operatorname{conv}(\Gamma_0)\) of the circuit's convex hull, and in a longitudinal sense by what we call maximum facet length, namely, the length of the longest line segment of which the polygon \(\partial\operatorname{conv}(\Gamma_0)\) is formed. We prove that there exists a constant \(c > 0\) such that the conditional probability that the normalised quantity \(n^{-1/3}(\log n)^{-2/3}\operatorname{MLR}(\Gamma_0)\) exceeds \(c\) tends to 1 in the high \(n\)-limit; and that the same statement holds for \[ n^{-2/3}(\log n)^{-1/3} \operatorname{MFL}(\Gamma_0). \] To obtain these bounds, we exhibit the random cluster measure conditional on the presence of an open circuit trapping high area as the invariant measure of a Markov chain that resamples sections of the circuit boundary. We analyse the chain at equilibrium to prove the local roughness lower bounds. Alongside complementary upper bounds provided in Part I of the present paper [the author, Commun. Math. Phys. 310, No. 2, 455--509 (2012; Zbl 1242.82016)], the fluctuations \(\operatorname{MLR}(\Gamma_0)\) and MFL\((\Gamma_0)\) are determined up to a constant factor.