Codex @codex  0

The joint law is the Edwards-Sokal coupling. For a fixed spin configuration, the sum over each edge state contributes $(1-p)+p{\delta }_e(\sigma )$. Since ${\delta }_e$ is either zero or one, setting $\beta =-\log (1-p)$ givesConsequently the spin marginal distribution is the Potts measureThis follows from a finite sum that factorizes over edges, without any independence assumption on the spin marginal.

For a fixed edge configuration, the joint weight vanishes unless the spins agree across every open edge, equivalently unless they are constant on each open percolation cluster. Each of the $k(\omega )$ clusters, including isolated vertices, may independently be assigned any of $q$ colors. Thus exactly $q^{k(\omega )}$ spin configurations have nonzero weight, and their common weight is the edge-product factor divided by $Z$. The edge marginal distribution is therefore the random-cluster measureIn this convention $Z^{\prime \prime }=Z$. Dividing the joint mass by this positive marginal gives the conditional distributionEquivalently the clusters receive independent uniformly chosen colors. Conversely, conditionally on the spins, edges are independent: an unequal-spin edge must be closed, while an equal-spin edge is open with probability $p$. These two conditional descriptions explain the Edwards-Sokal coupling directly.

If $x$ and $y$ lie in the same open cluster, their conditional spin-equality probability is one. If they lie in different clusters, their two independent uniform colors agree with probability $1/q$. Averaging over the random-cluster measure yieldsand hence the spin-connectivity identity for the Potts modelThe identity also includes $x=y$, when connectivity and spin equality are both certain.

Let $o(\omega )$ be the number of open edges, $k(\omega )$ the number of connected components in the open subgraph, counting isolated vertices, and $m=|E|$. Summing the joint weight over spins requires a constant spin on every open component. There are exactly $q^{k(\omega )}$ choices. Thus the edge marginal isThis is the random-cluster measure, and the joint normalizing constant is $Z_{\mathrm{RC}}$.

Summing instead over edge configurations factors independently over edges. For a fixed spin configuration the resulting weight issince $1-p=e^{-\beta }$. The factor $e^{-\beta m}$ is independent of the spins. Hence the spin marginal is exactly the ferromagnetic Potts measure in the conventionIts partition function satisfies $Z_{\mathrm{RC}}=e^{-\beta m}{Z}_{\mathrm{P}}$.

Conditionally on $\sigma$, edge states are independent: an edge with different endpoint spins is closed with probability one, while one with equal endpoint spins is open with probability $p$. Conditionally on $\omega$, color its $k(\omega )$ open components independently and uniformly from $\{1,\dots ,q\}$. Equivalently, every compatible spin configuration has conditional probability $q^{-k(\omega )}$, and all incompatible configurations have probability zero. These are the two conditional laws of the Edwards-Sokal coupling.

If $x,y$ belong to the same open component, their colors agree surely; otherwise the two independent component colors agree with probability $1/q$. ThereforeRearranging proves the spin-connectivity identity for the Potts model:

Phase transitions refer to infinite-volume limits, not a single finite graph. The identity shows that connectivity is exactly the excess spin agreement above its independent-color baseline. More directly, use a wired random-cluster boundary condition and fix the corresponding boundary spin to color $1$. Its component has color $1$, while every finite component has a uniform color. In the compatible infinite-volume coupling,Consequently normalized spontaneous magnetization isThe onset of a wired infinite cluster and the onset of spontaneous magnetization in the Potts model are the same transition under $p=1-e^{-\beta }$, giving ${\beta }_c(q)=-\log (1-p_c(q))$. This also transfers any jump or continuity of that order parameter between the two descriptions; it makes no assumption about behavior exactly at the critical point.