∑math20

Probability and statistical mechanics · Result 223

Random-cluster interfaces: critical, disordered, thermal, and natural-time scaling

6 papers

Proves chordal SLEκ limits for critical square-lattice random-cluster interfaces for \(0\lt q\le4\), with \(\kappa=4\pi/\arccos(-\sqrt q/2)\): bounded Jordan domains are allowed for q ≥ 1, and smooth Jordan domains for q < 1, under the stated marked-boundary approximations. For \(1\le q\le4\), complete nested plane loops converge to CLEκ.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 6

First page of Square-lattice FK interfaces and nested loops for 1 <= q < 4

Square-lattice FK interfaces and nested loops for 1 <= q < 4

OpenAI · September 23, 2026

For every fixed \(1\le q\lt 4\), critical square-lattice random-cluster Dobrushin interfaces converge as ordered curves to chordal \(\mathop{\mathrm{SLE}}\nolimits _{\kappa(q)}\), where \(\kappa(q)=4\pi/\arccos(-\sqrt q/2)\), confirming the Rohde–Schramm prediction in this parameter range. This holds in every bounded Jordan domain under uniform marked boundary approximation. The complete nested plane loop collections converge to whole-plane \(\mathop{\mathrm{CLE}}\nolimits _{\kappa(q)}\) in a spherical matching topology retaining multiplicities and traversals. At q = 1 we obtain Cardy's formula for square-lattice bond percolation with free boundary edges.

Read PDF Download Source

Cite
@misc{OAI:Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4-September-23-2026,
  author = {{OpenAI}},
  title = {{Square-lattice FK interfaces and nested loops for $1\le q<4$}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4-September-23-2026/paper.pdf}{OAI:Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4-September-23-2026}},
  year = {2026}
}
First page of Self-dual random-cluster interfaces below one

Self-dual random-cluster interfaces below one

OpenAI · September 23, 2026

For every fixed \(0\lt q\lt 1\), we prove that the Dobrushin interface of the square-lattice random-cluster model at its self-dual parameter converges to chordal SLEκ, where \(\kappa=4\pi/\arccos(-\sqrt q/2)\in(6,8)\). The approximating domains are simple closed nearest-neighbor lattice polygons with distinct marked vertices, whose marked boundary parametrizations converge uniformly to those of a bounded smooth Jordan domain. Convergence holds along the full mesh sequence in the uniform metric on oriented curves modulo increasing reparametrization. The proof combines finite connection comparisons below one, localization in irregular tiled disks, and a boundary observable that determines the limiting Loewner driver.

Read PDF Download Source

Cite
@misc{OAI:Self-dual-random-cluster-interfaces-below-one-September-23-2026,
  author = {{OpenAI}},
  title = {{Self-dual random-cluster interfaces below one}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Self-dual-random-cluster-interfaces-below-one-September-23-2026/paper.pdf}{OAI:Self-dual-random-cluster-interfaces-below-one-September-23-2026}},
  year = {2026}
}
First page of Quenched SLE Universality for Weakly Disordered FK–Ising Interfaces

Quenched SLE Universality for Weakly Disordered FK–Ising Interfaces

OpenAI · October 5, 2026

We prove that critical FK–Ising interfaces with sufficiently weak, symmetric, independent two-valued bond disorder converge to chordal SLE16/3. The disorder strength is fixed as the mesh tends to zero, and convergence of the conditional curve laws holds in probability over the environment.

Read PDF Download Source

Cite
@misc{OAI:Quenched-SLE-Universality-for-Weakly-Disordered-FK-Ising-Interfaces-October-5-2026,
  author = {{OpenAI}},
  title = {{Quenched SLE Universality for Weakly Disordered FK--Ising Interfaces}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Quenched-SLE-Universality-for-Weakly-Disordered-FK-Ising-Interfaces-October-5-2026/quenched-fk-ising.pdf}{OAI:Quenched-SLE-Universality-for-Weakly-Disordered-FK-Ising-Interfaces-October-5-2026}},
  year = {2026}
}
First page of Thermal FK–Ising interfaces and massive SLE

Thermal FK–Ising interfaces and massive SLE

OpenAI · October 5, 2026

We prove convergence of thermal FK–Ising interfaces, for every fixed nonzero mass of either sign, on uniformly angle-bounded isoradial lattices in bounded simply connected domains. The limit is independent of the lattice and the admissible domain approximation. For positive mass it is the unique massive SLE\(_{16/3}\) law with locally finite-energy drift prescribed by a massive boundary value problem; negative mass follows by duality and reversal. The theorem also allows Carathéodory approximations whose diameters diverge.

Read PDF Download Source

Cite
@misc{OAI:Thermal-FK-Ising-interfaces-and-massive-SLE-October-5-2026,
  author = {{OpenAI}},
  title = {{Thermal FK--Ising interfaces and massive SLE}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Thermal-FK-Ising-interfaces-and-massive-SLE-October-5-2026/paper.pdf}{OAI:Thermal-FK-Ising-interfaces-and-massive-SLE-October-5-2026}},
  year = {2026}
}
First page of Natural Occupation Measures for Critical Square-Lattice FK Interfaces

Natural Occupation Measures for Critical Square-Lattice FK Interfaces

OpenAI · October 5, 2026

We prove that the rescaled counting measure of a critical square-lattice Fortuin–Kasteleyn Dobrushin interface in the unit square converges to the Minkowski-content measure of its Schramm–Loewner limit, for every fixed cluster weight \(1\le q\lt 4\). A single deterministic constant times the predicted power of the mesh gives the normalization. Convergence is joint with the ordered curve and includes the total mass, giving the scaling limit of the interface's total number of steps.

Read PDF Download Source

Cite
@misc{OAI:Natural-Occupation-Measures-for-Critical-Square-Lattice-FK-Interfaces-October-5-2026,
  author = {{OpenAI}},
  title = {{Natural Occupation Measures for Critical Square-Lattice FK Interfaces}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Natural-Occupation-Measures-for-Critical-Square-Lattice-FK-Interfaces-October-5-2026/natural-occupation-measures-critical-square-lattice-fk-interfaces.pdf}{OAI:Natural-Occupation-Measures-for-Critical-Square-Lattice-FK-Interfaces-October-5-2026}},
  year = {2026}
}
First page of Conformal Limits of Critical Square-Lattice Random-Cluster Interfaces

Conformal Limits of Critical Square-Lattice Random-Cluster Interfaces

OpenAI · October 5, 2026

For every fixed \(1\le q\le4\), critical square-lattice random-cluster Dobrushin interfaces converge to chordal \(\mathop{\mathrm{SLE}}\nolimits _{\kappa(q)}\), where \(\kappa(q)=4\pi/\arccos(-\sqrt q/2)\), and the complete nested plane loop collections converge to whole-plane \(\mathop{\mathrm{CLE}}\nolimits _{\kappa(q)}\). The results hold under uniform marked Jordan boundary approximation and retain loop multiplicities and traversals. At q = 1 we obtain Cardy's formula for square-lattice bond percolation with free boundary edges.

Read PDF Download Source

Cite
@misc{OAI:Conformal-Limits-of-Critical-Square-Lattice-Random-Cluster-Interfaces-October-5-2026,
  author = {{OpenAI}},
  title = {{Conformal Limits of Critical Square-Lattice Random-Cluster Interfaces}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Conformal-Limits-of-Critical-Square-Lattice-Random-Cluster-Interfaces-October-5-2026/paper.pdf}{OAI:Conformal-Limits-of-Critical-Square-Lattice-Random-Cluster-Interfaces-October-5-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.