Skip to content

Ising Model and Mean-Field Theory

The Ising model is the simplest model of interacting spins on a lattice. Each site ii has a spin variable σi{1,+1}\sigma_i \in \{-1, +1\}.

H=Ji,jσiσjhiσi\mathcal{H} = -J\sum_{\langle i,j \rangle}\sigma_i\sigma_j - h\sum_i \sigma_i

Where J>0J > 0 is the ferromagnetic coupling, i,j\langle i,j \rangle denotes nearest-neighbor pairs, and hh is the external magnetic field.

Partition function (in 1D with periodic boundary conditions, NN spins):

Z={σ}exp ⁣(βJiσiσi+1+βhiσi)Z = \sum_{\{\sigma\}} \exp\!\left(\beta J \sum_i \sigma_i \sigma_{i+1} + \beta h \sum_i \sigma_i\right)

This can be evaluated using the transfer matrix method. Define:

T=(eβJ+βheβJeβJeβJβh)\mathbf{T} = \begin{pmatrix} e^{\beta J + \beta h} & e^{-\beta J} \\ e^{-\beta J} & e^{\beta J - \beta h} \end{pmatrix}

Then Z=Tr(TN)=λ+N+λNZ = \text{Tr}(\mathbf{T}^N) = \lambda_+^N + \lambda_-^N where λ±\lambda_\pm are the eigenvalues of T\mathbf{T}.

In the thermodynamic limit (NN \to \infty), Z=λ+NZ = \lambda_+^N where:

λ+=eβJcosh(βh)+e2βJsinh2(βh)+e2βJ\lambda_+ = e^{\beta J}\cosh(\beta h) + \sqrt{e^{2\beta J}\sinh^2(\beta h) + e^{-2\beta J}}

Key result: The 1D Ising model has no phase transition at T>0T > 0. The magnetization m=σ0m = \langle\sigma\rangle \to 0 as h0h \to 0 for all finite TT.

The mean-field (Weiss) approximation replaces each neighboring spin by its thermal average:

σiσjσiσj+σiσjσiσj\sigma_i\sigma_j \approx \sigma_i\langle\sigma_j\rangle + \langle\sigma_i\rangle\sigma_j - \langle\sigma_i\rangle\langle\sigma_j\rangle

The effective Hamiltonian becomes:

HMF=i(zJm+h)σi+12NzJm2\mathcal{H}_{\text{MF} = -\sum_i \left(zJm + h\right)\sigma_i + \frac{1}{2}N zJ m^2}

Where zz is the coordination number and m=σm = \langle\sigma\rangle.

Each spin is independent, so:

m=tanh ⁣[β(zJm+h)]m = \tanh\!\left[\beta(zJm + h)\right]

This is a self-consistency equation for mm. For h=0h = 0:

m=tanh(βzJm)m = \tanh(\beta zJm)

Expanding for small mm: mβzJm13(βzJ)3m3m \approx \beta zJ m - \frac{1}{3}(\beta zJ)^3 m^3. Nonzero mm exists when:

βzJ>1    TcMF=zJkB\beta zJ > 1 \implies T_c^{\text{MF} = \frac{zJ}{k_B}}

12.3 Exact Solution: 2D Ising Model (Onsager, 1944)

Section titled “12.3 Exact Solution: 2D Ising Model (Onsager, 1944)”

Onsager”s exact solution for the square lattice gives:

Tc=2JkBln(1+2)2.269JkBT_c = \frac{2J}{k_B \ln(1 + \sqrt{2})} \approx \frac{2.269J}{k_B}

The spontaneous magnetization below TcT_c:

m=[1sinh4(2βcJ)]1/8,T<Tcm = \left[1 - \sinh^{-4}(2\beta_c J)\right]^{1/8}, \quad T < T_c

The specific heat diverges logarithmically at TcT_c:

CAlnTTcC \sim -A\ln|T - T_c|

Worked Example 12.1: Mean-Field $T_c$ for Different Lattices

For J=1J = 1 (in units of kBk_B):

LatticezzTcMFT_c^{\text{MF}}
Linear chain22
Square44
Simple cubic66
BCC88
FCC1212

Compare with the exact TcT_c: 1D has no transition, 2D square has Tc2.269T_c \approx 2.2693D (numerical) Tc4.51T_c \approx 4.51. Mean-field overestimates TcT_c in all cases, with the error decreasing as zz (dimensionality) increases.

Worked Example 12.2: 1D Ising Free Energy

For the 1D Ising model with h=0h = 0The transfer matrix eigenvalues are:

λ±=eβJ±eβJ\lambda_\pm = e^{\beta J} \pm e^{-\beta J}

The free energy per spin in the thermodynamic limit:

