Renormalization-Group Equations and Running

Renormalization-group (RG) equations express a consistency requirement: changing the arbitrary renormalization scale while holding the bare theory fixed cannot change a physical prediction. That requirement turns explicit scale logarithms and implicit running of renormalized parameters into a first-order flow. Solving the flow relates boundary data at one scale to another, identifies invariant scales, and reorganizes perturbation theory when logarithms are large.

This chapter builds that logic from the Callan–Symanzik equation through beta functions, dimensional transmutation, finite scheme changes, coupled flows, and RG improvement. Its two depth branches then ask what changes when couplings become local sources and what factorial perturbative growth can reveal about power-suppressed terms. The recurring discipline is to separate coordinates on theory space—running couplings, fields, subtraction conventions—from invariant predictions.

Flows generated by fixed-bare scale independence

Let $g^i$ denote renormalized dimensionless couplings and $m^a$ renormalized masses. With all bare fields and parameters fixed, define

\beta^i(g,m/\mu) = \left.\mu\frac{d g^i}{d\mu}\right|_0, \qquad \gamma_{m^a} = -\left.\mu\frac{d\ln m^a}{d\mu}\right|_0.

The subscript $0$ means fixed bare data, not fixed renormalized inputs. For a renormalized object $F$ with a declared external-field or operator normalization, the scale equation has the schematic form

\left[ \mu\frac{\partial}{\partial\mu} +\beta^i\frac{\partial}{\partial g^i} -\gamma_{m^a}m^a\frac{\partial}{\partial m^a} +\gamma_F \right]F=0.

The sign and multiplicity in $\gamma_F$ depend on whether $F$ is a connected correlator, an amputated function, or a one-particle-irreducible vertex. Each page derives that term from its field-renormalization convention rather than importing a memorized formula. The characteristic curves satisfy

\frac{d\bar g^i}{dt}=\beta^i(\bar g), \qquad \frac{d\bar m^a}{dt}=-\gamma_{m^a}(\bar g)\bar m^a, \qquad t=\ln\frac{\mu}{\mu_0}.

Thus increasing $t$ means moving toward larger renormalization scales. Collins derives the RG equation from changes of renormalization prescription and develops its characteristic solution, effective coupling, mass running, and asymptotic use in Collins 1984/2023, ch. 7, pp. 168–221. Callan’s scalar-field analysis is one of the original scale-identity formulations Callan 1970, pp. 1541–1547.

This chapter develops perturbative scale-flow grammar and its generic checks. It uses the local counterterms and finite renormalization conditions of Ultraviolet Renormalization and Locality and the operator evolution of Composite Operators and Mixing. Process-specific resummation, Standard Model coefficient tables, Wilsonian mode integration, fixed-point critical exponents, and nonperturbative dynamics beyond the structural ambiguity statements here lie outside its scope.

Check your preparation

This diagnostic chooses an entry route; it is not a scored assessment.

