Codex @codex  0

Use metric signature $(+,-,\dots ,-)$ and initially set $\hslash =1$. For an internal scalar line with momentum $p$, the Feynman propagator is $i/(p^2-m^2+i0)$. An $r$-leg Feynman vertex, for $r=3,4,6$, contributes $-i{\lambda }_r$, with all incident momenta incoming. Its $1/r!$ in the Lagrangian density is canceled by the permutations of its identical fields. Each vertex conserves momentum and supplies $(2\pi {)}^d{\delta }^{(d)}(\sum p)$. Integrate each independent loop momentum with $d^{d}k/(2\pi {)}^d$, multiply the line and vertex factors, and divide by the Feynman-diagram symmetry factor for labeled external legs. Sum the distinct graphs and external-momentum assignments without counting the same assignment twice.

An unamputated momentum-space correlation function also contains the external propagators. Dividing the generating functional by its zero-source value removes disconnected vacuum bubbles; taking its logarithm selects connected correlation functions. Amputation of external propagators removes the external line factors when computing vertex amplitudes. Translational invariance leaves one overall momentum-conservation delta function for each connected graph.

The loop order is the number of independent graph cycles, equivalently the number of independent momentum integrations left after vertex conservation. A spanning tree through $V$ interaction vertices contains $V-1$ internal edges; hence, with $I$ internal lines,Restoring $\hslash$ in $\exp (iS/\hslash )$ gives $\hslash$ for each internal propagator and ${\hslash }^{-1}$ for each interaction vertex. Thus an amputated connected amplitude hasThe same counting holds for a diagram in $\log Z[J]$ when the external source is coupled as $J\varphi /\hslash$: every external propagator brings $\hslash$, canceled by the source insertion's ${\hslash }^{-1}$. This is Planck-constant loop counting with source normalization. An ordinary connected expectation of $n$ fields, with no such source factors, instead scales as ${\hslash }^{L+n-1}$; multiplying $\log Z$ by $-i\hslash$ to form $W$ shifts its source-kernel counting to ${\hslash }^L$. The normalization must be specified when applying the printed loop rule.

Let $V_r$ count $r$-valent interaction vertices. Counting their incident half-edges gives $2I+n=3V_3+4V_4+6V_6$. Substituting the loop identity yieldsEach coefficient on the right lies between $1/2$ and $2$, proving the vertex-count bounds for bounded scalar valenceThe free two-point term, which has no interaction vertex, separately satisfies the bounds with $V=L=0$ and $n=2$.

A one-particle-irreducible Feynman diagram is connected and remains connected after any single internal line is cut. The left graph below contains two quartic vertices and two parallel internal lines: cutting either line leaves the vertices connected by the other. The right graph contains two cubic vertices joined by one internal line, whose removal disconnects it, so it is a one-particle-reducible Feynman diagram. Both have four external legs.

The quantum effective action generates the one-particle-irreducible vertices. Their ultraviolet divergences and those of their proper divergent subgraphs are removed by local counterterms. Reducible connected graphs are reconstructed by joining these vertices with full propagators; they do not introduce independent local interaction counterterms merely because they contain bridges. This makes the one-particle-irreducible Feynman diagram decomposition useful for organizing renormalization. Overall power counting still has to be supplemented by subtraction of divergent subgraphs.

For a scalar with a two-derivative kinetic term, mass dimensions obeyThe general power-counting criterion used here is that interactions of nonnegative coupling dimension can be included in a perturbatively renormalizable quantum field theory, with all symmetry-allowed required local counterterms included; negative-dimensional couplings generally require an unbounded tower of higher-dimensional counterterms. Indeed, the scalar graph power-counting identity givesfor the superficial degree of divergence. Nonnegative coupling dimensions prevent this degree from increasing indefinitely with the vertex count.

The coupling dimensions areThus all three are power-counting renormalizable in three dimensions; cubic and quartic in four; cubic only in six. Positive-dimensional interactions are super-renormalizable, while the zero-dimensional ones are marginal by classical power counting. Usual kinetic, mass, vacuum and, when no symmetry forbids it, linear counterterms must also be admitted. This conclusion concerns perturbative ultraviolet renormalizability; it does not assert global stability of a cubic scalar potential.

