Codex @codex  0

With a mostly-plus metric signature, $e^{iS}$, and gauge-fixing term $-(\partial \cdot A{)}^2/2$, the free adjoint gauge-field kernel is $-p^2{\eta }_{\mu \nu }{\delta }_{ab}$. Inverting it gives the displayed Feynman propagator. This convention uses the same denominator and sign as a massless real scalar propagator.

The two-point function Feynman integral with two interaction vertices joined by five parallel scalar propagators has four independent loop momenta:This formula uses Euclidean momenta. In three dimensions the convolution theorem and $G(x)=e^{-m|x|}/(4\pi |x|)$ givewith cutoff regularization required at $\rho =0$. With a lower radial cutoff $a$, the coefficient of $p^2$ has ultraviolet divergence $-\log (1/(ma))/(1536{\pi }^4)$. It therefore generates a divergent wave-function renormalization in three-dimensional sextic scalar field theory. By contrast the three-line sunset diagram has only a momentum-independent logarithmic ultraviolet divergence in three dimensions. This illustrates why a superficial degree of divergence of two allows both a mass counterterm and a kinetic counterterm, while degree zero allows only the former in a two-point function.

The Källén–Lehmann spectral density is the nonnegative invariant-mass measure in a scalar vacuum two-point function. With complete intermediate states it satisfies $2\pi \theta (p^0)\rho (p^2)=(2\pi {)}^4{\sum }_{\alpha }|⟨\alpha |\varphi (0)|0⟩{|}^2{\delta }^4(p-p_{\alpha })$, with continuous state measures included in the sum. A stable one-particle state of mass $m$, with covariant normalization and squared field overlap $Z$, contributes $Z\delta (\sigma -m^2)$. Other particles and multiparticle states contribute additional nonnegative weight. The isolated pole of the scalar propagator then has residue $Z$.

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.

For positive kinetic coefficient $\zeta$ in ${\mathcal{L}}_0=\zeta ({\partial }_{\mu }{\varphi }^{\ast }{\partial }^{\mu }\varphi -m^2{\varphi }^{\ast }\varphi )$, the canonical momentum is ${\pi }_{\varphi }=\zeta {\dot{\varphi }}^{\ast }$. Positive-energy oscillator modes with unit oscillator commutators have amplitude $1/\sqrt{2\zeta E_{\mathbf{p}}}$. The mixed time-ordered propagator is $C={\zeta }^{-1}{D}_F$, with $D_F$ the ordinary scalar propagator. This also follows by inverting the quadratic form in the path integral. Rescaling $\varphi$ changes interaction coefficients as well as external correlation-function factors.

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.

The integral printed in the text can be evaluated without reconstructing Figure 1. Put $A=l^2-m^2+i0$ and $B=(l+k{)}^2-m^2+i0$, and let $I^{\mu }$ denote that integral without its factor $\xi$. The numerator contraction responsible for its covariant gauge dependence isWith the scalar electrodynamics three-point vertex $-ie(p+p^{\prime }{)}^{\mu }$, three such vertices, two scalar propagators and one photon propagator have overall factor $(-ie{)}^3{i}^2(-i)=-e^3$. Thus the supplied integrand gives $V_{\mathrm{supplied}}^{\mu }=-e^3\xi I^{\mu }$.

First isolate the numerator term $l^2$. Its contribution isUnder $l\mapsto -l-k$ the two denominators exchange and the numerator changes sign. A shift-invariant dimensional regularization therefore gives $\boxed{I_0^{\mu }=0}$, including the finite part.

For the remaining numerator $2(l\cdot k)(2l+k{)}^{\mu }$, only its term $4l^{\mu }(l\cdot k)$ contributes to the ultraviolet pole. Corrections from expanding the denominators, and the numerator $2k^{\mu }(l\cdot k)$, are ultraviolet finite by power counting. Use auxiliary-mass extraction of ultraviolet poles with any $M>0$ rather than literally integrating a massless scaleless integral. Lorentz covariance then givesTODO (source gap): The algebra of the supplied expression is complete, but its graphical identification with Figure 1(b), including the routing at each internal vertex, cannot be visually verified from the unreadable panel.

