Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 46 / 1 / b

Let the shell-restricted scalar propagator beWrite $\Delta S=S_0[\hat{\varphi }]+V[\varphi ,\hat{\varphi }]$ and average with the normalized Gaussian shell measure. The cumulant expansion givesThe subtraction removes disconnected Feynman diagrams; the logarithm retains connected Feynman diagrams made from shell contractions. This is the connected shell-contraction expansion. An external line denotes the background low field, not an additional low-momentum propagator.

At order $g$, panel A is the existing four-field interaction vertex. The new shell contractions are B, a tadpole diagram contributing a two-field vertex, and C, a Vacuum Feynman diagram contributing a constant. The Gaussian functional determinant in panel L is another field-independent term, of order $g^0$; the original quadratic kinetic term and mass term are retained as well.

For completeness, all two-vertex topologies from Wick contractions at order $g^2$ are shown. Let $r$ be the number of shell lines joining the vertices and $t_1,t_2$ their numbers of self-contractions. The external-field counts areInterchanging the two vertices identifies the same topology. Enumerating these conditions gives exactly the following eight possibilities:

The support qualification is important. In E or F, a vertex with one external low field and one bridge also has a tadpole whose two momenta cancel. Conservation forces the bridge momentum to equal that single low momentum, outside the shell. Equivalently, convolution by $C_{>}$ annihilates $\varphi$. This is momentum-support exclusion for Wilsonian bridge diagrams. D is different: its bridge carries the sum of three low momenta, which can lie in the shell. Its kernel is proportional to ${\varphi }^3(x)C_{>}(x-y){\varphi }^3(y)$ and need not vanish. Thus one-particle-reducible Feynman diagrams must not be excluded merely because the object being computed is an effective action.

These kernels need not be local before a derivative expansion. Their momentum dependence generates derivative interactions where such an expansion is valid. If all external momenta are sufficiently far below ${\Lambda }^{\prime }$, D vanishes too; in particular it does not produce a zero-momentum local ${\varphi }^6$ coupling at order $g^2$. A local six-field term is allowed and is generated at higher orders, for example by a three-vertex shell triangle.

To all orders, expect every scalar interaction allowed by the original symmetries: arbitrary even powers of the field and their allowed derivative couplings, together with vacuum terms. The Z2 symmetry $\varphi \mapsto -\varphi$ excludes odd-field vertices. The original quartic form is therefore not closed under exact Wilsonian integration.