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 a real scalar field and Minkowski action , with the vacuum selected by a Feynman propagator pole prescription or adiabatic vacuum boundary conditions. The normalized correlation functions are
Here is the interacting vacuum and denotes time ordering. These are the canonical vacuum expectation values, rather than unordered products of noncommuting fields. The functional integral formula assumes a regulated measure and the same vacuum prescription on both sides.
Couple an external source linearly to the scalar field and choose the normalized vacuum generating functional
Then functional derivatives insert the fields:
In the convention used below, the connected generating functional is
The logarithm removes products of disconnected components. For example the connected correlation function ; at three points one subtracts all three products and adds . Normalization has already removed vacuum bubbles.
Critical exponents describe leading singular powers near a continuous phase transition. For reduced temperature , common definitions are the spontaneous order parameter , magnetic susceptibility , singular heat capacity , correlation length , and the critical equation of state . At criticality the connected correlation function has decay power .
In Landau theory, solve the stationary equation, evaluate its stable minimum, and differentiate with respect to the conjugate variables. For a scalar quartic theory with , , the equation of state is . Its ordered solution and differentiated response give and , calculated explicitly in the unheaded solution below. At the same equation gives . The minimized zero-field singular potential is zero above the transition and below, giving a heat-capacity jump and . Expanding the gradient functional about a stable minimum gives inverse quadratic response , so and the Gaussian critical decay has .
These are mean-field critical exponents. Renormalization group methods obtain fluctuation-corrected powers from fixed-point scaling dimensions; they need not equal the Landau values below the upper critical dimension. At a marginal dimension logarithms can supplement the leading powers.
Critical exponents describe leading singular powers as the reduced temperature or conjugate field approaches zero. With used for the order-parameter critical exponent to avoid confusion with inverse temperature, the definitions include
At criticality the connected correlation function behaves as . These definitions refer to the singular part and allow additional logarithms at marginal dimensions.
For an ordinary scalar Landau free energy, the equation of state is . Below the transition , giving . Differentiating the equation of state gives : it equals above and below the transition, so . The quadratic fluctuation kernel is in the symmetric phase, giving correlation length and . At zero mass the momentum-space correlation function is proportional to , so . The minimized free energy and critical equation of state give and , as calculated in the root solution.
At the tricritical point, and . Then , and is above and below the transition. The gradient kernel still gives and . Therefore
These are mean-field critical exponents. A systematic derivation incorporating fluctuations uses the renormalization group, extracts the relevant scaling eigenvalues, and differentiates the singular free-energy density, as in Question 3.
Let be the thermal and magnetic scaling fields, with eigenvalues and . After discarding irrelevant variables whose vanishing is nonsingular, the homogeneous singular free-energy density satisfies
Choose . Then
Two thermal derivatives give the heat-capacity critical exponent; one and two field derivatives give the order-parameter critical exponent and magnetic-susceptibility critical exponent. The correlation-length critical exponent follows directly from the length rescaling. Thus
At , choose . Differentiating gives , so . The order parameter has scaling dimension ; therefore its critical connected correlation function has power . Comparing with yields
These formulas express the requested critical exponents in terms of the relevant scaling exponents. Their hyperscaling assumptions must be respected: above an upper critical dimension, a dangerously irrelevant coupling can invalidate the free-energy homogeneity used here. Applying the formulas to the Gaussian thinning transformation in the root solution gives the requested Gaussian indices and their physical qualifications.
Use the connected correlation function
Away from criticality its large-distance decay is exponential, with a model-dependent algebraic prefactor; the exponential rate defines the correlation length . At criticality diverges and the decay becomes a power law. Subtracting the disconnected product is essential in the ordered phase: the unconnected correlation function tends to the square of the spontaneous magnetization rather than to zero.
For total free energy , at fixed temperature and a field-independent additive constant,
Writing , differentiation of the Boltzmann weight gives . Consequently
For a translation-invariant state, each separation occurs times, so . Without translation invariance, the double-sum formula remains the correct relation.
Gaussian calculation and thinning. Interpret the displayed local expression as a Hamiltonian density, to be integrated over space. For and , completing the square in Fourier modes gives the connected correlation function
The uniform field changes the mean to because of the source's convention, but does not change this covariance. The nearest pole has inverse length , equivalently the Green function solves . Thus
Here is the positive mass coefficient; if denotes its positive square root, .
For a Gaussian thinning transformation, split modes into and . The modes are independent, so integrating out the shell produces only an additive free-energy density and leaves the low-mode quadratic action unchanged. Restore the cutoff by and . Substituting into the kinetic, mass and source terms gives
Hence the thermal and field scaling eigenvalues are and . Applying the exponent relations derived in part (f) gives the requested formal Gaussian critical exponents
The heat-capacity result can also be checked directly: the quadratic determinant contributes , after removing analytic ultraviolet terms, and two derivatives with respect to give . At , the free-energy power is accompanied by a logarithm, , whose second derivative still has index . At this becomes a logarithmic heat capacity singularity, with index , rather than a strictly constant singular term.
There is an important ordered-phase obstruction in a Gaussian scalar model. A purely quadratic potential is unbounded below for , so the Hamiltonian as printed has no stable ordered phase and no literal spontaneous-magnetization exponent. The displayed is its Gaussian scaling index, obtained by assigning the field its Gaussian scaling dimension; it is not a construction of a stable ordered equilibrium. For , a stabilizing quartic interaction is relevant and generally changes the actual critical fixed point. For , massless Gaussian infrared fluctuations also obstruct interpreting the formal zero or negative index as an ordinary bounded-spin ordering law. These qualifications do not alter the requested thinning calculation, but are necessary for its physical interpretation.
Use signature and covariant one-particle state normalization . The future scattering condition uses the outgoing asymptotic scalar field:
As with the incoming condition, this is understood in suitably smeared scattering matrix elements, not as unrestricted pointwise strong convergence of interacting and free local operators.
The free incoming field has expansion
The creation operator defines , with , so . On the other hand, translation invariance gives
Matching the stable one-particle state component in the asymptotic condition fixes the constant overlap. Choose its state phase so that it is real and nonnegative. Then
The same stable particle appears in the outgoing description, with compatible one-particle phases. Thus is the squared overlap measured by wave-function renormalization.
Insert a complete set of four-momentum eigenstates between the fields. For , translation invariance and Hermiticity give
For , reversing the time-ordered product gives the same sum with . Therefore, with continuous-state integrals implicit in the completeness sum,
Here is the Heaviside step function.
For the usual spectral representation, take a Lorentz-invariant vacuum, a positive-norm Hilbert space and the future-cone spectrum condition. Also take , as for the unbroken real scalar field, or subtract this constant and use the connected correlation function. Otherwise the vacuum intermediate state adds a disconnected constant not represented by the ordinary mass-shell measure below.
Let for that centered field, and use the Fourier transform convention . Define the Källén–Lehmann spectral density by the distributional equality
Lorentz invariance makes the weight on each future mass shell a function or measure of ; the spectrum condition gives . Its nonnegativity follows from the displayed squared matrix elements. Thus
Applying time ordering to this expression mass shell by mass shell proves the Källén–Lehmann spectral representation:
The factor is outside under the convention in the question.
The stable one-particle state part of completeness is . Its overlap is , so its contribution to is times the free mass- two-point function. Hence
Other isolated particles as well as multiparticle states can belong to . The full scalar propagator accordingly has isolated pole , making its pole residue.
Finally use canonical field normalization: the canonical momentum is and the equal-time canonical commutation relation is . The vacuum commutator has the same spectral decomposition. For each free mass shell,
independently of . Comparing with the interacting equal-time commutator gives the canonical scalar spectral sum rule:
For the particle genuinely interpolated by the stated asymptotic field, ; the general nonnegative bound allows a field with zero overlap. The total weight and the upper bound require this canonical normalization and a well-defined distributional equal-time limit. They do not follow from the asymptotic condition alone: rescaling rescales both and the entire spectral measure.
Use the connected correlation function , so that the constant ordered contribution is removed. Away from a thermodynamic critical point its long-distance decay defines the correlation length: when this limit exists. In a massive rotation-invariant phase the exponential decay is typically multiplied by an algebraic factor.
Expand the Landau-Ginzburg theory free energy about a stable uniform minimum , writing . To quadratic order,
integration of the Gaussian field theory gives the Fourier-space connected correlation function . Thus the Ornstein--Zernike correlation function has
For an ordinary quartic transition, above the transition and below, so and , respectively. The correlation length diverges as on both sides, with different amplitudes. At criticality the mass vanishes and the Gaussian correlation function is proportional to for . Interactions can change this power to .
A partition function sums the Boltzmann weights of all states: for discrete states, or the corresponding integral for continuous fields. It normalizes equilibrium probabilities. Its physical Helmholtz free energy is , and its free-energy density is . With a momentum ultraviolet cutoff , a scalar-field example is
The normalization of the functional measure and field-independent energy terms must be tracked when discussing absolute free energy.
Choose a smaller cutoff and split the field into retained modes with and eliminated modes with . Define the Wilsonian coarse-grained statistical Hamiltonian by
Substitution into the partition function proves for every intermediate cutoff. A source retained in this definition similarly preserves long-wavelength connected correlation functions and response. Thus the coefficients in a Hamiltonian density must run with : the dependence induced by eliminated modes compensates the dependence of the remaining field integral. Holding the original bare coefficients fixed while changing the cutoff would generally change the system. Exact integration generates all interactions allowed by symmetry, including higher powers, derivative terms and an additive constant; a local derivative expansion or a truncation to a few couplings is an extra approximation.
Cutoff independence makes arbitrary intermediate coarse-graining scales unphysical. It allows calculations at the scale of the observable, avoids repeatedly resolving irrelevant short-distance details and exposes the renormalization-group fixed points responsible for universality. A microscopic cutoff, such as a Bravais lattice spacing, can still label a physical microscopic model; taking it to infinity as a continuum limit requires tuning appropriate bare couplings. This is distinct from lowering an intermediate Wilsonian cutoff in a fixed model.
To interpret the zero-cutoff limit, define , the spatially uniform mode of the order parameter. Keep this mode fixed and integrate the others, rather than integrating over too. Write , with , and define the constrained order-parameter free energy by
In a finite periodic box, once is below the smallest nonzero momentum, all nonconstant modes have been eliminated. The remaining effective energy is , so its defining integral is exactly . Therefore, with consistent normalization,
When denotes this uniform effective Hamiltonian density, this is the stated identification of with its zero-cutoff limit. It requires a free-energy density constrained at fixed , not the unconstrained extensive free energy; all integrated fluctuations and additive constants are included, the zero mode in field theory is retained, and a density for the uniform configuration is well defined. The finite-volume argument avoids an interchange of the thermodynamic and cutoff limits without justification. On a homogeneous pure-phase branch one may use a local potential description, while a thermodynamic limit allowing phase separation can convexify the constrained potential. A bare nonconvex Landau polynomial is accordingly a homogeneous-branch approximation, not a claim that the exact equilibrium Legendre potential stays nonconvex.
In a field , the remaining integral is , up to the consistently chosen zero-mode measure. The thermodynamic saddle then gives and selects the equilibrium magnetization. Landau theory assumes that the relevant uniform potential can be approximated by a regular analytic expansion in , with symmetry-constrained coefficients, and minimizes it. At tree level the integrated fluctuations are neglected, recovering the familiar bare polynomial. With fluctuations retained, the coefficients run and can become singular near criticality; the zero-cutoff identification of constrained free energy alone does not justify mean-field critical exponents.
For an ordinary short-range scalar thermodynamic critical point, the leading interaction is quartic. Absorb inverse temperature and the gradient coefficient into field normalization and write
Scale and to leave the gradient term invariant. The quartic term changes to , so its engineering scaling exponent is . It is irrelevant at the Gaussian fixed point for , relevant for , and marginal for . Hence
The loop expansion makes the breakdown concrete. A quartic-vertex correction is proportional to , where
For , rescaling gives , diverging as . At , radial integration gives
which is logarithmically divergent. Above four dimensions its infrared limit is finite; the leading cutoff-dependent constant can be absorbed into a coupling renormalization. The effective expansion parameter is thus of order below four, or at four, since . It eventually becomes large for any fixed bare interaction in the lower-dimensional critical limit, defeating the uncorrected mean-field expansion. The Ginzburg criterion gives the same threshold by comparing correlation-volume fluctuations with the squared mean order parameter.
Below four dimensions an interacting renormalization-group fixed point can replace the Gaussian fixed point and change critical exponents, provided a continuous transition exists. At four dimensions the interaction is marginal and produces logarithmic corrections: the leading power exponents can remain their mean-field values, so “breakdown” there means that pure mean-field power laws omit those corrections, rather than necessarily that every power exponent changes. Above four the stabilizing quartic interaction is dangerously irrelevant for the ordered phase, explaining why mean-field thermodynamic exponents need not obey naive hyperscaling with the spatial dimension.
Use the connected correlation function in a selected pure thermodynamic phase. The exponential correlation length is defined by , when this limit exists in the chosen direction. Linearizing the Landau-Ginzburg theory around a stable uniform minimum gives
Hence the Landau scalar correlation length is . Away from criticality the massive Gaussian field correlation tail behaves as , up to its amplitude. At a continuous transition tends to zero, so diverges and fields vary on scales much longer than the lattice spacing. This motivates a gradient expansion, but the simultaneous growth of correlated fluctuations is precisely why the Ginzburg criterion must be checked.
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.
Use the connected correlation function , since the disconnected constant in an ordered phase does not measure fluctuation decay. Away from criticality its large-distance exponential defines the correlation length:
when that limit exists. Algebraic prefactors do not affect this definition.
Expand the Landau-Ginzburg theory about a stable homogeneous minimum . With , the quadratic fluctuation energy is . The Gaussian functional integral gives
This Ornstein--Zernike correlation function shows why the curvature of the free-energy minimum controls correlations. At a continuous phase transition that curvature vanishes, allowing long-range fluctuations. In the ordinary quartic theory with , above the transition and on either ordered branch below, so on both sides. At an equilibrium first-order transition the competing minima generally retain nonzero curvature, and the correlation length remains finite. The limit of local stability at a spinodal point is a distinct mean-field phenomenon.
Take the connected correlation function
For a massive phase its large-distance form is an algebraic prefactor times , defining the exponential correlation length . To specify the normalization of magnetic susceptibility, add to the energy and differentiate the mean spin. Translation invariance gives the correlation-function susceptibility sum rule
Using the dimensionless source removes the prefactor . Below the transition, use a selected pure phase rather than a mixture of the two magnetizations, which would have a macroscopic disconnected fluctuation.
Choose a nonnegative blocking kernel normalized by . It may enforce a block average, a majority rule or a chosen rescaled coarse spin. Define the transformed weight by
Summing this identity over coarse spins shows exact preservation of the partition function. The geometrical changes are and . A coordinate rescaling subsequently restores the reference cutoff if desired. The transformation is exact only if all generated operators are retained; a finite-coupling truncation is an approximation.
Define the coupling-independent term generated when by
Restoring the original gives the identity-operator contribution to renormalization-group free energy:
The parameter is an accumulated additive energy per coarse site. It multiplies the identity operator and leaves normalized spin probabilities unchanged, but it must be kept when calculating the absolute free energy. It records the eliminated-mode entropy and the normalization of their statistical measure.
Use an energy-per-site convention: and , so . Partition-function invariance gives
Consequently, with ,
This is the additive free-energy recursion under blocking. In a dimensionless free-energy convention multiply by ; the same recursion holds. The inhomogeneous term comes from the generated identity operator, not from a change in the spin-dependent couplings alone.
The affine equation naturally applies to the unsubtracted free energy. To extract its singular part, write and choose a regular background satisfying . Subtraction then gives . This analytic subtraction of an inhomogeneous renormalization recursion is justified when the eliminated finite-shell contribution is analytic near the fixed point and admits a regular subtraction. It can fail in a resonant direction, producing additive logarithms. The simple homogeneous formulas also assume the remaining irrelevant operators are not dangerously irrelevant couplings, and that marginal operators do not produce unaccounted logarithmic corrections. Calling the quantity in the affine equation “singular” does not make vanish automatically.
Near a renormalization-group fixed point , linearize the coupling map. In scaling coordinates , write to leading order. Here is a discrete multiplier, whereas is its logarithmic scaling exponent. A relevant operator has and grows under coarse-graining; an irrelevant operator has and decays. A marginal operator needs nonlinear analysis. Tuning the relevant fields to zero places the system on the critical surface. At the fixed point the spin field is rescaled as with . Its conjugate source therefore has . This accounts for both coupling and spin rescaling; the field normalization is part of the transformation, not a change in the physical microscopic spin length.
Assume the thermal field and magnetic field are the only remaining relevant directions. The homogeneous scaling hypothesis for critical phenomena gives
Choose the stopping scale with . Then
where is the branch for and the branch for . Nonuniversal metric factors can be absorbed into the definitions of and these functions. Correlation lengths transform as , so . Differentiating the singular free energy twice with respect to temperature gives , and hence the hyperscaling relation
Two source derivatives similarly give . A single source derivative gives the ordered-branch exponent , and setting and scaling to one gives when the corresponding magnetization branch exists. These show explicitly how the critical exponents follow from the fixed-point scaling eigenvalues.
The independent correlation derivation uses with a single crossover scaling function. For lattice spacing , the singular continuum contribution to the magnetic susceptibility is
Here is the area of the unit -sphere. The final integral is finite and nonzero when , is finite and nonzero, and the tail decays exponentially. Microscopic distances contribute a regular background. With this proves the Fisher scaling relation
There is an amplitude qualification in the printed large-distance formula: its tail has the Gaussian shape and, taken literally with amplitude independent of , integrates to a term proportional to . For a nonzero anomalous exponent it must instead be matched to the critical short-distance normalization. The matching the amplitude of a massive critical correlation tail gives
At this has precisely the same overall scaling as the critical form. Thus the requested identity uses the full scaling hypothesis, or equivalently this implicit amplitude factor. The printed tail without it is consistent as written in the Gaussian case .
The connected generating functional is . Its second functional source derivative gives the connected correlation function; the source-independent determinant drops out. Translational invariance therefore gives
This covariance is independent of the source in a purely Gaussian theory; at zero source the mean field vanishes.
Fourier inversion can be evaluated with the Schwinger parameterization. Since , the elementary Fourier transform of a Gaussian gives
where is the Modified Bessel function of the second kind. This integral formula also gives both asymptotic regimes directly.
For , set . The integral tends to the Gamma function integral ; this is finite for . Hence, at distances larger than the microscopic cutoff,
For , the exponent has its minimum at , with value . Gaussian expansion about that saddle, or the large-argument asymptotic expansion of a modified Bessel function, gives . Therefore
This is the massive Gaussian field correlation tail with its normalization displayed. For example gives exactly , verifying both regimes and the exponential length scale.
At and the model is at a Gaussian fixed point. Its connected correlation function has the power-law critical form rather than a finite exponential decay length. Approaching from , the uniform susceptibility and the correlation length both diverge. If the thermal scaling field is linear in with finite and positive, then
The same result follows from the mass multiplier : its logarithmic thermal eigenvalue is two, so .
The determinant also shows a thermodynamic singularity. Two derivatives of the free-energy density with respect to give, up to sign and a nonzero normalization,
as . Rescaling establishes the power, and the dimensionless integral is ultraviolet-convergent for . Integrating back gives a nonanalytic free-energy term proportional to after regular backgrounds are removed. This is critical behavior of the quadratic model.
There is a stability qualification: a pure Gaussian potential with is unbounded below in the uniform mode, so it does not by itself provide a stable ordered phase on the other side. The ordered-phase obstruction in a Gaussian scalar model is removed by adding a positive quartic interaction. In that interaction is relevant, so the resulting generic scalar critical point need not retain the Gaussian exponents. Thus the calculation proves the Gaussian critical singularity and , without claiming that the unmodified quadratic integral defines both phases of a physical ordered transition.
Write and take . The unit-length constraint prevents an arbitrary multiplicative field rescaling, so the running coupling is found by renormalizing the coefficient of . We compute that coefficient in a slowly rotating planar background, which is enough because symmetry makes the two-derivative stiffness isotropic on the sphere.
Let , and for the remaining constant orthonormal tangent vectors. Parameterize the fast tangent fluctuations by
This satisfies exactly. Put , and choose it locally constant and small compared with the shell momenta. Since and , direct differentiation gives
At quadratic order in the fast fields, the cross term is , whose integral is zero for constant . The term is quartic in the fast fields. Remaining cross terms are cubic and have zero Gaussian expectation; their effects on the two-derivative stiffness start at higher loop order. Field-measure corrections independent of the background contribute normalization terms and do not alter the leading gradient coefficient in this calculation.
The quadratic fast action is . In the shell its connected correlation function is with the momentum delta function understood. Thus , where
with the limit . Here is the angular measure of the unit -sphere. Averaging the background-gradient coefficient gives the one-loop stiffness of a spherical nonlinear sigma model:
The coefficient is , not : the fluctuation tangent to the rotation plane does not reduce the gradient cost, because its contribution cancels between and . All other transverse components do reduce it.
After integrating out the shell, put to restore the cutoff. The constrained field keeps unit norm, so , or at this order
For , . Therefore the renormalization-group beta function is
The displayed terms are the requested one-loop flow. They are a weak-coupling expansion; the discrete target has no tangent modes and must instead be treated by domain walls, as in the first part.
Use the connected correlation function . Away from criticality its large-distance envelope decays exponentially on the correlation length , often with an algebraic prefactor. At criticality diverges and a short-range scalar model instead has the power law , with anomalous dimension .
A blocking kernel assigns coarse spins to each block of side lattice spacings, with . Define the coarse Hamiltonian by
The operator basis must be sufficiently complete to include interactions generated by blocking. Summing over coarse spins preserves the partition function, while the physical lattice spacing and site count change to , . After steps they are and . Exact blocking preserves the long-distance predictions; truncating the generated interaction space introduces an approximation.
Define the dimensionless free energy per site . Preservation of gives . For one step, removing the explicitly additive constant gives
The function records the additive free-energy density generated by eliminated degrees of freedom; it is usually regular near a finite blocking step's critical point. Iteration proves
This is the additive free-energy recursion under blocking. After removing regular backgrounds, its singular part obeys homogeneous scaling.
A renormalization-group fixed point satisfies . Linearizing the map gives scaling coordinates . A relevant operator has , an irrelevant operator has , and a marginal operator has and needs nonlinear analysis. The critical surface consists of points flowing into the critical fixed point after all relevant directions are tuned. An outgoing or repulsive trajectory lies in the unstable manifold and describes perturbations that grow under coarse-graining.
With relevant thermal and magnetic coordinates , the singular free-energy density obeys . Choose to obtain
Here are the positive scaling eigenvalues, and refer to the signs of . Since , the correlation-length exponent is . Two temperature derivatives of give , establishing the hyperscaling relation
The magnetization exponent similarly is . These expressions assume no additional dangerous scaling variables.
For the Gaussian field theory, decompose the field into low and high Fourier modes, integrate out , and restore the cutoff using and . The gradient coefficient remains fixed, the mass coefficient transforms as , and the uniform source as . Hence , , and the Gaussian momentum-shell scaling gives
The sign convention reverses the magnetization's sign but not these exponents. For , these are Gaussian scaling predictions, not the exponents of a generic interacting scalar critical point: the quartic interaction is relevant there. The free quadratic Hamiltonian also has no stable ordered phase at negative , so the quoted is its formal order-parameter scaling index, not a spontaneously magnetized state of the unstabilized Gaussian integral. The relevance distinction is also explained in Tong's renormalization-group lecture notes.
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.