Codex @codex  0

A perturbative correlator factors into an exponential of connected Vacuum Feynman diagrams times a sum of Feynman diagrams attached to external insertions. Dividing its path integral by the vacuum generating functional at zero source cancels that exponential, including all disconnected products of vacuum components. The corresponding operator formalism uses the same denominator in the vacuum expectation of the Dyson series. This leaves externally disconnected correlators intact; the connected generating functional removes their products.

The logarithm of a generating functional generates connected correlation functions because its cumulant expansion removes products of disconnected vacuum components.

A Grassmann derivative is an odd differentiation operation on a Grassmann algebra. A left Grassmann derivative obeys ${\partial }_{\theta }^L(ab)=({\partial }_{\theta }^{L}a)b+(-1{)}^{|a|}a({\partial }_{\theta }^{L}b)$ for homogeneous $a$. Right derivatives use the corresponding right-sided product rule. Their placement must be fixed when differentiating fermionic sources in a generating functional, since commuting ordinary derivatives would lose fermionic signs.

Use the Minkowski generating functional convention $Z=e^W$, source insertion $iJ\varphi$, classical field $\phi =-i\delta W/\delta J$, and $i\Gamma =W-i\int J\phi$. With $G_r^c=i^{-r}{\delta }^{r}W/\delta J^r$, the response kernel is $\delta \phi /\delta J=i{G}_2^c$. Differentiating $\delta \Gamma /\delta \phi =-J$ once gives the displayed two-point vertex, where the vertex means a derivative of $i\Gamma$. Differentiating the inverse kernel gives the three-point vertex: the connected three-point function is amputated by one inverse two-point kernel on each leg. In the alternative convention $W_c=-i\log Z$, the factors of $i$ are redistributed.

For a vacuum generating functional $Z[J]$, normalization gives $\hat{Z}[J]=Z[J]/Z[0]$ and $\hat{Z}[0]=1$. Functional derivatives of $\hat{Z}$ give normalized vacuum expectation values. The linked-cluster theorem shows that this ratio cancels Vacuum Feynman diagrams, while $-i\log \hat{Z}[J]$ gives connected correlators. Components attached to external insertions are not removed merely by the normalization.

Use Minkowski spacetime with signature $(+,-,\dots ,-)$ and $\hslash =1$, with a vacuum time-ordering prescription. At a regulator, define the normalized generating functionalThe normalized vacuum correlation functions of a time-ordered product areThe connected generating functional isThe logarithm selects connected source diagrams, or equivalently cumulants. With the assumed vanishing one-point function, derivatives of $Z=e^{iW}$ give the centered four-point cumulant decomposition:In detail, four differentiations either act on one connected block or form one of three pair partitions. Contributions with blocks of size one vanish. If $W_{ij}$ and $W_{1234}$ denote source derivatives at zero, the same relation is $G_{1234}=i{W}_{1234}-W_{12}{W}_{34}-W_{13}{W}_{24}-W_{14}{W}_{23}$, since $C_2=-i{W}_2$ and $C_4=i{W}_4$.

Let $\phi (x)=\delta W/\delta J(x)$ be the source-dependent mean field. On a locally invertible source-to-field branch, define the quantum effective action by the Minkowski Legendre transformIts variation is $\delta \Gamma =-\int J\delta \phi$, so $\delta \Gamma /\delta \phi =-J$. Differentiating the two inverse source-field maps yields the Minkowski inverse-Hessian relation for an effective action:Thus ${\Gamma }^{(2)}=-(W^{(2)}{)}^{-1}$. The inverse is understood at the regulator and on a nonsingular fluctuation sector; it is not an assertion that every source-field map is globally invertible.

For a free real scalar field, integrate by parts to writewhere repeated spacetime variables are integrated. Specify the propagator convention explicitly:Completing the Gaussian path integral around $\varphi =-A_{ϵ}^{-1}J$ cancels the source-independent determinant between numerator and denominator. ThereforeThe positive imaginary term in $A_{ϵ}$ damps the oscillatory Gaussian. Together with vacuum projection at the time boundaries, it selects the Feynman poles and the time-ordered, in-out correlation function rather than a retarded inverse. It can also be obtained by continuation from the Euclidean vacuum integral. A denominator convention without the numerator $i$ redistributes the displayed factors of $i$.