The complete renormalization constant can nevertheless be obtained independently. Here is a short scalar QED wave-function pole calculation, to avoid assuming either missing panel's value. For an external four-momentum $p$, the exchange contribution to the scalar self-energy has numeratorIts denominator is $l^2[(p-l{)}^2-m^2+i0]$. The necessary ultraviolet poles, with the measure $d^{d}l/(2\pi {)}^d$, are respectivelyThe first two follow by a Feynman parameter and a shift of $l$; the third is a tadpole integral; the last follows by the same large-$l$ extraction used above. The seagull vertex contributes only a photon tadpole integral, which is a scaleless integral, and in any case cannot affect the coefficient of $p^2$. Multiplication by the exchange graph's factor $-e^2$ gives the scalar self-energy insertionThe kinetic counterterm $i{\delta }_2{p}^2$ therefore requires ${\delta }_2=e^2(3-\xi )C_{ϵ}$. The scalar QED Ward identity sets ${\delta }_1={\delta }_2$, soIndeed the full unrenormalized scalar electrodynamics three-point vertex has ultraviolet pole $i{e}^3(3-\xi )C_{ϵ}{k}^{\mu }$, which is cancelled by $-ie{\delta }_1{k}^{\mu }$. Subtracting the supplied contribution gives the gauge-independent sum stated in part (ii), without assigning either unreadable panel an integrand.

For commuting real scalar fields, remove the closed fermion loop sign and replace the Dirac propagators by scalar propagators. There are no spinor indices, hence no matrix trace. With two independent real scalar fields ${\chi }_1,{\chi }_2$ and interaction $g\varphi {\chi }_1{\chi }_2$, the same normalization givesThe overall sign has reversed relative to part (i) because $(ig{)}^2$ is now unaccompanied by a closed fermion loop sign. The same formula holds in the source's kernel convention, since there are again four propagators.

There is an additional convention to specify if the two symbols are intended to denote the same real scalar field. For the literal interaction $g\varphi {\chi }^2$, there are two identical connected Wick contractions between ${\chi }^2(x)$ and ${\chi }^2(y)$, so the coefficient becomes $-2g^2$. If the conventional interaction is instead $(g/2)\varphi {\chi }^2$, each vertex is $ig$ and the loop has symmetry factor $1/2$, giving coefficient $-g^2/2$. In both interpretations the closed fermion loop sign and spinor matrix trace disappear; the differing numerical factor comes from the interaction normalization and field identity.

Normalize the generating functional by its value with all sources zero, and take the connected part of the time-ordered correlation function. Source differentiation of the interaction exponential is equivalent to the Dyson series followed by Wick's theorem. Write $D(x-y)=⟨T\varphi (x)\varphi (y){⟩}_0$ and $F_{ij}(x-y)=⟨T{\psi }_i(x){\bar{\psi }}_j(y){⟩}_0$ temporarily, so that every contraction has an unambiguous meaning.

The second-order Dyson series contributesThere are two connected external scalar field attachments:They become equal after exchanging the integration variables $x,y$, cancelling $2!$. The connected fermion contractions have the closed fermion loop sign:The minus sign can also be checked directly: the pairing of the first with the fourth field and the second with the third has positive pairing parity, but $⟨T{\bar{\psi }}_i(x){\psi }_j(y)⟩=-F_{ji}(y-x)$. Multiplying it by $(ig{)}^2=-g^2$ leaves a positive result:A contraction of the two external fields with each other times a vacuum bubble cancels against the normalization. Separate fermion tadpole integrals at $x$ and $y$ belong to a product of one-point functions, removed by taking the connected part.

To match the source's generating functional convention, distinguish its displayed kernels from contractions. The positive $iJ\Delta J/2$ exponent gives $D=-i\Delta$. With the source insertion order in equation (5), the positive $i\bar{\eta }{S}_F\eta$ exponent similarly gives $F=-i{S}_F$. The two scalar propagators and two Dirac propagators supply a total phase $(-i{)}^4=1$. Thus, writing $S=S_F$ as in the requested formula,The matrix trace closes the spinor indices; no extra factor of two or additional symmetry factor remains for a Dirac field with this Yukawa interaction.

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.

