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.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 62 3 Solution Created 2026-10-03 Updated 2026-10-14
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 areThe 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 byCombine denominators with a Feynman parameter and shift . With , the dimensionally continued integral givesThis 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 isWriting , the proper-bubble contribution to the propagator isWith 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 writtenTheir 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 isThis uses . Its mean-field pole is . The tadpole contribution to a cubic-theory two-point function is thereforeIn that unshifted convention, the total connected one-loop propagator pole isA 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.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 65 3 Solution Created 2026-10-03 Updated 2026-10-14
The renormalization-group beta function isAt one-loop accuracy, integrating givesFor 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 isUsing Schwinger parameterization, , and the momentum Gaussian integral givesFor , , while the other factors have finite limits. Thus the massive scalar bubble pole in four dimensions isThis 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 whenThis 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 thereforeIts independence of givesPutting , the finite coefficient of is . ThusThis 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.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 48 3 i Solution Created 2026-10-03 Updated 2026-10-14
Let be the total external Euclidean momentum crossing one four-point channel. The two internal scalar propagators produce the scalar bubble integralUsing the Feynman parameter identity and shifting the loop momentum yieldsIn 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. ThusOne 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 requiresFor 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.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 47 3 Solution Created 2026-10-03 Updated 2026-10-14
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.
For a channel carrying momentum , its amplitude isThe signs in the last equality follow from the two vertices and two quantum field theory propagators. Apply the Feynman parameter identityAfter shifting the loop momentum, the denominator is , with . For positive Euclidean , Wick rotation and the Schwinger representation giveAnalytic continuation to physical momenta keeps the prescription . Thus dimensional regularization evaluates the channel asUse and expand the other factors. The minimal-subtraction scalar four-point bubble channels result through the finite part isThe 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 , withAfter pure minimal subtraction scheme subtraction, the complete vertex through one loop is the tree vertex plusHere 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 satisfiesWriting and differentiating at fixed givesAt order , the finite coefficient is , so the one-loop quartic scalar beta function isThe 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.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 51 2 Solution Created 2026-10-03 Updated 2026-10-14
For and initially , Schwinger parameterization and the supplied Gaussian integral giveSubstitute to obtain the Euclidean massive loop integralFor 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 givesThe Gamma function has , and the remaining factors tend to and one. Hence the massive scalar bubble pole in four dimensions isThe 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.
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 exactlyThere 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 isIts 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 functionThe 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.
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 scaleThus 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.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 48 3 Solution Created 2026-10-03 Updated 2026-10-14
Let define the renormalized field in Phi-fourth theory. For an -point correlation function, with no composite operator insertions, this impliesThe bare correlation function is independent of the arbitrary renormalization scale when the bare parameters and external momenta are fixed. DefineThe 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 equationHere 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, writeso and . The factor gives the engineering contribution to the renormalization-group beta function. Put . Scale independence of the bare coupling then givesThe 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 . ThereforeThe 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. HenceThe 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 byDifferentiating gives , soThe zero-coupling solution is obtained by continuity. At one-loop accuracy , and the chain rule turns the massless Callan-Symanzik equation intoThus the one-loop solution along a running-coupling trajectory isFor 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 isEquivalently 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.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 46 3 Solution Created 2026-10-03 Updated 2026-10-14
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 equationwhere 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 givesA 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 isThe 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 couplingFor 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 satisfiesIt 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.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 44 3 b Solution Created 2026-10-03 Updated 2026-10-06
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 toA 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).
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 46 2 iii Solution Created 2026-10-03 Updated 2026-10-06
Use a mass counterterm and a wavefunction renormalization counterterm, defining their additive coefficients byThe 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 orderThis last relation specifies the convention; the boxed coefficients are those multiplying the local counterterms displayed above.
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 304 2 Solution 2026-09-28
- a propagator ;
- a propagator ;
- a vertex with two legs and one leg equal to ;
- one integration for each loop momentum, with division by the Feynman-diagram symmetry factor.
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 conventionThis 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. Withdimensional regularization givesUsing produceswhereand one convenient integral form of the finite part isChanging 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 obeysThe 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 haswhere 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.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 304 2 b Solution Created 2026-09-24 Updated 2026-09-25
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 toIn dimensional regularization, , so the pole from one channel is . Summing the three crossing channels gives . The minimal subtraction scheme cancels only this pole, hence
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 304 3 b Solution Created 2026-09-24 Updated 2026-09-25
Put . The one-loop two-point bubble has symmetry factor and, after a Feynman parameter and momentum shift, its pole is proportional toCancelling the pole in the minimal subtraction scheme gives, with ,If one defines dimensional regularization by , these same poles are written with in place of .
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 304 2 a ii Solution Created 2026-09-24 Updated 2026-10-03
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 numeratorThe pole of the rotationally symmetric integral consequently givesWith the inverse-propagator conventionthe 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.


