The Potts Model

Ask the Ising model a slightly harder question and you get the Potts model. Ising spins choose between two states, up or down, related by a single flip. But most orderings in nature offer more than two equivalent options with no natural "distance" between them: an atom adsorbed on graphite can sit in one of three equivalent registries, a crystal can order into several symmetry-related sublattices, a graph can be colored with qq colors. The qq-state Potts model captures exactly this: a spin σi\sigma_i takes one of qq labels, and neighbors are rewarded — through a bare Kronecker delta δσi,σj\delta_{\sigma_i,\sigma_j} — only for being identical, never for being "close." That one change from Z2\mathbb{Z}_2 to the full permutation symmetry SqS_q transforms the physics. The central question the model answers is beautiful and sharp: how does the number of competing ordered phases decide whether a transition is smooth or abrupt? With only two phases (Ising, q=2q=2) the transition is continuous. Add more degenerate ordered states and, past a threshold, the system prefers to jump discontinuously into one of them — a first-order transition with latent heat. In two dimensions this threshold is exactly qc=4q_c=4: continuous for q≤4q\le 4, first-order for q≥5q\ge 5. Two exact structures make the model a jewel. First, in d=2d=2 it is self-dual under Kramers–Wannier duality, which pins the critical temperature exactly at eKc=1+qe^{K_c}=1+\sqrt q. Second, the Fortuin–Kasteleyn random-cluster representation rewrites the partition function as a sum over bond graphs weighted by q(clusters)q^{(\text{clusters})}, analytically continuing qq to non-integer values and linking Potts criticality to percolation (q=1q=1) and spanning trees (q→0q\to 0). Far from a toy, the Potts model describes adsorbed monolayers, grain growth, foam coarsening, and graph coloring.

Key takeaways
  • The qq-state Potts model places a label σi∈{1,…,q}\sigma_i\in\{1,\dots,q\} on each site and couples neighbors through −J δσi,σj-J\,\delta_{\sigma_i,\sigma_j}: energy drops only when neighbors share a state, with no metric between states.
  • Its symmetry is the full permutation group SqS_q, far richer than the Z2\mathbb{Z}_2 of Ising; for q=2q=2 it reduces to the Ising model up to a constant and a factor-of-2 coupling rescale.
  • In two dimensions the transition is continuous for q≤4q\le 4 and first-order (latent heat) for q≥5q\ge 5; the exact critical coupling eKc=1+qe^{K_c}=1+\sqrt q follows from Kramers–Wannier self-duality.
  • The symmetry-allowed cubic invariant in the Landau free energy is what drives the transition first-order once the number of phases is large enough.
  • The Fortuin–Kasteleyn random-cluster form maps the partition function onto correlated bond percolation and extends qq to real values.
  • Key idea: replacing the Ising Z2\mathbb{Z}_2 symmetry by the permutation symmetry SqS_q of qq degenerate states turns the number of competing ordered phases into a control parameter for the order of the transition — a cubic invariant drives it first-order once qq exceeds a dimension-dependent threshold (qc=4q_c=4 in 2D).
The core insight

Replacing the Ising Z2\mathbb{Z}_2 symmetry by the permutation symmetry SqS_q of qq degenerate states turns the number of competing ordered phases into a control parameter for the order of the transition: a symmetry-allowed cubic invariant drives the transition first order once qq exceeds a dimension-dependent threshold (qc=4q_c=4 in 2D).

Where this lives today

The Potts model is a working tool, not a museum piece. Its large-qq kinetic version — the "cellular Potts" or Glazier–Graner model — is a standard simulation engine for the coarsening of polycrystalline grains, soap froths, and even biological tissues, where each cell or grain is one of many (q≫1q\gg1) states and curvature-driven boundary motion emerges from Monte Carlo dynamics. Adsorbed monolayers realize small-qq Potts criticality directly: krypton on graphite is a 3-state Potts system (three equivalent registries of the 3×3\sqrt3\times\sqrt3 structure), and its continuous order–disorder transition matches the predicted 3-state exponents. At the theory frontier, the Fortuin–Kasteleyn map keeps the Potts model central to probability and combinatorics: the q→1q\to1 limit is percolation, the antiferromagnetic T→∞T\to\infty limit counts graph colorings (the chromatic polynomial), and the complex-qq zeros of the partition function connect Lee–Yang theory to hard questions about when a graph can be colored. Conformal field theory and the Coulomb gas give the exact 2D exponents for every q≤4q\le4, and Schramm–Loewner evolution describes the fractal cluster boundaries — a modern synthesis in which the humble "same-or-different" rule anchors some of the deepest results in two-dimensional statistical mechanics.

