Skip to content

Landau theory describes an equilibrium phase transition by expanding a thermodynamic potential in a uniform order parameter, retaining every low-order term allowed by the symmetries, and minimizing the result. Its power comes from separating the structure fixed by symmetry from coefficients that depend on microscopic physics.

For a real scalar order parameter mm with an exact m↦−mm\mapsto-m symmetry at zero source, the canonical expansion is

f(m;r,h)=f0+r2m2+u4m4+v6m6−hm+⋯ .\mathcal f(m;r,h) ={} \mathcal f_0 +\frac r2 m^2 +\frac u4 m^4 + \frac v6 m^6 -hm +\cdots.

Here f\mathcal f is a potential density for the uniform order-parameter mode, hh is the conjugate source, and equilibrium is obtained from

feq(r,h)=min⁡mf(m;r,h).f_{\mathrm{eq}}(r,h) = \min_m \mathcal f(m;r,h).

The polynomial is not automatically the exact equilibrium free energy evaluated away from its minimum. It is a phenomenological or derived off-shell potential whose minima predict candidate equilibrium phases. That distinction becomes essential at coexistence, in finite systems, and when discussing convexity.

Helpful background. Order Parameters defines the microscopic variable and its source; Thermodynamic Potentials explains ensemble choice and convexity. Mean-Field Theory derives potentials from restricted microscopic approximations.

The order parameter is uniform here. Landau–Ginzburg Theory adds gradients and spatial fluctuations, while Critical Exponents and Scaling explains when the mean-field powers change.

Landau theory is often summarized as “expand the free energy,” but that phrase hides three choices: the thermodynamic ensemble, the order parameter, and the meaning of the potential away from equilibrium.

Choose a potential with the correct natural variables. Examples include:

Controlled variables Natural potential Typical source–response pair
T,V,N,hT,V,N,h Helmholtz free energy magnetic field and magnetization
T,V,μ,hT,V,\mu,h grand potential chemical potential and density
T,p,N,hT,p,N,h Gibbs free energy pressure and volume
T=0T=0 and coupling gg ground-state energy or effective potential tuning coupling and generalized force

Dividing by volume or site number gives an intensive potential density. Additive constants can be dropped for phase selection, but derivatives with respect to temperature or other controls require those constants and coefficient dependences to be restored.

Let M^\widehat M be an extensive ordering operator and

m:=⟨M^⟩V.m := \frac{\langle\widehat M\rangle}{V}.

Uniform Landau theory treats mm as one number. For a multicomponent order parameter,

ϕ=(ϕ1,…,ϕn),\boldsymbol\phi = (\phi_1,\ldots,\phi_n),

the potential is a scalar function of all components.

This approximation can compare homogeneous phases and locate uniform instabilities. It cannot by itself describe:

  • domain walls or interfaces;
  • modulated order at a nonzero wavevector unless that mode is built into the order parameter;
  • correlation lengths;
  • nucleation droplets;
  • spatial fluctuations;
  • critical dynamics.

Off-shell potential and equilibrium free energy

Section titled “Off-shell potential and equilibrium free energy”

Write

f(m;λ)\mathcal f(m;\boldsymbol\lambda)

for a potential evaluated at a trial or constrained value of mm, where λ\boldsymbol\lambda denotes temperature, pressure, couplings, and sources. The equilibrium branch is

feq(λ)=min⁡mf(m;λ).f_{\mathrm{eq}}(\boldsymbol\lambda) = \min_m \mathcal f(m;\boldsymbol\lambda).

Even when f\mathcal f is analytic in both mm and λ\boldsymbol\lambda, changing which minimum is global can make feqf_{\mathrm{eq}} nonanalytic in a bulk limit.

The two objects answer different questions:

  • f(m)\mathcal f(m) compares candidate states at fixed order parameter;
  • feqf_{\mathrm{eq}} is the minimized thermodynamic potential;
  • local minima of f\mathcal f are metastable candidates;
  • the global minimum determines equilibrium within the approximation.

For a finite equilibrium system, an order-parameter distribution can motivate a constrained potential

fL(m)=−kBTVLln⁡PL(m)+CL,\mathcal f_L(m) = -\frac{k_{\mathrm B}T}{V_L} \ln P_L(m) +C_L,

where CLC_L fixes an arbitrary additive constant. Equivalently,

PL(m)∝exp⁡[−βVLfL(m)].P_L(m) \propto \exp \left[ -\beta V_L\mathcal f_L(m) \right].

Here PLP_L means a probability mass, or a density with respect to a specified fixed measure for a continuous variable. For a quantum order operator that does not commute with the Hamiltonian, its projective-measurement distribution is not generally the thermodynamic source-generating distribution: Tr⁡(e−βHeβhM)≠Tr⁡e−β(H−hM)\operatorname{Tr}(e^{-\beta H}e^{\beta hM})\ne\operatorname{Tr}e^{-\beta(H-hM)}. The histogram construction alone therefore does not prove the derivative relation for the equilibrium source potential. At large volume, βfL\beta\mathcal f_L can approach a large-deviation rate density over an appropriate range. A low-order Landau polynomial is then an approximation to that constrained structure near selected minima, not an identity valid for every mm.

The central ansatz is that near the point of interest,

f(ϕ)=f0+∑nIn(ϕ),\mathcal f(\boldsymbol\phi) = \mathcal f_0 +\sum_{n} \mathcal I_n(\boldsymbol\phi),

where each In\mathcal I_n is a symmetry-allowed invariant of degree nn with a coefficient smooth in the controls.

This can fail when integrating out other soft degrees of freedom generates terms such as

∣ϕ∣3,ϕ4ln⁡ϕ2,∣ϕ∣d+σ,\lvert\phi\rvert^3, \qquad \phi^4\ln\phi^2, \qquad \lvert\phi\rvert^{d+\sigma},

or nonlocal kernels. Such terms cannot be repaired by retaining more terms in an ordinary Taylor series.

