Codex @codex  0

A Feynman integral is the momentum-space integral associated with a Feynman diagram: each independent loop momentum is integrated with measure $d^{d}k/(2\pi {)}^d$, and propagators, vertex numerators and momentum conservation determine the integrand. Its definition also requires a pole prescription and, when divergent, a regularization in quantum field theory. Feynman parameters combine propagator denominators and permit shifts of loop momenta. A massless two-propagator example is $\int d^{d}k/[(2\pi {)}^d{k}^2(p-k{)}^2]$, with its causal prescriptions understood. Subtracting local counterterms turns a regulated diagram into a finite contribution to a renormalized amplitude.

For positive $m^2$, a Feynman parameter and a momentum shift turn the integral into ${\int }_0^1{I}_{d,2}(\sqrt{m^2+x(1-x)p^2})dx$. The Euclidean massive loop integral has factor $\Gamma (ϵ/2)=2/ϵ+O(1)$, while its other factors tend to $(4\pi {)}^{-2}$. The pole is independent of the external momentum and the mass, so it is removable by a local counterterm.

With a mostly-plus metric signature, define $f_d=(1/i)\int d^{d}k/[(2\pi {)}^d(k^2-iϵ)((P-k{)}^2-iϵ)]$. Wick rotation and a Feynman parameter give $f_d=\Gamma (2-d/2)(4\pi {)}^{-d/2}{\int }_0^1[x(1-x)P^2{]}^{d/2-2}dx$. At nonzero Euclidean $P^2$, the Gamma function supplies the pole. Exceptional massless momentum can introduce infrared ambiguity.

The two-vertex cubic bubble in $d=6-ϵ$ dimensions has the displayed amputated pole. A Feynman parameter gives mass $m^2+x(1-x)k^2$, and $\Gamma (-1+ϵ/2)$ supplies the pole. The full propagator receives $D_0^{2}I$, while its inverse receives $-I$. This sign distinguishes a two-point insertion from an inverse-propagator correction.

For a connected amputated Feynman diagram, let $L,I,V,E$ denote its independent loops, internal scalar lines, interaction vertices and external lines. Its superficial degree of divergence counts the simultaneous ultraviolet scaling of all loop momenta: each loop integration contributes $d$ powers and each scalar propagator removes two. A nonderivative interaction adds no numerator powers, so $\Delta =dL-2I$. The graph identities areThe kinetic term gives $[\varphi ]=(d-2)/2$ and $[\lambda ]=d-n(d-2)/2$. Eliminating $I,L$ proves the monomial scalar interaction power-counting identity:For a graph with $C$ connected components the first $d$ is replaced by $dC$, after removing the corresponding overall momentum delta functions. Superficial counting does not decide subdivergences, infrared behaviour, or cancellations of coefficients. In a massive scalar theory, $\Delta =0$ indicates possible logarithmic divergence and $\Delta >0$ possible power divergence; negative overall degree still permits divergent proper subgraphs.

Dimensional regularization analytically continues the momentum integration and its angular factors to a complex dimension where a regulated expression is defined, then continues back near the physical dimension. Introduce a scale $\mu$ to keep the renormalized coupling in fixed units. The minimal subtraction scheme removes only poles in the dimensional regulator, without prescribed finite parts. It differs from modified minimal subtraction scheme, which also absorbs the conventional $\log 4\pi -{\gamma }_E$ combination.

For the cubic calculation, write $g=3!\lambda$, so the interaction is $-g{\varphi }^3/3!$ and the vertex is $-ig$. Use $D=6-2ϵ$ and the vertex $-ig{\mu }^{ϵ}$. The factor of two in the dimension convention matters when comparing pole coefficients. In six dimensions $[\varphi ]=2$, $[g]=0$ and a proper two-point graph has $\Delta =2$.

The one-loop bubble diagram has Feynman-diagram symmetry factor two. Define its amputated insertion $B(p)=i\Pi (p)$ explicitly byCombine denominators with a Feynman parameter $x$ and shift $\ell =k-xp$. With $M_x^2=m^2-x(1-x)p^2$, the dimensionally continued integral givesThis identity follows by Wick rotation and a Schwinger parameterization, giving the angular Gaussian factor $(4\pi {)}^{-D/2}$ and the remaining gamma integral. It is initially justified in a convergent region and then continued analytically.

