---
title: Plaquette Random-Cluster Model
url: https://www.emergentmind.com/topics/plaquette-random-cluster-model
type: topic
---

# Plaquette Random-Cluster Model

Searching arXiv for the cited PRCM papers and related random-cluster background.
arXiv search: "Plaquette Random-Cluster Model"
The plaquette random-cluster model (PRCM) is a higher-dimensional analogue of the Fortuin–Kasteleyn random-cluster model in which the random variables are \(i\)-dimensional plaquettes of a cubical complex, while the topological weight is carried by homology or cohomology rather than by connected components. On a finite cubical complex, the model assigns a probability to each \(i\)-dimensional percolation subcomplex \(P\) that is proportional to a Bernoulli factor in the number of open plaquettes and a topological factor measuring \((i-1)\)-dimensional homological complexity. In the prime-field case, the model couples exactly to \((i-1)\)-dimensional \(q\)-state Potts lattice gauge theory, and recent work establishes exact Wilson-loop identities, duality, boundary-condition formalisms, infinite-volume limits, positive association, and a sharp self-dual homological phase transition on \(2i\)-dimensional tori [2207.08339], [2406.08043].

## 1. Finite-volume definition and relation to the Fortuin–Kasteleyn model

Let \(X\) be a finite \(d\)-dimensional cubical complex and \(0<i<d\). In the formulation of "Topological Phases in the Plaquette Random-Cluster Model and Potts Lattice Gauge Theory" [2207.08339], the \(i\)-dimensional plaquette random-cluster model is the random \(i\)-complex \(P\) containing the full \((i-1)\)-skeleton of \(X\), with probability measure
\[
\mu_{X,p,q,i,\mathbb{F}}(P)=\frac{1}{Z}\,p^{\eta(P)}(1-p)^{|X^i|-\eta(P)}\,q^{\mathbf{b}_{i-1}(P;\mathbb{F})},
\]
where \(Z\) is the normalizing constant, \(\eta(P)\) is the number of \(i\)-cells in \(P\), \(|X^i|\) is the total number of \(i\)-cells of \(X\), and \(\mathbf{b}_{i-1}(P;\mathbb{F})=\dim H_{i-1}(P;\mathbb{F})\) is the \((i-1)\)-st Betti number over the coefficient field \(\mathbb{F}\). Equivalently, for a configuration \(\omega:X^i\to\{0,1\}\), one may write
\[
\mu_X(\omega)\propto p^{\eta(P)}(1-p)^{|X^i|-\eta(P)}q^{\mathbf{b}_{i-1}(P;\mathbb{F})}.
\]

This is the direct higher-dimensional analogue of the classical random-cluster weight on a finite graph,
\[
\phi_{G,p,q}[w]=Z(G,p,q)^{-1}\,p^{|w|}(1-p)^{|E|-|w|}q^{k_1(w)},
\]
where the topological statistic is the number of connected components \(k_1(w)\) rather than a Betti number [1707.07626]. In this sense, PRCM replaces edges by plaquettes and connectivity by homology. The parameter \(p\) remains the occupation parameter, while \(q\) weights topological complexity through the factor \(q^{\mathbf{b}_{i-1}}\) [2207.08339].

A potential source of confusion is to treat the model as merely Bernoulli plaquette percolation. The defining weight shows that the random geometry is not determined solely by the number of open plaquettes: the homological term biases the ensemble toward or against configurations with large \((i-1)\)-dimensional homology, depending on \(q\).

## 2. Homology, cohomology, and the role of coefficients

The algebraic-topological content of the PRCM is not an auxiliary reformulation but part of the definition. The 2022 formulation uses Betti numbers over a specified field \(\mathbb{F}\), and explicitly stresses that the coefficient field matters because homology depends on coefficients [2207.08339]. The 2024 treatment, "Some Properties of the Plaquette Random-Cluster Model" [2406.08043], formulates the finite-volume model with coefficients in \(\mathbb{Z}_q\) as
\[
\mu_{X,p,q,i}(P)\propto p^{|P|}(1-p)^{|X^{(i)}|-|P|}\,\big|H^{i-1}(P;\mathbb{Z}_q)\big|.
\]

