Past exam of the mathematics course of the University of Cambridge / 2003 / iii / Paper 48 / 3

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 $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.

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.