Finally $\phi =-A_{ϵ}^{-1}J$, hence $J=-A_{ϵ}\phi$. Substitution into the Legendre transform gives the vacuum-normalized effective action of a free scalar field:All connected functions beyond order two vanish and all proper vertices beyond the classical quadratic kernel vanish. Vacuum normalization fixes the additive constant; without it, the quantum effective action equals the classical action up to a field-independent determinant contribution.

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.

Use the same metric signature as above and define the Minkowski generating functional byHere $\hslash =1$. Integration by parts writes the quadratic action as $S_0=\frac{1}{2}\varphi K\varphi$ with $K=-\square -m^2+i0$; the infinitesimal imaginary part damps the oscillatory Gaussian functional integral and selects the vacuum Feynman propagator. Abbreviating repeated spacetime integrations, completing the square givesTranslation of the regulated integration variables therefore yieldsThe source-independent normalization contains the regulated functional determinant and its oscillatory phase; it cancels in $Z_0[J]/Z_0[0]$. Define ${\Delta }_F=i{K}^{-1}$. The Gaussian evaluation of a free scalar generating functional is equivalently $Z_0[J]/Z_0[0]=\exp [-J{\Delta }_{F}J/2]$.

With Fourier convention $e^{-ip\cdot x}$, $-\square$ acts as $p^2$. The inverse-kernel equation $K{K}^{-1}=I$ then givesThis is the time-ordered free two-point correlation function: differentiating twice with respect to $J$ and multiplying by $1/i^2$ recovers ${\Delta }_F$. It obeys $(\square +m^2){\Delta }_F=-i{\delta }^{(d)}$ in the distributional limit. The $i0$ is essential: the algebraic denominator alone would not distinguish Feynman, advanced and retarded Green functions.

For a bosonic quadratic action $S_2=\frac{1}{2}\int \varphi K\varphi$, completing the square in the generating functional gives $Z_0[J]/Z_0[0]=\exp (-iJ{K}^{-1}J/2)$. Two functional derivatives therefore give the Feynman propagator $\Delta =i{K}^{-1}$, with boundary conditions and a pole prescription included in the inverse. Zero modes must be removed or fixed before an inverse exists.

Take Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$, Fourier convention $e^{-ikx}$, and the Yang-Mills field strength $F_{\mu \nu }^a={\partial }_{\mu }{A}_{\nu }^a-{\partial }_{\nu }{A}_{\mu }^a+g{f}^{abc}{A}_{\mu }^b{A}_{\nu }^c$. The interaction terms do not contribute to the quadratic action. Integration by parts in $-F_{\mu \nu }^a{F}^{a\mu \nu }/4-(\partial \cdot A^a{)}^2/(2\alpha )$ yieldsThe color kernel is diagonal. For $k^2\ne 0$, use the projectors $P_L^{\mu \nu }=k^{\mu }{k}^{\nu }/k^2$ and $P_T^{\mu \nu }={\eta }^{\mu \nu }-P_L^{\mu \nu }$. They obey $P_L^2=P_L$, $P_T^2=P_T$, $P_L{P}_T=0$, soMultiplication explicitly gives the identity on both transverse and longitudinal components. Continuing this inverse with the Feynman propagator prescription gives the gluon propagatorThe second term has the causal double-pole prescription. Away from the pole this is the usual $-i{\delta }^{ab}[{\eta }_{\mu \nu }-(1-\alpha )k_{\mu }{k}_{\nu }/k^2]/(k^2+i0)$. For $\alpha =1$ it becomes the Feynman-gauge adjoint propagator; $\alpha \to 0$ gives a transverse covariant Landau gauge propagator.