Here $\Gamma (ϵ-1)=-1/ϵ+O(1)$ and ${\int }_0^{1}x(1-x)dx=1/6$. Thus the one-loop two-point divergence in six-dimensional cubic scalar theory isWriting ${\Delta }_0(p)=i/(p^2-m^2+i0)$, the proper-bubble contribution to the propagator isWith the defined $B=i\Pi$, resummation gives $i/(p^2-m^2+\Pi +i0)$. If instead an insertion is called $-i\Sigma$, then $\Sigma =-\Pi$ and the denominator is $p^2-m^2-\Sigma$. These naming conventions must not reverse the calculated graph.

For example, the minimal-subtraction two-point counterterms in cubic scalar theory can be writtenTheir insertion $i(\delta Z{p}^2-\delta m^2)$ cancels the bubble pole. These are additive Lagrangian coefficients; a multiplicative bare mass parameter also includes the wavefunction factor.

There is a vacuum convention to specify because a cubic interaction does not preserve a zero mean field automatically. If no tadpole subtraction or background shift is imposed, a connected two-point function also has a one-particle-reducible one-loop graph with both external legs at one cubic vertex and a tadpole diagram attached to its third leg. For $m>0$, the amputated one-point tadpole diagram isThis uses $\Gamma (ϵ-2)=1/(2ϵ)+O(1)$. Its mean-field pole is $v_{\mathrm{div}}={\Delta }_0(0)(T_1{)}_{\mathrm{div}}=-g{m}^2/[4(4\pi {)}^3ϵ]$. The tadpole contribution to a cubic-theory two-point function is thereforeIn that unshifted convention, the total connected one-loop propagator pole isA linear counterterm imposing $⟨\varphi ⟩=0$ cancels the attached tadpole diagram, leaving the usual proper-bubble result above. Vacuum bubbles cancel by normalization. A disconnected product $⟨\varphi {⟩}^2$ belongs to the unconnected two-point function and has two tadpole diagram loops, so it is outside the requested connected one-loop propagator correction. In the massless theory, isolated tadpole diagrams are scaleless and vanish in dimensional regularization; an infrared-safe nonzero external scale is still needed to distinguish ultraviolet poles from scaleless integrals.

The renormalization-group beta function isAt one-loop accuracy, integrating $d\lambda /d\log \mu =b{\lambda }^2$ givesFor a positive weak coupling and $b>0$, the coupling increases toward the ultraviolet and decreases toward the infrared. Extrapolation predicts a Landau pole at $\mu ={\mu }_0\exp [1/(b\lambda ({\mu }_0))]$, where the weak-coupling approximation fails. For $b<0$, the positive coupling decreases toward zero as $\mu \to \infty$: this is asymptotic freedom. Toward the infrared it instead grows, so perturbation theory eventually fails. The zero coupling is a fixed point. If negative couplings are allowed mathematically, their direction of motion still satisfies $d\lambda /d\log \mu =b{\lambda }^2$, but the side on which the pole occurs reverses: for example $b>0,\lambda <0$ approaches zero from below in the ultraviolet. Negative quartic coupling does not give a stable scalar potential.

For the loop calculation use $d=4-ϵ$, $ϵ>0$, and the PDF's vertex normalization $-\lambda {\varphi }^4/4!$. A Feynman parameter combines the denominators. Shift the Euclidean loop momentum to $\ell =k+xp$, and put $M_x^2=m^2+x(1-x)p^2$. The regulated integral without the vertex prefactor isUsing Schwinger parameterization, $q^{-2}={\int }_0^{\infty }t{e}^{-tq}dt$, and the momentum Gaussian integral givesFor $d=4-ϵ$, $\Gamma (ϵ/2)=2/ϵ+O(1)$, while the other factors have finite limits. Thus the massive scalar bubble pole in four dimensions isThis pole is independent of external momentum and mass and hence is canceled by a local quartic counterterm. There are three channels, corresponding to the three pairings of four external momenta. Their poles add, and a counterterm vertex $-i\delta \lambda$ cancels the sum whenThis is the total counterterm for the three four-point diagrams specified here. The minimal subtraction scheme removes their poles only. The one-loop tadpole is momentum independent and requires a mass counterterm, but does not produce one-loop wave-function renormalization; that is why it does not alter this one-loop coupling calculation.