This cohomological form is connected to homology by the universal coefficient theorem. In particular, the paper records
\[
H^j(X;G)\cong \big(H_j(X;\mathbb{Z})\otimes G\big)\oplus \operatorname{Tor}\big(H_{j-1}(X;\mathbb{Z}),G\big),
\]
and notes that if \(H_{j-2}(P;\mathbb{Z}_q)\) vanishes or is free, then
\[
H^{j-1}(P;\mathbb{Z}_q)\cong H_{j-1}(P;\mathbb{Z}_q).
\]

This coefficient dependence is one of the main differences between graph random-cluster theory and its higher-dimensional extension. On graphs, the cluster-counting term is purely combinatorial. In the PRCM, the weight is sensitive to the algebraic topology of the sampled subcomplex, and torsion may enter through the cohomology groups when coefficients are taken in \(\mathbb{Z}_q\) [2406.08043]. A plausible implication is that higher-dimensional random-cluster phenomena cannot be fully characterized without specifying coefficients, even when the underlying cubical geometry is fixed.

## 3. Exact coupling to Potts lattice gauge theory

When \(q\) is a prime integer and \(\mathbb{F}=\mathbb{F}_q\), the plaquette random-cluster model couples exactly to the \((i-1)\)-dimensional \(q\)-state Potts lattice gauge theory [2207.08339]. In that gauge theory, spins are assigned to \((i-1)\)-cells; a spin field is a cochain \(f\in C^{i-1}(X;\mathbb{F}_q)\); and the Hamiltonian is
\[
H(f)=\sum_{\sigma} K_{\delta f(\sigma),1},
\]
where \(\delta\) is the coboundary operator and \(K\) is the Kronecker delta.

With the parameter identification \(p=1-e^{-\beta}\), the joint coupling \(\kappa\) on pairs \((f,P)\) has two marginals. Summing over plaquette configurations yields the Potts lattice gauge theory marginal,
\[
\sum_P \kappa(f,P)\propto e^{-\beta H(f)},
\]
while summing over spin fields yields the plaquette random-cluster marginal,
\[
\sum_f \kappa(f,P)\propto p^{\eta(P)}(1-p)^{|X^i|-\eta(P)}q^{\mathbf{b}_{i-1}(P;\mathbb{F}_q)}.
\]

This is a higher-dimensional Edwards–Sokal-type correspondence. The prime-field assumption is essential in the proof, because the argument uses linear-algebraic homology and cohomology over a field, and the random-cluster marginal must match the gauge-theory marginal exactly [2207.08339]. The significance of the correspondence is structural rather than merely formal: it places PRCM within the same representational framework that relates the ordinary random-cluster model to Potts spin systems, but with cocycles, coboundaries, and plaquette degrees of freedom replacing graph spins and bonds.

## 4. Wilson loop variables and null-homologous cycles

A central theorem of the 2022 paper identifies generalized Wilson loop observables with a null-homology event in the plaquette random-cluster representation [2207.08339]. Let \(\gamma\in Z_{i-1}(X;\mathbb{F}_q)\) be an \((i-1)\)-cycle. Define \(V_\gamma\) as the event that \(\gamma\) is null-homologous in the plaquette random-cluster model,
\[
\gamma=0 \quad \text{in } H_{i-1}(P;\mathbb{F}_q),
\]
and define the generalized Wilson loop variable by
\[
W_\gamma(f)=f(\gamma)^{\mathbb{C}},
\]
where \(f\in C^{i-1}(X;\mathbb{F}_q)\) and \(f(\gamma)\in\mathbb{F}_q\) is viewed as a \(q\)-th root of unity in \(\mathbb{C}\).

The exact relation proved is
\[
\mathbb{E}_{\nu}(W_\gamma)=\mu_X(V_\gamma),
\]
with \(p=1-e^{-\beta}\), where \(\nu\) is the Potts lattice gauge theory measure and \(\mu_X\) is the plaquette random-cluster measure. More precisely, if \(V_\gamma\) occurs, then \(W_\gamma\equiv 1\); if \(V_\gamma^c\) occurs, then \(W_\gamma\) is uniformly distributed over \(\mathbb{F}_q\) viewed in \(\mathbb{C}\); hence
\[
\mathbb{E}_\nu(W_\gamma\mid V_\gamma)=1,\qquad \mathbb{E}_\nu(W_\gamma\mid V_\gamma^c)=0,
\]
and therefore
\[
\mathbb{E}_\nu(W_\gamma)=\mu_X(V_\gamma).
\]