The order parameter and its transformation law must be fixed before writing a polynomial.

Suppose a symmetry group GG acts as

ϕ⟼D(g)ϕ.\boldsymbol\phi \longmapsto D(g)\boldsymbol\phi.

At zero explicit source,

f(D(g)ϕ)=f(ϕ),g∈G.\mathcal f \left( D(g)\boldsymbol\phi \right) = \mathcal f(\boldsymbol\phi), \qquad g\in G.

The Landau expansion must contain all invariants allowed by this relation, unless an additional small parameter justifies omitting some of them.

A source enters to leading order as

fh=−h⋅ϕ.\mathcal f_h = -\boldsymbol h\cdot\boldsymbol\phi.

The source explicitly selects a direction and generally reduces the symmetry. With the sign convention above,

ϕa=−∂feq∂ha\phi_a = -\frac{\partial f_{\mathrm{eq}}} {\partial h_a}

where the derivative exists and ensemble conventions are held fixed.

For a scalar mm with

m⟼−m,m \longmapsto -m,

all odd powers vanish at h=0h=0:

f(m)=f0+r2m2+u4m4+v6m6+⋯ .\mathcal f(m) = \mathcal f_0 +\frac r2m^2 +\frac u4m^4 +\frac v6m^6 +\cdots.

An odd term at zero declared source signals one of three things:

  1. the microscopic symmetry is absent;
  2. the chosen variable is not centered on the symmetry point;
  3. another field has been fixed in a symmetry-breaking way.

For an O(n)O(n) vector ϕ\boldsymbol\phi, the lowest isotropic invariants are powers of

ρ:=ϕ2.\rho := \boldsymbol\phi^2.

Thus

f(ϕ)=f0+r2ρ+u4ρ2+⋯ .\mathcal f(\boldsymbol\phi) = \mathcal f_0 +\frac r2\rho +\frac u4\rho^2 +\cdots.

For a complex U(1)U(1) order parameter ψ\psi, the corresponding invariant is

ρ=∣ψ∣2.\rho = \lvert\psi\rvert^2.

The phase of ψ\psi is undetermined by the uniform isotropic potential in the ordered regime. Its spatial stiffness and collective fluctuations belong to the gradient extension.

A lattice generally has less symmetry than O(n)O(n). For a two-component real order parameter, terms such as

ϕx4+ϕy4\phi_x^4+\phi_y^4

can be allowed independently of

(ϕx2+ϕy2)2.\left( \phi_x^2+\phi_y^2 \right)^2.

Such anisotropies select preferred directions in order-parameter space. Whether they alter asymptotic critical behavior is an RG question, not something determined merely by the smallness of their bare coefficient.

For a complex order parameter with only a discrete ZqZ_q rotation symmetry, an anisotropy can appear as

ψq+ψ∗q.\psi^q+\psi^{*q}.

Some representations admit cubic scalars. A traceless nematic tensor QQ in three dimensions, for example, allows

Tr⁡Q3.\operatorname{Tr}Q^3.

A scalar polynomial with a cubic term,

f(m)=f0+r2m2+w3m3+u4m4,u>0.\begin{aligned} \mathcal f(m) ={}& \mathcal f_0 +\frac r2m^2 +\frac w3m^3 + \frac u4m^4, \\ & u>0. \end{aligned}

generically produces a first-order transition when w≠0w\ne0. At zero source, coexistence between m=0m=0 and a nonzero minimum occurs at

mcoex=−2w3u,rcoex=2w29u.\begin{aligned} m_{\mathrm{coex}} &= -\frac{2w}{3u}, \\ r_{\mathrm{coex}} &= \frac{2w^2}{9u}. \end{aligned}

This is a structural warning, not a universal theorem. Fluctuations, additional invariants, constraints, and accidental coefficient relations can modify the conclusion.

Order parameter Symmetry at zero source Lowest invariants Important warning
real scalar mm Z2Z_2 m2,m4,m6m^2,m^4,m^6 odd terms are forbidden only at the symmetry point
complex scalar ψ\psi U(1)U(1) ∣ψ∣2,∣ψ∣4\lvert\psi\rvert^2,\lvert\psi\rvert^4 a discrete lattice can allow clock anisotropy
vector ϕ\boldsymbol\phi O(n)O(n) ϕ2,(ϕ2)2\boldsymbol\phi^2,(\boldsymbol\phi^2)^2 crystal invariants can split directions
traceless tensor QQ rotational subgroup Tr⁡Q2,Tr⁡Q3,…\operatorname{Tr}Q^2,\operatorname{Tr}Q^3,\ldots a cubic invariant can favor first order
two orders ϕ,ψ\phi,\psi product symmetry ϕ2,ψ2,ϕ2ψ2\phi^2,\psi^2,\phi^2\psi^2 competition can change multicritical topology

Symmetry determines what may appear. It does not determine coefficient signs, guarantee convergence, or prove that the transition is continuous.

Adopt the convention

f(m)=f0+r2m2+u4m4+v6m6−hm.\mathcal f(m) = \mathcal f_0 +\frac r2m^2 +\frac u4m^4 +\frac v6m^6 -hm.

The factors 1/21/2, 1/41/4, and 1/61/6 make derivatives simple. Other normalizations are common, so coefficient formulas must never be transferred without checking conventions.

Stationarity gives

∂f∂m=rm+um3+vm5−h=0.\frac{\partial\mathcal f}{\partial m} = rm +um^3 +vm^5 -h = 0.

Equivalently, the Landau equation of state is

h=rm+um3+vm5.h = rm +um^3 +vm^5.

The curvature is

f′′(m)=r+3um2+5vm4.\mathcal f''(m) = r +3um^2 +5vm^4.

A stationary point is locally stable against uniform variations when

f′′(m)>0.\mathcal f''(m)>0.

At a point where the curvature vanishes, higher derivatives decide the local structure.