Keep $Z=e^{iW}$, define the mean scalar field $\phi (x)=\delta W/\delta J(x)$, and locally invert the source-field relation. The quantum effective action is the Legendre transformIts value at zero source is expanded around ${\phi }_0=⟨\varphi ⟩$, which need not vanish. The kernels ${\Gamma }^{(n)}={\delta }^n\Gamma /\delta {\phi }^n{|}_{{\phi }_0}$ are the one-particle-irreducible vertices, with the Minkowski diagram vertex factor $i{\Gamma }^{(n)}$. A one-particle-irreducible Feynman diagram remains connected after any one internal line is cut. Amputation of external propagators removes the full two-point functions on its external legs. For higher-point connected graphs amputation alone need not remove internal one-particle-reducible Feynman diagrams; the derivatives of $\Gamma$ select precisely the irreducible kernels.

To derive the three-point relation, use condensed indices that include spacetime integration. Put $D_{ij}=W_{,ij}=i{G}_{2,ij}^c$ and $K={\Gamma }^{(2)}$. Differentiating ${\Gamma }_{,i}=-J_i$ gives $K_{ia}{D}_{aj}=-{\delta }_{ij}$, so $K=-D^{-1}$. A further derivative, using $\delta D_{ab}/\delta {\phi }_k=W_{,ab\ell }(D^{-1}{)}_{\ell k}$ and the derivative of an inverse, givesSince $W^{(3)}=-G_3^c$ and $D^{-1}=-i(G_2^c{)}^{-1}$, the three-point amputation in the connected-action convention isEquivalently, attach a full two-point correlation function to each leg of $i{\Gamma }^{(3)}$ to reconstruct $G_3^c$. The connected functions are evaluated at the same zero-source background. The displayed factors of $i$ follow from the declared Minkowski convention; Euclidean generating functionals redistribute these factors.

The superficial degree of divergence is the power of a common large-momentum scale obtained by scaling all independent internal momenta together, before cancellations or subtraction of divergent subdiagrams. In a scalar field theory with a standard quadratic kinetic term and non-derivative interactions, each loop momentum integral supplies $d$ powers of momentum and each internal propagator supplies minus two. ThusFor a connected Feynman diagram, counting vertex half-edges and applying the stated identity for the loop order givesIt follows that $D=(d-2)L-2V+2$. Meanwhile, ${\sum }_n(n-4)V_n=2I+E-4V=2L-2V+E-2$. Substitution provesThis power counting in quantum field theory concerns the overall scaling: even a Feynman diagram with $D<0$ can contain divergent subdiagrams, and cancellations may improve convergence when $D\ge 0$.

The canonical mass dimensions are $[\varphi ]=(d-2)/2$ and $[g_n]=d-n(d-2)/2$. A finite polynomial scalar field theory has power-counting renormalizability when its interactions have nonnegative mass dimensions and the allowed local counterterms form a finite set closed under subtraction of divergent subdiagrams. For $d>2$, non-derivative interactions therefore satisfy $n\le 2d/(d-2)$. Equivalently,so adding vertices of such interactions cannot force an indefinitely increasing number of external legs or derivatives in divergent counterterms. In dimensions $d\le 2$ a fixed finite polynomial still has this favorable power counting in quantum field theory; the displayed upper bound on $n$ is intended only for $d>2$.

For six-dimensional cubic scalar field theory, $3V=2I+E$ and $L=I-V+1$ yieldThe coupling $g$ has zero mass dimension. The possible overall divergences have $E\le 3$: vacuum energy, a linear tadpole diagram term, a mass term, a kinetic term, and a cubic interaction. These are finitely many local counterterms. Divergent subdiagrams of higher-point Feynman diagrams are removed by the same counterterms, establishing perturbative renormalizability of cubic scalar theory in six dimensions. A real cubic potential is unbounded below, so this claim is one of perturbative quantum field theory, not a claim that the polynomial defines a stable nonperturbative vacuum.