The paper presents this as the first rigorous justification of the claim by Aizenman, Chayes, Chayes, Fröhlich, and Russo that Wilson loop observables are exactly tied to the event that a loop is bounded by a surface in an interacting plaquette system [2207.08339]. In PRCM language, the “loop bounded by a surface” interpretation is realized as the event that the relevant cycle vanishes in the sampled homology group. This removes the distinction between a heuristic gauge-theoretic picture and the topological event in the random-complex representation.

## 5. Duality and boundary conditions

The 2024 paper develops an exact duality theory for PRCM on cubical complexes in \(\mathbb{Z}^d\) [2406.08043]. Its central statement is that an \(i\)-dimensional PRCM is dual to a \((d-i)\)-dimensional PRCM, with dual parameter
\[
p^*=p^*(p,q)=\frac{(1-p)q}{(1-p)q+p}.
\]
For a box \(r\), if \(P\) is an \(i\)-dimensional percolation subcomplex and \(Q\) is the complementary dual \((d-i)\)-dimensional complex in the shifted dual lattice \(\mathbb{Z}^d_\bullet=\mathbb{Z}^d+(1/2,\dots,1/2)\), then
\[
\mu^f_{r,p,q,i}(P)=\mu^w_{r,p^*,q,d-i}(Q),
\qquad
\mu^w_{r,p,q,i}(P)=\mu^f_{r,p^*,q,d-i}(Q).
\]
More generally, if \(\xi\) is a boundary condition for the \(i\)-dimensional model and \(\xi^\bullet\) is the dual boundary condition obtained by taking all \((d-i)\)-plaquettes dual to the closed \(i\)-plaquettes of \(\xi\), then
\[
\mu^\xi_{r,p,q,i}(P)=\mu^{\xi^\bullet}_{r,p^*,q,d-i}(Q).
\]

The proof uses Alexander duality together with algebraic-topological descriptions of the relevant cohomology groups. A key formula is
\[
H^{i-1}(P;\mathbb{Z}_q)=\mathbb{Z}_q^{\,b_{i-1}(P;\mathbb{Z})}\oplus \operatorname{Tor}(H_{i-1}(P;\mathbb{Z}),\mathbb{Z}_q),
\]
and
\[
\widetilde H^{d-i-1}(Q;\mathbb{Z}_q)=\mathbb{Z}_q^{\,b_i(P;\mathbb{Z})}\oplus \operatorname{Tor}(H_{i-1}(P;\mathbb{Z}),\mathbb{Z}_q).
\]
In particular, there is a constant \(c=c(N,i,d)\) such that
\[
|H^{i-1}(P;\mathbb{Z}_q)| = |H^{d-i-1}(Q;\mathbb{Z}_q)|\,q^{\,c-|P|}.
\]

Boundary conditions are formulated topologically rather than graph-theoretically. For a box \(r\subset \mathbb{Z}^d\) and boundary condition \(\xi\), if \(\phi:P\hookrightarrow P_\xi\) is the inclusion into the complex extended by external plaquettes, then
\[
\mu^\xi_{r,p,q,i}(P)\propto p^{|P|}(1-p)^{|r^{(i)}|-|P|}\,\big|\operatorname{im}\phi^*\big|.
\]
A “wired at infinity” variant is defined using Borel–Moore homology,
\[
\mu^\xi_{r,p,q,i}(P)\propto p^{|P|}(1-p)^{|r^{(i)}|-|P|}\,\big|\operatorname{im}\phi^*_{\mathrm{BM}}\big|.
\]
For free boundary conditions, \(\phi^*\) is surjective and one recovers the finite-volume PRCM. For wired boundary conditions on a box, adjoining \(\partial r\) leads to the cohomological term \(H^{i-1}(P\cup \partial r;\mathbb{Z}_q)\) [2406.08043].

These results establish that PRCM is self-dual in the correct dimension: when \(d=2i\), duality maps the model back to one of the same plaquette dimension. That observation underlies the self-dual transition statement proved on \(2i\)-dimensional tori in the 2022 paper.

## 6. Infinite-volume limits, extremality, uniqueness, and positive association

