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.
The hierarchy problem concerns the enormous separation between the electroweak scale and a possible fundamental ultraviolet scale such as the reduced Planck mass: whereas . For an elementary Higgs field, heavy states or a physical high-energy ultraviolet cutoff generically generate
Here represents the appropriate dimensionless couplings. Maintaining a small physical Higgs mass then requires a very accurate cancellation against its bare mass parameter. The problem is sensitivity to actual high-energy physics, rather than merely the presence of a quadratic divergence in one choice of regulator.
The cosmological constant problem concerns the much smaller gravitationally observable vacuum energy. In the Einstein equation, a constant term in the effective action contributes to the cosmological constant, with in the usual normalization. Generic zero-point contributions scale as , and vacuum transitions also change . The dark-energy density is only of order . The puzzle is why the total remains so small despite much larger individual contributions. A constant shift of the nongravitational Hamiltonian cannot remove its gravitational effect.
Supersymmetry relates bosonic and fermionic degrees of freedom, including their interactions. Their opposite loop signs cancel the quadratic contributions to a scalar field mass in the unbroken theory. With soft supersymmetry breaking, the surviving correction is controlled by the mass splitting, schematically
Thus a sufficiently low soft-breaking scale protects a small electroweak scale against a much higher ultraviolet scale. This is the useful supersymmetric response to the hierarchy problem.
Exact global supersymmetry also cancels vacuum energy: the supersymmetry algebra expresses the Hamiltonian as a positive sum of anticommutators, so a vacuum annihilated by every supercharge has zero energy. Equivalently, with canonical kinetic terms,
vanishes in a supersymmetric vacuum. However, ordinary particles and their superpartners cannot have the identical mass spectrum of unbroken supersymmetry, so a useful phenomenological theory needs supersymmetry breaking. Its vacuum energy is generically of order the fourth power of the breaking scale; even a scale of order gives about , enormously above the required value. In supergravity, a negative term can cancel positive breaking contributions:
but arranging a tiny residual is a new tuning. Consequently supersymmetry can protect the hierarchy after soft breaking, while its exact vacuum-energy cancellation does not by itself survive realistic breaking.
One higher-dimensional proposal uses large extra dimensions. Take flat compact dimensions of common radius , with gravity propagating in the bulk and Standard Model fields confined to a four-dimensional brane. Reducing the gravitational Einstein-Hilbert action gives
so
A fundamental gravitational scale near a TeV then produces apparently weak four-dimensional gravity through dilution into the large compact volume. For and , is about , using . At distances much smaller than , the gravitational potential scales as ; at distances much larger than it scales as . Confining charged Standard Model fields to the brane avoids a light tower of charged Kaluza-Klein modes associated with the large radius. The primary explanatory challenge is radius stabilization: one must generate and stabilize , rather than simply postulate a huge volume and transfer the original hierarchy into a modulus.
A second proposal is the Randall–Sundrum model. Compactify on an interval, equivalently an orbifold with branes at and , and use the warped metric
A negative bulk cosmological constant and suitably related brane tensions support this geometry. Integrating over the full orbifold interval gives
For a scalar field on the brane at , its induced metric gives the kinetic coefficient and mass coefficient . The canonical field is , hence
With and of the same fundamental order, an exponent -- converts a fundamental mass into a weak-scale mass, without requiring a large proper compactification volume.
Again the separation must be selected dynamically. The original warped solution leaves a massless radion, so merely choosing does not complete the explanation. For example, the Goldberger–Wise stabilization mechanism introduces a bulk scalar field with boundary values and a small mass . Its static equation and solution are
For small backreaction and large , the leading radius-dependent potential is proportional to . Its leading minimum obeys , so a modest boundary-value ratio and a small can give the required exponent. Corrections and the residual four-dimensional cosmological constant must still be controlled. Both proposals need a stable dynamical origin for the compactification geometry; their volume or warp relations alone do not supply it.