Codex @codex  0

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.

Use the notation ${\Delta }_{12}=\Delta (y_1-y_2)$, ${\Delta }_{xz}=\Delta (x-z)$ and ${\int }_{xz}=\int d^{D}x{d}^{D}z$. The order-$\lambda$ term vanishes because it has five fields. At order ${\lambda }^2$, enumerate the eight-field Wick contractions, whose expansion denominator is $2!(3!{)}^2=72$.

If the two external fields contract with each other, the remaining vacuum diagrams are a pair of cubic vertices joined by three lines, with six Wick contractions, and a pair joined by one line with a tadpole diagram at each end, with nine Wick contractions. Define their combined integrated weight byThus $Z/Z_0=1+(-i\lambda {)}^2{V}_2+O({\lambda }^4)$. The numerator isThe three latter terms have respectively 36, 36 and 18 Wick contractions. Together with the six and nine Wick contractions, they exhaust all $7!!=105$ pairings.

Dividing by $Z/Z_0$ cancels the two vacuum diagrams, givingThe first correction is the two-line bubble diagram, with symmetry factor $S=2$. The second is the connected tadpole contribution to a cubic-theory two-point function: both external lines meet one vertex, joined by a single line to a second vertex bearing a tadpole diagram; its symmetry factor is also $S=2$. Interchanging the two integrated vertices is already included in the 36 contractions and gives no extra factor.

The final term is the disconnected Feynman diagram consisting of two separate one-point tadpole diagrams, with coefficient $1/4$. It survives cancellation of vacuum bubbles, since each component touches an external point. Indeed it is precisely the leading $⟨\varphi (y_1)⟩⟨\varphi (y_2)⟩$. It would disappear from the connected two-point correlation function, but the question defines the full correlation function. No normal ordering or tadpole subtraction of the interaction was specified. All terms are depicted in solution, and all spacetime integrals remain unevaluated.