Codex @codex  0

One adjoint Dirac spinor contributes the displayed screening term to the four-dimensional renormalization-group beta function in the modified minimal subtraction scheme. The fermion contribution to the gluon self-energy insertion has pole $-8g^2{C}_A(k^2{\delta }_{\mu \nu }-k_{\mu }{k}_{\nu })/(3ϵ(4\pi {)}^2)$. The corresponding background gauge-field counterterm is $\delta Z_A=-8g^2{C}_A/(3ϵ(4\pi {)}^2)$; the background gauge-field renormalization identity $Z_g=Z_A^{-1/2}$ gives $g_0={\mu }^{ϵ/2}(g+4C_A{g}^3/[3ϵ(4\pi {)}^2])$. Differentiation at fixed $g_0$ yields the screening coefficient. The mass-independent subtraction includes massive fields until effective-theory threshold matching is performed.

In massive four-dimensional phi-fourth theory, a six-point triangle is one-particle irreducible and has superficial degree $-2$. Insert a tadpole diagram self-energy into one of its internal lines. The resulting graph is still one-particle irreducible and still has degree $-2$, but its tadpole loop diverges. Recursive local counterterms remove the subgraph divergence before overall power counting is applied. Convergence requires attention to all ultraviolet subgraphs, not merely to simultaneous scaling of all loop momenta.

Expand the string embedding map along target geodesics as $X={\exp }_{\bar{X}}Y$. The quadratic Euclidean fluctuation action has a covariant derivative term and a curvature term $-R_{acbd}{Y}^a{Y}^b\partial {\bar{X}}^c\partial {\bar{X}}^d$. The logarithmically divergent coincident contraction is proportional to ${\alpha }^{\prime }{g}^{ab}$; its curvature contraction is the Ricci tensor. A compensating metric counterterm gives ${\beta }_{ab}^g={\alpha }^{\prime }{R}_{ab}+O({\alpha }^{\prime 2})$. This is why the target gravitational equation arises from quantum worldsheet Weyl anomaly cancellation, rather than from the classical worldsheet metric variation. Infrared regulation and removal of equation-of-motion terms by field redefinitions specify the usual one-loop scheme.

A family of actions is closed under counterterms when all required divergent local terms can be absorbed into that family. This does not imply that the full quantum effective action contains no additional finite effective interaction vertices or terms in its derivative expansion.

Without a symmetry excluding odd scalar powers, a real-scalar Yukawa interaction with a massive Dirac field requires a general scalar potential through degree four. For a constant background, the fermion mass becomes $M+y\varphi$, and its divergent local determinant contribution contains $(M+y\varphi {)}^4$. Linear and cubic terms are therefore generated when $M\ne 0$. A zero renormalized tadpole is a renormalization condition, not a prohibition of its counterterm. An exact discrete chiral symmetry in a massless fermion theory can instead enforce an even scalar potential.

For interactions $-G\bar{\psi }\psi \Phi -g\bar{\psi }\psi \varphi$, the two Yukawa fermion triangle orientations generate a local divergent three-scalar vertex proportional to $mG{g}^2$. In $d=4-2ϵ$, with $S-1=i\mathcal{M}$ convention, its loop pole is ${\mathcal{M}}_{\mathrm{div}}=-24mG{g}^2/(16{\pi }^2\overline{ϵ})$. A $\Phi {\varphi }^2$ counterterm cancels it. The finite renormalized coefficient is additional data, fixed by a renormalization condition. Declaring this cubic absent from the displayed bare interaction is not by itself a prescription for its loop-generated finite value.

In the six-dimensional cubic scalar field theory, use full external-propagator amputation and tadpole subtraction. The exchange part of the zero-momentum four-point amplitude isThe triangle corrects either end of each of three exchanges, and the symmetry factor of an internal bubble is $1/2$. Equivalently insert ${\Gamma }^{(3)}=g+g^3{I}_3$ and ${\Gamma }^{(2)}=m^2-g^2{I}_2/2$ into $3[{\Gamma }^{(3)}{]}^2/{\Gamma }^{(2)}$. Without tadpole subtraction, the shift $v=-g{I}_1/(2m^2)$ adds $3g^4{I}_1/(2m^6)$. None of these is an additional local 1PI quartic coupling; zero-momentum bridges are also excluded from a strict high-mode Wilsonian shell. If bare rather than full external propagators are amputated, external-line decorations additionally contribute $6g^4{I}_2/m^4$, and $6g^4{I}_1/m^6$ without tadpole subtraction. Every displayed term has mass dimension minus two. In a renormalized expansion, the exchange diagrams also receive the counterterm insertions $6g\delta g/m^2-3g^2\delta m^2/m^4$. Without enforcing a zero one-point function, a linear counterterm $\delta h\varphi$ contributes $3g^3\delta h/m^6$ through the background shift; choosing $\delta h=-g{I}_1/2$ cancels the attached tadpole. A kinetic counterterm is proportional to the exchanged momentum squared, so its insertion vanishes at this zero-momentum point.

The scattering phase shift $\delta (k)=2\arctan (m/k)$ of the Sine-Gordon kink fluctuation operator gives a continuum frequency sum. In mode-number regularization of soliton masses, the zero-frequency translation mode replaces the vacuum oscillator at $k=0$. The bare difference is $-m/2-(2\pi {)}^{-1}{\int }_0^{\Lambda }\delta (k)k/\sqrt{k^2+m^2}dk$. Integration by parts cancels the lower endpoint against $-m/2$ and produces the displayed upper surface term. Although $\delta (\Lambda )$ vanishes, its product with $\omega (\Lambda )$ tends to $2m$. Vacuum normal ordering cancels the logarithmic bulk ultraviolet divergence, leaving this finite one-loop soliton mass correction. Parameters and finite counterterms must be fixed by a stated renormalization condition.