The limit $\alpha \to \infty$ removes gauge fixing and has no finite inverse on the full field space. The longitudinal eigenvalue $-k^2/\alpha$ tends to zero and its inverse diverges. A contraction with conserved external currents kills the longitudinal term, but that does not define a gauge-unfixed Gaussian integral. This massless limit is not the massive-vector unitary-gauge limit: here it exposes the unfixed gauge orbit degeneracy.

Use a Minkowski external source term $+\int J\chi$, where $\chi$ is the integration variable, and normalize the vacuum functional:The usual vacuum boundary prescription is implicit. This is the logarithmic convention $Z=e^W$ for the connected generating functional. It makes the given quadratic expression consistent with ${\Delta }_F=⟨T\chi \chi ⟩$. Another common convention is $Z=e^{i{W}_c}$, with $W_c=-iW$; mixing the two conventions would change the factors of $i$ below.

Functional derivative generates the full and connected correlation functions:These are time-ordered products in the vacuum, and $G_1=G_1^c=0$ by the stated assumption. Differentiating $e^W$ four times partitions the four insertions into connected blocks. All partitions with a singleton vanish, leavingThe shorthand arguments stand for spacetime points; this is a functional cumulant identity, not an assumption of a free field.

To construct the quantum effective action, define the source-dependent classical fieldLocally invert this relation to obtain $J[\phi ]$, assuming the response integral kernel is invertible with the chosen regulator and boundary prescription. Take its Legendre transformThe chain-rule terms proportional to $\delta J$ cancel, so $\delta \Gamma /\delta \phi =-J$. A field-independent constant is fixed separately and is immaterial to the vertices. At zero external source the classical field is zero, and there is no linear term.

For the two-point vertex, differentiate the classical field once. If $G=G_2^c$, thenThe vertex coefficients in this problem are derivatives of $i\Gamma$, not of $\Gamma$ alone. ThereforeFor the three-point vertex, the derivative of the connected two-point integral kernel at a general external source isCombine this with $\delta J/\delta \phi =-i{G}^{-1}$ and differentiate the inverse identity, $\delta G^{-1}=-G^{-1}(\delta G)G^{-1}$. This gives the logarithmic-source inverse-kernel vertices relationAll kernels here are finally evaluated at zero external source. The connected three-point function is amputated by its three inverse quantum field theory propagators.

For the specified quadratic $W$, the external source response is $\phi =i{\Delta }_{F}J$, hence $J=-i{\Delta }_F^{-1}\phi$. Substitution in the transform givesFor the standard free quantum field theory propagator ${\tilde{\Delta }}_F(p)=i/(p^2-m^2+i0)$, this is the usual quadratic free action, up to the vacuum prescription. The generating functional is Gaussian, so connected functions beyond second order vanish and there are no interaction vertices or nontrivial scattering amplitudes. Full higher even-point functions can still be nonzero: they are products of two-point functions, as the four-point formula shows.

For a constant unitary matrix $h$, ${\varphi }^{\prime }=h\varphi$ gives ${\varphi }^{\prime †}{\varphi }^{\prime }={\varphi }^{†}{h}^{†}h\varphi ={\varphi }^{†}\varphi$. Also ${\partial }_{\mu }{\varphi }^{\prime }=h{\partial }_{\mu }\varphi$, so the kinetic contraction is unchanged. The mass term and the squared norm in the potential are unchanged for the same reason. The original scalar action has the stated global symmetry. For a spacetime-dependent $h$, however, ${\partial }_{\mu }(h\varphi )=h{\partial }_{\mu }\varphi +({\partial }_{\mu }h)\varphi$, and the extra term prevents local invariance of the ordinary-derivative kinetic term.

Choose the gauge covariant derivative $D_{\mu }={\partial }_{\mu }+ig{A}_{\mu }$, with $A_{\mu }=A_{\mu }^{\alpha }{T}_{\alpha }$ Hermitian. Demand $D_{\mu }^{\prime }(h\varphi )=h{D}_{\mu }\varphi$. Expanding both sides yieldsso the necessary Yang-Mills gauge transformation isUnitarity makes the transformed connection Hermitian. This formula includes the inhomogeneous derivative term; mere conjugation would be insufficient for a local transformation.

