Abstract
We give an introduction to several regularization schemes that deal with ultraviolet and infrared singularities appearing in higher-order computations in quantum field theories. Comparing the computation of simple quantities in the various schemes, we point out similarities and differences between them.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Higher-order calculations in quantum field theories usually involve ultraviolet (UV) and/or infrared (IR) divergences which need to be regularized at intermediate steps. Only after renormalization and proper combination of real and virtual corrections, a finite and regularization-scheme independent result can be obtained. The choice of the regularization scheme matters in several respects of conceptual and practical relevance:
-
Mathematical consistency: It must be excluded that the calculational rules lead to internal inconsistencies such as final expressions contradicting each other.
-
Unitarity and causality: The final finite result must be compatible with the basic quantum field theoretical properties of unitarity and causality. In practice this compatibility can be shown by proving the equivalence of a given scheme with \({\overline{{{\textsc {ms}}}}}\) or bphz renormalization, which are known to have these properties.
-
Symmetries: It is desirable that symmetries like Lorentz invariance, non-Abelian gauge invariance, or supersymmetry are manifestly preserved by the regularization to the largest possible extent. Symmetry breaking by the regularization which does not correspond to anomalies must be compensated by special, symmetry-restoring counterterms.
-
Quantum action principle: The regularized quantum action principle is a relation between symmetries of the regularized Lagrangian and Ward/Slavnov–Taylor identities of regularized Green functions. If it is valid in a given regularization scheme, the study of symmetry properties is strongly simplified.
-
Computational efficiency: The regularization scheme should allow for efficient calculational techniques and ideally reduce the technical complexity as much as possible.
In recent years, the understanding of traditional regularization schemes has further improved, and novel schemes have been proposed and developed. The motivation for this progress has been to broaden the conceptual basis as well as to enable new efficient, automated analytical and numerical calculational methods. It appears timely to present a uniform and up-to-date description of all schemes and to collect and compare all established properties, definitions, and calculational procedures. This is the goal of the present report. The covered schemes are the following:
-
traditional dimensional schemes: conventional dimensional regularization (cdr), the ‘t Hooft–Veltman scheme (hv), the four-dimensional helicity scheme (fdh), and dimensional reduction (dred),
-
new, distinctive (re-)formulations of dimensional schemes: the four-dimensional formulation of the fdh scheme (fdf), the six-dimensional formalism (sdf),
-
non-dimensional schemes: implicit regularization (ireg), four-dimensional regularization/renormalization (fdr), four-dimensional unsubtraction (fdu).
In the following we present introductions to all these schemes. Having applications and practitioners in mind we will perform some simple calculations to illustrate the differences as well as common features of the schemes. In particular, we aim to sketch the computation of the cross section for \(e^+e^-\rightarrow \gamma ^*\rightarrow q\bar{q}\) at next-to-leading order and the fermion self-energy. The quantities are chosen such that potential technical disadvantages of the traditional schemes are exposed and the properties of novel schemes with respect to UV and IR divergences and (sub)renormalization can be illustrated. In a number of footnotes we will directly compare intermediate results and features of the different schemes and comment on their relation.
Of course, much more detailed information is available in the literature and we refer to the references listed in the individual sections for a more in-depth discussion. However, we also have to warn the reader that, unfortunately, the nomenclature and notation used in the literature is far from being unique. This often leads to misunderstandings. In an attempt to avoid these in the future, we have adopted a unified description in this article. As a result, the notation and terms used here will differ in parts from the notation used in the specialized literature referred to. To help further with clearing out some of the misunderstandings and elucidating the relation between the schemes, we will conclude in Sect. 7 by giving a list of concrete statements.
2 DS: dimensional schemes CDR, HV, FDH, DRED
2.1 Integration in \({d}\) dimensions and dimensional schemes
Dimensional regularization [1, 2] and variants are the most common regularization schemes for practical calculations in gauge theories of elementary particle physics. In the following we summarize the basic definitions common to all dimensional schemes (ds) discussed in Sects. 2 and 3 and then provide specific definitions for four variants of ds which differ by the rules for the numerator algebra in analytical expressions.
The basic idea of all ds is to regularize divergent integrals by formally changing the dimensionality of space-time and of momentum space. In the present report we always denote the modified space-time dimension by \({d}\), and we set
Correspondingly, a four-dimensional loop integration is replaced by a d-dimensional one,Footnote 1
including the scale of dimensional regularization, \({\mu _{\textsc {ds}}}\). After this replacement, UV and IR divergent integrals lead to poles of the form \(1/\epsilon ^n\). In Refs. [3, 4], it is shown that such an operation can indeed be defined in a mathematical consistent way and that this operation has the expected properties such as linearity and invariance under shifts of the integration momentum.
To define a complete regularization scheme for realistic quantum field theories, it must be specified how to deal with \(\gamma \) matrices, metric tensors, and other objects appearing in analytical expressions. Likewise, it should be specified how to deal with vector fields in the regularized Lagrangian. On a basic level, two decisions need to be made,
-
regularize only those parts of diagrams which can lead to divergences, or regularize everything;
-
regularize algebraic objects like metric tensors, \(\gamma \) matrices, and momenta in \({d}\) dimensions, or in a different dimensionality.
It turns out that there is an elegant way to unify essentially all common variants of ds in a single framework, where all definitions can easily be formulated and where the differences and relations between the schemes become transparent. This framework is based on distinguishing strictly four-dimensional objects, formally \({d}\)-dimensional objects, and formally \({d_{s}}\)-dimensional objects.Footnote 2 These objects can be mathematically realized [3,4,5] by introducing a strictly four-dimensional Minkowski space \(\text {S}_{[4]}\) and infinite-dimensional vector spaces \(\text {QS}_{[{d_{s}}]}\), \(\text {QS}_{[{d}]}\), \(\text {QS}_{[n_\epsilon ]}\), which satisfy the relations
The space \(\text {QS}_{[d]}\) is the natural domain of cdr and of momentum integration in all considered schemes. Using
it is enlarged to \(\text {QS}_{[{d_{s}}]}\) via a direct (orthogonal) sum with \(\text {QS}_{[n_\epsilon ]}\).Footnote 3
The structure of the vector spaces in Eq. (2.3) gives rise to the following decomposition of metric tensors and \(\gamma \) matrices:
Since the quantities in Eq. (2.5) do not have a finite-dimensional representation, in most of the practical calculations only their algebraic properties are relevant,
with \(\mathrm{dim}\in \{4, {d_{s}}, {d}, n_\epsilon \}\).
Furthermore, a complete definition of the various dimensional schemes requires one to distinguish two classes of vector fields (VF):Footnote 4
-
Vector fields associated with particles in 1PI diagrams or with soft and collinear particles in the initial/final state are in the following called singular VF.
-
All other vector fields are called regular VF.
Since UV and IR divergences are only related to singular VF there is some freedom in the treatment of the regular ones. In this report, we distinguish the following four ds:
-
cdr and hv are two flavours of what is commonly called ‘dimensional regularization’. They regularize algebraic objects in \({d}\) dimensions, \(n_\epsilon \)-dimensional objects are not used. In cdr, all VF are regularized, in hv only singular ones.
-
fdh and dred are two flavours of what is commonly called ‘dimensional reduction’. They regularize algebraic objects in \({d_{s}}\) dimensions. Sometimes \({d_{s}}\) is identified as \({d_{s}}\equiv 4\) from the beginning, but it is possible to keep it as a free parameter, which is set to 4 only at the end of a calculation. In dred, all VF are regularized, in fdh only singular ones.
The definitions of these four schemes can be essentially reduced to the treatment of vector fields; see Table 1. This unified formulation of the four schemes makes obvious that a calculation in dred covers all elements of a calculation in the other schemes.
In fdh and dred, where singular vector fields are treated in \({d_{s}}\) dimensions, the split of Eq. (2.5) can be applied to the regularized Lagrangian and to covariant derivatives. As an illustration, we provide here the regularized covariant derivatives in QED and QCD,
It is important that the gauge-field part is not written as a complete \({d_{s}}\)-dimensional entity but is split into \({d}\)-dimensional and \(n_\epsilon \)-dimensional parts, and particularly with independent couplings. Conventionally, the \(n_\epsilon \)-dimensional fields are called ‘\(\epsilon \)-scalars’, the associated couplings are called ‘evanescent couplings’. This split is strictly necessary at the multi-loop level in non-supersymmetric theories since the evanescent couplings are not protected by \({d}\)-dimensional Lorentz and gauge invariance and renormalize differently compared to the corresponding gauge couplings. As an example, we provide the (minimal) renormalization of the QED gauge coupling and the corresponding evanescent coupling in fdh/dred,
These values can be obtained e.g. from Ref. [7] by setting \(C_A\rightarrow 0\), \(N_F\rightarrow 2 N_F\). It is obvious that even for \(e_e=e\), the values of \(\beta \) and \(\beta _e\) are not the same.
2.2 Application example 1: electron self-energy at NLO
To illustrate the different treatment of the Lorentz algebra in the various ds, we consider the electron self-energy at NLO in dred; see Fig. 1. As mentioned in the previous section, this can be seen as the most comprehensive case of the four considered ds. For simplicity, we use massless QED as underlying theory. On the one hand, the Lorentz algebra can then be evaluated by applying the split of Eq. (2.5),
where Feynman gauge and the equality \(n_\epsilon = (d_s - {d})\) have been used. Setting \(n_\epsilon = 0\) then corresponds to the results in cdr and hv.
On the other hand, for \(e_e=e\), the amplitude can also be evaluated more directly by using a quasi-\({d_{s}}\)-dimensional algebra,
In the second line, the identity \(\gamma ^{\nu }_{[{d}]} (k_{[{d}]}^{\phantom {\nu }})_{\nu } =\gamma ^{\nu }_{[{d_{s}}]} (k_{[{d}]}^{\phantom {\nu }})_{\nu }\) is used which directly follows from the structure of the vector spaces in Eq. (2.3).
When setting \(d_s =4\), one obtains the result in fdh/dred. Moreover, setting \(e_e =e\) with \(\alpha =e^2/(4\pi )\), it follows that the different treatment of the algebra in Eqs. (2.9) and (2.10) yields the same result,
As long as no distinction between gauge and evanescent couplings is required, both approaches are therefore equivalent.
At the two-loop level, however, the different UV renormalization of e and \(e_e\) enters via the counterterm diagrams shown on the right of Fig. 1,
Since no distinction between the couplings is possible when using a quasi-\({d_{s}}\)-dimensional algebra, in this case it is mandatory to apply the split of Eq. (2.5). Generalizing to an arbitrary \(\ell \)-loop calculation, the introduction and separate treatment of \(\epsilon \)-scalars has to be considered up to \((\ell -1)\) loops. Genuine \(\ell \)-loop diagrams, on the other hand, can either be evaluated by using the split of Eq. (2.5) or by using a quasi-\({d_{s}}\)-dimensional Lorentz algebra. Further details regarding the UV renormalization in the various ds can be found in Refs. [7,8,9,10,11].
2.3 Application example 2: \(e^{+} e^{-}\rightarrow \gamma ^{*}\rightarrow q\bar{q}\) at NLO
Any physical observable has to be independent of the regularization scheme. What is usually done in computing NLO cross sections is to obtain the virtual corrections in cdr (either directly, or first in another scheme and then translated to cdr) and combine them with the real corrections calculated in cdr. As shown in Ref. [6], it is also possible to compute the real corrections directly in schemes other than cdr.
We use the very simple process \(e^{+}e^{-} \rightarrow \gamma ^{*} \rightarrow q\bar{q}\) with massless quarks to illustrate the interplay between the scheme dependence in the real and virtual corrections at NLO in QCD. To simplify further, we average over the directions of the incoming leptons (with momenta p and \(p'\)) and actually consider only \(\gamma ^{*} \rightarrow q \bar{q}\). This is achieved by replacing the (regularization-scheme dependent) leptonic tensor by
where \(s\equiv q^2=(p+p')^2\). In the first step, the average is taken in \(\mathrm{dim}\) dimensions. However, the prefactor will be an overall factor of the full cross section. Hence, for this prefactor we set \(\mathrm{dim}=4\) from the beginning and the only scheme dependence that is left in \(L_{{{\textsc {ds}}}}^{\mu \nu }\) is in the one in \(g^{\mu \nu }_{[\mathrm{dim}]}\). The following discussion might create the impression that schemes other than cdr are complicated to use. However, this is simply because we will give the details of the field-theoretic background. This results in many apparent ‘complications’ that can actually be avoided at a practical level.
Let us begin with the most straightforward case of cdr, where the regular photon is treated in \({d}\) dimensions. Here, only the left diagram in Fig. 2 contributes. According to Table 1, the metric tensor of the photon propagator – and hence in Eq. (2.13) – is \(g^{\mu \nu }_{[{d}]}\), the coupling at the vertices is the gauge coupling e. Using Eq. (2.13), we get for the (spin summed/averaged) squared matrix element \(M_{{{\textsc {ds}}}}^{(0)}=\langle \mathcal {A}_{{{\textsc {ds}}}}^{(0)} | \mathcal {A}_{{{\textsc {ds}}}}^{(0)}\rangle \)
where \({Q_{q}}=-1/3, 2/3\) and \(N_c\) are the electric charge and the colour number of the quark, respectively, and the flux factor 1 / (2s) is included.
In hv and fdh, the regular photon is kept unregularized; the related metric tensor is therefore \(g^{\mu \nu }_{[4]}\). The squared amplitudes are then given by
In contrast to this, in dred, the regular photon is treated in \({d}_s\) dimensions and thus contains a gauge-field part and an \(\epsilon \)-scalar part. It is therefore possible to decompose the Born amplitude into the two diagrams of Fig. 2. The crucial point is that the diagrams involve different couplings; the left diagram is proportional to the square of the electric gauge coupling e as in the other schemes, whereas the right diagram is proportional to \(e_e^2\). The result of the squared matrix element in dred therefore reads
The appearance of a second contributions in dred is one of those apparent complications mentioned above. In practice, one usually sets \(e_e=e\) from the beginning and computes the two processes in a combined way like in Eq. (2.10). This is possible since the different UV renormalizations of e and \(e_e\) are irrelevant in this case.
Using the results in Eq. (2.14) and integrating over the phase space, we obtain the (scheme-independent) Born cross section
where we separate the \({d}\)-dependent two-body phase space
2.3.1 Virtual contributions
In a next step we consider the virtual corrections to the (spin summed/averaged) squared matrix element, \(M_{{{\textsc {ds}}}}^{(1)}=2{\text {Re}} \langle \mathcal {A}_{{{\textsc {ds}}}}^{(0)} | \mathcal {A}_{{{\textsc {ds}}}}^{(1)}\rangle \). To obtain the results of the corresponding one-loop amplitudes, we have to evaluate the diagrams shown in Fig. 3. There are two different vector fields in the one-loop diagrams, a virtual photon that is ‘regular’ and a virtual gluon that is ‘singular’. According to this, the treatment of the photon is as for the Born amplitude. For dred, this results in two contributions, one proportional to the gauge coupling e, the other proportional to the evanescent coupling \(e_e\). Due to the Ward identity, only the latter coupling gets renormalized. In the \({\overline{{{\textsc {ms}}}}}\) scheme, we obtain
We remark that in schemes other than cdr, the \({\overline{{{\textsc {ms}}}}}\) counterterms in general can have \(\mathcal {O}(n_\epsilon )\) terms, as discussed e.g. in Ref. [12]. In dred, one therefore has to consider the (finite) counterterm
see also Fig. 4. In the same way, when using fdh or dred, the gluon can be split according to Eq. (2.5). Thus, in these schemes we get terms proportional to \(\alpha _s =g_s^2/(4\pi )\) and terms proportional to \(\alpha _e =g_e^2/(4\pi )\). The unrenormalized virtual one-loop corrections are given by
with
In Eq. (2.19), we have dropped \(n_\epsilon \) terms that vanish after setting \(n_\epsilon = 2\epsilon \) and taking the subsequent limit \(\epsilon \rightarrow 0\).
In particular, the dred result looks awfully complicated. However, from a practical point of view the situation is much simpler. As discussed in the previous section, the virtual contributions can be computed without distinguishing the various couplings and without splitting the photon or the gluon. We can simply evaluate the algebra of the single vertex diagram according to the scheme and perform the integration. The only part where the split is crucial so far is to obtain the UV counterterm, Eq. (2.18). Thus, the computation in schemes other than cdr is not significantly more extensive.
Computing the (IR divergent) virtual cross section by integrating the properly(!) renormalized matrix element squared over the two-parton phase space, Eq. (2.16), we get
where we have set \(n_\epsilon =2\epsilon \) and \(g_e=g_s\).
2.3.2 Real contributions
Finally we have to face the real corrections. In cdr, the amplitude consists of two diagrams (one of which is depicted in Fig. 5). The matrix element squared, expressed in terms of \(s_{ij} \equiv 2 p_i\cdot p_j\) reads
where \(\omega ^{(r)} =\omega ^{(0)} 2 {C_F}/s\). In hv, the same diagrams contribute. One might be tempted to assume that \(M^{(0)}_{\textsc {hv}}(q\bar{q} g)\) can be obtained from Eq. (2.22a) simply by setting \(d\rightarrow 4\). However, this is incorrect. In the regime where the gluons become collinear, they have to be treated as singular gluons. Thus, in hv they are d-dimensional. The same is true in principle for the soft region, but at one loop, there is no scheme dependence in the soft singularities. This corresponds to the statement that the cusp anomalous dimension is scheme independent at the one-loop level [13, 14]. Treating the gluons properly, we obtain
In the case of fdh we get contributions \({\sim }g_s\) and \({\sim }g_e\). Again, the gluon has to be treated as a singular one. Hence, it is split into a d-dimensional gluon and an \(\epsilon \)-scalar, resulting in
Finally, as illustrated in Fig. 5, in dred the matrix element squared is formally decomposed into four parts,
Note that if we set \(e_e =e\) and \(g_e =g_s\), the matrix element in dred corresponds to the usual four-dimensional matrix element,
with \(y_{ij} \equiv s_{ij}/s\). This is generally true for arbitrary tree-level amplitudes in dred, but not necessarily in any of the other schemes. For the considered process, it happens to be true also in fdh.
The real cross section can now be obtained in any scheme by integrating the corresponding matrix element over the d-dimensional real phase space,
Similar to the two-particle phase space, we extract a \({d}\)-dependent factor
For future reference, we explicitly list the integrals needed to evaluate Eq. (2.24),
Using these results for the calculation of the real corrections in the various schemes and setting \(e_e = e\), \(g_e=g_s\), \(n_\epsilon =2\epsilon \), we obtain
And, at long last, we find the well-known regularization-scheme independent physical cross section
The expressions for the virtual and the real cross sections, Eqs. (2.21) and (2.27), have been obtained setting \(e_e=e\) and \(g_e=g_s\). We reiterate that the fdh/dred computation can be done in a much simpler way by directly identifying these couplings from the beginning. The only place where it is crucial to distinguish them is for the proper UV (sub)renormalization, i.e. to obtain the counterterm in Eq. (2.18). If we had kept the couplings apart to the very end, the final result would have been unaffected. In other words, terms involving the ‘unphysical’ couplings \(e_e\) and \(g_e\) drop out when adding the virtual, the real, and the counterterms contributions. For our example this can easily be verified by using the expressions in Eqs. (2.14), (2.18), (2.19), and (2.22).
2.4 Established properties and future developments of DS
As mentioned in the introduction, regularization schemes should not only simplify practical calculations but also satisfy certain basic requirements. For decades, dimensional regularization in the two flavours cdr and hv has been the most commonly used regularization, not only because it allows for the use of powerful calculational techniques but also because many all-order statements have been rigorously proved in these schemes.
Using an infinite-dimensional vector space as domain, a definition of the formally d-dimensional objects and operations is given in Refs. [3, 4]. Among the implications are mathematical consistency and the absence of possible ambiguities. The equivalence to bphz renormalization and the regularized and renormalized quantum action principle is shown in Refs. [15, 16]. As a caveat, however, in chiral theories these statements rely on the use of a non-anticommuting \(\gamma _5\) as defined e.g. in Refs. [2, 16]. In non-chiral theories like QCD, the quantum action principle makes it obvious that non-Abelian gauge invariance is manifestly preserved such that the regularized QCD Green functions automatically satisfy the Slavnov–Taylor identities at all orders.
The situation regarding dred and fdh has been considerably more complicated in the past. However, now these schemes have reached a similar status as cdr and hv. After first one- and two-loop applications of dred [8], the equivalence of fdh/dred and cdr is shown in Refs. [9, 10], indirectly proving that these schemes are compatible with unitarity and causality. In Ref. [5], it is shown how the spaces in Eq. (2.3) can be defined in a rigorous way, avoiding mathematical ambiguities and excluding the possible inconsistency found before in Ref. [17]. In this way also an earlier puzzle regarding unitarity of dred discussed in Ref. [18] is resolved. The key ingredient for the solution is the introduction and separate treatment of \(\epsilon \)-scalar fields. One important consequence of the additional scalars is the need to distinguish gauge couplings from evanescent couplings during the renormalization procedure, as indicated in Eq. (2.7). The relation between unitarity and the correct renormalization of evanescent couplings in fdh/dred has been further stressed and exemplified with explicit calculations in Refs. [7, 11].
Apart from the UV properties of the dimensional schemes also IR divergences and their scheme dependence have been investigated up to the multi-loop regime. The separate treatment of \(\epsilon \)-scalars has been used in Ref. [19] to clarify a seeming non-factorization of QCD amplitudes observed earlier in Refs. [20,21,22]. In Refs. [6, 23], it is shown how dred and fdh can be applied in the computation of NLO cross sections in massless QCD. The scheme independence of a cross section at NLO has also been studied in Ref. [24]. Regarding virtual contributions, these considerations have been extended to NNLO in Refs. [12,13,14, 25, 26]. Moreover, the latter references provide NNLO transition rules for translating UV-renormalized virtual amplitudes from one dimensional scheme to another. The IR factorization properties of QCD including massive partons have been investigated at NLO in Ref. [27] and recently up to NNLO in Ref. [28]. For the real corrections, a formulation of the sector-improved residue subtraction scheme in the hv scheme is presented in Ref. [29].
Regarding supersymmetry, dred and fdh have significant advantages as in many cases supersymmetry is manifestly preserved although an all-order proof does not exist. For reviews regarding applications of these schemes to supersymmetry, we refer to Refs. [30, 31].
3 FDF, SDF: four- and six-dimensional formalism
In the following we discuss some new (re-)formulations of ds. In Sects. 3.1–3.3, we describe fdf, a strictly four-dimensional formulation of the fdh scheme. The remaining two subsections are dedicated to topics that are not directly fdf but that are closely related to it, namely automated NLO calculations using GoSam and the six-dimensional formalism.
3.1 FDF: four-dimensional formulation of FDH
The four-dimensional formulation of the fdh scheme (fdf) is a novel implementation of fdh. Its aim is to achieve the \({d}\)-dimensional regularization of one-loop scattering amplitudes in a purely four-dimensional framework [32]. The starting point for the formulation of the scheme is the structure of the quasi-\({d}_s\)-dimensional fdh space, Eq. (2.3), which we write as
Accordingly, the underlying space of the fdh scheme is written as an orthogonal sum of a strictly four-dimensional space \(\text {S}_{[4]}\) and a quasi-\((n_\epsilon -2\epsilon )\)-dimensional space \(\text {QS}_{[n_\epsilon -2\epsilon ]}\). Similar to Eq. (2.5), metric tensors and \(\gamma \) matrices can then be decomposed as
with
The algebraic properties of the matrices \(\gamma ^\mu _{[n_\epsilon -2\epsilon ]}\) can be obtained from Eq. (3.3) and read
Loop momenta, on the other hand, are treated in d dimensions like in any dimensional scheme,
with
Here and in the following, the square of the \(( -2\epsilon )\)-dimensional component of a loop momentum is identified with \( -\mu ^2\). The decomposition of the space-time dimension in Eq. (3.6) then suggests that any integral of the form
can be split according to
where \(i_{1}\dots i_{k}\) are indices labeling the loop propagators. With the decomposition of the integral measure in Eq. (3.8), any one-loop integral in \({d}\) dimensions has a four-dimensional integrand, depending on an additional length \(\mu ^2\). The (radial) integration over \(\mu ^2\) can be carried out algebraically by redefining the number of dimensions [33],
so that powers of \(\mu ^2\) in the numerator of the integrand generate integrals in shifted dimensions which are responsible for the rational terms of one-loop amplitudes.
We remark that an \((n_\epsilon -2\epsilon )\)-dimensional metric tensor cannot have a four-dimensional representation. This is due to the fact that according to Eq. (3.3b), its square vanishes. Additionally, in four dimensions the only non-null matrices compatible with conditions (3.4) are proportional to \(\gamma ^5_{[4]}\),
However, the matrices \( \gamma _{[n_\epsilon -2\epsilon ]}\) fulfill the Clifford algebra (3.4a), and thus
Equations (3.10) and (3.11) are therefore not compatible with each other. Finally, the component \(k_{[-2\epsilon ]}^{\mu }\) of the loop momentum vanishes when contracted with a strictly four-dimensional metric tensor, i.e. \(k^\mu _{[-2\epsilon ]} (g_{[4]}^{\phantom {\mu }})_{\mu \nu }= 0\). In four dimensions, the only four vector fulfilling this relation is the null one.
The above arguments exclude any four-dimensional representation of the \((n_\epsilon -2\epsilon )\)- and \(( -2\epsilon )\)-dimensional subspaces. It is possible, however, to find a representation by introducing additional rules, in the following called \(( -2\epsilon )\) selection rules, \(( -2\epsilon )\)-SRs. Indeed, the Clifford algebra (3.4a) is equivalent to
Therefore, any regularization scheme which is equivalent of fdh has to fulfill conditions (3.3)–(3.6), and (3.12). The orthogonality conditions (3.3) and (3.6) are fulfilled by splitting a \(d_s\)-dimensional vector field into a strictly four-dimensional one and a scalar field, while the other conditions are fulfilled by performing the substitutions
The \((n_\epsilon -2\epsilon )\)-dimensional and \(( -2\epsilon )\)-dimensional indices are thus traded for (\( -2\epsilon \))-SRs such that
The exclusion of terms containing odd powers of \(\mu \) completely defines the fdf scheme. It allows one to build integrands which, upon integration, yield the same results as in the fdh scheme. As mentioned before, the fdf scheme is closely connected to the introduction of an additional scalar field. The role of this field and its relation to the \(\epsilon \)-scalar present in the fdh scheme will be discussed in Sect. 3.3.
The rules in Eq. (3.14) constitute an abstract algebra which is similar to an algebra related to internal symmetries. For instance, in a Feynman diagrammatic approach, the (\( -2\epsilon \))-SRs can be handled as the colour algebra and performed for each diagram once and for all. In each diagram, the indices of the (\( -2\epsilon \))-SRs are fully contracted and the outcome of their manipulation is either 0 or \(\pm 1\). It is worth to remark that the replacement of \(\gamma ^{\alpha }_{[n_\epsilon -2\epsilon ]}\) with \(\gamma ^5_{[4]}\) takes care of the \(d_s\)-dimensional Clifford algebra automatically. Thus, we do not need to introduce any additional scalar field for each fermion flavour.
Depending on the gauge we use, further simplifications can arise. In Feynman gauge, for example, there are no contributions coming from scalar loops, which is due to the \(( -2\epsilon )\)-SRs,
Similarly, for diagrams with internal scalars and fermions we get the same cancellation,
With the use of axial gauge, we obtain the opposite behaviour since contributions from internal scalars have to be taken in account,
where \(\hat{G}^{AB} \equiv G^{AB} - Q^A Q^B\). Diagrams that contain interactions between generalized gluons and scalars are dropped according to the \(( -2\epsilon )\)-SRs,
3.2 Wave functions in FDF
Generalized-unitarity methods in dimensional regularization require an explicit representation of the polarization vectors and the spinors of \(d_s\)-dimensional particles. The latter ones are essential ingredients for the construction of the tree-level amplitudes that are sewn along the generalized cuts. In this respect, the fdf scheme is suitable for the four-dimensional formulation of d-dimensional generalized unitarity. The main advantage of fdf is that the four-dimensional expression of the propagators in the loop admits an explicit representation in terms of generalized spinors and polarization expressions which is collected below.
In the following discussion, the d-dimensional momentum \(k_{[{d}]}\) will be put on-shell and decomposed according to Eq. (3.5). Its four-dimensional component, \(k_{[4]}\), will be expressed as
in terms of the two massless momenta \(k^\flat _{[4]}\) and \(q_{[4]}\).
3.2.1 Spinors
The spinors of a \(d_s\)-dimensional fermion have to fulfill a completeness relation which reconstructs the numerator of the cut propagator,
The substitutions (3.13) allow one to express the r.h.s. of Eq. (3.20) as,
in terms of generalized four-dimensional massive spinors defined as
The spinors in Eq. (3.22a) are solutions of the tachyonic Dirac equations [34,35,36,37]
It is worth to notice that the spinors in Eq. (3.22) fulfill the Gordon identities
3.2.2 Polarization vectors
The \(d_s\)-dimensional polarization vectors of a spin-1 particle fulfill the relation
where \( \eta \) is an arbitrary d-dimensional massless momentum such that \( k \cdot \eta \ne 0\). Gauge invariance in d dimensions guarantees that the cut is independent of \( \eta \). In particular the choice
allows one to disentangle the four-dimensional contribution from the \(( -2\epsilon )\)-dimensional one:
The first term is related to the cut propagator of a massive gluon and can be expressed as
in terms of the four-dimensional polarizations of a vector boson of mass \(\mu \) [38],
The latter fulfill the well-known relations
The second term of the r.h.s. of Eq. (3.27) is related to the numerator of cut propagator of the scalar and can be expressed in terms of the \(( -2 \epsilon )\)-SRs as:
Therefore, we can define the cut propagators as
The generalized four-dimensional spinors and polarization vectors defined above can be used for constructing tree-level amplitudes with full \(\mu \)-dependence.
3.3 Established properties and future developments of FDF
At one-loop, fdf has been successfully applied to compute the scattering amplitudes for multi-gluon scattering \(g g\rightarrow n\) gluons with \(n=2,3,4\), and for \(g g\rightarrow H + n\ \text {gluons}\) with \(n=2,3\) [39, 40]. The use of dimensionally regularized tree-amplitudes within fdf has been employed to study the colour-kinematics duality [41] for one-loop dimensionally regularized amplitudes [42].
The extension of fdf beyond the one-loop level is currently under investigation. In particular at two loops, fdf should be able to capture the dependence of the integrand on the extra dimensional terms of the loop momenta, namely on two mass-like variables, say \(\mu _1^2\) and \(\mu _2^2\), as well as on the scalar product \(\mu _1\cdot \mu _2\).
3.3.1 Equivalence of FDF and FDH at NLO: virtual contributions to \(e^{+}e^{-}\rightarrow \gamma ^{*}\rightarrow q\bar{q}\)
To show that the strictly four-dimensional Feynman rules of fdf together with the \(( -2\epsilon )\)-SRs indeed reproduce the corresponding results in the fdh scheme for \(\alpha _e=\alpha _s\), we consider virtual one-loop contributions to the process \(e^{+}e^{-} \rightarrow \gamma ^{*} \rightarrow q\bar{q}\).
According to the discussion in Sect. 3.1, in fdf each vector field is split into a strictly four-dimensional field and a corresponding scalar field. The vertex correction subgraph \( \gamma ^{*} \rightarrow q {\bar{q}}\) therefore receives two contributions in fdf; see Fig. 6. The diagram including an internal fdf-scalar vanishes according to the \((-2\epsilon )\)-SRs since in Feynman gauge it is proportional to \(\Gamma ^A\Gamma ^B G^{AB}=\Gamma ^A\Gamma ^A=0\). Using only strictly four-dimensional quantities, the amplitude is then given by
where \(p_q\) and \(p_{\bar{q}}\) denote the four-momenta of the massless quarks. Evaluating the strictly four-dimensional algebra and performing a tensor integral decomposition in \({d}\) dimensions, the amplitude can be written as
with
Note that in the denominators we used Eq. (3.6). In this way, the integral in Eq. (3.35a) is an ordinary \({d}\)-dimensional one. The integral in Eq. (3.35b), on the other hand, can be evaluated by using Eq. (3.9),
For the virtual corrections to the (spin summed/averaged) squared matrix element \(M_{{{\textsc {fdf}}}}^{(1)}=2{\text {Re}} \langle \mathcal {A}_{{{\textsc {fdf}}}}^{(0)} | \mathcal {A}_{{{\textsc {fdf}}}}^{(1)}\rangle \), we then obtainFootnote 5
3.3.2 Renormalization of the FDF-scalar–fermion coupling
In the following we determine the \(\beta \) function related to the coupling of the fdf-scalar to fermions in QED with \(N_F\) fermion flavours, and compare it to the known renormalization of the gauge and the evanescent coupling in the fdh scheme given in Eq. (2.8).
To start, we consider the fermion self-energy, where two diagrams contribute at the one-loop level; see Fig. 7. Using the Feynman rules of Ref. [32] together with the \(( -2\epsilon )\)-SRs, we obtain for the case of massless fermions
In particular, we applied relation (3.6) and made use of the fact that terms containing odd powers of \(\mu \) are set to zero. The diagram including an internal fdf-scalar vanishes according to the \(( -2\epsilon )\)-SRs since it is proportional to \(\Gamma ^A\Gamma ^B G^{AB}=\Gamma ^A\Gamma ^A=0\). Evaluating the \({d}\)-dimensional integral in Eq. (3.38), we then obtainFootnote 6
Using minimal subtraction, the renormalization of the fermion field is therefore given by
A calculation similar to Eq. (3.38) yields for the renormalization of the fdf-scalar field
Finally, we consider the vertex correction. Again, in fdf two diagrams contribute at the one-loop level; see Fig. 8. According to the \(( -2\epsilon )\)-SRs, the diagram with an internal fdf-scalar is proportional to \(\Gamma ^B \Gamma ^A \Gamma ^B =-\Gamma ^B \Gamma ^B \Gamma ^A+2 \Gamma ^B G^{AB}= 2 \Gamma ^{A}\). Evaluating the strictly four-dimensional Lorentz algebra and performing the \({d}\)-dimensional loop integration, the renormalization of the vertex is given by
In a similar way, the renormalization constants can be obtained for the case of massive fermions. In the on-shell scheme (os) they read,Footnote 7
Combining the results in Eqs. (3.40) or (3.41), the \(\beta \) function of the fdf-scalar coupling to fermions is finally given by
and therefore identical to the renormalization of the evanescent coupling in fdh for \(e_e=e\), compare with Eq. (2.8b). According to the discussion in Sect. 2.2, the different renormalization of the couplings in the fdh scheme (and therefore in fdf) does not play any role at the one-loop level. At higher perturbative orders, however, it can lead to a breaking of unitarity [25]. The way, how the different renormalization of the scalar coupling can be consistently implemented beyond one loop in the fdf framework is currently under investigation.
3.4 Automated numerical computation
To build a fully consistent procedure that is valid for every Lagrangian is an issue for the complete automation of higher order computations via numerical recipes. In the GoSam [43] actual architecture we adopted a scheme that naturally produces results in fdh.Footnote 8 In this scheme, GoSam can generate the full one-loop amplitude for every process originating from every Lagrangian with the only condition that the power of the loop momentum in the numerator of a diagram cannot exceed the number of loop denominators plus one. On the other hand, we still do not have a completely general procedure for the renormalization. Technically, the algebraic implementation of our procedure is extremely simple and can be summarized in the following three points:
-
1.
Assume that all Lorentz indices are four-dimensional, even if in a following step the loop momentum k will be treated as d-dimensional.
-
2.
In all fermion chains, also in fermion loops, bring all chiral projectors to the left and all loop momenta to the right.
-
3.
Apply the rule
This is a simplified version of what is effectively coded, which has the same algebraic content and produces the same result. The \(\mu ^2\) parameter represents the length of the loop momentum into the \(\epsilon \)-dependent dimensions.
In GoSam, the generation of amplitudes starts from diagram generation with QGRAF [44] that searches for topologies and fills them with fields in all possible ways. This construction paired with the few rules given above guarantees that no spurious anomalies are generated and, most important, it provides the correct result for all the computations that are anomaly free. In full generality, for every diagram we are then left with two ingredients: a number of non-vanishing integrals with \(\mu ^2\), and a polynomial of the four-dimensional part of the loop momentum sitting on every number of denominators. Loop integrals with \(\mu ^2\) in the numerator have been computed analytically since long, so that their implementation is trivial. Furthermore, reduction programs like Golem95 [45, 46], Ninja [47,48,49] or Samurai [50] reduce them easily. The polynomial in the four-dimensional component of the loop momentum is the optimal representation of the loop integral for the numerical reduction with programs like CutTools [51], Golem95, Ninja or Samurai.
When we are computing higher-order differential cross sections using some subtraction scheme [52, 53] to regularize IR divergences, the choice of the dimensional scheme adopted is restricted to the virtual integration, and one can exploit unitarity to derive the transition rules among renormalized amplitudes computed in different (unitary) schemes; see Refs. [23, 24] for more details. For this reason it is trivial to derive transition rules from fdh to cdr for example deducing them from the different finite part of the integrated dipoles computed in the two schemes. We refer to the dipoles-subtraction technique, but the reasoning is completely general and provides the same conversion factors irrespective of the subtraction scheme. To be definite, to convert a one-loop amplitude in the Standard Model, one can start from the massless gauge-boson emissions from QCD radiation to determine the shift as \(n_{lq} C_F/2 + n_g C_A/6\) times the underlying tree-level interference, where \(n_{lq}(n_g)\) is the number of the external light quarks (gluons) being part of the hard scattering amplitude. This agrees with the shift found in Ref. [23]. Similarly, for QED radiation the shift is again the underlying tree-level interference times the sum of factors \(\delta _{\text {RS}}=-q_i \sigma _i q_k \sigma _k/2\) for each pair of emitter (i) with electric charge \(q_i\) and spectator (k) with electric charge \(q_k\) and \(\sigma \) being \(1 (-1)\) for an incoming fermion and outgoing anti-fermions (vice versa).
Now we come to the renormalization. In GoSam, this is still not fully automated. For the QCD part of the Lagrangian that is renormalized with the \({\overline{{{\textsc {ms}}}}}\) prescription, subtracting only the poles, with fdh or dred one is left with a different definition for the renormalized coupling constants w.r.t. cdr. A finite renormalization is needed to restore the customary definition (cdr). There is of course no such problem with the on-shell renormalization that is often used for electroweak corrections. In GoSam we computed and implemented all the renormalization constants of the Standard Model Lagrangian and derived the conversion factors from fdh to cdr. They can be found in Ref. [54].
To conclude, the fdh scheme appears optimal for numerical computations and the conversion rules to other schemes can easily be worked out once and for all exploiting unitarity. Finally, we stress that on the path towards fully automated computations for every Lagrangian, the automated computation of the renormalization constants is mandatory.
3.5 SDF: six-dimensional formalism
In this section we discuss the possibility of implementing dimensional regularization schemes via an embedding of the loop degrees of freedom in a \({d_{e}}\)-dimensional space, where \({d_{e}}\) (e stands for embedding) is an integer greater than 4 which depends on the loop order. This is possible in dimensional schemes such as fdh and hv, where the degrees of freedom of the external particles live in the genuine four-dimensional space \(S_{[4]}\). In particular, we focus on the case \({d_{e}}=6\), which is sufficient up to two loops [55].
Having a finite integer-dimensional embedding of the loop degrees of freedom is especially useful in the context of integrand reduction via generalized unitarity [56,57,58,59,60,61,62,63,64], which provides an efficient way of generating loop integrands from products of tree-level amplitudes summed over the internal helicity states. In particular, the possibility of using a \({d_{e}}\)-dimensional spinor-helicity formalism provides a finite-dimensional (six-dimensional in our case) representation of both external and internal states. The six-dimensional spinor-helicity formalism has been extensively developed in Ref. [65], and used in the context of multi-loop generalized unitarity for producing analytic results for five- and six-point two-loop all-plus amplitudes in (non-supersymmetric) Yang–Mills theory [64, 66, 67].
A useful property of this approach is that it gives both internal and external states an explicit finite-dimensional representation. This means that one can perform both analytic and numerical calculations by working directly with the components of momenta and spinors. Numerical calculations can in turn be used to infer properties of the result before a full analytic calculation, or in order to employ functional reconstruction techniques (see e.g. Ref. [68]) which allow one to reconstruct full analytic results from numerical calculations over finite fields.
As mentioned, in this section we focus on a dimensional regularization scheme where the external states live in the physical four-dimensional space \(\text {S}_{[4]}\), while we keep the dimension \(d_s\) of the space \(\text {QS}_{[d_s]}\) undetermined. The special cases of fdh and hv can be obtained by setting \(d_s =4 \) and \(d_s =d\), respectively, at the end of the calculation.
3.5.1 Internal degrees of freedom
We consider a generic contribution to an \(\ell \)-loop amplitude
where \(\mathcal {N}\) and D are polynomials in the components of the loop momenta \(k_i\) (a rational dependence on the external kinematic variables is always understood). In particular, the denominators \(D_i\) correspond to loop propagators and have the generic quadratic form
with \(p_j\) being the external momenta. It is often useful to split the loop momenta \(k_i^\mu \) into a four-dimensional part \(k_{i,[4]}^\mu \) and a \((d -4)\)-dimensional part \(k_{i,[d-4]}^\mu \) as
In a regularization scheme where the external states are four-dimensional, a loop integrand can only depend on the \((d -4)\) extra-dimensional components of each loop through scalar products \(\mu _{ij}\) defined as
The scalar products \(\mu _{ij}\) can in turn be reproduced by embedding the loop momenta in an integer-dimensional space with dimension \({d_{e}}\ge 4+ \ell \). In particular, as stated, the choice \({d_{e}}=6\) is sufficient up to two loops. Although we will focus on the case \({d_{e}}=6\) and scattering amplitudes at one loop or two loops, unless stated otherwise our statements are valid for any multi-loop amplitude, provided that the integer \({d_{e}}\) is sufficiently large.
In order to correctly reconstruct the dependence of the integrand on the dimension \(d_s\) of the space \(\text {QS}_{[d_s]}\) where internal gluon polarizations live, we add \(({d}_s -{d_{e}})\) flavours of scalar particles to the theory, which represent gluon polarizations orthogonal to both the external and the loop momenta. The Feynman rules for these scalars can easily be derived from the ones of gluons (see e.g. Ref. [64]).
3.5.2 Internal states: six-dimensional spinor-helicity formalism
External states of helicity amplitudes can be efficiently described using the well-known four-dimensional spinor-helicity formalism [69, 70]. After a higher-dimensional embedding of internal states, one can similarly describe these by means of a higher-dimensional spinor-helicity formalism. In particular, the spinor-helicity formalism in six dimensions has been developed in Refs. [65, 71, 72]. While a comprehensive treatment of the subject is beyond the purpose of this report (we refer the reader to Ref. [65] for more details), it is worth pointing out a few properties of six-dimensional spinors which are useful for providing an integer-dimensional embedding of the loop internal states, in particular for applications in the context of integrand reduction via generalized unitarity, as we shall see in the next section.
Six-dimensional Weyl spinors \(|p^a\rangle \) and \(|p_{\dot{a}}]\) (with \(a,\dot{a} \in \{0,1\}\equiv \{+,-\}\)) are defined as independent solutions of the six-dimensional Dirac equation
where \(\sigma ^{(6)}_\mu \) and their dual \(\tilde{\sigma }^{(6)}_\mu \) are six-dimensional generalizations of the Pauli matrices (see Ref. [65] for an explicit representation). Six-dimensional momenta can be built from spinors,
Similarly, given a six-dimensional momentum \(p^\mu \), a representation for the spinors \(|p^a\rangle \) and \(|p_{\dot{a}}]\) satisfying the previous equations, while not unique, is not hard to find. Note that, when building loop integrands, the internal spinors always combine as on the r.h.s. of Eq. (3.48), hence the physical results are always unambiguous and independent of the chosen representation. Moreover, a subset of the six-dimensional spinor components can be identified with the components of four-dimensional Weyl spinors \(|p\rangle \) and |p], which ensures a smooth four-dimensional limit.
Internal gluon states are described by six-dimensional polarization vectors, which can be built out of these spinors
with
While \((++)\) and \((--)\) correspond to positive and negative helicity in the four-dimensional limit, respectively, the polarizations \((+-)\), \((-+)\) only exist in six dimensions. One can show [65] that these polarization vectors satisfy all the expected properties, including the completeness relation
When building an integrand via generalized unitarity, internal polarization states always combine as on the l.h.s. of the previous equation.
3.5.3 Applications to integrand reduction via generalized unitarity
Integrand reduction methods rewrite loop integrands as a sum of irreducible contributions,
where the sum on the r.h.s. runs over the non-vanishing sub-topologies of the parent topology identified by a set of denominators \(\{D_j\}\). The on-shell numerators or residues \(\Delta _T\) can be written as a linear combination of polynomials \(\mathbf {q}_T =\{q_{T,1}, q_{T,2},\ldots \}\) which can be combined to form an integrand basis up to terms proportional to the denominators of the corresponding sub-topology T,
where \(\alpha =(\alpha _1,\alpha _2,\ldots )\) runs over an appropriate set of multi-indices. Techniques for choosing an appropriate integrand basis have been proposed e.g. in Refs. [61,62,63, 67].
The coefficients \(c_{T,\alpha }\) only depend on the external kinematics (they also have a polynomial dependence on \(d_s\)) and they can be determined by evaluating the integrand on values of the loop momenta such that the propagators of the corresponding loop sub-topology are put on-shell \(\{D_j=0\}_{j\in T}\). These constraints are also known as multiple cuts. On these values of the loop momenta, the integrand factorizes as a product of tree-level amplitudes summed over the internal helicities corresponding to the cut on-shell loop momenta. Hence, an efficient way of computing the integrands on the cut conditions is by sewing together tree-level amplitudes. This is known as generalized unitarity. As explained, by means of a higher-dimensional spinor-helicity formalism, one can build products of trees which contain the full dependence of the integrand on the loop degrees of freedom.
More explicitly, the solutions of the cut conditions in \({d_{e}}\) dimensions can be expressed as a linear combination of terms of a \({d_{e}}\)-dimensional vector basis \(\{e_{ij}\}_{j=1}^{d_{e}}\),
where, in turn, the coefficient of this linear combination can be expressed as \(y_{ij}=y_{ij}(\{\tau _k\})\), where \(\{\tau _k\}\) is a set of free variables which are not constrained by the cut conditions. From these \({d_{e}}\)-dimensional on-shell momenta, we thus build the corresponding \({d_{e}}\)-dimensional spinors, which in turn are used to evaluate the tree-level helicity amplitudes which define the integrand on the considered multiple cut.
As we mentioned, the correct dependence of the integrand on \(d_s\) is obtained by adding to the theory \(({d}_s -{d_{e}})\) flavours of scalars representing additional polarizations of the internal gluons. At two loops, an integrand can have at most a quadratic dependence on scalar flavours
More in general, each scalar loop can add at most one power of \(({d}_s -{d_{e}})\). We stress that the result for \(\Delta _T\) does not depend on the dimension \({d_{e}}\) of the chosen embedding, unlike each of the terms on the r.h.s. of the previous equation.
This setup has been used for the calculation of planar five- and six-point two-loop amplitudes in Yang–Mills theory presented in Refs. [64, 66, 67], as well as for the first application of multivariate reconstruction techniques to generalized unitarity presented in Ref. [68]. The latter includes the calculation of the on-shell integrands of the maximal cuts of the two-loop planar pentabox and the non-planar double pentagon topology, for a complete set of independent helicity configurations. This shows that this strategy is suitable for performing complex multi-leg calculations at two loops, which is currently a very active field of research.
4 IREG: implicit regularization
4.1 Introduction to IREG and electron self-energy at NLO
Implicit regularization (ireg) is a regularization framework proposed by the end of the 1990s [73,74,75] as an alternative to well-known dimensional schemes. A main characteristic of the method is that it stays in the physical dimension of the underlying quantum field theory, avoiding, in principle, some of the drawbacks of ds such as the mismatch between fermionic and bosonic degrees of freedom which leads to the breaking of supersymmetry. ireg is proposed to work in momentum space and relies on the following observation: the UV divergent piece of any Feynman integral should not depend on physical parameters such as external momenta or particles masses.Footnote 9 This simple fact leads to profound consequences as we are going to see.
For ease of the reader, we will develop the basic concepts of ireg by considering a familiar example of massless QED, the one-loop corrections to the fermion propagator. We write the initial (unregularized) expression as
where p is an external momentum. The first step is to perform simplifications using Dirac algebra in strictly four dimensions. In this example, the result is particularly simple
The next step is just to introduce a fictitious mass in the propagators which will allow us to control spurious IR divergences introduced in the course of the evaluation. Thus, the integral can be rewritten as
At this point one uses the main observation of iregthat the intrinsic divergent integral should not depend on physical parameters, the external momentum in this case. To achieve that, one just uses the following identity as many times as necessary to isolate the physical parameters in the finite part:
In our example, one ends up with the following divergent expression:
in which all dependence on the external momenta is only in the numerator. The latter can be therefore pulled outside the integration. Focusing on the divergences, one notices the existence of linear and logarithmic terms. The first piece is automatically null (as in cdr) and we are left with only the logarithmic term, whose integral is a particular example of the general expression
This is a characteristic of ireg that the UV divergence can be always expressed in terms of a precise set of Basic Divergent Integrals (BDI), composed of scalar and tensorial ones. However, it can be shown that all tensorial integrals can be further expressed in terms of the scalar ones plus surface terms. In our particular example one has
where \(\Upsilon _{0}^{\mu \nu }\) is a surface term, arbitrary in principle. More comments regarding the surface terms and their relation to momentum routing invariance will be given at the end of this section.
After all UV divergences are taken care of, one needs to evaluate the finite part, for which we obtain
It should be noticed that the limit \(\mu ^{2} \rightarrow 0\) has still to be taken in the final result. However, it can easily be seen that both \(I_{\text {log}}(\mu ^{2})\) and the logarithm term then develop an IR singularity which is spurious since our starting integral was IR safe. To avoid this issue, one still needs to introduce a scale \(\lambda ^{2} \ne 0\), which plays the role of a renormalization scale in renormalization-group equations,
Combining the divergent and finite part and writing the dimension of the external momentum explicitly, one finally getsFootnote 10
In summary, the treatment of UV divergent amplitudes in ireg can be described as follows:
-
1.
Introduce a fictitious mass \(\mu ^{2}\) in propagators to avoid spurious IR divergences in the course of the evaluation.
-
2.
Use Eq. (4.4) as many times as necessary to free the divergent part from physical parameters like external momenta and masses. In the case of massive theories, a similar identity can be applied; see Ref. [76] for details.
-
3.
Express the divergent part in terms of scalar and tensorial basic divergent integrals.
-
4.
Reduce tensorial BDIs to the scalar ones plus surface terms.
-
5.
Remove the \(\mu ^{2}\) dependence by introducing a scale \(\lambda ^{2}\) which plays the role of a renormalization scale on renormalization-group equations.
At this point, we would like to emphasize the role played by the surface terms which, as defined, are just differences between integrals with the same degree of divergence. As shown in Ref. [77], these objects are at the root of momentum routing invariance (the freedom one has in the assignment of internal momenta inside a given Feynman diagram). This can only be respected when the surface terms are set to zero. It can also be shown that the same conclusion holds for Abelian gauge invariance, allowing one to conjecture that surface terms are at the root of symmetry breaking in general. In Ref. [77], it is shown that this conjecture may hold for supersymmetric theories as well. Similar analyses, in many different theories and contexts, have been carried out in Refs. [78,79,80,81,82,83,84,85,86,87,88,89,90,91].
4.2 Application example: \(e^{+} e^{-}\rightarrow \gamma ^{*}\rightarrow q\bar{q}\) at NLO
In this section we perform the computation of the total cross section of the process \(e^{+}e^{-} \rightarrow \gamma ^{*} \rightarrow q\bar{q}\), showing an example on how ireg deals with different kinds of divergences. We divide the presentation in two parts, as usual.
4.2.1 Virtual contributions
The (unregularized) amplitude for the one-loop vertex correction subgraph \( \gamma ^{*} \rightarrow q {\bar{q}}\) reads
where \(p_q\) and \(p_{\bar{q}}\) denote the four-momenta of the massless quarks. Using the Dirac equation for massless quarks, the integral can be decomposed as
with
One notices the prescription of ireg to cancel denominators as in \(I_2\) before introducing a regulating mass in the propagators.Footnote 11
The integrals in Eq. (4.13) are IR divergent for \(p_q^2 =p_{\bar{q}}^2 =0\). In addition, the integral in Eq. (4.13a) carrying two Dirac indices and the integral in Eq. (4.13b) are logarithmically UV divergent. To deal with the latter, a regulating mass \(\mu \) is introduced in all propagators,
and, after cancellation of one of the denominators, also in
The limit \(\mu ^2 \rightarrow 0\) in the divergent contributions is only to be taken after the cross section of the whole process has been evaluated. Endowed with the regulating mass, all integrals are IR finite. Using \(\mu _0 \equiv \mu ^2/s\) and \(s \equiv (p_q+p_{\bar{q}})^2 =2 p_q\cdot p_{\bar{q}}\), one obtainsFootnote 12
In the UV divergent integrals, the BDI \(I_{\text {log}}(\mu ^2)\) has been isolated, according to the rules of ireg. Inserting the integrals from Eq. (4.16) into Eq. (4.12) and performing the remaining contractions, one obtains for the one-loop vertex correction
where the UV divergent contributions \( \sim \! I_{\text {log}}(\mu ^2)\) are dropped. Taking twice the real part of the one-loop correction, the virtual contribution to the total cross section is then given byFootnote 13
with \(\sigma ^{(0)}\) given in Eq. (2.15). The divergences occurring in the limit of a vanishing regulator mass \(\mu _0\) will be exactly canceled by the cross section related to the bremsstrahlung diagrams, as shown in the next section.
4.2.2 Real contributions
In the following we obtain the bremsstrahlung contribution to the total cross section, using the same regulator mass \(\mu \) for the gluon and the quarks, as in the previous section. At least at NLO, apart from minor technical differences, the treatment of IR singularities in ireg is equivalent to the fdr solution proposed in Ref. [92] (see also Sect. 5.3).
The total cross section pertaining to the real emission process \(e^{+}(p') e^{-}(p)\rightarrow \gamma ^*(q) \rightarrow q(k_1) {\bar{q}}(k_2) g(k_3)\) is obtained:
in terms of \(k_i^0 =\omega _i=\sqrt{{\vec k}_i^2 +\mu ^2}\).
Let us first analyze how the regulating mass enters the phase-space integration boundaries. Using the CM frame of the virtual photon, \(\delta ^{(4)}(q -k_1 -k_2 -k_3)= \delta (q_0 -\omega _1 -\omega _2 -\omega _3)\times \) \(\delta ^{(3)}({\vec k}_1 +{\vec k}_2 +{\vec k}_3)\), and after integrating out the three-momentum of the gluon, the phase-space integration P reduces to
with \(\omega _3 ={\sqrt{({\vec k}_1 +{\vec k}_2)^2 +\mu ^2}}\). The integration over the angle \(\theta \) between \({\vec k}_1\) and \({\vec k}_2\) is performed, noting that \(\omega _3 {d}\omega _3=|{\vec k}_1||{\vec k}_2| {d}\text {cos}(\theta )\). In addition, with \( |{\vec k}_i| {d}|{\vec k}_i|=\omega _i {d}\omega _i\) we get
The boundary values for the \(\omega _3\) integration can be traced back from the range of allowed \(\theta \) angle values. At fixed \({\vec k}_1\) and \({\vec k}_2\) one thus obtains \(\omega _{3m} ={\sqrt{\mu ^2 +(|{\vec k}_1| -|{\vec k}_2|)^2}}\) corresponding to \(\theta =\pi \) and \(\omega _{3M} ={\sqrt{\mu ^2 +(|{\vec k}_1| +|{\vec k}_2|)^2}}\) for \(\theta =0\). In the first case, the quark and antiquark have opposite momenta and thus a soft gluon momentum \({\vec k}_3\) can be emitted together with hard fermion momenta. In the second case, the fermions move parallel and soft gluon emission is accompanied with soft fermion momenta. Introducing now dimensionless variables
with \(k_i^2=\mu ^2\) and \(q^2=q_0^2\), one gets \(\chi _i=1-2 \frac{\omega _i}{q_0}\) and \({d}\chi _i=-2 \frac{{d}\omega _i}{q_0}\). In these variables, the phase-space integral becomes
keeping in mind the interval allowed for non-vanishing contributions of the \(\delta \)-integration. The latter restrict the boundaries of the \(\chi _2\) integration to
with the notation \(\chi _2^{+}=\chi _{2M}\), \(\chi _2^{-}=\chi _{2m}\). Finally, the \(\chi _1\) integration boundaries are obtained as follows. From \(\chi _1=1-2 \frac{\omega _1}{q_0}\), the upper limit is easily extracted, given when \({\vec k}_1=0\),
The lower boundary is obtained for maximal \(\omega _1\), i.e. for \({\omega _1}_M=\mu ^2+|{\vec k}_{1M}|^2 =\mu ^2+(|{\vec k}_2|+|{\vec k}_3|)^2\), achieved when the angle \({\theta }_{23}\) between the fermion and the gluon is zero. Using further that energy conservation is expressed in the \(\chi \) variables as \(1=\chi _1+\chi _2+\chi _3\) and rewriting Eq. (4.22) as \(\frac{|{\vec k}_i|^2}{q_0^2} =\frac{(1-\chi _i)^2}{4}-\frac{\mu ^2}{q_0^2}\), one can express \({\omega _1}_M\) only in terms of the variables \(\chi _1, \chi _2, \mu _0\). The minimum value of \(\chi _1\) then occurs for \(\chi _2=\frac{(1-3\mu _0)}{2}\), leading to
Using Eqs. (4.25) and (4.24) together with \(q_0^2=q^2=s\), we obtain for the phase-space integral
We now turn back to Eq. (4.19) and evaluate the matrix element squared. Following Sect. 2.3, it can be written as
with
where we use the leptonic tensor of Eq. (2.13) and \(\omega ^{(r)}=2 {Q_{q}^{2}}{C_F}/s^2\).
The result can be simplified by considering gauge invariance, which implies that \(G^{\mu \nu }\), after phase-space integration, must be transverse to the photon momentum q. Thus, the total cross section due to real contribution can be expressed as
After a tedious, yet straightforward computation, one obtains
where we use the definition of \(\chi _{i}\) in Eq. (4.22) and \(k_{i}^{2}=\mu ^{2}\). Finally, the integrals can be evaluated withFootnote 14
Finally, the total cross section due to the real contribution is given byFootnote 15
The procedure of obtaining the real corrections in ireg can be summarized as follows: compute the matrix element squared for massless external and internal particles as in Eq. (4.28b). However, the on-shell limit \(k_i^2=0\) should not be applied. Instead, wherever a squared momentum appears it should be replaced by \(k_i^2=\mu ^2\). The phase-space integration is to be carried out for massive external particles. IR divergences appear as \(\ln (\mu _0)\) terms.Footnote 16
Finally, adding the virtual contribution, Eq. (4.18), one obtains the well-known UV and IR finite result
4.3 Established properties of IREG
4.3.1 Gauge invariance
In gauge theories, the initial structure of a given Feynman diagram contains Dirac matrices, Lorentz contractions, etc. These operations may generate terms with squared momenta in the numerator which must be canceled against propagators before applying the rules of ireg. This point was first emphasized in differential regularization whose rules have a one-to-one correspondence with the ireg prescription [78]. As an example, consider the (unregularized) off-shell vacuum polarization tensor in massless QED at one loop
which, after evaluating the Dirac algebra, can be expressed as
The integrals, after applying the rules of ireg, are given as
where we have suppressed quadratic divergences (in the example they cancel exactly), and \(\nu _{i,j}\) are surface terms defined as
where we use \(g^{\{\nu _{1}\cdots \nu _{j}\}} \equiv g^{\nu _{1}\nu {2}}\cdots g^{\nu _{j-1}\nu _{j}}\) + symmetric combinations. Inserting all results in \(\Pi _{}^{\mu \nu }\), one obtains
As can be seen, to enforce gauge invariance (expressed in the transversality of \(\Pi _{{{\textsc {ireg}}}}^{\mu \nu }\)), surface terms should be null as previously discussed [77].
We remark the appearance of a \(k^{2}\) term in Eq. (4.35), defined as the divergent J integral, and the importance of applying ireg rules only after cancelling such term against propagators. Proceeding otherwise, by rewriting \(k^2=g^{\mu \nu }k_{\mu }k_{\nu }\) for instance, one would obtain
which is different from the J integral, Eq. (4.36a), not only by arbitrary terms encoded in the \(\upsilon _{i,j}\) but also by a finite term. In this way, gauge invariance would be broken even if the surface terms are systematically set to zero. It should be emphasized that the discussion above is restricted to divergent integrals.
4.3.2 UV renormalization
We would also like to briefly show how renormalization-group functions can be computed in the framework of ireg. For simplicity, we adopt the background field method [93] which relates the wave function renormalization of the background field, \(B_{0}=Z_{B}B\), with the coupling renormalization, \(e_{0}=Z_{e} e\), through the equation \(Z_{e}=Z_{B}^{-1/2}\). Therefore, by applying this method to QED, the \(\beta \) function can be obtained only with the knowledge of the vacuum polarization tensor. Performing a minimal subtraction, which in ireg amounts to subtract only basic divergent integrals as \(I_{\text {log}}(\lambda ^{2})\), and remembering that \(\lambda \) plays the role of a renormalization-group scale, one obtainsFootnote 17
Further examples can be found in Refs. [79, 81, 89, 94, 95].
5 FDR: four-dimensional regularization/renormalization
fdr [96] is a fully four-dimensional framework to compute radiative corrections in QFT. The calculation of the loop corrections is conceptually simplified with respect to more traditional approaches in that there is no need to include UV counterterms in the Lagrangian \(\mathcal {L}\). In fact, the outcome of an fdr calculation at any loop order is directly a UV-renormalized quantity. Moreover, this particular way of looking at the UV problem may open new perspectives in the present understanding of fundamental and effective QFTs [97]. In the following, we review the fdr treatment of UV and IR divergences, also using the \(e^{+} e^{-}\rightarrow \gamma ^{*}\rightarrow q\bar{q}(g)\) process as an explicit example.
5.1 FDR and UV infinities
Let \(J(q_1,\ldots ,q_\ell )\) be an integrand depending on \(\ell \) integration momenta \(q_1,\ldots ,q_\ell \). The fdr integral over J is defined as follows:
where \(J_\mathrm{F}(q_1,\ldots ,q_\ell ,\mu ^2)\) is the UV-finite part of \(J(q_1,\ldots ,q_\ell ,\mu ^2)\) (specified below), \(\mu \) is an infinitesimal mass needed to extract \(J_\mathrm{F}\) from J, and \(\int [d^4q_i]\) denotes the fdr integration. The integrands \(J(q_1,\ldots ,q_\ell ,\mu ^2)\) and \(J_\mathrm{F}(q_1,\ldots ,q_\ell ,\mu ^2)\) are obtained from \(J(q_1,\ldots ,q_\ell )\) with the help of the following rules:
-
(i)
Squares of integration momenta appearing both in the denominators of \(J(q_1,\ldots ,q_\ell )\) and in contractions generated in the numerator by Feynman rules are shifted by \(\mu ^2\),
$$\begin{aligned} q^2_i \rightarrow q^2_i -\mu ^2 \equiv \bar{q}^2_i . \end{aligned}$$(5.2)This replacement is called global prescription.
-
(ii)
A splitting
$$\begin{aligned} J(q_1,\ldots ,q_\ell ,\mu ^2)&= [J_\mathrm{INF}(q_1,\ldots ,q_\ell ,\mu ^2)]\nonumber \\&\quad +J_\mathrm{F}(q_1,\ldots ,q_\ell ,\mu ^2) \end{aligned}$$(5.3)is performed in such a way that UV divergences are entirely parametrized in terms of divergent integrands contained in \([J_\mathrm{INF}]\), which solely depend on \(\mu ^2\). By convention, we write divergent integrands in square brackets and call them fdr vacua, or simply vacua.
-
(iii)
The global prescription in Eq. (5.2) should be made compatible with a key property of multi-loop calculus:
$$\begin{aligned}&\text {In an } \ell \text {-loop diagram, one should be able to}\nonumber \\&\quad \text {calculate a subdiagram}, \nonumber \\&\text {insert the integrated form into the full diagram}\nonumber \\&\quad \text { and get the same answer.} \end{aligned}$$(5.4)We dub this subintegration consistency.
Finally, after \(\lim _{\mu \rightarrow 0}\) is taken, \(\ln \mu \rightarrow \ln \mu _{\mathrm{R}}\) is understood on the r.h.s. of Eq. (5.1), where \(\mu _{\mathrm{R}}\) is an arbitrary renormalization scale. Note that inserting Eq. (5.3) into Eq. (5.1) gives an alternative definition
where r denotes an arbitrary UV regulator. Equation (5.5) tells us that the UV subtraction is directly encoded in the definition of fdr loop integration: no divergent integrand is considered separately from its subtraction term.
fdr integration preserves shift invariance which is easy to prove when using Eq. (5.5) with r = ds,
and the possibility of cancelling numerators and denominators
which are properties needed to retain the symmetries of \(\mathcal {L}\) [98]. From Eqs. (5.6) and (5.7) it follows that algebraic manipulations in fdr integrands are allowed as if they where convergent ones. This authorizes one to reduce complicated multi-loop integrals to a limited set of Master integrals (MI) by using four-dimensional tensor decomposition [99] or integration-by-parts identities [100]. In other words, the definition in Eq. (5.1) [or Eq. (5.5)] can be applied just at the end of the calculation, when the actual value of the MIs is needed.
An important subtlety implied by Eq. (5.7) is that the needed cancellation works only if integrands involving explicit powers of \(\mu ^2\) in the numerator are also subtracted as if \(\mu ^2 = q^2_i\), where \(q^2_i\) is the momentum squared which generates \(\mu ^2\). For instance, one computes
in accordance with Eq. (5.5). In this case both integrals on the r.h.s. are UV convergent and the only contribution which survives the \({\mu \rightarrow 0}\) limit is generated by the subtraction term. As a consequence, although only one kind of \(\mu ^2\) exists, one has to keep track of its origin when it appears in the numerator of \(J(q_1,\ldots ,q_\ell ,\mu ^2)\). For this purpose we use the notation \(\mu ^2|_i\), which understands the same subtraction required for the case \(\mu ^2= q^2_i\). fdr integrals with powers of \(\mu ^2|_i\) in the numerator are called ‘extra integrals’.Footnote 18 Their computation is elementary, as illustrated by Eq. (5.8). Additional one- and two-loop examples can be found in Refs. [96, 99]. fdr extra integrals play an important role in maintaining the theory unitary without the need of introducing counterterms in \(\mathcal{L}\), as will be discussed in Sect. 5.4.
As a simple example of an fdr integration, we consider the scalar one-loop integrand
which diverges logarithmically for \(q\rightarrow \infty \). The steps to define its fdr integral are as follows:
-
Shift squares of the integration momentum,
$$\begin{aligned}&J(q) \rightarrow J(q,\mu ^2) \nonumber \\&\quad \equiv \frac{1}{(\bar{q}^2-M^2)^2} , \quad \mathrm{with}\quad \bar{q}^2 \equiv q^2-\mu ^2 . \end{aligned}$$(5.10) -
Subtract the divergent part of the integrand \([J_\mathrm{INF}(q,\mu ^2)] = \left[ \frac{1}{\bar{q}^4} \right] \) in the \(\mu \rightarrow 0\) limit, setting \(\mu \rightarrow \mu _{\mathrm{R}}\) in the logarithms
$$\begin{aligned}&\int [d^4q] \frac{1}{(\bar{q}^2-M^2)^2} \nonumber \\&\quad \equiv \lim _{\mu \rightarrow 0} \int _{{{\textsc {r}}}} d^4q \bigg \{ \frac{1}{(\bar{q}^2-M^2)^2} -\bigg [\frac{1}{\bar{q}^4}\bigg ] \bigg \} \Bigg |_{\mu \rightarrow \mu _{\mathrm{R}}} . \end{aligned}$$(5.11) -
The dependence on r is eliminated by using the partial fraction identity
$$\begin{aligned} \frac{1}{\bar{q}^2-M^2} = \frac{1}{\bar{q}^2} \bigg (1+ \frac{M^2}{\bar{q}^2-M^2}\bigg ) \end{aligned}$$(5.12)in the first integrand on the r.h.s. of Eq. (5.11). This exactly cancels the divergent term \(\big [\frac{1}{\bar{q}^4}\big ]\) before integration, leaving the UV-finite resultFootnote 19
$$\begin{aligned}&\int [d^4q] \frac{1}{(\bar{q}^2-M^2)^2} \equiv \lim _{\mu \rightarrow 0}\nonumber \\&\qquad \times \int d^4q\bigg \{ \frac{M^2}{\bar{q}^4(\bar{q}^2-M^2)} +\frac{M^2}{\bar{q}^2(\bar{q}^2-M^2)^2}\bigg \} \Bigg |_{\mu \rightarrow \mu _{\mathrm{R}}}\end{aligned}$$(5.13a)$$\begin{aligned}&\quad = -i \pi ^2 \ln \frac{M^2}{\mu _{\mathrm{R}}^2} . \end{aligned}$$(5.13b)
In practice, one can directly start from the integrand in Eq. (5.10) and expand it by means of Eq. (5.12). This procedure allows one to naturally separate \([J_\mathrm{INF}(q_1,\ldots ,q_\ell ,\mu ^2)]\) from any integrand \(J(q_1,\ldots ,q_\ell ,\mu ^2)\) and write down definitions analogous to Eq. (5.13) at any loop order. Explicit examples for the extraction of fdr vacua from two-loop integrands are presented in Ref. [99].
Given the fact that the definition of fdr loop integration is compatible with a graphical proof of the Slavnov–Taylor identities through Eqs. (5.6) and (5.7) and can be made congruent with the subintegration consistency of Eq. (5.4) without the need of introducing UV counterterms in \(\mathcal{L}\) (see Sect. 5.4 and Ref. [101] for more details on this point), fdr quantities are directly interpretable as UV-renormalized ones. As an example, the correspondence between off-shell two-loop QCD correlators computed in fdr and ds has been worked out in Ref. [101].
5.2 FDR and IR infinities
The modification of the propagators induced by Eq. (5.2) also regularizes soft and collinear divergences in the virtual integrals [92]. As an example, the massless one-loop three-point function corresponding to the Feynman diagram shown in Fig. 9 is interpreted in fdr as
with \(\bar{q}^2= q^2 -\mu ^2\) and \(\bar{D}_i= (q+ p_i)^2-\mu ^2\). It is worth noticing that this is the same definition as given in Eq. (5.5). In fact, there is no \([J_\mathrm{INF}]\) term to subtract in this case since the integrand is UV finite. It is easy to compute
with \(s=(p_2-p_1)^2\) and \(\mu _0=\mu ^2/s\). Thus, IR divergences take the form of logarithms of \(\mu _0\). In the case at hand, the squared logarithm is generated by an overlap of soft and collinear divergences when \(q\rightarrow 0\) and q is collinear to \(p_i\).
This prescription certainly allows one to assign a precise meaning to virtual integrals also in the presence of IR singularities. Nevertheless, the correct final result is obtained only if the real part of the radiative corrections is treated likewise. This is obtained by carefully analyzing the Cutkowsky rules [102] relating real and virtual contributions with different cuts of diagrams at a higher perturbative level, where cutting a propagator means going on-shell, \(\frac{i}{q^2+ i 0} \rightarrow (2\pi ) \delta (q^2) \theta (q_0)\). This correspondence is linked to the identityFootnote 20
In fact, IR singularities on the l.h.s. of Eq. (5.15) manifest themselves as pinches of the integration path by two (or more) singularities in the \(q_0\) complex plane, which occur in the virtual part of the radiative corrections. On the other hand, the first term on the r.h.s. gives end-point singularities, typical of the real radiation, and the last term generates IR finite contributions. It is then clear that the fdr modification \(\frac{i}{q^2+ i 0} \rightarrow \frac{i}{\bar{q}^2+ i 0}\) in the virtual contribution is matched by the \(\mu \)-massive version of Eq. (5.15), namely
which in turn is responsible for the correspondence \(\frac{i}{\bar{q}^2+ i 0} \rightarrow (2\pi ) \delta (\bar{q}^2) \theta (q_0)\) depicted in Fig. 10; see also Ref. [92]. For example, Eq. (5.16) can be used to rewrite the real part of Eq. (5.14a) as an integral over an eikonal factor
where \(\bar{s}_{ij}=(\bar{p}_i+\bar{p}_j)^2\), \(\bar{p}^2_{i,j}=\mu ^2\rightarrow 0\) and \(\bar{\Phi }_3\) denotes the \(\mu \)-massive 3-particle phase space.
In summary, the IR divergent \(1\rightarrow 2 \) massless splitting gets regularized by the introduction of an infinitesimal mass \(\mu \) for all unobserved particles. In the case of external particles, this is equivalent to trade a massless phase space for a \(\mu \)-massive one. Furthermore, IR infinities cancel when summing real and virtual contributions, for instance
as illustrated in Fig. 11. Finally, when \(d \sigma ^{(r)}_{}(\{s_{ij}\})\) is analytically known in terms of massless invariants \(s_{ij}=(p_i+p_j)^2\) with \(p^2_{i,j}=0\), Eq. (5.18) prescribes the replacement \(s_{ij}\rightarrow \bar{s}_{ij}\). If, instead, \(d \sigma ^{(r)}_{}\) is known only numerically, one can construct a mapping from a massive to a massless phase space, \({\bar{\Phi }}_{m+1} \mathop \rightarrow \limits ^{\mathrm{mapping}}\Phi _{m+1}\), use \(\Phi _{m+1}\) to compute massless invariants and rewrite the real contribution as
In this way, \(d \sigma ^{(r)}_{}(\{s_{ij}\})\) is gauge invariant, since it is computed with massless kinematics and the fudge factor \(\prod _{i < j} \frac{s_{ij}}{\bar{s}_{ij}}\) effectively replaces \(s_{ij}\rightarrow {\bar{s}}_{ij}\) in all relevant IR singular configurations. This is because \(d \sigma ^{(r)}_{}(\{s_{ij}\}) \sim {\frac{1}{s_{ij}}}\) when \(s_{ij} \rightarrow 0\).
5.3 Application example: \(e^{+} e^{-}\rightarrow \gamma ^{*}\rightarrow q{\bar{q}}\) at NLO
5.3.1 Virtual contributions
In this section we perform the computation of the total cross section of the process \(e^{+} e^{-}\rightarrow \gamma ^{*}\rightarrow q\bar{q}\) in QCD to illustrate a typical fdr calculation. As for the virtual part of the corrections, scaleless integrals vanish. More precisely, in fdr they are proportional to \(\ln \mu _{\mathrm{R}}/\mu \) (where \(\mu \) is the IR regulator), which gives zero when choosing \(\mu _{\mathrm{R}}=\mu \) [99]. Thus, only the vertex diagram where a virtual gluon connects the quark with the antiquark has to be considered. The only subtle point of the calculation is the replacement
in the fermion string, dictated by the global prescription. Note that this is fully equivalent to the ireg recipe of performing simplifications before introducing \(\mu ^2\) in the denominators. In fact, the replacement in Eq. (5.20) produces a contribution proportional to
which is the same result one would obtain by simplifying before introducing \(\mu \)-massive propagators. In both cases, the gauge-preserving simplification between the numerator and the denominator of the first integral on the r.h.s. of Eq. (5.21) is achieved. Differences between fdr and ireg start when evaluating the second integral. A customary Passarino–Veltman tensor decomposition is possible in fdr before using the definition of the fdr integral given in Eq. (5.1):Footnote 21
To obtain the coefficients \(C_{ij}\), one needs to contract \(C^{\alpha \beta }\) with \(g_{\alpha \beta }\), resulting in
Since \(q^2\) in the numerator is not generated by Feynman rules, now it would be incorrect to simplify it with the \(\bar{q}^2\) denominator, in the sense that one would not obtain the correct value of \(C^{\alpha \beta }\). Here is the place where the fdr ’extra integrals’ play an active role. In fact, by adding and subtracting \(\mu ^2\), one rewrites
which produces the correct answer in terms of a minimum set of scalar MIs. In other words, thanks to the introduction of extra integrals, Eq. (5.1) can be considered as a convenient way to define a loop integration for divergent integrals that survives algebraic four-dimensional manipulations. This is a peculiar property of fdr.
In the computation at hand, only \(C_{00}\) and \(C_{12}\) are needed. The reduction gives
withFootnote 22
see Eqs. (5.13) and (5.8). Analogously, one reduces the rank-one tensor
obtaining
In summary, the virtual amplitude can be expressed as a linear combination of the scalar integrals in Eqs. (5.14b) and (5.26). Multiplying with the Born amplitude and taking the real part, one obtainsFootnote 23
where \(\sigma ^{(0)}\) is the Born total cross section given in Eq. (2.15) and \(\ln \mu _0\) is the IR logarithm. The process at hand is UV finite, so that the dependence on the logarithms has to drop in the final result. As a consequence, the effect of all scaleless integrals (nullified by our particular choice \(\mu _{\mathrm{R}}=\mu \)) is nothing but \(\ln s/\mu _{\mathrm{R}}^2 \rightarrow \ln s/\mu ^2\) in Eq. (5.26a), as can easily be checked with an explicit calculation.
5.3.2 Real contributions
As for the bremsstrahlung contribution \(e^+e^-\rightarrow \gamma ^{*}\rightarrow q(p_1) \bar{q}(p_2) g(p_3)\), a tensor decomposition of the three-particle phase-space integrals produces the matrix element squaredFootnote 24
where \(M^{(0)}_{{{\textsc {fdr}}}}(s)\) is the fully inclusive Born matrix element squared of \(e^+ e^-\rightarrow \gamma ^*\rightarrow q(k_1)\bar{q}(k_2)\),
In accordance with Eq. (5.18), we now replace all the invariants by their massive counterparts, \(s_{ij} \rightarrow \bar{s}_{ij}\), and integrate over a \(\mu \)-massive three-body phase space,
The quantity \(\bar{R}_3\) represents the physical region of the Dalitz plot for the \(\mu \)-massive three-particle phase-space parametrized in terms of \(\bar{s}_{13}\) and \(\bar{s}_{23}\). The limit \(\mu \rightarrow 0\) is understood from now on. The needed integrals can be expressed in terms of the scaled invariants
and they are listed in Ref. [92]. We report them here for completenessFootnote 25
The final result of the bremsstrahlung contribution readsFootnote 26
Adding the virtual contribution given in Eq. (5.29) produces the total NLO correction,
Finally, we remark that it is possible to set up the entire calculation in a fully local fashion. To achieve this, one has to rewrite the double and single logarithms in Eq. (5.29) as local counterterms to be added to the real integrand. For instance, Eq. (5.34c) gives
The full counterterm needed for the case at hand can be inferred uniquely from the factorization properties of the matrix element squared,
This equation is in agreement with Eq. (5.30) when integrating over \(\hat{p}_1\) and \(\hat{p}_2\). The constant \(\frac{17}{2}\) is chosen in such a way that only the logarithms and the \(\pi ^2\) term in Eq. (5.35) are reproduced upon integration over \( \bar{R}_3\). The quantity \(M^{(0)}_{{{\textsc {fdr}}}}(\hat{p}_1,\hat{p}_2)\) is computed with mapped quark and antiquark momenta defined as
where \(\Lambda ^{\alpha }_{\phantom {\alpha }\beta }\) is the boost that brings the sum of the momenta back to the original center of mass frame, \(\hat{p}_1+\hat{p}_2= (\sqrt{s},0,0,0)\). After subtracting \(M^{{{\textsc {ct}}}}_{{{\textsc {fdr}}}}(p_1,p_2,p_3)\) from the exact matrix element squared, \(\mu \) can be set to zero before integration. In this case, an analytic knowledge of \(M_{{{\textsc {fdr}}}}^{(0)}(s_{12},s_{13},s_{23})\) is not necessary. A simple flat Monte Carlo with \(10^5\) phase-space points reproduces the result in Eq. (5.36) at the 1 per mil level in a quarter of second.
5.4 Established properties and future developments of FDR
5.4.1 Correspondence between integrals in FDR and DS
At one loop, a one-to-one correspondence exists between integrals regularized in fdr and ds. More precisely, according to the definition of fdr, any result of a loop integration is UV finite, whereas IR divergences are expressed in powers of (logarithms of) \(\mu _0=\mu ^2/s\). In ds, on the other hand, results of an integration in \({d}\) dimensions can be expanded in powers of \(\epsilon \); UV and IR divergences are then parametrized as poles \(1/\epsilon ^n\).
To provide an example for the relation between IR divergences of integrals in fdr and ds, we consider the integral in Eq. (5.14). Using \({d}\)-dimensional integration, its result reads
The factor \(c_{\Gamma }(\epsilon )\) is directly related to integration in \({d}\) dimensions. It is given in Eq. (2.20b). Comparing the result in Eq. (5.40) with Eq. (5.14b), the relation between the (regularized) IR divergences is given by
Extending this to the ‘finite’ terms, the following generalized relation for a (potentially UV and IR divergent) integral over a generic integrand F holds:
Analogously, for the real contribution one finds
where \(R_3, x, y\), and z are the massless counterparts of \(\bar{R}_3, \bar{x}, \bar{y}\), and \(\bar{z}\), respectively; see also Eq. (5.33).
Finally, there exists a connection between the fdr ‘extra integrals’ and fdf integrals containing powers of the \((-2\epsilon )\)-dimensional part of the loop momentum, \(q_{[-2\epsilon ]}\equiv \tilde{q}\),
For more comments on the interplay \(-\mu ^2\leftrightarrow \tilde{q}^2\); see also the discussion around Eq. (3.6) and Ref. [96].
5.4.2 Gauge invariance, unitarity, and extra integrals
Global prescriptions, such as the one described at one loop in Eq. (5.20), can be defined at any loop order. Their role is maintaining the needed gauge cancellations. However, this is not enough to guarantee that results are compatible with unitarity. In fact, in a unitary QFT, all perturbative orders are linked by unitarity relations, and any renormalization procedure compatible with unitarity has to fulfill the following two requirements:
-
(a)
The UV divergences generated at any perturbative level should have no influence on the next perturbative orders.
-
(b)
The subintegration consistency in Eq. (5.4) should hold true.
Schemes based on ds automatically respect subintegration consistency when all objects (including \(\gamma \) matrices) are treated in d dimensions, while requirement (a) is fulfilled only if \(1/\epsilon \) poles are subtracted order by order by introducing counterterms in \(\mathcal{L}\). This forbids one to define ds loop integrals beyond one loop by simply dropping \(1/\epsilon \) poles. See the discussion is Section 2.5 of Ref. [99] for more details.
On the other hand, fdr automatically respects requirement (a) since the UV subtraction is embedded in the definition of the fdr integral, so that there is no room for any UV divergence to have any influence at higher perturbative levels. For instance, products of two one-loop fdr integrals give the same result at any perturbative order, which is not the case in ds.
On the contrary, subintegration consistency is not automatically obeyed in fdr. The reason for this can be traced back to the fact that the global prescription needed at the level of divergent subdiagrams (sub-prescription) clashes with the global prescription required at the level of the full diagram (full-prescription), so that one has to correct for this mismatch. However, this can be done directly at a diagrammatic level. This is possible thanks to the fdr extra integrals. They can be used to parametrize, in an algebraic way, the difference between the result one gets when cancellations do or do not take place between numerators and denominators, as illustrated, for example, in Eq. (5.24). In practice, one looks at all possible UV divergent subdiagrams, adds the piece needed to restore the sub-prescription and subtracts the wrong behaviour induced in the subdiagram by the full-prescription. The net result of this process is the addition of fdr extra–extra integrals to the amplitude that enforce requirement (b) without the need of an order-by-order renormalization [101]. For example, a two-loop extra–extra integral can be defined as the insertion of a one-loop extra integral into a two-loop fdr integral. Thus, an fdr calculation directly produces renormalized quantities, which is a unique property of the fdr formalism.
Work is in progress to find the connection between fdr extra–extra integrals and evanescent fdh couplings. Preliminary results indicate that the introduction of fdr extra–extra integrals is equivalent to a restoration of the correct behaviour under renormalization in an fdh calculation in which one sets equal gauge and evanescent couplings from the beginning.
6 FDU: four-dimensional unsubtraction
The four-dimensional unsubtraction (fdu) [103,104,105,106,107] approach constitutes an alternative to the traditional subtraction method. It is based on the loop–tree duality (LTD) theorem [108,109,110,111], which establishes a connection among loop and dual integrals, the latter being similar to standard phase-space integrals. In this way, the method provides a natural way to implement an integrand-level combination of real and virtual contributions, thus leading to a fully local cancellation of IR singularities. Moreover, the addition of local UV counterterms allows one to reproduce the proper results in standard renormalization schemes.
In the following, we describe briefly the general facts about the method, using the computation of the NLO QCD corrections to \(\gamma ^{*}\rightarrow q \bar{q} (g)\) as a practical guideline.
6.1 Introduction to LTD
The LTD theorem is based on Cauchy’s residue theorem. Let us consider a generic one-loop scalar integral for an N-particle process, where the external momenta are labeled as \(p_i\) with \(i\in \{1,2,\ldots N\}\), whilst the loop momentum is denoted by \(\ell \). With these conventions, the internal virtual momenta become \(q_{i} = \ell + k_i\) where \(k_{i} = p_{1} + \cdots + p_{i}\) and \(k_N=0\) because of momentum conservation. If the mass of the internal particles is \(m_i\), a scalar integral can be expressed as
with the Feynman propagators \(G_F(q_i) = (q_i^2-m_i^2+i 0)^{-1}\). As usual, \(q_i\) represents a four momentum which can be decomposed as \(q_{i,\mu } = (q_{i,0},\mathbf {q}_i)\), independently of the specific space-time dimension.Footnote 27 The energy component is \(q_{i,0}\), whilst \(\mathbf {q}_{i}\) denotes the spatial components.
At one-loop level, the dual representation of the loop integral is obtained by cutting one by one all the available internal lines and applying the residue theorem accordingly. The cut condition is implemented by restricting the integration measure through the introduction of
which transforms the loop integration domain into the positive energy section (i.e. \(q_{i,0}>0\)) of the corresponding on-shell hyperboloid (i.e. \(q_i^2=m_i^2\)). When the scattering amplitude under consideration is composed of single powers of the propagators, the computation of the residue simplifies to removing the cut propagator and replacing the uncut ones with their duals, i.e.
where \(i,j \in \{1,2,\ldots N\}\), \(k_{ji}= q_j - q_i\) and \(\eta \) is an arbitrary future-like or light-like vector, \(\eta ^2 \ge 0\), with positive definite energy \(\eta _0 > 0\). It is worth noticing that the dual prescription takes care of the multiple-cut correlations introduced in the traditional Feynman-tree theorem (FTT) [112, 113], thus allowing one to prove their formal equivalence.
In this way, the dual integrand looks like a tree-level amplitude whose building blocks are the same as in the standard theory with a modified i0 prescription. Thus, the one-loop scalar integral in Eq. (6.1) reads
The existence of a dual representation for loop integrals straightforwardly leads to a dual representation for loop scattering amplitudes. As explained in Ref. [108], any loop contribution to scattering amplitudes in any relativistic, local, and unitary quantum field theory can be computed through the decomposition into dual contributions. Of course, this idea generalizes to multi-loop amplitudes, where dual contributions involve iterated single-cuts [108, 110].
For amplitudes containing higher powers of the propagators, the previous result can be extended, as studied in Ref. [111]. It is worth appreciating that higher powers of the propagators explicitly manifest when dealing with self-energy corrections at one loop, self-energy insertions at higher orders, and when computing the local version of the UV counterterms [104, 105].
6.2 Momentum mapping and IR singularities
The application of the LTD theorem to a virtual amplitude leads to a set of dual contributions. From them, we can extract useful information as regards the location of the singularities in the corresponding integration domain, as well as the components (or cuts) that originate them. As explained in Refs. [114,115,116], the intersection of forward and backward hyperboloids defined by the on-shell conditions allows one to identify the IR (and threshold) singularities. Moreover, this study is crucial to prove the compactness of the region developing IR divergences [103,104,105], which constitutes a very important result by itself. This is because the real-radiation contributions are computed on a physical phase space, which is also compact.Footnote 28 In consequence, since the Kinoshita–Lee–Nauenberg (KLN) theorem states that there is a cross-cancellation of IR singularities between real and virtual terms, the compactness of the IR region inside the dual integration domain allows one to implement a local real-virtual cancellation of singularities by applying a suitable momentum mapping. In this way, the singularities in the real phase space (PS) are mapped to the dual integration domain where the corresponding virtual singularities are generated; then an integrand-level cancellation takes place and there is no need of introducing any external regulator to render the combination integrable.
In order to connect the Born kinematics (m-particle PS) with the real- emission one (\((m+1\))-particle PS), we rely on techniques similar to those applied for the dipole method [53, 117]. To be more concrete, let us start thinking about the virtual contribution. After obtaining the dual amplitudes, we have a set of m external momenta and a free on-shell loop momentum. In this way, the dual amplitudes introduce an extra on-shell momentum. Since there are \((m+1)\) on-shell momenta available, the kinematics of the dual components exactly matches the kinematics of the real contribution.
Then it is necessary to isolate the real-emission IR singularities by properly splitting the complete real PS. If \(p_i'^{\mu }\) are the momenta of the real-emission partons, we start by defining the partition
where \({y'}_{ij}=2 p_i' \cdot p_j'/Q^2\), r is the radiated parton from parton i, and Q is the typical hard scale of the scattering process. It is important to notice that, inside \(\mathcal{R}_i\), the only allowed collinear/soft configurations are \(i\parallel r\) or \(p_r'^{\mu }\rightarrow 0\). Thus, collinear singularities manifest in non-overlapping regions of the real-emission PS which allows one to introduce an optimized transformation to describe the collinear configuration.
On the other hand, there are m dual contributions, each one associated with a single cut of an internal line. So, we can establish an identification among partitions and dual amplitudes, based on the picture shown in Fig. 12. Concretely, the cut-line in the dual amplitude must be interpreted as the extra-radiated particle in the real contribution; i.e. \(q_i \leftrightarrow p_r'\). Then we settle in one of the partitions, for instance \(\mathcal{R}_i\). Because the only collinear singularity allowed is originated by \(i \parallel r\), we distinguish particle i and call it the emitter. After that, we single out all the squared amplitude-level diagrams in the real contribution that become singular when \(i \parallel r\) and cut the line i. These have to be topologically compared with the dual-Born interference diagrams whose internal momenta \(q_i\) are on-shell (i.e. the line i is cut), as suggested in Fig. 12. In conclusion, the dual contribution i is to be combined with the real contribution coming from region \(\mathcal{R}_i\).
The required momentum mapping is motivated by general factorization properties in QCD [114, 118] and the topological identification in Fig. 12. Explicitly, let us take the \((m+1)\)-particle real-emission kinematics, with i as the emitter and r as the radiated particle, and we introduce a reference momentum, associated to the spectator j. For the massless case, the generic multi-leg momentum mapping with \(q_i\) on-shell is given by
with the primed momenta associated to the particles involved in the real-emission process. In this case, note that \(p_i'^2=p_j'^2=p_r'^2=0\) because we restrict ourselves to massless particles. On the other hand, the initial-state momenta (\(p_a\) and \(p_b\)) are not altered by the transformation, neither is \(p'_k\) with \(k\ne i,j\). Besides that, since
the transformation shows momentum conservation. It is worth appreciating that this momentum mapping can be extended to the massive case, even if the involved particles have different masses, as we explained in Ref. [105].
6.3 Integrand-level renormalization and self-energies
Besides dealing with IR singularities, any attempt to provide a complete framework for higher-order computations must be able to treat UV divergences. In this case, a suitable local version of the UV counterterms is required. This topic is deeply discussed in Ref. [104] for the massless case, whilst the massive one is studied in Ref. [105]. In the last case, the self-energy and vertex corrections become non-trivial and some technical subtleties arise: there are noticeable changes in the IR singular structure compared to the massless case. On one hand, the mass acts as an IR regulator, preventing collinear singularities to emerge. But, on the other hand, soft singularities arising from gluon emissions become non-vanishing because they are proportional to the mass of the emitting leg. Since we are looking for a complete local cancellation of singularities and a smooth massless transition, it is necessary that the expressions for the massive case reduce to those already available for massless processes, even at the integrand level.
Let us start with the well-known expression for the wave-function renormalization. Working in Feynman gauge with on-shell renormalization conditions, its integrated form is given byFootnote 29
where we kept track of the IR and UV origin of the \(\epsilon \) poles within ds. The unintegrated expression [105] is given by
which includes higher-order powers of the propagators, and where we define \(q_1=\ell +p_1\), \(q_2=\ell +p_1+p_2\), and \(q_3=\ell \). It is worth appreciating that there are many equivalent integrand-level expressions to describe \(\Delta Z_2(p_1)\), but the one presented in Eq. (6.9) develops the proper IR behaviour to cancel singularities coming from real-emission processes. Besides this, notice that the corresponding formula for the massless case [104] is simply recovered by considering \(M\rightarrow 0\) at the integrand level. The term proportional to \(M^2\) is responsible for soft divergences that appear when \(q_1\) is set on-shell, and it vanishes as \(M \rightarrow 0\) since soft singularities are absent in the massless self-energy computation. On the contrary, the collinear singularities that appear in \(\Delta Z_2(M=0)\) manifest themselves as quasi-collinear divergences, i.e. terms that behave like \(\ln (M^2/\mu ^2)\), as shown in Eq. (6.8). Once we combine the self-energy contributions with the virtual matrix elements, there are still UV singularities present. These have to be removed by performing an expansion around the UV propagator \(G_F(q_{{\textsc {uv}}}) =(q_{{\textsc {uv}}}^2-\mu _{{\textsc {uv}}}^2+i 0)^{-1}\),
with the renormalization scale \(\mu _{{\textsc {uv}}}\) and \(k_{i,{{\textsc {uv}}}}=q_i-q_{{\textsc {uv}}}\). A similar expansion is carried out in the numerator, which leads to the UV counterterm for the wave-function renormalization,
The integrated form exactly reproduces the UV pole present in Eq. (6.8). The subleading terms proportional to \(\mu _{{\textsc {uv}}}^2\) are chosen to subtract only the pole part from Eq. (6.8) and, in this way, settle in the \({\overline{{{\textsc {ms}}}}}\) scheme. Finally, we define the UV-free wave-function renormalization
that only contains IR singularities. To conclude this discussion, it is important to emphasize that this construction is completely general and that the subleading terms can be adjusted to reproduce the desired scheme-dependent contributions.
Besides the wave-function renormalization, it is also necessary to remove the UV singularities associated to the vertex corrections. The corresponding renormalization counterterm in its unintegrated form is given by
where \({\Gamma }^{(0)}_{A}\) represents the tree-level vertex. Again, the term proportional to \(\mu _{{{\textsc {uv}}}}^2\) in the numerator is subleading in the UV limit and its coefficient, \(d_{A,{{\textsc {uv}}}}\), must be adjusted in order to implement the desired renormalization scheme [105].
6.4 Application example: \(e^{+} e^{-}\rightarrow \gamma ^{*}\rightarrow q\bar{q}\) at NLO
In order to compute the NLO QCD corrections to \(e^{+} e^{-}\rightarrow \gamma ^{*}\rightarrow q\bar{q}\), we start from the complete set of \(\mathcal{O}(\alpha _{s}^2)\) real and virtual diagrams, including the self-energy ones. The total unrenormalized virtual cross section is
where we distinguish contributions originated in the triangle diagram from those related to self-energies. After that, we must introduce the local UV counterterms which implements the desired renormalization scheme and replace the self-energy contributions by the wave-function renormalization constants, \(\Delta Z_2^{{\textsc {ir}}}\). In this case, we apply LTD to Eq. (6.14) and obtain a set of three dual contributions, \(\widetilde{\sigma }^{(v)}_{i,{{\textsc {fdu}}}}\).
Once the dual contributions are computed, we turn attention to the real-emission terms. As explained in Sect. 6.2, we need to isolate the different collinear singularities by introducing a partition of the real phase space. This leads to
which fulfills \(\widetilde{\sigma }^{(r)}_{1,{{\textsc {fdu}}}}+ \widetilde{\sigma }^{(r)}_{2,{{\textsc {fdu}}}} = \sigma ^{(r)}_{{{\textsc {fdu}}}}\). After that, we apply the real-virtual mapping in each partition. This converts the real terms into fully local IR counterterms for the dual contributions; this guarantees a complete cancellation of IR singularities at the integrand level, thus rendering the full expression integrable in four dimensions. This is a really important fact, because it allows one to put aside ds safely by directly considering the limit \(\epsilon \rightarrow 0\) at the integrand level [103]. Finally, the master formula for computing the finite cross-section correction is
where \(\widetilde{\sigma }^{{{\textsc {uv}}}}\) is the dual representation of the local UV counterterms and \(\mathcal{T}\) is an operator that implements the unification of dual coordinates at the integrand level (with the corresponding Jacobians). If we add all the contributions at the integrand level and deal with a single master integration, the expression in Eq. (6.16) is directly implementable in four space-time dimensions and leads to the correct result after numerical computation. It is worth mentioning that, in order to improve the numerical stability, it helps to compactify the integration domain, applying a transformation as suggested in Ref. [105].
6.5 Further considerations and comparison with other schemes
As we depicted in the previous paragraphs, the fdu approach is based on a fully local cancellation of IR and UV singularities in strictly four dimensions. In this way, we avoid many of the practical/conceptual problems related to the extension of physical properties to d space-time dimensions. In particular, the \(\gamma ^5\) issue is naturally absent here. Moreover, the idea of using the mapped real contributions as local IR counterterms for the dual part simplifies the treatment of IR divergences, as well as it provides a better understanding of their origin.
On the other hand, the application of the traditional renormalization procedure within this framework implies to recompute the renormalization constants in an unintegrated form (i.e. for the integrand-level implementation). In any case, by fixing subleading terms in the UV expansion it is possible to specify the finite part of the counterterms, thus reproducing the results in any scheme (for instance, in \(\overline{\mathrm{MS}}\)). Moreover, this algorithm is completely process-independent and, in consequence, fully compatible with higher-order computations. In this sense, the treatment of UV divergences is similar to the procedure proposed within fdr. The main difference is that we transform the local counterterms to the dual space, in order to combine it with virtual amplitudes.
Besides this, it is worth mentioning that LTD can handle loop amplitudes, as any other method described in this report, but fdu is designed to work directly with physical observables. For instance in Ref. [119], we applied our framework to deal with the Higgs boson decay to massless gauge bosons, which although known to be finite still requires a proper regularization due to the fact that the amplitudes are UV singular locally.
Finally, we would like to emphasize that fdu is compatible with the desired requirements mentioned in the introduction. In fact, since it is a four-dimensional approach which relies on proper physically motivated changes of variables, fdu does not alter the four-dimensional properties of the underlying theory (i.e. unitarity, causality, and associated symmetries). Moreover, it fulfills the crucial requirement of mathematical consistency because singularities are completely removed by a local mapping. In this way, all the singularities are canceled before they manifest themselves in the integration.
7 Summary and outlook
The vast majority of higher-order calculations are done using cdr. While there is no doubt that this made possible impressive progress in perturbative calculations, there is a certain danger that this success stifles the progress of other methods. Whether such alternative methods will ever result in a viable way to perform actual computations can only be established by actually using them. In order to facilitate this, this article provides an overview of recent (and not so recent) developments of regularization schemes other than cdr. Some are very close to cdr, for others the differences are much larger. Using simple examples, we have illustrated the differences and similarities of these methods and their relation to cdr. Let us summarize the key points by means of the following list.
-
FDH and DRED are perfectly consistent regularizations schemes, at least up to NNLO. However, they require the introduction of additional (evanescent) couplings with (in general) different counterterms. In non-supersymmetric theories, for dred this is already mandatory at NLO, for fdh this is unavoidable only at NNLO and beyond. Supersymmetry might protect the equivalence of the couplings even beyond these approximations. Statements in the literature that fdh is inconsistent always refer to ‘naive fdh’, i.e. fdh without distinguishing the couplings.
-
Conversions between results in cdr, hv, fdh, and dred can be made for individual parts contributing to a cross section. For the virtual contributions this is known to NNLO and can be elegantly described solely through the scheme dependence of \(\beta \) functions and anomalous dimensions. For real corrections and initial-state factorization terms the explicit scheme dependence is only known to NLO. These results have been used to explicitly demonstrate the scheme independence of a cross section at NLO.
-
FDF is an adaption of the (naive) fdh scheme that can be used in strictly four dimensions. This enables the use of unitarity methods, writing loop integrands as products of tree-level amplitudes and performing numerical calculations with the components of spinors and momenta. At NLO, fdf gives results that are equivalent to fdh. How to extend this beyond NLO is currently under investigation. The scalars of fdf are not identical to the \(\epsilon \)-scalars of fdh.
-
GoSam makes use of fdf and other four-dimensional techniques. The one-loop virtual amplitudes that are called ‘dred’ and ‘cdr’ in GoSam correspond to what we call ‘naive fdh’ and ’hv’, respectively, in this article. Virtual one-loop amplitudes in other schemes are obtained indirectly through conversion formulae.
-
SDF is based on the same idea as fdf. However, having two-loop amplitudes in mind, the integer dimension is set to \({d_{e}}=6\). Hence, the spinor formalism has to be extended to 6 dimensions.
-
UV singularities in IREG and FDR The basic idea of ireg and fdr is similar and based on the observation that UV singularities are independent of the kinematics. This is used to isolate the UV singular part of loop integrals. In ireg, the UV singular part is expressed in terms of (implicit) integrals \(I_{\text {log}}\) and boundary terms (which have to be set to zero to respect gauge invariance), whereas in fdr they are set to zero. The resulting UV-finite integrals are evaluated in (strictly) four dimensions.
-
IR singularities in IREG and FDR are also treated in strictly four dimensions. The matrix elements squared are computed for massless particles (in four dimensions) and the phase-space integration is also carried out in four dimensions. IR singularities are regularized by modifying the phase-space boundaries through a shift \(q\rightarrow q+\mu \) and result in logarithms \(\ln (\mu _0)=\ln (\mu ^2/s)\). In this sense the method is similar to the introduction of a photon or gluon mass. However, the procedures used by ireg and fdr are superior as they preserve gauge invariance.
-
Differences between IREG and FDR In ireg, gauge invariance is achieved by performing first the Dirac algebra in the numerator and then cancel terms in the numerator and denominator before the shift \(q\rightarrow q+\mu \). In fdr, the shift is done universally in the numerator and denominator. Then additional terms with \(\mu ^2\) in the numerator (called ‘extra integrals’) are included. ireg produces expressions where the UV singularities are still present in the form of implicit integrals \(I_{\text {log}}\). They have to be removed by a suitable renormalization procedure, as in ds. Applying fdr, on the other hand, results directly in UV renormalized quantities.
-
Relation between IREG/FDR and dimensional schemes: In ireg and fdr, ‘singularities’ related to real contributions are encoded in powers of \(\ln (\mu _0)\). At NLO, there is a direct mapping between these terms and the \(1/\epsilon ^n\) singularities in the fdh scheme, namely \(1/\epsilon ^2 \leftrightarrow 1/2 \ln ^2(\mu _0)\) and \(1/\epsilon \leftrightarrow \ln (\mu _0)\). The extension to NNLO of such a correspondence between the four-dimensional schemes and the traditional dimensional schemes is under active investigation. This also includes on how to compensate for the absence of evanescent couplings in ireg and fdr.
-
FDU is an even more radical method in that it does not split a cross section into (potentially IR divergent) virtual and real parts. Rather, the combination of the two parts (and thus the cancellation of IR singularities) is done at the integrand level. Local counterterms are used to perform \({\overline{{{\textsc {ms}}}}}\) renormalization. The extension to initial-state singularities is also possible; the application of a slightly modified momentum mapping allows one to cancel the soft singularities. The remaining initial-state collinear singularities can be canceled by adding unintegrated initial-state counterterms. This is currently under investigation.
-
Evanescent couplings are a fact of life! Even though they can be avoided at NLO in some four-dimensional formulations (like fdh) or do not show up in some particular processes even at NNLO (like \(g g\rightarrow g g\) in fdh), they are present in all (partly) four-dimensional regularizations of QED and QCD. In particular, they have an effect at NNLO in fdh (like e.g. for \(g g\rightarrow q\bar{q}\)). The connection of these effects to the ‘extra–extra integrals’ in fdr is under investigation.
The list above illustrates that there are promising alternatives available that at least at NLO are well understood. They can and have been used for NLO calculations and in some cases have proved to be more efficient.
Currently, a huge effort in perturbative calculations is made going beyond NLO towards automated computations at NNLO. Many of the schemes above have been revisited in the hope they provide a smoother road towards this goal. We are convinced that this deserves to be investigated more thoroughly. In any case, for an alternative scheme to be consistent, there must – at least in principle – exist a well-defined relation to cdr. At NNLO, these relations are fairly well established for other traditional dimensional schemes like hv, fdh, and dred. Regarding new formulations of dimensional schemes like fdf or non-dimensional schemes such as ireg and fdr, first steps towards establishing such relations have been made. fdu has the advantage that a separate regularization of the final-state IR singularities is not required, but only the UV singularities have to be treated in a well-defined way, such as \({\overline{{{\textsc {ms}}}}}\).
Comparing to the impressive list of NNLO calculations for physical cross sections that have been made using cdr, it is fair to say, that none of the other methods has had a similar impact so far. Since cdr is the best established scheme, it is tempting to keep using it. However, it is not clear at all, if cdr is really the most efficient scheme. Hence, the investigation of other regularization schemes is an important aspect of making further progress in perturbative computations. Are there more efficient dimensional schemes? Or is it ultimately advantageous to work completely in four dimensions?
That is the question.
Notes
In many original references, objects such as \(\hat{\gamma }^\mu \), \(\tilde{\gamma }^\mu \), \(\breve{\gamma }^\mu \) are introduced with specific meanings which differ, depending on the paper, the scheme, and the context. Hence, we avoid such short-hand notations here and stick with a more explicit one to make the meaning of expressions more apparent.
In fdh and dred, \(d_s\) is usually taken to be 4, and therefore \(n_\epsilon =2\epsilon \).
Note that compared to Ref. [6] we replaced the terms ‘internal’ and ‘external’ by ‘singular’ and ‘regular’, respectively, to avoid possible confusion in later considerations.
Since \(M^{(0)}_{{{\textsc {fdf}}}}\equiv M^{(0)}_{{{\textsc {fdh}}}}\), this result coincides with the one obtained in fdh for \(n_\epsilon =2\epsilon \) and \(g_e=g_s\) at least up to \(\mathcal {O}(\epsilon ^0)\), compare with Eq. (2.19c).
This result can be compared to the one obtained in fdh; see Eq. (2.11). After subtraction of the UV divergence, the limit \({d}\rightarrow 4\) can be taken and both results coincide. However, due to the vanishing scalar contribution it is clear that the additional scalar field in fdf is different from the \(\epsilon \)-scalar of fdh.
The scheme is actually called dimensional reduction in GoSam and in Ref. [23], but corresponds to what we call fdh in this article.
This point of view is shared by other methods as well, for instance by fdr which is described in Sect. 5. In the latter scheme, these intrinsic divergent pieces are called ‘vacua’.
This result can be compared with the corresponding one obtained in fdh; see Eq. (2.11). Setting the surface term \(\upsilon _{0,2}\) to zero which is necessary to preserve gauge invariance; see also Sect. 4.3, the finite terms of the electron self-energy in ireg and ds are the same for \({d}=4\) and \(\lambda ={\mu _{\textsc {ds}}}\). The relation for the UV divergence is given by \(b^{-1}I_{\text {log}}(\lambda ^2)\leftrightarrow \frac{1}{\epsilon }\).
This is a crucial difference compared to fdr, where \(\mu ^2\)-terms remain in the numerators. In a second step, they are then removed by so-called ‘extra integrals’. Further discussions can be found in Sect. 4.3
The results of the ireg integrals can be compared with the corresponding ones in ds. Setting \({\mu _{\textsc {ds}}^{2}}=s\), the integrals in Eqs. (4.16a) and (4.16b), for example, are given by \(I_{{{\textsc {ds}}}}\big |_{{p_q^2=p_{\bar{q}}^2=0}} =c_{\Gamma }(\epsilon ) \frac{i}{(4\pi )^2} \frac{1}{s} \big [ \frac{1}{\epsilon ^2} +\frac{i\pi }{\epsilon } -\frac{\pi ^2}{2}+\mathcal {O}(\epsilon ) \big ]\) and \(I_{{{\textsc {ds}}}}^{\alpha }\big |_{{p_q^2=p_{\bar{q}}^2=0}} =c_{\Gamma }(\epsilon ) \frac{i}{(4\pi )^2} \frac{(p_q-p_{\bar{q}})^{\alpha }}{s} \big [ \frac{1}{\epsilon } +i\pi +2 +\mathcal {O}(\epsilon )\big ]\). Using \(c_{\Gamma }(\epsilon =0) =1\), the one-to-one correspondence between double and single IR poles in ds and ireg then reads \(\frac{1}{\epsilon ^2} \leftrightarrow \frac{1}{2}\ln ^2(\mu _0)\) and \(\frac{1}{\epsilon } \leftrightarrow \ln (\mu _0)\); see also Sect. 5.4.
The virtual cross section in ireg can be compared with the ones obtained in ds; see Eq. (2.21). Using the aforementioned translation rules for IR divergences in ireg and ds, and \(\Phi _2(\epsilon =0)=c_\Gamma (\epsilon =0)=1\), it follows that Eq. (4.18) coincides with the results obtained in fdh and dred, Eq. (2.21c). In Sect. 5.3, it will be shown that the result of the virtual cross section in ireg also coincides with the one obtained in fdr.
These integrals are the same in ireg and fdr; see e.g. Eqs. (34) and (35) of Ref. [92]. They can be compared with the corresponding ones obtained in ds; see Eqs. (2.26). Again, the transition rules for the IR divergences between ds and ireg/fdr read \(\frac{1}{\epsilon ^2}\leftrightarrow \frac{1}{2}\ln ^{2}(\mu _{0})\) and \(\frac{1}{\epsilon }\leftrightarrow \ln (\mu _{0})\).
This result can be compared with the ones obtained in ds; see Eq. (2.27). Using the rules for translating IR divergences between ireg and ds together with \(\Phi _3(\epsilon =0)=1\), it follows that Eq. (4.32) coincides with the results in fdh and dred, Eq. (2.27c). In Sect. 5.3, it will be shown that Eq. (4.32) also coincides with the corresponding result in fdr.
The only technical difference from the evaluation of real corrections in fdr is that in fdr the matrix elements are computed in the strict massless limit, i.e. using \(k_i^2=0\). Thus, at least at NLO the two schemes differ at most by terms \(\mathcal {O}(\mu _0)\).
This result coincides with the well-known value of the QED \(\beta \) function of the gauge coupling obtained in ds; see Eq. (2.8a).
This is different compared to ireg where no extra integrals are introduced. While extra integrals are not strictly needed in fdr, they are introduced for convenience to allow the decomposition of fdr tensor integrals into MIs and to avoid introducing counterterms in \(\mathcal{L}\).
The alternative definition in Eq. (5.11) with, for example, r = ds gives the same result, \(\int [d^4q] \frac{1}{(\bar{q}^2-M^2)^2} =\mu _{{{\textsc {ds}}}}^{4-{d}}\int d^dq \frac{1}{(q^2-M^2)^2} -\lim _{\mu \rightarrow 0}\mu _{{{\textsc {ds}}}}^{4-{d}} \int d^dq \frac{1}{\bar{q}^4}\bigg |_{\mu \rightarrow \mu _{{{\textsc {ds}}}}} =-i \pi ^2 \ln \frac{M^2}{\mu _{{{\textsc {ds}}}}^2}\) . In the first integral, \(\mu \) can be directly set to zero since it is IR convergent.
This relation is also one of the starting points of the fdu scheme described in Sect. 6.
In ireg, \(C^{\alpha \beta }\) is directly computed by subtracting its UV divergent part.
The value of the ‘extra integral’ EI is the same as the one of \((2\pi )^4 I_{3}^{{d}}[\mu ^2]\) obtained in fdf; see Eq. (3.36).
This result is identical to the one obtained in ireg, compare with Eq. (4.18).
This corresponds to the usual matrix element squared for massless particles computed in four dimensions, as given in Eq. (2.23).
This result is identical to the one obtained in ireg, compare with Eq. (4.32).
In other words, we could be working in any of the ds schemes mentioned in this article, with the only requirement that the associated manifold is Lorentzian, i.e. that it only contains time component and an arbitrary number of spatial ones.
This assumption is true whenever the incoming particles have fixed momentum, thus leading to a global constraint on the energy available for generating final-state radiation.
The result of the field renormalization coincides with the one of cdr and not with the one of fdh. In the latter scheme, the constant ‘\(-4\)’ would be replaced by ‘\(-5\)’; see e.g. Eq. (2.24) of Ref. [28].
References
C.G. Bollini, J.J. Giambiagi, Dimensional renormalization: the number of dimensions as a regularizing parameter. Nuovo Cim. B 12, 20–26 (1972). doi:10.1007/BF02895558
G. ‘t Hooft, M. Veltman, Regularization and renormalization of gauge fields. Nucl. Phys. B 44, 189–213 (1972). doi:10.1016/0550-3213(72)90279-9
K.G. Wilson, Quantum field theory models in less than four-dimensions. Phys. Rev. D 7, 2911–2926 (1973). doi:10.1103/PhysRevD.7.2911
J.C. Collins, Renormalization, an Introduction to Renormalization, the Renormalization Group, and the Operator-Product Expansion (Cambridge University Press, Cambridge, 1984)
D. Stöckinger, Regularization by dimensional reduction: consistency, quantum action principle, and supersymmetry. JHEP 0503, 076 (2005). doi:10.1088/1126-6708/2005/03/076. arXiv:hep-ph/0503129
A. Signer, D. Stöckinger, Using dimensional reduction for hadronic collisions. Nucl. Phys. B 808, 88–120 (2009). doi:10.1016/j.nuclphysb.2008.09.016. arXiv:0807.4424
R. Harlander, P. Kant, L. Mihaila, M. Steinhauser, Dimensional reduction applied to QCD at three loops. JHEP 0609, 053 (2006). doi:10.1088/1126-6708/2006/09/053. arXiv:hep-ph/0607240
D. Capper, D. Jones, P. van Nieuwenhuizen, Regularization by dimensional reduction of supersymmetric and nonsupersymmetric gauge theories. Nucl. Phys. B 167, 479 (1980). doi:10.1016/0550-3213(80)90244-8
I. Jack, D. Jones, K. Roberts, Dimensional reduction in nonsupersymmetric theories. Z. Phys. C 62, 161–166 (1994). doi:10.1007/BF01559535. arXiv:hep-ph/9310301
I. Jack, D. Jones, K. Roberts, Equivalence of dimensional reduction and dimensional regularization. Z. Phys. C 63, 151–160 (1994). doi:10.1007/BF01577555. arXiv:hep-ph/9401349
R. Harlander, D. Jones, P. Kant, L. Mihaila, M. Steinhauser, Four-loop beta function and mass anomalous dimension in dimensional reduction. JHEP 0612, 024 (2006). doi:10.1088/1126-6708/2006/12/024. arXiv:hep-ph/0610206
C. Gnendiger, A. Signer, D. Stöckinger, The infrared structure of QCD amplitudes and \(H \rightarrow gg\) in FDH and DRED. Phys. Lett. B 733, 296–304 (2014). doi:10.1016/j.physletb.2014.05.003. arXiv:1404.2171
W.B. Kilgore, The four dimensional helicity scheme beyond one loop. Phys. Rev. D 86, 014019 (2012). doi:10.1103/PhysRevD.86.014019. arXiv:1205.4015
A. Broggio, C. Gnendiger, A. Signer, D. Stöckinger, A. Visconti, SCET approach to regularization-scheme dependence of QCD amplitudes. JHEP 01, 078 (2016). doi:10.1007/JHEP01(2016)078. arXiv:1506.05301
E.R. Speer, Renormalization and ward identities using complex space–time dimension. J. Math. Phys. 15, 1–6 (1974). doi:10.1063/1.1666485
P. Breitenlohner, D. Maison, Dimensional renormalization and the action principle. Commun. Math. Phys. 52, 11–38 (1977). doi:10.1007/BF01609069
W. Siegel, Inconsistency of supersymmetric dimensional regularization. Phys. Lett. B 94, 37–40 (1980). doi:10.1016/0370-2693(80)90819-9
R. van Damme, G. ’t Hooft, Breakdown of unitarity in the dimensional reduction scheme. Phys. Lett. B 150, 133–138 (1985). doi:10.1016/0370-2693(85)90155-8
A. Signer, D. Stöckinger, Factorization and regularization by dimensional reduction. Phys. Lett. B 626, 127–138 (2005). doi:10.1016/j.physletb.2005.08.112. arXiv:hep-ph/0508203
W. Beenakker, H. Kuijf, W.L. van Neerven, J. Smith, QCD corrections to heavy quark production in p anti-p collisions. Phys. Rev. D 40, 54–82 (1989). doi:10.1103/PhysRevD.40.54
W. Beenakker, R. Hopker, P.M. Zerwas, SUSY QCD decays of squarks and gluinos. Phys. Lett. B 378, 159–166 (1996). doi:10.1016/0370-2693(96)00379-6. arXiv:hep-ph/9602378
J. Smith, W.L. van Neerven, The difference between n-dimensional regularization and n-dimensional reduction in QCD. Eur. Phys. J. C 40, 199–203 (2005). doi:10.1140/epjc/s2005-02144-x. arXiv:hep-ph/0411357
Z. Kunszt, A. Signer, Z. Trocsanyi, One loop helicity amplitudes for all 2 \(\rightarrow \) 2 processes in QCD and N = 1 supersymmetric Yang–Mills theory. Nucl. Phys. B 411, 397–442 (1994). doi:10.1016/0550-3213(94)90456-1. arXiv:hep-ph/9305239
S. Catani, M.H. Seymour, Z. Trocsanyi, Regularization scheme independence and unitarity in QCD cross-sections. Phys. Rev. D 55, 6819–6829 (1997). doi:10.1103/PhysRevD.55.6819. arXiv:hep-ph/9610553
W.B. Kilgore, Regularization schemes and higher order corrections. Phys. Rev. D 83, 114005 (2011). doi:10.1103/PhysRevD.83.114005. arXiv:1102.5353
A. Broggio, Ch. Gnendiger, A. Signer, D. Stöckinger, A. Visconti, Computation of \(H\rightarrow gg\) in FDH and DRED: renormalization, operator mixing, and explicit two-loop results. Eur. Phys. J. C 75(9), 418 (2015). doi:10.1140/epjc/s10052-015-3619-y. arXiv:1503.09103
S. Catani, S. Dittmaier, Z. Trocsanyi, One loop singular behavior of QCD and SUSY QCD amplitudes with massive partons. Phys. Lett. B 500, 149–160 (2001). doi:10.1016/S0370-2693(01)00065-X. arXiv:hep-ph/0011222
C. Gnendiger, A. Signer, A. Visconti, Regularization-scheme dependence of QCD amplitudes in the massive case. JHEP. 10, 034 (2016). doi:10.1007/JHEP10(2016)034. arXiv:1607.08241
M. Czakon, D. Heymes, Four-dimensional formulation of the sector-improved residue subtraction scheme. Nucl. Phys. B 890, 152–227 (2014). doi:10.1016/j.nuclphysb.2014.11.006. arXiv:1408.2500
I. Jack, D.R.T. Jones, Regularization of supersymmetric theories. Adv. Ser. Direct. High Energy Phys. 21, 494 (2010). doi:10.1142/9789814307505_0013. arXiv:hep-ph/9707278
T. Jones, Dimensional reduction (and all that). PoS LL2012, 011 (2012)
R.A. Fazio, P. Mastrolia, E. Mirabella, W.J. Torres Bobadilla, On the four-dimensional formulation of dimensionally regulated amplitudes. Eur. Phys. J. C 74, 3197 (2014). doi:10.1140/epjc/s10052-014-3197-4. arXiv:1404.4783
Z. Bern, A.G. Morgan, Massive loop amplitudes from unitarity. Nucl. Phys. B 467, 479–509 (1996). doi:10.1016/0550-3213(96)00078-8. arXiv:hep-ph/9511336
Y. Katayama, K. Sawada, S. Takagi, Five dimensional approach to regularized quantum electrodynamics. Prog. Theor. Phys. 5, 14–24 (1950). doi:10.1143/PTP.5.14
D. Leiter, G. Szamosi, Pseudoscalar mass and its relationship to conventional scalar mass in the relativistic Dirac theory of the electron. Lettere al Nuovo Cimento 5, 814–816 (1972). doi:10.1007/BF02812315
M. Trzetrzelewski, On the mass term of the Dirac equation. arXiv:1101.3899
U.D. Jentschura, B.J. Wundt, From generalized Dirac equations to a candidate for dark energy. ISRN High Energy Phys. 2013, 374612 (2013). doi:10.1155/2013/374612. arXiv:1205.0521
G. Mahlon, S.J. Parke, Deconstructing angular correlations in Z H, Z Z, and W W production at LEP-2. Phys. Rev. D 58, 054015 (1998). doi:10.1103/PhysRevD.58.054015. arXiv:hep-ph/9803410
W.J. Torres Bobadilla, A.R. Fazio, P. Mastrolia, E. Mirabella, Generalised unitarity for dimensionally regulated amplitudes. Nucl. Part. Phys. Proc. 267–269, 150–157 (2015). doi:10.1016/j.nuclphysbps.2015.10.095. arXiv:1505.05890
W. J. Torres Bobadilla, Generalised unitarity for dimensionally regulated amplitudes within FDF, in Proceedings, 12th International Symposium on Radiative Corrections (Radcor 2015) and LoopFest XIV (Radiative Corrections for the LHC and Future Colliders): Los Angeles, CA, USA, June 15-19, 2015 (2016). arXiv:1601.05742
P. Mastrolia, A. Primo, U. Schubert, W.J. Torres Bobadilla, Off-shell currents and colorkinematics duality. Phys. Lett. B 753, 242–262 (2016). doi:10.1016/j.physletb.2015.11.084. arXiv:1507.07532
A. Primo, W.J. Torres Bobadilla, BCJ identities and \(d\)-dimensional generalized unitarity. JHEP 04, 125 (2016). doi:10.1007/JHEP04(2016)125. arXiv:1602.03161
G. Cullen, H. van Deurzen, N. Greiner, G. Heinrich, G. Luisoni et al., GoSam-2.0: a tool for automated one-loop calculations within the Standard Model and beyond. Eur. Phys. J. C74, 3001 (2014). doi:10.1140/epjc/s10052-014-3001-5. arXiv:1404.7096
P. Nogueira, Automatic Feynman graph generation. J. Comput. Phys. 105, 279–289 (1993). doi:10.1006/jcph.1993.1074
T. Binoth, J.P. Guillet, G. Heinrich, E. Pilon, T. Reiter, Golem95: a Numerical program to calculate one-loop tensor integrals with up to six external legs. Comput. Phys. Commun. 180, 2317–2330 (2009). doi:10.1016/j.cpc.2009.06.024. arXiv:0810.0992
G. Cullen, J.P. Guillet, G. Heinrich, T. Kleinschmidt, E. Pilon, T. Reiter et al., Golem95C: a library for one-loop integrals with complex masses. Comput. Phys. Commun. 182, 2276–2284 (2011). doi:10.1016/j.cpc.2011.05.015. arXiv:1101.5595
P. Mastrolia, E. Mirabella, T. Peraro, Integrand reduction of one-loop scattering amplitudes through Laurent series expansion. JHEP 06, 095 (2012). doi:10.1007/JHEP11(2012)128. doi:10.1007/JHEP06(2012)095. arXiv:1203.0291 [Erratum: JHEP 11, 128 (2012)]
H. van Deurzen, G. Luisoni, P. Mastrolia, E. Mirabella, G. Ossola, T. Peraro, Multi-leg one-loop massive amplitudes from integrand reduction via Laurent expansion. JHEP 03, 115 (2014). doi:10.1007/JHEP03(2014)115. arXiv:1312.6678
T. Peraro, Ninja: automated integrand reduction via Laurent expansion for one-loop amplitudes. Comput. Phys. Commun. 185, 2771–2797 (2014). doi:10.1016/j.cpc.2014.06.017. arXiv:1403.1229
P. Mastrolia, G. Ossola, T. Reiter, F. Tramontano, Scattering amplitudes from unitarity-based reduction algorithm at the integrand-level. JHEP 08, 080 (2010). doi:10.1007/JHEP08(2010)080. arXiv:1006.0710
G. Ossola, C.G. Papadopoulos, R. Pittau, CutTools: a program implementing the OPP reduction method to compute one-loop amplitudes. JHEP 03, 042 (2008). doi:10.1088/1126-6708/2008/03/042. arXiv:0711.3596
S. Frixione, Z. Kunszt, A. Signer, Three jet cross-sections to next-to-leading order. Nucl. Phys. B 467, 399–442 (1996). doi:10.1016/0550-3213(96)00110-1. arXiv:hep-ph/9512328
S. Catani, M. Seymour, A general algorithm for calculating jet cross-sections in NLO QCD. Nucl. Phys. B 485, 291–419 (1997). doi:10.1016/S0550-3213(96)00589-5. arXiv:hep-ph/9605323
M. Chiesa, N. Greiner, F. Tramontano, Automation of electroweak corrections for LHC processes. J. Phys. G43, 013002 (2016). doi:10.1088/0954-3899/43/1/013002. arXiv:1507.08579
Z. Bern, A. De Freitas, L.J. Dixon, H. Wong, Supersymmetric regularization, two loop QCD amplitudes and coupling shifts. Phys. Rev. D 66, 085002 (2002). doi:10.1103/PhysRevD.66.085002. arXiv:hep-ph/0202271
R. Britto, F. Cachazo, B. Feng, Generalized unitarity and one-loop amplitudes in N = 4 super-Yang–Mills. Nucl. Phys. B 725, 275–305 (2005). doi:10.1016/j.nuclphysb.2005.07.014. arXiv:hep-th/0412103
W.T. Giele, Z. Kunszt, K. Melnikov, Full one-loop amplitudes from tree amplitudes. JHEP 04, 049 (2008). doi:10.1088/1126-6708/2008/04/049. arXiv:0801.2237
G. Ossola, C.G. Papadopoulos, R. Pittau, Reducing full one-loop amplitudes to scalar integrals at the integrand level. Nucl. Phys. B 763, 147–169 (2007). doi:10.1016/j.nuclphysb.2006.11.012. arXiv:hep-ph/0609007
D.A. Kosower, K.J. Larsen, Maximal unitarity at two loops. Phys. Rev. D 85, 045017 (2012). doi:10.1103/PhysRevD.85.045017. arXiv:1108.1180
P. Mastrolia, G. Ossola, On the integrand-reduction method for two-loop scattering amplitudes. JHEP 11, 014 (2011). doi:10.1007/JHEP11(2011)014. arXiv:1107.6041
S. Badger, H. Frellesvig, Y. Zhang, Hepta-cuts of two-loop scattering amplitudes. JHEP 04, 055 (2012). doi:10.1007/JHEP04(2012)055. arXiv:1202.2019
Y. Zhang, Integrand-level reduction of loop amplitudes by computational algebraic geometry methods. JHEP 09, 042 (2012). doi:10.1007/JHEP09(2012)042. arXiv:1205.5707
P. Mastrolia, E. Mirabella, G. Ossola, T. Peraro, Scattering amplitudes from multivariate polynomial division. Phys. Lett. B 718, 173–177 (2012). doi:10.1016/j.physletb.2012.09.053. arXiv:1205.7087
S. Badger, H. Frellesvig, Y. Zhang, A two-loop five-gluon helicity amplitude in QCD. JHEP 12, 045 (2013). doi:10.1007/JHEP12(2013)045. arXiv:1310.1051
C. Cheung, D. O’Connell, Amplitudes and spinor-helicity in six dimensions. JHEP 07, 075 (2009). doi:10.1088/1126-6708/2009/07/075. arXiv:0902.0981
S. Badger, G. Mogull, A. Ochirov, D. O’Connell, A complete two-loop, five-gluon helicity amplitude in Yang–Mills theory. JHEP 10, 064 (2015). doi:10.1007/JHEP10(2015)064. arXiv:1507.08797
S. Badger, G. Mogull, T. Peraro, Local integrands for two-loop all-plus Yang–Mills amplitudes. JHEP 08, 063 (2016). doi:10.1007/JHEP08(2016)063. arXiv:1606.02244
T. Peraro, Scattering amplitudes over finite fields and multivariate functional reconstruction. JHEP 12, 030 (2016). doi:10.1007/JHEP12(2016)030. arXiv:1608.01902
M.L. Mangano, S.J. Parke, Z. Xu, Duality and multi-gluon scattering. Nucl. Phys. B 298, 653–672 (1988). doi:10.1016/0550-3213(88)90001-6
F.A. Berends, W.T. Giele, Recursive calculations for processes with n gluons. Nucl. Phys. B 306, 759–808 (1988). doi:10.1016/0550-3213(88)90442-7
Z. Bern, J.J. Carrasco, T. Dennen, Y.-T. Huang, H. Ita, Generalized unitarity and six-dimensional helicity. Phys. Rev. D 83, 085022 (2011). doi:10.1103/PhysRevD.83.085022. arXiv:1010.0494
S. Davies, One-Loop QCD and Higgs to partons processes using six-dimensional helicity and generalized unitarity. Phys. Rev. D 84, 094016 (2011). doi:10.1103/PhysRevD.84.094016. arXiv:1108.0398
O. Battistel, A. Mota, M. Nemes, Consistency conditions for 4-D regularizations. Mod. Phys. Lett. A 13, 1597–1610 (1998). doi:10.1142/S0217732398001686
A. Baêta Scarpelli, M. Sampaio, B. Hiller, M. Nemes, Chiral anomaly and CPT invariance in an implicit momentum space regularization framework. Phys. Rev. D 64, 046013 (2001). doi:10.1103/PhysRevD.64.046013. arXiv:hep-th/0102108
A. Baêta Scarpelli, M. Sampaio, M. Nemes, Consistency relations for an implicit n-dimensional regularization scheme. Phys. Rev. D 63, 046004 (2001). doi:10.1103/PhysRevD.63.046004. arXiv:hep-th/0010285
A. Cherchiglia, M. Sampaio, M. Nemes, Systematic implementation of implicit regularization for multi-loop feynman diagrams. Int. J. Mod. Phys. A 26, 2591–2635 (2011). doi:10.1142/S0217751X11053419. arXiv:1008.1377
L.C. Ferreira, A. Cherchiglia, B. Hiller, M. Sampaio, M. Nemes, Momentum routing invariance in Feynman diagrams and quantum symmetry breakings. Phys. Rev. D 86, 025016 (2012). doi:10.1103/PhysRevD.86.025016. arXiv:1110.6186
M. Sampaio, A. Baêta Scarpelli, B. Hiller, A. Brizola, M. Nemes et al., Comparing implicit, differential, dimensional and BPHZ renormalization. Phys. Rev. D 65, 125023 (2002). doi:10.1103/PhysRevD.65.125023. arXiv:hep-th/0203261
M.D. Sampaio, A. Baêta Scarpelli, J. Ottoni, M. Nemes, Implicit regularization and renormalization of QCD. Int. J. Theor. Phys. 45, 436–457 (2006). doi:10.1007/s10773-006-9045-z. arXiv:hep-th/0509102
C.R. Pontes, A. Baêta Scarpelli, M. Sampaio, J. Acebal, M. Nemes, On the equivalence between implicit regularization and constrained differential renormalization. Eur. Phys. J. C 53, 121–131 (2008). doi:10.1140/epjc/s10052-007-0437-x. arXiv:0706.1210
D.E. Carneiro, A. Baêta Scarpelli, M. Sampaio, M. Nemes, Consistent momentum space regularization / renormalization of supersymmetric quantum field theories: The Three loop beta function for the Wess-Zumino model. JHEP 0312, 044 (2003). doi:10.1088/1126-6708/2003/12/044. arXiv:hep-th/0309188
L.A. Souza, M. Sampaio, M. Nemes, Arbitrary parameters in implicit regularization and democracy within perturbative description of 2-dimensional gravitational anomalies. Phys. Lett. B 632, 717–724 (2006). doi:10.1016/j.physletb.2005.11.006. arXiv:hep-th/0510017
J. Ottoni, A. Baêta Scarpelli, M. Sampaio, M. Nemes, Supergravity corrections to the (g-2)(l) factor by implicit regularization. Phys. Lett. B 642, 253–262 (2006). doi:10.1016/j.physletb.2006.09.025. arXiv:hep-ph/0607052
A. Baêta Scarpelli, M. Sampaio, M. Nemes, B. Hiller, Gauge invariance and the CPT and Lorentz violating induced Chern–Simons-like term in extended QED. Eur. Phys. J. C 56, 571–578 (2008). doi:10.1140/epjc/s10052-008-0677-4. arXiv:0804.3537
E. Dias, A. Baêta Scarpelli, L. Brito, M. Sampaio, M. Nemes, Implicit regularization beyond one loop order: gauge field theories. Eur. Phys. J. C 55, 667–681 (2008). doi:10.1140/epjc/s10052-008-0614-6. arXiv:0801.2703
A. Cherchiglia, L. Cabral, M. Nemes, M. Sampaio, (Un)determined finite regularization dependent quantum corrections: the Higgs boson decay into two photons and the two photon scattering examples. Phys. Rev. D 87, 065011 (2013). doi:10.1103/PhysRevD.87.065011. arXiv:1210.6164
G. Gazzola, A. Cherchiglia, L. Cabral, M. Nemes, M. Sampaio, Conductivity of Coulomb interacting massless Dirac particles in graphene: regularization-dependent parameters and symmetry constraints. Europhys. Lett. 104, 27002 (2013). doi:10.1209/0295-5075/104/27002. arXiv:1305.6334
J. Felipe, A. Vieira, A. Cherchiglia, A. Baêta Scarpelli, M. Sampaio, Arbitrariness in the gravitational Chern–Simons-like term induced radiatively. Phys. Rev. D89, 105034 (2014). doi:10.1103/PhysRevD.89.105034. arXiv:1403.2690
A.L. Cherchiglia, M. Sampaio, B. Hiller, A.P.B. Scarpelli, Subtleties in the beta function calculation of N = 1 supersymmetric gauge theories. Eur. Phys. J. C 76, 47 (2016). doi:10.1140/epjc/s10052-015-3859-x. arXiv:1508.05421
A.R. Vieira, A.L. Cherchiglia, M. Sampaio, Momentum routing invariance in extended QED: assuring gauge invariance beyond tree level. Phys. Rev. D 93, 025029 (2016). doi:10.1103/PhysRevD.93.025029. arXiv:1510.05927
A.C.D. Viglioni, A.L. Cherchiglia, A.R. Vieira, B. Hiller, M. Sampaio, \(\gamma _{5}\) algebra ambiguities in Feynman amplitudes: Momentum routing invariance and anomalies in \(D=4\) and \(D=2\). Phys. Rev. D 94, 065023 (2016). doi:10.1103/PhysRevD.94.065023. arXiv:1606.01772
R. Pittau, QCD corrections to \(H \rightarrow gg\) in FDR. Eur. Phys. J. C 74, 2686 (2014). doi:10.1140/epjc/s10052-013-2686-1. arXiv:1307.0705
L.F. Abbott, M.T. Grisaru, R.K. Schaefer, The background field method and the S matrix. Nucl. Phys. B 229, 372–380 (1983). doi:10.1016/0550-3213(83)90337-1
L.C.T. Brito, H.G. Fargnoli, A.P. Baêta Scarpelli, M. Sampaio, M.C. Nemes, Systematization of basic divergent integrals in perturbation theory and renormalization group functions. Phys. Lett. B 673, 220–226 (2009). doi:10.1016/j.physletb.2009.02.023. arXiv:0812.3846
H.G. Fargnoli, B. Hiller, A.P.B. Scarpelli, M. Sampaio, M.C. Nemes, Regularization independent analysis of the origin of two loop contributions to N = 1 super Yang–Mills beta function. Eur. Phys. J. C 71, 1633 (2011). doi:10.1140/epjc/s10052-011-1633-2. arXiv:1009.2976
R. Pittau, A four-dimensional approach to quantum field theories. JHEP 11, 151 (2012). doi:10.1007/JHEP11(2012)151. arXiv:1208.5457
R. Pittau, On the predictivity of the non-renormalizable quantum field theories. Fortsch. Phys. 63, 132–141 (2015). doi:10.1002/prop.201400079. arXiv:1305.0419
A.M. Donati, R. Pittau, Gauge invariance at work in FDR: \(H \rightarrow \gamma \gamma \). JHEP 04, 167 (2013). doi:10.1007/JHEP04(2013)167. arXiv:1302.5668
A.M. Donati, R. Pittau, FDR, an easier way to NNLO calculations: a two-loop case study. Eur. Phys. J. C 74, 2864 (2014). doi:10.1140/epjc/s10052-014-2864-9. arXiv:1311.3551
R. Pittau, Integration-by-parts identities in FDR. Fortsch. Phys. 63, 601–608 (2015). doi:10.1002/prop.201500040. arXiv:1408.5345
B. Page, R. Pittau, Two-loop off-shell QCD amplitudes in FDR. JHEP 11, 183 (2015). doi:10.1007/JHEP11(2015)183. arXiv:1506.09093
R.E. Cutkosky, Singularities and discontinuities of Feynman amplitudes. J. Math. Phys. 1, 429–433 (1960). doi:10.1063/1.1703676
R.J. Hernandez-Pinto, G.F.R. Sborlini, G. Rodrigo, Towards gauge theories in four dimensions. JHEP 02, 044 (2016). doi:10.1007/JHEP02(2016)044. arXiv:1506.04617
G.F.R. Sborlini, F. Driencourt-Mangin, R. Hernandez-Pinto, G. Rodrigo, Four-dimensional unsubtraction from the loop-tree duality. JHEP 08, 160 (2016). doi:10.1007/JHEP08(2016)160. arXiv:1604.06699
G.F.R. Sborlini, F. Driencourt-Mangin, G. Rodrigo, Four-dimensional unsubtraction with massive particles. JHEP 10, 162 (2016). doi:10.1007/JHEP10(2016)162. arXiv:1608.01584
G. Rodrigo, F. Driencourt-Mangin, G.F.R. Sborlini, R.J. Hernandez-Pinto, Applications of the loop-tree duality. PoS LL2016, 037 (2016). doi:10.1007/JHEP10(2016)162. arXiv:1608.01800
F. Driencourt-Mangin, Computation of NLO processes involving heavy quarks using loop-tree duality, in 9th International Workshop on Diffraction in High Energy Physics (Diffraction 2016) Santa Tecla di Acireale, Catania, Italy, 2–8 September 2016 (2016). arXiv:1611.07352
S. Catani, T. Gleisberg, F. Krauss, G. Rodrigo, J.-C. Winter, From loops to trees by-passing Feynman’s theorem. JHEP 09, 065 (2008). doi:10.1088/1126-6708/2008/09/065. arXiv:0804.3170
G. Rodrigo, S. Catani, T. Gleisberg, F. Krauss, J.-C. Winter, From multileg loops to trees (by-passing Feynman’s tree theorem). Nucl. Phys. Proc. Suppl. 183, 262–267 (2008). doi:10.1016/j.nuclphysbps.2008.09.114. arXiv:0807.0531
I. Bierenbaum, S. Catani, P. Draggiotis, G. Rodrigo, A tree-loop duality relation at two loops and beyond. JHEP 10, 073 (2010). doi:10.1007/JHEP10(2010)073. arXiv:1007.0194
I. Bierenbaum, S. Buchta, P. Draggiotis, I. Malamos, G. Rodrigo, Tree-loop duality relation beyond simple poles. JHEP 03, 025 (2013). doi:10.1007/JHEP03(2013)025. arXiv:1211.5048
R.P. Feynman, Quantum theory of gravitation. Acta Phys. Polon. 24, 697–722 (1963)
R. P. Feynman, in Closed Loop and Tree Diagrams (Talk), Selected Papers of Richard Feynman (1972), pp. 867–887
S. Buchta, G. Chachamis, P. Draggiotis, I. Malamos, G. Rodrigo, On the singular behaviour of scattering amplitudes in quantum field theory. JHEP 11, 014 (2014). doi:10.1007/JHEP11(2014)014. arXiv:1405.7850
S. Buchta, G. Chachamis, P. Draggiotis, I. Malamos, G. Rodrigo, Towards a Numerical Implementation of the Loop-Tree Duality Method. Nucl. Part. Phys. Proc. 258–259, 33–36 (2015). doi:10.1016/j.nuclphysbps.2015.01.008. arXiv:1509.07386
S. Buchta, G. Chachamis, P. Draggiotis, G. Rodrigo, Numerical implementation of the loop-tree duality method. Eur. Phys. J. C 77(5), 274 (2017). doi:10.1140/epjc/s10052-017-4833-6. arXiv:1510.00187
S. Catani, M. Seymour, The dipole formalism for the calculation of QCD jet cross-sections at next-to-leading order. Phys. Lett. B 378, 287–301 (1996). doi:10.1016/0370-2693(96)00425-X. arXiv:hep-ph/9602277
S. Catani, D. de Florian, G. Rodrigo, Space-like (versus time-like) collinear limits in QCD: is factorization violated? JHEP 07, 026 (2012). doi:10.1007/JHEP07(2012)026. arXiv:1112.4405
F. Driencourt-Mangin, G. Rodrigo, G.F.R. Sborlini, Universal dual amplitudes and asymptotic expansions for \(gg\rightarrow H\) and \(H\rightarrow \gamma \gamma \) in four dimensions. arXiv:1702.07581
Acknowledgements
This article is a result of a Workstop/Thinkstart that took place on 13–16 September 2016 at the Physik-Institut of the University of Zürich (UZH). We gratefully acknowledge support of UZH in general and its Physics Department in particular. A special thank you to M. Röllin and C. Genovese for their help in organizing the workshop. We thank S. C. Borowka for carefully reading the manuscript and helpful comments. G. M. Pruna, Y. Ulrich and A. Visconti are supported by the Swiss National Science Foundation (SNF) under contracts 200021_160156 and 200021_163466, respectively. W. J. Torres Bobadilla is supported by Fondazione Cassa di Risparmio di Padova e Rovigo (CARIPARO). A. Cherchiglia is supported by CAPES (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior) - Brazil. B. Hiller acknowledges partial support from the FCT (Portugal) project UID/FIS/04564/2016. M. Sampaio acknowledges financial support from the Brazilian institutions CNPq (Conselho Nacional de Desenvolvimento Cientfico e Tecnológico) and FAPEMIG (Fundação de Amparo à Pesquisa do Estado de Minas Gerais). R. Pittau was supported by the Research Executive Agency (REA) of the European Union under the Grant Agreements PITN-GA2012-316704 (HiggsTools) and ERC-2011-AdG No 291377 (LHCtheory), and by the MECD Proyects FPA2013-47836-C3-1-P and FPA2016-78220-C3-3-P. F. Driencourt-Mangin, G. Rodrigo, G. Sborlini, and W. J. Torres Bobadilla have been supported by CONICET Argentina, by the Spanish Government, by ERDF funds from the European Commission (Grants Nos. FPA2014-53631-C2-1-P and SEV-2014-0398) and by Generalitat Valenciana (Grants Nos. PROMETEOII/2013/007 and GRISOLIA/2015/035). G. Sborlini was supported in part by Fondazione Cariplo under the Grant Number 2015-0761.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Gnendiger, C., Signer, A., Stöckinger, D. et al. To \({d}\), or not to \({d}\): recent developments and comparisons of regularization schemes. Eur. Phys. J. C 77, 471 (2017). https://doi.org/10.1140/epjc/s10052-017-5023-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-017-5023-2