The physical picture

Imagine qq political parties and a lattice of voters. Each voter is happier the more neighbors share their party, but all parties are interchangeable — there is no "left–right" axis, only same-or-different. At high temperature opinions are random (SqS_q-symmetric, disordered). As you cool, one party comes to dominate. Here is the twist: with many parties competing, the system can find it cheaper to snap into a polarized state all at once — a first-order jump — rather than tilt gradually. The more parties qq, the stronger this discontinuous tendency. Contrast this with an Ising magnet, which distinguishes "up" from "down" along a line — a metric. The Potts spin distinguishes only "same" from "different," a graph with no geometry. That is why the natural order parameter is not a simple scalar but a vector recording the population imbalance among the qq states, and why the symmetry is the full permutation group, not Z2\mathbb{Z}_2. A second, powerful way to see the model is the random-cluster picture. Each ferromagnetic bond is either "occupied" — gluing its two endpoints into one cluster — or not, and every independent cluster contributes a factor qq (its number of color choices). Large qq rewards having many small clusters at high TT and one giant cluster at low TT; the competition between cluster entropy and bond energy produces the abrupt switch we read thermodynamically as latent heat.

Figure
The Potts spin: same-or-different, not near-or-far — q states with no metric
Ising: 2 states on a line ↑ ↓ one flip relates them (ℤ₂) Potts: q states, all equivalent 1 2 3 4 q every pair related by a permutation (Sq) energy = −J only if labels match

The punchline is the phase diagram in the plane of state-number qq and dimension. The exact 2D critical temperature slides down smoothly as qq grows, but the order of the transition changes discontinuously at a knife-edge: everything at q≤4q\le 4 is continuous, and the instant qq reaches 55 the latent heat jumps to a nonzero value. That vertical line at qc=4q_c=4 — separating "smooth" from "abrupt" — is the thesis of the whole subject drawn as a single boundary.

Figure
Exact 2D critical coupling kᵦTc/J = 1/ln(1+√q) vs q, with the qc = 4 order boundary
kᵦTc / J number of states q 1.0 0.8 qc = 4 continuous q ≤ 4 first order (latent heat) q ≥ 5 q=2 q=3 q=4 q=5 Tc falls smoothly with q — but the ORDER of the transition flips at q=4

The core equations

The Potts Hamiltonian expresses the "same-or-different" rule directly. Neighbors lower their energy by JJ only when their labels coincide; an optional field hh favors one distinguished state. There is no term measuring "how far apart" two labels are, which is precisely what gives the model its full permutation symmetry.

H=−J∑⟨ij⟩δσi,σj−h∑iδσi,1(1)\mathcal{H}=-J\sum_{\langle ij\rangle}\delta_{\sigma_i,\sigma_j}-h\sum_i\delta_{\sigma_i,1} \qquad (1)

where: σi\sigma_i — state label at site ii, an integer in {1,…,q}\{1,\dots,q\}; δσi,σj\delta_{\sigma_i,\sigma_j} — Kronecker delta, 11 if neighbors share a state, 00 otherwise; J>0J>0 — ferromagnetic coupling favoring agreement; ⟨ij⟩\langle ij\rangle — sum over nearest-neighbor pairs; hh — field favoring state 11; qq — number of states per site. Because only matches count, every relabeling permutation of the qq states that acts uniformly leaves H\mathcal{H} invariant: the symmetry group is SqS_q. The partition function sums the Boltzmann weight over all qNq^N configurations. Writing K=βJK=\beta J for the dimensionless coupling makes the whole thermodynamics a function of that single combination in zero field.

