Skip to content

Renormalization Group Preview

The renormalization group, or RG, studies how a description changes when the resolution scale changes. Its central objects are not isolated numbers called “renormalized parameters,” but trajectories through a space of possible effective theories.

In a Wilsonian construction, one removes short-distance or high-energy degrees of freedom, records how their effects modify the retained couplings, and rescales so the new description can be compared with the old one. Repeating this operation produces a flow

g⟼Rb(g)⟼Rb2(g)⟼⋯ ,\boldsymbol g \longmapsto \mathcal R_b(\boldsymbol g) \longmapsto \mathcal R_b^2(\boldsymbol g) \longmapsto \cdots,

where b>1b>1 is a scale factor and

g=(g1,g2,…)\boldsymbol g = (g_1,g_2,\ldots)

denotes all couplings allowed by the retained degrees of freedom and symmetries.

The RG explains several facts that otherwise look unrelated:

  • microscopic models can share one universality class;
  • a continuous transition usually requires tuning only a few controls;
  • irrelevant microscopic details generate corrections that vanish at long distance;
  • a weak coupling can grow and create a nonperturbative scale;
  • marginal couplings can cause logarithms or continuously varying exponents;
  • critical exponents arise from linearized flow near a fixed point.

This page is a conceptual preview. It develops the Wilsonian geometry needed in many-body physics, but it does not construct perturbative counterterms, evaluate loop diagrams, derive functional flow equations, or renormalize gauge theories and composite operators systematically.

This page is the canonical home for:

  • coarse-graining followed by rescaling;
  • flow of couplings with length or energy scale;
  • fixed points, basins of attraction, separatrices, and crossover;
  • relevant, irrelevant, and marginal scaling directions;
  • the relation between one relevant eigenvalue and ν\nu;
  • correction-to-scaling exponents from irrelevant directions;
  • tree-level power counting as a first classifier;
  • reasons RG is especially natural in many-body systems;
  • the boundary between this preview and full field-theoretic RG.

Neighboring pages retain separate ownership:

Suppose a lattice spacing or microscopic length is aa, with ultraviolet momentum cutoff

Λ∼1a.\Lambda \sim \frac{1}{a}.

An RG step removes information between the scales aa and baba, then rewrites the surviving theory in units where the cutoff is again Λ\Lambda. The partition function and long-distance observables are preserved when the step is exact, but the coordinates used to describe them change.

The effective couplings therefore depend on a resolution scale μ\mu or a logarithmic RG time

ℓ:=ln⁡b.\ell := \ln b.

With the convention used here, increasing ℓ\ell means moving toward longer distances and lower energies.

Coarse-graining discards distinctions among short-distance configurations. It is generally not invertible, so Wilsonian transformations form a semigroup rather than a group in the elementary mathematical sense.

The name “renormalization group” is historical and deeply established. One should nevertheless avoid reading ℓ\ell as physical time. An RG trajectory connects descriptions of the same system at different resolutions; it is not the real-time trajectory of a state.

If the retained field is ϕ\phi, an effective action can contain

S[ϕ]=∑igiOi[ϕ].S[\phi] = \sum_i g_i \mathcal O_i[\phi].

Even when the microscopic model starts with only a few terms, coarse-graining generally generates every operator Oi\mathcal O_i allowed by the symmetries, locality assumptions, and retained degrees of freedom. Coupling space is therefore infinite-dimensional in principle.

Practical RG calculations truncate or organize this space by:

  • powers of fields;
  • numbers of derivatives;
  • symmetry representations;
  • distance from a critical dimension;
  • small couplings;
  • large component number;
  • patch or channel decompositions;
  • numerical basis truncation.

Such an organization must be controlled or tested. Omitting an allowed relevant operator can invalidate the entire flow.

Consider a Euclidean field with cutoff Λ\Lambda. Separate

ϕ=ϕ<+ϕ>,\phi = \phi_{<} + \phi_{>},

where the slow field contains

∣q∣<Λb,\lvert\mathbf q\rvert < \frac{\Lambda}{b},

and the fast field occupies the shell

Λb<∣q∣<Λ.\frac{\Lambda}{b} < \lvert\mathbf q\rvert < \Lambda.

This spherical shell is natural for an isotropic critical point near q=0\mathbf q=0. A Fermi surface, anisotropic node, lattice hot spot, or long-range interaction requires a shell adapted to its actual low-energy manifold.

Define the effective action for the retained modes by

exp⁡(−Seff[ϕ<]):=∫Dϕ> ×exp⁡(−S[ϕ<+ϕ>]).\begin{aligned} \exp \left( -S_{\mathrm{eff}}[\phi_<] \right) &:= \int \mathcal D\phi_>\, \\ &\quad\times \exp \left( -S[\phi_<+\phi_>] \right). \end{aligned}

This identity is exact before approximation. It does not mean that the fast modes vanish without consequence. Their virtual fluctuations alter every allowed coupling in SeffS_{\mathrm{eff}} and can generate nonlocal terms when gapless fields are eliminated improperly.

After shell integration, momenta satisfy ∣q∣<Λ/b\lvert\mathbf q\rvert<\Lambda/b. Define

q′=bq,x′=xb,\mathbf q' = b\mathbf q, \qquad \mathbf x' = \frac{\mathbf x}{b},

so that ∣q′∣<Λ\lvert\mathbf q'\rvert<\Lambda. Rescale the field,

ϕ′(x′)=bΔϕϕ<(x),\phi'(\mathbf x') = b^{\Delta_\phi} \phi_<(\mathbf x),

with Δϕ\Delta_\phi chosen according to a normalization convention, often to keep a kinetic coefficient fixed.

The resulting action has the same cutoff as the starting action but new couplings:

S[ϕ;g]⟼S[ϕ′;g′].S[\phi;\boldsymbol g] \longmapsto S[\phi';\boldsymbol g'].