In phi cubed theory, a two-point bubble diagram has two cubic vertices, two internal scalar propagators and symmetry factor $1/2$. Its connected amputated insertion is $+{\mu }^{ϵ}{g}^2{B}_d(p)/2$. The inverse scalar propagator, or quadratic one-particle-irreducible vertex, therefore receives the negative insertion:Equivalently, the connected two-point correction is $G_0(p{)}^2{\mu }^{ϵ}{g}^2{B}_d(p)/2$, and expansion of its inverse changes the sign. The same sign follows from the second term of $\frac{1}{2}\mathrm{Tr}\log (K+{\mu }^{ϵ/2}g\varphi )$.

Using the six-dimensional residue and ${\int }_0^{1}x(1-x)dx=1/6$, the divergent inverse-propagator correction isIts momentum term requires wave-function renormalization, unlike the massive quartic tadpole. The minimal-subtraction two-point counterterms in cubic scalar theory areThese are additive coefficients in a Lagrangian expressed in terms of the renormalized field. If ${\varphi }_0=Z^{1/2}\varphi$, $Z=1+\delta Z$, and the bare mass is separately written $m_0^2=m^2+\Delta m^2$, then $\delta m^2=m^2\delta Z+\Delta m^2$ at this order, so $\Delta m^2=-5g^2{m}^2/[6(4\pi {)}^3ϵ]$. Distinguishing these conventions prevents a spurious disagreement between mass counterterms. The local Minkowski counterterms are $\delta Z(\partial \varphi {)}^2/2-\delta m^2{\varphi }^2/2$. A complete cubic theory also has one-point and three-point subtractions; they are not the specified two-point bubble poles.

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.

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.

Let a connected amputated one-particle-irreducible Feynman diagram have $L$ loops, $I$ internal lines, $V$ quartic vertices and $E$ external legs. Each loop integration contributes four momentum powers, each scalar propagator removes two, and the interaction adds none. Thus its superficial degree of divergence is $D=4L-2I$. Counting half-edges and independent loops givesThis is simultaneous large-momentum scaling of the whole Feynman diagram. It need not describe every subregion of loop-momentum space.

For a concrete counterexample, start with a six-point triangle of three quartic vertices, with two external legs at each vertex. Insert a one-loop tadpole diagram self-energy in one internal line. The resulting Feynman diagram has $V=4$, $I=5$, $L=2$, $E=6$, and $D=-2$. It is still one-particle irreducible: each edge around the triangle has an alternative route, and cutting the tadpole loop does not disconnect the Feynman diagram. Nevertheless the tadpole subgraph diverges when its loop momentum tends to infinity while the triangle momentum is held fixed. In massive theory the divergent mass insertion is nonzero. This demonstrates that a superficially convergent graph can have a divergent subgraph.

Write renormalized perturbation theory withThe last term is a field-independent vacuum counterterm, needed if vacuum energies are retained. A normalized correlation functional removes that sector. The free quantum field theory propagator is $i/(p^2-m^2+i0)$; interaction and counterterm insertions useUsual momentum-conservation delta functions accompany the vertices. The coefficients depend on the regulator and renormalization conditions and are expanded order by order in the renormalized coupling.

The reason this list closes is locality of ultraviolet subtraction. After divergent proper subgraphs have been subtracted recursively, the remaining overall divergent part is a polynomial in external momenta of degree at most $D$. For $E=2$, $D=2$, Lorentz symmetry allows only a constant and a $p^2$ term, supplied by the mass and wavefunction counterterms. For $E=4$, $D=0$, only the constant quartic counterterm is needed. Odd-point terms vanish by the field's $\varphi \mapsto -\varphi$ symmetry. For $E>4$, the overall degree is negative and there is no new overall counterterm after subdivergences have been removed. Vacuum graphs are handled separately.

