Past exam of the quantum field theory course of the University of Oxford / 2021 / 3

Here three means the total spacetime dimension. A dimensionless action requires $[\mathcal{L}]=3$ in mass dimensions. The kinetic term gives $2+2[\varphi ]=3$, so $[\varphi ]=1/2$. Matching the mass dimensions of both field interaction terms givesThus $g_1$ has units of mass and $g_2$ is dimensionless. The quartic interaction is superrenormalizable by power counting, and $g_2$ is a marginal coupling by power counting.

Let $L$ be the number of independent loop momenta in a connected Feynman diagram. Every scalar propagator falls as $k^{-2}$, and every loop momentum integration contributes three powers, so $\omega =3L-2e$. Counting line ends and using connectedness givesEliminating $L$ and $e$ yieldsThus increasing the sextic interaction vertex count does not worsen the superficial degree of divergence; adding a quartic interaction vertex improves it. Only finitely many external-line structures can have an overall ultraviolet divergence, even though arbitrarily high loop order is possible.

After subtracting ultraviolet subdivergences, locality and Lorentz invariance restrict the divergent counterterms to a constant vacuum energy density, a mass counterterm, a wave-function renormalization, and quartic and sextic field interaction terms. Odd powers are forbidden by the $\varphi \mapsto -\varphi$ Z2 symmetry. In particular, $n=2$ permits a constant and $p^2$, $n=4$ permits only a constant, and $n=6$ permits only a constant. This is perturbative renormalizability, not a guarantee that every superficially allowed divergence actually occurs or that every unrenormalized graph with $\omega <0$ lacks divergent subgraphs.

For the two-point function, the original Feynman diagrams below show both one-vertex graphs and every two-vertex topology with external momentum flowing between distinct interaction vertices. All lines represent the same real scalar field. The lower row labels the number of parallel connecting lines; a small closed line at a vertex is a tadpole diagram.

With a single quartic interaction vertex, the two unused line ends close into one tadpole diagram. With a single sextic interaction vertex, the four unused ends pair into two tadpole diagrams. These are the only one-vertex one-particle irreducible Feynman diagrams for the two-point function.

Define the Minkowski Feynman integralsThe amputated two-point function contributions arewhere $C_4,C_6$ are the reciprocals of the corresponding Feynman-diagram symmetry factors. Both are independent of external momentum, and hence affect the mass counterterm rather than wave-function renormalization. No numerical Feynman-diagram symmetry factors are needed here.

To include all momentum-dependent contributions to the two-point function, put one external line at each interaction vertex. Let $r$ be the number of lines connecting the vertices, and $t_A,t_B$ their numbers of tadpole diagrams. For vertex valences $v_A,v_B\in \{4,6\}$,The integer $r$ is odd, and $r=1$ gives a one-particle-reducible Feynman diagram and is excluded. Thus the complete list is

The coefficient of the mixed graph includes the reflected external attachment as well as its reciprocal Feynman-diagram symmetry factor. If both external lines attach to the same interaction vertex, no external momentum enters the connecting internal lines, and that Feynman diagram cannot contribute to wave-function renormalization.

For incoming external momentum $p$, assign the connecting lines momenta $k_1,\dots ,k_{r-1},p-{\sum }_j{k}_j$. DefineThe momentum space Feynman rules give, in the order listed,Each $C$ is a reciprocal Feynman-diagram symmetry factor, including any equivalent external attachments. There are respectively $2,3,4,4$ independent loop momenta.

If “contribute to wavefunction renormalization” means requiring a divergent kinetic counterterm after subtraction of all subdivergences, only the last topology qualifies. The first three still have nontrivial external momentum dependence and give finite contributions to a normalization condition; their raw divergent factors arise from mass counterterms and interaction vertex counterterms. Keeping all four here makes this distinction explicit. The ultraviolet divergence analysis in d establishes it directly.

There are three independent nonfactorized momentum integrals, namely a tadpole integral, the three-line sunset diagram integral, and the five-line banana integral. The six displayed Feynman diagrams involve six complete integral expressions:The distinction between independent building blocks and their products removes an ambiguity in counting “different momentum integrals”. For the strict divergent-wave-function renormalization interpretation of ii, the graphs in c reduce to $T,T^2,B_5$, comprising three full integral expressions and two independent nonfactorized building blocks.

Make a Wick rotation and use $m>0$ to separate ultraviolet divergences from infrared divergences. Write $D_E(k)=1/(k^2+m^2)$, and let $T,B_r(P)$ be the Euclidean versions of the integrals above, with their harmless overall factors of $i$ removed. A spherical ultraviolet cutoff givesThus the one-vertex quartic graph is linearly divergent, and the one-vertex sextic graph is quadratically divergent as $T_{\Lambda }^2$.

For the other two building blocks, the spatial Fourier transform is especially transparent. The three-dimensional Euclidean scalar propagator isThe convolution theorem converts the $r$ parallel lines into $G(x{)}^r$. Angular integration gives, with a short-distance cutoff $a={\Lambda }^{-1}$,This is a different convenient cutoff regularization for the connected block; power-divergent coefficients depend on the cutoff convention, whereas the conclusions about powers and the presence of a kinetic logarithm do not. The sinc function is understood to be $1$ at $P=0$.

For $r=3$, the integrand starts as ${\rho }^{-1}+O(1)$, soIts divergent part is independent of external momentum. In particular,The finite difference and its finite derivative show why the pure three-line sunset diagram does not need a divergent wave-function renormalization in three dimensions.

For $r=5$, the small-distance Taylor expansion isConsequentlyIn particular, the nonzero $P^2\log \Lambda$ term requires a genuine divergent wave-function renormalization, in addition to the mass counterterm. The coefficients here refer to the displayed position-space cutoff and have not included Feynman-diagram symmetry factors or bare couplings.

The comparison with the superficial degree of divergence isThus the actual leading power agrees with $\omega$ in every case. The additional logarithms in products come from ultraviolet subdivergences, which uniform power counting alone does not resolve.

For $T{B}_3$ and $T^2{B}_3$, differentiation with respect to $P^2$ removes the logarithmic divergence of $B_3$, but leaves divergent factors $T$ or $T^2$ multiplying a finite, nonpolynomial function of $P^2$. These are subdivergent contributions, not new nonlocal counterterms: subtracting each tadpole diagram subdivergence and the momentum-independent $B_3$ subdivergence removes them. For example, in a factorized subtraction scheme $T{B}_3\mapsto (T-T_{\mathrm{div}})(B_3-B_{3,\mathrm{div}})$, and likewise for $T^2{B}_3$. The remaining $B_5$ kinetic logarithm explains the strict interpretation in ii. A dimensional regularization scheme can suppress power divergences; it does not invalidate this cutoff-based comparison with $\omega$.