On infinite volume, the free and wired weak limits on growing boxes \(\Lambda_n\) exist:
\[
\mu^f_{\mathbb{Z}^d,p,q,i}=\lim_{n\to\infty}\mu^f_{\Lambda_n,p,q,i},
\qquad
\mu^w_{\mathbb{Z}^d,p,q,i}=\lim_{n\to\infty}\mu^w_{\Lambda_n,p,q,i},
\]
and, more generally, if a limit \(\mu^\xi_{\mathbb{Z}^d,p,q,i}\) exists for some boundary condition \(\xi\), then its dual limit exists as well and satisfies the corresponding duality relation [2406.08043]. Among all weak limits, the free and wired measures are extremal:
\[
\mu^f_{\mathbb{Z}^d,p,q,i}\le_{\mathrm{st}} \mu^\xi_{\mathbb{Z}^d,p,q,i}\le_{\mathrm{st}} \mu^w_{\mathbb{Z}^d,p,q,i}.
\]

The same paper proves positive association, i.e. FKG-type monotonicity, by using the Mayer–Vietoris sequence for cohomology. In finite volume,
\[
\mu_{X,p,q,i}(A\cap B)\ge \mu_{X,p,q,i}(A)\mu_{X,p,q,i}(B)
\]
for increasing events \(A\) and \(B\), and the same holds for infinite-volume limits when they exist [2406.08043]. This places PRCM in the same monotonicity class as the ordinary random-cluster model, although the proof is topological rather than graph-combinatorial.

For uniqueness, the authors define a pressure-like quantity \(f(p,q)\) from the partition function, prove that it exists and is independent of exhaustion and boundary condition, and show that it is convex in \(\pi=\log(p/(1-p))\). Theorem 23 states that if \(f(p,q)\) is differentiable at \(p=p_0\), then there is a unique infinite-volume PRCM with parameters \(p_0,q\); equivalently, the free and wired infinite-volume measures coincide at \(p_0\) [2406.08043]. The paper therefore isolates a direct higher-dimensional analogue of the standard random-cluster uniqueness mechanism, with the exceptional set encoded by possible non-differentiability of the pressure-like function.

## 7. Self-dual homological phase transition and dynamical interpretation

On the \(2i\)-dimensional torus \(\mathbb{T}_N^{2i}\), the PRCM exhibits a sharp phase transition at the self-dual point
\[
p_{\mathrm{sd}}=\frac{\sqrt{q}}{1+\sqrt{q}},
\]
in the sense of homological percolation [2207.08339]. The theorem is formulated through events \(A\) and \(S\), corresponding respectively to nontriviality and surjectivity of the induced homology map, and asserts
\[
\mu_{\mathbb{T}_N^{2i}}(A)\to 0 \quad \text{if } p<p_{\mathrm{sd}},
\qquad
\mu_{\mathbb{T}_N^{2i}}(S)\to 1 \quad \text{if } p>p_{\mathrm{sd}},
\]
as \(N\to\infty\). Below the self-dual point, the induced homology map is typically trivial in the relevant sense; above it, giant homology classes appear, namely cycles that are nontrivial in the ambient torus [2207.08339].

The topological interpretation is that one phase is dominated by local cycles, while the other contains giant cycles spanning the torus. Statistically, this is the higher-dimensional analogue of the sharp phase transition familiar from random-cluster and Potts models, but expressed through homology rather than connectivity [2207.08339]. In the classical planar random-cluster model on \(\mathbb{Z}^2\), the self-dual value is also the critical value for \(q\in[1,4]\),
\[
p_c(q)=\frac{\sqrt{q}}{1+\sqrt{q}},
\]
though there the transition is formulated in terms of clusters and crossings rather than homology [1812.03487]. This suggests a structural parallel between planar self-duality in graph models and homological self-duality in \(2i\)-dimensional PRCM.

Because PRCM couples to Potts lattice gauge theory, the transition also has an algorithmic interpretation. The 2022 paper states that below the transition the generalized Swendsen–Wang updates are effectively local, whereas above the transition giant cocycles or cycles appear and the dynamics becomes non-local [2207.08339]. The same homological event thus marks both a topological change in the sampled complexes and a qualitative change in Monte Carlo behavior.

Source: https://www.emergentmind.com/topics/plaquette-random-cluster-model