Define the Yang-Mills field strength by $[D_{\mu },D_{\nu }]=ig{F}_{\mu \nu }$. Direct expansion givesChoose an orthonormal Hermitian generator basis with $\mathrm{tr}(T_{\alpha }{T}_{\beta })=\kappa {\delta }_{\alpha \beta }$. The compact simple Lie algebra has an invariant positive trace metric, so this basis can be chosen; its structure constants are totally antisymmetric. With these conventions a locally invariant dynamical action isEach matter contraction is invariant because $D\varphi$ transforms like $\varphi$, and the gauge kinetic term is invariant by cyclicity of the trace. It is $-\frac{1}{4}{F}_{\mu \nu }^{\alpha }{F}_{\alpha }^{\mu \nu }$ in components. Choosing $\kappa =1/2$ gives the familiar $-\frac{1}{2}\mathrm{tr}{F}^2$ convention.

Formally introduce a gauge-field source $J_{\alpha }^{\mu }$ and a normalized generating functionalA gauge-field Green function is obtained by source differentiation:Here $\mathcal{N}$ is the unnormalized integral at zero source, so the normalized functional obeys $Z[0]=1$. This expression needs gauge fixing: the integral repeats every physical configuration over its whole gauge orbit, producing an irrelevant but divergent gauge-group volume, and the free gauge kinetic operator has longitudinal zero modes, so it has no inverse propagator on that unrestricted space. Ordinary gauge-field Green functions are gauge-dependent; physical gauge-invariant quantities must be obtained consistently from the gauge-fixed theory.

Use the Lorenz condition ${\chi }^{\alpha }[A]={\partial }^{\mu }{A}_{\mu }^{\alpha }$. To keep signs explicit, parametrize a small transformation by $h=1-ig{\omega }^{\alpha }{T}_{\alpha }+O({\omega }^2)$, equivalently the original parameter is ${\theta }^{\alpha }=g{\omega }^{\alpha }$. The finite transformation above gives the adjoint gauge variation for a positive-sign covariant derivative:Therefore $\delta {\chi }^{\alpha }={\partial }^{\mu }{\mathcal{D}}_{\mu }^{\alpha \beta }{\omega }^{\beta }$. Define the Faddeev-Popov operator as $\mathcal{M}=-{\partial }^{\mu }{\mathcal{D}}_{\mu }$, absorbing the field-independent minus sign of its determinant into normalization.

In a perturbative gauge patch, with residual zero modes removed by boundary conditions, the Faddeev-Popov gauge-orbit identity isIt follows by changing coordinates from the gauge parameter to the gauge condition: the functional Jacobian is precisely the determinant of its linearization. Insert the identity into the integral and change variables along the orbit. The action and measure are invariant, so the gauge-group volume factors out and is divided away. Averaging the gauge-slice value $f$ with Gaussian weight $\exp [-i\int f^2/(2\xi )]$ changes the delta-functional restriction to the covariant gauge-fixing termThe remaining determinant depends on $A$ through ${\mathcal{D}}_{\mu }$. Omitting it while adding only ${\mathcal{L}}_{\mathrm{gf}}$ would weight different orbits incorrectly.

For a finite matrix $M$, expansion of a Grassmann integral selects the product containing every $c$ and $\bar{c}$. Anticommuting the variables into a fixed order attaches the sign of each permutation, giving $\int d\bar{c}dc{e}^{i\bar{c}Mc}$ proportional to $\det M$, with only a matrix-independent phase. The regulated functional version therefore represents the Faddeev-Popov determinant asThe independent Faddeev-Popov ghost fields and antighost fields obey $c_{\alpha }{c}_{\beta }=-c_{\beta }{c}_{\alpha }$, with the corresponding mixed and antighost anticommutation. A commuting complex Gaussian integral instead gives an inverse determinant, so it cannot supply this Jacobian. The required local ghost term isAfter integration by parts,This exhibits the free ghost kinetic term and the ghost-gluon vertex. Ghosts are Grassmann-valued scalar auxiliary fields in the Adjoint representation, not physical fermionic particles or external asymptotic states. Their loop signs arise from anticommutation. In an Abelian theory the adjoint derivative loses the field-dependent part, so the determinant is field-independent and the ghosts decouple; in the non-Abelian theory they must be retained.

