For one real phi-fourth theory field, each of the three labeled one-loop four-point channels has symmetry factor . In , the displayed expression is its amplitude through the finite part. The three poles require , and differentiating at fixed bare coupling gives in four dimensions. The minimal subtraction scheme retains ; modified minimal subtraction absorbs that constant. The Feynman-parameter logarithm is left unevaluated.
With additive counterterms , their Euclidean propagator insertion is . These minimal subtraction scheme coefficients cancel the cubic bubble insertion. A bare mass shift also subtracts after wavefunction renormalization; it is not the same coefficient as the additive mass counterterm.
For a connected amputated Feynman diagram, let denote its independent loops, internal scalar lines, interaction vertices and external lines. Its superficial degree of divergence counts the simultaneous ultraviolet scaling of all loop momenta: each loop integration contributes powers and each scalar propagator removes two. A nonderivative interaction adds no numerator powers, so . The graph identities are
The kinetic term gives and . Eliminating proves the monomial scalar interaction power-counting identity:
For a graph with connected components the first is replaced by , after removing the corresponding overall momentum delta functions. Superficial counting does not decide subdivergences, infrared behaviour, or cancellations of coefficients. In a massive scalar theory, indicates possible logarithmic divergence and possible power divergence; negative overall degree still permits divergent proper subgraphs.
Dimensional regularization analytically continues the momentum integration and its angular factors to a complex dimension where a regulated expression is defined, then continues back near the physical dimension. Introduce a scale to keep the renormalized coupling in fixed units. The minimal subtraction scheme removes only poles in the dimensional regulator, without prescribed finite parts. It differs from modified minimal subtraction scheme, which also absorbs the conventional combination.
For the cubic calculation, write , so the interaction is and the vertex is . Use and the vertex . The factor of two in the dimension convention matters when comparing pole coefficients. In six dimensions , and a proper two-point graph has .
The one-loop bubble diagram has Feynman-diagram symmetry factor two. Define its amputated insertion explicitly by
Combine denominators with a Feynman parameter and shift . With , the dimensionally continued integral gives
This identity follows by Wick rotation and a Schwinger parameterization, giving the angular Gaussian factor and the remaining gamma integral. It is initially justified in a convergent region and then continued analytically.
Here and . Thus the one-loop two-point divergence in six-dimensional cubic scalar theory is
Writing , the proper-bubble contribution to the propagator is
With the defined , resummation gives . If instead an insertion is called , then and the denominator is . These naming conventions must not reverse the calculated graph.
For example, the minimal-subtraction two-point counterterms in cubic scalar theory can be written
Their insertion cancels the bubble pole. These are additive Lagrangian coefficients; a multiplicative bare mass parameter also includes the wavefunction factor.
There is a vacuum convention to specify because a cubic interaction does not preserve a zero mean field automatically. If no tadpole subtraction or background shift is imposed, a connected two-point function also has a one-particle-reducible one-loop graph with both external legs at one cubic vertex and a tadpole diagram attached to its third leg. For , the amputated one-point tadpole diagram is
This uses . Its mean-field pole is . The tadpole contribution to a cubic-theory two-point function is therefore
In that unshifted convention, the total connected one-loop propagator pole is
A linear counterterm imposing cancels the attached tadpole diagram, leaving the usual proper-bubble result above. Vacuum bubbles cancel by normalization. A disconnected product belongs to the unconnected two-point function and has two tadpole diagram loops, so it is outside the requested connected one-loop propagator correction. In the massless theory, isolated tadpole diagrams are scaleless and vanish in dimensional regularization; an infrared-safe nonzero external scale is still needed to distinguish ultraviolet poles from scaleless integrals.
The renormalization-group beta function is
At one-loop accuracy, integrating gives
For a positive weak coupling and , the coupling increases toward the ultraviolet and decreases toward the infrared. Extrapolation predicts a Landau pole at , where the weak-coupling approximation fails. For , the positive coupling decreases toward zero as : this is asymptotic freedom. Toward the infrared it instead grows, so perturbation theory eventually fails. The zero coupling is a fixed point. If negative couplings are allowed mathematically, their direction of motion still satisfies , but the side on which the pole occurs reverses: for example approaches zero from below in the ultraviolet. Negative quartic coupling does not give a stable scalar potential.
For the loop calculation use , , and the PDF's vertex normalization . A Feynman parameter combines the denominators. Shift the Euclidean loop momentum to , and put . The regulated integral without the vertex prefactor is
Using Schwinger parameterization, , and the momentum Gaussian integral gives
For , , while the other factors have finite limits. Thus the massive scalar bubble pole in four dimensions is
This pole is independent of external momentum and mass and hence is canceled by a local quartic counterterm. There are three channels, corresponding to the three pairings of four external momenta. Their poles add, and a counterterm vertex cancels the sum when
This is the total counterterm for the three four-point diagrams specified here. The minimal subtraction scheme removes their poles only. The one-loop tadpole is momentum independent and requires a mass counterterm, but does not produce one-loop wave-function renormalization; that is why it does not alter this one-loop coupling calculation.
The dimensionful bare coupling is therefore
Its independence of gives
Putting , the finite coefficient of is . Thus
This is the one-loop quartic scalar beta function, positive for nonzero weak real coupling. The factors would look different with a regulator , but the four-dimensional beta function is unchanged. For massless theory take nonexceptional external momentum, or an infrared regulator, so an infrared singularity is not confused with the ultraviolet pole.
Let be the total external Euclidean momentum crossing one four-point channel. The two internal scalar propagators produce the scalar bubble integral
Using the Feynman parameter identity and shifting the loop momentum yields
In phi-fourth theory the bubble diagram has two quartic vertices and a symmetry factor from exchanging its two identical internal lines. There are three partitions of four labelled external legs into two pairs, the channels. The connected amputated loop diagram has positive coefficient , whereas the Euclidean one-particle-irreducible vertex in the effective action has the opposite sign. Thus
One can check this sign without external-line conventions by expanding the one-loop quantum effective action . Its second logarithmic term is ; four field derivatives give precisely the three negative bubble terms above.
The four-dimensional pole of is independent of its mass argument, so each channel contributes . The divergence of the proper four-point vertex is . The minimal subtraction scheme therefore requires
For a Minkowski interaction , the corresponding local interaction counterterm is . No momentum-dependent four-point counterterm is needed for these logarithmic poles. This calculation concerns the requested four-point bubble contributions; a massive two-point tadpole and vacuum diagrams require their own mass and vacuum-energy subtractions if those functions are also renormalized.
Use the mostly-minus Minkowski metric, quantum field theory propagator and dimensionally continued interaction , with . Take all four external momenta incoming, so , and set , , .
The three one-loop one-particle-irreducible Feynman diagrams are the bubble graphs with external pairings , and . Their external quantum field theory propagators are omitted by amputation. Each Feynman diagram has symmetry factor from exchanging the two internal lines; the fixed external labels are already accounted for by the three distinct channels.
Figure 1.
The three labeled one-loop scalar four-point bubble channels with all external momenta incoming
. Details.
For a channel carrying momentum , its amplitude is
The signs in the last equality follow from the two vertices and two quantum field theory propagators. Apply the Feynman parameter identity
After shifting the loop momentum, the denominator is , with . For positive Euclidean , Wick rotation and the Schwinger representation give
Analytic continuation to physical momenta keeps the prescription . Thus dimensional regularization evaluates the channel as
Use and expand the other factors. The minimal-subtraction scalar four-point bubble channels result through the finite part is
The parameter integral is left unevaluated, as requested. The three channel contributions are . Their pole is momentum independent and is cancelled by the four-point counterterm , with
After pure minimal subtraction scheme subtraction, the complete vertex through one loop is the tree vertex plus
Here the limit has been taken. The modified minimal subtraction scheme would also absorb ; it is not identical to the specified pure MS finite part.
The bare coupling is scale independent and satisfies
Writing and differentiating at fixed gives
At order , the finite coefficient is , so the one-loop quartic scalar beta function is
The factor two relative to the pole residue follows from using . With the residue doubles, but the four-dimensional beta function is unchanged.
For pure nonabelian gauge theory, the corresponding pure Yang-Mills one-loop beta function has the opposite sign:
Gauge-boson self-interactions and the gauge-consistency ghost contributions give antiscreening. For a compact nonabelian simple factor , the coupling decreases at high energy: asymptotic freedom. In contrast, positive scalar increases toward the ultraviolet. Its one-loop extrapolation has a Landau pole, indicating breakdown of weak-coupling perturbation theory, not a proof by itself of nonperturbative triviality. Ultraviolet poles should be extracted at infrared-safe mass or nonexceptional kinematics; a scaleless massless zero-momentum integral cannot be used to read off this ultraviolet counterterm without separating its infrared behavior.
For and initially , Schwinger parameterization and the supplied Gaussian integral give
Substitute to obtain the Euclidean massive loop integral
For a positive integer , . Outside the convergence region this expression defines its meromorphic continuation, used in dimensional regularization.
Combine the two denominators with a Feynman parameter and shift by . This gives
The Gamma function has , and the remaining factors tend to and one. Hence the massive scalar bubble pole in four dimensions is
The pole is independent of the external momentum, as required for a local quartic counterterm.
Use the mostly-plus Minkowski metric and expand . The momentum-space Feynman rules are: an internal scalar propagator ; a four-scalar interaction vertex ; a momentum conservation delta function at each vertex; and per independent loop momentum. Divide by the Feynman-diagram symmetry factor. All momenta can be taken incoming. External propagators are omitted when computing an amputated one-particle-irreducible vertex.
The connected one-loop one-particle-irreducible Feynman diagrams are the two-point tadpole diagram and the three four-point bubble diagrams, in the channels. Each has symmetry factor . A tadpole attached to an external leg through a single bridge would be reducible, so is excluded here.
Figure 1.
One-loop two-point and four-point one-particle-irreducible graphs in quartic scalar theory
. Details.
The Euclidean massive loop integral at has , so . Wick rotation and the propagator/vertex factors give the two-point loop amplitude , whose pole is . A mass counterterm contributes and cancels it when .
Each four-point bubble diagram has pole , with the external coupling-dimension factor restored in the local vertex. Summing its three channels gives the quartic counterterm . Therefore the one-loop massive phi-fourth counterterms are exactly
There is no one-loop wave-function renormalization, since the tadpole is independent of external momentum. Vacuum graphs would additionally require a vacuum-energy subtraction.
In the minimal subtraction scheme, the bare coupling is
Its dimension is ; the renormalized is dimensionless. Differentiate at fixed , writing :
Solving through quadratic order gives the engineering term in a dimensionally continued beta function and the one-loop quartic scalar beta function
The first term comes from the coupling's engineering dimension; the second is the quantum contribution to the renormalization-group beta function.
For fixed , the whole is not literally as : its linear term is present. Interpret the final instruction as keeping terms through quadratic order. Set . Then is an upward parabola, negative between its two zeros and positive above the interacting zero.
Figure 2.
Quartic beta function below four dimensions, with arrows toward increasing renormalization scale
. Details.
For positive initial coupling , the quartic running coupling below four dimensions follows by solving the linear equation for :
If , then as and as . If it stays fixed; the zero solution also stays fixed. If , the infrared limit is still , but the ultraviolet evolution reaches a Landau pole at the finite scale
Thus this branch cannot be continued physically to using the one-loop approximation. These are statements about the quartic coupling direction. The Wilson-Fisher fixed point of the full scalar theory also has a thermal relevant direction at the Wilson-Fisher fixed point; approaching the critical theory requires mass tuning. For negative initial coupling, the quartic potential is unstable: the same formula tends to zero from below in the ultraviolet and reaches a pole at finite scale toward the infrared.
Let define the renormalized field in Phi-fourth theory. For an -point correlation function, with no composite operator insertions, this implies
The bare correlation function is independent of the arbitrary renormalization scale when the bare parameters and external momenta are fixed. Define
The definitions of the running mass and wave-function renormalization functions specify their signs and the factor of two. Differentiating using the chain rule yields the Callan–Symanzik equation
Here denotes the renormalization-group beta function itself, not the function multiplied by an additional . The Callan-Symanzik equation concerns dependence on the arbitrary reference scale, with the displayed external momenta kept fixed.
For the minimal subtraction scheme in dimensional regularization, write
so and . The factor gives the engineering contribution to the renormalization-group beta function. Put . Scale independence of the bare coupling then gives
The coefficient of is . Its vanishing proves the first of the simple-pole formulas for minimal-subtraction renormalization group functions:
The coefficients of , , also vanish and impose . These relations explain how the higher poles are consistent with a finite renormalization-group beta function.
For the mass, differentiate the second bare-parameter relation:
Its finite coefficient is . Therefore
The higher poles impose . The formulas for the running mass and renormalization-group beta function thus follow directly from bare-parameter independence rather than from an identification with diagram coefficients by name.
At the specified loop order, and . There is no wave-function renormalization at this order. Hence
The regulated renormalization-group beta function is ; after removing the regulator, .
Now take and the four-dimensional limit. This massless surface is preserved since . Set , choose a reference scale , and define the running coupling by
Differentiating gives , so
The zero-coupling solution is obtained by continuity. At one-loop accuracy , and the chain rule turns the massless Callan-Symanzik equation into
Thus the one-loop solution along a running-coupling trajectory is
For a prescribed endpoint coupling , substitute on the right. The reference correlation function supplies arbitrary boundary data; the Callan-Symanzik equation determines their scale evolution, not their full momentum dependence. The running coupling formula is used on a branch on which its denominator is nonzero and the retained perturbative approximation is appropriate.
If one keeps , the same characteristic calculation uses . Writing gives , which tends to the displayed four-dimensional result as .
With a nonzero anomalous dimension, the characteristic equation instead reads . Integration proves the characteristic solution of the massless Callan-Symanzik equation:
For the stipulated and the same one-loop renormalization-group beta function, change variables using . The exponent's integral becomes . Therefore the modified explicit solution is
Equivalently its multiplicative factor is . This solves the equation with the stated truncated renormalization-group beta function and anomalous dimension; it does not introduce additional higher-order coefficients that were not specified.
Use and normalize the interaction of quartic scalar field theory as . For a renormalized -point connected correlation function, adopt and . Independence of bare quantities from the renormalization scale gives the Callan-Symanzik equation
where and , with bare parameters fixed. A convention using proper vertices reverses the field-normalization term, so the choice of Green's function must be stated.
Solve it by characteristics: set , , and . At fixed external momenta,
This is the characteristic solution of the multiplicative Callan-Symanzik equation. If the field anomalous dimension vanishes, the function is constant along the running-parameter characteristics. At a massless fixed point with constant anomalous dimension, the normalization factor is a power of . Choosing the scale close to a characteristic external momentum avoids large perturbative logarithms.
For the supplied minimal subtraction scheme relation in dimensional regularization with , let and write . Differentiating at fixed bare coupling gives
A consistent expansion yields . The term must be retained while it multiplies the pole; setting prematurely loses the finite result. In four dimensions the one-loop quartic scalar beta function is
The one-loop two-point diagram is a momentum-independent tadpole diagram, so there is no field wavefunction renormalization at this order and . Differentiating the supplied bare-mass relation in the same way gives .
Integrating gives the running coupling
For positive coupling it grows toward the ultraviolet and decreases toward the infrared: the theory is not asymptotically free. Its one-loop Landau pole lies at . Perturbation theory fails before reaching that pole, so the pole in this approximation alone does not prove the existence of an exact physical divergence. The corresponding one-loop running mass satisfies
It follows from . The mass-independent subtraction scheme keeps these beta functions independent of the mass; physical low-energy matching can still require threshold treatment. Running parameters resum the leading logarithms within the regime of small coupling.
An on-shell renormalization scheme fixes the mass parameter at the physical pole mass and fixes the renormalized field by the chosen pole residue. Its counterterms include finite contributions needed to enforce those conditions. A coupling is likewise defined by a specified physical amplitude or mass-shell condition.
The minimal subtraction scheme removes only poles in the dimensional regulator. The modified minimal subtraction scheme, which is the overbarred scheme in the PDF, removes the accompanying universal combination as well. In , the one-loop subtraction is proportional to
A subtraction-scheme mass is a running parameter and generally differs from the physical mass. Finite redefinitions relate the schemes while leaving physical quantities unchanged. The overbar is essential for the stated finite formula in part (d).
Use a mass counterterm and a wavefunction renormalization counterterm, defining their additive coefficients by
The sign follows from how the Euclidean path integral expands. A quadratic counterterm inserts into the propagator, whereas the loop defined in the question inserts . To this order,
Thus cancellation requires , rather than its negative. In the minimal subtraction scheme, with no finite parts added,
These are the minimal-subtraction two-point counterterms in cubic scalar theory. They absorb respectively the and constant terms in the two-point pole.
The additive mass coefficient is distinct from the shift of a bare mass when the bare field also includes wavefunction renormalization. If and , then to one-loop order
This last relation specifies the convention; the boxed coefficients are those multiplying the local counterterms displayed above.
For incoming momenta, the Euclidean momentum-space Feynman rules are
The one-loop one-particle-irreducible diagrams with at most three external legs can be classified by their external species. There is a one-point tadpole diagram made from a loop. There are two two-point bubble diagrams: the self-energy has one internal and one internal , while the self-energy has two internal lines and symmetry factor . For three external legs, three vertices make a triangle: one triangle corrects the vertex and contains two internal lines and one internal line; another has three external legs and a loop, generating a interaction. The symmetry forbids amplitudes with an odd number of external legs. The classical vertex is the corresponding tree-level three-point diagram.
Adopt the self-energy convention
This follows by summing the geometric series of exact propagators separated by amputated one-particle-irreducible two-point insertions. At one loop, after writing ,
Introduce a Feynman parameter and shift the loop momentum. With
dimensional regularization gives
Using produces
where
and one convenient integral form of the finite part is
Changing the definition of the dimensional-regularization scale only moves a finite constant between and the counterterm.
To make the two-point function finite, write , express in terms of a renormalized mass and a mass counterterm, and choose the pole parts of and to cancel and . In the minimal subtraction scheme no additional finite pieces are removed. The physical mass is the pole mass, so with the self-energy convention above it obeys
The explicit dependence of the finite self-energy cancels the running of , leaving independent of the renormalization scale.
The superficial degree of divergence counts the ultraviolet power before subdivergences and symmetry cancellations are considered. At , a connected graph made from cubic vertices has
where is its number of external legs. Hence one-, two-, and three-point functions can have quartic, quadratic, and logarithmic superficial divergences, whereas graphs with more external legs are superficially convergent.
Full renormalization also requires the mass and wave-function counterterms from its two-point function, a linear counterterm cancelling the tadpole, a coupling counterterm from the divergent triangle, and a counterterm from the three- triangle. A vacuum-energy counterterm removes divergent vacuum diagrams. These are precisely the local operators allowed by power counting in quantum field theory and the exact symmetry.
The amputated connected four-point function through one loop contains the tree quartic vertex, the quartic-counterterm vertex, and three bubble diagrams in the , , and channels. The unamputated connected function also has one-loop self-energy and two-point-counterterm insertions on each external propagator, which do not determine .
For channel momentum , the bubble has symmetry factor and the Feynman parameter identity gives an integral proportional to
In dimensional regularization, , so the pole from one channel is . Summing the three crossing channels gives . The minimal subtraction scheme cancels only this pole, hence
Put . The one-loop two-point bubble has symmetry factor and, after a Feynman parameter and momentum shift, its pole is proportional to
Cancelling the pole in the minimal subtraction scheme gives, with ,
If one defines dimensional regularization by , these same poles are written with in place of .
Use dimensional regularization with and choose Feynman gauge. Combining the electron and photon denominators with a Feynman parameter, shifting the loop momentum, and discarding the odd term leaves the numerator
The pole of the rotationally symmetric integral consequently gives
With the inverse-propagator convention
the minimal subtraction scheme chooses the counterterm pole to equal . Hence
Renormalization scheme 2026-10-14
A choice of renormalization conditions and finite counterterms defines a renormalization scheme. The minimal subtraction scheme removes only regulator poles; the modified minimal subtraction scheme also removes conventional universal constants. Different schemes can assign different values to renormalized couplings while describing the same physical observables after parameters are consistently matched.
In the minimal subtraction scheme, let , , and , . Define the renormalization-group beta function at fixed bare parameters by , and the running mass function by .
The bare coupling is scale independent, so . Its finite coefficient is , giving the first formula. Similarly has finite coefficient . The remaining poles cancel recursively: and . Thus the simple poles determine the finite renormalization group functions, while higher poles obey consistency conditions.