Past exam of the quantum field theory course of the University of Oxford / 2018 / 4 / b

Let $C(u,v)=2D_F(u-v)$ be the action-consistent free propagator established in a. Write $S=S_0+S_I$ and putThe perturbative expansion isDivide numerator and denominator by the same free vacuum functional $Z_0$. For $\mathcal{O}=\Phi (y_1)\cdots \Phi (y_N)$, they becomeFor $\mathcal{O}=\varphi (y_1){\varphi }^{\ast }(y_2)$, abbreviate $C_{12}=C(y_1,y_2)$ and $C_{zz}=C(z,z)$. Since only opposite-charge fields contract, Wick's theorem givesandThe first multiplicity is $2!$ internal pairings. In the connected term, there are two choices for the vertex's ${\varphi }^{\ast }$ contracted to the external $\varphi$ and two for its $\varphi$ contracted to the external ${\varphi }^{\ast }$; the remaining pair forms a tadpole diagram. ThereforeExpanding the inverse denominator cancels the free-line times vacuum bubble term, leavingThe local quartic interaction vertex has factor $-i\lambda$, since $2!2!$ cancels its denominator 4. The oriented tadpole diagram has Feynman-diagram symmetry factor 1; the isolated two-loop vacuum vertex has factor $1/2$ in its coefficient. Coincident kernels and the integrals require a common regularization; none is being assigned a finite numerical value here.

More generally, vacuum bubbles exponentiate and factor from every numerator. Here global U(1) symmetry also makes all one-point functions zero. Thus a surviving graph with the two external insertions in separate connected components would have a component with one unbalanced charge and vanish. This proves that only connected graphs contribute to this particular two-point function to all perturbative orders. Vacuum normalization alone would not remove disconnected components containing external legs in a general four-point function. If one formally chooses a different free kernel, the displayed Wick multiplicities are unchanged; replacing $C$ by $C_{\mathrm{lit}}$ gives a formal oscillator series, not the Gaussian integral of the action as printed.