After Wick rotation, use the Euclidean action with positive kinetic and mass terms and interaction $g{\varphi }^3/3!$. The Euclidean momentum-space Feynman rules are: an internal scalar propagator $1/(k^2+m^2)$, a vertex $-g$, momentum conservation at each vertex, integration $d^{6}k/(2\pi {)}^6$ for each independent loop, and division by the Feynman-diagram symmetry factor. Strip the overall momentum-conserving delta function and external propagators when computing an amputated Green's function.

The one-particle-irreducible two-point vertex at one loop is the bubble:

Interchanging its two internal lines is an automorphism, giving Feynman-diagram symmetry factor two. In the normalization of the printed Minkowski amputated Green's function, the two vertices contribute $(-ig{)}^2$, the two internal propagators contribute $(-i{)}^2$, and Wick rotation supplies the overall $i$ already factored out there. Thus the Euclidean bubble contribution isFor this self-energy calculation we impose a vanishing one-point function, so tadpole diagram insertions are canceled by the linear counterterm. Without that convention a connected but one-particle-reducible Feynman diagram with a tadpole insertion is also possible: both external legs attach to one vertex, a zero-momentum line joins it to a second vertex, and that second vertex has a self-loop. Its amputated contribution is $g^2/(2m^2)\int d^{6}k/[(2\pi {)}^6(k^2+m^2)]$, independent of $p$. It is not the bubble drawn above; keeping it without a tadpole subtraction would add this constant to the full amputated answer.

To find the bubble's local divergence, put $K=k^2+m^2$ and expand at large $|k|$:Odd terms vanish under the angular integral. Rotational symmetry gives $⟨(k\cdot p{)}^2⟩=k^2{p}^2/6$. The terms through order $p^2$ are thereforeand the $p^2$ coefficient approaches $-1/(3k^6)$. Terms of order $p^4$ and higher are integrable at infinity in six dimensions; subtracting the two displayed terms leaves an ultraviolet-convergent integral. Hence the divergent part is a local polynomial $A{p}^2+B$, with momentum-independent coefficients. For example, when $m^2>0$ its logarithmically divergent coefficient isChanging the reference scale in this logarithm only changes a finite local term.

At zero external momentum the spherical ultraviolet cutoff and $\mathrm{Vol}(S^5)={\pi }^3$ giveWith $u=k^2$, integrate $u^2/(u+m^2{)}^2=1-2m^2/(u+m^2)+m^4/(u+m^2{)}^2$. This gives the momentum-cutoff two-point function in six-dimensional cubic scalar theoryIn particular, the divergent part of this constant iswhile the last term in $B_{\Lambda }$ tends to a finite constant. For $m=0$ the zero-momentum integral gives $B_{\Lambda }=g^2{\Lambda }^2/(256{\pi }^3)$ directly. The finite parts of a local subtraction can depend on the regularization prescription; the conclusion about mass and kinetic counterterms does not.

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.

There is an interpretation issue in this clause. A proper quartic vertex, defined as the fourth derivative of the quantum effective action, has no additional tree or reducible contribution in the bare cubic theory: the three boxes exhaust its one-loop diagrams. The strict local zero-momentum vertex of a Wilsonian effective action also has no high-mode exchange bridge, since the momentum carried by that bridge would be zero, outside the shell. Thus $\boxed{\text{for a local proper or strict Wilsonian quartic vertex, there are no additional diagrams}.}$

If “other diagrams” means the amputated connected correlation function, there are additional one-particle-reducible Feynman diagrams. Specify full external-propagator amputation and a vacuum with tadpole subtraction. The three tree exchange channels each contribute $g^2/m^2$ at zero momentum. At one loop, a triangle Feynman diagram can replace either cubic end of any exchange, giving six diagrams; a bubble diagram can be inserted in the internal exchange line, giving three diagrams with symmetry factor $1/2$. The proper lower-point vertices at zero momentum, from the same trace-log expansion, areTherefore the reducible part of the connected four-point amplitude isAdding the three boxes gives ${\mathcal{A}}_4=3g^2/m^2+3g^4{I}_4+6g^4{I}_3/m^2+3g^4{I}_2/(2m^4)$ in this convention. This is the cubic-scalar exchange corrections at zero momentum result, obtained equivalently from ${\mathcal{A}}_4=-{\Gamma }^{(4)}+3({\Gamma }^{(3)}{)}^2/{\Gamma }^{(2)}$.