That comparison defines

g′=Rb(g).\boldsymbol g' = \mathcal R_b(\boldsymbol g).

In a block-spin picture, several neighboring spins are replaced by one collective variable. If the original correlation length is ξ\xi in physical units, then after blocking by bb its value in new lattice units is

ξ′=ξb.\xi' = \frac{\xi}{b}.

At an ordinary noncritical point, repeated blocking eventually makes ξ′\xi' order one and the flow approaches a simple massive description. At a critical point, ξ=∞\xi=\infty and this obstruction never occurs; scale dependence can persist through arbitrarily many steps.

A Wilsonian coarse-graining step, trajectories in coupling space, and relevant, irrelevant, and marginal directions around a fixed point.

Three views of one RG idea. Blocking removes short-distance distinctions and restores the cutoff by rescaling. Repetition generates trajectories in coupling space, with a critical separatrix flowing toward a fixed point. Linearization near that point distinguishes relevant directions that grow, irrelevant directions that decay, and marginal directions requiring nonlinear analysis.

For an infinitesimal scale change, the discrete map becomes

dgidℓ=βi(g).\frac{d g_i}{d\ell} = \beta_i(\boldsymbol g).

The functions βi\beta_i are beta functions in the convention that ℓ\ell increases toward the infrared. Some QFT texts instead differentiate with respect to an increasing energy scale μ\mu; that reverses signs because

ℓ∼ln⁡Λμ.\ell \sim \ln \frac{\Lambda}{\mu}.

A sign statement such as “the coupling grows” is incomplete unless the scale convention is stated.

The formal solution defines a trajectory

g(ℓ)=Φℓ(g(0)).\boldsymbol g(\ell) = \Phi_\ell \bigl( \boldsymbol g(0) \bigr).

The components gig_i depend on how the effective action is parameterized. The physical content lies in long-distance observables, invariant scaling data, and the qualitative geometry of the flow.

A fixed point satisfies

β(g⋆)=0.\boldsymbol\beta(\boldsymbol g^\star) = \boldsymbol 0.

At such a point, coarse-graining followed by rescaling reproduces the same theory. The fixed-point theory is scale invariant under the assumptions of the RG transformation.

A fixed point whose long-distance action is quadratic is called Gaussian. Wick’s theorem applies to its field correlations. Gaussian fixed points control many free theories and mean-field regimes, but an allowed interaction can destabilize them.

At an interacting fixed point, dimensionless couplings approach nonzero values and anomalous scaling can appear. The Wilson–Fisher fixed point below four dimensions is the canonical equilibrium example.

The fixed-point coupling itself is not usually universal. It can change under a smooth reparameterization of coupling space. Critical exponents and properly normalized long-distance observables are the meaningful comparison.

An infrared fixed point attracts flows as ℓ→∞\ell\to\infty. A ultraviolet fixed point governs short-distance behavior when the flow is followed in the opposite direction.

The same fixed point can be attractive in some directions and repulsive in others. “Stable fixed point” should therefore specify the subspace under discussion.

Sometimes

β(g⋆(s))=0\boldsymbol\beta(\boldsymbol g^\star(s)) = 0

for a continuous parameter ss. A fixed line can support continuously varying scaling dimensions. Luttinger liquids and compact-boson theories provide central one-dimensional examples.

A truncated flow may run toward large coupling. This can indicate:

  • formation of a gap or bound state;
  • an ordering instability;
  • flow toward a strong-coupling fixed point outside the chosen coordinates;
  • a first-order transition;
  • breakdown of the truncation;
  • the need for new degrees of freedom.

Runaway flow is a diagnosis that the present weak-coupling description has failed, not a universal proof of which physical outcome occurs.

Write

gi=gi⋆+δgi.g_i = g_i^\star + \delta g_i.

To first order,

d δgidℓ=∑jBijδgj+O(δg2),\frac{d\,\delta g_i}{d\ell} = \sum_j B_{ij} \delta g_j + O(\delta g^2),

where

Bij:=∂βi∂gj∣g⋆.B_{ij} := \left. \frac{\partial\beta_i} {\partial g_j} \right|_{\boldsymbol g^\star}.

Choose eigen-directions uau_a of the stability matrix:

duadℓ=yaua.\frac{d u_a}{d\ell} = y_a u_a.

Then

ua(ℓ)=eyaℓua(0).u_a(\ell) = e^{y_a\ell} u_a(0).

With the infrared convention used here:

  • ya>0y_a>0 is relevant;
  • ya<0y_a<0 is irrelevant;
  • ya=0y_a=0 is marginal at linear order.

These labels belong to a specified fixed point. The same microscopic perturbation can project onto different eigen-directions near different fixed points.

A relevant perturbation grows as the observation scale increases. To reach a critical fixed point with nreln_{\mathrm{rel}} independent relevant directions, one generally must tune nreln_{\mathrm{rel}} controls, unless symmetries or constraints set some of them to zero automatically.

For an Ising critical point at zero field, the temperature-like field and magnetic field are relevant. If exact Z2\mathbb Z_2 symmetry enforces zero magnetic field, only the temperature-like control must be tuned experimentally.

The set of initial couplings that flow into the fixed point is its critical surface or stable manifold. Its codimension equals the number of relevant directions under standard regularity assumptions.

An irrelevant perturbation decays:

uirr(ℓ)=eyirrℓuirr(0),yirr<0.u_{\mathrm{irr}}(\ell) = e^{y_{\mathrm{irr}}\ell} u_{\mathrm{irr}}(0), \qquad y_{\mathrm{irr}}<0.

It does not disappear instantly. At finite size LL, choose

ℓ∼ln⁡La.\ell \sim \ln \frac{L}{a}.

Then

