Correlation-volume derivation of the scalar Ginzburg ratio Created 2026-10-14 Updated 2026-10-20
For the dimensionless scalar Landau-Ginzburg theory with stiffness , quadratic coefficient and quartic term , the mean-field approximation gives and correlation length . Restricting the Gaussian Fourier transform covariance to estimates the variance of the field averaged over a correlation volume as , up to a dimension-dependent constant. Dividing by proves the displayed Ginzburg criterion ratio. It diverges below four dimensions, vanishes above four and is marginal at four. Short-distance fluctuations renormalize microscopic coefficients and should not be confused with this long-distance critical test.
For a tuned multicritical even Landau potential with leading positive term, and . Long-wavelength Gaussian fluctuations in a correlation volume have variance proportional to . Their ratio to therefore scales as , vanishing only for . At equality the criterion is marginal, requiring further fluctuation analysis.
The hyperscaling relation expresses the idea that the singular dimensionless free energy in one correlation volume is of order one. A macroscopic volume contains of order such correlated regions, so
Substitution of the homogeneous correlation length gives
This has exactly the required homogeneous field variable. Comparing its thermal power with that of the singular free-energy density proves
The argument concerns powers, not equality of the two scaling functions or their amplitudes. It assumes the correlation length supplies the only singular length scale and that no dangerously irrelevant coupling changes the free energy per correlated region. For ordinary short-range quartic theory, hyperscaling holds below the upper critical dimension four, with the usual qualifications for marginal logarithms at four. Above four, mean-field critical exponents , do not satisfy ; the quartic coupling is dangerously irrelevant. The stated homogeneous form of alone therefore does not prove hyperscaling without the correlation-volume assumption.
The Ginzburg criterion tests whether fluctuations on the scale of one correlation volume are small compared with the squared equilibrium order parameter. In the scalar quartic Landau-Ginzburg theory of part (a), the ordered mean-field value is , and its longitudinal correlation length is proportional to .
Average the fluctuation field over a region of size . Its smoothing factor selects momenta of order or smaller. The Gaussian correlation function then gives, up to a positive dimension-dependent constant,
The last step follows directly by setting . Dividing by proves the correlation-volume derivation of the scalar Ginzburg ratio:
For , the ratio diverges as the transition is approached, so there is a fluctuation-dominated critical region of a phase transition in which mean-field critical exponents cannot be trusted. With , an estimate of its width is
in fixed microscopic units. Its numerical coefficient depends on the averaging convention and microscopic normalization.
For , the ratio tends to zero and the long-distance mean-field approximation becomes self-consistent. Four is therefore the ordinary quartic upper critical dimension. At this test is marginal: its thermal power is zero, and the running quartic interaction produces logarithmic corrections. The marginal Ginzburg criterion alone cannot decide those logarithms. Short-distance contributions to an unaveraged variance renormalize the coefficients; they should not be mistaken for the long-wavelength fluctuations used in this criterion. Nor does the criterion by itself prove that a proposed ordered phase exists below its lower critical dimension.
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 scaling hypothesis for critical phenomena describes the singular part of the equilibrium free-energy density, rather than its analytic background. For an isotropic system in spatial dimension , with thermal scaling field and conjugate field , write
This follows from coarse graining near a renormalization-group fixed point: a correlation volume is enlarged by , while the relevant thermal and field perturbations grow with their eigenvalues. Choosing gives
The two functions describe the two sides of the transition. Nonuniversal metric factors multiplying must be allowed when comparing microscopic models. Exponents and suitably normalized scaling functions or amplitude ratios characterize a universality class.
Differentiating the free-energy density gives the order parameter , magnetic susceptibility and singular heat capacity proportional to . Thus
The subscript distinguishes the order-parameter exponent from inverse temperature. At , choose to obtain , with . These derivatives imply the Rushbrooke scaling relation and the Widom scaling relation . Equivalently, the equation of state has , with .
The correlation length scales as , . At criticality the connected correlation function behaves as , giving . Integrating over a correlation volume gives and hence the Fisher scaling relation . The hyperscaling relation expresses one singular free-energy contribution per correlation volume.
These laws organize measurements: plotting against collapses near-critical curves onto the appropriate scaling function. A finite system replaces the divergent length by its size ; the corresponding prediction is under the same scaling assumptions. Finite size rounds a sharp thermodynamic singularity.
The hypothesis has a domain of validity. At a renormalization-group fixed point one generally needs , including other scaling fields. Ordinary irrelevant couplings can be set to zero in a nonsingular limiting scaling function. A dangerously irrelevant coupling cannot: above the upper critical dimension of scalar quartic theory, the quartic term is irrelevant at the Gaussian point but still stabilizes the ordered phase. Consequently naive hyperscaling fails there even though other exponent relations can remain valid. Marginal variables can produce logarithms, anisotropic systems require the appropriate volume exponent, and the Berezinskii–Kosterlitz–Thouless transition has an essential correlation-length singularity instead of a finite power-law . Scaling theory relates observables through a small number of fixed-point dimensions; it does not make analytic backgrounds, marginal logarithms or dangerously irrelevant variables disappear.
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.
Changing the ultraviolet cutoff changes which fluctuations remain explicit. Integrating out a shell of Fourier modes shifts the coefficients of all symmetry-allowed operators and a field-independent constant. Hence the cutoff-dependent coefficients are chosen so that the remaining partition function and long-distance observables reproduce the same microscopic system. This is the Wilsonian coarse-grained statistical Hamiltonian; retaining only the printed operators is a local derivative expansion, not an exact closure.
In a massive symmetric phase, the quadratic long-wavelength inverse two-point function has the form . Its Landau scalar correlation length satisfies in this approximation. For canonical normalization of a scalar gradient term, set ; then the mass and quartic coefficients become and . With this normalization the infrared mass is the inverse correlation length, , within the massive quadratic or one-loop approximation. More generally the decay rate is a pole mass, whereas the zero-momentum inverse magnetic susceptibility is a curvature mass; an anomalous dimension or nontrivial momentum dependence can distinguish them. In the ordered phase one must first expand about a selected stable equilibrium magnetization, rather than identify a negative quadratic coefficient at the unstable origin with a squared inverse correlation length. Thus the intended mass identification includes a field normalization and a stable-phase qualification.
For momentum-shell renormalization group, split , retaining and eliminating . Define
Taking a logarithm gives the cumulant expansion of a coarse-grained free energy. For a centered fast Gaussian measure with , the first quartic cumulant is
The Wick contractions give a mass shift and an identity-operator contribution, while leaving the quartic term at this order. The second cumulant produces higher interactions and a quartic correction. After the length and field rescalings and , the gradient coefficient remains one, and
The one-loop shell mass renormalization in scalar quartic theory explicitly shows why the critical bare mass is shifted by fluctuations.
Assume short-range interactions, an analytic even local potential, a positive gradient coefficient, and a weak-coupling trajectory in the basin of the Gaussian fixed point. Above four dimensions the quartic interaction has negative engineering dimension and its dimensionless strength decreases under coarse graining; higher local powers and higher derivative terms also decrease. After absorbing analytic short-distance shifts into the coefficients, long-wavelength fluctuations are small compared with the ordered order parameter. The remaining coarse Landau free energy can therefore be evaluated at its stable saddle:
The quartic stabilizer must still be retained for the ordered minimum even though it is dangerously irrelevant. Stationarity, , gives the ordinary Landau-Ginzburg theory and its mean-field critical exponents. This derives the saddle approximation from decreasing fluctuation strength under the stated RG assumptions; it does not assume that every exact coarse-grained functional becomes a quartic polynomial. Below four dimensions the quartic coupling grows, long-wavelength loop corrections cease to be small, and the argument fails. At four dimensions the interaction is marginal and generates logarithmic corrections. The tuned sextic theory has the analogous boundary at three dimensions.
Use a consistent Fourier transform pair for the connected correlation function:
The printed forward-transform expression integrates over while leaving free; that integration variable is an error. The above convention resolves it and produces the loop measure used below. At zero magnetization, ; otherwise the disconnected product of expectations must be subtracted.
In the inverse-propagator identity used here, the truncated two-point function means the full one-particle-irreducible two-point vertex, including its free quadratic part. This convention differs from using “truncated” for a connected cumulant. To derive the inverse relation, introduce , and the effective action . Then and the chain rule gives . Since is the connected correlation function, translation invariance gives .
Now use canonically normalized coefficients, denoting the cutoff mass by and the renormalized infrared mass by . Choose the free propagator and put in the interaction as a quadratic counterterm. With the Euclidean self-energy convention in which an insertion changes the connected propagator by , the perturbative series begins
The self-energy sums one-particle-irreducible loop insertions; the explicit mass counterterm is kept separate. Repeated insertions generate the geometric Dyson resummation, which explains why reducible chains occur in but not as independent terms in its inverse. Beyond one loop a momentum-dependent self-energy and wave-function renormalization must also be included.
At one loop the only quartic two-point graph is the tadpole diagram. At a vertex, attaching the two labeled external fields uses choices and contracts the remaining two fields together. The factor is . Equivalently this is the same quadratic term in the shell cumulant expansion above. Thus
It is positive for and independent of external momentum, so there is no one-loop gradient renormalization. The condition implies , hence
The cutoff is necessary: the unregulated integral is ultraviolet divergent for . Using the renormalized mass internally is a self-consistent one-loop organization, not an exact resummation of all critical fluctuations. With nonunit , this formula instead applies to , after canonical normalization of a scalar gradient term.
To test a linear thermal mass, approach the ordinary transition from the symmetric side and set . For the massless tadpole is infrared finite. Subtract its critical value, absorb regular temperature dependence of the coupling into a nonzero thermal coefficient , and write . The one-loop critical-mass subtraction gives
where
For , is finite, so the bracket tends to a finite constant and is self-consistent. At ,
and the growing logarithm obstructs an asymptotically constant linear coefficient at nonzero coupling. For , put to obtain
The divergent bracket then invalidates the assumed linear thermal mass. The radial critical-mass subtraction in dimensions three to five gives explicit checks of all three behaviors. For , the massless tadpole subtraction itself is infrared divergent; that failure of the Gaussian expansion does not prove absence of an interacting transition. Therefore the ordinary upper critical dimension is , with the unmodified Landau-Ginzburg theory asymptotically justified by this test only for . Exponents inferred by solving the self-consistent one-loop equation below four dimensions would not be exact interacting exponents.
For a tricritical point the renormalized quartic coefficient must be tuned to zero, and a positive sextic interaction stabilizes the order parameter. The gradient term gives the scalar field engineering dimension . A coefficient of therefore has dimension , which becomes marginal at . This gives . A direct Ginzburg criterion reaches the same result: long-wavelength variance in a correlation volume is
while the tricritical saddle has . Their ratio scales as , vanishing only above three dimensions. At three dimensions it is marginal; below three it grows. In contrast the ordinary saddle gives a ratio . Both calculations assume the thermal mass is measured relative to its shifted critical value. A sextic interaction generates quartic terms under coarse graining, so tricriticality requires tuning the renormalized quartic scaling field as well as the mass.
Use for inverse temperature to distinguish it from the order-parameter exponent. The decaying two-point correlation function needed for the response identity is connected:
Away from the critical point in a short-range Ising model pure phase, the correlation length controls the exponential long-distance falloff, with a possible algebraic prefactor. The full two-spin expectation below the transition instead tends to . The spin-mixture contribution to zero-field susceptibility explains why a symmetric mixture is unsuitable for defining a finite connected correlation length in the ordered phase.
Let be the total Helmholtz free energy. Take magnetization and susceptibility per site, so
Differentiating the Boltzmann weights at fixed temperature gives
Translation invariance then yields the correlation-function susceptibility sum rule
Total magnetization and total susceptibility multiply these expressions by ; per physical volume they have an additional factor relative to the per-site convention. These normalizations do not change the critical powers.
For the subsequent scaling requests, let denote singular free energy per site; the fixed extensive normalization is suppressed. The labels and denote and , with distinct scaling functions and amplitudes on the two sides. Below the transition a one-sided derivative at selects a spontaneous-magnetization branch. Writing , differentiation of the scaling hypothesis for critical phenomena gives
The field-independent makes no contribution to these field derivatives, although it can change heat-capacity amplitudes. Assuming nonzero leading amplitudes and the indicated pure-phase limits, comparison with the exponent definitions gives
This is the Rushbrooke scaling relation. A temperature-independent critical isotherm requires the large- magnetization scaling function to grow as : otherwise would retain a temperature power as at fixed small . Therefore . Since the preceding two equalities also give , the Widom scaling relation follows:
For the hyperscaling relation, additionally assume that one correlation volume supplies an order-one singular free-energy contribution and that there is a single isotropic correlation length, with no dangerously irrelevant coupling spoiling this argument. Then . Two temperature derivatives give the singular heat capacity, so
Hyperscaling is an additional physical assumption, not a consequence of the two-variable equation alone, and generally fails above the upper critical dimension.
Finally the correlation scaling function falls exponentially, up to algebraic factors, for in a massive short-range pure phase. At it approaches a finite nonzero value in the scaling regime. Approximating the lattice sum at distances much larger than , and denoting the area of the unit sphere by , gives
If and the integral has a finite nonzero limiting value, microscopic distances contribute only a regular background and the leading divergence is . Thus the Fisher scaling relation is
These statements concern leading singular powers; logarithmic corrections and cancellations of amplitudes require separate treatment.
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.
The mean-field approximation replaces each site's fluctuating surroundings by a self-consistent average. On a cubic lattice each spin has coordination number of a lattice , even though summing only over positive basis directions counts each bond once. Write and drop products of deviations. Each Ising bond becomes , so the approximate statistical Hamiltonian is
The constant corrects counting each bond twice. The resulting independent-spin partition function is , where . The one-spin probabilities give
Equating this average with the assumed gives
Here is assumed; a ferromagnetic order parameter is not the appropriate choice for an antiferromagnetic coupling. Put . For , at any , so only is possible. For , the function has positive slope at zero, is strictly concave on and is negative at . It therefore has exactly one positive zero and a spin-reversed negative zero. Expanding at the bifurcation gives
The transition is continuous, with order-parameter critical exponent . Stability can also be checked from the Bragg-Williams free energy of the Ising model per Ising spin:
Its derivative is , giving the same self-consistency equation. Near zero,
The quartic coefficient is positive at , the stable minima approach zero continuously, and the minimized free energy has no first-derivative jump. Thus mean-field approximation predicts a second-order transition at . This is the mean-field Ising critical bifurcation.
For short-range interactions, large dimension gives many neighbours and suppresses the relative fluctuations of their average. More quantitatively, Gaussian field theory fluctuations averaged over a correlation volume have variance of order , while the squared ordinary mean-field order parameter is of order . Their ratio is proportional to . The Ginzburg criterion therefore makes neglect of critical fluctuations asymptotically consistent above four dimensions, inconsistent below four, and marginal at four, where logarithms occur. Large dimension is a route to validity; sufficiently long-range or infinite-range interactions can also produce mean-field behaviour. In low-dimensional short-range systems even the existence and location of a transition can differ from this approximation.
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.
Use for inverse temperature, to distinguish it from the order-parameter exponent. In a translation-invariant pure thermodynamic phase, the connected correlation function is
The subtraction is essential below the transition. Its exponential correlation length is defined by , with direction specified if the lattice is anisotropic. Away from criticality, has a tail proportional to times an algebraic prefactor. In the massive continuum scalar approximation that prefactor is ; at criticality the exponential cutoff disappears and instead. The large-distance limit here is , as the PDF shows.
Let . With the energy convention , the magnetization per site and magnetic susceptibility are
Writing , direct differentiation of the partition function gives . Thus the correlation-function susceptibility sum rule is
In physical continuum coordinates the lattice sum becomes , so omitting the site-density factor would change the normalization. A derivative with respect to the dimensionless source instead absorbs the explicit inverse-temperature factor.
An exact renormalization-group transformation with length factor can be defined by a nonnegative normalized blocking kernel satisfying . A deterministic majority rule is one example; randomized tie-breaking preserves its normalization. Define the blocked energy, including its constant, by
Summing over proves . All generated operators must be retained for this identity to remain exact; a finite-coupling truncation is an approximation. After iterations, and the spacing is . Long-distance physics is preserved because this is a marginalization of microscopic probabilities, with observables and sources transformed along with the energy. It integrates short-distance variables rather than changing their effects on retained observables. Physical lengths remain fixed even though the correlation length in units of the new spacing is reduced by .
For clarity, now use dimensionless free energy per site . Exact equality of the partition functions gives
A constant microscopic energy shifts every blocked weight by the same factor, so . Substitution at one step yields the additive free-energy recursion under blocking
Induction now gives the requested relation
The function is the identity-operator contribution to renormalization-group free energy: it records eliminated-mode entropy, integration constants and normalization factors. A free-energy function satisfying this inhomogeneous equation need not be purely singular until its analytic background has been subtracted.
At a renormalization-group fixed point, . Linearize in scaling coordinates so . Here is a scaling exponent, not the discrete multiplier itself. A positive gives a relevant operator, a negative one an irrelevant operator, and zero a marginal operator. The critical surface is the stable manifold: tune every relevant scaling field to zero and the irrelevant coordinates flow toward . A repulsive renormalization-group trajectory leaves along a relevant direction; it can still have irrelevant coordinates contracting toward that manifold. The plot shows the section when temperature and field are relevant: is the critical line in this section, while an independent nonzero field is another direction away from criticality.
Figure 1.
Renormalization-group trajectories near a critical fixed point, showing thermal repulsion and irrelevant contraction in the zero-field section
. Details.
The inhomogeneous term cannot simply be discarded from the full free energy. If an analytic background solves , its subtraction leaves obeying homogeneous scaling. For example, in linear thermal and field coordinates, a source monomial is removed by
When the denominator vanishes, the source is resonant and can instead produce a logarithm. Thus the homogeneous singular equation is justified after analytic subtraction when there is no relevant resonance affecting the leading singularity, no marginal logarithm that has been omitted, and no singular dependence on a dangerously irrelevant coupling. Merely saying that is regular is insufficient to discard the whole weighted sum without this analysis.
Under these assumptions, with two relevant scaling fields , choose so that is of order one. The scaling hypothesis for critical phenomena then gives
Writing recovers the PDF's notation:
The sign labels the two matching branches and , which enter different phases when the flow leaves the critical neighborhood. The constants retain a branch-dependent identity contribution or a chosen split of the scaling function. They are determined by the same matching problem, not independently adjustable nonuniversal free-energy offsets. An arbitrary analytic offset from belongs to the subtracted background. The formula describes the singular part; adding that background recovers the full physical free energy.
At , restore the common metric factors as . Their ratio at equal is , proving the expected universal singular free-energy amplitude ratio because and cancel. The ratio of full free energies including an arbitrary regular is not universal; zero amplitudes and logarithmic resonances also require separate treatment.
The critical exponents are obtained by rescaling and differentiating, not by identifying them with the discrete multipliers. The correlation length obeys , hence . Two temperature derivatives of give , while one and two field derivatives give the ordered magnetization and susceptibility powers. Thus
For , instead set and choose the blocking scale by , obtaining and then differentiate. A nonzero spontaneous ordered-branch derivative is assumed in the formula for . In particular the hyperscaling relation is . Its physical assumption is an order-one singular free energy per correlation volume, with a single diverging length and no dangerous variable changing its volume scaling. Above the upper critical dimension, a stabilizing quartic coupling can invalidate that assumption even though the correlation length still scales.
For the last model, take the quadratic Hamiltonian exactly as visually printed: its source term is , outside the half multiplying the gradient and mass terms. With and , its connected quadratic covariance is proportional to
The pole scale, or the massive Gaussian field correlation tail obtained by its Fourier transform, gives
The uniform source shifts the mean to and does not change the connected covariance. Replacing by matches the earlier magnetic source convention without changing any scaling index.
Define a Gaussian thinning transformation by retaining momenta , integrating the Gaussian shell, and rescaling
The gradient coefficient is unchanged. Counting volume and field powers in the remaining action gives
Shell integration contributes only the additive determinant term. Thus when the thermal variable is proportional to , and . Inserting these into the homogeneous index formulas gives the requested Gaussian critical exponents
The specific-heat power can also be verified without hyperscaling: two mass-squared derivatives of produce an integral proportional to . For , rescaling gives ; at the divergence is logarithmic, with power index zero. At the determinant itself has an additive resonance, although its heat-capacity power remains one.
There is a genuine limitation to the last printed request. The Gaussian order-parameter scaling index is formal: a pure quadratic theory has at , and at the uniform energy is unbounded below, so its partition function diverges. It therefore has no stable ordered branch from which a spontaneous-magnetization exponent can be measured. The thinning derivation establishes the index requested by the PDF, but not a nonexistent ordered phase. A stabilizing quartic interaction is relevant for and generally changes these Gaussian indices to the interacting critical ones.
In the convention implied by the printed expansion, the truncated two-point quantity is the inverse connected propagator, or one-particle-irreducible two-point vertex:
It is the second functional derivative of the quantum effective action (or statistical Legendre effective action) about a translationally invariant zero-field equilibrium. The relation follows from the inverse Hessian relation for a connected two-point function. The subscript in already removes disconnected one-point products; the word “truncated” here is not a request to subtract that product a second time. Nor is a general amputated connected correlation function interchangeable with a one-particle-irreducible correlation function.
Use the zero-momentum renormalized mass in the free propagator , and split the quadratic coupling into plus a mass counterterm . The self-energy is the sum of loop 1PI insertions, excluding the separately displayed counterterm. Summing repeated insertions by Dyson resummation gives
The sign convention is that a positive tadpole shifts the inverse propagator upwards. At first order, the connected correlation function correction is , consistent with this inverse-propagator convention. A different split between the reference mass and counterterm produces the same renormalized result.
For the positive quartic interaction , the one-loop tadpole diagram has no external-momentum dependence. Its symmetry factor is : assigning the two external legs to four vertex fields gives contractions, and division by gives . With the dimensionless statistical-action convention,
The physical zero-momentum condition sets , hence the one-loop mass relation is
Writing the internal line with is a renormalized or self-consistent one-loop convention. Away from critical infrared singularities it differs from a bare-mass insertion only at higher perturbative order. This equation does not by itself provide exact critical exponents once loop corrections become large.
For , subtract the critical-temperature condition . Take and the regular coefficients at their critical values, absorbing smooth changes into a coefficient . Since
the one-loop critical-mass subtraction becomes
Let be the area of the unit -sphere divided by . Radial integration gives .
For , is infrared finite, so it merely renormalises the coefficient and is consistent. For , setting yields
with a finite positive dimensionless integral. The correction is singular relative to the term , invalidating the finite-coefficient linear-mass assumption. At ,
so the boundary is logarithmically marginal. For , even the subtraction using needs an infrared regulator; it cannot be used to restore a finite linear critical expansion. Thus the ordinary upper critical dimension is
A fixed-coupling self-consistent one-loop formula is not the full marginal renormalization group analysis, but its logarithm already shows why an uncorrected linear power law is not generic at .
At a tricritical point, both the quadratic and quartic scaling directions must be tuned; the leading stabilising interaction is sextic. With canonical scalar-field engineering dimension , the sextic coupling has eigenvalue . It becomes marginal at , giving
Lower even couplings generated by coarse-graining must remain tuned. This is why using an untuned quartic tadpole to diagnose a tricritical point would give the wrong boundary. The tricritical sextic beta function supplies marginal logarithmic corrections at three dimensions.
For a general multicritical even Landau potential, assume the lower stabilising even terms have been tuned away and the first remaining one is , with and . Minimising the potential on its ordered branch gives
Its curvature at the minimum is . For a finite positive gradient stiffness , the longitudinal correlation length therefore scales as . The Ginzburg criterion compares the order-parameter fluctuation averaged over a correlation volume with this squared mean-field value. Keeping momenta of order or less,
Consequently the multicritical Ginzburg ratio behaves as
Only for a positive exponent do these relative fluctuations vanish on approaching the critical point. Thus the general upper critical dimension is
Equivalently the interaction eigenvalue vanishes there. The cases and reproduce 4 and 3 respectively.
For , the ratio diverges and the mean-field assumptions lose self-consistency arbitrarily close to the transition. At the marginal Ginzburg criterion is scale-independent at this leading estimate, rather than tending to zero; the criterion alone does not prove a divergence or force new power indices. Marginal interactions require a renormalization group calculation and generally give logarithmic corrections, as for the quartic and sextic cases above. The boundary case is marginal, not a strict power-law divergence. This qualifies the printed wording at equality while recovering the requested upper critical dimensions.
Hyperscaling adds the physical assumption that the singular free energy associated with one correlation volume is of order :
At fixed scaled field , this predicts , whereas the given thermodynamic form has power . Hence
The product can be a finite dimensionless function of fixed ; it need not be constant. The homogeneity of alone is insufficient: the correlation-volume free-energy assumption supplies the connection. Above an upper critical dimension, a dangerously irrelevant coupling can invalidate this argument; at a marginal dimension logarithms may qualify pure powers.