Z=∑{σ}exp⁡ ⁣(K∑⟨ij⟩δσi,σj),K=βJ(2)Z=\sum_{\{\sigma\}}\exp\!\Big(K\sum_{\langle ij\rangle}\delta_{\sigma_i,\sigma_j}\Big),\qquad K=\beta J \qquad (2)

where: β=1/(kBT)\beta=1/(k_BT); ∑{σ}\sum_{\{\sigma\}} — sum over all qNq^N spin configurations on NN sites. The exponential of a sum of 0/10/1 deltas is what makes the Fortuin–Kasteleyn expansion below exact rather than approximate. The self-dual point of Kramers–Wannier duality pins the exact 2D critical coupling. This is a remarkable statement of symmetry over spectrum: without diagonalizing anything, duality alone locates TcT_c.

eKc=1+q(d=2, square lattice)(3)e^{K_c}=1+\sqrt{q}\qquad (d=2,\ \text{square lattice}) \qquad (3)

where: Kc=βcJK_c=\beta_c J — critical coupling. Read physically, the critical temperature kBTc/J=1/ln⁡(1+q)k_BT_c/J=1/\ln(1+\sqrt q) slides steadily downward as qq grows: more competing states makes ordering harder. At q=2q=2 this gives the Ising value in Potts normalization, and its rescale to standard Ising units recovers 12ln⁡(1+2)\tfrac12\ln(1+\sqrt2) — the check performed in the derivation. The Fortuin–Kasteleyn (random-cluster) representation is the model's second exact face. It converts the sum over spins into a sum over bond graphs, each cluster carrying a factor of qq.

Z=∑G⊆Ev b(G) q c(G),v=eK−1(4)Z=\sum_{G\subseteq E}v^{\,b(G)}\,q^{\,c(G)},\qquad v=e^{K}-1 \qquad (4)

where: GG — subset of occupied bonds of the edge set EE; b(G)b(G) — number of occupied bonds; c(G)c(G) — number of connected clusters (isolated sites count); v=eK−1v=e^{K}-1 — bond fugacity. Because ZZ is now a polynomial in qq, the parameter can be continued to any real value: q→1q\to 1 is bond percolation, q→0q\to 0 is spanning trees. Landau theory shows why the transition turns first-order. For q>2q>2 the coarse-grained free energy acquires a symmetry-allowed cubic term — forbidden by Z2\mathbb{Z}_2 in Ising — and a cubic term generically forces a discontinuous jump.

fMF(m)=f0+12 a m2−13 w m3+14 u m4,w≠0  (q>2)(5)f_{\text{MF}}(m)=f_0+\tfrac12\,a\,m^2-\tfrac13\,w\,m^3+\tfrac14\,u\,m^4,\qquad w\neq 0\ \ (q>2) \qquad (5)

where: mm — scalar order parameter (population excess of the favored state); a∝(T−T0)a\propto(T-T_0); ww — cubic coefficient, nonzero for q>2q>2; u>0u>0 — quartic stabilizer. The mere presence of the cubic invariant is the structural reason Potts differs from Ising: no fine-tuning is needed to make the transition first order in mean field.

The physical picture in equations

Derivation AKramers-Wannier self-duality and the exact Tc

We want the exact critical coupling of the 2D Potts model without solving the model — locating TcT_c purely from a symmetry that maps high temperature to low temperature. The strategy is to start from the random-cluster form (4), use the Euler relation for planar graphs to rewrite the sum over bond subsets as a sum over dual-lattice bonds, and read off a duality relation v v∗=qv\,v^*=q between the fugacity and its dual. The square lattice is self-dual, so criticality (assuming a single transition) must sit at the fixed point v=v∗v=v^*. Watch that "assuming a single transition" — it is an assumption, correct here but not automatic.

Step 1. Start from the random-cluster partition function, Z(v)=∑Gvb(G) qc(G)Z(v)=\sum_G v^{b(G)}\,q^{c(G)}, summing over bond subsets GG of the lattice. Why: this form is exact — it came from expanding eKδ=1+vδe^{K\delta}=1+v\delta bond by bond and tracing over spins, giving one factor qq per monochromatic cluster.

Step 2. Apply the planar Euler relation to GG: with NN sites, b(G)b(G) occupied bonds and ℓ(G)\ell(G) independent loops, the number of clusters is

