Fixed Points of the RG
Two magnets, a liquid boiling in a kettle, and a strip of alloy losing its order at high temperature look nothing alike at the atomic scale, yet at their critical points they obey the same power laws with the same exponents. The renormalization group explains this by treating a physical system not as a fixed Hamiltonian but as a moving point in an infinite-dimensional space of coupling constants, dragged along by repeated coarse-graining. Everything universal about criticality is encoded in the special points of that motion where the dragging stops — the fixed points. A fixed point satisfies : a Hamiltonian that reproduces itself after you blur out short-distance detail and shrink the picture back by a factor . It is a theory with no preferred length scale. Since coarse-graining reports every length in units stretched by , the correlation length obeys , and self-consistency at a fixed point forces . For this has only two solutions: , a critical fixed point that governs a continuous phase transition, or , a trivial fixed point describing a featureless bulk phase such as the fully ordered ferromagnet or the high-temperature paramagnet. This article defines fixed points, shows why their correlation length is quantized to zero or infinity, and classifies them as attractors (sinks) or saddles by whether nearby trajectories flow in or out. We solve the fixed points of an exactly tractable example — the one-dimensional Ising decimation map — by hand, finding the disordered sink and the zero-temperature critical point, and we read off why one dimension has no finite-temperature transition. We then survey the Gaussian fixed point and note where the Wilson–Fisher fixed point takes over below four dimensions. How the eigenvalues around a fixed point turn into critical exponents is the job of the following articles; here we build the object those articles stand on.
- A fixed point of the renormalization group is a scale-invariant Hamiltonian, : it looks statistically identical at every magnification.
- Because coarse-graining sends , a fixed point must have (a trivial sink — a stable bulk phase) or (a critical fixed point — a continuous transition).
- Fixed points organize the flow: trivial ones are sinks that attract whole regions (phases); critical ones are saddles, attracting along the critical surface and repelling along relevant directions.
- The 1D Ising decimation map has a stable sink at and a critical fixed point only at () — a hand-solvable proof that 1D has no finite- transition.
- Above four dimensions the Gaussian fixed point is stable (mean-field behaviour); below four the quartic coupling turns relevant and the Wilson–Fisher fixed point takes over.
- Key idea: a fixed point is where coarse-graining stops changing the theory; its correlation length is pinned to or , and the critical fixed point — a saddle with — is the single object every model in a universality class flows toward.
A fixed point is a scale-invariant Hamiltonian ; because under coarse-graining it must have (trivial sink) or (critical), and the critical fixed point is the saddle that every microscopically distinct model in one universality class flows toward.
Where this lives today
Fixed points are now the organizing objects of an enormous swath of physics well beyond magnets. In high-energy physics, an ultraviolet fixed point at vanishing coupling is asymptotic freedom — the reason quarks behave almost freely at short distances — while infrared fixed points underlie the scale-invariant correlation functions of conformal field theories. In condensed matter, the conformal-bootstrap program pins down the 3D Ising fixed point's exponents to extraordinary precision (, ) by demanding self-consistency of a scale-invariant theory, and quantum critical points — fixed points of a zero-temperature RG — are invoked to explain strange-metal behaviour in high- superconductors and heavy-fermion compounds. Whenever a system shows power laws that ignore its microscopic makeup, a fixed point is lurking behind them.
The physical picture
Photograph a spin configuration, blur out every detail finer than a block of size , then shrink the photo back to its original size. A fixed point is a configuration whose statistics are unchanged by this operation — it looks the same at every zoom level. Only two kinds of picture have no preferred scale: one where fluctuations of every size coexist (, a critical system) and one that is perfectly uniform (, a pure phase with no fluctuations at all). Any finite correlation length would single out a special size and get magnified away. Now picture the space of all couplings as a landscape and the coarse-graining operation as water flowing downhill. Trivial fixed points are sinks: they pull in every nearby trajectory, so they sit at the bottom of whole basins — the deep interior of the ordered phase, the deep interior of the disordered phase. A critical fixed point is different: it is a saddle. Along most directions (the irrelevant ones, spanning the critical surface) it attracts; along a few special directions (the relevant ones, like temperature offset and magnetic field) it repels.
A real material tuned near its transition sits slightly off the critical surface. The flow carries it ever closer to the saddle, and it lingers there — because a saddle is slow — before the relevant directions finally fling it toward one phase or the other. The long time spent near the saddle is exactly what makes the correlation length enormous near . Universality is then almost a tautology: the saddle, not the starting material, governs the long-distance physics, so a uniaxial magnet and a boiling liquid that flow to the same saddle share identical exponents. Their microscopic differences were irrelevant directions that washed out on the way in.
Counting the relevant directions tells you how much tuning criticality needs. The ordinary Ising critical point has two relevant fields — temperature offset and field — so you must set two knobs (cool to , zero the field) to sit on it. A tricritical point has an extra relevant direction and demands an extra tuning. The number of relevant eigenvalues is therefore the codimension of the special point in the phase diagram.
The core equations
A fixed point is defined by the single requirement that the RG map returns it unchanged. Because the map coarse-grains by a linear factor and then rescales, its output is a new set of couplings ; the fixed point is where output equals input.
where: — the RG transformation, coarse-grain by factor then rescale lengths; — a point in coupling space, the full list of symmetry-allowed couplings; — the fixed point, invariant under for all . Physically is a Hamiltonian identical to itself at every scale — a scale-invariant theory. The one macroscopic length in the problem is the correlation length , and it must be reported in the coarsened units. This is the constraint that pins a fixed point's correlation length.
where: — correlation length in lattice units; — rescaling factor. Reading it physically: at a fixed point the second equation has, for , only the solutions and . A featureless phase () and a critical system () are the only scale-free states. Near a fixed point the nonlinear map becomes a matrix. Writing , the leading response is the Jacobian evaluated at ; its full eigen-analysis is developed in the linearization article, but the object itself is defined here.
where: — linearized RG map (Jacobian) at the fixed point; — deviation. The eigenvalues of decide whether attracts or repels along each direction — the criterion that sorts fixed points into sinks and saddles. The classification of a fixed point is then geometric: it is a sink if every eigenvalue pulls inward, a saddle (critical) if at least one direction pushes outward. The stable directions span the critical surface; the unstable ones are the relevant fields.
where: stable/unstable is decided by whether an eigenvalue shrinks or grows a deviation under . Reading it physically: the number of unstable (relevant) directions equals the number of parameters you must tune to place a real system exactly on the fixed point.
We prove the single most distinctive property of any RG fixed point — that its correlation length can only be zero or infinity — directly from how coarse-graining rescales lengths. The strategy is short but rigorous: track the one macroscopic length, , through a coarse-graining step; it is reported in the new, expanded units, so it shrinks by ; imposing the fixed-point condition then turns this into an exact algebraic constraint on whose only solutions are the two scale-free values. This is what makes a fixed point a scale-invariant theory rather than one with some special finite length.
Step 1. After one RG step every physical length is measured in units stretched by , so the correlation length of the coarse-grained system is reported as
Nothing physical has changed about the correlation of fluctuations; only the ruler has been rescaled.
Step 2. At a fixed point the coarse-grained Hamiltonian equals the original, , so it must have the same correlation length. Substituting into Step 1,
Step 3. For the equation has only the solutions
No finite nonzero value survives: would become , contradicting invariance. Why the two solutions mean opposite things. A featureless bulk phase has (a trivial sink — no fluctuations to correlate), while a critical system has (fluctuations of every size, no preferred scale). Both are scale-free, which is exactly why only they can be fixed points; everything in between is dragged toward one of them by the flow. Verified: verify_rg-fixed-points.py solves symbolically and confirms is the only finite solution (with the scale-invariant critical value).
Go deeper · Derivation B · 2 minFixed points of the 1D Ising decimation map
We solve, exactly and by hand, the fixed points of a real RG map — the decimation of the one-dimensional Ising chain — to make the abstract concrete. The strategy is to sum over every second spin, which produces an effective coupling between the survivors, giving a closed recursion ; we then locate its fixed points, test their stability with , and read the physical meaning off the result. The recursion itself is derived in the decimation article; here we take it as given and mine it for its fixed-point structure. Watch for the subtlety that the ordered fixed point lives at , which is best examined in the variable .
Step 1. The decimation of the nearest-neighbour chain (zero field) yields the exact recursion, in two equivalent forms,
where is the dimensionless coupling. Both forms describe the same map; the second is cleaner for the algebra.
Step 2. A fixed point satisfies . Setting gives , so or , i.e.
Step 3. Test . Differentiating the first form, , so . Since , the disordered fixed point is attractive: it is a stable sink. Indeed for every finite (because ), so any starting temperature flows down to . Why this already settles the physics. Every finite-temperature chain drains to the disordered sink under coarse-graining. There is no finite- fixed point in between, so there is no finite-temperature phase transition in one dimension.
Step 4. Examine in the variable , which sends as . Using and , expand for small :
The leading factor is , i.e. , so this fixed point is unstable (relevant): a chain infinitesimally warmer than flows away from order. The only critical point of the 1D Ising model sits at zero temperature. Why the factor is , not . A careless expansion (keeping the wrong power) suggests ; the correct leading term of in is . The eigenvalue is and the thermal exponent is , consistent with the exact chain result diverging exponentially (not as a power law) as . Verified: verify_rg-fixed-points.py solves , confirms the fixed points (with , attractive) and (with , repulsive), and iterates ; it flags the (not ) correction.
The general lesson of that example — a stable sink at high temperature, an unstable critical fixed point at the transition — repeats in higher dimensions, except that there the critical fixed point moves to a finite temperature and acquires an infinite correlation length. Two canonical higher-dimensional fixed points bracket the interesting range: the Gaussian fixed point of the free field, and the Wilson–Fisher fixed point that inherits its stability below four dimensions.
where: — RG eigenvalue of the quartic coupling at the Gaussian fixed point; — spatial dimension. Reading it physically: above four dimensions fluctuations are too weak to matter, the Gaussian (free-field) fixed point is stable, and mean-field exponents hold. At the quartic coupling is marginal, producing logarithmic corrections. Below four dimensions it turns relevant, the Gaussian point destabilizes, and a new stable critical fixed point — the Wilson–Fisher fixed point at with — branches off to govern the true critical behaviour. The construction of that fixed point and its exponents belongs to the Wilson–Fisher and -expansion articles; here we only place it in the classification.
Limiting cases
The character of a fixed point is read off from its correlation length and the signs of its eigenvalues.
| Case | Result | Meaning |
|---|---|---|
| Critical fixed point | , at least one | Scale-invariant theory of a continuous transition; a saddle in coupling space. |
| Trivial (sink) fixed point | , all | Featureless stable bulk phase (fully ordered or disordered); attracts a whole basin. |
| 1D Ising, disordered | , | Stable sink; every finite- chain flows here — no finite- transition. |
| 1D Ising, ordered | , () | Unstable critical point at only; diverges exponentially. |
| Gaussian FP, | Quartic coupling irrelevant; Gaussian point stable, mean-field exponents. | |
| Gaussian FP, | Quartic relevant; Gaussian destabilizes, Wilson–Fisher fixed point takes over. |
Worked examples
Example 1 — Decimating a 1D Ising chain toward its sink. Start a nearest-neighbour Ising chain at coupling (a moderate temperature) and apply the decimation map three times. Track the coupling and confirm the exact halving of the correlation length.
Step 1. Apply the map once: .
Step 2. Again: ; and once more . The coupling is collapsing toward the sink — the chain is coarse-graining into a disordered paramagnet, as it must in one dimension.
Step 3. Check the correlation length. Using (the exact 1D result), and . The ratio is exactly: one decimation step () halves the correlation length, the defining property of a fixed-point flow. The correlation length only diverges as , confirming the transition is at .
Example 2 — Where does the Gaussian fixed point lose control? A field theory just below the upper critical dimension has . Its quartic coupling starts at a small seed (in the natural units where the Gaussian eigenvalue is ). Using coarse-graining steps of , how many steps does it take for the quartic coupling to grow by a factor of ten, signalling that the Gaussian description has broken down?
Step 1. The quartic eigenvalue is : the coupling is relevant here, so it grows. Under one step .
Step 2. Require , i.e. . Rounding up, coarse-graining steps.
Step 3. Check: after 7 steps , indeed just over ten times the seed. The growing quartic coupling drives the flow off the Gaussian fixed point toward Wilson–Fisher — the concrete meaning of "the Gaussian fixed point is unstable below ."
Recall the tools we lean on
The decimation recursion used above is derived in Decimation and the One-Dimensional Ising RG; the exact 1D correlation length comes from One-Dimensional Ising Model and Transfer Matrix Method. How the eigenvalues of the linearized map become critical exponents is worked out in Linearization About a Fixed Point and Eigenvalue Spectrum and Critical Exponents from the RG; the full construction of the Wilson–Fisher fixed point lives in its own article. This one supplies the object those results act on.
Origins · 1 minfixed point and how this was discovered
Going further
References. Kardar, Statistical Physics of Fields, Ch. 4–5 · Goldenfeld, Lectures on Phase Transitions and the Renormalization Group, Ch. 9 · Cardy, Scaling and Renormalization in Statistical Physics, Ch. 3 · Wilson & Kogut, Phys. Rep. 12, 75 (1974) · Pathria & Beale, Statistical Mechanics, 3rd ed., Ch. 14 · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, Ch. 12.
Provenance. The fixed-point condition, the correlation-length constraint , and the sink/saddle classification follow Kardar (Ch. 4–5) and Goldenfeld (Ch. 9). The 1D Ising decimation fixed points are worked exactly here; the recursion and are standard (Pathria Ch. 13, Reif). The Gaussian eigenvalue and the Wilson–Fisher branch at are stated for classification only; their derivations are cited to the momentum-shell and Wilson–Fisher articles. Quoted conformal-bootstrap 3D Ising values (, ) are from Kos–Poland–Simmons-Duffin–Vichi (2016). A base-error correction is recorded: the 1D decimation eigenvalue in is (, ), not .
Builds on: The Renormalization Group Idea: Coarse-Graining and Rescaling · RG Flow in Coupling Space · Block-Spin (Real-Space) Renormalization Group · Decimation and the One-Dimensional Ising RG. Leads to: Linearization About a Fixed Point and Eigenvalue Spectrum · Relevant, Irrelevant, and Marginal Operators · Critical Exponents from the RG · Wilson–Fisher Fixed Point · Gaussian Fixed Point and Upper Critical Dimension.
Is a fixed point a specific temperature, or something else?
Neither a temperature nor a single material — it is a point in the abstract space of all couplings, invariant under coarse-graining. A given material traces a curve through that space as you vary temperature, and it crosses the critical surface at exactly one temperature (). But the fixed point itself sits at the far end of the flow, common to every material that shares the same dimension and symmetry. That is why one fixed point can govern a magnet and a boiling liquid at once.
Why must the correlation length be exactly zero or infinity, not just "very small" or "very large"?
Because the fixed-point equation is exact, not approximate. For any , the only real numbers unchanged by division by are and . A finite value like would become after one step — different from — so it cannot be a fixed point. The quantization is a rigorous consequence of scale invariance, not a modelling choice.
How can a saddle point "attract" and "repel" at the same time?
A saddle is like a mountain pass: uphill in some directions, downhill in others. Along the irrelevant directions (which span the critical surface) trajectories flow in toward the fixed point; along the relevant directions they flow out. A system placed exactly on the critical surface is captured; one placed slightly off is first drawn near, then flung away toward a phase. The competition between these behaviours is what makes the correlation length large but finite near, though not at, .
The 1D Ising model has a fixed point at — does that count as a phase transition?
It is a zero-temperature critical point, not a finite-temperature transition. The correlation length diverges only as , and it diverges exponentially () rather than as a power law. So one dimension orders only at absolute zero, and there is no finite- transition — exactly what the decimation flow shows by draining every finite-temperature chain to the disordered sink. Genuine finite- critical fixed points appear only in two or more dimensions.
Why does the Gaussian fixed point stop working below four dimensions?
The quartic (interaction) coupling has RG eigenvalue . Above four dimensions this is negative, so the interaction is irrelevant: it decays under coarse-graining, the free-field (Gaussian) description survives, and you get mean-field exponents. Below four dimensions turns positive — the interaction grows — so the Gaussian fixed point becomes unstable. The flow then funnels critical trajectories into a new, stable fixed point (Wilson–Fisher) whose exponents differ from mean-field. Four is therefore the upper critical dimension for this class.
If exponents come from the eigenvalues, why isn't that derivation in this article?
Scope. This article establishes what a fixed point is — the invariance condition, the quantization, and the sink/saddle classification — and identifies the relevant directions as the eigenvalues that repel. Turning those eigenvalues into the numbers requires linearizing the map (next article) and feeding the two relevant eigenvalues into the free-energy homogeneity relation, which is the dedicated job of Critical Exponents from the RG. Keeping the derivation there avoids repeating it in every RG article.
How many parameters do I have to tune to reach a given fixed point?
Exactly the number of relevant directions (positive eigenvalues) at that fixed point. The ordinary Ising critical point has two — temperature offset and magnetic field — so you tune two knobs. A tricritical point has three, requiring an extra thermodynamic variable (like a vacancy concentration). This count is the codimension of the special point in the phase diagram, and it is one of the most useful things a fixed point tells you before you compute a single exponent.