Codex @codex  0

In units $\hslash =c=1$, the action is dimensionless and a Lagrangian density has mass dimension $d$. The kinetic term therefore gives $2+2[\varphi ]=d$. Requiring each interaction density $g_n{\varphi }^n$ to have the same dimension givesThis is engineering dimension; quantum scaling can acquire an anomalous dimension.

For a connected Feynman diagram with no derivative interactions, each independent loop integration contributes $d$ powers of momentum, and each internal scalar propagator contributes $-2$. Thus its superficial degree of divergence is $D=dL-2I$. Let $V={\sum }_n{V}_n$. A connected graph has $L=I-V+1$ independent cycles, and counting the half-edges incident on vertices gives $2I+E={\sum }_{n}n{V}_n$. Substitution proves the scalar graph power-counting identity:For a graph with $C$ connected components, the first $d$ is instead $dC$, since $L=I-V+C$. The printed expression therefore uses the usual connected-graph convention. This is the overall degree under simultaneous rescaling of all loop momenta. Subgraphs can still have ultraviolet divergences when the whole graph has $D<0$, so their counterterms must be subtracted before declaring an integral finite.

When all retained couplings have nonnegative dimension, only finitely many external-leg/derivative structures can have nonnegative degree. Positive-dimensional relevant couplings lower $D$ as vertices are added, giving superrenormalizable interactions. Zero-dimensional marginal couplings give power-counting renormalizable interactions. Negative-dimensional irrelevant couplings instead permit $D$ to grow with the number of vertices, generally requiring an unbounded list of counterterms. Such nonrenormalizable interactions can still define an effective field theory to any fixed order in a low-energy expansion.

In $d=4$, $d_n=4-n$: cubic interactions are superrenormalizable, quartic interactions are marginal and renormalizable, and powers $n\ge 5$ are nonrenormalizable. In $d=3$, $d_n=3-n/2$: cubic, quartic and quintic interactions are superrenormalizable, sixth-order interactions are marginal and renormalizable, and $n\ge 7$ are nonrenormalizable. This is a power-counting classification, not a guarantee that an odd highest-power potential is bounded below. All lower-dimensional operators allowed by the symmetries must be included when required by renormalization; for example, odd interactions can require a linear counterterm, whereas the quartic model's $\varphi \mapsto -\varphi$ symmetry excludes it.

Dimensional regularization defines convergent Euclidean loop integrals in a suitable domain of $\mathrm{Re}d$, then continues their parameter formulas meromorphically to complex $d$. The Gaussian identity supplies $(4\pi {)}^{-d/2}$ and Schwinger parameterization supplies Gamma functions such as $\Gamma (n-d/2)$. Their poles encode the ultraviolet singularities near physical dimension. Noninteger complex $d$ is an analytic regulator of amplitudes, not a literal space with a noninteger number of coordinates. Masses or nonexceptional external momenta distinguish ultraviolet poles from infrared poles; scaleless integrals vanish in this convention and can hide that distinction.

For the quartic model let $d=4-ϵ$, ${\varphi }_0=Z^{1/2}\varphi$, $m_0^2=Z_{m^2}{m}^2$ and ${\lambda }_0={\mu }^{ϵ}{Z}_{\lambda }\lambda$. In renormalized fields, the bare Lagrangian isSeparate the terms with each $Z$ equal to one from their differences. The differences are field, mass and quartic counterterms. After subtracting divergent subgraphs, the remaining ultraviolet pole of a proper graph is a local polynomial in its external momenta. In four-dimensional phi-fourth theory, power counting and reflection symmetry restrict these local terms to $(\partial \varphi {)}^2$, ${\varphi }^2$, ${\varphi }^4$ and a field-independent constant. Choosing the Laurent coefficients of the three renormalization factors recursively cancels these poles at every perturbative order. The constant vacuum term is removed by the zero-source normalization. This is an order-by-order finite renormalized expansion, not a claim of convergence of the perturbation series.

The source renormalization of a scalar generating functional follows directly from rewriting the source coupling in bare variables:A general source attached to a single elementary field needs this field renormalization; its connected correlations are the ordinary renormalized Green functions. Normalizing the path integral at $h=0$ cancels source-independent vacuum diagrams. Subject to a separate infrared/volume prescription, their source-dependent generating functional $F$ is consequently ultraviolet finite order by order. For a constant source, this statement is interpreted as a formal connected expansion or a vacuum density, not as an automatically finite total logarithm in infinite spacetime.