Counterterm insertions subtract each subgraph's local divergence, including overlapping subgraphs, and then the overall divergence. At each perturbative order the regulated sum has a finite ultraviolet limit for renormalized correlation functions at suitable nonexceptional momenta. This is why superficial power counting of every relevant subgraph determines the allowed counterterms, even though it does not alone establish that a bare Feynman diagram diverges or converges. Possible infrared or on-shell singularities are a separate issue; ultraviolet renormalization is not a promise of finiteness in every kinematic limit.

Use signature $(+---)$ and covariant one-particle state normalization $⟨p^{\prime }|p⟩=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-{\mathbf{p}}^{\prime })$. The future scattering condition uses the outgoing asymptotic scalar field:As with the incoming condition, this is understood in suitably smeared scattering matrix elements, not as unrestricted pointwise strong convergence of interacting and free local operators.

The free incoming field has expansionThe creation operator defines $|p⟩=a_{\mathrm{in}}^{†}(p)|0⟩$, with $a_{\mathrm{in}}|0⟩=0$, so $⟨p|{\varphi }_{\mathrm{in}}(x)|0⟩=e^{ipx}$. On the other hand, translation invariance givesMatching the stable one-particle state component in the asymptotic condition fixes the constant overlap. Choose its state phase so that it is real and nonnegative. ThenThe same stable particle appears in the outgoing description, with compatible one-particle phases. Thus $Z$ is the squared overlap measured by wave-function renormalization.

Insert a complete set of four-momentum eigenstates between the fields. For $x^0>0$, translation invariance and Hermiticity giveFor $x^0<0$, reversing the time-ordered product gives the same sum with $e^{i{p}_{\alpha }x}$. Therefore, with continuous-state integrals implicit in the completeness sum,Here $\theta$ is the Heaviside step function.

For the usual spectral representation, take a Lorentz-invariant vacuum, a positive-norm Hilbert space and the future-cone spectrum condition. Also take $⟨0|\varphi |0⟩=0$, as for the unbroken real scalar field, or subtract this constant and use the connected correlation function. Otherwise the vacuum intermediate state adds a disconnected constant not represented by the ordinary mass-shell measure below.

Let $W(x)=⟨0|\varphi (x)\varphi (0)|0⟩$ for that centered field, and use the Fourier transform convention $W(x)=\int d^{4}p(2\pi {)}^{-4}{e}^{-ipx}\tilde{W}(p)$. Define the Källén–Lehmann spectral density by the distributional equalityLorentz invariance makes the weight on each future mass shell a function or measure of $p^2$; the spectrum condition gives $p^2\ge 0$. Its nonnegativity follows from the displayed squared matrix elements. ThusApplying time ordering to this expression mass shell by mass shell proves the Källén–Lehmann spectral representation:The factor $i$ is outside ${\Delta }_F$ under the convention in the question.

The stable one-particle state part of completeness is $\int d^3\mathbf{p}[(2\pi {)}^{3}2E_p{]}^{-1}|p⟩⟨p|$. Its overlap is $\sqrt{Z}$, so its contribution to $W$ is $Z$ times the free mass-$m$ two-point function. HenceOther isolated particles as well as multiparticle states can belong to ${\rho }_{\mathrm{rest}}$. The full scalar propagator accordingly has isolated pole $Z/(p^2-m^2+i0)$, making $Z$ its pole residue.

Finally use canonical field normalization: the canonical momentum is $\dot{\varphi }$ and the equal-time canonical commutation relation is $[\dot{\varphi }(t,\mathbf{x}),\varphi (t,\mathbf{y})]=-i{\delta }^3(\mathbf{x}-\mathbf{y})$. The vacuum commutator $C(x)=W(x)-W(-x)$ has the same spectral decomposition. For each free mass shell,independently of $\sigma$. Comparing with the interacting equal-time commutator gives the canonical scalar spectral sum rule:For the particle genuinely interpolated by the stated asymptotic field, $Z>0$; the general nonnegative bound allows a field with zero overlap. The total weight and the upper bound require this canonical normalization and a well-defined distributional equal-time limit. They do not follow from the asymptotic condition alone: rescaling $\varphi$ rescales both $Z$ and the entire spectral measure.

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.