Linearization About a Fixed Point and Eigenvalue Spectrum

The renormalization group turns a statistical model into a point μ=(K1,K2,… )\mu=(K_1,K_2,\dots) in the space of coupling constants and advances it one coarse-graining step at a time by a map μ′=Rb[μ]\mu'=\mathcal{R}_b[\mu]. 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 μ=μ∗+δμ\mu=\mu^*+\delta\mu and expand to first order. The constant matrix Tij=∂μi′/∂μjT_{ij}=\partial\mu_i'/\partial\mu_j, evaluated at the fixed point, governs how deviations evolve: δμ′=T δμ\delta\mu'=T\,\delta\mu. Its eigenvalues λi\lambda_i depend on the arbitrary length-rescaling factor bb, but the combination yi=ln⁡λi/ln⁡by_i=\ln\lambda_i/\ln b does not — the semigroup law forces λi=byi\lambda_i=b^{y_i}, so yiy_i is an intrinsic property of the fixed point. These yiy_i are the scaling dimensions of the theory. The eigenvectors define special linear combinations of couplings, the scaling fields uiu_i, which flow independently and multiplicatively: ui′=byiuiu_i'=b^{y_i}u_i. The sign of each yiy_i tells the whole story of the flow's local geometry. Relevant fields (yi>0y_i>0) grow under coarse-graining and span the unstable manifold; irrelevant fields (yi<0y_i<0) decay and span the critical surface; marginal fields (yi=0y_i=0) 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 bb-independence of yiy_i, 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.

Key takeaways
  • Near a fixed point the nonlinear RG recursion μ′=Rb[μ]\mu'=\mathcal{R}_b[\mu] linearizes to δμ′=T δμ\delta\mu'=T\,\delta\mu with Tij=∂μi′/∂μj∣μ∗T_{ij}=\partial\mu_i'/\partial\mu_j\big|_{\mu^*}.
  • The eigenvalues obey λi=byi\lambda_i=b^{y_i}; the RG eigenvalue (scaling dimension) yi=ln⁡λi/ln⁡by_i=\ln\lambda_i/\ln b is intrinsic — independent of the rescaling factor bb.
  • The eigenvectors define scaling fields uiu_i that decouple the flow: each transforms multiplicatively, ui′=byiuiu_i'=b^{y_i}u_i, converting a messy nonlinear map into independent rescalings.
  • The sign of yiy_i classifies directions — relevant (yi>0y_i>0, unstable), irrelevant (yi<0y_i<0, stable), marginal (yi=0y_i=0).
  • For the 1D Ising decimation the spectrum has one relevant eigenvalue at the T=0T=0 fixed point: λ=2\lambda=2, yt=1y_t=1 (a value often misquoted as λ=4\lambda=4, yt=2y_t=2).
  • Key idea: diagonalizing the linearized RG map replaces a nonlinear flow by independent multiplicative rescalings ui′=byiuiu_i'=b^{y_i}u_i; the bb-independent eigenvalue exponents yiy_i are the scaling dimensions that control the flow's geometry and every critical exponent.
The core insight

Diagonalizing the linearized RG map at a fixed point replaces a nonlinear flow by independent multiplicative rescalings ui′=byiuiu_i'=b^{y_i}u_i; the eigenvalue exponents yi=ln⁡λi/ln⁡by_i=\ln\lambda_i/\ln b are bb-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 L2yh−dL^{2y_h-d} and the slope of the Binder cumulant as LytL^{y_t}, so fitting these size dependences reads yty_t and yhy_h 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 TT. 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 ii by λi=byi\lambda_i=b^{y_i}. After nn steps the total factor is bnyi=Lyib^{ny_i}=L^{y_i}, where L=bnL=b^n 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.

Figure
Linearizing at the saddle: eigen-directions and their multiplicative rates
Deviation δμ decomposes into eigen-directions, each scaling by λ = b^y μ* relevant u₁'=b^{y₁} u₁, y₁ > 0 grows irrelevant u₂'=b^{y₂} u₂, y₂ < 0 decays δμ = u₁ ψ⁽¹⁾ + u₂ ψ⁽²⁾

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.

Figure
The 1D Ising decimation cobweb: one relevant eigenvalue at the T = 0 fixed point
K' = ½ ln cosh 2K flows every finite K down to the sink K* = 0 K K' K' = K K' = ½ ln cosh 2K K₀ sink K* = 0 (λ = 0) spectrum K*=0: λ = 0 (irrelevant) K*=∞: λ = 2, y_t = 1 (base error: NOT λ = 4) one relevant direction, at T = 0 only

The core equations

