Codex @codex  0

An interaction ${\mathcal{L}}_{\mathrm{int}}=+\lambda {\varphi }^4/4!$ produces a four-leg momentum-space vertex $i\lambda$. The $4!$ assignments of external legs cancel the coefficient factorial. With a negative interaction sign the vertex is $-i\lambda$. Graph Feynman-diagram symmetry factors are a separate combinatorial issue.

The self-energy bubble diagram at loop order one in six-dimensional cubic scalar field theory has Feynman-diagram symmetry factor two. With positive Euclidean scalar propagators, its amputated Green's function is the displayed integral. Its superficial degree of divergence is two. Expanding at large internal momentum and taking the angular average shows that its divergent part is a constant plus a multiple of $p^2$, precisely the mass counterterm and wave-function renormalization structures.

For a spherical ultraviolet cutoff $|k|\le \Lambda$ and $m^2>0$, its value at $p=0$ isThe divergent $p^2$ coefficient is $-g^2\log ({\Lambda }^2/m^2)/(768{\pi }^3)$. Finite terms depend on the regularization convention. Tadpole diagram insertions are excluded from the one-particle-irreducible Feynman diagram, and are removed from the connected two-point function by imposing a vanishing one-point function.

The interaction vertex $-i\lambda$ and scalar propagator $-i/(p^2-iϵ)$ give one four-point bubble diagram for each of three momentum channels, each with Feynman-diagram symmetry factor $1/2$. The two-point tadpole diagram is zero as a scaleless integral in dimensional regularization. If full proper vertices include the free quadratic kernel, ${\hat{\tau }}_2^{(0)}=-p^2$; the interaction self-energy convention instead starts at zero.

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.

Use metric signature $(+,-,\dots ,-)$ and initially set $\hslash =1$. For an internal scalar line with momentum $p$, the Feynman propagator is $i/(p^2-m^2+i0)$. An $r$-leg Feynman vertex, for $r=3,4,6$, contributes $-i{\lambda }_r$, with all incident momenta incoming. Its $1/r!$ in the Lagrangian density is canceled by the permutations of its identical fields. Each vertex conserves momentum and supplies $(2\pi {)}^d{\delta }^{(d)}(\sum p)$. Integrate each independent loop momentum with $d^{d}k/(2\pi {)}^d$, multiply the line and vertex factors, and divide by the Feynman-diagram symmetry factor for labeled external legs. Sum the distinct graphs and external-momentum assignments without counting the same assignment twice.

An unamputated momentum-space correlation function also contains the external propagators. Dividing the generating functional by its zero-source value removes disconnected vacuum bubbles; taking its logarithm selects connected correlation functions. Amputation of external propagators removes the external line factors when computing vertex amplitudes. Translational invariance leaves one overall momentum-conservation delta function for each connected graph.

The loop order is the number of independent graph cycles, equivalently the number of independent momentum integrations left after vertex conservation. A spanning tree through $V$ interaction vertices contains $V-1$ internal edges; hence, with $I$ internal lines,Restoring $\hslash$ in $\exp (iS/\hslash )$ gives $\hslash$ for each internal propagator and ${\hslash }^{-1}$ for each interaction vertex. Thus an amputated connected amplitude hasThe same counting holds for a diagram in $\log Z[J]$ when the external source is coupled as $J\varphi /\hslash$: every external propagator brings $\hslash$, canceled by the source insertion's ${\hslash }^{-1}$. This is Planck-constant loop counting with source normalization. An ordinary connected expectation of $n$ fields, with no such source factors, instead scales as ${\hslash }^{L+n-1}$; multiplying $\log Z$ by $-i\hslash$ to form $W$ shifts its source-kernel counting to ${\hslash }^L$. The normalization must be specified when applying the printed loop rule.

Let $V_r$ count $r$-valent interaction vertices. Counting their incident half-edges gives $2I+n=3V_3+4V_4+6V_6$. Substituting the loop identity yieldsEach coefficient on the right lies between $1/2$ and $2$, proving the vertex-count bounds for bounded scalar valenceThe free two-point term, which has no interaction vertex, separately satisfies the bounds with $V=L=0$ and $n=2$.

A one-particle-irreducible Feynman diagram is connected and remains connected after any single internal line is cut. The left graph below contains two quartic vertices and two parallel internal lines: cutting either line leaves the vertices connected by the other. The right graph contains two cubic vertices joined by one internal line, whose removal disconnects it, so it is a one-particle-reducible Feynman diagram. Both have four external legs.

