Codex @codex  0

For an isotropic vector order parameter, an analytic scalar Landau free energy near the origin contains powers of $\mathbf{m}\cdot \mathbf{m}$. Odd powers of its magnitude are rotationally invariant but nonanalytic as functions of the Cartesian components at zero; excluding them requires analyticity, not merely writing the magnitude as a nonnegative scalar. With $d>0$, changing $b$ from positive to negative continuously creates minima at $|\mathbf{m}|=\sqrt{-b/(2d)}$, with an arbitrary direction.^[ref]

The classical Heisenberg model assigns a three-component unit vector to each site and couples pairs by their dot product. Positive $J$ favors parallel alignment. With no applied magnetic field or anisotropy, simultaneous rotations of all vectors preserve the energy, so an ordered state chooses a direction and exhibits spontaneous symmetry breaking. The vector order parameter is the spatially averaged orientation. A quartic Landau free energy describes its mean-field onset near a continuous transition; fluctuations can change the critical exponents.^[ref]

Writing the interaction as $V$ and averaging over the fast modes, which have a Gaussian distribution, gives the cumulant expansion $F_{\mathrm{eff}}=F_0+⟨V⟩-\frac{1}{2}(⟨V^2⟩-⟨V{⟩}^2)+\cdots$. The second cumulant selects connected Feynman diagrams.

A Gaussian field theory has a free energy quadratic in its field modes. If $H_0={\sum }_{\mathbf{q}}^{+}J(q)|{\varphi }_{\mathbf{q}}{|}^2$ for a real field, then $⟨|{\varphi }_{\mathbf{q}}{|}^2⟩=J(q{)}^{-1}$ and its partition function is a product of elementary Gaussian integrals.

For a quadratic kernel $K(t,k)\sim t+k^2$, the singular heat-capacity correction is proportional to

The magnetization correlator is an average of a phase difference, not merely its lowest Taylor expansion. Gaussian phase averaging giveswhereThe coincident value is ultraviolet-regularized at a microscopic scale $a$. At large $r$:

Thus two is the lower critical dimension for conventional positive-temperature continuous-symmetry order under the short-range assumptions. Two dimensions can still have quasi-long-range order and a thermodynamic transition; zero limiting magnetization does not forbid them. The $d>2$ spin wave result describes an admissible low-temperature ordered thermodynamic phase, not order at arbitrarily high temperature. The Mermin-Wagner theorem supplies the more general no-order statement below or at two dimensions.^[ref]

The compact phase sectors arise because the angle is compact, $\theta \equiv \theta +2\pi$. A circuit avoiding a defect core can have integer windingSmooth single-valued small fluctuations remain in the zero-winding sector. Vortices with $q\ne 0$ cannot be unwound without a core or a boundary crossing; the smooth Gaussian theory misses those sectors. For $\theta =q\arg (x+iy)$ outside a core of radius $a$,The positional entropy of a freely placed defect is approximately $S/k_B=2\log (L/a)$. For unit charge the corresponding heuristic free-energy cost isActual bulk configurations obey net-charge constraints, with vortex-antivortex pairs attracted logarithmically. At low temperature they remain bound; they renormalize the phase stiffness but do not screen away the algebraic correlations. Heating can unbind the pairs into a screening vortex plasma with short-range correlations: this is the Berezinskii–Kosterlitz–Thouless transition.

The sharp criterion uses the long-distance renormalized stiffness $K_R$, not a bare coefficient: $K_R(T_{\mathrm{BKT}}^{-})=2/\pi$, giving algebraic exponent ${\eta }_c=1/4$. Both phases have zero conventional spontaneous magnetization at positive temperature; they differ in vortex binding, correlations and stiffness.^[ref]

A coarse-grained scalar order parameter $\varphi (\mathbf{x})$ describes a short-range Ising-like transition with sign symmetry. Write the dimensionless Landau-Ginzburg functional asHere $r=a_{t}t$, with the relevant critical-mass shift understood when fluctuations are included. Higher local powers and gradients are negligible only within a justified long-distance expansion. The partition function is $Z=\int \mathcal{D}\varphi e^{-\mathcal{H}}$ with a microscopic cutoff. The local functional is not already the fluctuation-integrated thermodynamic free energy.

