Probability and statistical mechanics·OpenAI Math·Result 223
Random-cluster interfaces: critical, disordered, thermal, and natural-time scaling
One of the 372 results in OpenAI's public mathematics catalogue, filed under probability and statistical mechanics: 6 preprints, the latest dated 5 October 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and embeds the animation.
In one line: OpenAI reports a result titled ‘Random-cluster interfaces: critical, disordered, thermal, and natural-time scaling’ (probability and statistical mechanics) in 6 preprints, the latest dated 5 October 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More, is on YouTube.
Chapter 53 of 84 in Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More · starts at 18:03 · watch from there on YouTube →
What OpenAI claims
Proves chordal SLEκ limits for critical square-lattice random-cluster interfaces for 0 < q ≤ 4, with κ=4π/arccos(-√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 ≤ q ≤ 4, complete nested plane loops converge to CLEκ.
Papers (6)
Square-lattice FK interfaces and nested loops for 1 <= q < 4
OpenAI's abstract For every fixed 1 ≤ q < 4, critical square-lattice random-cluster Dobrushin interfaces converge as ordered curves to chordal SLE κ(q), where κ(q)=4π/arccos(-√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 CLE κ(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.
Self-dual random-cluster interfaces below one
OpenAI's abstract For every fixed 0 < q < 1, we prove that the Dobrushin interface of the square-lattice random-cluster model at its self-dual parameter converges to chordal SLEκ, where κ=4π/arccos(-√q/2) ∈ (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.
Quenched SLE Universality for Weakly Disordered FK–Ising Interfaces
OpenAI's abstract 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.
Thermal FK–Ising interfaces and massive SLE
OpenAI's abstract 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 SLE16/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.
Natural Occupation Measures for Critical Square-Lattice FK Interfaces
OpenAI's abstract 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 ≤ q < 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.
Conformal Limits of Critical Square-Lattice Random-Cluster Interfaces
OpenAI's abstract For every fixed 1 ≤ q ≤ 4, critical square-lattice random-cluster Dobrushin interfaces converge to chordal SLE κ(q), where κ(q)=4π/arccos(-√q/2), and the complete nested plane loop collections converge to whole-plane CLE κ(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.
Status
Preprint. The papers have not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Quick answers
- Is it proven?
- Not independently yet. OpenAI posted 6 preprints, the latest dated 5 October 2026; it has not been peer reviewed, so treat the result as OpenAI's claim until other mathematicians have checked it.
- What exactly does OpenAI claim?
- Proves chordal SLEκ limits for critical square-lattice random-cluster interfaces for 0 < q ≤ 4, with κ=4π/arccos(-√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 ≤ q ≤ 4, complete nested plane loops converge to CLEκ.
- Where is the proof?
- In the paper, Square-lattice FK interfaces and nested loops for 1 <= q < 4 (PDF).
- Is there a video?
- Yes, on YouTube (29:10, chapter 53).
Also in
- Chapter 8 of 10 in Benjamini–Schramm Conjecture, Mézard–Parisi Formula, Voronoi Percolation and 7 More · starts at 2:28 · watch from there on YouTube →
The video
Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More · Compilation · 29:10 · chapter 53 from 18:03 · description, sources and chapters →
Related results in Probability and statistical mechanics
- 224Critical and quenched near-critical universality for Poisson–Voronoi percolationVideo
- 225Gaussian free field limits throughout the balanced six-vertex regimeVideo
- 226The double-dimer loop ensemble converges to CLE4Video
- 227Critical SK autocorrelation processes and dynamics across the temperature transitionVideoLean
- 228Continuum phase transitions for radial pair potentialsVideoLean
- 229Exact three- and four-state reconstruction thresholds and four-state tree capacityVideoLean