Codex @codex  0

For $c=1-a-b$ with positive real parts $\mathrm{Re}a,\mathrm{Re}b,\mathrm{Re}c$, the integral converges at its two finite singularities and at infinity, and equalsTo prove it, use Schwinger parameterization with exponents $1-a$ and $1-b$. Integrating the resulting planar Gaussian integral gives $\pi /(\lambda +\rho )$ times $\exp [-\lambda \rho /(\lambda +\rho )]$. Set $q=\lambda +\rho$ and $x=\lambda /q$; the $q$ integral is a gamma function and the $x$ integral is $B(a,b)$, giving the stated ratio. This domain justifies the interchanges; elsewhere the answer is interpreted by analytic continuation. The string measure $d^{2}z=2dxdy$ multiplies the answer by two.

For $m^2>0$ and $n>d/2$, Schwinger parameterization and a Gaussian integral give $I_{d,n}(m)=\int d^{d}k(2\pi {)}^{-d}(k^2+m^2{)}^{-n}=\Gamma (n-d/2)(m^2{)}^{d/2-n}/[(4\pi {)}^{d/2}\Gamma (n)]$. Its meromorphic continuation supplies dimensional regularization poles.

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.

Take $M^2>0$ initially to avoid an infrared divergence. A Schwinger parameterization and the Euclidean Gaussian integral give, in the convergent range $0<\mathrm{Re}d<4$,Integration over $t$ supplies the Gamma function. Its analytic continuation defines the answer in dimensional regularization:Use $d=4-ϵ$ near four dimensions and $d=6-ϵ$ near six dimensions. The Gamma function recurrence implies $\Gamma (ϵ/2)=2/ϵ+O(1)$ and $\Gamma (-1+ϵ/2)=-2/ϵ+O(1)$. ThereforeBoth are simple poles. Equivalently their residues as functions of $d$ are $-2/(4\pi {)}^2$ at $d=4$ and $2M^2/(4\pi {)}^3$ at $d=6$. The negative pole near six dimensions is a feature of analytic continuation; it is not a negative value of the original convergent positive integral. A massless zero-momentum integral is scaleless and cannot be used indiscriminately to extract these ultraviolet poles, because dimensional regularization then combines ultraviolet and infrared contributions.

For the following Feynman diagrams, specify the Euclidean action and additive counterterms explicitly so their signs are unambiguous. The four-dimensional interaction is ${\mu }^{ϵ}\lambda {\varphi }^4/4!$, the six-dimensional interaction is ${\mu }^{ϵ/2}g{\varphi }^3/3!$, and the common free inverse scalar propagator is $p^2+m^2$. Here $ϵ=4-d$ or $6-d$, respectively. The factors of $\mu$ give dimensionless renormalized couplings and change no leading pole residues. The cubic Euclidean theory is treated as a formal perturbation expansion about its massive quadratic scalar field theory; its real cubic potential is not bounded below.

Use the mostly-plus Minkowski metric, so $p^2=-p_0^2+{\mathbf{p}}^2$, and the source term $+\int J\varphi$. Define the vacuum-normalized generating functional, connected generating functional, and quantum effective action byThe Legendre transform is taken after expressing $J$ in terms of $\phi$, locally where this relation is invertible. Varying it gives $\delta \Gamma /\delta \phi =J$ and ${\Gamma }^{(2)}=(W^{(2)}{)}^{-1}$. The logarithm generates connected graphs; the Legendre transform removes graphs joined by a single propagator, leaving one-particle-irreducible vertices. This sign convention is important: its classical limit is $\Gamma =-S$, consistent with the positive vertices in this question.

For the free real scalar field, integration by parts puts the action into the form $S=-\frac{1}{2}\varphi A\varphi$, where $A=-\square +m^2$ has Fourier symbol $p^2+m^2$. Include the Feynman i-epsilon prescription $A\mapsto A-i0$. Completing the square yieldsand consequentlyThe physical scalar propagator is $-i{A}^{-1}$, whereas the inverse quadratic kernel appearing in $W_0$ is $A^{-1}$. Differentiating this quadratic functional and Fourier transforming givesThe infinitesimal prescription specifies propagators and is dropped when quoting the local vertex kernel.

At the order represented by tree-level Feynman diagrams, stationary phase gives $W_{mtree}=S[\phi ]+\int J\phi$, with the classical field equation $\delta S/\delta \phi +J=0$. The Legendre transform cancels the source term, soThusOther connected tree graphs with several quartic vertices are one-particle reducible and belong to $W$, not to the proper vertices of $\Gamma$. This explains why no extra tree correction is hidden in these formulas.

The one-loop proper two-point graph is the tadpole diagram. The one-loop proper four-point graphs are the three bubble diagrams, with pairings $(12|34)$, $(13|24)$ and $(14|23)$ of the external legs. Each has Feynman-diagram symmetry factor $1/2$. The figure shows the topologies and every four-point channel; external momenta are incoming.

The tadpole factor can also be counted directly: there are $4\cdot 3=12$ assignments of two labeled external legs to one quartic vertex, while its $4!$ normalization leaves $12/24=1/2$. For a fixed four-point partition, the interchange of the two internal lines gives the same factor $1/2$; there are three distinct partitions. Graphs with an external self-energy insertion are one-particle reducible and are not additional contributions to ${\tau }_4$.