Mean-field theory replaces this integral by its stable uniform saddle, $r{\varphi }_0+u{\varphi }_0^3=h$. At $h=0$,The branch curvature is $r_L=r+3u{\varphi }_0^2$: it is $r$ above and $2|r|$ below. HenceTogether with the finite heat-capacity jump from $f_{\min }$, this yieldsThe equal-$|t|$ susceptibility amplitude ratio is two. Uniform saddles also miss domain walls and spatial texture. For an $n$-component order parameter, symmetry allows a vector generalization; ordered transverse directions additionally carry Goldstone fluctuations.

To include small fluctuations set $\varphi ={\varphi }_0+\delta \varphi$. The Gaussian action is $\frac{1}{2}\int [c(\nabla \delta \varphi {)}^2+r_L(\delta \varphi {)}^2]$, givingThe displayed $G(q)$ is a spectral covariance per Fourier delta, avoiding an extra volume factor. As $r_L\to 0$, a growing correlation length lets increasingly large correlated regions fluctuate. The singular Gaussian heat correction contains $\int d^{d}q/(c{q}^2+r_L{)}^2$, which is infrared singular for $d<4$ and logarithmic at four. This signals failure of a simple saddle expansion; the Gaussian heat exponent obtained by extrapolation is not the exact interacting critical exponent.

The Ginzburg criterion compares the fluctuation of a correlation-volume average with ${\varphi }_0^2$, rather than using all ultraviolet fluctuations at a point. Keeping $q\lesssim {\xi }^{-1}$ below the transition gives, up to finite convention-dependent constants,Dividing by ${\varphi }_0^2=|r|/u$ yieldsFor $d<4$, writing $r=a_{t}t$ gives a nonuniversal Ginzburg reduced-temperature windowInside $|t|\lesssim \mathrm{Gi}$, interacting fluctuations must be treated. For example, in three dimensions $\mathrm{Gi}\sim u^2/(c^3{a}_t)$ in this normalization. Above four dimensions the long-wavelength ratio vanishes at criticality; at four it is marginal and interaction-generated logarithms require further analysis.

The spatial gradient term supplies correlations absent from uniform Landau theory. The Ginzburg test bounds where its mean-field saddle remains self-consistent; it does not compute nonclassical exponents or a universal material-independent window.^[ref]

Renormalization compares the same long-distance physics at different observation scales. The starting object is a microscopic or cutoff statistical Hamiltonian ${\mathcal{H}}_g$ with every symmetry-allowed coupling $g$. Because a critical correlation length is much larger than a lattice spacing, repeatedly eliminating short-distance detail can reveal scale-invariant behavior.

In a real-space transformation choose a normalized blocking kernel $B(S|s)$ for retained variables. DefineSumming over $S$ proves exact preservation of $Z$ before truncation. The transformed Hamiltonian generally gains longer-range and many-body interactions and a field-independent constant. Observables must be blocked consistently. In momentum-shell language split $\varphi ={\varphi }_{<}+{\varphi }_{>}$, integrate $\Lambda /b<|q|<\Lambda$, then use $x^{\prime }=x/b$ and a field rescaling to restore cutoff and kinetic normalization. Coarse-graining, rescaling and tracking generated interactions are distinct steps.

Repeated transformations generate a flow $g^{\prime }=R_b(g)$ with composition $R_b{R}_c=R_{bc}$ when the same exact coarse-graining family is used. Losing degrees of freedom generally makes this a semigroup, despite its conventional group name. A renormalization-group fixed point is invariant after rescaling. At a continuous transition the large-distance theory approaches a critical renormalization-group fixed point; finite correlation length instead eventually flows into an ordinary thermodynamic phase regime.

Linearize in scaling coordinates $u_i$:For increasing observation length, $y_i>0$ is relevant and must be tuned, $y_i<0$ is irrelevant, and $y_i=0$ is marginal and needs nonlinear analysis. Discrete multipliers $b^{y_i}$ must be compared with one, not with zero. The stable manifold forms the critical surface after relevant directions have been set to zero.

After subtracting regular additive contributions, ordinary hyperscaling givesChoosing $b=|t{|}^{-1/y_t}$ or choosing the field as scale yieldsFor a critical two-point function $G(r)\sim r^{-(d-2+\eta )}$, the order parameter scaling dimension is $x_m=(d-2+\eta )/2$, and its conjugate field has $y_h=d-x_m=(d+2-\eta )/2$. This recovers the Q1 identities while distinguishing the gap exponent $\Delta$ from the field's scaling dimension $y_h$.