uirr(L)∼uirr(a)(La)yirr.u_{\mathrm{irr}}(L) \sim u_{\mathrm{irr}}(a) \left( \frac{L}{a} \right)^{y_{\mathrm{irr}}}.

Defining

ω:=−yirr>0,\omega := -y_{\mathrm{irr}} > 0,

gives the familiar correction

L−ω.L^{-\omega}.

Different microscopic models in one universality class can have different correction amplitudes because they begin at different positions along irrelevant directions.

Linearization alone cannot classify y=0y=0. Suppose

dgdℓ=Ag2+O(g3).\frac{dg}{d\ell} = A g^2 + O(g^3).

The leading solution is

g(ℓ)=g01−Ag0ℓ.g(\ell) = \frac{g_0} {1-A g_0\ell}.

Depending on the signs of AA and g0g_0, the coupling can:

  • drift logarithmically toward zero and be marginally irrelevant;
  • grow logarithmically and be marginally relevant;
  • remain exactly marginal when the beta function vanishes to all orders.

Marginality produces some of the slowest crossovers in many-body physics. It underlies logarithmic finite-size corrections, the Kondo scale, and fixed lines with continuously varying exponents.

If a scaling operator Oa\mathcal O_a has dimension Δa\Delta_a in a DD-dimensional isotropic Euclidean theory,

∫dDx gaOa\int d^D x\, g_a\mathcal O_a

is dimensionless when the coupling has eigenvalue

ya=D−Δa.y_a = D-\Delta_a.

Thus:

  • Δa<D\Delta_a<D corresponds to a relevant coupling;
  • Δa>D\Delta_a>D corresponds to an irrelevant coupling;
  • Δa=D\Delta_a=D is marginal by power counting.

For a quantum critical point with anisotropic scaling,

x⟼bx,τ⟼bzτ,\mathbf x \longmapsto b\mathbf x, \qquad \tau \longmapsto b^z\tau,

the measure scales as if

Dsc=d+z.D_{\mathrm{sc}} = d+z.

One may then write ya=d+z−Δay_a=d+z-\Delta_a when Δa\Delta_a is defined with that anisotropic scaling. This is not a claim that every quantum theory is literally an isotropic classical theory in d+zd+z dimensions.

Let utu_t be the leading temperature-like or tuning direction:

dutdℓ=ytut,yt>0.\frac{du_t}{d\ell} = y_tu_t, \qquad y_t>0.

Flow remains near the fixed point until ut(ℓ)u_t(\ell) becomes order one. Define ℓ⋆\ell_\star by

∣ut(0)∣eytℓ⋆∼1.\lvert u_t(0)\rvert e^{y_t\ell_\star} \sim 1.

The corresponding physical length is

ξ∼aeℓ⋆.\xi \sim a e^{\ell_\star}.

Eliminating ℓ⋆\ell_\star gives

ξ∼a∣ut(0)∣−1/yt.\xi \sim a \lvert u_t(0)\rvert^{-1/y_t}.

Therefore

ν=1yt.\nu = \frac{1}{y_t}.

This derivation identifies ν\nu with a fixed-point stability eigenvalue. Critical Exponents and Scaling owns the general definition, extraction, and caveats for ν\nu.

Power counting classifies operators at a Gaussian fixed point before fluctuation corrections are included. Landau Theory owns the uniform invariant polynomial and its mean-field minima, Landau–Ginzburg Theory Preview owns the static gradient functional, Gaussian propagator, and Ginzburg criterion, and Statistical Field Theory Preview owns the regulated measure in which those fluctuations are integrated. The action here is used to classify those couplings by scale. Consider

S[ϕ]=∫ddx [12(∇ϕ)2+r2ϕ2+u4!ϕ4+∑n≥3g2nϕ2n].\begin{aligned} S[\phi] &= \int d^d x\, \Bigl[ \frac12(\nabla\phi)^2 + \frac r2\phi^2 \\ &\qquad + \frac{u}{4!}\phi^4 + \sum_{n\ge3} g_{2n}\phi^{2n} \Bigr]. \end{aligned}

Keeping the gradient term dimensionless gives

Δϕ(0)=d−22.\Delta_\phi^{(0)} = \frac{d-2}{2}.

The Gaussian eigenvalues are

yr(0)=2,y_r^{(0)} = 2, yu(0)=4−d,y_u^{(0)} = 4-d,

and

y2n(0)=d−n(d−2).y_{2n}^{(0)} = d - n(d-2).

Consequently, the quartic coupling is:

  • relevant for d<4d<4;
  • marginal by power counting at d=4d=4;
  • irrelevant for d>4d>4.

This identifies the upper critical dimension dc=4d_c=4 for the short-range scalar ϕ4\phi^4 problem. Below four dimensions, the Gaussian classification signals that fluctuations drive the flow away from mean field. It does not calculate the interacting fixed point or its anomalous exponents.

Tree-level dimensions can be altered by:

  • anomalous dimensions at an interacting fixed point;
  • operator mixing;
  • nonanalytic momentum or frequency kernels;
  • constraints and gauge redundancies;
  • Fermi-surface kinematics;
  • long-range interactions;
  • disorder averaging;
  • boundary scaling.

An operator that is marginal by naive dimensions is a question, not an answer.

Microscopic models AA and BB can start at different points in coupling space yet flow toward the same fixed point after their relevant controls are tuned:

gA(ℓ)⟶g⋆,gB(ℓ)⟶g⋆.\boldsymbol g_A(\ell) \longrightarrow \boldsymbol g^\star, \qquad \boldsymbol g_B(\ell) \longrightarrow \boldsymbol g^\star.

Their common fixed-point data produce the shared exponents and scaling functions described by Universality. Their differing irrelevant coordinates produce nonuniversal amplitudes and correction terms.

A universality class is therefore associated with a fixed point plus the appropriate long-distance operator dictionary, symmetry data, and boundary or dynamic specification. The basin of attraction says which microscopic theories reach it.

