Codex @codex  0

Because the quartic coupling constant has mass dimension $ϵ=4-D$, introduce a renormalization scale $\mu$ and define the dimensionless renormalized coupling $g$ by minimal subtraction scheme:Here ${\lambda }_0$ is the fixed bare coupling constant. Equivalently the tree-level quartic term is $-{\mu }^{ϵ}g{\varphi }^4/4!$, and its one-loop counterterm is $-{\mu }^{ϵ}3g^2{\varphi }^4/(16{\pi }^2ϵ4!)$. This states explicitly the scale convention implicit in solution.

Put $a=3/(16{\pi }^2)$. Differentiating the bare relation at fixed ${\lambda }_0$ givesWrite $\hat{\beta }=-ϵg+b{g}^2+O(g^3)$. The coefficient of $g^2$ in the last identity is $a+b-2a$, so $b=a$. ThereforeThe first term is the engineering term in a dimensionally continued beta function. In four dimensions it disappears, leaving the positive one-loop quartic scalar beta function $3g^2/(16{\pi }^2)$. Thus the renormalized coupling increases with increasing renormalization scale near weak positive coupling. This quantum running is the obstruction to extending the classical scale invariance in solution to the interacting quantum theory.

Source correction: equation 11 on the original page has $\Gamma (\alpha -1/2)$. The dimensionally regulated integral instead contains $\Gamma (\alpha -d/2)$. This is not an interchangeable convention: for $\alpha =2$ and $d=4-ϵ$, the correct factor $\Gamma (ϵ/2)$ has a logarithmic ultraviolet pole, whereas the printed $\Gamma (3/2)$ is finite.

To obtain the correct expression, shift the loop momentum and perform a Wick rotation. For positive Euclidean ${\mathcal{M}}^2$, introduce a Schwinger parameterization:The derivation first holds in the convergent range and defines the result elsewhere by analytic continuation. For integer $\alpha$, rotating back giveswith the branch inherited from $i0$. This is the Lorentzian continuation of the Euclidean massive loop integral.

Set $p=0$, $\alpha =1$, $d=4-ϵ$. Since $\Gamma (-1+ϵ/2)=-2/ϵ+O(1)$,Consequently the directed tadpole in part d givesThe counterterm is $-i{\delta }_{m^2}$, so cancelling only the pole in the minimal subtraction scheme requiresThis is the quartic complex-scalar mass renormalization result. The scale factors and logarithms contribute finite terms at this order and do not change the displayed pole coefficient. A real-field check gives a tadpole coefficient $\frac{1}{2}(3g/2+g/2)=g$, in agreement with the oriented complex-field computation.

The change of field and parameters separates the Lagrangian density in Euclidean space intoThe two-leg counterterm interaction vertex is $-(\delta Z{p}^2+\delta m^2)$, with the overall momentum conservation delta function understood. With $D_0(p)=1/(p^2+m^2)$, the explicit first-order contribution to the propagator isThe minus sign follows either from expanding $e^{-S_{\mathrm{ct}}}$ or from expanding $(p^2+m^2+\delta Z{p}^2+\delta m^2{)}^{-1}$.

For $k=2$, the loop correction is $-{\tilde{\lambda }}_4{T}_D(m)D_0(p{)}^2/2$. Its ultraviolet pole from c isThere is no external $p^2$ dependence in the amputated tadpole diagram, so no one-loop wave-function renormalization is required. The minimal subtraction scheme therefore givesOnly the pole is subtracted: including $1-{\gamma }_E+\log 4\pi$ would impose a different finite subtraction prescription. The defined $\delta m^2$ is the coefficient in $Z{m}_0^2=m^2+\delta m^2$, not automatically the difference $m_0^2-m^2$ beyond this order.

A phi-fourth theory interaction has mass dimension $4-D$, so its bare coefficient must contain a renormalization scale factor ${\mu }^{4-D}=({\mu }^2{)}^{2-D/2}$ when expressed through a dimensionless renormalized coupling. The tree-level four-leg interaction vertex is linear in that coupling. At the next order, two quartic vertices form the three one-loop bubble diagram graphs shown in c, with external pairings $12|34$, $13|24$ and $14|23$.

For each pairing there are two identical internal lines and Feynman-diagram symmetry factor 2. The loop integral has the large-momentum behaviourIt is logarithmically divergent in four dimensions. Dimensional regularization represents that local divergence by a simple pole proportional to $1/(D-4)$. Its residue is independent of external momenta, so a local quartic counterterm cancels it. The three graphs sum to one constant coefficient; this argument establishes its structure without requiring its value.