The truncated polynomial must be bounded below in the range where it is used:

  • if u>0u>0 and the quartic truncation is adequate, one may set v=0v=0;
  • if u<0u<0, a positive vv is needed at sixth order;
  • if the highest retained coefficient is negative, the truncation cannot determine global stability;
  • even with a positive highest coefficient, the polynomial need only be trusted near its expansion region.

Near a conventional thermal transition, write

r(T)=a(T−Tc)+O ⁣((T−Tc)2),a>0.\begin{gathered} r(T) = a(T-T_c) +O\!\left( (T-T_c)^2 \right), \\ a>0. \end{gathered}

The sign of aa is a convention fixed here so that r>0r>0 above TcT_c. Smooth temperature dependence of uu, vv, and f0\mathcal f_0 can matter for amplitudes and thermodynamic backgrounds but not for the leading scalar mean-field powers when u(Tc)>0u(T_c)>0.

For a parameter-driven quantum transition, one may instead use

r(g)=ag(g−gc)+⋯ .r(g) = a_g(g-g_c) +\cdots.

The static polynomial alone does not determine the quantum dynamics or dynamical exponent.

Continuous Transition for Positive Quartic Coupling

Section titled “Continuous Transition for Positive Quartic Coupling”

Set

v=0,u>0,h=0.v=0, \qquad u>0, \qquad h=0.

Then

f(m)−f0=r2m2+u4m4.\mathcal f(m)-\mathcal f_0 = \frac r2m^2 +\frac u4m^4.

For r>0r>0, stationarity gives

m=0m=0

as the only real minimum. Its curvature is

f′′(0)=r>0.\mathcal f''(0) = r>0.

For r<0r<0, the origin has negative curvature and becomes unstable. Two minima appear:

m±=±−ru.m_\pm = \pm \sqrt{ -\frac r u }.

Their curvature is

f′′(m±)=r+3um±2=−2r=2∣r∣>0.\begin{aligned} \mathcal f''(m_\pm) &= r+3um_\pm^2 \\ &= -2r \\ &= 2\lvert r\rvert >0. \end{aligned}

The two minima are related by the exact Z2Z_2 symmetry. Choosing one thermodynamic phase requires the source and volume limits described in Spontaneous Symmetry Breaking.

At r=0r=0,

f(m)−f0=u4m4.\mathcal f(m)-\mathcal f_0 = \frac u4m^4.

The quadratic restoring force vanishes. The potential is flatter than an ordinary Gaussian minimum, which signals large fluctuations but does not calculate them.

Substituting the minima gives