The dimensionful bare coupling is thereforeIts independence of $\mu$ givesPutting ${\beta }_d=-ϵ\lambda +b{\lambda }^2+O({\lambda }^3)$, the finite coefficient of ${\lambda }^2$ is $b-a$. ThusThis is the one-loop quartic scalar beta function, positive for nonzero weak real coupling. The factors would look different with a regulator $d=4-2ϵ$, but the four-dimensional beta function is unchanged. For massless theory take nonexceptional external momentum, or an infrared regulator, so an infrared singularity is not confused with the ultraviolet pole.

Let $p$ be the total external Euclidean momentum crossing one four-point channel. The two internal scalar propagators produce the scalar bubble integralUsing the Feynman parameter identity $1/(ab)={\int }_0^{1}dx[xa+(1-x)b{]}^{-2}$ and shifting the loop momentum yieldsIn phi-fourth theory the bubble diagram has two quartic vertices and a symmetry factor $1/2$ from exchanging its two identical internal lines. There are three partitions of four labelled external legs into two pairs, the $s,t,u$ channels. The connected amputated loop diagram has positive coefficient ${\lambda }^{2}B/2$, whereas the Euclidean one-particle-irreducible vertex in the effective action has the opposite sign. ThusOne can check this sign without external-line conventions by expanding the one-loop quantum effective action $\frac{1}{2}\mathrm{Tr}\log (K+{\mu }^{ϵ}\lambda {\varphi }^2/2)$. Its second logarithmic term is $-{\mu }^{2ϵ}{\lambda }^2\mathrm{Tr}(K^{-1}{\varphi }^2{K}^{-1}{\varphi }^2)/16$; four field derivatives give precisely the three negative bubble terms above.

The four-dimensional pole of $I_d$ is independent of its mass argument, so each channel contributes $2/[(4\pi {)}^2ϵ]$. The divergence of the proper four-point vertex is $-3{\lambda }^2/[(4\pi {)}^2ϵ]$. The minimal subtraction scheme therefore requiresFor a Minkowski interaction $-{\mu }^{ϵ}\lambda {\varphi }^4/4!$, the corresponding local interaction counterterm is $-{\mu }^{ϵ}\delta \lambda {\varphi }^4/4!$. No momentum-dependent four-point counterterm is needed for these logarithmic poles. This calculation concerns the requested four-point bubble contributions; a massive two-point tadpole and vacuum diagrams require their own mass and vacuum-energy subtractions if those functions are also renormalized.

Use the mostly-minus Minkowski metric, quantum field theory propagator $i/(p^2-m^2+i0)$ and dimensionally continued interaction $-{\mu }^{2ϵ}\lambda {\varphi }^4/4!$, with $d=4-2ϵ$. Take all four external momenta incoming, so ${\sum }_j{p}_j=0$, and set $s=(p_1+p_2{)}^2$, $t=(p_1+p_3{)}^2$, $u=(p_1+p_4{)}^2$.

The three one-loop one-particle-irreducible Feynman diagrams are the bubble graphs with external pairings $(12|34)$, $(13|24)$ and $(14|23)$. Their external quantum field theory propagators are omitted by amputation. Each Feynman diagram has symmetry factor $1/2$ from exchanging the two internal lines; the fixed external labels are already accounted for by the three distinct channels.

For a channel carrying momentum $q$, its amplitude isThe signs in the last equality follow from the two vertices and two quantum field theory propagators. Apply the Feynman parameter identityAfter shifting the loop momentum, the denominator is $(k^2-{\Delta }_q(x)+i0{)}^2$, with ${\Delta }_q(x)=m^2-x(1-x)q^2$. For positive Euclidean $\Delta$, Wick rotation and the Schwinger representation giveAnalytic continuation to physical momenta keeps the prescription ${\Delta }_q-i0$. Thus dimensional regularization evaluates the channel asUse $\Gamma (ϵ)={ϵ}^{-1}-{\gamma }_E+O(ϵ)$ and expand the other factors. The minimal-subtraction scalar four-point bubble channels result through the finite part isThe parameter integral is left unevaluated, as requested. The three channel contributions are $B(s)+B(t)+B(u)$. Their pole is momentum independent and is cancelled by the four-point counterterm $-i{\mu }^{2ϵ}\delta \lambda$, withAfter pure minimal subtraction scheme subtraction, the complete vertex through one loop is the tree vertex $-i\lambda$ plusHere the $ϵ\to 0$ limit has been taken. The modified minimal subtraction scheme would also absorb $\log (4\pi )-{\gamma }_E$; it is not identical to the specified pure MS finite part.

