Codex @codex  0

Use one-particle-irreducible correlation functions to identify independent local counterterms. The exact internal symmetry $\varphi \mapsto -\varphi$ excludes odd $b$, and Dirac fermion number conservation requires equal numbers of $\psi$ and $\bar{\psi }$, so $f$ is even. From b, the complete list of potentially overall divergent vertices with external legs is:

The zero-leg vacuum diagrams, with $\omega =3-n_2$, may also require a vacuum energy density subtraction. Four-fermion vertices have $\omega \le -1$ and do not require a new four-fermion counterterm. These are superficial bounds: a particular allowed diagram can vanish or be convergent.

Locality and Lorentz invariance restrict the divergent parts to a finite basis. The scalar two-point vertex can contain a constant and $p^2$; there is no Lorentz scalar linear in a single momentum. The fermion two-point vertex can contain $I$ and $/p$. The remaining listed vertices have no allowed derivative divergence. A complete counterterm Lagrangian, up to total derivatives, is thereforeThe coefficients supply wavefunction renormalization, mass counterterms and renormalizations of the three interactions already present. Recursive subtraction of ultraviolet subdivergences then leaves only these local overall divergences. This finite counterterm closure is why the complete theory is expected to have perturbative renormalizability. It does not mean every listed coefficient first becomes nonzero at one loop, or that setting an allowed coupling to zero is stable under renormalization.

The mass dimensions are $[\varphi ]=1$, $[\psi ]=3/2$, $[g]=0$. Up to total derivatives, power counting allows local counterterms of mass dimension at most four. A convenient basis for the counterterm Lagrangian compatible with the actual parity symmetry in quantum field theory and Dirac fermion number conservation isThe optional constant $\delta \Lambda$ renormalizes the vacuum energy density. The wavefunction renormalization, mass counterterms and Yukawa coupling renormalization correct the terms already present. The quartic interaction must also be included: the fermion loop with four external bosonic legs is logarithmically divergent, even if the renormalized quartic coupling is set to zero at one chosen renormalization scale. The displayed original interactions alone do not form a closed set of counterterms.

If “most general” is interpreted before imposing the parity symmetry in quantum field theory examined in d, Lorentz invariance, a Hermitian action and Dirac fermion number conservation also allowHere all coefficients can be real in the paper's gamma matrix convention; the last term is Hermitian in the action up to a total derivative. It is an axial kinetic normalization, which could alternatively be removed by a suitable perturbative field redefinition. Every term in ${\mathcal{L}}_{\mathrm{ct}}^{(-)}$ is odd under the actual parity symmetry in quantum field theory, so its coefficient vanishes in a symmetry-preserving renormalization scheme. Listing these terms makes explicit which assumption excludes a tadpole counterterm, a cubic scalar term, a scalar Yukawa interaction, a pseudoscalar Dirac mass term and an axial kinetic term.

The two-point, one-particle-irreducible correction for a scalar field. With an insertion denoted $-i\Sigma (p^2)$, the full scalar propagator is $i/[p^2-m^2-\Sigma (p^2)+i0]$. A divergent coefficient of $p^2$ requires wave-function renormalization; a momentum-independent divergent term requires a mass counterterm.

A weak-coupling expansion of a vacuum-subtracted soliton mass begins with the classical energy and adds the Gaussian fluctuation approximation. For Sine-Gordon theory, $M=8m/{\beta }^2+\Delta M_{1\mathrm{loop}}+O(m{\beta }^2)$. The term of order $m$ includes both the vacuum-subtracted fluctuation frequencies and the appropriate mass counterterm.

With canonical field $\phi =\varphi /\beta$, the quartic interaction has coupling $-m^2{\beta }^2$. Cancelling the vacuum tadpole diagram requires the divergent mass counterterm $\delta m^2=(m^2{\beta }^2/4){\int }_{-\Lambda }^{\Lambda }dk/[2\pi \sqrt{k^2+1}]$. Its kink energy is $\Delta M_{\mathrm{ct}}=4\delta m^2/(m{\beta }^2)$ because $\int (1-\cos {\varphi }_K)dx=4$. This cancels the logarithmic ultraviolet divergence in the one-loop soliton mass correction. Finite parts depend on the renormalization condition.

In a massive two-dimensional quartic scalar field theory, the two-loop sunset diagram is ultraviolet finite but changes the pole mass. Feynman parameters give, below the three-particle threshold,At $s=m^2$ the denominator is positive in the interior of the simplex, and its corners are integrable. Thus the result is finite and nonzero for $g_4\ne 0$. Absence of new divergent counterterms does not imply absence of finite mass counterterms in an on-shell renormalization scheme.

In Feynman gauge, with insertion $-i\Sigma (p)$ and $d=4-2ϵ$, the one-loop QED result is ${\Sigma }_{\mathrm{UV}}=e^2(-/p+4m)/(16{\pi }^2ϵ)$. The coefficient of $/p$ is the electron kinetic counterterm ${\delta }_2=-e^2/(16{\pi }^2ϵ)$ when its insertion is $i/p{\delta }_2$. The scalar part fixes a separate mass counterterm in the chosen normalization convention.

For one four-component Dirac field with scalar interaction $-y\bar{\psi }\psi \varphi$ and the mostly-plus propagator convention, the fermion loop numerator is $4[M^2-k\cdot (k-p)]$. Reduce it to a bubble and tadpole: $-4y^2[(2M^2+p^2/2)J-I]$. Dimensional regularization gives pole parts $J=2/(\epsilon 16{\pi }^2)$ and $I=-2M^2/(\epsilon 16{\pi }^2)$. The local pole then requires both wavefunction renormalization and a scalar mass counterterm.

In a specified scalar-field normalisation, one can define a renormalized squared mass by $R={\tilde{\Gamma }}^{(2)}(0)$. Its value depends on the renormalization prescription and is not automatically the pole mass in a theory with momentum-dependent self-energy. A reference propagator $(p^2+R{)}^{-1}$ and mass counterterm then organise perturbation theory around that prescription.