The quantum effective action generates the one-particle-irreducible vertices. Their ultraviolet divergences and those of their proper divergent subgraphs are removed by local counterterms. Reducible connected graphs are reconstructed by joining these vertices with full propagators; they do not introduce independent local interaction counterterms merely because they contain bridges. This makes the one-particle-irreducible Feynman diagram decomposition useful for organizing renormalization. Overall power counting still has to be supplemented by subtraction of divergent subgraphs.

For a scalar with a two-derivative kinetic term, mass dimensions obeyThe general power-counting criterion used here is that interactions of nonnegative coupling dimension can be included in a perturbatively renormalizable quantum field theory, with all symmetry-allowed required local counterterms included; negative-dimensional couplings generally require an unbounded tower of higher-dimensional counterterms. Indeed, the scalar graph power-counting identity givesfor the superficial degree of divergence. Nonnegative coupling dimensions prevent this degree from increasing indefinitely with the vertex count.

The coupling dimensions areThus all three are power-counting renormalizable in three dimensions; cubic and quartic in four; cubic only in six. Positive-dimensional interactions are super-renormalizable, while the zero-dimensional ones are marginal by classical power counting. Usual kinetic, mass, vacuum and, when no symmetry forbids it, linear counterterms must also be admitted. This conclusion concerns perturbative ultraviolet renormalizability; it does not assert global stability of a cubic scalar potential.

Split the free interaction picture field as $\varphi ={\varphi }^{(+)}+{\varphi }^{(-)}$, where the first part contains annihilation operators and the second creation operators. Time ordering places the operator at the later time on the left, while normal ordering places all creation operators on the left. For $x^0>y^0$, commuting the annihilation part of the first field through the creation part of the second givesThe commutator is the c-numberFor $y^0>x^0$, the same calculation interchanges $x,y$. Combining the two time orders proves the two-field Wick contraction identitywhereThe equality with the four-dimensional integral follows by closing the energy contour at the positive-energy pole for $x^0>y^0$ and the negative-energy pole for the reverse order. This fixes the scalar Feynman propagator pole prescription; in this convention $D_F$ itself includes the factor $i$.

Because these interactions have no derivatives, $H_{\mathrm{int}}=-\int {\mathcal{L}}_{\mathrm{int}}{d}^{3}x$. Expand the Dyson seriesApply the Wick theorem to each term together with the external insertions. Every paired field contributes a propagator, and the remaining normal-ordered vacuum expectation vanishes unless no fields remain. Representing the propagators by Fourier integrals and integrating each vertex position gives the four-momentum conservation delta function. The $3!$ and $4!$ contractions into labelled vertex slots cancel the factorials in the interaction density. The resulting scalar-field cubic and quartic Feynman vertices areEach vertex also has $(2\pi {)}^4{\delta }^{(4)}(\sum p)$, each independent internal momentum is integrated with $d^{4}p/(2\pi {)}^4$, and repeated equivalent contractions give the usual Feynman-diagram symmetry factor. For the unamputated correlation functions, retain the propagators joining external insertions to vertices. The displayed unnormalized numerator includes disconnected vacuum bubbles; dividing by $⟨0|S|0⟩$ cancels them. Amputated scattering amplitudes additionally use the LSZ reduction formula.

For stability, examine the classical scalar potentialThe tree-level boundedness criterion is $\lambda >0$, with arbitrary real cubic coupling. If $\lambda =0$, boundedness requires $\mu =0$ and $m^2\ge 0$; if $\lambda <0$, or $\lambda =0$ with $\mu \ne 0$, the potential is unbounded below. Thus a positive quartic coupling permits a stable ground-state vacuum, although it need not be the perturbative vacuum at $\varphi =0$.

For $\lambda >0$ and $m^2\ge 0$, the stability of a cubic-quartic scalar potential determines when zero is a global minimum:The square bracket is nonnegative for every field value exactly whenFor a nontrivial equality case there is a second degenerate minimum at $\varphi =2\mu /\lambda$. If $m^2>0$ and ${\mu }^2>3\lambda m^2$, zero remains a local minimum but is a false vacuum, with a lower minimum elsewhere. If $m^2=\mu =0$ and $\lambda >0$, the origin is the quartic minimum despite its vanishing quadratic curvature. These are classical or tree-level stability statements; renormalized couplings and the quantum effective potential refine the quantum analysis.

With signature $(+---)$, the momentum-space Feynman rules for phi-fourth theory follow by expanding the interaction exponential and using free-field Wick contractions. Every internal scalar propagator supplies $i/(k^2-m_0^2+i0)$, every quartic Feynman vertex supplies $-i{\lambda }_0$, and each vertex conserves four-momentum. Integrate every independent loop momentum with $d^{4}k/(2\pi {)}^4$ and divide by the Feynman-diagram symmetry factor $S$. Equivalently, assign momenta to all lines and attach $(2\pi {)}^4{\delta }^4(\sum k)$ at each vertex before eliminating constrained integrations. A connected amputated graph therefore has the formwith the remaining overall momentum-conservation delta function understood. For an unamputated correlation function, retain the external propagators; scattering amplitudes instead use LSZ reduction. The factor $4!$ in the interaction cancels the number of ways to attach the four identical fields at a vertex, leaving the stated vertex factor.