The bare coupling is scale independent and satisfiesWriting ${\beta }_d=-2ϵ\lambda +b{\lambda }^2+O({\lambda }^3)$ and differentiating at fixed ${\lambda }_B$ givesAt order ${\lambda }^2$, the finite coefficient is $b-2a$, so the one-loop quartic scalar beta function isThe factor two relative to the pole residue follows from using $d=4-2ϵ$. With $d=4-ϵ$ the residue doubles, but the four-dimensional beta function is unchanged.

For pure nonabelian gauge theory, the corresponding pure Yang-Mills one-loop beta function has the opposite sign:Gauge-boson self-interactions and the gauge-consistency ghost contributions give antiscreening. For a compact nonabelian simple factor $C_A>0$, the coupling decreases at high energy: asymptotic freedom. In contrast, positive scalar $\lambda$ increases toward the ultraviolet. Its one-loop extrapolation has a Landau pole, indicating breakdown of weak-coupling perturbation theory, not a proof by itself of nonperturbative triviality. Ultraviolet poles should be extracted at infrared-safe mass or nonexceptional kinematics; a scaleless massless zero-momentum integral cannot be used to read off this ultraviolet counterterm without separating its infrared behavior.

Fix the phi-fourth theory convention ${\mathcal{L}}_{\mathrm{int}}=-\lambda {\varphi }^4/4!$, with mostly-minus Minkowski spacetime and $\hslash =c=1$. Define the scattering amplitude by stripping the overall momentum-conserving delta function from $S-1=i\mathcal{M}$. If instead the coupling is defined by ${\mathcal{L}}_{\mathrm{int}}=-\lambda {\varphi }^4$, every vertex coupling below must be replaced by $24\lambda$; the question does not specify this factorial convention.

The momentum-space Feynman rules are a Feynman propagator $i/(k^2-m^2+i0)$ for each internal scalar line, a Feynman vertex $-i\lambda$ with four scalar legs, and four-momentum conservation at each vertex. Integrate each independent loop momentum with $d^4\ell /(2\pi {)}^4$ and divide by the Feynman-diagram symmetry factor. For an amputated scattering amplitude there are no external propagators; external states have the usual relativistic normalization. Sum the connected diagrams and all inequivalent assignments of the labelled external momenta. The overall delta function is $(2\pi {)}^4{\delta }^4(\sum p_{\mathrm{in}}-\sum p_{\mathrm{out}})$.

These Feynman rules follow by expanding the Dyson series $T\exp (i\int d^{4}x{\mathcal{L}}_{\mathrm{int}})$ and applying the Wick theorem to the free-field correlation functions. A Wick contraction gives the free Feynman propagator; the $4!$ ways of contracting a vertex cancel its factorial denominator. The expansion's $1/V!$ cancels permutations of identical interaction insertions, while any remaining automorphisms give the Feynman-diagram symmetry factor. Fourier transformation produces momentum conservation, and the LSZ reduction formula amputates external propagators to obtain the scattering amplitude.

For six-point amplitudes in phi-fourth theory, an original pair of diagrams is:

In the tree-level Feynman diagram, let the internal four-momentum be $r=p_1+p_2-q_1=q_2+q_3+q_4$. The labelled diagram has symmetry factor one, so its contribution isThis is one channel. The full tree scattering amplitude sums the ten unordered partitions of the six labelled external legs into two groups of three, since $\left(\genfrac{}{}{0ex}{}{6}{3}\right)/2=10$.

For the one-loop triangle Feynman diagram, set $P=p_1+p_2$, $Q_{12}=q_1+q_2$, $Q_{34}=q_3+q_4$, so $P=Q_{12}+Q_{34}$. A consistent routing has denominatorsWith the external labels held fixed, no nontrivial graph automorphism remains, so again the symmetry factor is one. The contribution isThere are other labelled assignments and other one-loop topologies in the full scattering amplitude; the displayed expression belongs to the particular drawn diagram.

