REGULARIZATION IN QUANTUM FIELD THEORIES

paper Abstract : Introduction/purpose: The principal techniques of regularization schemes and their validity for gauge field theories are discussed. Methods: Schemes of dimensional regularization, Pauli–Villars and lattice regularization are discussed. Results: The Coleman–Mandula theorem shows which gauge theories are renormalizable. Conclusion: Some gauge field theories are renormalizable, the Standard Model in


Dimensional regularization
This is the scheme we have already used in (Fabiano, 2021a,b), perhaps the most versatile one (Bollini & Giambiagi, 1972; 't Hooft & Veltman, 1972. First, a Wick rotation (Wick, 1954) is performed to an Euclidean space. Then the action is extended to an arbitrary dimension D that becomes a complex number. In these regions, all Feynman diagrams are finite. All integrals are analytically continued for D → 4, and the resulting simple poles due to Gamma functions are to be reabsorbed into the physical parameters. This scheme, beyond its simplicity, has a great advantage of preserving all symmetries of the theory that do not depend on dimensionality such as gauge symmetry, Poincaré symmetry etc., as well as the Ward-Takahashi identities (Ward, 1950; Takahashi, 1957. A remark on the notation. We have already encountered the minimal subtraction scheme MS ('t Hooft, 1973; Weinberg, 1973, where the counterterms computed with dimensional regularization have no finite part. There is another widely used scheme, the modified minimal subtraction scheme, or the MS (Bardeen et al, 1978), where the finite part is a constant by means of the substitution where, as usual, γ ≈ 0.57721 is the Euler-Mascheroni constant.

Pauli-Villars regularization
In this procedure of 1949 (Pauli & Villars, 1949) the propagator is modified as: where the fictitious mass is chosen M ≫ m. The propagator behaviour for large momenta ∼ 1/p 4 is usually enough to render finite all Feynman graphs. Eventually, the M 2 → +∞ limit is taken to decouple the unphysical particle. This technique has the advantage of preserving local gauge invariance in QED, as well as Ward identities.

Lattice regularization
Another popular scheme is the lattice regularization, where the theory is defined on a four-dimensional Euclidean lattice with the finite spacing a (Wilson, 1975; Kadanoff, 1966. This spacing serves as a cutoff Λ = 1/a for the Feynman integrals, rendering the results finite. This approach is mostly used for QCD, and results are extrapolated to the continuum limit for a → 0 comparing different lattice spacings. Almost invariably, this method is used to simulate QCD on computers using Monte Carlo methods. The symmetry on the lattice is of course lost as Lorentz invariance is broken. There is also the problem of fermion doubling, with the appearance of more particles for each original fermion. This approach is also very computationally intensive with large memory bandwidth requirements.

Overview of renormalization
The divergences are given by graphs with loops. To determine the degree of divergence of any graph we need to know the dimensions of various fields, coupling constants and the behaviour of propagators at large momenta. As the action is given by and has the dimensions of ℏ, that is zero dimensions in our units, [S] = 0, then the Lagrangian has the dimensions in length units (for energy units just reverse the sign) From the free action for a generic bosonic field ϕ and for a 1/2 spin fermion ψ, we readily obtain and The dimensions of the coupling constants are then easily computed, for instance in the Higgs potential with gϕ 4 /4! interaction, [g] = D − 4, so in 4 dimension g is dimensionless. We will now calculate the superficial degree of divergence D of a Feynman diagram. Any diagram with loops could be represented by (f is made out of different propagators in general) and the behaviour of F when all internal momenta go to infinity gives the superficial degree of When D > 0, the diagram diverges like a power ∫ Λ dp while if D = 0 implies a logarithmic divergence, log Λ, and the integrals with D < 0 are convergent. The asymptotic behaviour for large momenta of various propagators are well known: for bosonic scalar fields ϕ and vector fields A µ it is 1/p 2 , while for electron (lepton) fields ψ is 1/p. In general, the asymptotic behaviour for a propagator ∆ f (p) of a field f is given by and it can be shown that for a massive field f that transforms under Lorentz group as (A, B) one has s f = A + B, so loosely speaking s f is the "spin" of field. For massless bosonic fields, s f = 0. The photon (spin=1) propagator and also the graviton field g µν (with spin=2) behave like 1/p 2 . By power counting, one could calculate the superficial degree of the convergence D. Each fermion propagator contributes to p −1 , each boson propagator gives a p −2 term, each loop from integration contributes with a p 4 term, and each vertex with n derivatives contributes at most with a p n term. We will see the superficial degree of divergence for QED graphs in some detail. Define then the superficial degree of divergence is: We want to rewrite this relation as a function of external legs only, no matter how many internal legs or loops the graph may have.
Consider electrons. Each vertex connects to one end of an internal electron leg. For external legs, only one end connects onto a vertex, thus: For photons, each vertex connects to one end of an internal photon line, unless it is external, that is We know that the total number of independent momenta is equal to L, which in turn equals the total number of internal lines in the graph minus the number of vertices, because of moment conservation at each vertex, plus one, as we have overall momentum conservation as well. So: By substituteing for I ψ , I A , L the expressions found in eqs. (13)-(15) into eq. (12), we obtain What is renormalizable?
The procedure of renormalization we have met in QED is not substantially different from any other theory. When calculating Feynman diagrams one encounters diagrams with momenta integration inside loops. These integrals diverge, and have to be regularized in some manner, that is, their divergencies should be isolated. Then these infinities are reabsorbed by a set of bare physical parameters, such as coupling constants and masses. These parameters have divergencies that cancel out the ultraviolet infinities coming from loops in Feynman diagrams. Eventually, we are left with the physical (or "renormalized" or "dressed") parameters, that are the actual parameters one could measure in an experiment.
Since there is only a finite number of such parameters in a Lagrangian, one can make only a finite number of such redefinitions. In other words, it is possible to renormalize only a theory with a finite number of fundamentally divergent diagrams that are the building blocks of all divergent diagrams of the theory. For instance, QED is such a theory, and we have encountered those kinds of diagrams in (Fabiano, 2021a,b).
Of course, all this procedure has to be built on solid grounds, requiring a sound mathematical proof that this can be actually done. It is usually done by an induction argument, that is, if one proves that the nth order of a theory is finite, and the n + 1th order is finite in terms of the nth order, then the theory is renormalizable. The induction proof uses Weinberg's theorem, which essentially states that a Feynman graph converges if the superficial degree of the divergence D of the graph and all its subgraphs is negative.
We will now find out whether a particular theory is renormalizable. Consider its Lagrangian and compute the dimensions of the coupling g starting from eqs. (4)-(6). Let d be the length dimension of g, that is and from the scaling of the Lagrangian parameters we have met in (Fabiano, 2021b), eq. (16) in particular, for which e = e 0 µ −(4−D)/2 . . . , we could deduce the scaling L being a length scale, E an energy scale, and g 0 the bare coupling constant. Suppose now that d > 0, then we see that with decreasing distance, or increasing energy, the coupling constant g increases indefinitely: As the coupling constant increases, perturbation theory will fail; therefore, it will not be renormalizable. So, we have obtained the important result: if the length dimension of the coupling constant is positive, then the theory is non renormalizable. On the other hand, if d is negative, g → 0 for increasing energy, then perturbation theory is applicable. In this case, the theory is called super renormalizable. If the coupling constant is adimensional, then the theory is renormalizable.

Non renormalizable theories
Non renormalizable theories have coupling constants with negative energy dimensions: for instance, any theory with the interaction gϕ n with n > 4 in four dimensions. Such theories have infinite divergent Feynman diagrams of infinite different kinds. The proliferation of different types of divergencies cannot be controlled by redefinition of a finite number of physical parameters.
Some examples of such theories are: Any nonpolinomial action: an action that has an infinite number of terms like ∑ +∞ n=3 g n c n ϕ n . Independently of dimensions there will be an (infinite) number of dimensionful coupling constants with negative energy dimensions.
As it is well known, G F ∼ 1/m 2 W , so the coupling has the energy dimension of −2.

Massive vector boson with a non Abelian gauge group: a vector field
with mass M has a propagator such as that goes like a constant −1/M 2 at infinity. No integral of a loop diagram could converge with such behaviour.
Gravitation: Newtonian potential is Gm 1 m 2 /r. So G has negative energy dimensions.
Theories with anomalies: symmetries of the original classical Lagrangian could be broken by quantum effects and are called anomalies. They in turn spoil Ward-Takahashi identities, essential for proving that a theory could be renormalizable.

Renormalizable theories
These theories are of course the most important ones. They have only a finite numbers of necessary counterterms, and their coupling constant is adimensional. Some examples follow. ϕ 4 in four dimensions: a scalar field with such interaction, like the Higgs potential, has a dimensionless coupling constant g for D = 4. From hints by the ϵ-expansion method, this theory is also probably free in four dimensions.
QED: we already discussed quantum electrodynamics in (Fabiano, 2021a,b), and explicitly wrote the counterterms. Historically, it was the first theory to be proven renormalizable.
Standard Model: the SM of particles with a gauge group SU col (3) × SU L (2) × U Y (1) broken to SU col (3) × U em (1) has three adimensional coupling constants (Glashow, 1959; Salam & Ward, 1959; Weinberg, 1967. Notice, however, that electroweak model alone, SU L (2)×U Y (1), is not renormalizable. The further presence of quarks is needed in order to cancel all anomalies and render the SM anomaly free.
Yukawa theory: it is also part of the SM. It describes a coupling between fermions and scalars given by gϕψψ the coupling constant g is, as usual, dimensionless (Yukawa, 1935).
Spontaneously broken non Abelian gauge theories: although we have seen that a massive vector boson is non renormalizable, spontaneously broken massless non Abelian gauge symmetries are actually renormalizable. These are spontaneously broken Yang-Mills theories. The proof was given by 't Hooft andVeltman in 1972 ('t Hooft &Veltman, 1972), and only after that the usage of gauge theories was fully justified. It is important to notice that unbroken Yang-Mills theories are renormalizable only in four dimensions.
Two dimensional fermion theory: for D = 2, a term ( ψψ ) 2 of Fermi's theory is renormalizable there.

Super renormalizable theories
They converge very rapidly, only a finite number of graphs is divergent. Actually, the degree of divergence decreases when the number of loops increases. ϕ 3 : in three dimensions, this bosonic theory is super renormalizable. However, this theory is ill-defined because the potential is unbounded from below, so the vacuum is unstable. ϕ 4 : in three dimensions, this theory is super renormalizable as its coupling is such that [g] = D − 4, negative for D < 4.
Two dimensional boson theory: for D = 2, that is, only time and a space coordinate, there is a sort of magic. Any theory of bosonic field is super renormalizable, because the field itself is dimensionless, and [g] = −2.
Two dimensional theory: combining the results previously obtained, in two dimensions a theory P (ϕ)ψψ where P is an arbitrary polynomial is super renormalizable.
Why gauge theory?
We have followed the full path starting from the Lagrangian to a measurable physical quantity. On our walk, we have encountered infinite quantities and rigorous results that allow us to get rid of them. All the time we have dealt with gauge theories that combine Poincaré group invariance (that is the Lorentz plus translation group) and some internal symmetry groups, the gauge group, for instance U (1) for QED or SU (3) for QCD.
A question naturally arises whether it is possible to have theories with different kinds of symmetries than those previously described, which are able to give physically meaningful results?
This question has been answered by the Coleman-Mandula no-go theorem of 1967 (Coleman & Mandula, 1967) and, to a certain extent, the short answer is "no".
We recall that the Lorentz group preserves the distance with Minkowski metric s 2 = x µ g µν x ν . It has L µν generators of rotations, boosts and inversions that obey the SO(3, 1) Lie algebra Remember that the Lie algebra is defined by its generators T a with commuting properties where f abc is the structure constant. The Lie algebra is obtained from the Lie group by taking the logarithm of group elements G.
The generators L µν together with the generators of translations P µ form the Poincaré algebra. While the translations commute among them they do not commute with the Lorentz generator, because the latter has two indices opposed to only one: Wigner (Wigner, 1939) gave all possible classifications for real particles from the Poincaré group, where states are labelled by the invariant mass P 2 = m 2 , the spin s and the helicity h. 1. P 2 = m 2 > 0 and the spin s is discrete, then the state is |m, s⟩ , s = 0, 1/2, 1, 3/2, . . ..
3. P 2 = m 2 = 0, and the spin is continuous, so h is continuous. These states do not seem to be realized in nature.

Coleman-Mandula theorem
It states that, given some reasonable physical assumptions we will discuss later, the only possible Lie algebra of symmetry generators consist of the generators of the Poincaré group and of some other symmetry generators of the gauge group that commute between them. Let P be the Poincaré group, P its algebra, and G the symmetry group, G its algebra. Then the only possible algebra CM of allowed symmetry group CM is given by the direct product of those two, that is In plain language, it means these two groups never mix, the Lorentz indices do not affect the group indices and vice versa. For instance, in QED, an U (1) rotation will not affect electron energy, likewise a Lorentz boost is unable to flip electron charge. The assumptions of this theorem are very reasonable. Consider the scattering matrix S, and its symmetry group CM with the following assumptions • Mass gap: for any given mass m > 0 there is only a finite number of particles with mass less than m. No continuous spectrum is allowed.
• Scattering: it occurs at almost all energies except maybe for some discrete set of energies.
• Analyticity: the S matrix for two body scattering is an analytic function of angle, energy and momentum, except maybe for some discrete set of energies.
• "Ugly technical assumption": stating that the matrix elements of the group generators are distributions in momentum space. Under these assumptions, the only allowed algebra for the symmetry group CM of the S matrix is given by eq. (24).
There is actually a possible way out of this theorem. If one considers a symmetry that exchanges bosons with fermions, so called supersymmetry, then it is possible to extend this particular symmetry to the allowed symmetries of the S matrix without breaking the Coleman-Mandula theorem, which is known as the Haag-Łopuszański-Sohnius theorem (Haag et al, 1975).
It must be stressed, however, that up to this date supersymmetric particles are yet to be discovered.