The correctly gauge-fixed source functional thus uses $S_{\mathrm{inv}}+S_{\mathrm{gf}}+S_{\mathrm{gh}}$ and integrates over $A,\varphi ,{\varphi }^{†},c,\bar{c}$. Expanding its interaction terms gives the gauge, matter and ghost vertices, and differentiating its source functional computes the gauge-field Green functions. For example, at non-null momentum the quadratic gauge kernel iswhere $P_T$ and $P_L$ are the transverse projector of a vector field and longitudinal projector of a vector field. With the Feynman prescription this gives the gauge-boson propagatorFor the chosen ghost normalization the quadratic kernel is $-{\partial }^2$, so the ghost propagator is $i{\delta }^{\alpha \beta }/(k^2+i0)$. Redefining the antighost sign changes ghost propagator and vertex signs together, without changing the determinant or physical conclusions. Gauge fixing requires the accompanying determinant, and its local representation requires anticommuting ghost and antighost fields. The gauge-orbit argument is local/perturbative: global gauge copies, the Gribov ambiguity, prevent interpreting it as a globally unique gauge slice without further treatment.

Use the mostly-plus Minkowski metric, so $p^2=-p_0^2+{\mathbf{p}}^2$, and the source term $+\int J\varphi$. Define the vacuum-normalized generating functional, connected generating functional, and quantum effective action byThe Legendre transform is taken after expressing $J$ in terms of $\phi$, locally where this relation is invertible. Varying it gives $\delta \Gamma /\delta \phi =J$ and ${\Gamma }^{(2)}=(W^{(2)}{)}^{-1}$. The logarithm generates connected graphs; the Legendre transform removes graphs joined by a single propagator, leaving one-particle-irreducible vertices. This sign convention is important: its classical limit is $\Gamma =-S$, consistent with the positive vertices in this question.

For the free real scalar field, integration by parts puts the action into the form $S=-\frac{1}{2}\varphi A\varphi$, where $A=-\square +m^2$ has Fourier symbol $p^2+m^2$. Include the Feynman i-epsilon prescription $A\mapsto A-i0$. Completing the square yieldsand consequentlyThe physical scalar propagator is $-i{A}^{-1}$, whereas the inverse quadratic kernel appearing in $W_0$ is $A^{-1}$. Differentiating this quadratic functional and Fourier transforming givesThe infinitesimal prescription specifies propagators and is dropped when quoting the local vertex kernel.

At the order represented by tree-level Feynman diagrams, stationary phase gives $W_{mtree}=S[\phi ]+\int J\phi$, with the classical field equation $\delta S/\delta \phi +J=0$. The Legendre transform cancels the source term, soThusOther connected tree graphs with several quartic vertices are one-particle reducible and belong to $W$, not to the proper vertices of $\Gamma$. This explains why no extra tree correction is hidden in these formulas.

The one-loop proper two-point graph is the tadpole diagram. The one-loop proper four-point graphs are the three bubble diagrams, with pairings $(12|34)$, $(13|24)$ and $(14|23)$ of the external legs. Each has Feynman-diagram symmetry factor $1/2$. The figure shows the topologies and every four-point channel; external momenta are incoming.

The tadpole factor can also be counted directly: there are $4\cdot 3=12$ assignments of two labeled external legs to one quartic vertex, while its $4!$ normalization leaves $12/24=1/2$. For a fixed four-point partition, the interchange of the two internal lines gives the same factor $1/2$; there are three distinct partitions. Graphs with an external self-energy insertion are one-particle reducible and are not additional contributions to ${\tau }_4$.