c(G)=N−b(G)+ℓ(G).c(G)=N-b(G)+\ell(G).

Why: this is Euler's formula for the graph GG embedded in the plane; loops are what reconnect the graph after bonds are added.

Step 3. On the dual lattice, occupied bonds of GG and the loops exchange roles with dual bonds: ℓ(G)=b(G∗)\ell(G)=b(G^*) where G∗G^* is the complementary dual graph. Substituting the Euler relation reorganizes the sum into a Potts partition function on the dual with fugacity v∗=q/vv^*=q/v. Why: adding a bond on the direct lattice cuts a bond on the dual; loops of GG correspond exactly to occupied dual bonds.

Step 4. The reorganized sum has the same form as the original with v→v∗v\to v^*, giving the duality relation

v v∗=q.v\,v^{*}=q.

Why: the square lattice is its own dual, so Z(v)Z(v) and Z(v∗)Z(v^*) are the same function up to a smooth prefactor that cannot move a singularity.

Step 5. Set v=v∗v=v^* (the self-dual point). Then vc2=qv_c^2=q, so vc=qv_c=\sqrt q and

eKc−1=q ⟹ eKc=1+q.e^{K_c}-1=\sqrt q\ \Longrightarrow\ e^{K_c}=1+\sqrt q.

Why: a single phase transition can only sit where the duality map has its fixed point; anywhere else it would predict two singularities related by duality.

Step 6. Check q=2q=2. The Potts coupling relates to Ising by δσσ′=12(1+ss′)\delta_{\sigma\sigma'}=\tfrac12(1+s s'), so KPotts=2KIsingK_{\text{Potts}}=2K_{\text{Ising}}. Then e2KIsingc=1+2e^{2K_{\text{Ising}}^c}=1+\sqrt2 gives 2KIsingc=ln⁡(1+2)2K_{\text{Ising}}^c=\ln(1+\sqrt2), i.e. KIsingc=12ln⁡(1+2)=0.4407K_{\text{Ising}}^c=\tfrac12\ln(1+\sqrt2)=0.4407 — exactly the Onsager–Kramers–Wannier Ising value. Why: the factor-of-2 rescale is the whole content of "Potts q=2q=2 is Ising"; it must reproduce the known Ising TcT_c, and it does. *Verified: verify_aq-sm-potts-model.py reproduces eKc=1+qe^{K_c}=1+\sqrt q, the Ising rescale KIsingc=12ln⁡(1+2)=0.44069K_{\text{Ising}}^c=\tfrac12\ln(1+\sqrt2)=0.44069, and kBTc/J=1/ln⁡(1+q)k_BT_c/J=1/\ln(1+\sqrt q) for q=2,3,4q=2,3,4.*

Go deeper · Derivation B · 2 minMean-field theory: why q > 2 is first order
Derivation BMean-field theory: why q > 2 is first order

We want to show that mean-field (Bragg–Williams) theory predicts a finite jump in the order parameter — hence latent heat — for every q>2q>2, and that this jump smoothly vanishes as q→2q\to 2, recovering the continuous Ising limit. The strategy is a single-site variational free energy in which state 11 is occupied with probability xx and the other q−1q-1 states share the rest equally; we then find where the ordered and disordered minima have equal free energy (coexistence) and measure the discontinuity between them. The key structural fact to watch is a cubic term ∝(q−2)\propto(q-2) that appears when we expand near the symmetric point.

Step 1. Ansatz: single-site probabilities p1=xp_1=x and pa=(1−x)/(q−1)p_a=(1-x)/(q-1) for a≠1a\neq 1. The symmetric (disordered) point is x=1/qx=1/q; ordering means x>1/qx>1/q. Why: this is the most general uniform single-site distribution consistent with the residual Sq−1S_{q-1} symmetry of the non-favored states.

Step 2. The mean-field free energy per site combines a bond energy and a mixing entropy,

f(x)=−12Jz[x2+(1−x)2q−1]+kBT[xln⁡x+(1−x)ln⁡1−xq−1],f(x)=-\tfrac12 Jz\Big[x^2+\tfrac{(1-x)^2}{q-1}\Big]+k_BT\Big[x\ln x+(1-x)\ln\tfrac{1-x}{q-1}\Big],

