The Fortuin–Kasteleyn random-cluster model on the square lattice — the dependent bond-percolation representation of the Potts model — has, for cluster weight q≥1q\ge1, a completely settled critical diagram: the critical point is the self-dual value psd(q)=q/(1+q)p_{\rm sd}(q)=\sqrt q/(1+\sqrt q) (Beffara and Duminil-Copin, 2012), the transition is continuous for 1≤q≤41\le q\le4 (Duminil-Copin, Sidoravicius, Tassion) and first order for q>4q>4 (Duminil-Copin, Gagnebin, Harel, Manolescu, Tassion), and crossing estimates uniform in boundary conditions hold for q∈[1,4)q\in[1,4) (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 0<q<10<q<1, 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 1<q≤41<q\le4 with q≠2q\ne2, conformal invariance of the critical scaling limit and its identification with the predicted Schramm–Loewner Evolution processes remain unproved — established only for q=1q=1 (percolation) and q=2q=2 (Ising).

Background

The Fortuin–Kasteleyn (FK) random-cluster model is a dependent bond-percolation model on a graph G=(V,E)G=(V,E): each edge is declared open or closed, and a configuration ω\omega receives probability proportional to po(ω)(1−p)c(ω)qk(ω)p^{o(\omega)}(1-p)^{c(\omega)}q^{k(\omega)}, where o(ω)o(\omega) and c(ω)c(\omega) count open and closed edges, k(ω)k(\omega) counts connected components (clusters), p∈[0,1]p\in[0,1] is the edge parameter, and q>0q>0 is the cluster weight. For q=1q=1 this is Bernoulli bond percolation; for integer q≥2q\ge2 the model is coupled to the qq-state Potts spin model (Potts spin correlations are FK connection probabilities), so its phase diagram is the Potts phase diagram.

On the square lattice Z2\mathbb Z^2, planar duality maps the model with parameters (p,q)(p,q) to the random-cluster model on the dual lattice with the same qq and dual parameter p∗=q(1−p)/(p+q(1−p))p^*=q(1-p)/(p+q(1-p)). The unique self-dual value is psd(q)=q/(1+q)p_{\rm sd}(q)=\sqrt q/(1+\sqrt q). A decades-old conjecture, proved by Beffara and Duminil-Copin (2012) for every q≥1q\ge1, is that this self-dual point is the critical point pcp_c separating a phase with exponentially decaying connection probabilities from a percolating phase with an infinite cluster.

For q≥1q\ge1 the model satisfies the FKG lattice condition (positive association: increasing events are non-negatively correlated), which yields stochastic monotonicity in pp 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 q∈(0,4)q\in(0,4), with the scaling limit believed conformally invariant, and a first-order (discontinuous) transition for q>4q>4, calling a proof for every qq a major open problem; they noted their method relies on positive association and does not extend to q<1q<1; and they flagged the absence of crossing estimates uniform in boundary conditions, expected true for q∈[1,4)q\in[1,4) and false for q≥4q\ge4.

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 1≤q≤41\le q\le4 (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 q>4q>4 (multiple critical Gibbs states, ordering under wired or monochromatic boundary conditions, exponential decay under free boundary conditions, correlation lengths behaving like exp⁡(π2/q−4)\exp(\pi^2/\sqrt{q-4}) as q↓4q\downarrow4 — confirming that uniform boundary-condition estimates fail for q>4q>4, as anticipated). Sharpness for q≥1q\ge1, 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 q∈[1,4)q\in[1,4), and an independent proof of continuity via six-vertex delocalisation round out the settled q≥1q\ge1 picture.

Conformal invariance of the critical scaling limit is a separate, mostly open chapter. The Schramm–Loewner Evolution SLEκ{\rm SLE}_\kappa 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 SLEκ{\rm SLE}_\kappa is proved at q=1q=1 (percolation interfaces, SLE6{\rm SLE}_6, via Cardy's formula, the closed-form conformally invariant crossing probability predicted by conformal field theory) and q=2q=2 (FK-Ising interfaces, SLE16/3{\rm SLE}_{16/3}; full scaling limit a branching SLE / CLE3{\rm CLE}_3). For q=3q=3, q=4q=4, and non-integer q∈(1,4)q\in(1,4) no conformal-invariance result exists, although the predicted values are explicit: FK interfaces should converge to SLEκ{\rm SLE}_\kappa with q=−2cos⁡(4π/κ)\sqrt q=-2\cos(4\pi/\kappa), giving κ=6,16/3,24/5,4\kappa=6,16/3,24/5,4 at q=1,2,3,4q=1,2,3,4 (with logarithmic corrections expected at the borderline q=4q=4).

For 0<q<10<q<1 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 pp is unavailable, and duality preserves qq so the self-dual point is still defined but nothing pins the transition to it. Stochastic comparison with Bernoulli percolation classically gives subcriticality for p≤q/(1+q)p\le q/(1+q) and supercriticality for p≥1/2p\ge1/2; recent work extends both windows but leaves open the interval containing psd(q)p_{\rm sd}(q), which lies strictly between q/(1+q)q/(1+q) and 1/21/2 for every 0<q<10<q<1.

Problem Statement

Complete the critical theory of the random-cluster model on the square lattice Z2\mathbb Z^2 with cluster weight q>0q>0, beyond the settled q≥1q\ge1 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 0<q<10<q<1). For the random-cluster measure on Z2\mathbb Z^2 with cluster weight 0<q<10<q<1 — where the FKG lattice condition and monotonicity in pp fail — determine the percolative phase structure: prove or disprove that the transition occurs at the self-dual point psd(q)=q/(1+q)p_{\rm sd}(q)=\sqrt q/(1+\sqrt q), in the sense that (i) connection probabilities decay (exponentially, as for q≥1q\ge1) for p<psd(q)p<p_{\rm sd}(q), and (ii) an infinite cluster exists for p>psd(q)p>p_{\rm sd}(q) 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 psd(q)p_{\rm sd}(q), 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 q∈(0,4)q\in(0,4) and hence also for 0<q<10<q<1. Currently only the windows p≤q/(1+q)p\le q/(1+q) (subcritical) and p≥1/2p\ge1/2 (supercritical) are classified, with recent extensions, and the interval containing psd(q)p_{\rm sd}(q) is open. A refutation — e.g. a proof that for some 0<q<10<q<1 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 1<q≤41<q\le4, q≠2q\ne2). For cluster weight q∈(1,4)q\in(1,4) with q≠2q\ne2, and at the borderline q=4q=4 where logarithmic corrections are expected, prove conformal invariance of the critical model at p=psd(q)p=p_{\rm sd}(q) 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 SLEκ{\rm SLE}_\kappa with the predicted parameter q=−2cos⁡(4π/κ)\sqrt q=-2\cos(4\pi/\kappa) (so q=3q=3 corresponds to SLE24/5{\rm SLE}_{24/5}, and q=4q=4 to SLE4{\rm SLE}_4); 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 q=1q=1 (percolation) and q=2q=2 (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 q≥1q\ge1 and q≤2q\le2 — 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 q∈{1,2}q\in\{1,2\} 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 qq.

References

  1. Vincent Beffara, Hugo Duminil-Copin, The self-dual point of the two-dimensional random-cluster model is critical for q≥1q\geq1, 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
  2. Hugo Duminil-Copin, Vladas Sidoravicius, Vincent Tassion, Continuity of the phase transition for planar random-cluster and Potts models with 1≤q≤41\le q\le4, Communications in Mathematical Physics 349 (2016), 47-107, DOI 10.1007/s00220-016-2759-8, arXiv:1505.04159, https://arxiv.org/abs/1505.04159
  3. 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 q>4q>4, 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
  4. 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
  5. Hugo Duminil-Copin, Ioan Manolescu, The phase transitions of the planar random-cluster and Potts models with q≥1q\geq1 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
  6. 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
  7. 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
  8. Vincent Beffara, Corentin Faipeur, Tejas Oke, A new bound for the critical point of the FK model for q<1q<1, arXiv:2512.16486 (December 2025), https://arxiv.org/abs/2512.16486
  9. Heehyun Park, The q<1q<1 Random-Cluster Model on Wired Trees: Uniqueness and Negative Dependence, arXiv:2608.08565 (August 2026), https://arxiv.org/abs/2608.08565
  10. Frederik Ravn Klausen, Noah Kravitz, Half-plane non-coexistence without FKG, arXiv:2602.12261 (February 2026), https://arxiv.org/abs/2602.12261
  11. Stanislav Smirnov, Critical percolation in the plane, arXiv:0909.4499 (2009), https://arxiv.org/abs/0909.4499
  12. 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
  13. 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
  14. 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