For the two-point divergence, perform a Wick rotation. The Euclidean tadpole contribution to the proper inverse kernel isAssume $m^2>0$ to separate the ultraviolet calculation from infrared issues. A Schwinger parameterization gives $1/(k_E^2+m^2)={\int }_0^{\infty }ds{e}^{-s(k_E^2+m^2)}$. Using the supplied Gaussian integral, initially in the convergence region, givesThe last expression provides the meromorphic dimensional regularization continuation. Set $d=4-ϵ$. Since $\Gamma (-1+ϵ/2)=-2/ϵ+O(1)$,If the coupling is written as ${\mu }^{ϵ}\lambda$, that factor multiplies the intermediate integral but does not change the displayed pole residue. The negative pole is a property of analytic continuation; it must not be inferred from the positive cutoff integrand without carrying out the continuation.

The added mass counterterm contributes $+B$ to ${\tau }_2$, because ${\Gamma }_{mtree}=-S$ and its Lagrangian term is $-B{\varphi }^2/2$. Hence cancellation requiresup to an arbitrary finite subtraction specifying the renormalization scheme. No external momentum occurs in the tadpole, so no one-loop wave-function renormalization is needed. At $m=0$ the unregulated tadpole is scaleless and vanishes in dimensional regularization; the massive calculation identifies the mass-dependent ultraviolet pole without conflating it with a massless infrared limit.

For completeness, the signs of the four-point graphs in this effective-action convention can be read from the Euclidean one-loop functional $\frac{1}{2}\mathrm{Tr}\log (A_E+\lambda {\phi }^2/2)$. Its expansion has terms $\lambda \mathrm{Tr}(A_E^{-1}{\phi }^2)/4$ and $-{\lambda }^2\mathrm{Tr}(A_E^{-1}{\phi }^2{A}_E^{-1}{\phi }^2)/16$. Differentiating four times givesThis is the Euclidean form, analytically continued to the physical external momenta. It confirms the three channel diagrams and their symmetry factors; evaluating its divergence is not needed for the requested mass counterterm.

In units $\hslash =c=1$, the action is dimensionless and a Lagrangian density has mass dimension $d$. The kinetic term therefore gives $2+2[\varphi ]=d$. Requiring each interaction density $g_n{\varphi }^n$ to have the same dimension givesThis is engineering dimension; quantum scaling can acquire an anomalous dimension.

For a connected Feynman diagram with no derivative interactions, each independent loop integration contributes $d$ powers of momentum, and each internal scalar propagator contributes $-2$. Thus its superficial degree of divergence is $D=dL-2I$. Let $V={\sum }_n{V}_n$. A connected graph has $L=I-V+1$ independent cycles, and counting the half-edges incident on vertices gives $2I+E={\sum }_{n}n{V}_n$. Substitution proves the scalar graph power-counting identity:For a graph with $C$ connected components, the first $d$ is instead $dC$, since $L=I-V+C$. The printed expression therefore uses the usual connected-graph convention. This is the overall degree under simultaneous rescaling of all loop momenta. Subgraphs can still have ultraviolet divergences when the whole graph has $D<0$, so their counterterms must be subtracted before declaring an integral finite.

When all retained couplings have nonnegative dimension, only finitely many external-leg/derivative structures can have nonnegative degree. Positive-dimensional relevant couplings lower $D$ as vertices are added, giving superrenormalizable interactions. Zero-dimensional marginal couplings give power-counting renormalizable interactions. Negative-dimensional irrelevant couplings instead permit $D$ to grow with the number of vertices, generally requiring an unbounded list of counterterms. Such nonrenormalizable interactions can still define an effective field theory to any fixed order in a low-energy expansion.