with zz the coordination number. Why: the energy is −12Jz-\tfrac12 Jz times the probability that two independent neighbors match; the entropy is the single-site mixing entropy.

Step 3. Stationarity df/dx=0df/dx=0 gives the self-consistency equation

ln⁡x(q−1)1−x=Kz qx−1q−1,\ln\frac{x(q-1)}{1-x}=Kz\,\frac{qx-1}{q-1},

which x=1/qx=1/q always solves. Why: the disordered state is always a stationary point; the question is whether a distinct ordered root appears continuously or discontinuously.

Step 4. Expand near x=1/qx=1/q. The cubic coefficient of ff about the symmetric point is proportional to (q−2)(q-2): it vanishes only at q=2q=2 (pure quartic, pitchfork, second order) and is nonzero for q>2q>2 (a first-order branch). Why: a nonzero cubic invariant is the Landau signature of a first-order transition — this is the microscopic origin of eq. (5)'s w≠0w\neq 0.

Step 5. Impose coexistence f(x∗)=f(1/q)f(x_*)=f(1/q) with a common tangent. The ordered root and transition coupling are

x∗=q−1q,Kcz=2(q−1)q−2ln⁡(q−1).x_*=\frac{q-1}{q},\qquad K_c z=\frac{2(q-1)}{q-2}\ln(q-1).

Why: a first-order transition happens where the two competing minima are degenerate, not where one becomes unstable.

Step 6. The order-parameter jump is Δx=x∗−1/q=(q−2)/q\Delta x=x_*-1/q=(q-2)/q, finite for every q>2q>2 and →0\to 0 as q→2+q\to 2^+. Why: latent heat is proportional to this discontinuity; its vanishing at q=2q=2 is exactly the statement that Ising is continuous. *Verified: verify_aq-sm-potts-model.py confirms x∗=(q−1)/qx_*=(q-1)/q, Δx=(q−2)/q\Delta x=(q-2)/q (e.g. 1/31/3 at q=3q=3, 1/21/2 at q=4q=4, 3/53/5 at q=5q=5), Kcz=2(q−1)ln⁡(q−1)/(q−2)K_c z=2(q-1)\ln(q-1)/(q-2), and Δx→0\Delta x\to0 as q→2q\to2.*

Limiting cases

The special values of qq are a map of the model's connections to the rest of statistical mechanics.

CaseResultMeaning
q=2q=2 (Ising)−Jδσiσj=−J2(sisj+1)-J\delta_{\sigma_i\sigma_j}=-\tfrac{J}{2}(s_i s_j+1), si=±1s_i=\pm1Reduces to Ising with JIsing=J/2J_{\text{Ising}}=J/2 plus a constant; continuous transition in d≥2d\ge2.
q=1q=1Z→ZpercolationZ\to Z_{\text{percolation}}Fortuin–Kasteleyn limit: correlated bond percolation; derivatives of ZZ at q=1q=1 give percolation observables.
q→0q\to 0Z∼∑spanning treesZ\sim\sum_{\text{spanning trees}}Uniform spanning trees / resistor networks (with appropriate scaling of vv).
q→∞q\to\inftystrongly first order, ΔE→J\Delta E\to JLatent heat saturates; the large-qq kinetic Potts model models grain growth and foam coarsening.
2D thresholdqc=4q_c=4Continuous for q≤4q\le4, first order for q≥5q\ge5; q=4q=4 is marginal with logarithmic corrections.

Worked examples

Example 1 — Exact critical temperature of the 3-state Potts model in 2D.

Step 1. For q=3q=3 the self-dual point gives eKc=1+3e^{K_c}=1+\sqrt3. Numerically 1+3=2.73211+\sqrt3=2.7321.

Step 2. Take the logarithm: Kc=βcJ=ln⁡(2.7321)=1.0051K_c=\beta_c J=\ln(2.7321)=1.0051.

Step 3. Invert for the reduced temperature: kBTc/J=1/Kc=1/1.0051=0.9950k_BT_c/J=1/K_c=1/1.0051=0.9950.