The starting point is the fixed-point condition and the deviation about it. Because Rb\mathcal{R}_b returns μ∗\mu^* unchanged, the zeroth-order term of a Taylor expansion cancels and the leading behaviour is linear.

μ′=Rb[μ],μ∗=Rb[μ∗](1)\mu'=\mathcal{R}_b[\mu],\qquad \mu^*=\mathcal{R}_b[\mu^*] \qquad (1)

where: μ=(K1,K2,… )\mu=(K_1,K_2,\dots) — point in coupling space; Rb\mathcal{R}_b — RG transformation with length-rescaling factor b>1b>1; μ∗\mu^* — fixed point. Reading it physically: μ∗\mu^* is the scale-invariant theory whose neighbourhood we are about to resolve. Expanding μ=μ∗+δμ\mu=\mu^*+\delta\mu and keeping first order defines the linearized map — a constant matrix because it is evaluated at the fixed point.

δKi′=∑jTij δKj,Tij=∂Ki′∂Kj∣μ∗(2)\delta K_i' = \sum_j T_{ij}\,\delta K_j,\qquad T_{ij}=\left.\frac{\partial K_i'}{\partial K_j}\right|_{\mu^*} \qquad (2)

where: δKi=Ki−Ki∗\delta K_i=K_i-K_i^* — deviation of coupling ii; TijT_{ij} — Jacobian of Rb\mathcal{R}_b at μ∗\mu^*. Reading it physically: the whole local flow is captured by this one matrix; the nonlinearity of Rb\mathcal{R}_b only matters far from the fixed point. Diagonalizing TT produces eigenvalues and eigenvectors. The eigenvectors define scaling fields; the eigenvalues, remarkably, must be pure powers of bb.

T ϕ(i)=λi ϕ(i),ui=ϕ(i) ⁣⋅δμ,λi=b yi,yi=ln⁡λiln⁡b(3)T\,\phi^{(i)}=\lambda_i\,\phi^{(i)},\qquad u_i=\phi^{(i)}\!\cdot\delta\mu,\qquad \lambda_i=b^{\,y_i},\qquad y_i=\frac{\ln\lambda_i}{\ln b} \qquad (3)

where: λi\lambda_i — ii-th eigenvalue of TT (depends on bb); ϕ(i)\phi^{(i)} — left eigenvector; uiu_i — scaling field, a linear combination of couplings that flows independently; yiy_i — RG eigenvalue / scaling dimension, bb-independent. Reading it physically: the scaling fields are the natural coordinates in which the flow decouples, and yiy_i 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.

ui′=λi ui=b yi ui(4)u_i' = \lambda_i\,u_i = b^{\,y_i}\,u_i \qquad (4)

where: byib^{y_i} — multiplicative factor per step. Reading it physically: after nn steps ui→bnyiuiu_i\to b^{ny_i}u_i, so relevant fields (yi>0y_i>0) blow up and irrelevant ones (yi<0y_i<0) vanish, exactly as the mountain-pass picture demands. The sign of yiy_i classifies each eigen-operator, and this classification is the payoff of the whole construction.

yi>0 (relevant),yi<0 (irrelevant),yi=0 (marginal)(5)y_i>0\ (\text{relevant}),\qquad y_i<0\ (\text{irrelevant}),\qquad y_i=0\ (\text{marginal}) \qquad (5)

where: relevant — grows, must be tuned away to reach the fixed point; irrelevant — decays, spans the critical surface; marginal — λi=1\lambda_i=1, 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.

Derivation AWhy the RG eigenvalue is independent of the rescaling factor

The eigenvalues λi\lambda_i obviously depend on how much you coarse-grain — a bigger bb is a bigger step, so a bigger multiplication. The claim is that the exponent yi=ln⁡λi/ln⁡by_i=\ln\lambda_i/\ln b does not depend on bb, 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 b1b_1 and then by b2b_2 must equal a single coarse-graining by b1b2b_1b_2. Applying that consistency to the eigenvalue along a fixed eigendirection forces the eigenvalue to be a pure power of bb, and the power is bb-independent by construction.

Step 1. Two successive RG steps compose into one with the product rescaling factor,

Rb1∘Rb2=Rb1b2.\mathcal{R}_{b_1}\circ\mathcal{R}_{b_2}=\mathcal{R}_{b_1 b_2}.

This is the semigroup law: throwing away short-distance information twice, by b1b_1 then b2b_2, is the same as throwing it away once by b1b2b_1b_2.

Step 2. Linearize all three maps at the same fixed point μ∗\mu^* and follow one eigendirection ϕ(i)\phi^{(i)}. The Jacobians compose by multiplication, so their eigenvalues along that shared direction do too,