feq−f0={0,r≥0,−r24u,r<0.f_{\mathrm{eq}}-\mathcal f_0 = \begin{cases} 0, & r\ge0, \\ -\dfrac{r^2}{4u}, & r<0. \end{cases}

The order parameter approaches zero continuously, but the minimized potential is nonanalytic in its second derivative at r=0r=0. This is how an analytic off-shell polynomial can produce a singular equilibrium branch.

Assume

r=a(T−Tc),r=a(T-T_c),

with uu constant to leading order. The singular Landau contribution below TcT_c is

fs(T)=−a2(T−Tc)24u.f_{\mathrm s}(T) = -\frac{a^2(T-T_c)^2}{4u}.

Using

c=−T∂2f∂T2,c = -T \frac{\partial^2 f}{\partial T^2},

the contribution jumps by

Δc=Tca22u\Delta c = \frac{T_c a^2}{2u}

per unit volume (or per site if ff is normalized per site), relative to the analytic background. Real systems can have different singular powers and substantial regular backgrounds.

For h≠0h\ne0,

h=rm+um3.h = rm+um^3.

The source tilts the double well and selects one sign of mm. The h=0h=0 singular structure is rounded along a generic path with nonzero hh. The critical point requires both

r=0andh=0.r=0 \qquad\text{and}\qquad h=0.

This two-variable structure is why field mixing matters near liquid–gas and other critical endpoints without an obvious microscopic Z2Z_2 symmetry.

Landau theory predicts powers by minimizing the polynomial. These are mean-field values, not exact exponents in arbitrary dimension.

At h=0h=0 and r<0r<0,

∣m∣=(∣r∣u)1/2.\lvert m\rvert = \left( \frac{\lvert r\rvert}{u} \right)^{1/2}.

If r∝tr\propto t with reduced temperature tt, then

∣m∣∼(−t)1/2,\lvert m\rvert \sim (-t)^{1/2},

so

βL=12.\beta_{\mathrm L} = \frac12.

The subscript L\mathrm L marks a Landau prediction rather than an inverse temperature.

Define the uniform susceptibility on a selected equilibrium branch by

χ:=∂m∂h∣h→0.\chi := \left. \frac{\partial m}{\partial h} \right|_{h\to0}.

Differentiate the equation of state:

χ−1=∂h∂m=r+3um2.\chi^{-1} = \frac{\partial h}{\partial m} = r+3um^2.

Above the transition,

χ+=1r.\chi_+ = \frac1r.

Below the transition, evaluated at m±2=−r/um_\pm^2=-r/u,

χ−=12∣r∣.\chi_- = \frac{1}{2\lvert r\rvert}.

Thus

γL=1\gamma_{\mathrm L} = 1

on both sides, with the mean-field amplitude ratio

Γ+Γ−=2\frac{\Gamma_+}{\Gamma_-} = 2

for the stated normalization and a common linear coefficient r=atr=at.

At r=0r=0,

h=um3.h = um^3.

Therefore

m∼sgn⁡(h)∣h∣1/3,m \sim \operatorname{sgn}(h) \lvert h\rvert^{1/3},

and

δL=3.\delta_{\mathrm L} = 3.

The minimized singular potential scales as

fs∼−t2f_{\mathrm s} \sim -t^2

below the transition and vanishes in the minimal model above it. The heat capacity has a finite step, conventionally summarized as

αL=0.\alpha_{\mathrm L} = 0.

The statement α=0\alpha=0 does not by itself distinguish a finite jump from a logarithmic singularity. The scaling function and amplitudes must also be specified.

For r≠0r\ne0, define

m=(∣r∣u)1/2M,h=∣r∣3/2u1/2H.\begin{aligned} m &= \left( \frac{\lvert r\rvert}{u} \right)^{1/2} M, \\ h &= \frac{\lvert r\rvert^{3/2}}{u^{1/2}} H. \end{aligned}

Then

H=sgn⁡(r)M+M3.H = \operatorname{sgn}(r)M +M^3.

The dimensional coefficients disappear from the reduced equation of state. This displays the mean-field combination

βLδL=32.\beta_{\mathrm L}\delta_{\mathrm L} = \frac32.
Exponent Landau or Gaussian value Obtained from
α\alpha 00 minimized uniform potential
β\beta 1/21/2 spontaneous minimum
γ\gamma 11 uniform curvature
δ\delta 33 critical equation of state
ν\nu 1/21/2 gradient extension and Gaussian propagator
η\eta 00 gradient extension and Gaussian propagator

Uniform Landau theory directly gives the first four. The values of ν\nu and η\eta require spatial dependence and therefore belong to the Landau–Ginzburg extension.

Scaling identities and hyperscaling warning

Section titled “Scaling identities and hyperscaling warning”

The mean-field values satisfy

α+2β+γ=2\alpha+2\beta+\gamma = 2

and

γ=β(δ−1).\gamma = \beta(\delta-1).

Naively combining α=0\alpha=0 and ν=1/2\nu=1/2 with

2−α=dν2-\alpha = d\nu

would require d=4d=4. Hyperscaling is not generally valid in the mean-field regime above the upper critical dimension because a dangerously irrelevant quartic coupling remains important for the ordered state. Below the upper critical dimension, fluctuations usually change the exponents.

First-Order Transition from a Sextic Potential

Section titled “First-Order Transition from a Sextic Potential”

An even potential can produce a first-order transition without a cubic term. Retain

f(m)−f0=r2m2+u4m4+v6m6,\mathcal f(m)-\mathcal f_0 = \frac r2m^2 +\frac u4m^4 +\frac v6m^6,

with

u<0,v>0,h=0.u<0, \qquad v>0, \qquad h=0.

For m≠0m\ne0, stationarity becomes

r+um2+vm4=0.r +um^2 +vm^4 = 0.

Set

x:=m2≥0.x := m^2 \ge0.

Then

vx2+ux+r=0.vx^2 +ux +r = 0.

The nonzero extrema first appear when the discriminant becomes nonnegative:

u2−4vr≥0.u^2-4vr \ge0.

At coexistence, the nonzero minima and the origin have equal potential:

f(mcoex)=f(0).\mathcal f(m_{\mathrm{coex}}) = \mathcal f(0).

Combining this with stationarity gives

mcoex2=−3u4v,rcoex=3u216v.\begin{aligned} m_{\mathrm{coex}}^2 &= -\frac{3u}{4v}, \\ r_{\mathrm{coex}} &= \frac{3u^2}{16v}. \end{aligned}

Because u<0u<0 and v>0v>0, both quantities are positive. The equilibrium order parameter jumps from

m=0m=0

to

m=±−3u4v.m = \pm \sqrt{ -\frac{3u}{4v} }.

The transition is first order within the Landau description even though the potential remains symmetric under m↦−mm\mapsto-m.

The origin remains a local minimum while

r>0r>0

and loses local stability at r=0r=0.

The nonzero minimum and intervening maximum are born at

rsp(ord)=u24v,r_{\mathrm{sp}}^{(\mathrm{ord})} = \frac{u^2}{4v},

where

m2=−u2v.m^2 = -\frac{u}{2v}.

Thus the Landau polynomial contains a metastability interval around the coexistence value

3u216v.\frac{3u^2}{16v}.

These spinodals are limits of local stability within the uniform approximation. In a finite short-range system, nucleation, interfaces, disorder, and observation time can destroy metastability before a mean-field spinodal is reached. Finite-Temperature Phase Transitions explains the distinction between equilibrium coexistence and metastable evolution.

At coexistence, three minima are degenerate:

m=0,m=±mcoex.m=0, \qquad m=\pm m_{\mathrm{coex}}.

Additional stationary points between them are maxima. The barrier height affects nucleation kinetics, but it does not alter the equality-of-minima condition defining equilibrium coexistence within this potential.

The continuous line for u>0u>0 and the first-order line for u<0u<0 meet at

r=0,u=0,v>0.r=0, \qquad u=0, \qquad v>0.

This is the scalar Landau tricritical point. Reaching it requires tuning two independent controls that set both rr and uu to zero.

At h=0h=0 and u=0u=0,

f−f0=r2m2+v6m6.\mathcal f-\mathcal f_0 = \frac r2m^2 +\frac v6m^6.

For r<0r<0,

m4=−rv,m^4 = -\frac r v,

so

∣m∣∼∣r∣1/4.\lvert m\rvert \sim \lvert r\rvert^{1/4}.

Hence the tricritical mean-field value is

βt=14.\beta_{\mathrm t} = \frac14.

At r=u=0r=u=0,

h=vm5,h = vm^5,

which gives

δt=5.\delta_{\mathrm t} = 5.

At h=0h=0,

χ−1=r+5vm4.\chi^{-1} = r+5vm^4.

Above the transition,

χ+=1r,\chi_+ = \frac1r,

whereas below it,

χ−=14∣r∣.\chi_- = \frac{1}{4\lvert r\rvert}.

Thus

γt=1.\gamma_{\mathrm t} = 1.

At the nonzero minimum,

fs=−∣r∣3/23v.f_{\mathrm s} = -\frac{\lvert r\rvert^{3/2}} {3\sqrt v}.

If r∝tr\propto t, then

αt=12\alpha_{\mathrm t} = \frac12

at tricritical mean-field level.

For a scalar ϕ6\phi^6 theory, tree-level power counting makes the sextic interaction marginal in

dctri=3.d_c^{\mathrm{tri}} = 3.

Mean-field tricritical exponents apply above this dimension under the usual short-range assumptions, while logarithmic corrections can appear at d=3d=3. Renormalization Group distinguishes tree-level marginality from the full nonlinear flow.

Exact quartic and sextic Landau polynomials showing continuous onset and three equal coexistence minima.

The upper curves use u=1u=1 and r=1,0,−1r=1,0,-1. The lower curve uses u=−1u=-1, v=1v=1, and the coexistence value r=3/16r=3/16: its minima at m=0m=0 and m=±3/2m=\pm\sqrt{3}/2 all have f=0f=0. Vertical scales differ between panels. These are uniform mean-field landscapes, not fluctuation-corrected critical free energies.

Landau theory is not restricted to one scalar. The main new task is to enumerate invariant tensors and test stability in every direction.

Near the symmetric state, write

f=f0+12∑a,bϕaRabϕb+O(ϕ3),\mathcal f = \mathcal f_0 +\frac12 \sum_{a,b} \phi_a R_{ab} \phi_b +O(\phi^3),

with a symmetric Hessian

Rab=Rba.R_{ab} = R_{ba}.

Diagonalize RR. A conventional continuous instability begins when its smallest eigenvalue passes through zero while the others remain positive.

If e0\boldsymbol e_0 is the soft eigenvector,

ϕ=φe0+massive components.\boldsymbol\phi = \varphi\boldsymbol e_0 +\text{massive components}.

The quartic potential projected along e0\boldsymbol e_0 must be positive for the simplest continuous scenario. If several eigenvalues vanish together, a multicomponent critical subspace and additional tuning or symmetry are involved.

Suppose a noncritical variable qq couples as

f(m,q)=r2m2+u4m4+K2q2+λqm2,K>0.\begin{aligned} \mathcal f(m,q) ={}& \frac r2m^2 +\frac u4m^4 + \frac K2q^2 +\lambda q m^2, \\ & K>0. \end{aligned}

Minimizing over qq gives

q⋆=−λKm2.q_\star = -\frac{\lambda}{K}m^2.

Substitution produces

feff(m)=r2m2+14(u−2λ2K)m4.\mathcal f_{\mathrm{eff}}(m) = \frac r2m^2 +\frac14 \left( u-\frac{2\lambda^2}{K} \right) m^4.

A secondary massive mode can therefore drive the effective quartic coefficient negative. “Integrating out” is harmless only after checking the induced terms and the scale separation.

For two inversion-symmetric orders ϕ\phi and ψ\psi, consider

f=rϕ2ϕ2+uϕ4ϕ4+rψ2ψ2+uψ4ψ4+w2ϕ2ψ2.\mathcal f ={} \frac{r_\phi}{2}\phi^2 +\frac{u_\phi}{4}\phi^4 + \frac{r_\psi}{2}\psi^2 +\frac{u_\psi}{4}\psi^4 +\frac w2\phi^2\psi^2.

Assume

uϕ>0,uψ>0.u_\phi>0, \qquad u_\psi>0.

When both orders are nonzero, stationarity gives

(uϕwwuψ)(ϕ2ψ2)=−(rϕrψ).\begin{pmatrix} u_\phi & w \\ w & u_\psi \end{pmatrix} \begin{pmatrix} \phi^2 \\ \psi^2 \end{pmatrix} = - \begin{pmatrix} r_\phi \\ r_\psi \end{pmatrix}.

The determinant

D:=uϕuψ−w2D := u_\phi u_\psi-w^2

organizes the local mixed solution.

  • If D>0D>0 and the resulting ϕ2,ψ2\phi^2,\psi^2 are positive, a stable coexistence phase is possible.
  • Strong positive ww favors competition and can replace coexistence by a first-order boundary between pure ordered phases.
  • If w<−uϕuψw<-\sqrt{u_\phi u_\psi}, the quartic form is unstable along a mixed direction and higher powers are required.

The words bicritical, tetracritical, and multicritical require the full phase-boundary topology and tuning count, not just the presence of two order parameters.

Competing Orders carries this coupled potential into coexistence diagnostics, multicritical phase diagrams, fluctuation caveats, and material case studies.

If coefficients happen to enlarge the symmetry of the polynomial, a continuous manifold of minima can appear that is not protected by the microscopic symmetry. Higher-order invariants, fluctuations, or perturbations can lift this accidental degeneracy.

Emergent Symmetry explains the stronger claim that a larger symmetry governs the long-distance theory. Equality of two bare coefficients is insufficient to establish it.

The terms are closely related but not identical.

Landau theory begins with:

  1. an order parameter;
  2. its symmetry representation;
  3. an analytic invariant expansion;
  4. minimization.

Its coefficients can be fitted, inferred from a microscopic calculation, or treated as smooth phenomenological functions of controls.

Microscopic mean-field theory begins with a Hamiltonian and approximates interactions through factorization, restricted variation, or a saddle point. When its thermodynamic functional is expanded near a transition, it often produces a Landau polynomial.

For example, a microscopic self-consistency equation can have the form

m=G(m;T,h).m = \mathcal G(m;T,h).

Expanding near m=0m=0 can yield

0=rm+um3−h+⋯ ,0 = rm +um^3 -h +\cdots,

which is the stationarity equation of a Landau potential if the closure is thermodynamically integrable.

Shared exponents do not imply shared microscopics

Section titled “Shared exponents do not imply shared microscopics”

Many unrelated mean-field models produce

β=12,γ=1,δ=3\beta=\frac12, \qquad \gamma=1, \qquad \delta=3

because the same analytic quartic normal form controls their minima. These powers diagnose the approximation class, not the microscopic Hamiltonian.

Not every self-consistency equation has a valid potential

Section titled “Not every self-consistency equation has a valid potential”

An iterative closure may produce fixed points without descending from a thermodynamic functional. Stability of the iteration map is then not the same as thermodynamic stability.

One must distinguish:

  • convergence of a numerical iteration;
  • positive curvature of a proposed potential;
  • global minimum among candidate branches;
  • stability against fluctuations outside the trial space.

Landau theory is a template rather than one model.

For a magnetization mm at zero magnetic field,

m↦−mm\mapsto-m

forbids odd terms. The scalar quartic theory captures the topology of a paramagnet-to-ferromagnet transition at mean-field level.

The Transverse-Field Ising Model develops the quantum lattice model and its actual critical behavior.

Density is not microscopically odd under an exact Z2Z_2 symmetry. Near a critical endpoint, one can often define mixed temperature-like and ordering-field variables and shift the density so the leading normal form becomes Ising-like.

This emergent local structure does not mean liquid and gas are exchanged by an exact microscopic symmetry. Field mixing and analytic backgrounds matter when comparing amplitudes.

A complex order parameter ψ\psi gives a uniform potential

f=f0+r∣ψ∣2+u2∣ψ∣4+⋯ .\mathcal f = \mathcal f_0 +r\lvert\psi\rvert^2 +\frac u2\lvert\psi\rvert^4 +\cdots.

This predicts the equilibrium amplitude at saddle level. Gauge invariance, phase stiffness, vortices, electromagnetic fields, and number-conserving definitions require more structure than this uniform polynomial. Ginzburg–Landau Theory develops the superconducting material extension.

Displacement modes, strain tensors, and orientational tensors transform under spatial point groups. Their allowed cubic and quartic invariants can predict:

  • which ordered patterns are symmetry-compatible;
  • whether several variants are degenerate;
  • whether a simple continuous transition is allowed at polynomial level;
  • which external stresses or fields split the variants.

The result depends on the full representation, not only the number of components.

At zero temperature, a static Landau potential can organize uniform ground-state phases as a coupling is varied. It does not determine:

  • the imaginary-time kinetic term;
  • the dynamical exponent zz;
  • coupling to gapless fermions or gauge modes;
  • Berry phases;
  • whether a local order-parameter-only action exists.

Quantum Phase Transitions develops quantum-critical scaling.

Landau theory is a controlled normal form only when the retained variables and analytic expansion are adequate.

Near a continuous transition, the correlation length grows and fluctuations occur on many scales. Uniform minimization neglects their feedback.

For a short-range scalar ϕ4\phi^4 theory, the quartic interaction is marginal at

dc=4.d_c=4.

Above dcd_c, mean-field exponents generally apply with qualifications about dangerous irrelevance. Below dcd_c, fluctuations usually produce non-mean-field exponents. At dcd_c, logarithmic corrections can appear.

A uniform potential can predict an ordered minimum for an O(n)O(n) order parameter in situations where long-wavelength fluctuations forbid finite-temperature long-range order.

For short-range systems with continuous symmetry, Mermin–Wagner-type results rule out conventional spontaneous order in one and two spatial dimensions under their hypotheses. A Berezinskii–Kosterlitz–Thouless transition can occur without the ordinary Landau order-parameter power law.

If the order parameter couples to another gapless field, integrating out that field can generate:

  • nonanalytic powers;
  • nonlocal interactions;
  • singular damping;
  • fluctuation-induced first-order behavior;
  • more than one relevant slow variable.

The Halperin–Lubensky–Ma mechanism is a standard example in which gauge-field fluctuations can alter the transition predicted by a simple order-parameter potential. Metallic quantum critical points provide further cases where soft fermionic modes obstruct a local analytic order-parameter-only expansion.

Some phases are distinguished by long-range entanglement, anyonic excitations, topological response, or nonlocal operators rather than a local symmetry-breaking order parameter. A local polynomial in mm is then not a complete classifier.

A continuous transition can involve fractionalized degrees of freedom, emergent gauge fields, or anomalies not visible in a polynomial of either adjacent phase’s conventional order parameter. Failure of the Landau description does not imply absence of a transition.

Quenched disorder can:

  • randomize local coefficients;
  • smear or round transitions under specified conditions;
  • generate Griffiths regimes;
  • change the fixed point;
  • produce broad distributions not summarized by one uniform mm.

Replacing a random coefficient by its average can erase the phenomenon of interest.

The exact Legendre-transformed equilibrium effective potential is convex under standard thermodynamic conditions. A nonconvex double-well polynomial should therefore be interpreted as a constrained, coarse-grained, or branch-resolved potential before complete phase separation and convexification.

At coexistence in the thermodynamic limit, the convex equilibrium construction can contain a flat segment corresponding to mixtures of phases. The nonconvex polynomial remains useful for identifying pure-phase minima and approximate barriers, but the two objects must not be conflated.

Static Landau theory does not specify an equation of motion. Postulating

∂tm∝−∂f∂m\partial_t m \propto -\frac{\partial\mathcal f}{\partial m}

adds kinetic assumptions that depend on conservation laws, reversible couplings, noise, and the environment.

Likewise, a uniform barrier does not determine a nucleation rate. Interfaces, droplets, surface tension, dissipation, and stochastic dynamics are required.

The expansion is local in order-parameter space. Large minima can lie outside its radius of usefulness.

A trustworthy truncation checks:

  • stability under adding the next allowed term;
  • sensitivity of minima to coefficient uncertainty;
  • whether the predicted order parameter remains small;
  • whether omitted fields are actually massive;
  • whether nonanalytic terms are expected.

A stationary point need not be equilibrium. Check its Hessian, then compare its potential with every other stable candidate. A spinodal marks lost local stability; coexistence means equal global minima.

A uniform minimum is an approximation. Check whether spatial fluctuations, another soft field, or an omitted invariant invalidates it. A converged self-consistency iteration does not settle these questions.

Coefficients carry conventions and units. The formulas here use um4/4um^4/4 and an intensive potential. Replacing 1/41/4 by 1/4!1/4!, or changing the normalization of mm, changes coefficient-dependent formulas.

Consider

f(m)=r2m2+u4m4,u>0.\mathcal f(m) = \frac r2m^2 +\frac u4m^4, \qquad u>0.

Find every stationary point, classify its local stability for r>0r>0, r=0r=0, and r<0r<0, and compute the minimized potential.

Solution

Stationarity gives

dfdm=m(r+um2)=0.\frac{d\mathcal f}{dm} = m(r+um^2) = 0.

Thus m=0m=0 always exists, while

m±=±−rum_\pm = \pm\sqrt{-\frac r u}

exist only for r<0r<0.

The curvature is

f′′(m)=r+3um2.\mathcal f''(m) = r+3um^2.

For r>0r>0, the origin has positive curvature and is the unique minimum. For r=0r=0, the origin has zero quadratic curvature but the positive quartic term makes it a stable flat minimum. For r<0r<0, the origin has negative curvature and is a maximum, while

f′′(m±)=−2r>0,\mathcal f''(m_\pm) = -2r >0,

so the two nonzero points are minima.

At either ordered minimum,

f(m±)=r2(−ru)+u4(r2u2)=−r24u.\begin{aligned} \mathcal f(m_\pm) &= \frac r2 \left( -\frac r u \right) +\frac u4 \left( \frac{r^2}{u^2} \right) \\ &= -\frac{r^2}{4u}. \end{aligned}

Therefore

feq={0,r≥0,−r2/(4u),r<0.f_{\mathrm{eq}} = \begin{cases} 0, &r\ge0, \\ -r^2/(4u), &r<0. \end{cases}

up to an additive analytic background.

For

h=rm+um3,u>0,h = rm+um^3, \qquad u>0,

derive β\beta, γ\gamma, and δ\delta. State the paths used to define each exponent.

Solution

For β\beta, set h=0h=0 and approach from the ordered side r→0−r\to0^-:

m2=−ru,m^2 = -\frac r u,

so

∣m∣∼∣r∣1/2\lvert m\rvert \sim \lvert r\rvert^{1/2}

and

β=12.\beta=\frac12.

For γ\gamma, differentiate at fixed rr:

χ−1=∂h∂m=r+3um2.\chi^{-1} = \frac{\partial h}{\partial m} = r+3um^2.

At h→0h\to0 from r>0r>0, m=0m=0 and χ+=1/r\chi_+=1/r. From r<0r<0 on a selected ordered branch, m2=−r/um^2=-r/u and

χ−=12∣r∣.\chi_- = \frac{1}{2\lvert r\rvert}.

Both sides give

γ=1.\gamma=1.

For δ\delta, set r=0r=0 and approach h→0h\to0:

m=(hu)1/3,m = \left( \frac h u \right)^{1/3},

with the real signed root understood. Thus

δ=3.\delta=3.

Exercise 3: Susceptibility amplitude ratio

Section titled “Exercise 3: Susceptibility amplitude ratio”

Let

r=at,a>0,r=at, \qquad a>0,

where tt is a reduced temperature. Show that the scalar quartic Landau model predicts

Γ+Γ−=2.\frac{\Gamma_+}{\Gamma_-} = 2.

Which assumptions enter this number?

Solution

Above the transition,

χ+=1at,t>0,\chi_+ = \frac{1}{at}, \qquad t>0,

so

Γ+=1a.\Gamma_+ = \frac1a.

Below the transition,

χ−=12a∣t∣,\chi_- = \frac{1}{2a\lvert t\rvert},

so

Γ−=12a.\Gamma_- = \frac{1}{2a}.

Therefore

Γ+Γ−=2.\frac{\Gamma_+}{\Gamma_-} = 2.

The result assumes the same analytic linear coefficient r=atr=at on both sides, the normalization um4/4u m^4/4, a scalar Z2Z_2 order parameter, uniform saddle-level minimization, and no fluctuation renormalization or field mixing. Changing the order-parameter normalization changes the individual amplitudes but not this ratio within the same scalar Landau convention.

For

f(m)=r2m2+u4m4+v6m6,\mathcal f(m) = \frac r2m^2 +\frac u4m^4 +\frac v6m^6,

with u<0u<0 and v>0v>0, derive the coexistence value of rr and the jump in ∣m∣\lvert m\rvert.

Solution

For a nonzero stationary point, set x=m2x=m^2:

r+ux+vx2=0.r+ux+vx^2 = 0.

At coexistence with the m=0m=0 minimum,

r2x+u4x2+v6x3=0.\frac r2x +\frac u4x^2 +\frac v6x^3 = 0.

Use

r=−ux−vx2r = -ux-vx^2

from stationarity. Substitution gives

−u4x2−v3x3=0.-\frac u4x^2 -\frac v3x^3 = 0.

For x>0x>0,

x=−3u4v.x = -\frac{3u}{4v}.

Therefore

mcoex2=−3u4v.m_{\mathrm{coex}}^2 = -\frac{3u}{4v}.

Returning to the stationarity equation,

rcoex=3u216v.r_{\mathrm{coex}} = \frac{3u^2}{16v}.

The order parameter jumps from zero to

∣mcoex∣=−3u4v.\lvert m_{\mathrm{coex}}\rvert = \sqrt{ -\frac{3u}{4v} }.

At

u=0,v>0,u=0, \qquad v>0,

use

f(m)=r2m2+v6m6−hm\mathcal f(m) = \frac r2m^2 +\frac v6m^6 -hm

to derive the tricritical mean-field values of β\beta, γ\gamma, δ\delta, and α\alpha.

Solution

At h=0h=0 and r<0r<0,

r+vm4=0,r+vm^4 = 0,

so

∣m∣∼∣r∣1/4\lvert m\rvert \sim \lvert r\rvert^{1/4}

and

βt=14.\beta_{\mathrm t} = \frac14.

At r=0r=0,

h=vm5,h = vm^5,

which gives

δt=5.\delta_{\mathrm t} = 5.

The inverse susceptibility is

χ−1=r+5vm4.\chi^{-1} = r+5vm^4.

It equals rr above and 4∣r∣4\lvert r\rvert below, so

γt=1.\gamma_{\mathrm t} = 1.

At the ordered minimum,

∣m∣2=∣r∣v,\lvert m\rvert^2 = \sqrt{ \frac{\lvert r\rvert}{v} },

and

fs=−∣r∣3/23v.f_{\mathrm s} = -\frac{\lvert r\rvert^{3/2}} {3\sqrt v}.

If r∝tr\propto t, then two temperature derivatives give

Cs∼∣t∣−1/2,C_{\mathrm s} \sim \lvert t\rvert^{-1/2},

so

αt=12.\alpha_{\mathrm t} = \frac12.

For each order parameter, list the lowest nonconstant invariants through fourth order:

  1. a real scalar with Z2Z_2 symmetry;
  2. a complex scalar with U(1)U(1) symmetry;
  3. a two-component vector with only independent sign flips and component exchange;
  4. a traceless symmetric 3×33\times3 tensor under rotations.
Solution

For a real Z2Z_2 scalar mm, the invariants are

m2,m4.m^2, \qquad m^4.

Odd powers are forbidden.

For a complex U(1)U(1) scalar ψ\psi, the invariants are

∣ψ∣2,∣ψ∣4.\lvert\psi\rvert^2, \qquad \lvert\psi\rvert^4.

Terms such as ψ2+ψ∗2\psi^2+\psi^{*2} are not U(1)U(1) invariant.

For ϕ=(ϕx,ϕy)\boldsymbol\phi=(\phi_x,\phi_y) with independent sign flips and exchange, the quadratic invariant is ϕx2+ϕy2\phi_x^2+\phi_y^2, and two independent quartic structures are allowed:

(ϕx2+ϕy2)2\left( \phi_x^2+\phi_y^2 \right)^2

and

ϕx4+ϕy4.\phi_x^4+\phi_y^4.

The second distinguishes the discrete symmetry from full O(2)O(2) invariance.

For a traceless symmetric tensor QQ, the low invariants include

Tr⁡Q2,Tr⁡Q3,\operatorname{Tr}Q^2, \qquad \operatorname{Tr}Q^3,

and quartic combinations built from

(Tr⁡Q2)2\left( \operatorname{Tr}Q^2 \right)^2

For the specified traceless 3×33\times3 tensor, there is only one independent quartic invariant:

Tr⁡Q4=12(Tr⁡Q2)2.\operatorname{Tr}Q^4=\frac12(\operatorname{Tr}Q^2)^2.

To see this, diagonalize QQ with eigenvalues q1,q2,−q1−q2q_1,q_2,-q_1-q_2 and expand both sides. The cubic invariant is independent and prevents the simplest scalar Z2Z_2 argument from applying.

Given

f(m,q)=r2m2+u4m4+K2q2+λqm2,K>0.\begin{aligned} \mathcal f(m,q) ={}& \frac r2m^2 +\frac u4m^4 + \frac K2q^2 +\lambda q m^2, \\ & K>0. \end{aligned}

eliminate qq by minimization. Under what condition does the resulting quartic theory remain stable?

Solution

Stationarity in qq gives

Kq+λm2=0,Kq+\lambda m^2 = 0,

so

q⋆=−λKm2.q_\star = -\frac{\lambda}{K}m^2.

The qq-dependent terms become

K2q⋆2+λq⋆m2=λ22Km4−λ2Km4=−λ22Km4.\begin{aligned} \frac K2q_\star^2 +\lambda q_\star m^2 &= \frac{\lambda^2}{2K}m^4 -\frac{\lambda^2}{K}m^4 \\ &= -\frac{\lambda^2}{2K}m^4. \end{aligned}

Thus

feff(m)=r2m2+14(u−2λ2K)m4.\mathcal f_{\mathrm{eff}}(m) = \frac r2m^2 +\frac14 \left( u-\frac{2\lambda^2}{K} \right) m^4.

Strict positive quartic stabilization holds when

ueff:=u−2λ2K>0.u_{\mathrm{eff}} := u-\frac{2\lambda^2}{K} >0.

At ueff=0u_{\mathrm{eff}}=0, a positive quadratic term can still bound this truncated potential, but describing an ordered transition requires the next stabilizing term. If ueff<0u_{\mathrm{eff}}<0, sixth-order stabilization or a more complete treatment is required. The secondary mode can therefore change the predicted order of the transition even though it is noncritical by itself.

Exercise 8: Diagnose the limits of a Landau claim

Section titled “Exercise 8: Diagnose the limits of a Landau claim”

A two-dimensional short-range quantum magnet at nonzero temperature has an exact continuous spin-rotation symmetry. A uniform saddle calculation finds a nonzero vector minimum and reports a conventional continuous transition with β=1/2\beta=1/2.

Identify what is valid in the calculation and what has not been established.

Solution

The calculation can validly identify:

  • the symmetry-allowed uniform invariants;
  • the candidate ordered directions within the saddle approximation;
  • the mean-field instability of the uniform potential;
  • the exponent produced by that approximation.

It has not established a true finite-temperature phase transition with long-range vector order. For short-range interactions and exact continuous symmetry in two dimensions, long-wavelength fluctuations fall under Mermin–Wagner-type restrictions. The uniform calculation omits precisely those spatial fluctuations.

Depending on the symmetry and defects, the system may:

  • have no finite-temperature transition;
  • exhibit a Berezinskii–Kosterlitz–Thouless transition with algebraic order;
  • support a different ordering problem after discrete anisotropy, sufficiently long-range interactions, or interlayer coupling changes the assumptions;
  • acquire explicit polarization under a conjugate field, which does not by itself establish a spontaneous transition.

The reported β=1/2\beta=1/2 is therefore a Landau-level result, and does not establish the claimed bulk universality class.

Finite-Temperature Phase Transitions connects equal minima to latent heat and coexistence. Renormalization Group explains fluctuation corrections; Ferromagnetism applies the magnetic double well to domains and Curie behavior.