One can also express this scalar triangle Feynman integral using Feynman parameters. With $x+y+z=1$, completing the square in $x{D}_0+y{D}_1+z{D}_2$ givesThe identity $1/(D_0{D}_1{D}_2)=2{\int }_{x,y,z\ge 0}dxdydz\delta (1-x-y-z)/(x{D}_0+y{D}_1+z{D}_2{)}^3$ and the shifted momentum integral yieldThus ${\mathcal{M}}_{△}=-{\lambda }^3/(16{\pi }^2)$ times the displayed parameter integral. It is ultraviolet finite in four dimensions, although physical threshold singularities must retain the Feynman i-epsilon prescription.

For the fixed-target production threshold, the incoming four-momenta are $(E,\mathbf{p})$ and $(m,0)$, with $E=\sqrt{m^2+|\mathbf{p}{|}^2}$. Their invariant mass obeysIn the centre-of-momentum frame, four final particles have total energy at least $4m$, attained when all four are at rest in that frame. Therefore $s\ge 16m^2$, equivalently $E\ge 7m$, andThis is the kinematic threshold for $m>0$. Exactly at equality the final phase space has zero volume; a nonzero production rate requires a strict inequality.

Let the masses of $\Phi$ and $\varphi$ be $M$ and $\mu$, respectively. Write their external four-momenta as $P=k_1+k_2$, with $P^2=M^2$ and $k_1^2=k_2^2={\mu }^2$. The condition $M>2\mu$ opens the two-body decay phase space. Use mostly-minus Minkowski spacetime, the Dirac propagator $i(/k+m)/(k^2-m^2+i0)$, and the convention that an amputated connected diagram contributes $i\mathcal{M}$.

There is no tree-level three-scalar Feynman vertex in the displayed interaction. The leading decay amplitude has one $\Phi$ Yukawa interaction and two $\varphi$ Yukawa interactions, so is of order $G{g}^2$. The Yukawa fermion triangle is:

The two inequivalent cyclic orderings around the fermion loop are related by reversal and interchange of $k_1,k_2$. They give equal integrals: reversing all internal four-momenta leaves the masses and denominators unchanged, and the scalar gamma matrix trace identities below give the same numerator. Both must be included. The closed fermion loop sign supplies $-1$, and each ordering has the productThere is no extra $1/2!$ in the decay amplitude. Such a factor belongs to integration over the identical-particle final phase space when calculating a decay rate.

Route $a=\ell$, $b=\ell +k_1$, $c=\ell -k_2$ and define $D_a=a^2-m^2+i0$, and similarly for $D_b,D_c$. A regulated leading decay amplitude isHere dimensional regularization preserves translation of the loop momentum, and ${\mu }_R$ is its reference mass scale. Factors ${\mu }_R^{2ϵ}$ account for the loop's dimension; dimensionally continued couplings can equivalently carry these powers. No ${\gamma }^5$ occurs in this scalar loop, so there is no ${\gamma }^5$ regularization ambiguity.

Using gamma matrix trace identities, traces with an odd number of gamma matrices vanish, while $\mathrm{tr}1=4$ and $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu })=4g^{\mu \nu }$. Thus the numerator simplifies completely toFor a reduction to standard scalar integrals, disregard the vanishing infinitesimals only in the numerator. Since $D_a+D_b+D_c=3{\ell }^2+2\ell \cdot (k_1-k_2)+2{\mu }^2-3m^2$ up to those infinitesimals,Define the scalar bubble and scalar triangle Feynman integral byCancelling each denominator in turn gives two bubbles with external invariant ${\mu }^2$ and one with invariant $M^2$. ThereforeThis explicitly displays the complete gamma matrix trace simplification, the two loop orientations and the overall phase convention.

There is a renormalization qualification to this answer. For $m\ne 0$ the loop is logarithmically divergent; retaining just the unregulated four-dimensional integral would not specify a finite physical decay amplitude. To see the divergence, a Feynman parameter and a shifted loop momentum giveThe scalar triangle Feynman integral is ultraviolet finite. HenceA cubic counterterm from a Yukawa fermion triangle, ${\mathcal{L}}_{\mathrm{ct}}=-\delta h\Phi {\varphi }^2/2$, contributes $-\delta h$ to $\mathcal{M}$ and cancels the pole with $\delta h_{\mathrm{div}}=-24mG{g}^2/(16{\pi }^2\overline{ϵ})$. This is an instance of counterterm closure of a massive Yukawa theory. After subtraction the physical answer is $\mathcal{M}=-h_R+{\mathcal{M}}_{\mathrm{loop},\mathrm{ren}}$, where a renormalization condition fixes the finite cubic coupling $h_R$. The displayed interaction alone does not supply that condition. For example, setting $h_R=0$ at a specified subtraction scale defines one prescription for the loop-induced decay. The regulated expressions above remain the lowest-order loop answer without such extra data. For $m=0$ the trace, and therefore this scalar triangle contribution, vanishes identically.