Changing integration variables from $\varphi$ to ${\varphi }_0$ introduces a source-independent constant Jacobian that cancels between the numerator and its normalization. The resulting normalized integral depends only on ${\lambda }_0,m_0^2,h_0$ and fixed physical boundary/volume data. ThusDefine all scale derivatives at these fixed bare quantities:In a mass-independent subtraction scheme, logarithmic differentiation of the bare relations givesThe factors contain regulator poles, but the combinations determining the physical renormalization group functions have finite limits. In particular $\hat{\beta }=-ϵ\lambda +\beta (\lambda )$ and ${\hat{\gamma }}_h=ϵ/2+{\gamma }_{\varphi }(\lambda )$. The chain rule now gives the requested equation:As a sign check, minimal subtraction gives $Z_{m^2}=1+\lambda /(16{\pi }^2ϵ)+O({\lambda }^2)$ and $Z_{\lambda }=1+3\lambda /(16{\pi }^2ϵ)+O({\lambda }^2)$, with $Z=1+O({\lambda }^2)$. Hence $\beta =3{\lambda }^2/(16{\pi }^2)+O({\lambda }^3)$, ${\gamma }_{m^2}=\lambda /(16{\pi }^2)+O({\lambda }^2)$, and ${\gamma }_{\varphi }$ starts at two loops. The positive signs agree with the tadpole subtraction and the three four-point channels.

The dimensional rewriting needs care. The chosen source normalization gives $[h]=3$, $[m^2]=2$, and $[\lambda ]=0$, so $m^2/{\mu }^2$ and $h/{\mu }^3$ are the natural dimensionless parameters. For the full source functional, spacetime arguments must also be rescaled: with $y=\mu x$, write $\varphi (x)={\mu }^{(d-2)/2}\psi (y)$ and $\tilde{h}(y)={\mu }^{-3}h(y/\mu )$. The dimensionless functional then depends on $\lambda ,m^2/{\mu }^2$, the rescaled source profile, and the rescaled integration domain.

For a literal uniform source in a fixed physical spacetime volume ${\mathcal{V}}_d$, the uniform-source vacuum functional and spacetime volume relation is insteadFor example, even at $\lambda =0$ and $m^2>0$, completing the square for the constant mode givesThus the printed three-argument rewriting of the total $F$ suppresses necessary volume/source-profile data. It is valid as a dimensional shorthand only with those data understood; a dimensionless density has the three arguments, while its scale equation includes its engineering dimension. At infinite volume, the total constant-source logarithm is generally extensive and infinite even after ultraviolet renormalization.

The massless renormalization-group characteristics with a source solve the requested flow directly, independently of this notational issue. Since the mass flow is proportional to $m^2$, its zero value remains zero. Starting at a reference scale ${\mu }_{\ast }$, solveThenwith any physical volume or source-shape data retained. Where $\hat{\beta }\ne 0$, the running quantities are determined byThese equations transport matching data at one scale to any other scale on the same flow trajectory. At a zero of the beta function use the differential equations themselves, rather than divide by zero.

For the uniform-source density, set $y=h/{\mu }^3$ and $m^2=0$. At $d=4$ the corrected dimensionless equation and its local characteristic solution areThe arbitrary function $\Psi$ is fixed by boundary/matching data. If the volume is retained as a dimensionless argument $v={\mu }^4{\mathcal{V}}_4$, the full dimensionless functional obeys the same transport operator with $4v{\partial }_v$ in place of the additive $4$ term; extensivity makes the two statements equivalent. Massless zero-momentum source expansions can also have infrared singularities, so this RG solution is formal until an infrared prescription or a suitable background expansion is chosen.

An ultraviolet fixed point is a zero of the beta functions approached by the dimensionless couplings as $\mu \to \infty$. Near a single-coupling fixed point ${\lambda }_{\ast }$, perturbations obey $\delta \lambda \propto {\mu }^{{\beta }^{\prime }({\lambda }_{\ast })}$, so ${\beta }^{\prime }<0$ gives attraction in that direction. In four-dimensional quartic scalar theory, the positive one-loop beta function makes positive small coupling grow toward the ultraviolet: $1/\lambda (\mu )=1/\lambda ({\mu }_{\ast })-[3/(16{\pi }^2)]\log (\mu /{\mu }_{\ast })$. This exhibits a perturbative Landau pole, not an interacting ultraviolet fixed point. A perturbative result does not exclude hypothetical strong-coupling behavior beyond its regime.