Step 4. Since q=3<4q=3<4, the transition is continuous (second order), with known 3-state Potts exponents in 2D (ν=5/6\nu=5/6, α=1/3\alpha=1/3). The exact 2D critical temperature of the 3-state Potts model is kBTc/J=1/ln⁡(1+3)≈0.9950k_BT_c/J=1/\ln(1+\sqrt3)\approx0.9950, a continuous transition.

Example 2 — The mean-field order-parameter jump for the 5-state model.

Step 1. Mean-field theory predicts a first-order transition for all q>2q>2, with the favored-state probability jumping from the disordered value 1/q1/q to the ordered value x∗=(q−1)/qx_*=(q-1)/q.

Step 2. For q=5q=5: disordered x=1/5=0.20x=1/5=0.20, ordered x∗=4/5=0.80x_*=4/5=0.80.

Step 3. The jump is Δx=x∗−1/q=(q−2)/q=3/5=0.60\Delta x=x_*-1/q=(q-2)/q=3/5=0.60.

Step 4. Compare q=3q=3: Δx=1/3≈0.333\Delta x=1/3\approx0.333, and q→2+q\to2^+: Δx→0\Delta x\to0. The discontinuity — and hence the latent heat — grows with the number of competing phases, exactly as the political-parties picture suggested. The mean-field order-parameter discontinuity for the 5-state Potts model is Δx=(q−2)/q=3/5=0.60\Delta x=(q-2)/q=3/5=0.60, versus 1/31/3 for q=3q=3 and 00 for the Ising limit q=2q=2.

Origins · 1 minPotts model and how this was discovered
PM
Potts model
introduced 1952 · The q-state generalization of the Ising model, proposed in Renfrey B. Potts's 1952 Cambridge PhD work under Cyril Domb. Domb had suggested the problem; Potts worked out the 2D self-dual critical points. Ashkin and Teller had studied a related four-state model in 1943. The name "Potts model" stuck for the permutation-symmetric version, which became a central testbed for how symmetry controls the order of phase transitions and, via Fortuin–Kasteleyn (1972), a bridge to percolation and graph theory.

History
1943
— Ashkin and Teller study a four-component generalization of the Ising model
1952
— Renfrey Potts (PhD under Cyril Domb) introduces the q-state model and its 2D self-dual critical points
1954
— Domb and collaborators develop series expansions distinguishing continuous from first-order Potts transitions
1972
— Fortuin and Kasteleyn establish the random-cluster representation, extending q to real values
1982
— F. Y. Wu's Reviews of Modern Physics survey consolidates the field, including the qc = 4 threshold in 2D

Going further

References. Wu, F. Y., "The Potts model," Rev. Mod. Phys. 54, 235 (1982) · Pathria & Beale, Statistical Mechanics, 3rd ed., Ch. 13 · Kardar, Statistical Physics of Fields, Ch. 8 · Baxter, Exactly Solved Models in Statistical Mechanics, Ch. 12 · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity.

Provenance. Hamiltonian, SqS_q symmetry, and the q=2→q=2\toIsing reduction are standard (Wu 1982; Pathria & Beale Ch. 13). The Fortuin–Kasteleyn expansion eKδ=1+vδe^{K\delta}=1+v\delta and the cluster trace giving qc(G)q^{c(G)}, the Kramers–Wannier relation vv∗=qvv^*=q via the planar Euler formula yielding eKc=1+qe^{K_c}=1+\sqrt q (Baxter Ch. 12), and the Bragg–Williams coexistence condition giving Kcz=2(q−1)ln⁡(q−1)/(q−2)K_c z=2(q-1)\ln(q-1)/(q-2) with jump Δx=(q−2)/q\Delta x=(q-2)/q were all recomputed in verify_aq-sm-potts-model.py. The 2D threshold qc=4q_c=4 (continuous q≤4q\le4, first order q≥5q\ge5) and exponents (e.g. q=3q=3: ν=5/6\nu=5/6, α=1/3\alpha=1/3) are established results (Baxter; Wu 1982).

