“…Fortuin and Kasteleyn [22], marked the beginning of four decades of intense activity that produced a rather complete theory for translation invariant systems. These representations were successfully employed to obtain non-perturbative and deep results for Ising and Potts models on the hypercubic lattice using percolation-type methods, namely the discontinuity of the magnetization at the phase transition point for the one-dimensional Ising and Potts models with 1/r 2 interactions [3], the knowledge of the asymptotic behavior of the eigenvalues of the covariance matrix of the Potts model [10], the Aizenman-Higuchi Theorem on the Choquet decomposition of the two-dimensional Ising and Potts models [1,15,16,25,32] and the proof that the self-dual point on the square lattice p sd (q) = √ q/(1 + √ q) is the critical point for percolation in the randomcluster model (q 1) [5], see also the review [40]. For a detailed introduction to the random-cluster model we refer the reader to [18,24,27,30].…”