Suppose a perturbation ww is relevant at one fixed point, with eigenvalue yw>0y_w>0. Its crossover length is set by

∣w∣eywℓ×∼1,\lvert w\rvert e^{y_w\ell_\times} \sim 1,

so

ξ×∼a∣w∣−1/yw.\xi_\times \sim a \lvert w\rvert^{-1/y_w}.

For scales below ξ×\xi_\times, data can resemble the unstable fixed point. At larger scales, the trajectory bends toward its ultimate infrared behavior.

A separatrix is a boundary in coupling space separating flows with different infrared outcomes. At a continuous transition, the critical surface is a separatrix between neighboring phases. Locating it numerically is equivalent to tuning away the relevant direction.

Near two competing fixed points, effective exponents can drift:

κeff(L):=dln⁡O(L)dln⁡L.\kappa_{\mathrm{eff}}(L) := \frac{d\ln O(L)} {d\ln L}.

Plateaus over limited sizes may represent crossover rather than the final class.

Near a continuous transition,

a≪r≪ξa \ll r \ll \xi

contains no single privileged length. Perturbation theory organized around one scale accumulates contributions from many decades. RG treats those decades successively.

Effective degrees of freedom change with scale

Section titled “Effective degrees of freedom change with scale”

Microscopic electrons can reorganize into quasiparticles, Cooper pairs, collective spin fields, gauge excitations, or hydrodynamic densities. RG does not require the same variables to remain efficient at every scale. A strong-coupling flow often signals that the useful degrees of freedom should change.

Terms such as

gnln⁡n(ΛE)g^n \ln^n \left( \frac{\Lambda}{E} \right)

can invalidate a fixed-order expansion even when gg is small. RG absorbs the large logarithms into a running coupling evaluated at the scale EE.

A lattice fixes the ultraviolet regulator, point-group symmetry, allowed operators, and bare couplings. Near a continuum critical point, irrelevant lattice anisotropies can decay, leaving an emergent rotational or internal symmetry. The decay rate itself controls corrections.

A finite system of size LL stops spatial coarse-graining near

ℓL∼ln⁡La.\ell_L \sim \ln \frac{L}{a}.

At a quantum critical point, temperature supplies an imaginary-time extent βℏ\beta\hbar. If characteristic energy scales transform as

E(ℓ)∼ΛEe−zℓ,E(\ell) \sim \Lambda_E e^{-z\ell},

then thermal effects stop the zero-temperature flow near

ℓT∼1zln⁡ΛEkBT.\ell_T \sim \frac{1}{z} \ln \frac{\Lambda_E}{k_{\mathrm B}T}.

Finite-size and finite-temperature scaling are therefore RG flows terminated before the infinite-scale fixed point is reached.

Different short-range Ising lattices have different bare couplings and critical temperatures. After tuning the temperature-like direction, their flows approach the same Ising fixed point. Lattice-specific terms survive as metric factors and irrelevant corrections.

For a metallic antiferromagnetic Kondo coupling, the dimensionless exchange is marginally relevant. A schematic weak-coupling equation is

dgdℓ=Ag2,A>0.\frac{dg}{d\ell} = A g^2, \qquad A>0.

The coupling reaches order one at

ℓK∼1Ag0,\ell_K \sim \frac{1}{A g_0},

which defines the exponentially small energy

kBTK∼D0exp⁡(−1Ag0).k_{\mathrm B}T_K \sim D_0 \exp \left( -\frac{1}{A g_0} \right).

The weak-coupling pole marks the end of that coordinate chart, not an infinite physical interaction. Kondo Model Preview owns conventions, screening, thermodynamics, and the strong-coupling interpretation.

A broad family of one-dimensional gapless systems flows to a fixed line described by a compact boson. The Luttinger parameter labels points on that line and controls scaling dimensions. Some perturbations are relevant for one parameter range and irrelevant for another. Luttinger Liquid Preview fixes a field convention and works out the resulting impurity, Umklapp, pairing, and correlation exponents.

This makes relevance state-dependent in coupling space: an impurity, umklapp term, or pairing operator cannot be classified without specifying the fixed-line parameter.

For a Fermi liquid, low energy means proximity to the Fermi surface, not small absolute momentum. One integrates out a thin energy shell around the surface:

ΛE/b<∣εk−μ∣<ΛE.\Lambda_E/b < \lvert\varepsilon_{\mathbf k}-\mu\rvert < \Lambda_E.

Kinematic restrictions make forward scattering and the Cooper channel special. Ordinary isotropic power counting around k=0\mathbf k=0 would miss this structure.

At a generic Mott-lobe side, the leading temporal derivative and dilute-particle kinematics produce a different scaling structure from the particle–hole-symmetric lobe tip. RG makes precise why changing the boundary point can change zz, the relevant operators, and the universality class even within one microscopic Hamiltonian.

Wilsonian shell integration, a Schrieffer–Wolff transformation, and a variational truncation can all reduce a problem, but they are not identical.

One sums over eliminated fluctuations and obtains a scale-dependent action for retained fields. The result generally contains infinitely many induced operators.

A controlled unitary transformation can decouple low- and high-energy subspaces order by order in a ratio such as V/ΔV/\Delta. Operators must be transformed along with the Hamiltonian.

Numerical methods may retain states judged important by energy, entanglement, or another criterion. Their errors depend on the truncation and are not automatically captured by field-theory relevance.

All three require a declared scale window and an error estimate. Calling each procedure “RG” without specifying the map hides their distinct guarantees.

Let new coupling coordinates be

ga′=fa(g).g'_a = f_a(\boldsymbol g).

The beta function transforms as a vector field:

βa′(g′)=∑i∂fa∂giβi(g).\beta'_a(\boldsymbol g') = \sum_i \frac{\partial f_a} {\partial g_i} \beta_i(\boldsymbol g).