λi(b1) λi(b2)=λi(b1b2).\lambda_i(b_1)\,\lambda_i(b_2)=\lambda_i(b_1 b_2).

Why the eigendirection is shared. At the fixed point the eigen-directions of Rb\mathcal{R}_b are the same for every bb (they are set by the fixed point, not the step size); only the eigenvalues change with bb. So the composition acts diagonally on each ϕ(i)\phi^{(i)}.

Step 3. The functional equation f(b1)f(b2)=f(b1b2)f(b_1)f(b_2)=f(b_1b_2) has, for a continuous positive function, only the solution

λi(b)=b yi,\lambda_i(b)=b^{\,y_i},

with a constant yiy_i. Taking logarithms, ln⁡λi=yiln⁡b\ln\lambda_i=y_i\ln b, so yi=ln⁡λi/ln⁡by_i=\ln\lambda_i/\ln b is manifestly independent of bb. Why this matters. The intrinsic quantity is yiy_i, never λi\lambda_i. Two calculations using b=2b=2 and b=3b=3 will report different λi\lambda_i but the same yiy_i — the scaling dimension is unambiguous, which is what lets different RG schemes agree on critical exponents. Verified: verify_rg-linearization-eigenvalues.py confirms λ(b)=by\lambda(b)=b^y solves the composition law symbolically, and demonstrates numerically that a two-coupling map gives the same yiy_i whether read at b=2b=2 or at b=4b=4 (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
Derivation BThe 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 tanh⁡K′=tanh⁡2K\tanh K'=\tanh^2K and linearize it about each of its two fixed points, K∗=0K^*=0 and K∗=∞K^*=\infty. The delicate one is K∗=∞K^*=\infty, which we handle in the variable x=e−2Kx=e^{-2K} so that the fixed point sits at x=0x=0.

Step 1. At the disordered fixed point K∗=0K^*=0, differentiate the map in the form K′=12ln⁡cosh⁡2KK'=\tfrac12\ln\cosh2K:

dK′dK∣K=0=tanh⁡(2K)∣0=0.\left.\frac{\mathrm{d}K'}{\mathrm{d}K}\right|_{K=0}=\tanh(2K)\big|_{0}=0.

The eigenvalue is λ=0\lambda=0 (y=−∞y=-\infty): 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 K∗=∞K^*=\infty, switch to x=e−2K→0x=e^{-2K}\to0. With tanh⁡K=(1−x)/(1+x)\tanh K=(1-x)/(1+x) and tanh⁡K′=tanh⁡2K\tanh K'=\tanh^2K, solve tanh⁡K′=(1−x′)/(1+x′)\tanh K'=(1-x')/(1+x') for x′x' and expand:

x′=2x+O(x2).x' = 2x + O(x^2).

The eigenvalue along the single coupling is λ=2\lambda=2. Why the leading factor is 22, not 44. A common slip keeps the wrong power in the small-xx expansion and reports x′≈4xx'\approx4x, hence λ=4\lambda=4 and yt=2y_t=2. The correct expansion of tanh⁡K′=tanh⁡2K\tanh K'=\tanh^2K gives x′=2xx'=2x exactly at leading order, so λ=2\lambda=2.

Step 3. Convert to the scaling dimension with b=2b=2 (decimation halves the lattice spacing),

yt=ln⁡λln⁡b=ln⁡2ln⁡2=1.y_t=\frac{\ln\lambda}{\ln b}=\frac{\ln 2}{\ln 2}=1.

There is one relevant eigenvalue, at the zero-temperature fixed point.

Step 4. Read the physics. A single relevant direction at T=0T=0 means one dimension has no finite-temperature transition; criticality is pushed to T=0T=0. Consistently, the exact correlation length ξ=1/x=e2K\xi=1/x=e^{2K} diverges exponentially as x→0x\to0, not as a power law — the hallmark of a zero-temperature critical point, and exactly what yt=1y_t=1 with an exponential (rather than power-law) ξ(T)\xi(T) encodes. Verified: verify_rg-linearization-eigenvalues.py expands tanh⁡K′=tanh⁡2K\tanh K'=\tanh^2K in x=e−2Kx=e^{-2K} and finds x′→2xx'\to2x (so λ=2\lambda=2, yt=1y_t=1), explicitly flagging the x′=4xx'=4x base error; it also checks the disordered fixed point has λ=0\lambda=0.

Once the spectrum is known, the two relevant eigenvalues yty_t and yhy_h determine every critical exponent through the homogeneity of the singular free energy, fs(ut,uh)=b−dfs(bytut,byhuh)f_s(u_t,u_h)=b^{-d}f_s(b^{y_t}u_t,b^{y_h}u_h). That homogeneity relation follows because the free energy is extensive and rescales by the volume factor b−db^{-d}; extracting ν,α,β,γ,δ,η\nu,\alpha,\beta,\gamma,\delta,\eta from it is the dedicated task of the exponents article. As a consistency check we may invert the relations: given measured exponents, yt=1/νy_t=1/\nu and yh=(d+2−η)/2y_h=(d+2-\eta)/2. For the 2D Ising fixed point (ν=1\nu=1, η=1/4\eta=1/4) this returns yt=1y_t=1 and yh=15/8y_h=15/8, the exact Onsager values recalled from the two-dimensional solution.

Limiting cases

The spectrum specializes cleanly in the standard fixed points and regimes.

CaseResultMeaning
Gaussian fixed point, d>4d>4yt=2, yh=d+22y_t=2,\ y_h=\tfrac{d+2}{2}Eigenvalues from engineering dimensions; quartic yu=4−d<0y_u=4-d<0 irrelevant, mean-field exponents.
2D Ising fixed pointyt=1, yh=158y_t=1,\ y_h=\tfrac{15}{8}Exact Onsager values; give ν=1\nu=1, δ=15\delta=15, η=14\eta=\tfrac14.
1D Ising, T=0T=0λ=2, yt=1\lambda=2,\ y_t=1One relevant direction at T=0T=0; no finite-TT transition, ξ∼e2K\xi\sim e^{2K}.
Marginal directionyi=0, λi=1y_i=0,\ \lambda_i=1Linear 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 b=2b=2) is the upper-triangular matrix

T=(1.9840.5500.42).T=\begin{pmatrix}1.984 & 0.55\\ 0 & 0.42\end{pmatrix}.

Find the two scaling dimensions and classify the directions.

Step 1. For an upper-triangular matrix the eigenvalues are the diagonal entries: λt=1.984\lambda_t=1.984 and λu=0.42\lambda_u=0.42.

Step 2. Convert with b=2b=2. The thermal direction: yt=ln⁡(1.984)/ln⁡2=0.6853/0.6931=0.988y_t=\ln(1.984)/\ln 2=0.6853/0.6931=\mathbf{0.988}, positive — relevant. The quartic direction: yu=ln⁡(0.42)/ln⁡2=−0.8675/0.6931=−1.252y_u=\ln(0.42)/\ln 2=-0.8675/0.6931=\mathbf{-1.252}, 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 bb-independence numerically. Take the same matrix TT and compose it with itself, T2T^2, which represents a single RG step of b′=b2=4b'=b^2=4. Verify that the thermal scaling dimension is unchanged.

Step 1. The relevant eigenvalue of T2T^2 is λt2=1.9842=3.936\lambda_t^2=1.984^2=3.936.

Step 2. Convert with b′=4b'=4: yt=ln⁡(3.936)/ln⁡4=1.3705/1.3863=0.988y_t=\ln(3.936)/\ln 4=1.3705/1.3863=\mathbf{0.988}.

Step 3. This is the same 0.9880.988 found in Example 1 with b=2b=2. The scaling dimension is invariant under the choice of rescaling factor, as the semigroup argument guarantees — a numerical confirmation that yiy_i, not λi\lambda_i, is the physical quantity.

Recall the tools we lean on

The decimation recursion tanh⁡K′=tanh⁡2K\tanh K'=\tanh^2K linearized above is derived in Decimation and the One-Dimensional Ising RG, and the exact 1D correlation length ξ=−1/ln⁡tanh⁡K\xi=-1/\ln\tanh K 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 yt,yhy_t,y_h into the numbers ν,α,β,γ,δ,η\nu,\alpha,\beta,\gamma,\delta,\eta 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 ϵ\epsilon-expansion and Wilson–Fisher articles. This one supplies the spectrum they all consume.

Origins · 1 minrunning coupling and how this was discovered
RC
running coupling
the RG eigenvalue that fixes critical scaling · A running coupling is a parameter whose value depends on the scale at which you look — precisely what the linearized RG produces, since each scaling field uiu_i grows or shrinks as ui′=byiuiu_i' = b^{y_i} u_i under coarse-graining. The exponents yiy_i became the central quantities of critical phenomena through the renormalization-group work of the early 1970s: Kadanoff's 1966 block-spin scaling already assigned dimensions to the thermal and magnetic fields; Wilson's 1971 formulation identified them as eigenvalues of the linearized flow; and Wegner (1972) systematized the scaling fields. A running coupling is not a person but the eigen-direction whose flow turns coarse-graining into measurable power laws.

History
1966
— Kadanoff assigns thermal and magnetic scaling dimensions in the block-spin picture
1971
— Wilson identifies scaling dimensions as eigenvalues of the linearized RG flow
1972
— Wegner formalizes scaling fields and the classification of operators by their RG eigenvalues
1972
— Wilson and Fisher compute the leading scaling dimensions of the nontrivial fixed point in the ε-expansion
1974
— Wilson and Kogut's review sets out the eigenvalue-spectrum framework in full

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 Tij=∂Ki′/∂KjT_{ij}=\partial K_i'/\partial K_j, the semigroup argument λi(b)=byi\lambda_i(b)=b^{y_i}, and the scaling-field construction follow Kardar (Ch. 4) and Goldenfeld (Ch. 9). The 1D Ising decimation spectrum is computed here from the recursion tanh⁡K′=tanh⁡2K\tanh K'=\tanh^2K (Pathria Ch. 13, Reif). The homogeneity relation and exponent inversions yt=1/νy_t=1/\nu, yh=(d+2−η)/2y_h=(d+2-\eta)/2 are standard; the exponent formulas themselves are derived in the dedicated exponents article. The 2D Ising eigenvalues yt=1y_t=1, yh=15/8y_h=15/8 are exact (Onsager). A base-error correction is recorded: the 1D decimation eigenvalue in x=e−2Kx=e^{-2K} is λ=2\lambda=2, yt=1y_t=1 (from x′=2xx'=2x), not λ=4\lambda=4, yt=2y_t=2.

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 K1K_1 or K2K_2 is a bare parameter of the Hamiltonian; under the RG the different couplings mix, so no single one flows cleanly. A scaling field uiu_i is a special linear combination of the deviations δKj\delta K_j — an eigenvector of the linearized map — chosen precisely so that it does not mix with the others. Each scaling field flows on its own, ui′=byiuiu_i'=b^{y_i}u_i. 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 bb rather than some other function?

Because RG steps compose: coarse-graining by b1b_1 then b2b_2 equals one step by b1b2b_1b_2. Along a fixed eigendirection this forces the eigenvalue to satisfy λ(b1)λ(b2)=λ(b1b2)\lambda(b_1)\lambda(b_2)=\lambda(b_1b_2). The only continuous positive function obeying that multiplicative law is a power, λ(b)=by\lambda(b)=b^y. So the power-law form is not an assumption — it is dictated by the semigroup structure of the renormalization group, and the exponent yy is what carries the physics.

If a direction is marginal (y=0y=0), what determines its fate?

Linear analysis is silent, because λ=1\lambda=1 means the deviation neither grows nor shrinks at first order. The answer comes from the leading nonlinear term, say u′=u+au2u'=u+au^2. If aa has the sign that makes uu grow, the direction is marginally relevant and flows slowly to large coupling; if it makes uu shrink, it is marginally irrelevant and produces logarithmic corrections to scaling. The upper critical dimension d=4d=4 is the classic marginal case — hence the logarithmic corrections to mean-field behaviour there.

Why is the 1D Ising eigenvalue so often quoted as λ=4\lambda=4?

It comes from a sign-innocent but wrong expansion. In the variable x=e−2Kx=e^{-2K}, one must expand tanh⁡K′=tanh⁡2K\tanh K'=\tanh^2K carefully; using tanh⁡K=(1−x)/(1+x)\tanh K=(1-x)/(1+x) gives tanh⁡2K=1−4x+…\tanh^2K=1-4x+\dots, but the conversion back to x′x' through tanh⁡K′=(1−x′)/(1+x′)\tanh K'=(1-x')/(1+x') halves that, yielding x′=2xx'=2x, not 4x4x. Dropping the second step leaves the spurious factor of 44. The correct eigenvalue is λ=2\lambda=2 and yt=1y_t=1, consistent with the exact exponential divergence ξ∼e2K\xi\sim e^{2K} 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 yi<0y_i<0 shrinks by byi<1b^{y_i}<1 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 (yt,yhy_t,y_h) 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 yty_t and yhy_h measured in a simulation?

Through finite-size scaling. At criticality, thermodynamic quantities scale with the system size LL as powers set by the relevant eigenvalues: the susceptibility peak grows as L2yh−dL^{2y_h-d}, and the temperature-derivative of the Binder cumulant grows as LytL^{y_t}. Running the model at several sizes and fitting these growths gives yhy_h and yty_t directly, without ever writing down the RG map explicitly. Every other exponent then follows from the two eigenvalues via the scaling relations.

Before this

Where this leads