RG Flow in Coupling Space

Coarse-grain a statistical system once — average over the short-wavelength fluctuations and shrink lengths by a factor bb — and you get an effective description with a new set of coupling constants. Do it again and again, and the representative point of the system traces a path through the space of all possible couplings. This path is the renormalization-group flow, and its geometry, not any single Hamiltonian, is where phases, transitions, and universal exponents are actually encoded. The arena is enormous: each coarse-graining step generates new couplings that must themselves be tracked, so the natural setting is an infinite-dimensional space {K}=(K1,K2,… )\{K\}=(K_1,K_2,\dots). The transformations that advance the flow, K′=Rb(K)K'=R_b(K), form a semigroup rather than a group — coarse-graining discards information and cannot be undone, so RbRb′=Rbb′R_bR_{b'}=R_{bb'} holds but no inverse exists, and the flow has a definite direction toward long distances. Drawn as arrows on the coupling landscape, most trajectories drain into trivial sinks that describe bulk phases (the high-temperature paramagnet, the low-temperature ordered state). Only trajectories balanced exactly on a ridge — the critical surface — flow instead toward a special saddle, the critical fixed point. Criticality is that knife-edge condition. This flow geometry explains universality with almost no further input. Two microscopically different systems that happen to lie on the same critical surface flow, under repeated coarse-graining, to the same fixed point, and therefore share critical exponents and scaling functions. Their differences correspond to directions that decay along the flow — they wash out. The same topology also accounts for crossover, when a trajectory lingers near one fixed point before another captures it, and for the way dimensionality can change which fixed point is stable. This article develops the flow itself: its semigroup structure, the critical surface as a basin of attraction, the counting of relevant directions, and how a single flow diagram makes universality visible. What the fixed points are, how the flow linearizes near them, and how the resulting eigenvalues become exponents are the tasks of the companion articles; here we map the terrain they inhabit.

Key takeaways
  • The RG flow is the sequence of images K,Rb(K),Rb2(K),…K,R_b(K),R_b^2(K),\dots traced through the infinite-dimensional space of couplings by repeated coarse-graining K′=Rb(K)K'=R_b(K).
  • The transformations form a semigroup (RbRb′=Rbb′R_bR_{b'}=R_{bb'}, no inverse) — coarse-graining is irreversible, so the flow runs one way, toward long distances.
  • The critical surface is the set of couplings with ξ=∞\xi=\infty: the basin of attraction of the critical fixed point along its stable (irrelevant) directions. Its codimension equals the number of relevant directions.
  • Universality is a picture: any two models on the same critical surface flow to the same fixed point, so their long-distance physics depends only on the few relevant eigenvalues, not on microscopic detail.
  • The flow also encodes crossover (lingering near one fixed point before another takes over, with exponent ϕ=y2/y1\phi=y_2/y_1) and corrections to scaling (slow decay along the least-irrelevant direction).
  • Key idea: phases, transitions, and universal exponents live not in any single Hamiltonian but in the global topology of trajectories that repeated coarse-graining draws through coupling space — sinks, saddles, critical surfaces, and basins of attraction.
The core insight

Phases, transitions, and universal exponents are encoded not in any single Hamiltonian but in the global topology of the trajectories that repeated coarse-graining draws through coupling space — the fixed points, their stable and unstable manifolds, and the basins of attraction separating them.

Where this lives today

The flow picture is now the everyday language of critical phenomena across physics. Functional renormalization group methods integrate the coupling-space flow numerically for problems from ultracold atomic gases to the strong-interaction phase diagram of quantum chromodynamics, tracking the flow of many (often thousands of) effective couplings simultaneously. In cosmology the same flow logic underlies the running of couplings from the early universe to today, and the search for an ultraviolet fixed point drives the asymptotic-safety program for quantum gravity. Closer to the laboratory, the crossover geometry described here explains why experimentally extracted effective critical exponents in real magnets and fluids can appear to drift as TcT_c is approached: the system is following a trajectory that lingers near a mean-field-like fixed point before the true asymptotic fixed point captures it, exactly the scenario the crossover scaling function describes.

The physical picture

Picture the space of all symmetry-allowed couplings as a landscape, and draw the coarse-graining operation as a field of arrows. Repeatedly coarse-graining a system slides its representative point along those arrows. Almost every starting point drains into a trivial sink — a pure phase where the correlation length has collapsed to zero. Only points balanced precisely on a ridge flow instead toward a saddle, and that ridge is the critical surface: the set of Hamiltonians whose correlation length is infinite.

Figure
The RG flow: two microscopically different models flow to the same critical fixed point
Universality as flow: distinct starts on the critical surface reach one fixed point critical surface ξ = ∞ critical fixed point model A (a magnet) model B (a fluid) disordered sink ordered sink relevant: t (off-surface)

Distance travelled along the flow corresponds to length scale. One step coarse-grains by a factor bb; nn steps reach scale bnb^n. The correlation length, measured in the coarsened lattice, shrinks by bb each step, so any finite correlation length must eventually flow to zero — a sink. Only where ξ=∞\xi=\infty can a trajectory come to rest at a nontrivial fixed point without shrinking away, which is why criticality and scale invariance are the same statement. The saddle, not the starting point, governs the long-distance physics — this is the picture-level content of universality. A uniaxial magnet and a liquid near its boiling point have utterly different microscopic Hamiltonians, but if both sit on the critical surface of the same fixed point, they flow to it and inherit its exponents. Their microscopic differences are directions that decay along the flow, surviving only as small corrections. And because the same diagram, drawn with different dimensionality, can move which fixed point is the stable critical one, watching the flow as dd crosses four dimensions is the clearest way to see why an upper critical dimension exists at all.

Figure
Crossover: a trajectory lingers near one fixed point before another captures it
Crossover: the flow passes near FP₁, then is captured by FP₂ FP₁ FP₂ (true asymptotic) start ξ ≈ ξ× (crossover) mimics FP₁ physics true FP₂ physics φ = y₂⁄y₁

The core equations

The flow is generated by a single map that advances one coarse-graining step. Everything else is the geometry of iterating it.

K′=Rb(K)(1)K' = R_b(K) \qquad (1)

where: K=(K1,K2,… )K=(K_1,K_2,\dots) — a point in coupling space, the full set of symmetry-allowed couplings; RbR_b — the coarse-grain-and-rescale transformation with linear factor b>1b>1; K′K' — the renormalized couplings after one step. Reading it physically: the sequence K,Rb(K),Rb2(K),…K,R_b(K),R_b^2(K),\dots is the trajectory whose shape encodes the phase diagram. The maps satisfy RbRb′=Rbb′R_bR_{b'}=R_{bb'} for b,b′>1b,b'>1, but they generally have no inverse, so they form a semigroup rather than a group — the defining structural fact of the RG.

Rb∘Rb′=Rbb′(2)R_b\circ R_{b'} = R_{bb'} \qquad (2)

where: ∘\circ — composition of successive steps. Reading it physically: coarse-graining by bb then b′b' rescales lengths by bb′bb' in total, so the maps compose with multiplying scale factors. Because each step sums over (discards) short-wavelength degrees of freedom, no inverse Rb−1R_b^{-1} exists; the structure is a semigroup, and the flow has a definite arrow toward long distances.

Derivation AThe semigroup: why the flow runs only one way

The point of this derivation is to establish the algebraic backbone of the renormalization group — that its transformations compose with multiplying scale factors but admit no inverse — and to draw out the physical consequence that the flow is directed. The strategy is to follow what one coarse-graining step does to lengths and to information separately: lengths combine multiplicatively under composition, giving RbRb′=Rbb′R_bR_{b'}=R_{bb'}, while information is irreversibly lost, forbidding an inverse. The two together make the RG a semigroup rather than a group, and that single fact underlies the arrow of the flow and the eventual decay of irrelevant couplings.

Step 1. Coarse-graining by bb and then by b′b' rescales lengths by the product bb′bb', since each step multiplies the coarse-graining scale. Applied to the effective Hamiltonian this reads

Rb∘Rb′=Rbb′.R_b\circ R_{b'} = R_{bb'}.

Step 2. Each step integrates out — sums over — the short-wavelength degrees of freedom, irreversibly discarding their information. The partition function is preserved, but the microscopic configurations that produced a given coarse-grained state cannot be reconstructed.

Step 3. Because no transformation can restore the eliminated degrees of freedom, Rb−1R_b^{-1} does not exist. The composition law (2)(2) holds but there is no inverse element: the structure is a semigroup, not a group. Why this fixes the direction of the flow. Since the map only runs toward longer distances, trajectories have a well-defined forward direction. Irrelevant couplings therefore decay as the flow proceeds — there is no reverse flow that could regrow them — which is exactly why microscopic detail is progressively forgotten and universality can emerge. Note: along any scaling direction the scale factors multiply as b1y b2y=(b1b2)yb_1^y\,b_2^y=(b_1b_2)^y, and a power law is the unique solution of the composition constraint — a non-power form fails it.

The correlation length is measured in the coarsened units, so it shrinks by bb at every step — the fact that pins fixed points and drives finite trajectories to sinks.

ξ(K)=b ξ ⁣(Rb(K))(3)\xi(K) = b\,\xi\!\big(R_b(K)\big) \qquad (3)

where: ξ\xi — correlation length in lattice units; bb — rescaling factor. Reading it physically: one step reports every length in units expanded by bb, so ξ\xi is quoted as ξ/b\xi/b; iterating the RG drives the correlation length measured in coarse-grained lattice units toward zero for any phase with finite physical correlation length (a sink) while ξ=∞\xi=\infty is the only value that can survive to a nontrivial fixed point. The fixed-point condition and its consequence ξ∗∈{0,∞}\xi^*\in\{0,\infty\} are established in the companion article on fixed points; the flow simply carries ξ\xi downhill toward the sinks. The critical surface is defined by that surviving value of the correlation length, and its dimensionality is set by the number of relevant directions.

critical surface={K:ξ(K)=∞},codim⁡=#{relevant directions}(4)\text{critical surface} = \{K:\xi(K)=\infty\},\qquad \operatorname{codim} = \#\{\text{relevant directions}\} \qquad (4)

where: codim — codimension, the number of directions transverse to the surface. Reading it physically: the critical surface is the stable manifold of the critical fixed point, consisting of trajectories that flow into it under repeated coarse-graining; you leave it only along relevant directions, so the count of those directions is exactly how many parameters you must tune to sit on the surface. For the ordinary critical point there are two — reduced temperature tt and field hh — so the critical surface has codimension two. When two relevant directions have different rates, a trajectory can be governed by one before the other, producing crossover with a characteristic exponent.

ξ∼∣u1∣−1/y1 Φ ⁣(u2∣u1∣ϕ/y1),ϕ=y2y1(5)\xi \sim |u_1|^{-1/y_1}\,\Phi\!\left(\frac{u_2}{|u_1|^{\phi/y_1}}\right),\qquad \phi=\frac{y_2}{y_1} \qquad (5)

where: u1,u2u_1,u_2 — two relevant scaling fields with rates y1>y2>0y_1>y_2>0; ϕ\phi — crossover exponent; Φ\Phi — a scaling function. Reading it physically: the dimensionless argument u2/∣u1∣ϕ/y1u_2/|u_1|^{\phi/y_1} decides whether the system still shows the first fixed point's behaviour or has crossed over to the asymptotic one; along the critical surface (u1=0u_1=0) the crossover length scales as ξ×∼u2−1/y2\xi_\times\sim u_2^{-1/y_2}, while more generally crossover is controlled by the scaling variable u2/∣u1∣ϕ/y1u_2/|u_1|^{\phi/y_1}.

Go deeper · Derivation B · 2 minUniversality and crossover from the flow topology
Derivation BUniversality and crossover from the flow topology

Here we show that the two most important qualitative features of critical phenomena — universality and crossover — follow directly from the shape of the flow, without computing a single exponent. The strategy is to treat the flow near a fixed point as a set of independent scaling directions (a result imported by name from the linearization article), and then reason purely geometrically: irrelevant directions decay, so different starting points on the critical surface converge (universality); when two relevant directions compete, their ratio is conserved along the flow and defines a crossover exponent. No free energy and no exponents are derived here; those are the job of the exponents article.

Step 1. Near a fixed point the flow decouples into scaling fields uiu_i that transform multiplicatively, ui′=byiuiu_i'=b^{y_i}u_i (established by linearizing the map — see the linearization article). Relevant fields have yi>0y_i>0, irrelevant fields yi<0y_i<0.

Step 2. Universality. Take two starting Hamiltonians on the critical surface: both have all relevant fields set to zero (ut=0u_t=0) but different irrelevant fields uiu_i. Under the flow each irrelevant field shrinks as bnyi→0b^{ny_i}\to0, so both trajectories converge to the same fixed point u=0u=0.

ui(n)=bnyiui(0)→n→∞0,yi<0.u_i(n)=b^{ny_i}u_i(0)\xrightarrow[n\to\infty]{}0,\qquad y_i<0.

Because the asymptotic physics is read off the fixed point, both models share the same exponents — universality. Why microscopic detail washes out. The differences between the two models lived entirely in irrelevant directions; the one-way flow erodes them. Only the relevant eigenvalues, common to both, survive to control the long-distance behaviour.

Step 3. Crossover. Now keep two relevant fields with y1>y2>0y_1>y_2>0. Along the flow the combination

u2u1 y2/y1=const,\frac{u_2}{u_1^{\,y_2/y_1}} = \text{const},

because u1→bny1u1u_1\to b^{ny_1}u_1 and u2→bny2u2u_2\to b^{ny_2}u_2 scale the numerator and denominator identically. This RG-invariant ratio labels the trajectory.

Step 4. The dimensionless argument u2/∣u1∣ϕu_2/|u_1|^{\phi} with ϕ=y2/y1\phi=y_2/y_1 therefore controls which behaviour is seen: for ξ≪ξ×∼u2−1/y2\xi\ll\xi_\times\sim u_2^{-1/y_2} the system mimics the first fixed point; for ξ≫ξ×\xi\gg\xi_\times the true asymptotic fixed point takes over. A weak symmetry-breaking term (cubic anisotropy, weak dipolar coupling) is often such a slowly-growing field, explaining the apparent exponent drift seen in real experiments before the asymptotic regime sets in. In a two-field toy flow, two distinct critical-surface starts both converge to the fixed point (universality), a point off the surface runs away, and the ratio u2/u1y2/y1u_2/u_1^{y_2/y_1} is RG-invariant with ϕ=y2/y1\phi=y_2/y_1.

Limiting cases

The flow simplifies in several controlled regimes.

CaseResultMeaning
On the critical surfaceut=0u_t=0, all irrelevant ui→0u_i\to0Trajectory converges to the critical fixed point — the basis of universality.
Off the critical surfaceut≠0u_t\neq0 grows as bytb^{y_t}Trajectory is flung to a sink (a pure phase); the system is not critical.
On a fixed pointRb(K∗)=K∗R_b(K^*)=K^*, ξ∈{0,∞}\xi\in\{0,\infty\}Scale invariance; nontrivial fixed points have ξ=∞\xi=\infty (see fixed-points article).
Continuous (differential) RGdKi/dℓ=βi(K)\mathrm{d}K_i/\mathrm{d}\ell=\beta_i(K), b=eℓb=e^\ellThe discrete map becomes beta-function flow (momentum-shell RG, b=1+dℓb=1+\mathrm{d}\ell).
Two competing relevant fieldsϕ=y2/y1\phi=y_2/y_1, ξ×∼u2−1/y2\xi_\times\sim u_2^{-1/y_2}Crossover between two fixed points' behaviours.

Worked examples

Example 1 — Crossover exponent and the invariant ratio. A fixed point has a strongly relevant field u1u_1 with y1=1.0y_1=1.0 and a weakly relevant crossover field u2u_2 with y2=0.4y_2=0.4, starting at u1=0.03u_1=0.03, u2=0.05u_2=0.05. Find the crossover exponent and confirm the invariant ratio is conserved after twenty coarse-graining steps of b=2b=2.

Step 1. The crossover exponent is ϕ=y2/y1=0.4/1.0=0.4\phi=y_2/y_1=0.4/1.0=\mathbf{0.4}.

Step 2. The RG-invariant combination is u2/u1ϕ=0.05/0.030.4u_2/u_1^{\phi}=0.05/0.03^{0.4}. Now 0.030.4=e0.4ln⁡0.03=e0.4×(−3.507)=e−1.403=0.24590.03^{0.4}=e^{0.4\ln0.03}=e^{0.4\times(-3.507)}=e^{-1.403}=0.2459, so the ratio is 0.05/0.2459=0.20340.05/0.2459=\mathbf{0.2034}.

Step 3. After twenty steps of b=2b=2: u1→220×1.0×0.03u_1\to2^{20\times1.0}\times0.03 and u2→220×0.4×0.05u_2\to2^{20\times0.4}\times0.05. The ratio becomes u2/u10.4=(28×0.05)/(220×0.03)0.4=(28×0.05)/(28×0.030.4)=0.05/0.030.4=0.2034u_2/u_1^{0.4}=(2^{8}\times0.05)/(2^{20}\times0.03)^{0.4}=(2^{8}\times0.05)/(2^{8}\times0.03^{0.4})=0.05/0.03^{0.4}=\mathbf{0.2034} — identical to Step 2. The ratio is conserved along the flow, as the derivation requires; the factor 282^8 cancels exactly because y2=ϕ y1y_2=\phi\,y_1.

Example 2 — How fast does microscopic detail wash out? An irrelevant scaling field with y=−0.8y=-0.8 starts at u=1u=1. Using coarse-graining steps of b=2b=2, how many steps are needed before it falls below one hundredth of its initial value, and what is its size then?

Step 1. Require 2yn=2−0.8n≤0.012^{yn}=2^{-0.8n}\le0.01, i.e. −0.8nln⁡2≤ln⁡0.01-0.8n\ln2\le\ln0.01, giving n≥ln⁡0.01/(−0.8ln⁡2)=(−4.605)/(−0.5545)=8.30n\ge\ln0.01/(-0.8\ln2)=(-4.605)/(-0.5545)=8.30. Rounding up, n=9\mathbf{n=9} steps.

Step 2. After nine steps the field is u9=2−0.8×9=2−7.2=0.0068u_9=2^{-0.8\times9}=2^{-7.2}=\mathbf{0.0068}, indeed below 0.010.01. The microscopic difference has shrunk to under one percent of its starting size — the concrete meaning of "irrelevant details wash out," and the reason two very different materials on the same critical surface end up sharing exponents. (The slowest such field sets the leading correction to scaling; for the 3D Ising class its rate is ω≈0.83\omega\approx0.83.)

Recall the tools we lean on

The fixed points that anchor the flow — the sinks and the critical saddle, and the proof that ξ∗∈{0,∞}\xi^*\in\{0,\infty\} — are established in Fixed Points of the RG. The scaling fields uiu_i and their multiplicative rates yiy_i, used above without re-derivation, come from Linearization About a Fixed Point and Eigenvalue Spectrum. The classification of directions into relevant, irrelevant, and marginal is the subject of Relevant, Irrelevant, and Marginal Operators, and the conversion of the relevant eigenvalues yt,yhy_t,y_h into the numbers ν,β,γ,δ\nu,\beta,\gamma,\delta is done in Critical Exponents from the RG. This article supplies the flow geometry those results live on; the quoted 3D Ising exponents (β≈0.326\beta\approx0.326, ν≈0.630\nu\approx0.630, γ≈1.237\gamma\approx1.237, ω≈0.83\omega\approx0.83) are standard high-precision values.

Origins · 1 minrenormalization group flow and how this was discovered
RG
renormalization group flow
the trajectory structure of coarse-graining · The picture of critical phenomena as a flow through coupling space was Kenneth Wilson's decisive contribution, building on Leo Kadanoff's 1966 block-spin scaling. Wilson's 1971 papers recast the renormalization group — a term inherited from the 1950s field-theory work of Gell-Mann and Low and of Stueckelberg and Petermann — as an explicit semigroup of transformations whose fixed points and trajectories classify all continuous transitions, work honoured with the 1982 Nobel Prize. The renormalization-group flow is not a person but the central geometric object of the theory.

History
1954
— Gell-Mann and Low introduce a renormalization-group equation in quantum electrodynamics
1966
— Kadanoff's block-spin scaling suggests coarse-graining maps couplings to new couplings
1971
— Wilson formulates the RG as an explicit semigroup flow in coupling space
1972
— Wilson and Fisher introduce the ϵ=4−d\epsilon=4-d expansion and identify the Wilson–Fisher fixed point below four dimensions
1974
— Wilson and Kogut review the flow picture and its physical consequences

Going further

References. Pathria & Beale, Statistical Mechanics, 3rd ed., Ch. 14 · Kardar, Statistical Physics of Fields, Ch. 4–5 · Goldenfeld, Lectures on Phase Transitions and the Renormalization Group, Ch. 9–10 · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, Ch. 12 · Wilson & Kogut, Phys. Rep. 12, 75 (1974) · Cardy, Scaling and Renormalization in Statistical Physics, Ch. 3. The scaling-field structure ui′=byiuiu_i'=b^{y_i}u_i is established in the linearization article, and the exponent formulas ν=1/yt\nu=1/y_t, β=(d−yh)/yt\beta=(d-y_h)/y_t are derived in the critical-exponents article — they are cited here, not re-derived. Quoted 3D Ising numbers (β≈0.326\beta\approx0.326, ν≈0.630\nu\approx0.630, γ≈1.237\gamma\approx1.237, ω≈0.83\omega\approx0.83) are standard high-precision values (Pelissetto–Vicari, Phys. Rep. 368, 549 (2002)); the upper critical dimension du=4d_u=4 and ϵ=4−d\epsilon=4-d are textbook.

Builds on: The Renormalization Group Idea: Coarse-Graining and Rescaling · Block-Spin (Real-Space) Renormalization Group · Decimation and the One-Dimensional Ising RG · Fixed Points of the RG. Leads to: Linearization About a Fixed Point and Eigenvalue Spectrum · Relevant, Irrelevant, and Marginal Operators · Critical Exponents from the RG · Scaling Fields and Scaling Variables · Wilson–Fisher Fixed Point · Gaussian Fixed Point and Upper Critical Dimension.

What does "coupling space" actually contain — surely a model has just one or two couplings?

A bare model may start with one or two, but coarse-graining generates more. Averaging over short-wavelength spins produces effective interactions the original Hamiltonian did not have — next-nearest-neighbour couplings, four-spin couplings, and so on — and each must be tracked to describe the coarse-grained system exactly. So the honest arena is the infinite-dimensional space of all symmetry-allowed couplings. The power of the RG is that, near a fixed point, only a handful of these directions (the relevant ones) actually matter for long-distance physics.

Why does the flow have a direction — couldn't we run it backward?

No, and this is the semigroup point. Each coarse-graining step sums over short-distance degrees of freedom, throwing that information away. You cannot reconstruct the microscopic configuration from the coarse-grained one, so the transformation has no inverse. The flow therefore runs one way, toward longer distances. This directedness is not a technicality — it is why irrelevant couplings decay (there is no reverse flow to regrow them) and hence why microscopic detail is progressively forgotten, making universality possible.

How is the "critical surface" different from the fixed point?

The fixed point is a single point in coupling space where the flow stops; the critical surface is the whole manifold of Hamiltonians that flow into that fixed point along its stable (irrelevant) directions. Every point on the critical surface has ξ=∞\xi=\infty and belongs to the same universality class, but only the fixed point itself is scale-invariant. A real material at TcT_c sits somewhere on the critical surface and flows toward the fixed point; it is critical, but it is not the fixed point.

If exponents come from the flow, why aren't they derived in this article?

Scope. This article establishes the geometry — the semigroup, the critical surface, basins of attraction, and how universality and crossover follow from the flow's topology. Turning that geometry into numbers requires two further ingredients: linearizing the map to get the eigenvalues yt,yhy_t,y_h (the linearization article) and feeding those into the free-energy homogeneity relation (the critical-exponents article). Keeping the exponent derivation in its own article avoids repeating it and lets this one focus on the flow picture that all the RG articles share.

What is crossover, physically, and why do measured exponents seem to drift?

Crossover happens when a trajectory passes close to one fixed point before another finally captures it. Over a range of length scales the system mimics the first fixed point's behaviour, then switches to the true asymptotic one. Because effective exponents are read from whatever fixed point currently dominates, an experiment approaching TcT_c can see exponents that appear to change — say, mean-field-like far from TcT_c, then Ising-like very close. The crossover length ξ×∼u2−1/y2\xi_\times\sim u_2^{-1/y_2} and exponent ϕ=y2/y1\phi=y_2/y_1 quantify exactly where the switch occurs.

Does dimensionality really change the flow, or just the numbers?

It changes the topology. As the spatial dimension dd crosses four, the Gaussian and Wilson–Fisher fixed points exchange stability: above four dimensions the Gaussian fixed point is the stable critical one (mean-field exponents), and below four a new fixed point splits off at distance of order ϵ=4−d\epsilon=4-d and becomes the stable critical point instead. Watching this bifurcation in the flow diagram is the clearest picture of why an upper critical dimension exists and where the ϵ\epsilon-expansion comes from. The full construction of that new fixed point is the job of the Wilson–Fisher article.

Before this

Where this leads