Therefore:

  • fixed-point coordinates can move;
  • individual beta-function coefficients can depend on convention;
  • trajectories can look different in different coordinates;
  • regular reparameterizations preserve the number of relevant directions and the stability eigenvalues at a fixed point.

A running coupling is not directly observable merely because it has a plotted value. It becomes physical through a matching condition and predictions for observables.

An irrelevant coupling usually supplies a vanishing correction. It is dangerously irrelevant when setting it to zero changes the phase structure, normalization, or scaling of an observable.

Above the upper critical dimension, the quartic coupling in a scalar theory is irrelevant at the Gaussian fixed point, yet it stabilizes the ordered free energy and affects finite-size and order-parameter scaling. One cannot simply delete it before asking those questions.

The adjective “dangerous” is observable-dependent. The coupling can be irrelevant for the fixed-point free energy while remaining essential to a derived amplitude or ordered-phase limit.

A boundary supports its own operators and couplings. Bulk criticality can coexist with ordinary, special, or extraordinary surface behavior. An impurity problem is often naturally a boundary RG problem.

Quenched disorder introduces distributions of couplings and, in quantum path integrals, correlations extended along imaginary time. Average and typical observables can scale differently. Strong-disorder flows may broaden rather than approach a narrow conventional distribution.

Equilibrium couplings do not determine the full dynamics. Conservation laws, reversible mode coupling, damping kernels, and noise strengths enlarge coupling space. Static and dynamic fixed points must be distinguished.

This preview stops before several technical subjects become the main object:

  • regulator construction and cutoff independence;
  • loop expansion and diagrammatic beta functions;
  • renormalization conditions and counterterms;
  • field and composite-operator renormalization;
  • operator mixing matrices;
  • functional and exact flow equations;
  • gauge symmetry, Ward identities, and anomalies;
  • rigorous continuum limits;
  • nonperturbative QFT fixed points.

Those subjects require a complete field-theoretic framework. Use Continue on QFT.org when the RG machinery itself, rather than its many-body interpretation, becomes central.

State whether increasing the flow parameter means:

  • increasing length;
  • decreasing energy;
  • increasing renormalization scale;
  • increasing system size;
  • moving along an iterative numerical chain.

This fixes the sign convention for every beta function and stability eigenvalue.

The eliminated modes must be chosen around the actual low-energy structure:

  • q=0\mathbf q=0 for a conventional ferromagnetic order parameter;
  • a nonzero ordering wavevector for density-wave order;
  • a Fermi surface for a metal;
  • isolated nodes for a semimetal;
  • a boundary or impurity channel for a local problem;
  • frequency as well as momentum for dissipative dynamics.

A spherical shell around the wrong point is not an innocuous scheme choice.

3. State degrees of freedom and symmetries

Section titled “3. State degrees of freedom and symmetries”

List the retained fields, constraints, global and gauge symmetries, conservation laws, and boundary conditions. Then enumerate the operators those data allow.

The RG cannot protect a term that the stated symmetry permits but the truncation silently omits.

If a coupling λ\lambda has engineering dimension yλy_\lambda, define a dimensionless variable using the running scale μ\mu:

g(μ):=λ(μ)μ−yλ,g(\mu) := \lambda(\mu) \mu^{-y_\lambda},

up to normalization conventions. Fixed points are naturally statements about dimensionless couplings.

A dimensionful parameter can change simply because units change. That kinematic scaling should not be mistaken for an interaction correction.

5. Separate exact steps from approximations

Section titled “5. Separate exact steps from approximations”

The identity defining SeffS_{\mathrm{eff}} can be exact, while its evaluation is approximate. Record whether the approximation is:

  • a cumulant expansion;
  • a loop truncation;
  • a derivative expansion;
  • an operator truncation;
  • a large-NN expansion;
  • a numerical state truncation;
  • a projection in a small ratio.

Then identify the parameter or convergence study that controls it.

6. Find fixed points and invariant subspaces

Section titled “6. Find fixed points and invariant subspaces”

Solve

β(g⋆)=0\boldsymbol\beta(\boldsymbol g^\star) = 0

within the declared truncation. Check whether symmetries define invariant planes or lines. A fixed point found outside the regime where the beta functions were derived is not automatically trustworthy.

Compute the stability matrix and its eigenvalues. Use eigenvectors, not the original bare couplings, when operator mixing is present.

The number of positive yay_a in the infrared convention predicts the codimension of the critical surface. Compare that number with the controls actually tuned in the model or experiment.

Connect scaling fields to measurable controls and operators:

  • Which combination of temperature and pressure is utu_t?
  • Which microscopic observable overlaps with the order parameter?
  • Which source excites the leading relevant operator?
  • Which irrelevant field supplies the dominant correction?

Without this matching, a flow diagram is not yet a physical prediction.

The flow can terminate at:

  • correlation length ξ\xi;
  • system size LL;
  • thermal length;
  • inverse frequency;
  • mean free path;
  • gap scale;
  • disorder or inhomogeneity scale.

Compare each cutoff before claiming that the asymptotic fixed point is experimentally accessible.

Vary the cutoff profile, operator basis, loop order, derivative order, or numerical truncation when possible. Universal quantities should converge even though fixed-point coordinates and intermediate trajectories move.

RG running has a declared scale and matching prescription. A phenomenological parameter adjusted once is not automatically a running coupling.

dg/dℓd\boldsymbol g/d\ell describes changing resolution, not unitary or dissipative evolution of a quantum state.

Coarse-graining generates all symmetry-allowed terms. A closed truncation requires an argument.

Classifying a marginal operator by power counting alone

Section titled “Classifying a marginal operator by power counting alone”

When y=0y=0, nonlinear beta-function terms decide whether the coupling is marginally relevant, marginally irrelevant, or exactly marginal.