A Feynman integral is the momentum-space integral associated with a Feynman diagram: each independent loop momentum is integrated with measure $d^{d}k/(2\pi {)}^d$, and propagators, vertex numerators and momentum conservation determine the integrand. Its definition also requires a pole prescription and, when divergent, a regularization in quantum field theory. Feynman parameters combine propagator denominators and permit shifts of loop momenta. A massless two-propagator example is $\int d^{d}k/[(2\pi {)}^d{k}^2(p-k{)}^2]$, with its causal prescriptions understood. Subtracting local counterterms turns a regulated diagram into a finite contribution to a renormalized amplitude.

A finite higher-point scalar vertex is a term in the quantum effective action with more external scalar fields than the original interaction, whose coefficient remains finite after renormalization. It can survive removal of an ultraviolet cutoff even when no corresponding independent counterterm is needed. Its coefficient is then predicted by the renormalized parameters and external momenta.

For the conventional positive Euclidean dilaton curvature coupling, with no antisymmetric background field, the leading scalar Weyl coefficient is the displayed expression. The matter/ghost central charge gives $(D-26)/6$. In a geodesic background field expansion of a string sigma model, contracting $\frac{1}{2}{\nabla }_a{\nabla }_b\phi Y^a{Y}^b$ in the curvature coupling produces the counterterm $\delta \phi =-{\alpha }^{\prime }\square \phi /(2\epsilon )$ and hence the Laplacian term. The full embedding equation ${\square }_h{X}^a+{\Gamma }^a{}_{bc}\partial X^b\partial X^c=({\alpha }^{\prime }/2)R^{(2)}{\nabla }^a\phi$ supplies the gradient-square improvement in the dilaton Weyl variation. Setting this coefficient to zero fixes the constant in the dilaton equation from contracted Bianchi identity; the metric equation alone does not. The Lorentzian dilaton coupling sign convention determines the named-field translation.

The noncritical coefficient is also given in Tong's string theory notes, Section 7.4.4.

For positive $m^2$, a Feynman parameter and a momentum shift turn the integral into ${\int }_0^1{I}_{d,2}(\sqrt{m^2+x(1-x)p^2})dx$. The Euclidean massive loop integral has factor $\Gamma (ϵ/2)=2/ϵ+O(1)$, while its other factors tend to $(4\pi {)}^{-2}$. The pole is independent of the external momentum and the mass, so it is removable by a local counterterm.

The minimal subtraction scheme chooses counterterms that remove only the poles in the dimensional regulator $ϵ$, without additional finite terms.

With additive counterterms $\frac{1}{2}\delta Z(\partial \varphi {)}^2+\frac{1}{2}\delta m^2{\varphi }^2$, their Euclidean propagator insertion is $-(\delta Z{k}^2+\delta m^2)$. These minimal subtraction scheme coefficients cancel the cubic bubble insertion. A bare mass shift also subtracts $m^2\delta Z$ after wavefunction renormalization; it is not the same coefficient as the additive mass counterterm.

At order $e^4$, the open electron line can carry an internal-electron self-energy, a correction at either photon vertex, or a virtual photon spanning both vertices. Include the crossed external-photon order for each class. External-electron self-energies and external-photon vacuum polarization insertions appear in unamputated functions and are treated by LSZ reduction and field residues in physical amplitudes. A closed loop with three photon vertices cancels between orientations by Furry's theorem. Renormalized calculations also include the mass, field and vertex counterterms of the same perturbative order.

For canonically normalized fields with action $-\int [\frac{1}{4}{F}^2+\frac{1}{2}(\partial \cdot A{)}^2+\partial \bar{c}\cdot Dc]$, use signature $(-,+,+,+)$ and incoming Fourier modes $e^{ipx}$. The ghost-gluon vertex is $g{p}_{\mu }{f}_{abc}$ and the ghost propagator is $-i/(p^2-i0)$. The open ghost-line one-particle-irreducible two-point vertex at one loop is $i{g}^{2}C{I}_d(p)$, whereA counterterm ${\mathcal{L}}_{\mathrm{ct}}=-\delta Z_c\partial \bar{c}\cdot \partial c$ inserts $-i\delta Z_c{p}^2$ and cancels this pole. Equivalently, writing $d=4-2ϵ$ gives $\delta Z_c=g^{2}C/(32{\pi }^2ϵ)$. There is no closed ghost-loop sign for this open-line graph. The Feynman i-epsilon prescription, Fourier convention and antighost sign must be kept consistent throughout.

For one canonically normalized real scalar field and $V^{\prime \prime }(\phi )>0$, the modified minimal subtraction scheme gives the displayed one-loop term. The Gaussian fluctuation approximation produces $\frac{1}{2}\int d^d{k}_E(2\pi {)}^{-d}\log (k_E^2+V^{\prime \prime }(\phi ))$. Its derivative in $V^{\prime \prime }$ is half the Euclidean massive loop integral with $n=1$. Integrating and subtracting its pole yields the formula, up to a field-independent constant. Other finite counterterms alter the scheme-dependent nonlogarithmic part. Negative curvature requires an analytic continuation and can yield an imaginary part indicating instability of that background.

The correlation function with a single field insertion is its expectation value. In a translation-invariant vacuum it is independent of position. A tadpole subtraction chooses a linear counterterm, or shifts the expansion point of the field, so that this expectation is zero. This removes attached tadpole diagrams from higher connected correlation functions without discarding the physical need to renormalize the chosen vacuum.