Free-energy functional Created 2026-10-06 Updated 2026-10-14
A free-energy functional assigns a free energy to an entire spatial order parameter configuration rather than only to one uniform value. In Landau-Ginzburg theory, a local derivative expansion gives , with appropriate boundary terms and regular backgrounds. The Landau approximation minimizes this functional; a fluctuating statistical field theory instead integrates its Boltzmann weight over configurations. These procedures need not give identical critical exponents.
An order parameter distinguishes thermodynamic phases. For a ferromagnet it is the magnetization; for a fluid near its liquid-gas critical point it can be the density relative to its critical value. In a system with a scalar order parameter, introduce a slowly varying real scalar field whose spatial average represents that order parameter. The Landau-Ginzburg theory organizes the effective free energy as a local expansion consistent with the symmetry:
Here is the stiffness in the gradient energy, and is the field conjugate to an order parameter. The even powers assume a symmetry at . Without that symmetry further terms, including a cubic term, may be allowed. The coefficients are smooth functions of temperature and other controls; near a mean-field transition one usually writes with . A positive highest retained even coefficient makes the local potential bounded below.
The partition function is obtained by weighting configurations with . The Landau approximation replaces this functional average by minimization, taking a uniform in a homogeneous phase. In a symmetric finite system the zero-field average can vanish even below the transition because it averages both signs of . The spontaneous order parameter selects a pure thermodynamic phase by taking the thermodynamic limit before removing the conjugate field:
Thus the order parameter measures the ordering of a selected thermodynamic phase, rather than the average over all symmetry-related phases.
Critical exponents describe leading singular powers near a continuous phase transition. Using the reduced temperature , the standard definitions include
These are the order-parameter critical exponent, magnetic-susceptibility critical exponent, heat-capacity critical exponent and correlation-length critical exponent. The critical-isotherm exponent is defined by . The anomalous dimension gives the critical long-distance connected correlation function, , when an ordinary scale-invariant critical point exists.
In the Landau approximation, minimize the Landau free energy to obtain the equation of state, differentiate it with respect to the field conjugate to an order parameter to obtain magnetic susceptibility, and differentiate the minimized free energy with respect to temperature to obtain heat capacity. These operations determine , respectively. Expanding the Landau-Ginzburg theory about its uniform minimum gives the quadratic fluctuation kernel , whose Fourier transform determines the correlation length and the anomalous dimension. At the ordinary quartic critical point this gives and .
For , gives and hence ; the equilibrium free energy gives a finite heat capacity discontinuity, conventionally . Together with the explicit calculation below, the ordinary mean-field critical exponents are
These describe neglect of fluctuation corrections, rather than the exact exponents of every low-dimensional Landau-Ginzburg theory.
The relevant boundary here is the upper critical dimension: above it the critical interactions become negligible at long distances and the ordinary mean-field critical exponents apply; at it there can be logarithmic corrections. This differs from the lower critical dimension, below which a particular kind of ordering may fail to exist.
Normalize the coefficient of in the Landau-Ginzburg theory. Under a change of length scale , its invariance gives the engineering dimension . The quartic interaction then scales as
It is a relevant operator below four dimensions and an irrelevant operator above four. Thus the ordinary scalar transition has upper critical dimension . At a tricritical point, where the quartic interaction is tuned away, the sextic coupling scales as , giving the tricritical upper critical dimension . This is the upper critical dimension of an even scalar interaction applied to powers four and six.
The Ginzburg criterion makes the reason for failure of the Landau approximation quantitative. In the ordered quartic theory, , and . The fluctuation of the order parameter averaged over a correlation volume has the scale
Compared with the squared mean order parameter, the Ginzburg criterion therefore gives
For this ratio grows without bound as the correlation length diverges. The assumption that fluctuations are small relative to the ordered value fails arbitrarily near the transition, and the interacting renormalization-group fixed point determines the critical exponents. For the ratio tends to zero. At scale counting is marginal, and the running quartic coupling produces logarithms.
Similarly, at the tricritical point , so the multicritical Ginzburg ratio scales as . The Landau-Ginzburg theory remains a useful effective description below its upper critical dimension; it is its fluctuation-free exponent calculation that fails, not the possibility of including fluctuations in the theory.
The Landau-Ginzburg theory for a scalar order parameter supplements a local symmetry-allowed potential with a gradient penalty. For a symmetry at zero field, a stable quartic model is
with near a mean-field transition. Equilibrium fluctuations have weight . In the Landau approximation, minimize the functional. A uniform stationary state obeys . At zero field the minimum is for and for . The latter pair is spontaneous symmetry breaking of the discrete symmetry.
The uniform free-energy density at its minimum is zero above the transition and below, up to regular backgrounds. Differentiating the equation of state gives and . At , . Gaussian fluctuations around the minimum have inverse covariance above and below. Their correlation lengths are and . These results give the usual mean-field critical exponents
The heat capacity has a finite jump rather than a power-law divergence. Negative quartic coefficient requires higher stabilizing terms and can produce a first-order transition; a vanishing quartic coefficient requires a tricritical analysis. Thus the assumed positivity of matters.
The Ginzburg criterion tests whether this saddle description is self-consistent. Below the transition compare fluctuations of the order parameter averaged over a correlation volume with its squared mean-field value . Modes with dominate this coarse-grained fluctuation estimate:
where the positive dimensionless depends on the averaging window and the factor of two used in . Dividing by gives
It is the fluctuation of a correlation-volume average, not the full cutoff-dominated microscopic variance, that should be compared with the mean-field order parameter.
For , diverges as , so the asymptotic critical region is fluctuation dominated. Away from it, mean-field theory can still work when
For , the long-wavelength ratio tends to zero near criticality, consistently with Gaussian control and mean-field thermodynamic exponents. At , quartic coupling is marginal; scale-dependent logarithms require a renormalization-group analysis rather than interpreting a constant bare ratio as a proof of no corrections. This identifies four as the upper critical dimension of the short-range scalar quartic model.
The Landau-Ginzburg theory is valuable because symmetries restrict a manageable list of local operators, the gradient term describes correlations and interfaces, and the Ginzburg criterion identifies when neglected fluctuations become decisive. Below the upper critical dimension an interacting renormalization-group fixed point, rather than the bare saddle, determines universal exponents. For continuous order parameters the manifold of ordered minima also has Goldstone modes, and lower-critical-dimension fluctuations require separate attention. Mean-field minimization supplies an approximation; the Ginzburg ratio decides whether its neglect of fluctuations is justified.
An order parameter distinguishes equilibrium thermodynamic phases. For a scalar magnetic system, a slowly varying coarse-grained scalar field represents local magnetization, and its uniform expectation is the order parameter. Under spin inversion symmetry, and . The disordered phase has at , while a pure ordered phase has . In a finite symmetric system the average still vanishes at ; spontaneous symmetry breaking means taking the thermodynamic limit before or to select a pure thermodynamic phase.
Landau-Ginzburg theory assigns a local free-energy functional
Spin inversion symmetry forbids odd powers at zero conjugate field; locality and slow variation motivate the gradient expansion. The gradient energy penalizes interfaces and determines long-wavelength response. Integrating over fields includes fluctuations, whereas the Landau approximation replaces that integral by its stable stationary configuration. For a uniform phase this reduces to minimizing . If is the equilibrium free-energy density, then , so the order parameter is also the thermodynamic response to its conjugate field.
An order parameter distinguishes phases macroscopically. In an Ising model it is the local coarse-grained magnetization; the uniform mean is . In a selected ordered phase , whereas the disordered phase has at zero conjugate field. The ordered signs are related by spin inversion symmetry. A finite zero-field system may average both signs to zero, so spontaneous symmetry breaking is defined using the thermodynamic limit before removing a symmetry-selecting field. For other systems the order parameter can be a vector, a density difference, or a tensor rather than a single magnetization.
Landau-Ginzburg theory makes the order parameter a spatial field and expands a local free energy consistent with the symmetries. For a short-range scalar system with spin inversion symmetry at , a useful expression is
The linear source is the field conjugate to an order parameter. Odd terms at zero field are forbidden by spin inversion symmetry. The coefficients depend smoothly on control parameters away from singular fluctuation effects. With the quartic term suffices locally; if , take for stability. The Landau approximation minimizes this functional; statistical field theory also integrates fluctuations about those minima.
The partition function sums the Boltzmann weights of all statistical configurations. For discrete states of energy , ; for a regulated scalar field it is a functional integral, . It normalizes probabilities and generates thermodynamic averages. Its Helmholtz free energy is
A quantum version uses . In the following identification, is a constrained free-energy density, so its units match those of a Hamiltonian density rather than a total extensive energy.
Fix a microscopic cutoff . Split the field into retained modes with momenta below and eliminated modes between and . Define the Wilsonian coarse-grained statistical Hamiltonian exactly by
Its coefficients and additive constant depend on so that integrating the retained modes gives precisely the original . With sources and observables carried along, the same construction preserves long-wavelength responses. Thus changing this intermediate ultraviolet cutoff is a change of description, not a change of the physical system. It is advantageous because one can integrate out fluctuations irrelevant to the observable length scale, organize a local gradient expansion, and use renormalization-group flow toward simpler universal fixed-point descriptions. Exact invariance retains all generated operators; truncating them is an approximation.
The quadratic gradient coefficient generally becomes , not a constant. Field renormalization sets a chosen kinetic normalization, for example when this makes the gradient coefficient one in the energy convention. Sources and observables must be transformed inversely so that their physical meaning is preserved. Under rescaled coordinates , the critical field scaling is
Its anomalous part is the anomalous dimension; it gives and the conjugate-field exponent . Different conventions for the wave-function factor require corresponding changes in its logarithmic derivative. A fixed physical magnetization must not be confused with a cutoff-dependent dimensionless renormalized field.
To justify the zero-cutoff identification of constrained free energy, work first in a finite periodic volume . Define the physical spatial mean and constrain that mean in the microscopic integral:
Retain the constant mode while eliminating every nonzero mode. When is below the smallest nonzero box momentum, the remaining energy is . Consequently with a consistently fixed, possibly field-independent measure normalization. This proves
For a uniform field, is the Hamiltonian density in the question. The statement assumes that the physical zero mode is retained, all other modes are integrated exactly, field-rescaling factors are undone, and density and additive-normalization conventions agree. Taking the cutoff limit in the finite box before its thermodynamic limit makes this derivation unambiguous. With an applied uniform source, up to the same measure convention; its large-volume saddle minimizes .
The Landau approximation further assumes that this potential can be approximated by a regular local polynomial on the homogeneous branches, and that the remaining fluctuations are negligible for the observables sought. It is not an assertion that an exact zero-cutoff free energy is the bare polynomial. In a coexistence region the exact constrained density can be convexified by domains, while a nonconvex Landau branch potential describes local phases and their metastability.
For the breakdown criterion use a short-range scalar theory with positive quadratic gradient stiffness. At the Gaussian fixed point, invariance of gives field dimension . A coupling multiplying therefore has engineering scaling exponent
It is irrelevant only above its upper critical dimension. For the ordinary critical point the leading stabilizing interaction is quartic, while at a tricritical point the renormalized quartic term is tuned away and the leading interaction is sextic. Therefore
One can also see the failure through the Ginzburg criterion. Long-wavelength fluctuations averaged over a correlation volume obey , up to temperature and stiffness factors. The quartic saddle has , giving a fluctuation/mean-square ratio proportional to . The tricritical sextic saddle has , giving a ratio proportional to . Both ratios grow without bound below their respective critical dimension, invalidating the fluctuation-free Landau exponents sufficiently close to a transition.
At equality the ratios are marginal, not power-law divergent. The loop expansion resolves this boundary: the quartic vertex correction contains , logarithmic at ; the sextic vertex correction contains a two-loop three-propagator integral whose overall degree is , logarithmic at . Marginal running therefore generally adds logarithmic corrections at these dimensions. Below them, where the corresponding transition exists, interactions control the long-distance critical behavior. Above them, leading thermodynamic powers are mean-field, although stabilizing dangerously irrelevant couplings explain why naive hyperscaling need not hold.
An order parameter distinguishes phases by a macroscopic quantity that changes at the transition. For an Ising model ferromagnet it is the magnetization per Ising spin, . At zero magnetic field the statistical Hamiltonian is invariant under spin inversion symmetry. The disordered phase preserves this symmetry, whereas a selected ordered phase has and a spin-reversed partner with . At finite volume with symmetric boundary conditions the expected value is zero even below the transition; spontaneous magnetization means taking the thermodynamic limit before sending a symmetry-breaking field to zero.
Landau-Ginzburg theory introduces a coarse-grained local order parameter and a symmetry-constrained free-energy functional. For a short-range system with scalar spin inversion symmetry, a useful expansion is
The coefficients vary smoothly with microscopic control parameters at the level of the Landau approximation; normally with . The gradient term penalizes spatial variation. The magnetic field is conjugate to the order parameter, and odd powers at are excluded by spin inversion symmetry. With , the sextic term may be omitted locally; with , a stabilizing positive is essential. The equilibrium uniform order parameter minimizes the local potential , giving
This equation of state follows from minimization, rather than being imposed as an independent assumption. Vector or tensor order parameters and their allowed invariants describe other symmetry classes.
A critical exponent describes the leading singular power of an observable in a specified scaling limit. The order-parameter critical exponent describes the zero-field ordered branch; the magnetic-susceptibility critical exponent describes response to its conjugate field; and the critical-isotherm exponent describes response at the critical temperature. They are found in the Landau approximation by minimizing the potential and differentiating the resulting equation of state, as calculated in the question's root solution. For a leading stabilizer the same calculation gives , and . Thus , and . Beyond the Landau approximation, the renormalization-group relevance exponents and anomalous dimension determine the singular powers; Question 2 derives their relations. The critical exponents refer to specified paths, and tuning to a higher multicritical point requires eliminating its lower relevant perturbations.
A phase diagram locates stable pure thermodynamic phases and their phase coexistence boundaries in a space of control parameters. For a concrete three-dimensional example, take the temperature, crystal-field parameter, and magnetic field of the Blume–Capel model. Its spins take values ; changing the cost of the zero-spin state can turn a continuous ordering transition into a discontinuous one. A local scalar description near the resulting tricritical point is the Landau-Ginzburg theory
The three local control coordinates are , with varying linearly with the thermal scaling field. For , , the transition at is continuous. For , zero-field coexistence is at , and the magnetization jumps between zero and . The two loci meet at , the tricritical point.
The full three-dimensional phase diagram has an ordered coexistence sheet at , where the two opposite magnetizations exchange stability when changes sign. On its three-phase line it meets two nonzero-field tricritical wings. These wings are first-order phase transition surfaces between minima of the same sign but different magnitude, terminating at ordinary thermodynamic critical points. Their tricritical wing critical edges are found by :
Indeed fixes , and substituting into and gives ; ensures a stable critical quartic minimum. The two signs give the two wings. All transition surfaces and critical edges end together at the tricritical point. The following plot uses ; its wing surfaces come from the exact tricritical wing coexistence factorization, rather than schematic unconstrained surfaces.
Figure 1.
Tricritical coexistence surfaces, the zero-field phase diagram, and ordinary, first-order and tricritical Landau potentials
. Details.
The unheaded requests for critical exponents follow from the uniform equation of state
For an ordinary thermodynamic critical point, is fixed and , . At , , the small ordered minimum obeys , so the order-parameter critical exponent is . Above the transition , giving the magnetic-susceptibility critical exponent . At , , so the critical-isotherm exponent is . At the tuned tricritical point, , instead below the transition and on its critical isotherm, while the disordered susceptibility remains . Therefore
Below the transition the inverse susceptibility is , giving in the ordinary limit and in the tricritical limit. Thus both sides give the same susceptibility power, with different amplitudes.
To derive the general Ginzburg criterion, tune away all lower even nonlinearities and let the leading stabilizer be , . The equation of state gives , and its curvature at the ordered saddle is , so . The fluctuations of the order parameter averaged over a correlation volume are estimated by its long-wavelength quadratic covariance:
The integral has a fixed dimensionless upper limit after ; this is a coarse-volume fluctuation estimate, not the ultraviolet-dominated point variance. Consequently the multicritical Ginzburg ratio is
The Landau approximation is asymptotically controlled by this test only when the ratio tends to zero. This gives the upper critical dimension
The same threshold follows by giving its Gaussian engineering dimension : the coupling to has scaling exponent , which becomes relevant below .
For , the fluctuation ratio diverges and the saddle calculation cannot predict the generic interacting critical exponents. At the test is marginal, not a proof of changed power exponents: the ratio has zero thermal power and marginal interactions can produce logarithmic corrections. Thus the PDF's inclusion of equality in a blanket claim about wrong power exponents needs this qualification. The Landau-Ginzburg theory as a fluctuating field theory remains useful; what loses validity is its fluctuation-free Landau approximation.
For , the quartic interaction has a nonzero limiting value instead of disappearing under coarse-graining. Long-wavelength thermal fluctuations are therefore interacting, so the fluctuation-free Landau approximation cannot give the generic critical powers. For example, its ordinary correlation-length critical exponent is , whereas the relevant thermal eigenvalue just derived gives
The tadpole is momentum independent, so the anomalous dimension begins at . Combining this with the scaling relations yields , , and , exhibiting the deviation from ordinary mean-field indices. These are controlled statements for small positive , not exact numerical exponents at arbitrary dimension. The Landau-Ginzburg theory itself is not invalid: integrating its fluctuations is precisely how the Wilson-Fisher fixed point was obtained. The invalid step is replacing that interacting long-distance theory by a uniform saddle and ignoring its fluctuation corrections.
For a ferromagnet the scalar order parameter is the spontaneous spin magnetization. It distinguishes a symmetry-invariant phase with zero mean from one of two phases with a nonzero mean of opposite signs. At zero field, a finite system with spin inversion symmetry has exactly zero mean. The spontaneous value is defined by taking the thermodynamic limit first and then sending the symmetry-breaking conjugate field to zero from one side.
A Landau-Ginzburg theory promotes the coarse magnetization to a scalar field and uses
At , spin inversion symmetry permits only even local powers. The gradient term penalizes spatial variations. The equilibrium statistical weight is ; the Landau approximation chooses a stable minimum of , whereas the full functional integral retains fluctuations around it. In a homogeneous phase this gives the equation of state . The field is conjugate to the order parameter, with .
A critical exponent is the leading power of a singular observable as a control variable approaches a critical value. Use and distinguish the exponents from coefficient names in a Hamiltonian. Their standard definitions are
The Landau approximation predicts these powers by minimizing the Landau free energy and differentiating the equation of state. At an ordinary quartic point, , above and below, and on the critical isotherm. The equilibrium singular free energy is proportional to below, giving a heat-capacity jump. The quadratic fluctuation denominator is , so and . Thus the ordinary mean-field critical exponents are
At a tuned tricritical point, the preceding solution gives , and below. At the equation of state is . The curvature still vanishes linearly, and the Gaussian gradient term still gives zero anomalous dimension. Therefore
These mean-field tricritical exponent calculations require approach along the tuned quartic-zero direction. Fluctuations modify the powers below the appropriate upper critical dimension, and marginal effects can add logarithms at it.
An order parameter distinguishes phases through a macroscopic observable, such as the mean spin of a ferromagnet. Its vanishing can reflect an unbroken symmetry, while choosing one of several nonzero equilibrium values gives spontaneous symmetry breaking. Landau-Ginzburg theory treats it as a slowly varying field and expands the free energy in terms allowed by symmetry:
Here penalizes spatial variation, is the conjugate field, and the highest retained even coefficient must stabilize large . For a spin-flip-symmetric system, odd powers are forbidden at . Equilibrium in the Landau approximation minimizes this functional; near an ordinary continuous transition with and .
The ultraviolet cutoff specifies which fluctuations remain explicit. Changing it integrates out some modes; to preserve long-distance predictions, their effect must be absorbed into the mass, interactions, and other couplings. Thus bare coefficients depend on . The long-distance inverse connected correlation function has the form . After fixing the gradient normalization, the infrared mass is an inverse correlation length. With the question's unrescaled gradient coefficient, at Gaussian level, so proportionality rather than literal equality is appropriate until that normalization is chosen.
As a concrete momentum-shell renormalization group step, split into modes below and in the shell , and define
Then rescale coordinates and the field to restore the cutoff and gradient coefficient. A local derivative expansion of gives new quadratic, quartic, and higher even couplings. If the system has short-range interactions, the field varies slowly, the effective potential is analytic, and remaining fluctuations are small, retaining the leading gradient and lowest stabilizing powers and minimizing the resulting functional gives Landau-Ginzburg theory. Suppressing the omitted fluctuations is the substantive Landau approximation; it is justified sufficiently far from the narrow fluctuation region or above the appropriate upper critical dimension.
The truncated two-point function in this question is the one-particle-irreducible two-point vertex, . It is the Hessian of the Legendre effective action, not merely the connected two-point function. In perturbation theory,
Here is the Gaussian propagator about the chosen reference mass, is the mass counterterm or bare-to-reference mass shift, and is the interaction self-energy, computed from proper diagrams. Fix the gradient normalization so , and choose the infrared reference mass . Then at this order. The mass renormalization condition is .
At one loop the only two-point diagram is the quartic tadpole diagram. There are choices for attaching its two external lines, leaving the other pair contracted; dividing by gives its factor . It is independent of external momentum, so
The renormalization condition therefore gives the self-consistent one-loop equation
Using inside the loop is a self-consistent resummation; replacing it by the bare mass gives the same formal first-order expansion away from infrared problems.
Subtract the equation at , where , and absorb regular temperature dependence of into the thermal coefficient. Let and . Then
For , the integral divided by tends to a finite cutoff-dependent constant, since its small-momentum radial integrand is . Thus is proportional to , consistent with the Landau prediction. For , set : the correction instead scales as and dominates . At it is proportional to . Hence a pure linear Landau mass law without logarithmic modification is consistent only above
For , the massless integral itself is infrared divergent, so the subtraction already needs additional care. The sub-four-dimensional self-consistent approximation locates the breakdown of mean-field behavior; it is not an exact calculation of interacting critical exponents.
At a tricritical point the quartic coupling is tuned away and the leading stabilizing interaction is . At the Gaussian fixed point, the field has engineering dimension , so the sextic coefficient rescales as . It changes from irrelevant to relevant at
This is the sextic case of the upper critical dimension of an even scalar interaction; marginality at three dimensions allows logarithmic corrections.
In Landau-Ginzburg theory, a scalar order parameter distinguishes macroscopic phases: for an Ising model it is the magnetization per site, while near a liquid–gas endpoint it can be a shifted density. An ordered pure thermodynamic phase has a nonzero value even when the conjugate field is removed. For a symmetry-related pair, take the thermodynamic limit before ; a finite-volume symmetric ensemble instead has zero average.
Coarse-grain to a slowly varying real field and use a local, symmetry-constrained free-energy density. A useful convention is
For spin inversion symmetry, odd powers other than the externally imposed source are absent. Take when the quartic coefficient can be negative; for an ordinary transition already stabilizes the quartic truncation. The gradient energy penalizes spatial variations. In the Landau approximation, minimize this functional, usually first over constant fields. The corresponding statistical field theory also integrates fluctuations with weight . The order parameter identifies the phase; its spatial field describes both equilibrium order and its fluctuations.
An order parameter distinguishes thermodynamic phases and transforms under the symmetry that may be broken. For a scalar ferromagnet it is the magnetization per site; a disordered zero-field phase has , while ordered pure thermodynamic phases have . In a fluid one can instead use the density measured relative to its critical value; the field conjugate to it is then related to the chemical potential rather than literally a magnetic field. A nonzero value in the presence of an explicit conjugate field is not by itself evidence of a spontaneous transition.
The LG theory describes a slowly varying local order parameter by a symmetry-constrained free-energy functional, for example
At , a symmetry excludes odd powers. The coefficients are assumed analytic functions of the controls near the transition, and the expansion is stabilized by a positive highest retained even coefficient. The Landau approximation obtains equilibrium by minimizing this functional, neglecting long-wavelength fluctuation corrections. Its nonconvex local potential describes distinct candidate phases and mean-field metastability; the exact thermodynamic potential is convexified when macroscopic mixtures are admitted.
In a finite symmetric system, the zero-field expectation of can vanish even below the transition because both ordered orientations are sampled. Spontaneous order is defined by taking the thermodynamic limit before removing a selecting field, for example . This distinction also matters for the connected correlations used below.
Critical exponents describe leading power-law singularities as the reduced temperature and the conjugate field tend to zero. Their amplitudes depend on microscopic details, while the exponents are characteristic of a universality class. Define on a selected ordered branch, at zero field, for the singular heat capacity, and . Also define and . In these statements is the order-parameter critical exponent, not inverse temperature.
Assume with and a nonzero positive quartic coefficient . Minimizing the quartic potential gives , hence . Differentiating its equation of state gives
so with different amplitudes. At , , giving . The minimized potential is zero above the transition and below, so its second temperature derivative has a finite jump: .
The quadratic fluctuation kernel around the stable uniform minimum is , so . Since is above and below, . Its critical momentum dependence is , giving . Thus the ordinary mean-field critical exponents are
These are predictions of the Landau approximation, whose validity is constrained by the Ginzburg criterion; they need not be the exponents of the fluctuating theory below its upper critical dimension.
The parameters of a cutoff statistical field theory describe only the retained modes. Changing the ultraviolet cutoff changes which fluctuations have already been integrated out, so its effective mass, interaction coefficients and gradient normalization must change to preserve the same long-distance physics. They are not separately cutoff-independent observables. Because the source's weight is , its statistical Hamiltonian is dimensionless, with the physical inverse-temperature factor already absorbed.
For example split the scalar field into slow modes with and shell modes with . Define the momentum-shell renormalization group step by
This integrates out short-wavelength fluctuations exactly if all generated terms are retained. The new Hamiltonian can be expanded in local symmetry-allowed operators when the retained external momenta are well below the shell scale. A cumulant expansion of a coarse-grained free energy gives perturbative coefficients. Restoring the cutoff with and, for a canonical gradient term, , gives and . Interaction corrections also change the field normalization. Repeating the step produces the effective theory at successively longer distances.
To obtain the LG theory, assume a short-range scalar theory, slowly varying retained fields, analytic local couplings, positive gradient stiffness and stability, and a regime in which fluctuation corrections at the remaining scales are small. Keeping the leading gradient, quadratic and quartic operators gives a local Landau-Ginzburg theory functional. Its equilibrium in the Landau approximation is a uniform minimum, with a quadratic coefficient proportional to after the critical mass has been tuned. The RG explains why this is asymptotically consistent for the ordinary transition above four dimensions: the quartic interaction is irrelevant near the Gaussian fixed point, while it must still be retained to stabilize the ordered phase. Below four dimensions it cannot be dropped in the asymptotic critical region; an interacting Wilson-Fisher fixed point rather than the elementary saddle generally controls the transition. At four dimensions the interaction is marginal and produces logarithmic corrections. Tuning a quartic coefficient through zero requires a sextic stabilizing term and leads to tricriticality.
More concretely, in the Gaussian scaling regime let so the local quartic term is . At a total blocking scale , the leading couplings are , , . Apply the saddle approximation to the blocked potential and multiply its minimum by to convert back to original volume units. Rescaling the saddle field by gives
All blocking-scale factors cancel. This explicitly recovers mean-field scalar free-energy scaling with . Although above four dimensions, the saddle free energy is proportional to ; setting it to zero before minimization would remove the ordered phase. This is the dangerously irrelevant coupling mechanism rather than homogeneous two-variable hyperscaling.
For the perturbative calculation make the source's kinetic convention explicit. Write . The canonical normalization of a scalar gradient term uses , so the canonical quadratic and quartic coefficients are and . In what follows denote those canonical coefficients; then the reference propagator has denominator . Without this normalization the propagator denominator is , and the unmodified printed integral would not apply. At one loop the quartic tadpole is momentum independent, so it produces no gradient renormalization at this order.
In the convention fixed by the displayed equation, the truncated two-point function is the one-particle-irreducible two-point vertex, not the connected two-point cumulant itself. If and is the Legendre transform, then its second derivative is the inverse of . For a translation-invariant background,
Decompose the canonically normalized statistical Hamiltonian into a Gaussian part of mass , a mass counterterm , and the quartic interaction . With the Euclidean sign convention in which a positive mass correction increases the inverse propagator, the self-energy expansion is
Here contains loop corrections from proper two-point diagrams, excluding the separately displayed mass counterterm. The corresponding connected propagator begins . This fixes the sign, which would be reversed if “self-energy” instead denoted the insertion added with a plus sign inside a Dyson series.
The one-loop proper diagram is the tadpole diagram. Attaching two external fields to the quartic vertex gives contractions, divided by , so its symmetry factor is . With the loop momentum restricted by the cutoff,
It is independent of external momentum. Impose the zero-momentum mass condition . This gives , hence
This is the one-loop relation using a renormalized mass in the reference propagator, or the corresponding self-consistent tadpole approximation if solved without expanding in . It is not an exact all-orders gap equation. Away from the critical infrared problem, replacing the loop mass by the bare one changes a strict perturbative result only at higher order.
Take smooth and nonzero for an ordinary stable quartic transition. To test the assumed linear thermal mass, work from the disordered side and put . For , is infrared finite. The critical bare mass is shifted, not generically zero: . Absorb the smooth temperature dependence of couplings into an analytic thermal tuning , with . Critical subtraction gives the one-loop critical-mass subtraction
where
The infrared asymptotics of the critical-mass subtraction now distinguish the dimensions. For , is finite, so
For , diverges logarithmically. For , substitution gives
so the correction to scales as and dominates the analytic linear term. Pure mean-field linear mass scaling is therefore consistent only above
At the boundary dimension logarithms modify the simple power law. Below it this calculation diagnoses the failure of the Gaussian expansion; the exponent obtained by treating the self-consistent one-loop equation as exact is not automatically the exponent of the interacting scalar theory. For , the massless subtraction itself has an infrared divergence, so this perturbative argument cannot establish absence of a transition. In particular it does not rule out the two-dimensional Ising critical point.
The same upper dimension follows by engineering dimension counting: a canonical scalar field has dimension , so . For a tricritical point tune the renormalized quadratic and quartic terms to zero and retain a positive sextic interaction . Its engineering dimension is
It is marginal at , irrelevant above three, and relevant below three. More generally the upper critical dimension of an even scalar interaction is .
A Ginzburg criterion check gives the same result: at tricritical mean-field scaling and , whereas fluctuations in a correlation volume scale as . Their ratio to is , which tends to zero only for . Thus
The tricritical tuning concerns renormalized couplings: shell contractions of a sextic term can regenerate quadratic and quartic terms even when their bare coefficients vanish. At three dimensions the marginal sextic coupling produces logarithmic corrections rather than a strictly fluctuation-free mean-field limit.