Treating a strong-coupling pole as a physical divergence

Section titled “Treating a strong-coupling pole as a physical divergence”

A perturbative pole marks loss of the weak-coupling description. The infrared physics can remain finite after a change of variables.

Reading fixed-point coordinates as universal

Section titled “Reading fixed-point coordinates as universal”

Smooth coupling redefinitions move g⋆\boldsymbol g^\star. Stability eigenvalues and observable scaling data are the robust content.

Irrelevant couplings generate finite-scale corrections, and dangerously irrelevant variables can remain essential for selected observables or phases.

Using small momentum for every many-body problem

Section titled “Using small momentum for every many-body problem”

Metals are organized around a Fermi surface; antiferromagnets around an ordering wavevector; impurities around a local channel. The low-energy shell must follow the spectrum.

Inferring a first-order transition from runaway flow alone

Section titled “Inferring a first-order transition from runaway flow alone”

Runaway flow may instead indicate a gap, bound state, new fixed point, or failed truncation.

A system can remain in crossover because LL, 1/T1/T, or the observation time stops the flow before the asymptotic regime.

Density-matrix renormalization group is a powerful variational state-truncation method. Its name reflects a scale-building strategy, but its mathematical guarantee is not identical to integrating a momentum shell in a path integral.

Exercise 1: Correlation length and one relevant direction

Section titled “Exercise 1: Correlation length and one relevant direction”

Near a fixed point, a tuning field obeys

dudℓ=yu,y>0.\frac{du}{d\ell} = y u, \qquad y>0.

Assume the microscopic value is u0u_0 and define ℓ⋆\ell_\star by ∣u(ℓ⋆)∣=1\lvert u(\ell_\star)\rvert=1.

  1. Find ℓ⋆\ell_\star.
  2. If ξ=aeℓ⋆\xi=a e^{\ell_\star}, derive ν\nu.
  3. Explain what changes if the laboratory control tt satisfies u0=c1t+c2t2+⋯u_0=c_1t+c_2t^2+\cdots with c1≠0c_1\ne0.
Solution

The linear flow gives

u(ℓ)=u0eyℓ.u(\ell) = u_0e^{y\ell}.

The stopping condition is

∣u0∣eyℓ⋆=1,\lvert u_0\rvert e^{y\ell_\star} = 1,

so

ℓ⋆=−1yln⁡∣u0∣.\ell_\star = -\frac{1}{y} \ln\lvert u_0\rvert.

Therefore

ξ=a∣u0∣−1/y.\xi = a \lvert u_0\rvert^{-1/y}.

Comparing with ξ∼∣u0∣−ν\xi\sim\lvert u_0\rvert^{-\nu} gives

ν=1y.\nu = \frac1y.

If u0=c1t+O(t2)u_0=c_1t+O(t^2) with c1≠0c_1\ne0, then

ξ∼a∣c1t∣−1/y[1+O(t)].\xi \sim a \lvert c_1t\rvert^{-1/y} \left[ 1+O(t) \right].

The analytic coefficient changes the nonuniversal amplitude, while the exponent remains 1/y1/y. If c1=0c_1=0 because of symmetry or a special path, the leading power of tt must be reconsidered.

For the scalar action in dd dimensions, use

Δϕ(0)=d−22\Delta_\phi^{(0)} = \frac{d-2}{2}

to find the Gaussian RG eigenvalues of couplings multiplying ϕ2\phi^2, ϕ4\phi^4, ϕ6\phi^6, and ϕ8\phi^8. Classify them in d=3d=3.

Solution

A coupling to ϕ2n\phi^{2n} has

y2n(0)=d−2nΔϕ(0)=d−n(d−2).y_{2n}^{(0)} = d - 2n\Delta_\phi^{(0)} = d - n(d-2).

Thus

y2(0)=2,y4(0)=4−d,y6(0)=6−2d,y8(0)=8−3d.\begin{aligned} y_2^{(0)} &= 2, \\ y_4^{(0)} &= 4-d, \\ y_6^{(0)} &= 6-2d, \\ y_8^{(0)} &= 8-3d. \end{aligned}

At d=3d=3,

y2(0)=2,y4(0)=1,y6(0)=0,y8(0)=−1.\begin{aligned} y_2^{(0)}&=2, & y_4^{(0)}&=1, \\ y_6^{(0)}&=0, & y_8^{(0)}&=-1. \end{aligned}

Therefore ϕ2\phi^2 and ϕ4\phi^4 are relevant at the Gaussian fixed point, ϕ6\phi^6 is marginal by tree-level power counting, and ϕ8\phi^8 is irrelevant. The ϕ6\phi^6 term still requires nonlinear analysis, and these Gaussian labels need not equal the labels at an interacting fixed point.

Exercise 3: Two fixed points in one beta function

Section titled “Exercise 3: Two fixed points in one beta function”

Consider

dgdℓ=ϵg−Ag2,ϵ>0,A>0.\frac{dg}{d\ell} = \epsilon g - A g^2, \qquad \epsilon>0, \quad A>0.

Find the fixed points and determine their stability along the gg direction.

Solution

The fixed-point condition is

g(ϵ−Ag)=0.g \left( \epsilon-Ag \right) = 0.

Hence

g0⋆=0,g1⋆=ϵA.g_0^\star = 0, \qquad g_1^\star = \frac{\epsilon}{A}.

The stability eigenvalue in one dimension is

y(g⋆)=dβdg∣g⋆=ϵ−2Ag⋆.y(g^\star) = \left. \frac{d\beta}{dg} \right|_{g^\star} = \epsilon-2Ag^\star.

At the Gaussian point,

y(g0⋆)=ϵ>0,y(g_0^\star) = \epsilon > 0,

so positive gg is relevant and the Gaussian point is infrared-repulsive along this direction.