f=kBTlnλ+=kBTln ⁣(2coshJkBT)f = -k_B T \ln\lambda_+ = -k_B T \ln\!\left(2\cosh\frac{J}{k_B T}\right)

The internal energy per spin:

u=lnλ+β=JtanhJkBTu = -\frac{\partial \ln\lambda_+}{\partial \beta} = -J\tanh\frac{J}{k_B T}

The specific heat:

c=uT=J2kBT2sech2 ⁣(JkBT)c = \frac{\partial u}{\partial T} = \frac{J^2}{k_B T^2}\text{sech}^2\!\left(\frac{J}{k_B T}\right)

This is a smooth function with no singularity — confirming no phase transition in 1D.

Near the critical temperature, physical quantities follow power-law behaviour characterised by critical exponents:

m(TcT)β,T<Tcm \sim (T_c - T)^{\beta}, \quad T < T_c χTTcγ,CTTcα\chi \sim |T - T_c|^{-\gamma}, \quad C \sim |T - T_c|^{-\alpha} ξTTcν\xi \sim |T - T_c|^{-\nu}

Where mm is magnetisation, χ\chi is susceptibility, CC is specific heat, and ξ\xi is the correlation length.

Mean-field values: β=1/2\beta = 1/2, γ=1\gamma = 1, α=0\alpha = 0 (jump), ν=1/2\nu = 1/2.

2D Ising exact values: β=1/8\beta = 1/8, γ=7/4\gamma = 7/4, α=0\alpha = 0 (log), ν=1\nu = 1.

Mean-field theory is exact above the upper critical dimension (d>4d > 4) but gives incorrect exponents for d<4d < 4. The exponents depend only on dimensionality and symmetry — not on microscopic details — a property called universality.

QuantityMean-Field Theory2D Ising (Exact)3D Ising (Numerical)
TcT_c (square lattice, J=1J=1)42.269~4.51
β\beta1/21/8~0.326
γ\gamma17/4~1.237
α\alpha0 (jump)0 (log)~0.110
ν\nu1/21~0.630

Magnetic materials. The Ising model captures the essential physics of ferromagnetic phase transitions. The spontaneous magnetisation below TcT_c corresponds to permanent magnetisation in ferromagnets like iron and nickel.

Binary alloys. Replacing spin up/down with atom types A/B, the Ising model describes order-disorder transitions in alloys (e.g., brass, CuZn). The coupling JJ represents the energy preference for unlike neighbours.

Lattice gases. Mapping σi=±1\sigma_i = \pm 1 to occupation numbers ni=(1+σi)/2n_i = (1 + \sigma_i)/2 gives a model of fluid adsorption on surfaces, where the critical point corresponds to the liquid-gas critical point.

Neural networks. The Hopfield model of associative memory is formally equivalent to an Ising model with random couplings, where stored memories correspond to ground states.

flowchart TD
A[12_Ising Model And Mean Field Theory] --> B[Key Concepts]
A --> C[Core Principles]
A --> D[Practical Applications]
B --> E[Fundamental definitions]
C --> F[Design patterns]
D --> G[Real-world usage]

The Ising model is the simplest system that shows how local interactions create global order. Each spin is like a person who copies their neighbors’ opinions. Below the critical temperature, the copying wins and everyone aligns. Above it, thermal noise randomizes opinions. Mean-field theory assumes each spin sees only the average behavior of its neighbors, like a voter influenced by the national mood rather than individual neighbors. This approximation ignores fluctuations but captures the essential physics: a phase transition occurs when the coupling strength overcomes thermal disorder.

Mistake 1: Assuming mean-field theory is exact in all dimensions Mean-field theory overestimates the critical temperature and gives incorrect critical exponents for dimensions below the upper critical dimension (d<4d < 4). For the 2D Ising model, mean-field theory predicts Tc=4J/kBT_c = 4J/k_B while the exact Onsager solution gives Tc2.269J/kBT_c \approx 2.269J/k_B. The approximation improves as dimensionality increases because each spin has more neighbors, making the mean-field assumption more accurate.

Mistake 2: Confusing the partition function of the 1D Ising model with a phase transition The 1D Ising model has no phase transition at any finite temperature. The transfer matrix eigenvalues λ+\lambda_+ and λ\lambda_- are always distinct for T>0T > 0, so the free energy is analytic. Students sometimes mistake the mathematical structure of the transfer matrix for evidence of a phase transition, but the free energy has no singularity.

Mistake 3: Assuming critical exponents depend on microscopic details Critical exponents are universal: they depend only on the dimensionality of the system and the symmetry of the order parameter, not on the coupling constant JJ or lattice structure. This universality means that the 2D Ising model on a square lattice and on a triangular lattice have the same critical exponents despite different microscopic Hamiltonians.