Bare mass 2026-10-14
The bare mass is the mass parameter in a regulated field-theory action before a renormalization condition relates it to a measured mass. For a scalar, loop self-energy corrections change the propagator denominator to . The pole mass solves for a stable particle. The bare mass generally depends on the regulator when the pole mass is held fixed.
Counterterm Created 2026-09-24 Updated 2026-10-05
A counterterm is a local term added to a regulated Lagrangian density to cancel ultraviolet divergences and impose chosen renormalization conditions. Field-strength, mass and coupling counterterms respectively adjust propagator normalization, pole position and interaction strength.
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 , and its divergent local determinant contribution contains . Linear and cubic terms are therefore generated when . 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 , the two Yukawa fermion triangle orientations generate a local divergent three-scalar vertex proportional to . In , with convention, its loop pole is . A 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.
The scattering phase shift 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 . The bare difference is . Integration by parts cancels the lower endpoint against and produces the displayed upper surface term. Although vanishes, its product with tends to . 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.
The four-point one-particle-irreducible correlation function is the fourth functional derivative of the quantum effective action. It defines a renormalized quartic coupling after evaluation at the kinematic point specified by a renormalization condition.
Let the masses of and be and , respectively. Write their external four-momenta as , with and . The condition opens the two-body decay phase space. Use mostly-minus Minkowski spacetime, the Dirac propagator , and the convention that an amputated connected diagram contributes .
There is no tree-level three-scalar Feynman vertex in the displayed interaction. The leading decay amplitude has one Yukawa interaction and two Yukawa interactions, so is of order . The Yukawa fermion triangle is:
Figure 1.
Fermion triangle for scalar decay with its loop-momentum routing and Yukawa vertex factors
. Details.
The two inequivalent cyclic orderings around the fermion loop are related by reversal and interchange of . They give equal integrals: reversing all internal four-momenta leaves the masses and denominators unchanged, and the scalar gamma matrix trace identities below give the same numerator. Both must be included. The closed fermion loop sign supplies , and each ordering has the product
There is no extra in the decay amplitude. Such a factor belongs to integration over the identical-particle final phase space when calculating a decay rate.
Route , , and define , and similarly for . A regulated leading decay amplitude is
Here dimensional regularization preserves translation of the loop momentum, and is its reference mass scale. Factors account for the loop's dimension; dimensionally continued couplings can equivalently carry these powers. No occurs in this scalar loop, so there is no regularization ambiguity.
Using gamma matrix trace identities, traces with an odd number of gamma matrices vanish, while and . Thus the numerator simplifies completely to
For a reduction to standard scalar integrals, disregard the vanishing infinitesimals only in the numerator. Since up to those infinitesimals,
Define the scalar bubble and scalar triangle Feynman integral by
Cancelling each denominator in turn gives two bubbles with external invariant and one with invariant . Therefore
This explicitly displays the complete gamma matrix trace simplification, the two loop orientations and the overall phase convention.
There is a renormalization qualification to this answer. For the loop is logarithmically divergent; retaining just the unregulated four-dimensional integral would not specify a finite physical decay amplitude. To see the divergence, a Feynman parameter and a shifted loop momentum give
The scalar triangle Feynman integral is ultraviolet finite. Hence
A cubic counterterm from a Yukawa fermion triangle, , contributes to and cancels the pole with . This is an instance of counterterm closure of a massive Yukawa theory. After subtraction the physical answer is , where a renormalization condition fixes the finite cubic coupling . The displayed interaction alone does not supply that condition. For example, setting at a specified subtraction scale defines one prescription for the loop-induced decay. The regulated expressions above remain the lowest-order loop answer without such extra data. For the trace, and therefore this scalar triangle contribution, vanishes identically.
Now take the Hermitian pseudoscalar Yukawa interaction with the sign printed in the PDF. Varying with respect to the Dirac adjoint gives the Dirac equation
Varying with respect to and integrating by parts gives the adjoint Dirac equation
The factor in the coupling matters: is anti-Hermitian, so this factor makes the interaction Hermitian for real .
For the axial-current divergence for scalar and pseudoscalar backgrounds, set and . The two equations are equivalently
In the divergence of the axial current, use and :
Thus
This is the classical field-equation identity requested here. It includes explicit breaking by both backgrounds; it is not a claim that a renormalized quantum axial current has no chiral anomaly when gauge interactions are present.
A renormalized coupling is specified by a renormalization condition at an auxiliary momentum scale . Loop corrections contain logarithms of momentum ratios; changing that scale changes the part called the coupling and the part left in the explicit loop correction. The bare theory and exact physical amplitudes do not change. This is the meaning of a running coupling, rather than an actual dependence of a physical observable on an arbitrary prescription.
For the dimensionless gauge coupling relevant here, the one-loop vertex and wave-function corrections shift at order . For example a regulated relation has the schematic form
Differentiating at fixed bare parameters gives , or with . The gauge-coupling beta function in logarithmic squared scale follows by the chain rule:
Here . The reality of the coefficient reflects the real renormalization of a real gauge coupling. The leading cubic power for is a gauge-coupling statement, not a universal rule for every type of coupling in every quantum field theory.
At one loop, separate variables or differentiate the inverse coupling:
When , define the strong-coupling scale by
Logarithms of dimensionful scales here use the same fixed units; the equivalent ratio equation is dimensionless. The one-loop running of the strong coupling is therefore
This trades a dimensionless reference coupling for a dimensionful integration constant, an example of dimensional transmutation.
As , the coupling decreases logarithmically to zero: asymptotic freedom makes short-distance strong-interaction processes perturbatively accessible. As decreases toward from above, the coupling grows, and omitted higher orders become important before the formal pole. These are the infrared limitations of one-loop QCD running. The pole is not a trustworthy prediction of an infinite physical interaction, and continuation below to negative is invalid. Low-energy QCD instead needs nonperturbative descriptions of confinement, hadrons and related dynamics; the one-loop pole alone does not prove confinement. This interpretation and the dependence of on the running prescription are explained in the QCD review, section 9.1.1.
Physically the QCD scale is of hadronic order, conventionally a few hundred MeV rather than an electroweak mass. However, alone cannot determine any absolute mass: and or an empirical reference are also necessary. The exponential relation shows how a much smaller scale can arise; for illustrative inputs , and , it gives . Different flavour counts, schemes and perturbative orders change the numerical value, so this is an order-of-magnitude illustration, not a parameter-free prediction.
In the Standard Model, and the six quark flavours are . Above all six thresholds the supplied coefficient gives
The count is six Dirac flavours, not eighteen colour states or twelve Weyl fields. In lower-energy effective theories the active flavour count changes: near the bottom threshold and ; below charm the three-flavour value is .
For matching the QCD scale across a quark threshold, impose the leading-order continuity at :
Thus , and exponentiation gives
The five- and four-flavour expressions apply on the respective sides near this threshold, before the next heavy-flavour threshold is crossed. The matched coupling is continuous at the order being used even though its one-loop slope changes. Higher-order decoupling corrections modify the matching beyond the question's approximation.
Use the metric signature , so , and the weight . The momentum-space Feynman rules for the massless Phi-fourth theory are: an internal scalar line contributes ; a quartic interaction vertex contributes with its momentum-conservation delta function; every independent loop is integrated with ; and each graph is multiplied by its Feynman-diagram symmetry factor. All external momenta can be taken incoming. These rules follow by expanding the interaction exponential and contracting free fields with the Wick theorem.
For a connected graph with internal lines, interaction vertices and loops,
Here is the superficial degree of divergence. In four dimensions,
Odd vanish by Z2 symmetry. Thus only the nonvacuum two-point and four-point one-particle-irreducible Feynman diagrams can have overall ultraviolet divergences: degree two for , degree zero for . Vacuum graphs with may also diverge but cancel from normalized correlators. This is an overall power-counting statement; subgraphs must be subtracted before using it to conclude finiteness for .
For the full one-particle-irreducible vertices, the tree-level quadratic kernel and quartic interaction give
If is instead reserved for interaction-generated self-energy insertions, its tree value is zero and is displayed separately as the free inverse kernel. The distinction is only that convention; the loop insertions below are unchanged.
The requested one-loop diagrams are the two-point tadpole diagram and the three four-point bubble diagrams. Each has symmetry factor . The three bubble channels correspond to , , .
Figure 1.
One-loop tadpole and the three four-point bubble channels in massless phi-fourth theory
. Details.
The tadpole insertion obeys
In massless dimensional regularization this scaleless integral is zero. A mass or cutoff regulator exposes the ultraviolet divergence allowed by power counting; its vanishing in the scaleless convention does not remove the need to include this diagram.
For a bubble, the vertex and quantum field theory propagator factors give . The PDF defines with the factor outside the Minkowski integral, so the integral itself is . Therefore
The converted TeX misplaces this as though it were part of the exponent of ; keeping the printed is essential to this real pole coefficient.
For nonexceptional Euclidean external momentum, Wick rotation cancels that factor . Use a Feynman parameter and translate the integration variable:
For example, represent the inverse square as , do the Gaussian momentum integral, and then use the Gamma function. This also derives the formula rather than assuming a loop-integration table. At , and the parameter integral tends to one, giving
Take before continuation back to Minkowski momenta. At , a massless scaleless integral mixes ultraviolet and infrared issues, so it cannot be used to read off this pole.
Introduce a renormalization scale and a quartic counterterm. With denoting a dimensionless renormalized coupling constant,
After factoring out from the vertex, each loop contains . The counterterm contributes to and cancels the pole from all three channels. More explicitly,
In modified minimal subtraction, replace the pole-only counterterm by
which subtracts the first three terms inside the brackets. The finite renormalized quartic scalar vertex is then
Another renormalization condition can change the finite constant, but not the pole cancellation or the momentum-dependent logarithms. The corresponding timelike expressions follow by the same Feynman continuation.
Normalize the vacuum path integral by . The scalar two-point correlation function is , and the spinor two-point correlation function is . Vacuum boundary conditions make these time-ordered Feynman propagators. After integration by parts, the scalar quadratic action is .
The Schwinger-Dyson equation follows by integrating a functional derivative of : the derivative of the insertion supplies , and the action derivative supplies the kinetic operator. The analogous left Grassmann derivative calculation, or differentiation of the Grassmann Gaussian integral, gives
Using and the Clifford algebra, . Consequently
The free quantum effective action is quadratic, so all scalar one-particle-irreducible vertices with vanish. Its two-point vertex is the stated inverse kinetic form .
For the Yukawa interaction, two vertices contribute , and a closed fermion loop contributes an extra minus sign. Tracing the two spinor numerators gives , since the one-gamma traces vanish. Removing the overall from the amplitude gives the displayed loop integral. Define
The numerator decomposition and translation invariance of dimensional regularization reduce it to
The supplied tadpole pole is . A Feynman parameter combines the two bubble denominators. Shifting its loop momentum gives mass squared ; differentiating the tadpole integral with respect to this squared mass gives the double-denominator pole , independent of . Thus and
The counterterms contribute , so their minimal pole parts are
Combining the kinetic terms gives wavefunction renormalization , and combining the mass terms gives . Therefore
These are the Yukawa scalar self-energy pole coefficients; finite parts depend on the chosen renormalization condition.
The four-point graph is a Yukawa fermion box, with four external scalar legs attached to a closed spinor loop:
Figure 1.
Fermion box with four external scalar legs in a Yukawa theory
. Details.
Each high-momentum dirac propagator is . The product of four is , and the leading gamma matrix trace identities is nonzero. The four-dimensional radial integral therefore contains : a logarithmic ultraviolet divergence. This local four-scalar divergence cannot be absorbed by scalar mass or field normalization. Add , and, using the stipulated four-point pole normalization, take so that cancels it.
For literal cancellation of every one-loop divergence with , counterterm closure of a massive Yukawa theory also requires the allowed scalar linear and cubic terms. A constant scalar background shifts the fermion mass to ; the divergent local fermion contribution contains a polynomial proportional to . Its linear and cubic terms are not forbidden by a symmetry when the fermion mass is nonzero. A closed renormalizable family therefore has
with field, mass and coupling redefinitions for both scalar and spinor fields. A tadpole condition can set the renormalized to zero, but its counterterm still exists. The vacuum constant is needed if vacuum energy is retained. If an exact discrete chiral symmetry is imposed with , the scalar potential can be even and the odd terms are forbidden; the essential new interaction is then the quartic one.
A regulator and a renormalization condition introduce the reference mass scale , even when the classical theory has no mass. Loop amplitudes contain dimensionless logarithms of momentum or distance ratios involving . The resulting running coupling and field normalization compensate changes of this arbitrary reference scale.
Let and . Hold the bare parameters fixed and define and . Assuming multiplicative field renormalization and no mixing or additive contact terms for the correlator, differentiating gives the Callan-Symanzik equation
For the dimensionless two-point factor put . Its equation is . Let
The characteristic solution of the multiplicative Callan-Symanzik equation is
To check the sign, equals . The characteristic flow and its accumulated multiplier give precisely this evolution. Changing changes the dimensionless momentum and renormalized ; the same bare two-point correlation function is recovered after the compensating field normalization. An unnormalized renormalized correlator need not remain numerically identical under that change, but physical predictions do.
With a mass, write and define its running mass by , . The dimensionless equation becomes
Its flow is therefore
The renormalization-group mass suppression criterion is , for example an eventual bound with . Then the mass argument on the right tends to zero. A regular massless limit, uniform along the limiting coupling trajectory, makes the mass negligible at high energies. Merely calling small without controlling this integrated exponent is insufficient.
To keep the paper's coupling convention explicit, write and use physical coordinates , . Assume and weak coupling . The canonical real scalar field is , and the physical potential is
The symbol is the coupling usually appearing in canonical Sine-Gordon theory; the paper's is its square. The vacua have . A static Sine-Gordon kink has and satisfies . Since , its classical mass is
The topological sector is important: this energy is measured relative to a vacuum, and the kink joins distinct vacua at the two spatial ends. Expanding around a spatially constant vacuum cannot construct this state by any finite-order perturbation in .
For the general one-loop soliton mass correction, start with a canonical scalar field potential and a stable static soliton . Write . The term linear in vanishes by the classical Euler-Lagrange field equation. The quadratic fluctuation Hamiltonian is
Choose a common large box and a common finite-mode regularization in quantum field theory. Expand the nonzero normal modes as , with and normalized eigenfunctions. Each pair is a quantum harmonic oscillator contributing ground-state energy . In the vacuum, replace by . Subtract the two ground-state energies and add the local counterterms evaluated on the soliton relative to the vacuum. This derives the general formula
The prime excludes exact zero modes in field theory from oscillator quantization; their zero frequencies contribute no zero-point energy, but their role in mode counting must not be forgotten. The two sums mean a paired finite regulator, not separate subtractions of divergent answers. Equivalently the nonzero-mode term is the regulated difference of the square-root traces of the two fluctuation operators. Discrete bound states and continuum modes both contribute. This is a vacuum-subtracted soliton mass and the first term in the semiclassical soliton mass expansion.
Translation gives a zero mode in field theory because differentiating the static equation yields . A Gaussian oscillator or an unprimed functional determinant is inappropriate along this flat direction. Replace its amplitude by the position collective coordinate and require the residual fluctuation to obey , preventing double counting. The associated change-of-variables Jacobian supplies the zero-mode normalization. At low speed the collective-coordinate effective Lagrangian for a soliton is ; quantizing the position gives the soliton momentum and its translational states, not an extra oscillator rest energy. More generally, every physical continuous modulus needs a collective coordinate; gauge directions require gauge fixing rather than additional physical states.
The Sine-Gordon kink fluctuation operator is particularly simple:
while . This supersymmetric factorization of the one-soliton potential shows stability and generates all nonzero eigenfunctions from vacuum plane waves. The sole normalizable bound state is the translational zero mode of a sine-Gordon kink, proportional to ; there is no positive-frequency internal bound oscillator. The continuum has and no reflection. Applying to gives a transmission amplitude
This scattering phase shift changes the density of continuum modes. The high-frequency vacuum subtraction cancels the extensive vacuum contribution but still leaves a logarithmic ultraviolet divergence.
The finite part also requires consistent mode-number regularization of soliton masses. The periodic-box phase-shift quantization condition is . Match modes: the kink has its translation mode plus the two continuum modes at each , while the vacuum has the oscillator of frequency and the corresponding continuum pairs. With and , expanding gives
Integration by parts uses and yields
The cutoff surface term for a Sine-Gordon kink tends to . It cannot be dropped merely because : grows at the same time.
A renormalization condition must specify which mass and coupling are held fixed. For vacuum normal ordering, or cancellation of the vacuum tadpole diagram with the elementary mass fixed at , the quartic interaction gives the mass counterterm
Evaluating this Sine-Gordon vacuum tadpole counterterm on the kink gives
The logarithmic ultraviolet divergence cancels, leaving the renormalized one-loop Sine-Gordon kink mass in the stated vacuum scheme:
This example illustrates why a zero mode in field theory must be treated as a collective coordinate, why vacuum subtraction alone need not remove ultraviolet divergences, and why the finite relation between the two regulators matters. Different finite counterterms amount to different definitions of the renormalized parameters; an unregulated frequency difference without a renormalization condition is not a physical mass prediction.
Choose boundary states with nonzero overlap with the lowest-energy state in the vacuum sector and in the one-kink topological sector . In a finite spatial box, a fixed scalar field configuration eigenstate may be used formally, with temporal endpoints equal to the chosen configuration. More generally, smear the endpoints with wavefunctionals . Their unitary time evolution kernels are
The inner scalar field path integral remains in the chosen topological sector, with . A zero-total-momentum projection can be included to select the rest state; alternatively, the translational prefactor does not change the large-time exponential. After a Wick rotation to physical Euclidean time , the energy eigenstate expansion gives . Thus the exact vacuum-subtracted soliton mass is
Equivalently it is at large time with a damping prescription. The ratio subtracts the vacuum energy; the Hamiltonian operator and action here are the fully regulated and renormalized ones, not merely their classical approximations.
With the dimensionless coordinates of this paper, the correctly normalized classical action is
For the static Sine-Gordon kink, and , so . Write . Expanding and integrating by parts gives
The first variation is , plus boundary terms. It vanishes because the kink satisfies the Euler-Lagrange field equation and the fluctuations have the prescribed temporal endpoints and admissible spatial boundary behavior. This is the principle of stationary action, not a symmetry assumption about .
The printed expansion omits despite the stated Lagrangian density. Its displayed form is the expansion of ; it is not the physical at arbitrary coupling. Alternatively, writing puts the quadratic term in canonical normalization, while leaving the classical term unchanged. This normalization repair does not change or the physical fluctuation frequencies.
The Sine-Gordon kink fluctuation operator has the useful factorization
It is nonnegative, and gives the normalized translational zero mode of a sine-Gordon kink:
A displacement changes by . Thus the zero mode in field theory is the position collective coordinate of the kink, reflecting translation invariance. It has no restoring force and no oscillator zero-point energy. Integrate that collective coordinate separately rather than inserting a zero factor into the Gaussian functional determinant.
Figure 1.
Sine-Gordon kink fluctuation potential and normalized translational zero mode
. Details.
In the Gaussian fluctuation approximation, the formal oscillator contribution to the one-loop soliton mass correction, before adding any counterterm, is
Use a common regulator for the two sums, include all discrete modes, and treat the translation mode as above. The vacuum sum is essential: subtracting only classical vacuum energy would leave an extensive oscillator energy. A periodic fluctuation and its derivative are matched at the two ends of the large box; the one-kink background lies in the twisted topological sector, and its infinite-line profile is accurate up to exponentially small boundary corrections.
For a continuum scattering wavefunction, equality of its two asymptotic values gives the periodic-box phase-shift quantization
Away from the threshold, expand at a matched mode number:
Since consecutive free wave numbers are separated by , replacing the continuum-mode sum by an integral proves the displayed continuum contribution:
The ultraviolet cutoff is retained until the counterterm is added.
There is a finite threshold issue if this expression is identified with the complete oscillator correction. It can be settled directly using the factorization: a continuum eigenfunction is . Its transmission phase obeys
with the odd phase branch that tends to zero at large . For , the continuum roots have labels ; there is no periodic continuum root at , since the limiting eigenfunction has opposite signs at the two ends. The bound state at replaces the free oscillator with . Consequently, in mode-number regularization of soliton masses,
The PDF's continuum-only formula misses this finite under this standard phase and mode-counting convention. It has the correct logarithmic ultraviolet divergence, but the missing term is not suppressed by large . Changing the phase branch requires changing the mode labels and endpoint terms consistently; it cannot erase a physical mode from the formal spectrum sum.
At high momentum, , so both expressions have divergent part . The canonical field has a quartic interaction with coupling . Its vacuum tadpole diagram shifts the squared mass by , where
The Sine-Gordon vacuum tadpole counterterm has and adds potential energy density . Since , its vacuum-subtracted kink energy is
which cancels the logarithmic ultraviolet divergence. Finite parts require a specified renormalization condition. As a consistency check, with this tadpole subtraction and matched mode-number cutoff, integration by parts yields
The complete semiclassical soliton mass is then in that convention. This last finite result uses the bound-mode term and is additional to the requested ultraviolet cancellation.
Literal absence of new interaction vertices in the full quantum effective action holds only for Gaussian field theories.
For every interacting , the one-loop scalar effective action already contains counterexamples. On a constant background, with a positive auxiliary mass to control infrared divergences, its field-dependent part is
The term of order has external scalar fields and is a one-loop polygon one-particle-irreducible Feynman diagram. Choose and . Then , its loop momentum integral is ultraviolet convergent, and its coefficient is nonzero. Removing the ultraviolet cutoff does not remove this finite higher-point scalar vertex. For , generic nonexceptional external momenta give the same conclusion without retaining the auxiliary mass. In , the massless theory still needs an infrared prescription; removing the ultraviolet cutoff does not remove that need or the induced vertices. Hence there are no interacting pairs under the literal wording. For the functional determinant is field independent; merely shifts a Gaussian integral when an infrared prescription exists.
There is a different conventional interpretation: absence of new independent divergent counterterms. The superficial degree of divergence of a connected diagram is
The standard perturbative counterterm closure criterion is , with the same pairs as in part ii, provided one includes all symmetry-allowed lower-degree potential terms, the kinetic term, and the vacuum energy. A pure monomial family need not itself have counterterm closure: a sextic interaction in three dimensions generates a quartic counterterm, and a quartic interaction generates a mass counterterm. This interpretation concerns the local divergent part or the continuum defining action, not the complete quantum effective action with its finite interaction vertices and derivative expansion.
For the massive four-dimensional quartic scalar field theory, write for the bare quartic coupling, for its renormalized value, and for the mass held fixed by a renormalization condition. Define the scalar bubble integral
The quartic one-particle-irreducible correlation function, defined as a derivative of the Euclidean quantum effective action, is
There are three bubble diagrams, one for each pairing of external momenta, and each has Feynman-diagram symmetry factor . The minus sign follows equivalently from the quadratic term in the functional determinant .
Radial integration at zero external momentum gives
The bare quartic vertex is not finite at fixed bare coupling. Its logarithmic ultraviolet divergence must be subtracted. Impose the momentum-subtraction scheme condition . To one loop this requires
For the finite difference, a Feynman parameter and a shift of loop momentum give
The boundary error due to shifting a sharp cutoff vanishes in this limit. Substitution yields the finite renormalized quartic scalar vertex
Thus finiteness requires holding the renormalized coupling fixed and allowing the bare coupling to depend on . The unsubtracted assertion would be false.
The same one-loop scalar effective action explains the other effective interactions. For a constant background its expansion is
The tadpole diagram gives a mass correction , with
It requires a mass counterterm. The field-independent vacuum energy also requires subtraction. The term is the quartic logarithm already treated. There is no one-loop wave-function renormalization from the quartic tadpole diagram.
For the polygon diagrams generate finite higher-point scalar vertices, with
For example, the induced sextic term in the effective potential is , or a six-point interaction vertex when normalized by . These finite terms survive the removal of the ultraviolet cutoff at fixed .
The external-momentum dependence of the bubble diagrams also generates a derivative expansion of quartic interactions. At small , the subtracted scalar bubble integral is , giving finite derivative couplings. At order these are the new field-dependent interactions beyond the mass and quartic terms; the sextic and higher interaction vertices require higher powers of , though they still occur at one loop. Such coefficients are suppressed by powers of the physical mass or external momentum, not by powers of . The calculation establishes an order-by-order perturbative limit; it does not establish a nonperturbative interacting continuum limit of a quantum field theory in four dimensions.
The finite-temperature gap equation is
With , the radial measure obeys , so
As , subtraction of the massless, zero-temperature equation at leaves
The zero-temperature relation with is
Equating the finite parts gives
and therefore
The subtraction is a renormalization condition: it trades the cutoff-dependent bare coupling for the physical zero-temperature gap.
After Wick rotation, the zero-momentum bubble integral with cutoff regularization is
The three channels contribute . For , this is , so the zero-momentum renormalization condition is enforced by
and hence . Keeping the exact cutoff expression merely replaces by the finite cutoff-dependent quantity defined by .
The first two terms are the kinetic term and mass term of a real scalar field; together they determine the free quantum field theory propagator. The term is its quartic field interaction term. The remaining three terms are counterterms: renormalizes the field normalization, renormalizes the mass, and renormalizes the quartic coupling. Their regulator dependence cancels the ultraviolet divergences of loop diagrams, while their finite parts implement the chosen renormalization conditions.
For a bubble carrying momentum , a Feynman parameter and a shift of the loop momentum give, after Wick rotation and cutoff regularization,
where . The quantum effective action therefore contains
The renormalization condition fixes
Substitution cancels both the cutoff and the scheme-dependent constant and leaves
as required.