probability-statistics / Statistical mechanics; random-cluster model, SLE and CLE scaling limits

The Rohde-Schramm conjecture: critical square-lattice FK interfaces converge to SLE for 1 <= q < 4 (and 0 < q < 1 in smooth domains)

For every fixed 1≤q<41\le q<4 (September 23), and 1≤q≤41\le q\le4 (October 5 companion), critical square-lattice FK Dobrushin interfaces converge to chordal SLEκ(q)\mathrm{SLE}_{\kappa(q)} in every bounded Jordan domain with uniformly approximated marks, and the complete nested loop collection of the free infinite-volume measure converges to whole-plane CLEκ(q)\mathrm{CLE}_{\kappa(q)}, keeping multiplicities and traversals. For 0<q<10<q<1 the interface converges to SLEκ\mathrm{SLE}_\kappa, κ∈(6,8)\kappa\in(6,8), in smooth Jordan domains only. No uniformity in qq is asserted. Not covered: 0<q<10<q<1 in nonsmooth domains such as the square, CLE for q<1q<1, and other lattices.

52Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

probability-statisticsSep 23, 2026Significance 52/100Registry: unreviewed

The Rohde-Schramm conjecture: critical square-lattice FK interfaces converge to SLE for 1 <= q < 4 (and 0 < q < 1 in smooth domains)

Prior state unknown→proved

For every fixed 1≤q<41\le q<4 (September 23), and 1≤q≤41\le q\le4 (October 5 companion), critical square-lattice FK Dobrushin interfaces converge to chordal SLEκ(q)\mathrm{SLE}_{\kappa(q)} in every bounded Jordan domain with uniformly approximated marks, and the complete nested loop collection of the free infinite-volume measure converges to whole-plane CLEκ(q)\mathrm{CLE}_{\kappa(q)}, keeping multiplicities and traversals. For…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For every fixed 1≤q<41\le q<4 (September 23), and 1≤q≤41\le q\le4 (October 5 companion), critical square-lattice FK Dobrushin interfaces converge to chordal SLEκ(q)\mathrm{SLE}_{\kappa(q)} in every bounded Jordan domain with uniformly approximated marks, and the complete nested loop collection of the free infinite-volume measure converges to whole-plane CLEκ(q)\mathrm{CLE}_{\kappa(q)}, keeping multiplicities and traversals. For 0<q<10<q<1 the interface converges to SLEκ\mathrm{SLE}_\kappa, κ∈(6,8)\kappa\in(6,8), in smooth Jordan domains only. No uniformity in qq is asserted. Not covered: 0<q<10<q<1 in nonsmooth domains such as the square, CLE for q<1q<1, and other lattices.

For every fixed 1≤q<41\le q<4 (September 23), and 1≤q≤41\le q\le4 (October 5 companion), critical square-lattice FK Dobrushin interfaces converge to chordal SLEκ(q)\mathrm{SLE}_{\kappa(q)} in every bounded Jordan domain with uniformly approximated marks, and the complete nested loop collection of the free infinite-volume measure converges to whole-plane CLEκ(q)\mathrm{CLE}_{\kappa(q)}, keeping multiplicities and traversals. For 0<q<10<q<1 the interface converges to SLEκ\mathrm{SLE}_\kappa, κ∈(6,8)\kappa\in(6,8), in smooth Jordan domains only. No uniformity in qq is asserted. Not covered: 0<q<10<q<1 in nonsmooth domains such as the square, CLE for q<1q<1, and other lattices.

Recorded attempts

Evidence graph

Connected research record