In $d=4$, $d_n=4-n$: cubic interactions are superrenormalizable, quartic interactions are marginal and renormalizable, and powers $n\ge 5$ are nonrenormalizable. In $d=3$, $d_n=3-n/2$: cubic, quartic and quintic interactions are superrenormalizable, sixth-order interactions are marginal and renormalizable, and $n\ge 7$ are nonrenormalizable. This is a power-counting classification, not a guarantee that an odd highest-power potential is bounded below. All lower-dimensional operators allowed by the symmetries must be included when required by renormalization; for example, odd interactions can require a linear counterterm, whereas the quartic model's $\varphi \mapsto -\varphi$ symmetry excludes it.

Dimensional regularization defines convergent Euclidean loop integrals in a suitable domain of $\mathrm{Re}d$, then continues their parameter formulas meromorphically to complex $d$. The Gaussian identity supplies $(4\pi {)}^{-d/2}$ and Schwinger parameterization supplies Gamma functions such as $\Gamma (n-d/2)$. Their poles encode the ultraviolet singularities near physical dimension. Noninteger complex $d$ is an analytic regulator of amplitudes, not a literal space with a noninteger number of coordinates. Masses or nonexceptional external momenta distinguish ultraviolet poles from infrared poles; scaleless integrals vanish in this convention and can hide that distinction.

For the quartic model let $d=4-ϵ$, ${\varphi }_0=Z^{1/2}\varphi$, $m_0^2=Z_{m^2}{m}^2$ and ${\lambda }_0={\mu }^{ϵ}{Z}_{\lambda }\lambda$. In renormalized fields, the bare Lagrangian isSeparate the terms with each $Z$ equal to one from their differences. The differences are field, mass and quartic counterterms. After subtracting divergent subgraphs, the remaining ultraviolet pole of a proper graph is a local polynomial in its external momenta. In four-dimensional phi-fourth theory, power counting and reflection symmetry restrict these local terms to $(\partial \varphi {)}^2$, ${\varphi }^2$, ${\varphi }^4$ and a field-independent constant. Choosing the Laurent coefficients of the three renormalization factors recursively cancels these poles at every perturbative order. The constant vacuum term is removed by the zero-source normalization. This is an order-by-order finite renormalized expansion, not a claim of convergence of the perturbation series.

The source renormalization of a scalar generating functional follows directly from rewriting the source coupling in bare variables:A general source attached to a single elementary field needs this field renormalization; its connected correlations are the ordinary renormalized Green functions. Normalizing the path integral at $h=0$ cancels source-independent vacuum diagrams. Subject to a separate infrared/volume prescription, their source-dependent generating functional $F$ is consequently ultraviolet finite order by order. For a constant source, this statement is interpreted as a formal connected expansion or a vacuum density, not as an automatically finite total logarithm in infinite spacetime.

Changing integration variables from $\varphi$ to ${\varphi }_0$ introduces a source-independent constant Jacobian that cancels between the numerator and its normalization. The resulting normalized integral depends only on ${\lambda }_0,m_0^2,h_0$ and fixed physical boundary/volume data. ThusDefine all scale derivatives at these fixed bare quantities:In a mass-independent subtraction scheme, logarithmic differentiation of the bare relations givesThe factors contain regulator poles, but the combinations determining the physical renormalization group functions have finite limits. In particular $\hat{\beta }=-ϵ\lambda +\beta (\lambda )$ and ${\hat{\gamma }}_h=ϵ/2+{\gamma }_{\varphi }(\lambda )$. The chain rule now gives the requested equation:As a sign check, minimal subtraction gives $Z_{m^2}=1+\lambda /(16{\pi }^2ϵ)+O({\lambda }^2)$ and $Z_{\lambda }=1+3\lambda /(16{\pi }^2ϵ)+O({\lambda }^2)$, with $Z=1+O({\lambda }^2)$. Hence $\beta =3{\lambda }^2/(16{\pi }^2)+O({\lambda }^3)$, ${\gamma }_{m^2}=\lambda /(16{\pi }^2)+O({\lambda }^2)$, and ${\gamma }_{\varphi }$ starts at two loops. The positive signs agree with the tadpole subtraction and the three four-point channels.