At the interacting point,

y(g1⋆)=−ϵ<0,y(g_1^\star) = -\epsilon < 0,

so the point is infrared-attractive along gg. A full critical theory can still possess another relevant direction, such as a mass, that must be tuned.

Exercise 4: Codimension and correction exponent

Section titled “Exercise 4: Codimension and correction exponent”

A fixed point has stability eigenvalues

y1=1.60,y2=−0.82,y3=−2.1.\begin{aligned} y_1&=1.60, & y_2&=-0.82, \\ y_3&=-2.1. \end{aligned}

Assume no symmetry removes any direction.

  1. How many independent controls must be tuned?
  2. What is the leading correlation-length exponent if y1y_1 is temperature-like?
  3. What is the leading correction exponent?
Solution

Only y1y_1 is positive, so the critical surface has codimension one. One independent control must be tuned.

The correlation-length exponent is

ν=1y1=11.60=0.625.\nu = \frac{1}{y_1} = \frac{1}{1.60} = 0.625.

Among irrelevant directions, the one closest to zero decays most slowly. Therefore

ω=−y2=0.82.\omega = -y_2 = 0.82.

The y3y_3 direction produces a faster correction proportional to L−2.1L^{-2.1} unless analytic or symmetry effects introduce an even slower term.

Let

dgdℓ=Ag2,A>0.\frac{dg}{d\ell} = A g^2, \qquad A>0.

Analyze g0>0g_0>0 and g0<0g_0<0. For g0>0g_0>0, find the energy scale E⋆E_\star at which the weak-coupling solution reaches order one if

E(ℓ)=D0e−ℓ.E(\ell) = D_0e^{-\ell}.
Solution

The solution is

g(ℓ)=g01−Ag0ℓ.g(\ell) = \frac{g_0} {1-Ag_0\ell}.

For g0<0g_0<0, the denominator grows and

g(ℓ)⟶0−g(\ell) \longrightarrow 0^-

logarithmically. The coupling is marginally irrelevant.

For g0>0g_0>0, the denominator decreases. The one-loop solution becomes strong near

ℓ⋆∼1Ag0.\ell_\star \sim \frac{1}{Ag_0}.

The corresponding energy is

E⋆∼D0exp⁡(−1Ag0).E_\star \sim D_0 \exp \left( -\frac{1}{Ag_0} \right).

This essential dependence is dimensional transmutation: a dimensionless bare coupling creates an exponentially small energy. The divergence of the approximate g(ℓ)g(\ell) is not itself a divergent observable.

Exercise 6: Reparameterizing a beta function

Section titled “Exercise 6: Reparameterizing a beta function”

Let

g′=f(g)=g+cg2,g' = f(g) = g+c g^2,

where f′(g⋆)≠0f'(g^\star)\ne0. Show that a fixed point maps to a fixed point and that the one-dimensional stability eigenvalue is unchanged.

Solution

The transformed beta function is

β′(g′)=dfdgβ(g).\beta'(g') = \frac{df}{dg} \beta(g).

If β(g⋆)=0\beta(g^\star)=0, then

β′(f(g⋆))=0,\beta' \left( f(g^\star) \right) = 0,

so

g′⋆=f(g⋆)g'^\star = f(g^\star)

is a fixed point.

Differentiate with respect to g′g':

dβ′dg′=1f′(g)ddg[f′(g)β(g)].\frac{d\beta'}{dg'} = \frac{1}{f'(g)} \frac{d}{dg} \left[ f'(g)\beta(g) \right].

At the fixed point, the term containing β(g⋆)\beta(g^\star) vanishes, leaving

