Linearization About a Fixed Point and Eigenvalue Spectrum
The renormalization group turns a statistical model into a point in the space of coupling constants and advances it one coarse-graining step at a time by a map . That map is hopelessly nonlinear — each step generates new couplings from old ones through sums over eliminated degrees of freedom. Yet everything measurable about a critical point comes from the map's behaviour in a tiny neighbourhood of a fixed point, and there the nonlinear tangle collapses into a single matrix. Linearization is the move that makes the renormalization group calculable. Write and expand to first order. The constant matrix , evaluated at the fixed point, governs how deviations evolve: . Its eigenvalues depend on the arbitrary length-rescaling factor , but the combination does not — the semigroup law forces , so is an intrinsic property of the fixed point. These are the scaling dimensions of the theory. The eigenvectors define special linear combinations of couplings, the scaling fields , which flow independently and multiplicatively: . The sign of each tells the whole story of the flow's local geometry. Relevant fields () grow under coarse-graining and span the unstable manifold; irrelevant fields () decay and span the critical surface; marginal fields () are decided by nonlinear terms. Because power laws are the fingerprint of multiplicative dynamics, these eigenvalues are exactly what turn into the power-law singularities of criticality. This article derives the linearization, proves the -independence of , and computes the spectrum explicitly for the exactly solvable one-dimensional Ising decimation — including a correction to a value that is commonly misquoted. How the two relevant eigenvalues become the full set of critical exponents is the subject of the next article; here we build the eigenvalue spectrum they depend on.
- Near a fixed point the nonlinear RG recursion linearizes to with .
- The eigenvalues obey ; the RG eigenvalue (scaling dimension) is intrinsic — independent of the rescaling factor .
- The eigenvectors define scaling fields that decouple the flow: each transforms multiplicatively, , converting a messy nonlinear map into independent rescalings.
- The sign of classifies directions — relevant (, unstable), irrelevant (, stable), marginal ().
- For the 1D Ising decimation the spectrum has one relevant eigenvalue at the fixed point: , (a value often misquoted as , ).
- Key idea: diagonalizing the linearized RG map replaces a nonlinear flow by independent multiplicative rescalings ; the -independent eigenvalue exponents are the scaling dimensions that control the flow's geometry and every critical exponent.
Diagonalizing the linearized RG map at a fixed point replaces a nonlinear flow by independent multiplicative rescalings ; the eigenvalue exponents are -independent scaling dimensions that control the flow's geometry and, through the two relevant ones, every critical exponent.
Where this lives today
The linearized eigenvalue spectrum is the backbone of how critical exponents are actually measured, not just imagined. In large-scale Monte Carlo simulations the relevant eigenvalues are extracted directly from finite-size scaling: the susceptibility peak grows with system size as and the slope of the Binder cumulant as , so fitting these size dependences reads and off the data. The conformal-bootstrap program achieves the same eigenvalues to many digits for the 3D Ising class by demanding self-consistency of the fixed-point theory. And in the study of quantum matter, the scaling dimensions of a quantum critical point — eigenvalues of a zero-temperature RG — set the temperature and frequency power laws seen in transport and neutron-scattering experiments on materials tuned to quantum phase transitions.
The physical picture
Stand exactly on a mountain pass — the fixed point. Release a marble in each principal direction. In some directions it rolls away downhill; in others it rolls back toward you along the ridge. Linearization is nothing more than measuring the local slopes in each principal direction, and those slopes are the eigenvalues of . A slope greater than one (in the sense that a displacement is amplified) means the marble runs away: a relevant direction. A slope less than one means it returns: an irrelevant direction. A slope of exactly one is marginal — the terrain is momentarily flat, and only the next-order curvature decides which way the marble eventually drifts. A single RG step multiplies a displacement along eigendirection by . After steps the total factor is , where is the accumulated rescaling. This is why relevant fields grow as a power of the length scale, and why the physical observables they control — the correlation length, the order parameter — acquire power-law singularities. Power laws are the signature of multiplicative (eigenvalue) dynamics; exponential or logarithmic behaviour would signal something else, and indeed marginal directions produce logarithms rather than powers.
Universality becomes transparent in this language. Change the microscopic Hamiltonian and you change where you start in coupling space, but if the new starting point lies on the same critical surface — the stable manifold, spanned by irrelevant eigen-directions — it flows to the same fixed point. Only the handful of relevant eigenvalues survive the journey, so only they appear in the exponents. Two systems as different as a uniaxial magnet and a boiling liquid share their exponents precisely because their differences lived entirely in irrelevant directions that the flow eroded away. The concrete payoff is a definite number. For the one exactly solvable case — the decimation of the 1D Ising chain — the linearization is a one-line calculation whose single relevant eigenvalue sits at the zero-temperature fixed point, and it is a value that is easy to misquote.
The core equations
The starting point is the fixed-point condition and the deviation about it. Because returns unchanged, the zeroth-order term of a Taylor expansion cancels and the leading behaviour is linear.
where: — point in coupling space; — RG transformation with length-rescaling factor ; — fixed point. Reading it physically: is the scale-invariant theory whose neighbourhood we are about to resolve. Expanding and keeping first order defines the linearized map — a constant matrix because it is evaluated at the fixed point.
where: — deviation of coupling ; — Jacobian of at . Reading it physically: the whole local flow is captured by this one matrix; the nonlinearity of only matters far from the fixed point. Diagonalizing produces eigenvalues and eigenvectors. The eigenvectors define scaling fields; the eigenvalues, remarkably, must be pure powers of .
where: — -th eigenvalue of (depends on ); — left eigenvector; — scaling field, a linear combination of couplings that flows independently; — RG eigenvalue / scaling dimension, -independent. Reading it physically: the scaling fields are the natural coordinates in which the flow decouples, and is the intrinsic label of each. Under one RG step each scaling field simply rescales by its own eigenvalue — the defining property that makes them useful.
where: — multiplicative factor per step. Reading it physically: after steps , so relevant fields () blow up and irrelevant ones () vanish, exactly as the mountain-pass picture demands. The sign of classifies each eigen-operator, and this classification is the payoff of the whole construction.
where: relevant — grows, must be tuned away to reach the fixed point; irrelevant — decays, spans the critical surface; marginal — , decided by nonlinear terms. The number of relevant directions is the codimension of the critical surface — the count of parameters you must tune to be critical.
The eigenvalues obviously depend on how much you coarse-grain — a bigger is a bigger step, so a bigger multiplication. The claim is that the exponent does not depend on , so it is a genuine property of the fixed point rather than an artefact of the arbitrary step size. The strategy is to use the semigroup structure of the RG: coarse-graining by and then by must equal a single coarse-graining by . Applying that consistency to the eigenvalue along a fixed eigendirection forces the eigenvalue to be a pure power of , and the power is -independent by construction.
Step 1. Two successive RG steps compose into one with the product rescaling factor,
This is the semigroup law: throwing away short-distance information twice, by then , is the same as throwing it away once by .
Step 2. Linearize all three maps at the same fixed point and follow one eigendirection . The Jacobians compose by multiplication, so their eigenvalues along that shared direction do too,
Why the eigendirection is shared. At the fixed point the eigen-directions of are the same for every (they are set by the fixed point, not the step size); only the eigenvalues change with . So the composition acts diagonally on each .
Step 3. The functional equation has, for a continuous positive function, only the solution
with a constant . Taking logarithms, , so is manifestly independent of . Why this matters. The intrinsic quantity is , never . Two calculations using and will report different but the same — the scaling dimension is unambiguous, which is what lets different RG schemes agree on critical exponents. Verified: verify_rg-linearization-eigenvalues.py confirms solves the composition law symbolically, and demonstrates numerically that a two-coupling map gives the same whether read at or at (its square).
The abstract construction becomes concrete on a map we can write down in full: the decimation of the one-dimensional Ising chain. Here linearization is a one-line calculation, and it exposes a value that is easy to get wrong.
Go deeper · Derivation B · 1 minThe eigenvalue spectrum of the 1D Ising decimation
We compute the linearized RG spectrum for the one exactly solvable case — decimating every second spin of the Ising chain — to see the general machinery produce a definite number, and to correct a value that is frequently misquoted. The recursion itself (summing over alternate spins to get an effective coupling between survivors) is derived elsewhere; we take it as the map and linearize it about each of its two fixed points, and . The delicate one is , which we handle in the variable so that the fixed point sits at .
Step 1. At the disordered fixed point , differentiate the map in the form :
The eigenvalue is (): the strongest possible irrelevance. Any small coupling collapses to zero in a single step — the high-temperature sink is superstable.
Step 2. At the ordered fixed point , switch to . With and , solve for and expand:
The eigenvalue along the single coupling is . Why the leading factor is , not . A common slip keeps the wrong power in the small- expansion and reports , hence and . The correct expansion of gives exactly at leading order, so .
Step 3. Convert to the scaling dimension with (decimation halves the lattice spacing),
There is one relevant eigenvalue, at the zero-temperature fixed point.
Step 4. Read the physics. A single relevant direction at means one dimension has no finite-temperature transition; criticality is pushed to . Consistently, the exact correlation length diverges exponentially as , not as a power law — the hallmark of a zero-temperature critical point, and exactly what with an exponential (rather than power-law) encodes. Verified: verify_rg-linearization-eigenvalues.py expands in and finds (so , ), explicitly flagging the base error; it also checks the disordered fixed point has .
Once the spectrum is known, the two relevant eigenvalues and determine every critical exponent through the homogeneity of the singular free energy, . That homogeneity relation follows because the free energy is extensive and rescales by the volume factor ; extracting from it is the dedicated task of the exponents article. As a consistency check we may invert the relations: given measured exponents, and . For the 2D Ising fixed point (, ) this returns and , the exact Onsager values recalled from the two-dimensional solution.
Limiting cases
The spectrum specializes cleanly in the standard fixed points and regimes.
| Case | Result | Meaning |
|---|---|---|
| Gaussian fixed point, | Eigenvalues from engineering dimensions; quartic irrelevant, mean-field exponents. | |
| 2D Ising fixed point | Exact Onsager values; give , , . | |
| 1D Ising, | One relevant direction at ; no finite- transition, . | |
| Marginal direction | Linear analysis silent; the leading nonlinear term decides marginal-relevant vs marginal-irrelevant (logs). |
Worked examples
Example 1 — Reading a spectrum off a Wilson–Fisher-like Jacobian. At a critical fixed point the linearized map (in the thermal/quartic basis, with ) is the upper-triangular matrix
Find the two scaling dimensions and classify the directions.
Step 1. For an upper-triangular matrix the eigenvalues are the diagonal entries: and .
Step 2. Convert with . The thermal direction: , positive — relevant. The quartic direction: , negative — irrelevant.
Step 3. Interpret. There is one relevant thermal direction (so one tuning, temperature, on the symmetric critical surface) and the quartic coupling is irrelevant, which is exactly the Wilson–Fisher fixed-point signature: the interaction that destabilized the Gaussian point has itself become irrelevant at the new fixed point, stabilizing it.
Example 2 — Checking -independence numerically. Take the same matrix and compose it with itself, , which represents a single RG step of . Verify that the thermal scaling dimension is unchanged.
Step 1. The relevant eigenvalue of is .
Step 2. Convert with : .
Step 3. This is the same found in Example 1 with . The scaling dimension is invariant under the choice of rescaling factor, as the semigroup argument guarantees — a numerical confirmation that , not , is the physical quantity.
Recall the tools we lean on
The decimation recursion linearized above is derived in Decimation and the One-Dimensional Ising RG, and the exact 1D correlation length comes from One-Dimensional Ising Model and Transfer Matrix Method. The fixed points whose neighbourhoods we linearize are established in Fixed Points of the RG. Turning the two relevant eigenvalues into the numbers is the job of Critical Exponents from the RG; the one-loop momentum-shell calculation of these eigenvalues for the Wilson–Fisher fixed point is developed in the -expansion and Wilson–Fisher articles. This one supplies the spectrum they all consume.
Origins · 1 minrunning coupling and how this was discovered
Going further
References. Kardar, Statistical Physics of Fields, Ch. 4–5 · Pathria & Beale, Statistical Mechanics, 3rd ed., Ch. 14 · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, Ch. 12 · Goldenfeld, Lectures on Phase Transitions and the Renormalization Group, Ch. 9 · Wilson & Kogut, Phys. Rep. 12, 75 (1974).
Provenance. The linearization , the semigroup argument , and the scaling-field construction follow Kardar (Ch. 4) and Goldenfeld (Ch. 9). The 1D Ising decimation spectrum is computed here from the recursion (Pathria Ch. 13, Reif). The homogeneity relation and exponent inversions , are standard; the exponent formulas themselves are derived in the dedicated exponents article. The 2D Ising eigenvalues , are exact (Onsager). A base-error correction is recorded: the 1D decimation eigenvalue in is , (from ), not , .
Builds on: The Renormalization Group Idea: Coarse-Graining and Rescaling · RG Flow in Coupling Space · Fixed Points of the RG. Leads to: Relevant, Irrelevant, and Marginal Operators · Scaling Fields and Scaling Variables · Critical Exponents from the RG · The Epsilon-Expansion.
What exactly is a "scaling field," and how is it different from a coupling constant?
A coupling constant like or is a bare parameter of the Hamiltonian; under the RG the different couplings mix, so no single one flows cleanly. A scaling field is a special linear combination of the deviations — an eigenvector of the linearized map — chosen precisely so that it does not mix with the others. Each scaling field flows on its own, . Near a fixed point the scaling fields are the natural coordinates: they diagonalize the flow, turning a coupled nonlinear tangle into independent rescalings.
Why does the eigenvalue have to be a power of rather than some other function?
Because RG steps compose: coarse-graining by then equals one step by . Along a fixed eigendirection this forces the eigenvalue to satisfy . The only continuous positive function obeying that multiplicative law is a power, . So the power-law form is not an assumption — it is dictated by the semigroup structure of the renormalization group, and the exponent is what carries the physics.
If a direction is marginal (), what determines its fate?
Linear analysis is silent, because means the deviation neither grows nor shrinks at first order. The answer comes from the leading nonlinear term, say . If has the sign that makes grow, the direction is marginally relevant and flows slowly to large coupling; if it makes shrink, it is marginally irrelevant and produces logarithmic corrections to scaling. The upper critical dimension is the classic marginal case — hence the logarithmic corrections to mean-field behaviour there.
Why is the 1D Ising eigenvalue so often quoted as ?
It comes from a sign-innocent but wrong expansion. In the variable , one must expand carefully; using gives , but the conversion back to through halves that, yielding , not . Dropping the second step leaves the spurious factor of . The correct eigenvalue is and , consistent with the exact exponential divergence of the 1D chain. This article carries the corrected value.
Why don't the irrelevant eigenvalues appear in the critical exponents?
Because they decay under coarse-graining. A field with shrinks by each step, so by the time the flow reaches the fixed point it has vanished — its initial value cannot influence the asymptotic long-distance physics. Only the relevant eigenvalues () survive to the fixed point, so only they enter the exponents. The irrelevant ones are not entirely invisible, though: the slowest of them sets the leading correction to scaling, which matters when you extract exponents from finite data.
How are and measured in a simulation?
Through finite-size scaling. At criticality, thermodynamic quantities scale with the system size as powers set by the relevant eigenvalues: the susceptibility peak grows as , and the temperature-derivative of the Binder cumulant grows as . Running the model at several sizes and fitting these growths gives and directly, without ever writing down the RG map explicitly. Every other exponent then follows from the two eigenvalues via the scaling relations.