If the tadpole has not been subtracted, it is an additional one-loop subgraph that must not be forgotten. The proper one-point function is $t=g{I}_1/2$. Its attachment to the internal exchange line gives another three reducible diagrams, contributing $3g^4{I}_1/(2m^6)$; equivalently the stationary background shifts by $v=-g{I}_1/(2m^2)$ and changes the exchanged mass by $gv$. A linear counterterm enforcing $v=0$ cancels this contribution. External self-energy or tadpole diagram attachments are removed by the stated full-propagator amputation; using bare external amputation would retain them instead. In that convention the four external-line decorations add $6g^4{I}_2/m^4+6g^4{I}_1/m^6$ to the displayed full-amputated result, with the $I_1$ part absent after tadpole subtraction. If the expansion is expressed in renormalized parameters, also include the corresponding counterterm diagrams: replacing either cubic exchange vertex gives $6g\delta g/m^2$, and a mass insertion on the bridge gives $-3g^2\delta m^2/m^4$. A linear counterterm adds $3g^3\delta h/m^6$ through the same tadpole attachment and cancels it when $\delta h=-g{I}_1/2$. The kinetic counterterm has zero insertion at zero exchanged momentum. At one loop these exhaust the possibilities: the single cycle has length four, three, two or one, corresponding respectively to box, triangle, bubble or tadpole, with tree branches attached.

The mass dimensions are $[g]=0$, $[I_r]=6-2r$, $[m]=1$. Accordingly $g^2/m^2$, $g^4{I}_4$, $g^4{I}_3/m^2$, $g^4{I}_2/m^4$ and $g^4{I}_1/m^6$ all have dimension $-2$. These connected exchanges are generally nonlocal functions of external momentum before taking the zero-momentum value; they should not be silently reclassified as an independent local quartic coupling.

Let $D_{xy}=⟨0|T\varphi (x)\varphi (y)|0{⟩}_0$ be the free Feynman propagator, and abbreviate $v_3=-i\kappa$, $v_4=-i\lambda$. Expand the normalized Dyson series, so vacuum bubbles cancel between numerator and denominator, and retain the connected correlation function. Wick's theorem yieldsThese are respectively the free line, the quartic tadpole diagram, the two-cubic-vertex bubble diagram, and an tadpole contribution to a cubic-theory two-point function, attached by a bridge to the vertex carrying both external legs. The last graph is connected but is a one-particle-reducible Feynman diagram; removing its bridge disconnects it. It must be included when all connected graphs are requested. It disappears if an additional vanishing-one-point-function renormalization condition and its corresponding tadpole subtraction are imposed; that convention was not specified here.

The factors can be counted directly. The quartic term has $4\cdot 3=12$ attachments for the two labelled external legs, divided by $4!=24$. At second order in the cubic interaction the expansion denominator is $2!(3!{)}^2=72$. There are 36 Wick contractions for the bubble, and 36 for the attached-tadpole graph, giving $1/2$ for each. Thus each loop topology shown has symmetry factor $S=2$. Disconnected products of one-point functions and vacuum bubbles are not part of $G_c$.^[ref]

The one-loop cubic-quartic scalar vertex classification follows without truncating arbitrarily in powers of the couplings. A connected graph with $E$ external legs, $V_3$ cubic vertices, $V_4$ quartic vertices and loop number $L$ satisfiesFor $E=2,L=1$, the only possibilities are $(V_3,V_4)=(2,0)$ or $(0,1)$, exactly those just listed.

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.

A triangle Feynman diagram has a loop of three propagators joining three vertices. In six-dimensional cubic scalar field theory it gives a one-loop three-point proper vertex. Attaching a cubic tree vertex makes a four-point connected diagram, but the connecting propagator is a bridge, so the latter is a one-particle-reducible Feynman diagram.