Can you perform this task?	Ready: enter here	Unsure: repair
Explain why a finite change of subtraction prescription can be offset by finite redefinitions of renormalized parameters	Callan–Symanzik equation	Review Renormalization Conditions, Schemes, and Finite Parts.
Differentiate a renormalized 1PI vertex while holding its bare counterpart fixed	Callan–Symanzik equation	Review The 1PI Effective Action and Mean-Field Equations and write the field-renormalization factors explicitly.
Extract a simple pole in dimensional regularization and distinguish MS from $\overline{\mathrm{MS}}$	Beta functions and anomalous dimensions	Review Dimensional Regularization and Minimal Subtraction.
Solve an autonomous first-order differential equation and track its maximal interval of validity	Dimensional transmutation	Separate the exact solution of the truncated equation from the unknown continuation of the full theory.
Apply an invertible change of coordinates and use the chain rule on a vector field	Scheme transformations	Test the one-dimensional identity $\beta'(g')=(dg'/dg)\beta(g)$ before expanding perturbatively.
Analyze nullclines and the Jacobian of a two-variable flow	Coupled flows	Review Normal Forms, Spectra, and Projectors.
Distinguish an asymptotic series from a convergent expansion	Renormalons	Review Asymptotic Scales, Remainders, Uniformity, and Optimal Truncation.
Treat a coupling as a source and identify contact terms from repeated functional differentiation	Local RG	Review Current Sources and Generating Functionals and Contact Terms and Renormalized Operator Products.

The first four pages form the minimum conceptual chain. Coupled flows and local RG deepen the geometry and source dependence; the renormalon page additionally requires the large-log and operator-product-expansion interfaces.

Choose a route

In the route column, ⇒ marks a hard dependency and → a useful continuation.

Goal	Route	Observable result
Derive scale evolution from renormalization	Callan–Symanzik equation ⇒ RG functions	Differentiate at fixed bare data, extract $\beta$ and anomalous dimensions, and verify cancellation of explicit and implicit $\mu$ dependence.
Understand asymptotic freedom or a Landau singularity	Core route through RG functions ⇒ dimensional transmutation	Solve a one-coupling flow, construct an invariant scale, and identify where the perturbative trajectory leaves its controlled domain.
Compare two subtraction schemes	RG functions ⇒ scheme transformations	Push forward the beta vector field, transform the boundary data, and recover the same observable or invariant scale.
Classify a multidimensional trajectory	RG functions ⇒ coupled flows	Find nullclines, invariant subspaces, separatrices, and the Jacobian while testing whether a one-coupling truncation is consistent.
Reorganize a large-log expansion	Callan–Symanzik equation ⇒ RG functions ⇒ RG improvement	Match boundary data where logarithms are small, evolve to the target scale, and state the achieved logarithmic accuracy and residual scale dependence.
Derive a local trace identity	Callan–Symanzik equation + coefficient evolution ⇒ local RG	Promote couplings to sources, include derivative and contact terms, and separate beta, virial, and anomaly contributions.
Interpret factorial growth without overclaiming	Dimensional transmutation + RG improvement + OPE preview ⇒ renormalons	Locate a model Borel singularity, infer the ambiguity’s parametric power, and state what must cancel it without claiming a condensate calculation.
Explore the flows computationally	Core route through dimensional transmutation → numerical flow comparison	Check an exact one-coupling invariant; add nullclines and stability data only after the coupled-flow inputs are established.

The eight pages in order

Scale Independence and the Callan–Symanzik Equation derives the RG equation by differentiating at fixed bare data. It separates explicit logarithms, implicit parameter running, external-field normalization, mass insertions, and the qualifications needed for inhomogeneous equations.
Beta Functions, Running Masses, and Field Anomalous Dimensions extracts RG functions from renormalization constants in a declared scheme. It distinguishes dimensionless and dimensionful parameters, field and mass conventions, gauge-dependent intermediates, and perturbative fixed-point claims.
Running Couplings and Dimensional Transmutation integrates one- and two-term beta functions. It constructs the invariant scale that replaces a dimensionless boundary condition and marks Landau or strong-coupling singularities as limits of a perturbative solution, not automatically as physical poles.
Scheme Transformations and RG Invariants treats a finite scheme change as an admissible coordinate map on coupling space. It identifies which leading coefficients are universal under stated hypotheses and verifies observables, effective charges, and invariant scales by a round trip.
Multiple Couplings and Coupled RG Flows replaces a scalar beta function by a vector field. It uses nullclines, invariant subspaces, separatrices, running ratios, and a stability matrix while leaving fixed-point eigenoperator analysis to the fixed-points chapter.
Large Logarithms and RG Improvement solves the characteristic boundary-value problem that resums logarithmic towers. It distinguishes matching data from evolution, names logarithmic accuracy, and uses scale variation only as a diagnostic of omitted terms.
Local Couplings, Trace Identities, and the Local Renormalization Group promotes couplings to spacetime-dependent sources. It derives local trace and contact identities and the consistency relations produced by commuting Weyl variations, while handing anomaly classification and conformal endpoint data to the relevant specialist volumes.
Renormalons, OPE Ambiguities, and Power Corrections relates factorial coefficients to Borel-plane singularities in a controlled model. It matches the ambiguity’s dimension and scheme dependence to an OPE or EFT power term and states why that relation is not a nonperturbative determination of the term’s matrix element.

One RG-time and normalization convention

The chapter uses

t=\ln\frac{\mu}{\mu_0}, \qquad \frac{dg^i}{dt}=\beta^i(g),

so an arrow toward increasing $t$ points toward the ultraviolet. A fixed point satisfies $\beta^i(g_*)=0$ , but whether nearby directions are called UV-attractive, IR-attractive, relevant, or irrelevant also depends on the direction of evolution and the linearization convention. Those eigenoperator labels are introduced only in Fixed Points, Universality, and Continuum Limits.

The recurring convention card is:

Quantity	Chapter declaration	Invariant check
Scale derivative	$\mu\,d/d\mu$ at fixed bare data	A physical prediction is independent of the arbitrary $\mu$ through the retained order.
RG time	$t=\ln(\mu/\mu_0)$	Increasing $t$ moves toward larger $\mu$ .
Mass anomalous dimension	$\gamma_m=-\mu\,d\ln m/d\mu\rvert_0$	The solved running mass satisfies its defining differential equation.
Field normalization	$\phi_0=Z_\phi^{1/2}\phi$	Differentiate this identity before assigning the external-leg sign in a Green function or vertex.
Scheme map	finite, analytic, locally invertible map with its linear normalization stated	Transform beta functions and boundary data, then reproduce the same observable.
Perturbative domain	coupling range, scale interval, and retained loop order stated	Stop before a singularity or strong-coupling crossing invalidates the truncation.
Logarithmic accuracy	boundary order, anomalous-dimension order, beta-function order, and log counting stated	Re-expansion reproduces every fixed-order logarithm promised by that accuracy.

A running coupling is therefore not itself an observable. It is a useful coordinate whose scale and scheme dependence cancels against the corresponding dependence of matrix elements, coefficients, fields, or boundary data.

The one-coupling thread

The chapter’s analytic benchmark is

\frac{dg}{dt}=-g^3, \qquad g(0)=g_0.

It has the exact solution of the truncated flow

g(t)=\frac{g_0}{\sqrt{1+2g_0^2t}}, \qquad \frac{1}{g(t)^2}-2t=\frac{1}{g_0^2}.

For $g_0=0.4$ , the coupling decreases as $t$ increases, so the trajectory is asymptotically free in the ultraviolet within this model. The denominator vanishes at $t=-1/(2g_0^2)$ ; that singularity says the perturbative trajectory cannot be continued reliably past that point. It does not, by itself, determine the infrared physics.

This one flow acquires a new interpretation on successive pages:

the Callan–Symanzik equation explains why the characteristic is relevant to a scale-independent prediction;
the RG-functions page derives the beta function rather than assuming it;
dimensional transmutation rewrites the boundary condition as an invariant scale;
the scheme page changes coupling coordinates while preserving the trajectory’s invariant content;
RG improvement evolves boundary data along the characteristic; and
the calculation checks the exact invariant and rejects reversed RG time or a trajectory outside its declared domain.

The coupled-flow page then adds a second coordinate. A projected one-coupling description is valid only if the discarded couplings define an invariant subspace or remain parametrically controlled along the trajectory.

Local sources and asymptotic ambiguity are distinct depth branches

Ordinary RG varies one constant scale. Local RG instead promotes $g^i$ to sources $g^i(x)$ and couples the theory to a background metric. Functional differentiation then defines local operator insertions, so derivatives of sources and diagonal-supported contact terms enter the trace identity. Commutativity of infinitesimal Weyl rescalings imposes integrability conditions on their local anomaly functional Osborn 1991, § 1, pp. 486–491. This is a refinement of ordinary scale evolution, not a replacement for anomaly classification in Symmetry and Gauge Structure or for fixed-point conformal analysis in Conformal Field Theory and the Bootstrap.

Renormalons concern a different limit: the large order of a perturbative series. A Borel singularity on an integration ray makes a resummation prescription ambiguous by an exponentially small term, which running can convert into a power of an invariant scale. In an operator-product expansion, the short-distance coefficient and the corresponding power-suppressed matrix element must carry compensating convention dependence. Beneke develops the Borel, factorization, scheme, and OPE interfaces and emphasizes the difference between parametric information and a model for the absolute power correction Beneke 1999, §§ 2.1–2.4, pp. 5–21, and § 4.2, pp. 70–78.

The two branches meet only at a general methodological point: scale equations constrain how convention-dependent pieces fit together. Neither branch licenses a claim about physical content without the complete invariant combination.

Chapter synthesis and stopping rules

The minimum chapter logic is:

Bare independence gives a differential identity for renormalized quantities.
Renormalization constants determine the beta functions and anomalous dimensions in a specified convention.
Characteristics evolve boundary data and can trade dimensionless inputs for invariant scales.
Finite scheme changes push the beta vector field forward; they do not change a consistently transformed prediction.
Large-log resummation requires both evolution and boundary matching at compatible orders.
Local sources expose contact and Weyl-consistency information invisible to constant couplings.
A renormalon ambiguity constrains the form of a compensating power term but does not calculate its nonperturbative matrix element.

Three stopping rules prevent the most common overclaims.

A zero of a truncated beta function is evidence inside a perturbative domain, not a complete theory. Its coordinate location can move under a finite scheme change, and a singular or badly conditioned map is not admissible evidence for equivalence. Fixed-point stability, universality, and continuum-limit claims belong to the next two chapters.

A pole in a running coupling is a singularity of the approximate flow. It can mark loss of perturbative control; identifying it with a particle, phase transition, confinement scale, or ultraviolet inconsistency requires independent physics.

Residual scale dependence is diagnostic, not probabilistic calibration. Varying matching and evolution scales probes some omitted terms, but it does not by itself define a confidence interval or expose missing operators and factorization failures.

Review the chapter

A successful response must show the invariant or failure condition, not only quote a formula.

Capability	Prompt	Successful response and repair
Derivation	Starting from $g_0=g_0(g,\mu)$ and $\phi_0=Z_\phi^{1/2}\phi$ , derive the scale equation for a chosen renormalized 1PI vertex.	Hold bare data fixed, include every explicit and implicit derivative, and derive the external-field sign. Repair in Callan–Symanzik.
Extraction	Given the simple-pole part of $Z_g$ in minimal subtraction, determine the leading beta coefficient.	Include the $-\epsilon g$ term before taking $\epsilon\to0$ and state the coupling normalization. Repair in RG functions.
Flow and domain	Solve $dg/dt=-g^3$ and interpret both limits of the solution.	Recover $g^{-2}-2t=g_0^{-2}$ , ultraviolet decrease, and the finite infrared boundary of perturbative control. Repair in dimensional transmutation.
Convention translation	Apply $g'=g+a g^3+O(g^5)$ to a two-term beta function.	Use the chain rule and inverse series, state which coefficients remain invariant under the declared hypotheses, and transform the invariant scale. Repair in scheme transformations.
Coupled-flow diagnosis	Decide whether setting $y=0$ in a two-coupling system defines a consistent truncation.	Check $\beta_y(x,0)=0$ along the entire proposed subspace, not only at one point. Repair in coupled flows.
Resummation check	A result contains $\alpha^nL^{n+1}$ with $\alpha L\sim1$ . Design an RG-improved calculation.	Identify the boundary scale, required evolution orders, matching order, re-expansion check, and independent scale variations. Repair in RG improvement.
Local identity	Explain why making $g^i$ spacetime dependent creates counterterms absent for constant couplings.	Identify derivative-source and coincident-insertion terms and recover the ordinary RG equation when sources are constant. Repair in local RG.
Ambiguity contract	A bubble-chain model has a positive-axis Borel singularity. What may be inferred?	State the prescription ambiguity and its scale dependence, identify a compatible power term, and refuse to infer its matrix element from the model alone. Repair in renormalons.

Continue from scale evolution

Continue to Wilsonian and Functional Renormalization to derive coarse-graining flows for actions and effective average actions rather than varying a subtraction scale at fixed bare theory.
Continue to Fixed Points, Universality, and Continuum Limits to interpret linearized flow eigenvalues, critical surfaces, scaling laws, and evidence for continuum limits.
Continue to Effective Field Theory: Construction and Power Counting when the running must be embedded in a controlled expansion with a declared operator truncation.
Continue to Matching, Decoupling, and Threshold Evolution when boundary conditions change across a heavy threshold.
Continue to Modes, Factorization, and Multiscale RG when virtuality and rapidity evolution require an explicit mode and overlap construction.
Continue to Conformal Field Theory and the Bootstrap for fixed-point operator data and conformal consequences, or to Quantum Fields in Curved Spacetime for curved-background trace and renormalization questions.
Return to the Volume 5 overview to choose another route.

References

Beneke, Martin. 1999. “Renormalons.” Physics Reports 317 (1–2): 1–142. DOI and Open PDF.
Callan, Curtis G., Jr. 1970. “Broken Scale Invariance in Scalar Field Theory.” Physical Review D 2 (8): 1541–1547. DOI.
Collins, John C. 1984; open-access reissue 2023. Renormalization: An Introduction to Renormalization, the Renormalization Group and the Operator-Product Expansion. Cambridge Monographs on Mathematical Physics. Cambridge University Press. DOI and Open PDF.
Osborn, Hugh. 1991. “Weyl Consistency Conditions and a Local Renormalisation Group Equation for General Renormalisable Field Theories.” Nuclear Physics B 363 (2–3): 486–526. DOI and Open PDF.