Fortuin–Kasteleyn SLE scaling-limit conjecture
Let , and consider the Fortuin–Kasteleyn random-cluster model on the square lattice at the self-dual value , with Dobrushin boundary conditions producing an interface from to . Fortuin–Kasteleyn SLE scaling-limit conjecture. As the lattice step goes to zero, the law of the interface converges to Schramm–Loewner Evolution with
This predicts conformally invariant scaling limits for the FK interfaces. The source presents the claim as conjectural, and its general validity across remains open.
References
Primary source
Stanislav Smirnov, “Towards conformal invariance of 2D lattice models”, arXiv:0708.0032 (2007).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 6
RemarkAI-assistedClaimed by OpenAI. Claims chordal SLE interfaces and nested whole-plane CLE loop limits for critical square-lattice random-cluster models at every fixed 1<=q<4, with kappa=4pi/arccos(-sqrt(q)/2). Interface convergence holds in bounded marked Jordan domains with uniform boundary approximation; loop convergence uses the specified free plane law. The q=4 endpoint and q<1 are outside this manuscript’s theorem.See full solution
Claimed by OpenAI. Claims chordal SLE interfaces and nested whole-plane CLE loop limits for critical square-lattice random-cluster models at every fixed 1<=q<4, with kappa=4pi/arccos(-sqrt(q)/2). Interface convergence holds in bounded marked Jordan domains with uniform boundary approximation; loop convergence uses the specified free plane law. The q=4 endpoint and q<1 are outside this manuscript’s theorem.
The source covers only its stated fixed q range and domain approximation hypotheses; it does not address q=0. Companion CLE loop conclusions go beyond the interface assertion.
GitHub repository: https://github.com/openai/math
- OpenAI-223-01-Square-lattice-FK-interfaces-and-nested-loops-for-1-q-4.pdfOpen
RemarkAI-assistedClaimed by OpenAI. Claims full-sequence chordal SLE convergence of square-lattice random-cluster Dobrushin interfaces at the self-dual parameter for every fixed 0<q<1, with kappa=4pi/arccos(-sqrt(q)/2) in (6,8). Lattice polygons and their distinct marks must uniformly approximate the marked boundary of a bounded smooth Jordan domain.See full solution
Claimed by OpenAI. Claims full-sequence chordal SLE convergence of square-lattice random-cluster Dobrushin interfaces at the self-dual parameter for every fixed 0<q<1, with kappa=4pi/arccos(-sqrt(q)/2) in (6,8). Lattice polygons and their distinct marks must uniformly approximate the marked boundary of a bounded smooth Jordan domain.
The source covers only its stated fixed q range and domain approximation hypotheses; it does not address q=0. Companion CLE loop conclusions go beyond the interface assertion.
GitHub repository: https://github.com/openai/math
- OpenAI-223-02-Self-dual-random-cluster-interfaces-below-one.pdfOpen
RemarkAI-assistedClaimed by OpenAI. Related quenched-disorder result: claims to 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.See full solution
Claimed by OpenAI. Related quenched-disorder result: claims to 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.
This is a weak quenched random-bond FK-Ising variant, related progress rather than the homogeneous model of the target.
GitHub repository: https://github.com/openai/math
- OpenAI-223-03-Quenched-SLE-Universality-for-Weakly-Disordered-FK-Ising-Interfaces.pdfOpen
RemarkAI-assistedClaimed by OpenAI. Related massive-limit result: claims to 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.See full solution
Claimed by OpenAI. Related massive-limit result: claims to 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.
This is a massive thermal FK-Ising limit on isoradial lattices, related progress rather than the zero-mass critical square-lattice SLE law in the target.
GitHub repository: https://github.com/openai/math
- OpenAI-223-04-Thermal-FK-Ising-interfaces-and-massive-SLE.pdfOpen
RemarkAI-assistedClaimed by OpenAI. Related natural-parametrization result: claims to 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.See full solution
Claimed by OpenAI. Related natural-parametrization result: claims to 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.
This claims natural interface measure convergence for fixed 1<=q<4 in the unit square; the target asks the unparametrized critical interface law on the wider q range.
GitHub repository: https://github.com/openai/math
- OpenAI-223-05-Natural-Occupation-Measures-for-Critical-Square-Lattice-FK-Interfaces.pdfOpen
RemarkAI-assistedClaimed by OpenAI. Claims full-sequence chordal SLE interfaces and nested whole-plane CLE loops for critical square-lattice random-cluster models at every fixed 1<=q<=4, with kappa=4pi/arccos(-sqrt(q)/2). Interfaces use uniformly approximated marked Jordan domains; loops use the specified free plane law and retain multiplicities and traversals. At q=4 the limits are SLE4 and nested CLE4.See full solution
Claimed by OpenAI. Claims full-sequence chordal SLE interfaces and nested whole-plane CLE loops for critical square-lattice random-cluster models at every fixed 1<=q<=4, with kappa=4pi/arccos(-sqrt(q)/2). Interfaces use uniformly approximated marked Jordan domains; loops use the specified free plane law and retain multiplicities and traversals. At q=4 the limits are SLE4 and nested CLE4.
The source covers only its stated fixed q range and domain approximation hypotheses; it does not address q=0. Companion CLE loop conclusions go beyond the interface assertion.
GitHub repository: https://github.com/openai/math
- OpenAI-223-06-Conformal-Limits-of-Critical-Square-Lattice-Random-Cluster-Interfaces.pdfOpen