As a concrete dimensional check, start from a scalar gradient action. Restoring its coefficient uses ${\varphi }^{\prime }(x^{\prime })=b^{(d-2)/2}{\varphi }_{<}(b{x}^{\prime })$, so at the Gaussian fixed pointQuartic interactions are relevant below four dimensions. They can produce an interacting Wilson-Fisher fixed point, whose exponents differ from naive Gaussian counting. Above four, the quartic coupling is irrelevant at the Gaussian fixed point but dangerous for ordered observables: ${\varphi }_0^2=-r/u$ is singular when $u$ is dropped. Thus the simple two-variable hyperscaling formula is not universal above the upper critical dimension.

Different microscopic systems can flow to the same long-distance renormalization-group fixed point, explaining universality of exponents and normalized scaling forms. Critical temperatures, metric factors and regular free energies remain nonuniversal. Dimension, order parameter symmetry, interaction range and additional soft variables constrain the universality class. Truncations, perturbative expansions and numerics approximate the flow; they must not be confused with the exact elimination definition.^[ref]

At mean-field level, positive gradient stiffness favours a spatially uniform order parameter. Writing $r=|\varphi |$, minimization of $f=a{r}^2+r^4/2$ giveswith arbitrary constant $\delta$. The minimized density is zero above the transition and $-a^2/2$ below it. The order parameter vanishes continuously as $(-a{)}^{1/2}$; the first derivative of the minimized free energy is continuous while the second changes. This is the continuous mean-field transition.

The broken symmetry is global U(1) symmetry, not merely the Ising sign symmetry. Selecting one ordered phase breaks this continuous symmetry and leaves a soft phase direction. These are minima of the supplied Landau free energy, not an exact finite-temperature long-range-order claim in one dimension: phase fluctuations invalidate that inference for a short-range one-dimensional system.^[ref]

For the isotropic zero-field classical Heisenberg model of a ferromagnet, the analytic vector Landau expansion uses the Cartesian components of the vector order parameter near $\mathbf{m}=0$. rotational symmetry makes its scalar terms functions of $\mathbf{m}\cdot \mathbf{m}$. Global spin inversion symmetry also requires $f(\mathbf{m})=f(-\mathbf{m})$. Through fourth order this givesA positive quartic coefficient stabilizes the unconstrained truncated free energy. The disordered phase has $b>0$ and its minimum at $m=0$; the aligned phase has $b<0$ and a minimum at nonzero $m$. At the continuous transition $b=0$. The attractive alignment interaction supplies an energetic tendency toward negative quadratic curvature; orientational entropy favors the disordered phase at high temperature, so the sign of $b$ is a free-energy question rather than a consequence of the pair energy alone.

The analyticity assumption matters: the variable printed as $m$ is a nonnegative magnitude, so reversing $\mathbf{m}$ does not send that scalar to $-m$. Terms proportional to $|\mathbf{m}|$ or $|\mathbf{m}{|}^3$ would be rotationally invariant but nonanalytic at the vector origin. Standard analytic Landau theory excludes them. Without that assumption, the stated pair symmetry alone would not exclude odd powers of the magnitude.^[ref]

Differentiation gives $f^{\prime }(m)=2m(b+2d{m}^2)$. For $b>0$ the origin is the global minimum; for $b<0$, $m=\sqrt{-b/(2d)}$ has $f^{\prime \prime }=-4b>0$ and $f=-b^2/(4d)<f(0)$. Therefore, close enough to the transition for the quartic expansion to apply,The order parameter approaches zero continuously with mean-field critical exponent $\beta =1/2$: the transition is continuous. In the aligned phase a particular direction is chosen. The vector-spin rotation symmetry is spontaneously broken from $SO(3)$ to $SO(2)$, or from $O(3)$ to $O(2)$ including reflections. The manifold of vector order parameter directions is a sphere, so this is not just a two-state sign choice.^[ref]

The plot uses illustrative $d=1/2$ and temperature measured in units of $T_c$. A unit-spin average must satisfy $m\le 1$; if the quartic model is used literally far below the transition, its constrained minimum is $\min \{1,\sqrt{(T_c-T)/(2d{T}_c)}\}$. In practice the near-transition expansion is not a controlled prediction of deep low-temperature saturation. Also, a finite zero-field statistical ensemble that averages all directions has $⟨\mathbf{m}⟩=0$ even below $T_c$; the curve describes the magnitude in a selected ordered state, obtained by appropriate boundary conditions or the thermodynamic limit before removing a small magnetic field.