dβ′dg′∣g′⋆=dβdg∣g⋆.\left. \frac{d\beta'}{dg'} \right|_{g'^\star} = \left. \frac{d\beta}{dg} \right|_{g^\star}.

Thus the fixed-point coordinate changes but the linear stability eigenvalue does not, provided the coordinate transformation is regular.

Exercise 7: Thermal cutoff of a quantum flow

Section titled “Exercise 7: Thermal cutoff of a quantum flow”

A quantum critical theory has z=2z=2, ultraviolet energy ΛE\Lambda_E, and a weak coupling that would reach strong coupling at RG time ℓ⋆=8\ell_\star=8. At temperature TT, take

ℓT=12ln⁡ΛEkBT.\ell_T = \frac12 \ln \frac{\Lambda_E}{k_{\mathrm B}T}.
  1. What condition on TT allows the flow to reach strong coupling before thermal cutoff?
  2. Evaluate the threshold ratio kBT/ΛEk_{\mathrm B}T/\Lambda_E.
Solution

The flow reaches strong coupling first when

ℓT>ℓ⋆.\ell_T > \ell_\star.

Therefore

12ln⁡ΛEkBT>8.\frac12 \ln \frac{\Lambda_E}{k_{\mathrm B}T} > 8.

Multiplying by two and exponentiating gives

ΛEkBT>e16,\frac{\Lambda_E}{k_{\mathrm B}T} > e^{16},

or

kBTΛE<e−16≃1.13×10−7.\frac{k_{\mathrm B}T}{\Lambda_E} < e^{-16} \simeq 1.13\times10^{-7}.

The tiny threshold shows how an apparently valid zero-temperature strong-coupling prediction can be preempted by a finite experimental temperature.

Exercise 8: Crossover from an unstable fixed point

Section titled “Exercise 8: Crossover from an unstable fixed point”

A symmetry-breaking perturbation ww has eigenvalue yw=0.25y_w=0.25 at an otherwise attractive fixed point. The microscopic value is ∣w0∣=10−4\lvert w_0\rvert=10^{-4}.

  1. Estimate ξ×/a\xi_\times/a.
  2. Explain why simulations with L/a≤108L/a\le10^8 can misidentify the universality class.
  3. Name two diagnostics of crossover.
Solution

The crossover length is

ξ×a∼∣w0∣−1/yw.\frac{\xi_\times}{a} \sim \lvert w_0\rvert^{-1/y_w}.

Since 1/yw=41/y_w=4,

ξ×a∼(10−4)−4=1016.\frac{\xi_\times}{a} \sim \left( 10^{-4} \right)^{-4} = 10^{16}.

All sizes up to 108a10^8a remain eight orders of magnitude below the crossover scale. They can display excellent apparent scaling governed by the unstable fixed point even though the ultimate infrared class is different.

Useful diagnostics include:

  • drift of effective exponents with increasing minimum size;
  • growth of observables in the symmetry-breaking channel;
  • failure of one correction exponent to fit all sizes;
  • crossings that drift systematically rather than converging;
  • direct scaling of the perturbing operator.

A good collapse below ξ×\xi_\times demonstrates a preasymptotic regime, not the final class.

  • RG compares effective descriptions at different resolutions; it is not physical time evolution.
  • A Wilsonian step integrates out a scale shell, rescales coordinates and fields, and changes every symmetry-allowed coupling.
  • Repeated steps generate beta-function flow in an infinite-dimensional coupling space.
  • Fixed points are scale-invariant descriptions; their coordinates are scheme-dependent, while stability exponents and observable scaling data are robust.
  • Positive, negative, and zero stability eigenvalues are relevant, irrelevant, and marginal in the stated infrared convention.
  • The number of relevant directions determines how many controls must be tuned to reach a critical surface.
  • The leading tuning eigenvalue gives ν=1/yt\nu=1/y_t, while the least irrelevant direction gives the correction exponent ω=−yirr\omega=-y_{\mathrm{irr}}.
  • Marginal couplings require nonlinear analysis and can produce logarithms, fixed lines, or exponentially small scales.
  • Runaway weak-coupling flow signals failure of that description, not a unique physical endpoint.
  • Many-body shells must follow the actual low-energy manifold, such as a Fermi surface, ordering wavevector, node, or impurity channel.
  • Finite size, temperature, frequency, and gaps stop the flow and can leave observables in crossover.
  • Full loop-level and relativistic RG machinery belongs in the dedicated QFT treatment.
  1. L. P. Kadanoff, “Scaling Laws for Ising Models Near TcT_c,” Physics Physique Fizika 2, 263–272 (1966), doi:10.1103/PhysicsPhysiqueFizika.2.263.
  2. K. G. Wilson, “Renormalization Group and Critical Phenomena. I. Renormalization Group and the Kadanoff Scaling Picture,” Physical Review B 4, 3174–3183 (1971), doi:10.1103/PhysRevB.4.3174.
  3. K. G. Wilson, “Renormalization Group and Critical Phenomena. II. Phase-Space Cell Analysis of Critical Behavior,” Physical Review B 4, 3184–3205 (1971), doi:10.1103/PhysRevB.4.3184.
  4. F. J. Wegner, “Corrections to Scaling Laws,” Physical Review B 5, 4529–4536 (1972), doi:10.1103/PhysRevB.5.4529.
  5. K. G. Wilson and M. E. Fisher, “Critical Exponents in 3.99 Dimensions,” Physical Review Letters 28, 240–243 (1972), doi:10.1103/PhysRevLett.28.240.
  6. K. G. Wilson and J. Kogut, “The Renormalization Group and the ϵ\epsilon Expansion,” Physics Reports 12, 75–199 (1974), doi:10.1016/0370-1573(74)90023-4.
  7. K. G. Wilson, “The Renormalization Group: Critical Phenomena and the Kondo Problem,” Reviews of Modern Physics 47, 773–840 (1975), doi:10.1103/RevModPhys.47.773.
  8. M. E. Fisher, “The Renormalization Group in the Theory of Critical Behavior,” Reviews of Modern Physics 46, 597–616 (1974), doi:10.1103/RevModPhys.46.597.
  9. J. Polchinski, “Renormalization and Effective Lagrangians,” Nuclear Physics B 231, 269–295 (1984), doi:10.1016/0550-3213(84)90287-6.
  10. R. Shankar, “Renormalization-Group Approach to Interacting Fermions,” Reviews of Modern Physics 66, 129–192 (1994), doi:10.1103/RevModPhys.66.129.
  11. P. W. Anderson, “A Poor Man’s Derivation of Scaling Laws for the Kondo Problem,” Journal of Physics C: Solid State Physics 3, 2436–2441 (1970), doi:10.1088/0022-3719/3/12/008.
  12. J. M. Kosterlitz, “The Critical Properties of the Two-Dimensional XY Model,” Journal of Physics C: Solid State Physics 7, 1046–1060 (1974), doi:10.1088/0022-3719/7/6/005.
  13. J. A. Hertz, “Quantum Critical Phenomena,” Physical Review B 14, 1165–1184 (1976), doi:10.1103/PhysRevB.14.1165.
  14. S. R. White, “Density Matrix Formulation for Quantum Renormalization Groups,” Physical Review Letters 69, 2863–2866 (1992), doi:10.1103/PhysRevLett.69.2863.
  15. G. Vidal, “Entanglement Renormalization,” Physical Review Letters 99, 220405 (2007), doi:10.1103/PhysRevLett.99.220405.
  16. C. Wetterich, “Exact Evolution Equation for the Effective Potential,” Physics Letters B 301, 90–94 (1993), doi:10.1016/0370-2693(93)90726-X.
  17. M. E. Fisher, “Renormalization Group Theory: Its Basis and Formulation in Statistical Physics,” Reviews of Modern Physics 70, 653–681 (1998), doi:10.1103/RevModPhys.70.653.
  18. J. Cardy, Scaling and Renormalization in Statistical Physics, Cambridge University Press (1996), doi:10.1017/CBO9781316036440.