The Fortuin–Kasteleyn random-cluster model on the square lattice — the dependent bond-percolation representation of the Potts model — has, for cluster weight , a completely settled critical diagram: the critical point is the self-dual value (Beffara and Duminil-Copin, 2012), the transition is continuous for (Duminil-Copin, Sidoravicius, Tassion) and first order for (Duminil-Copin, Gagnebin, Harel, Manolescu, Tassion), and crossing estimates uniform in boundary conditions hold for (Duminil-Copin, Manolescu, Tassion). The unresolved core of the critical-behavior question posed in the 2012 paper is the following. Two components remain open. First, for cluster weight , where the FKG lattice condition (positive association) fails and with it every monotonicity-based tool, it is not even known where — or whether sharply — the percolative transition occurs: only strict bounds around the self-dual point are known, with the best current results (Beffara, Faipeur, Oke, 2025) merely enlarging the known sub- and supercritical windows. Second, for with , conformal invariance of the critical scaling limit and its identification with the predicted Schramm–Loewner Evolution processes remain unproved — established only for (percolation) and (Ising).
Background
The Fortuin–Kasteleyn (FK) random-cluster model is a dependent bond-percolation model on a graph : each edge is declared open or closed, and a configuration receives probability proportional to , where and count open and closed edges, counts connected components (clusters), is the edge parameter, and is the cluster weight. For this is Bernoulli bond percolation; for integer the model is coupled to the -state Potts spin model (Potts spin correlations are FK connection probabilities), so its phase diagram is the Potts phase diagram.
On the square lattice , planar duality maps the model with parameters to the random-cluster model on the dual lattice with the same and dual parameter . The unique self-dual value is . A decades-old conjecture, proved by Beffara and Duminil-Copin (2012) for every , is that this self-dual point is the critical point separating a phase with exponentially decaying connection probabilities from a percolating phase with an infinite cluster.
For the model satisfies the FKG lattice condition (positive association: increasing events are non-negatively correlated), which yields stochastic monotonicity in and underlies essentially all planar technology: Russo–Seymour–Welsh (RSW) type crossing estimates — scale-uniform lower bounds on crossing probabilities of rectangles at criticality, the workhorse behind critical exponents and scaling limits — sharp-threshold arguments, and non-coexistence arguments. Beffara and Duminil-Copin ended their paper by posing the general critical-behavior question: they conjectured a second-order (continuous) transition for , with the scaling limit believed conformally invariant, and a first-order (discontinuous) transition for , calling a proof for every a major open problem; they noted their method relies on positive association and does not extend to ; and they flagged the absence of crossing estimates uniform in boundary conditions, expected true for and false for .
Most of this program was completed in the following decade. A first-order transition means multiple infinite-volume Gibbs states coexist at criticality (an order-parameter jump); second-order/continuous means a unique critical Gibbs state and no infinite cluster. Duminil-Copin, Sidoravicius and Tassion proved continuity for (unique critical Gibbs state, no infinite cluster under wired boundary conditions, subexponential decay of the free two-point function, together with RSW-type crossing estimates valid under arbitrary boundary conditions), while Duminil-Copin, Gagnebin, Harel, Manolescu and Tassion proved the transition is first order for (multiple critical Gibbs states, ordering under wired or monochromatic boundary conditions, exponential decay under free boundary conditions, correlation lengths behaving like as — confirming that uniform boundary-condition estimates fail for , as anticipated). Sharpness for , boundary-condition-uniform quad crossings (crossing estimates for quads, i.e. topological quadrilaterals with four marked boundary arcs, whose value depends only on the quad's conformal modulus) for , and an independent proof of continuity via six-vertex delocalisation round out the settled picture.
Conformal invariance of the critical scaling limit is a separate, mostly open chapter. The Schramm–Loewner Evolution is the canonical one-parameter family of random conformally invariant planar curves; a conformal loop ensemble (CLE) is the corresponding loop version. Lattice interface convergence to is proved at (percolation interfaces, , via Cardy's formula, the closed-form conformally invariant crossing probability predicted by conformal field theory) and (FK-Ising interfaces, ; full scaling limit a branching SLE / ). For , , and non-integer no conformal-invariance result exists, although the predicted values are explicit: FK interfaces should converge to with , giving at (with logarithmic corrections expected at the borderline ).
For the situation is qualitatively harder: FKG fails (the model is conjectured to be negatively dependent, but even pairwise negative correlation between edges is open on general graphs), monotonicity in is unavailable, and duality preserves so the self-dual point is still defined but nothing pins the transition to it. Stochastic comparison with Bernoulli percolation classically gives subcriticality for and supercriticality for ; recent work extends both windows but leaves open the interval containing , which lies strictly between and for every .
Problem Statement
Complete the critical theory of the random-cluster model on the square lattice with cluster weight , beyond the settled phase diagram, by resolving the two remaining components of the critical-behavior question posed by Beffara and Duminil-Copin (2012).
Component A (the non-FKG regime ). For the random-cluster measure on with cluster weight — where the FKG lattice condition and monotonicity in fail — determine the percolative phase structure: prove or disprove that the transition occurs at the self-dual point , in the sense that (i) connection probabilities decay (exponentially, as for ) for , and (ii) an infinite cluster exists for in one or in every infinite-volume random-cluster measure (a DLR measure: a probability measure on edge configurations whose finite-volume conditional distributions are the random-cluster specifications); determine the order of the transition at , conjectured to be second order (continuous: unique infinite-volume measure and no infinite cluster at criticality), consistent with the conjectured negative-dependence structure of the model; and, in this conjectured second-order regime, establish conformal invariance of the critical scaling limit, which the source conjectures for every and hence also for . Currently only the windows (subcritical) and (supercritical) are classified, with recent extensions, and the interval containing is open. A refutation — e.g. a proof that for some the transition is not at the self-dual point, or is first order, or does not exist — equally answers the component (in which case the conjectured conformally invariant scaling limit does not arise).
Component B (conformal invariance of scaling limits for , ). For cluster weight with , and at the borderline where logarithmic corrections are expected, prove conformal invariance of the critical model at and identify the scaling limit, which comprises: that critical exploration-process interfaces (the random curves separating open from closed clusters, revealed progressively from the domain boundary) in Jordan domains converge in law, under conformal maps, to chordal with the predicted parameter (so corresponds to , and to ); that quad crossing probabilities (for a quad, i.e. a topological quadrilateral with four marked boundary arcs, the probability that opposite arcs are connected through open clusters) converge to their predicted conformally invariant limits; and that the full interface ensemble is described by a conformal loop ensemble — as has been established for (percolation) and (Ising).
The common objective is the same one stated by the source — the behavior at criticality in the general case, at the level of completeness achieved for and — and the two components are exactly its unresolved parts: component A extends the order-of-transition classification and the conjectured conformally invariant scaling limit to the cluster weights where positive association fails, and component B extends the conformal-invariance picture from to the remaining critical weights. The problem is fully solved when both components are resolved (in the proving or refuting direction) for their stated ranges of .
References
- Vincent Beffara, Hugo Duminil-Copin, The self-dual point of the two-dimensional random-cluster model is critical for , Probability Theory and Related Fields 153 (2012), 511-542, DOI 10.1007/s00440-011-0353-8, arXiv:1006.5073, https://arxiv.org/abs/1006.5073
- Hugo Duminil-Copin, Vladas Sidoravicius, Vincent Tassion, Continuity of the phase transition for planar random-cluster and Potts models with , Communications in Mathematical Physics 349 (2016), 47-107, DOI 10.1007/s00220-016-2759-8, arXiv:1505.04159, https://arxiv.org/abs/1505.04159
- Hugo Duminil-Copin, Maxime Gagnebin, Matan Harel, Ioan Manolescu, Vincent Tassion, Discontinuity of the phase transition for the planar random-cluster and Potts models with , Annales scientifiques de l'Ecole Normale Superieure 54 (2021), 1363-1413, DOI 10.24033/asens.2485, arXiv:1611.09877, https://arxiv.org/abs/1611.09877
- Hugo Duminil-Copin, Ioan Manolescu, Vincent Tassion, Planar random-cluster model: fractal properties of the critical phase, Probability Theory and Related Fields 181 (2021), 401-449, DOI 10.1007/s00440-021-01060-6, arXiv:2007.14707, https://arxiv.org/abs/2007.14707
- Hugo Duminil-Copin, Ioan Manolescu, The phase transitions of the planar random-cluster and Potts models with are sharp, Probability Theory and Related Fields 164 (2016), 865-892, DOI 10.1007/s00440-015-0621-0, arXiv:1409.3748, https://arxiv.org/abs/1409.3748
- Hugo Duminil-Copin, Aran Raoufi, Vincent Tassion, Sharp phase transition for the random-cluster and Potts models via decision trees, Annals of Mathematics 189 (2019), no. 1, DOI 10.4007/annals.2019.189.1.2, arXiv:1705.03104, https://arxiv.org/abs/1705.03104
- Alexander Glazman, Piet Lammers, Delocalisation and continuity in 2D: loop O(2), six-vertex, and random-cluster models, Communications in Mathematical Physics 406 (2025), DOI 10.1007/s00220-025-05259-9, arXiv:2306.01527, https://arxiv.org/abs/2306.01527
- Vincent Beffara, Corentin Faipeur, Tejas Oke, A new bound for the critical point of the FK model for , arXiv:2512.16486 (December 2025), https://arxiv.org/abs/2512.16486
- Heehyun Park, The Random-Cluster Model on Wired Trees: Uniqueness and Negative Dependence, arXiv:2608.08565 (August 2026), https://arxiv.org/abs/2608.08565
- Frederik Ravn Klausen, Noah Kravitz, Half-plane non-coexistence without FKG, arXiv:2602.12261 (February 2026), https://arxiv.org/abs/2602.12261
- Stanislav Smirnov, Critical percolation in the plane, arXiv:0909.4499 (2009), https://arxiv.org/abs/0909.4499
- Antti Kemppainen, Stanislav Smirnov, Conformal invariance in random cluster models. II. Full scaling limit as a branching SLE, arXiv:1609.08527 (2016), https://arxiv.org/abs/1609.08527
- Stephane Benoist, Clement Hongler, The scaling limit of critical Ising interfaces is CLE(3), The Annals of Probability 47 (2019), no. 4, DOI 10.1214/18-aop1301, arXiv:1604.06975, https://arxiv.org/abs/1604.06975
- Moritz Dober, Alexander Glazman, Sebastien Ott, Discontinuous transition in 2D Potts: I. Order-Disorder Interface convergence, arXiv:2502.04129 (February 2025), https://arxiv.org/abs/2502.04129