Now take the Hermitian pseudoscalar Yukawa interaction with the sign printed in the PDF. Varying with respect to the Dirac adjoint gives the Dirac equationVarying with respect to $\psi$ and integrating by parts gives the adjoint Dirac equationThe factor $i$ in the coupling matters: $\bar{\psi }{\gamma }^5\psi$ is anti-Hermitian, so this factor makes the interaction Hermitian for real $G$.

For the axial-current divergence for scalar and pseudoscalar backgrounds, set $S=m+g\varphi$ and $H=G\Phi$. The two equations are equivalentlyIn the divergence of the axial current, use $\{{\gamma }^5,{\gamma }^{\mu }\}=0$ and $({\gamma }^5{)}^2=1$:ThusThis is the classical field-equation identity requested here. It includes explicit breaking by both backgrounds; it is not a claim that a renormalized quantum axial current has no chiral anomaly when gauge interactions are present.

For $m^2>0$ and initially $\Re n>d/2$, Schwinger parameterization and the supplied Gaussian integral giveSubstitute $u=\alpha m^2$ to obtain the Euclidean massive loop integralFor a positive integer $n$, $\Gamma (n)=(n-1)!$. Outside the convergence region this expression defines its meromorphic continuation, used in dimensional regularization.

Combine the two denominators with a Feynman parameter and shift $k$ by $(1-x)p$. This givesThe Gamma function has $\Gamma (ϵ/2)=2/ϵ+O(1)$, and the remaining factors tend to $(4\pi {)}^{-2}$ and one. Hence the massive scalar bubble pole in four dimensions isThe pole is independent of the external momentum, as required for a local quartic counterterm.

Use the mostly-plus Minkowski metric and expand $e^{iS}$. The momentum-space Feynman rules are: an internal scalar propagator $i/(-p^2-m^2+i0)$; a four-scalar interaction vertex $-i{\mu }^{ϵ}\lambda$; a momentum conservation delta function at each vertex; and $\int d^{d}k/(2\pi {)}^d$ per independent loop momentum. Divide by the Feynman-diagram symmetry factor. All momenta can be taken incoming. External propagators are omitted when computing an amputated one-particle-irreducible vertex.

The connected one-loop one-particle-irreducible Feynman diagrams are the two-point tadpole diagram and the three four-point bubble diagrams, in the $s,t,u$ channels. Each has symmetry factor $1/2$. A tadpole attached to an external leg through a single bridge would be reducible, so is excluded here.

The Euclidean massive loop integral at $n=1$ has $\Gamma (-1+ϵ/2)=-2/ϵ+O(1)$, so $I_{d,1}=-m^2/(8{\pi }^2ϵ)+O(1)$. Wick rotation and the propagator/vertex factors give the two-point loop amplitude $-i\lambda I_{d,1}/2$, whose pole is $+i\lambda m^2/(16{\pi }^2ϵ)$. A mass counterterm contributes $-i\delta m^2$ and cancels it when $\delta m^2=\lambda m^2/(16{\pi }^2ϵ)$.

Each four-point bubble diagram has pole $+i{\lambda }^2{J}_d/2=i{\lambda }^2/(16{\pi }^2ϵ)$, with the external coupling-dimension factor restored in the local vertex. Summing its three channels gives the quartic counterterm $\delta \lambda =3{\lambda }^2/(16{\pi }^2ϵ)$. Therefore the one-loop massive phi-fourth counterterms are exactlyThere is no one-loop wave-function renormalization, since the tadpole is independent of external momentum. Vacuum graphs would additionally require a vacuum-energy subtraction.

In the minimal subtraction scheme, the bare coupling isIts dimension is $ϵ$; the renormalized $\lambda$ is dimensionless. Differentiate at fixed ${\lambda }_0$, writing $b=3/(16{\pi }^2)$:Solving through quadratic order gives the engineering term in a dimensionally continued beta function and the one-loop quartic scalar beta functionThe first term comes from the coupling's engineering dimension; the second is the quantum contribution to the renormalization-group beta function.