The relation consequently has the formThe sign of $C$ incorporates the chosen pole denominator and vertex convention. In particular, a negative $C$ here corresponds to a positive coefficient of $1/(4-D)$ in the bare coupling. Finite pieces depend on the renormalization scheme; a pure-pole relation is natural in minimal subtraction scheme. One-loop two-point tadpole diagrams contribute mass renormalization, but not the momentum-dependent field renormalization that could change this coupling relation at order $g^2$. The four-point object relevant here is the amputated one-particle-irreducible vertex; external-leg self-energy insertions are dealt with separately.

For $\mathcal{L}=|\partial \varphi {|}^2-m^2|\varphi {|}^2-{\mu }^{ϵ}g|\varphi {|}^4/4$ in $d=4-ϵ$, the directed tadpole diagram has symmetry factor one. Its divergent Feynman contribution to $i{\Gamma }^{(2)}$ is $ig{m}^2/(8{\pi }^2ϵ)$. A mass insertion $-i{\delta }_{m^2}$ therefore gives the displayed minimal subtraction scheme counterterm. Differentiating at fixed bare mass and coupling gives the displayed ${\gamma }_m=\frac{1}{2}\mu d\log m^2/d\mu$. The equivalent two-real-field formulation has vertex coefficients $3g/2$ for a pure species and $g/2$ for two of each, giving total tadpole weight $(3g/2+g/2)/2=g$.

A choice of renormalization conditions and finite counterterms defines a renormalization scheme. The minimal subtraction scheme removes only regulator poles; the modified minimal subtraction scheme also removes conventional universal constants. Different schemes can assign different values to renormalized couplings while describing the same physical observables after parameters are consistently matched.

In scalar electrodynamics with photon propagator $-i[g_{\mu \nu }-(1-\xi )l_{\mu }{l}_{\nu }/l^2]/(l^2+i0)$ and dimensional regularization $d=4-2ϵ$, the minimal subtraction scheme gives $Z_{\varphi }=1+e^2(3-\xi )/(16{\pi }^2ϵ)+O(e^4)$. For an external four-momentum $p$, expand the exchange numerator as $4p^2-4\xi p\cdot l+\xi l^2-4(1-\xi )(p\cdot l{)}^2/l^2$. The logarithmic ultraviolet poles of the scalar, vector and tensor integrals give the $p^2$ coefficient $4-2\xi -(1-\xi )=3-\xi$. A massless photon tadpole integral does not change it. The scalar QED Ward identity gives the same vertex renormalization constant.

In the minimal subtraction scheme, let ${\lambda }_B={\mu }^{ϵ}F$, $F=\lambda +{\sum }_{k\ge 1}{f}_k(\lambda )/{ϵ}^k$, and $m_B^2=m^{2}H$, $H=1+{\sum }_{k\ge 1}{b}_k(\lambda )/{ϵ}^k$. Define the renormalization-group beta function at fixed bare parameters by $\hat{\beta }=\mu d\lambda /d\mu =-ϵ\lambda +\beta (\lambda )$, and the running mass function by ${\gamma }_{m^2}=\mu d\log m^2/d\mu$.

The bare coupling is scale independent, so $0=ϵF+\hat{\beta }{F}^{\prime }$. Its finite coefficient is $f_1+\beta -\lambda f_1^{\prime }$, giving the first formula. Similarly $0={\gamma }_{m^2}H+\hat{\beta }{H}^{\prime }$ has finite coefficient ${\gamma }_{m^2}-\lambda b_1^{\prime }$. The remaining poles cancel recursively: $(\lambda {\partial }_{\lambda }-1)f_{k+1}=\beta f_k^{\prime }$ and $\lambda b_{k+1}^{\prime }={\gamma }_{m^2}{b}_k+\beta b_k^{\prime }$. Thus the simple poles determine the finite renormalization group functions, while higher poles obey consistency conditions.

For one unit-charge Dirac field in $d=4-2ϵ$, define the insertion as $i{\Pi }_{\mu \nu }=i(q^2{g}_{\mu \nu }-q_{\mu }{q}_{\nu })\Pi$. The one-loop ultraviolet pole is ${\Pi }_{\mathrm{UV}}=-e^2/(12{\pi }^2ϵ)$. The Ward identity cancels any apparent divergent vector mass term. With photon counterterm insertion $-i(q^2{g}_{\mu \nu }-q_{\mu }{q}_{\nu }){\delta }_3$, this gives ${\delta }_3=-e^2/(12{\pi }^2ϵ)$ in the minimal subtraction scheme.