Builds on: The Ising Model: Definition and Hamiltonian · Order Parameter and Spontaneous Magnetization · Mean-Field (Weiss) Theory of the Ising Model · Kramers-Wannier Duality. Leads to: High- and Low-Temperature Series Expansions · Domain Walls and Interfacial Excitations · Bethe-Peierls Approximation · Lattice Gas Model and Ising Mapping.

If the Potts and Ising models are "the same" at q=2, why do their critical temperatures look different?

They are the same physics, but written in different coupling units. The Potts energy −Jδσiσj-J\delta_{\sigma_i\sigma_j} equals the Ising energy −J2sisj-\tfrac{J}{2}s_i s_j plus a constant, so KPotts=2KIsingK_{\text{Potts}}=2K_{\text{Ising}}. Plug q=2q=2 into eKcPotts=1+2e^{K_c^{\text{Potts}}}=1+\sqrt2: you get KcPotts=ln⁡(1+2)K_c^{\text{Potts}}=\ln(1+\sqrt2), which halves to KcIsing=12ln⁡(1+2)≈0.4407K_c^{\text{Ising}}=\tfrac12\ln(1+\sqrt2)\approx0.4407 — the familiar Onsager value. Different numbers, identical physics; the factor of two is pure bookkeeping.

Why does adding more states make the transition abrupt rather than just shifting Tc?

The number of ordered phases is a genuinely new degree of freedom, not a rescaling. With qq degenerate ordered states, the coarse-grained free energy is allowed a cubic term (the trace of a tensor order parameter), which Z2\mathbb{Z}_2 Ising symmetry forbids. A cubic term makes the ordered minimum appear at a finite distance from the disordered one rather than growing continuously from it, so the order parameter jumps — a first-order transition with latent heat. More states means a larger cubic coefficient and a bigger jump.

What does q=1 have to do with percolation — there is only one state?

The random-cluster form Z=∑Gvb(G)qc(G)Z=\sum_G v^{b(G)}q^{c(G)} is a polynomial in qq, so we can analytically continue to q=1q=1 even though a "1-state spin" is trivial. At q=1q=1 the cluster factor is 11 and Z=∑Gvb(G)=∏bonds(1+v)Z=\sum_G v^{b(G)}=\prod_{\text{bonds}}(1+v) — pure independent bond percolation with occupation probability p=v/(1+v)p=v/(1+v). Percolation quantities (cluster-size distribution, percolation probability) come out as derivatives of the Potts free energy at q=1q=1. So percolation is the q→1q\to1 shadow of the Potts model.

Is the 2D threshold qc = 4 an exact result or an approximation?

It is exact. In two dimensions, Baxter's solution of the random-cluster model shows the transition is continuous for q≤4q\le4 and first order for q≥5q\ge5, with q=4q=4 marginal (logarithmic corrections). This is not a mean-field statement — mean-field theory wrongly predicts first order for every q>2q>2. The threshold qc=4q_c=4 is special to d=2d=2; the mean-field and higher-dimensional pictures differ, which is exactly why the exact 2D result is celebrated.

How is the "order parameter" defined when there is no up/down axis?

Because the states are unordered, the order parameter cannot be a single number like Ising magnetization. Instead it is a set of population imbalances: how much more probable state 11 is than the average 1/q1/q, and so on for a basis of the (q−1)(q-1)-dimensional space orthogonal to the uniform vector. In mean-field practice we track one scalar x=⟨δσ,1⟩x=\langle\delta_{\sigma,1}\rangle, the probability of the favored state; x=1/qx=1/q is disordered and x>1/qx>1/q is ordered. The full order parameter transforms as a (q−1)(q-1)-component representation of SqS_q.

Why can large-q Potts models describe grain growth in metals?

A polycrystal is a patchwork of grains, each with a different crystallographic orientation and no energetic preference among orientations — exactly q≫1q\gg1 equivalent Potts states. Grain boundaries are the domain walls between unlike states, and at large qq the transition is strongly first order, giving sharp boundaries with a well-defined surface tension. Simulating Monte Carlo dynamics of the large-qq Potts model reproduces curvature-driven boundary motion and the statistical laws of grain coarsening, which is why metallurgists and foam physicists use it as a standard model.

Before this

Where this leads