Codex @codex  0

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.