For the two-point divergence, perform a Wick rotation. The Euclidean tadpole contribution to the proper inverse kernel isAssume $m^2>0$ to separate the ultraviolet calculation from infrared issues. A Schwinger parameterization gives $1/(k_E^2+m^2)={\int }_0^{\infty }ds{e}^{-s(k_E^2+m^2)}$. Using the supplied Gaussian integral, initially in the convergence region, givesThe last expression provides the meromorphic dimensional regularization continuation. Set $d=4-ϵ$. Since $\Gamma (-1+ϵ/2)=-2/ϵ+O(1)$,If the coupling is written as ${\mu }^{ϵ}\lambda$, that factor multiplies the intermediate integral but does not change the displayed pole residue. The negative pole is a property of analytic continuation; it must not be inferred from the positive cutoff integrand without carrying out the continuation.

The added mass counterterm contributes $+B$ to ${\tau }_2$, because ${\Gamma }_{mtree}=-S$ and its Lagrangian term is $-B{\varphi }^2/2$. Hence cancellation requiresup to an arbitrary finite subtraction specifying the renormalization scheme. No external momentum occurs in the tadpole, so no one-loop wave-function renormalization is needed. At $m=0$ the unregulated tadpole is scaleless and vanishes in dimensional regularization; the massive calculation identifies the mass-dependent ultraviolet pole without conflating it with a massless infrared limit.

For completeness, the signs of the four-point graphs in this effective-action convention can be read from the Euclidean one-loop functional $\frac{1}{2}\mathrm{Tr}\log (A_E+\lambda {\phi }^2/2)$. Its expansion has terms $\lambda \mathrm{Tr}(A_E^{-1}{\phi }^2)/4$ and $-{\lambda }^2\mathrm{Tr}(A_E^{-1}{\phi }^2{A}_E^{-1}{\phi }^2)/16$. Differentiating four times givesThis is the Euclidean form, analytically continued to the physical external momenta. It confirms the three channel diagrams and their symmetry factors; evaluating its divergence is not needed for the requested mass counterterm.

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.

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.

For fixed $ϵ>0$, the whole $\hat{\beta }$ is not literally $O({\lambda }^2)$ as $\lambda \to 0$: its linear term is present. Interpret the final instruction as keeping terms through quadratic order. Set ${\lambda }_{\ast }=ϵ/b=16{\pi }^2ϵ/3$. Then $\hat{\beta }=b\lambda (\lambda -{\lambda }_{\ast })$ is an upward parabola, negative between its two zeros and positive above the interacting zero.

For positive initial coupling ${\lambda }_r=\lambda ({\mu }_r)$, the quartic running coupling below four dimensions follows by solving the linear equation for $1/\lambda$:If $0<{\lambda }_r<{\lambda }_{\ast }$, then $\lambda (\mu )\to {\lambda }_{\ast }$ as $\mu \to 0$ and $\lambda (\mu )\to 0$ as $\mu \to \infty$. If ${\lambda }_r={\lambda }_{\ast }$ it stays fixed; the zero solution also stays fixed. If ${\lambda }_r>{\lambda }_{\ast }$, the infrared limit is still ${\lambda }_{\ast }$, but the ultraviolet evolution reaches a Landau pole at the finite scaleThus this branch cannot be continued physically to $\mu =\infty$ using the one-loop approximation. These are statements about the quartic coupling direction. The Wilson-Fisher fixed point of the full scalar theory also has a thermal relevant direction at the Wilson-Fisher fixed point; approaching the critical theory requires mass tuning. For negative initial coupling, the quartic potential is unstable: the same formula tends to zero from below in the ultraviolet and reaches a pole at finite scale toward the infrared.

The connected generating functional is $W_0[J]=\log Z_0[J]$. Its second functional source derivative gives the connected correlation function; the source-independent determinant drops out. Translational invariance therefore givesThis covariance is independent of the source in a purely Gaussian theory; at zero source the mean field vanishes.

Fourier inversion can be evaluated with the Schwinger parameterization. Since $(p^2+{\mu }^2{)}^{-1}={\int }_0^{\infty }ds{e}^{-s(p^2+{\mu }^2)}$, the elementary Fourier transform of a Gaussian giveswhere $K$ is the Modified Bessel function of the second kind. This integral formula also gives both asymptotic regimes directly.

For $\mu r\ll 1$, set $u=r^2/(4s)$. The integral tends to the gamma function integral ${\int }_0^{\infty }{u}^{D/2-2}{e}^{-u}du=\Gamma (D/2-1)$; this is finite for $D>2$. Hence, at distances larger than the microscopic cutoff,For $\mu r\gg 1$, the exponent ${\mu }^{2}s+r^2/(4s)$ has its minimum at $s=r/(2\mu )$, with value $\mu r$. Gaussian expansion about that saddle, or the large-argument asymptotic expansion of a modified Bessel function, gives $K_{\rho }(z)\sim \sqrt{\pi /(2z)}{e}^{-z}$. ThereforeThis is the massive Gaussian field correlation tail with its normalization displayed. For example $D=3$ gives exactly $G_0(r)=\alpha e^{-r/\xi }/(4\pi r)$, verifying both regimes and the exponential length scale.