The mean-field approximation replaces the fluctuating environment of each microscopic variable by a uniform average field. For spins, write $S_i=S+\delta S_i$ and drop products $\delta S_i\delta S_j$ between different sites. The resulting single-site problem can be solved independently, and its average spin must reproduce the assumed order parameter $S$: this is the self-consistency equation.

It is reliable when correlated thermal fluctuations about the mean are small, for example with many interacting neighbours, long-range interactions or high spatial dimension. Near a thermodynamic critical point the quantitative test is the Ginzburg criterion. For short-range scalar ordering the upper critical dimension is four, with logarithmic qualifications at four; a two-dimensional nearest-neighbour lattice is below this and its asymptotic critical region of a phase transition is not described accurately by simple mean-field theory.^[ref]

For an analytic, local Landau theory with independent global rotations of the magnetization vector, a uniform scalar potential can depend only on $\rho =\mathbf{m}\cdot \mathbf{m}$. Keeping terms through fourth order in the field, dropping an additive constant, and retaining the leading isotropic positive gradient term gives the displayed quadratic-plus-quartic functional. The stiffness has been absorbed into the normalization of length and field. Higher powers and higher derivatives are neglected in this long-wavelength approximation.

The quartic truncation is stable at large $|\mathbf{m}|$ when $u>0$. The coefficient $t$ changes sign at the mean-field critical point; close to it one commonly writes $t\propto T-T_c$. If $u<0$, higher stabilizing powers are essential, so the displayed truncation alone cannot determine a stable first-order phase diagram. For $u=0$ and $t<0$ it is likewise unbounded.

For $u>0$, spatially uniform stationary points obey $(t+4u\rho )\mathbf{m}=0$. The global minima areThe corresponding minimum free-energy density is zero and $-t^2/(16u)$, respectively. The disordered phase gives way continuously to a ferromagnet with an arbitrary direction of magnetization. At this mean-field transition the amplitude vanishes as $(-t{)}^{1/2}$; long-wavelength critical fluctuations can modify mean-field exponents in three dimensions.^[ref]

The Hamiltonian has the discrete symmetry described in solution, whereas either selected easy-axis ground state has a nonzero order parameter $⟨S^x⟩$ and is not invariant under it. This is spontaneous symmetry breaking: the equations preserve the symmetry while the selected macroscopic quantum state does not.

An infinitesimal longitudinal magnetic field selects one orientation. The defining order of limits isin the ordered zero-temperature phase, with the opposite sign for $h\to 0^{-}$. A symmetric finite-volume quantum state can instead have zero magnetization. Quantum ordered states are generally dressed by fluctuations rather than exact fully polarized product states, because unequal transverse exchange can create pairs of spin waves. Discrete easy-axis symmetry does not imply a gapless Goldstone mode; indeed solution finds a nonzero spin wave gap. Nor does this argument assert positive-temperature order in a one-dimensional short-range chain.^[ref]

Choose a coarse-grained magnetization $m(\mathbf{x})$ as the order parameter: it vanishes in the paramagnetism phase and develops a spontaneous nonzero value in the ferromagnetism phase. In zero applied magnetic field, spin reversal sends $m\mapsto -m$, so the local Landau free energy contains only even powers. A minimal spatially inhomogeneous free-energy functional isThe positive gradient coefficient penalizes rapid spatial variations. Near an ordinary transition take $a(T)=a_0(T-T_0)$, $a_0>0$, and positive $b$; retain the sextic term when $b$ can approach or cross zero. The source $h$ is conjugate to the magnetization and explicitly breaks spin reversal.

Determine equilibrium by minimizing this free-energy functional, imposing the appropriate boundary conditions. Its Euler-Lagrange equation isFor a uniform system at $h=0$, compare the values of all stable stationary solutions, rather than accepting every solution of this equation. The selected global minimum gives the equilibrium magnetization; derivatives of its free energy give entropy, heat capacity and magnetic susceptibility. At an ordinary transition the two ordered minima emerge continuously from zero. Spatial dependence also permits domain walls and an estimate of the correlation length.

This is a mean-field approximation: it selects a minimizing profile and neglects statistical fluctuations around it. The symmetry constrains the expansion, but its numerical coefficients are phenomenological. Close enough to a transition, thermal fluctuations near a critical point can invalidate the resulting mean-field critical exponents.^[ref]