For a connected Feynman diagram, $L=N_l-N_v+1$. The superficial degree of divergence is the power under simultaneous large rescaling of all independent loop momenta before considering cancellations or divergent subgraphs. Since each integration contributes four powers and each internal propagator removes two,Counting vertex half-edges gives $4N_v=2N_l+N_e$. Substitution yieldsThe connectedness assumption matters: a disconnected interaction graph with $C$ components instead has the corresponding count $D=4C-N_e$. Tree graphs have no loop integral even when this formal power count is nonnegative.

In four dimensions the possible primitively divergent proper vertices have $N_e=2$ or $4$, with $D=2$ or $0$; odd vertices vanish by the $\varphi \mapsto -\varphi$ symmetry. The divergent local structures are a mass term, a kinetic term and a quartic coupling term. If vacuum diagrams are retained, a vacuum-energy term is also required. Thus one can renormalize using a finite family of operators already allowed by the theory's symmetries: four-dimensional phi-fourth theory is perturbatively renormalizable. The superficial count alone is not an all-orders convergence proof. After divergent subgraphs are subtracted with these counterterms, higher-point graphs have no new overall ultraviolet divergence; a negative overall $D$ does not by itself exclude subdivergences.

The requested lowest-order graphs and the three channels needed for the coupling correction are shown here:

For the two-point function, the free propagator is order one, while its first interacting correction is the tadpole diagram, with $N_v=N_l=L=1$, $N_e=2$, $S=2$ and $D=2$. Its loop integral behaves as $\int d^{4}k/k^2$ and is quadratically divergent. For the connected four-point function, the lowest graph is the order-${\lambda }_0$ contact vertex, with $N_v=1,N_l=L=0$ and formal $D=0$ but no loop divergence. The first loop correction comprises the $s,t,u$ bubble diagrams. Each has $N_v=2,N_l=2,L=1$, $N_e=4$, $S=2$ and $D=0$, matching its logarithmic integral $\int d^{4}k/(k^2{)}^2$.

If the full four-point correlation function rather than its connected part is considered, there is also an order-one contribution: the sum of the three Wick contractions into two free propagators, with pairings $(12)(34),(13)(24),(14)(23)$. Explicitly, $G_0^{(4)}=G_{12}{G}_{34}+G_{13}{G}_{24}+G_{14}{G}_{23}$, with $G_{ij}$ the free scalar propagator between insertions $i,j$. These disconnected pairings are drawn in the bottom row of the plate. They contain no loop integral and are not contributions to the proper four-point vertex.

A six-point amplitude in phi-fourth theory has a one-loop triangle Feynman diagram with two external legs at each of three vertices. It has $N_v=3,N_l=3,L=1$, $N_e=6$, and $D=-2$. For a fixed external-leg partition its loop integral contains three scalar denominators, for exampleAfter Wick rotation, its ultraviolet radial behavior is ${\int }^{\infty }dk{k}^3/k^6={\int }^{\infty }dk/k^3$, which converges. The triangle has no proper loop subgraph, so no ultraviolet subdivergence is hidden in this example. It generates no new six-field counterterm. Nonzero mass avoids a separate infrared issue; with massless propagators exceptional external momenta can produce infrared singularities without changing this ultraviolet conclusion.

The bare mass is a coefficient in the regulated action, whereas the physical mass is the pole position of the full propagator. Write the amputated two-point insertion as $-i\Sigma (p^2)$. Summing its insertions givesAt order ${\lambda }_0$, only the tadpole contributes. Its factor one half follows directly from Wick pairing: of the four fields at the vertex, $4\cdot 3$ choices attach the two labeled external lines and the remaining pair closes the loop, so $12/4!=1/2$. ThusRotate $k^0=i{k}_E^0$ through the Feynman contour. The $i$ from the measure and the $i$ in the propagator, together with the denominator sign, give a positive Euclidean integral. With spherical cutoff $|k_E|<\Lambda$,This is the Wick-rotated cutoff tadpole mass shift, and it is independent of external momentum. Hence to first order,For a positive stable quartic coupling the first-order shift is positive. Keeping the measured pole fixed while changing the cutoff requires adjusting the bare mass. At $m_0=0$ the bracket is understood by its finite limit ${\Lambda }^2$. There is no momentum-dependent wave-function correction from this one-loop tadpole; such corrections begin at higher order.

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.

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.

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.