Abstract
Higgs decay using an effective Higgs–Yang-Mills interaction in terms of a dimension five operator as well as usual QCD interactions is revisited in the context of Implicit Regularization (IReg) and compared with conventional dimensional regularization (CDR), four dimensional helicity (FDH) and dimensional reduction (DRED) schemes. The decay rate for \(H \rightarrow gg(g)\) is calculated in this strictly four-dimensional set-up to \(\alpha _s^3\) order in the strong coupling. Moreover we include joint processes that contribute at the same perturbative order in the real emission channels consisting of 3 gluons as well as gluon quark–antiquark final states with light (zero mass) quarks. Unambiguous identification and separation of UV from IR divergences is achieved putting at work the renormalization group scale relation inherent to the method. UV singularities are removed as usual by renormalization, the IR divergences are cancelled due to the method’s compliance with the Kinoshita–Lee–Nauenberg (KLN) theorem. Most importantly, we verify that no evanescent fields such as \(\epsilon \)-scalars need be introduced as required by some mixed regularizations that operate partially in the physical dimension.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Standard Model of Particle Physics (SM) is a good description of the physics at and below the electroweak scale, the discovery of the Higgs boson at the Large Hadron Collider (LHC) being the confirmation of this framework [1, 2]. It is also clear that the SM does not provide a complete description of particle interactions. Phenomena such as dark matter and dark energy, a consistent quantum theory of gravity, the stability of the electroweak vacuum up to the Planck scale and the hierarchy problem, to name a few, motivated the development of models beyond the SM (BSM).
The Future Circular Collider aims at reaching collision energies of around 100 TeV demanding higher precision in theoretical computations for Standard Model phenomena and electroweak pseudo-observables (EWPOs). New calculational methods have been developed through computer algebraic algorithms for analytical and numerical methods. At a given loop order, the complexity is measured by the number of virtual massive particles in the evaluation of Feynman integrals. On the other hand, a theoretical library for perturbation theory calculations of Feynman integrals in closed form beyond one loop does not exist [3]. While numerical integration methods seem to be the main tool to address those problems, analytical techniques play an important role to systematically and unambiguously remove infrared and ultraviolet divergences from physical observables.
Regularization frameworks that operate partially or entirely in the physical dimension can bring some advantages and simplifications in the evaluation of Feynman amplitudes, whereupon extensions such as the dimensional reduction (DRED), the Four Dimensional Helicity scheme (FDH), and the Implicit Regularization (IReg), among others [4] have been constructed:
-
CDR (Conventional Dimensional Regularization): internal and external gluons are all treated as d-dimensional.
-
HV (’t Hooft Veltman scheme): internal gluons are d-dimensional and external ones are strictly 4-dimensional.
-
DRED (Dimensional Reduction): internal and external gluons are all treated as quasi-4-dimensional.
-
FDH (Four-Dimensional Helicity): internal gluons are treated as quasi 4-dimensional and external ones are treated as strictly 4-dimensional.
-
IReg (Implicit Regularization): all fields as well as internal momenta are defined in the physical dimension.
Therefore IReg acts directly on the dimension of the theory and can be systematically implemented to all orders in perturbation theory [5, 6], in consonance with Bogoliubov’s recursion formula. From the point of view of applications, IReg has been used to obtain the two-loop gauge coupling beta function of abelian and non-abelian theories [7, 8], also in the context of supersymmetry [9,10,11]. In all cases, compliance with gauge (and supersymmetry) was established, with an all-order proof for abelian gauge symmetry already developed [12, 13].
CDR relies on the assumption that the quantities of interest depend smoothly on the spacetime dimensionality. Such an assumption leads to well known problems for dimension specific theories, such as supersymmetric and chiral theories, as discussed for example in the review [14], covering issues related to the \(\gamma _5\) matrixFootnote 1. The history of dimensional methods and schemes to handle the chiral anomaly and preserve gauge invariance and renormalizability in the Standard Model is vast and to date in frank development, see [18,19,20] for recent works. Mostly this is effected through the construction of appropriate counterterms (CT) imposed by Ward–Takahashi and Slavnov–Taylor identities order by order in perturbation theory, which can be carried out consistently in the Breitenlohner – Maison scheme [21]. A method that dispenses CT, as it preserves the BRST symmetry at all loop-orders has been advocated in [22, 23]
In mixed regularization schemes that operate partially in the physical dimension such as DRED or FDH, an auxiliary space which has the characteristics of a 4-dimensional space, Q4S, is introduced. Such a quasi-4-dimensional space is decomposed as \(Q4S=QdS\oplus Q n_{\epsilon } S\), where QdS is formally d-dimensional and its complement \(Q n_{\epsilon } S\) has dimension \(n_{\epsilon }=4-d\) [24]. The metric tensor for the original 4-dimensional space 4S is denoted by \(\bar{g}^\mu _\nu \) whereas the metric tensor of the spaces Q4S, QdS and \(Q n_{\epsilon } S\) are respectively written as \(g^\mu _\nu \), \(\hat{g}^\mu _\nu \) and \(\tilde{g}^\mu _\nu \). They satisfy
with
Furthermore, mathematical consistency and d-dimensional gauge invariance require that \(Q4S \supset QDS \supset 4S\) and forbid to identify \(g^{\mu \nu }\) as \(\bar{g} ^{\mu \nu }\) [25].
Due to the decomposition of Q4S, the gauge field is aligned as \(A^a_\mu = \hat{A} ^a _\mu + \epsilon ^a _\mu \), where \(\hat{A}^a_\mu \in QdS\) and \(\epsilon ^a_\mu \in Q n_{\epsilon } S\). The \(\epsilon \)-dimensional field \(\epsilon ^a_\mu \) is a scalar under d-dimensional Lorentz transformations and transforms in the adjoint representation. Due to this decomposition, the Lagrangian is modified to incorporate \(\epsilon \)-scalars, giving rise to extra Feynman diagrams with \(\epsilon \)-scalars, which contribute additional finite terms to divergent loop amplitudes [26].Footnote 2
Ideally a fully mathematical consistent regularization scheme that prevents the emergence of symmetry breaking terms or spurious anomalies and that is valid to arbitrary higher order is necessary. IReg is advantageous in the sense that gauge symmetry breaking terms are linked to momentum routing violation in Feynman diagram loops. Such symmetry breaking terms accompany surface terms whose structure is built to arbitrary loop order, in a regularization independent fashion. Ultraviolet renormalization is constructed by subtracting loop integrals which need not be explicitly evaluated to define renormalization group functions. On the other hand an invariant regularization scheme must comply with infrared finiteness as stated by the Kinoshita–Lee–Nauenberg theorem [28, 29]. The KLN theorem, in a nutshell, states that in gauge theories the infrared divergences coming from loop integrals are canceled by the IR divergences coming from phase space integrals. As a result it is of theoretical interest to test the applicability of IReg in a practical calculation involving IR divergences that only cancel at the level of cross sections or decay rates, verifying the KLN theorem.
The \(H \rightarrow gg\) decay described by an effective model in which the top quark is integrated out, provides a simple and reliable model to test this regularization scheme, as shown in [30]. Such a model has been used in [31] to test the four-dimensional regularization/renormalization (FDR) method, while in [32] it was studied in the context of the four-dimensional-unsubtraction method (FDU).
The main goal of this work is the computation of the total decay rate of this process in IReg to NLO to show that, contrarily to regularization schemes that work partially in the physical dimension, no modification of the Lagrangian such as through the inclusion of \(\epsilon \)-fields is required. This amounts to a significant simplification which we expect to prevail in calculations beyond NLO. We compute the one-loop virtual diagrams that arise from this effective model and apply IReg to extract the UV divergences which are absorbed in the process of renormalization, using the remaining UV finite amplitudes to obtain the regularized virtual decay rate. Then we apply the spinor-helicity formalism to compute the real diagrams of the process and obtain the real decay rate. It is expected that the IR divergences cancel after combining these decay rates, leading to a finite final result.
Our work is organized as follows: in Sect. 2 we briefly review the IReg method, which is applied in Sect. 3 to the decay \(H \longrightarrow gg\) at NLO. Section 4 is devoted to a comparison of our results to dimensional schemes. Finally, we conclude in Sect. 5.
2 The IReg method: UV/IR identification and UV renormalization
IReg is a regularization method that operates on the momentum space and was shown to respect unitarity, locality and Lorentz invariance [6]. This procedure operates on the specific physical dimension of the theory, therefore we do not need to extend the space-time dimensions. IReg also does not require any changes to the Lagrangian and can be applicable to arbitrary n-loop calculations, making it an alternative to dimensional schemes. In this work we will be concerned with one-loop examples only, a recent review of the method applicable to n-loop amplitudes can be found in [33].
The main idea of IReg is to use an algebraic identity at integrand level recursively until the UV divergent behavior is only present in irreducible loop integrals that depend on internal momentum. In this way, the UV finite content of the amplitude (that may still be IR divergent) will contain denominators with dependence on physical parameters (external momenta and masses). To be concrete, we illustrate the method with the following massless toy integral in Minkowsky momentum space, with p denoting an arbitrary external 4-momentum
We startFootnote 3 by introducing an infrared regulator \(\mu \) in the denominator like
In the case of IR safe integrals, the regulator \(\mu \) is needed to avoid spurious IR divergences in the course of the evaluation. It will cancel in the end result. In the case of IR divergent integrals, the \(\mu \) will survive and parameterize the IR divergences.
By power counting, we notice that as \(k \longrightarrow \infty \) this integral diverges, but there is a dependence both on internal and external momenta. We want to isolate the UV divergent content in an integral that is solely dependent on the internal momentum k. We notice that this is possible by rewriting the portion of the integrand that depends on external momentum as
where on the right hand side the second term diminishes the divergence of the integral by one order and the first term leads to an integral that depends only on the internal momentum. The procedure exemplified above works in general, by repetitive usage of Eq. (2.3).
Following the separation of the divergences of the amplitude, the UV divergent content of the amplitude can be expressed by integrals with denominators that depend only on the internal momentum k. These integrals are classified as Basic Divergent Integrals (BDI’s) and they can take either logarithmic or quadratic forms which are respectively
Here \({\nu _1}...\nu _{2r}\) represent Lorentz indices, there are as many momenta in the numerator as the number of integers comprised in the interval 1, ...2r, counted in unit steps for \(r \ge 1\). The case \(r=0\) corresponds to no momenta in the numerator. Any BDI with odd power of k in the numerator is automatically zero once the integral goes over the entire 4-momentum space and all the denominators have even powers of k. The BDI’s are written in terms of Lorenz indices and can be rewritten as scalar integrals, multiplying metric tensors, after setting surface terms (ST) to zero, as we will explain shortly. Scalar logarithmic and quadratic divergent integrals are finally given as
The ultraviolet renormalization using IReg has been shown to comply with Lorentz and gauge symmetry by restraining local and momentum routing dependent ST to zero. IReg can be systematized order by order in the loop expansion in such a way that renormalization constants are given in terms of loop integrals defining a local renormalization scheme, [6, 12, 13]. In the method, symmetry breaking terms can be expressed as a well defined difference between divergent integrals with the same superficial degree of freedom. These are called ST and they are not originally fixed, which indicates that they are related to momentum routing invariance in Feynman diagrams (the possibility to perform a shift in the integration variables). As their value is associated with symmetry breaking terms, they play a critical role in IReg for the preservation of the symmetries of the system and we must carefully choose a value that allows the symmetries of the underlying theory to be preserved. Nonetheless, in a constrained version of IReg, it has been proven that these regularization dependent ST may be set to zero, complying with gauge invariance, [7, 34]. This will actually allow us to reduce the BDI’s with Lorenz indices \(\nu _1...\nu _{2r}\) to linear combinations of scalar integrals with the same degree of divergence (multiplied by metric tensor combinations), plus well defined ST. Generally in the four dimensional Minkowskian space-time a ST of order i can be written as
with \(\textit{j} \ge 2\) and \(\mu \) the infrared regulator introduced earlier. The general formula allows for the computation of ST that appear in any order of perturbation theory. For instance, with the subscript \(\textit{i}=0,1,2\) are designated the ST that involve differences of divergent integrals of logarithmic, linear or quadratic order respectively. As an example, one obtains
Finally, when considering IR-safe integrals, one must still take the limit in which the infrared regulator \(\mu \) is set to zero. In this case, one rewrites the BDI’s in terms of a positive arbitrary constant \(\lambda \) which will play the role of the renormalization group scale. It is achieved by using the equation below
It is worth noticing that a minimal subtraction renormalization scheme emerges naturally from this formalism, in which the infinite divergences that depend only on the internal momentum are subtracted from the theory. This means that the \(I_{log}(\lambda ^2)\) will be subtracted via renormalization whereas the IR divergent part \(\ln (\mu ^2)\) will cancel in the final amplitude for infrared safe processes and in the cross section/decay rate, which are IR-safe observables.
3 NLO corrections to \(H\rightarrow gg\) in the large top mass limit
As discussed in the introduction, we will use the decay \(H\rightarrow gg\) as a working example to test the method of IReg in the presence of both UV/IR divergences using an effective non-abelian field theory approach. Our objective is twofold: (a) the renormalization of an effective field theory is highly non-trivial, in particular, when considering alternatives to CDR [24, 30]. Thus, it is essential to understand how IReg can be applied in this context. (b) The presence of both UV/IR divergences requires a precise match between virtual and real contributions in order that a finite and regularization independent result occurs. Thus, it is a stringent test for any regularization scheme. Finally, the decay \(H\rightarrow gg\) has served as a benchmark for other regularization methods, allowing for a clear comparison among methods [24, 30, 31].
As usual, since the decay we consider is mainly due to the top quark loop, it is reliable to consider the limit in which its mass is infinite. Thus, we add the following term to the massless QCD Lagrangian [35,36,37]
where H represents the Higgs boson field, \(G_{\mu \nu }^a\) is the field strength tensor of the SU(3) gluon field given by
and \(f^{abc}\) are the anti-symmetric SU(3) structure constants. The effective coupling A can be obtained by performing the matching of the full theory to its effective version, so that [38,39,40],
with \({\alpha _s}=\frac{g_s^2}{4\pi }\) denoting the strong coupling and v the electroweak vacuum expectation value, \(v^2=(G_f\sqrt{2})^{-1}\) with \(G_f\) the Fermi constant. The Feynman rules can be straightforwardly obtained, [37]. For the diagrams involving only gluons the Feynman rules are given by the Yang Mills Lagrangian.
Once the model is defined, we present in the next subsections its UV renormalization at one-loop level, as well as the calculation of the virtual and real contributions for the decay \(H\rightarrow gg\).
3.1 UV renormalization
As usual we adopt multiplicative renormalization, rewriting the effective Lagrangian as
where \(Z_{A}\) and \(Z_{\alpha _s}\) are the renormalization constants for the gluon-field and coupling constant respectively. Notice that we do not renormalize the Higgs field, since it can only appear as an external leg in the process we consider. The part of the Lagrangian corresponding to massless QCD is renormalized in the standard way, implying that \(Z_{A}\) and \(Z_{\alpha _s}\) are already known. In the framework of IReg, they are given in [41]. At first order in \(\alpha _{s}\), \(Z_{A}\) and \(Z_{\alpha _s}\) are given by
where \(\zeta \) is the gauge parameter, \(N_F\) is the number of light quarks flavours, \(T_F=\frac{1}{2}\) results from the trace over colour matrices and \(C_A=3\) is a color factor. Notice that, while for \(Z_{\alpha _{s}}\) we have the UV divergence expressed as \(I_{log}(\lambda ^2)\) as usual (minimal subtraction scheme), for \(Z_{A}\) we have \(I_{log}(\mu ^2)\). This happens because we are considering on-shell gluons, \(\mu ^{2}\) playing the role of their fictitious mass.
Finally, by considering the terms just discussed, the counterterm to be added to our process is (we adopt Feynman Gauge, \(\zeta =1\))
where \(V_{0}\) corresponds to the tree-level amplitude for \(H\rightarrow gg\), given below
Notice that \(V_{0}\) has an implicit dependence on color and Lorentz indexes, which we suppress for simplicity. The same argument holds for all amplitudes \(V_{i}\) to be defined in the next section.
3.2 Virtual contributions
We can now compute the one-loop virtual diagrams. There are 5 diagrams that contribute to the one-loop order correction, which are represented in Fig. 1Footnote 4
For all the diagrams we choose the external momenta of the two gluons to be \(p_1\) and \(p_2\), the momentum of the Higgs boson to be q, and the internal momentum of the loop to be k. All the external momenta are inwards, therefore we can write the equation of momentum–energy conservation as \(p_1+p_2+q=0\). We apply the on-shell conditions by imposing \(p_1^2=p_2^2=0\). The results for the integrals evaluated in this section can be found in Appendix A.
We begin with the diagram \(V_1\) whose amplitude is given by
We have already applied the on-shell conditions, \(p_i^2=0\), \(i=1,2\), and we adopted the following convention for the integrals
After using the results collected in Appendix A, the final result reads
where \(\mu _{0}=\mu ^{2}/m_{H}^{2}\).
For the diagram \(V_2\) we obtain
and the regularized amplitude is
For the diagram \(V_3\) we obtain
and are evaluated in IReg as
The diagram \(V_4\) can be obtained from the result of \(V_3\) by substituting \(p_{1}\leftrightarrow p_{2}\), \(\mu \leftrightarrow \nu \)
Finally, the regularized amplitude of diagram \(V_5\) is given by
Once all amplitudes are regularized, we obtain an UV divergent part given by
in terms of the tree level amplitude, Eq. (3.8). We emphasize that only terms up to \(\mathcal {O}(\alpha _s^{2})\) are retained, implying that only the first term of Eq. (3.3) is to be considered in the definition of \(V_{0}\) above. It is worth noticing that quadratic divergent integrals cancel in the sum, being an illustration of consistency of the method. Finally, the UV finite part yields (as can be easily checked, only the diagrams \(V_1\) and \(V_2\) contribute)
where we used \(\ln (-\mu _0)^2 = \ln (\mu _0)^2 + 2 i \pi \ln (\mu _0) - \pi ^2\).
At this point we can check if our result is UV finite after adding the countertem obtained in the last subsection (Eq. 3.7)
Using the scaling relation, Eq. 2.8, we obtain
rendering an UV finite result as expected.
Finally, the virtual decay rate can be obtained by considering the sum of the tree-level amplitude with the one-loop radiative correction
In the above equation, the tree level amplitude encompasses also the correction due to the matching of the effective theory to the full SM as given by Eq. 3.3. By squaring this result one obtains, up to the order \(\alpha _{s}^{3}\)
and the virtual decay rate is given by
where we are choosing the renormalization scale at the Higgs mass (\(\lambda ^{2}=m_{H}^{2}\)) since \(\mu _{0}=\mu ^{2}/m_{H}^{2}\).
3.3 Real decay rate
The diagrams that will contribute to the real decay are represented in Fig. 2 up to \(\alpha _s \sqrt{\alpha _s}\) order
We consider first the diagrams with only gluons as external legs, which are the more involved to be obtained. In order to simplify the calculations we adopt the spinor helicity formalism in this case. For the diagram with external (light) quarks, we use the standard procedure. We begin with the s-channel diagram \(R_1\), whose amplitude is given by
where the expanded tensors are given by
and
Contracting the indices and using the Lorenz condition \(\epsilon ^\mu p_\mu =0\), one obtains
Now we proceed using the spinor helicity formalism. Firstly, we define three auxiliary momenta \(r_i\), \(i=1,2,3\), one for each of the massless gluons
With this choice, the terms \(p_2 \cdot \epsilon _3=p_1 \cdot \epsilon _2=p_3 \cdot \epsilon _1=0\) are automatically zero, which allows for a great deal of simplification of the amplitude,
The t channel is obtained by making the replacements \(1 \longleftrightarrow 3\), \(2 \longleftrightarrow 1\) and \(3 \longleftrightarrow 2\) while the u channel is obtained by making \(1 \longleftrightarrow 2\), \(2 \longleftrightarrow 3\) and \(3 \longleftrightarrow 1\).
The amplitude for \(R_2\) can be obtained in a similar fashion. The end result is
Summing the s, t and u channels from \(R_1\) with the one vertex diagram from \(R_2\) we have
To obtain the unpolarized absolute squared value of the amplitude we need to sum over all possible colors and helicities,
and use the spinor helicity formalism to perform the spin sums (see e.g. [37]). A massless real valued four momentum vector \(p^\mu \) in the representation
where \(\sigma _\mu = \big ( \mathbb {I}, \vec {\sigma } \big )\) and \(\bar{\sigma }^\mu = \big ( \mathbb {I},- \vec {\sigma } \big )\) allows a bispinor decomposition,
with the properties
for an arbitrary \(\phi \) phase and
The relation between these objects and the usual Mandelstam variables which we use to compute the amplitudes is
The polarization vectors are given in this notation by
from which follow the inner products
with p, q being the physical momenta and \(r_1\) and \(r_2\) the reference momenta.
Using our previous choice of reference momenta, we have, for the \({+ - -}\) helicity configuration
and, for the \({+ + +}\) helicity case, one obtains
Squaring the amplitudes, one gets
where we used the momentum–energy conservation condition \(m_H^2 = s_{12} + s_{13} + s_{23}\).
The remaining helicity configurations can be obtained by permutation of the momenta. The structure constants can be written as \(f^2 = f_{abc} f^{abc} = 2 C_A^2 C_F\) with \(C_F = \dfrac{N^2 - 1}{2N}\) and \(C_A = N\) with \(N=3\) for the SU(3) group. Finally, we obtain the unpolarized amplitude considering gluons only, \(M_g\),
that can be written as
For the case of light quarks in the external legs, diagram \(R_3\), the calculation is easier. Its amplitude \(M_q\) is given by
By considering the unpolarized amplitude, one must sum over the color and spin degrees of freedom of the external particles. In this case, it is essential to recall that, in IReg, the IR divergences are parametrized as fictional masses for otherwise massless particles. Thus, when using the completeness relation for the sum over the spins of the massive light quarks in the limit of vanishing quark masses, one must retain the massive contribution until the integration over the phase space is effected, before taking the limit. By doing so, one obtains
where \(\text {Tr}(t^b t_b) = \text {Tr} \Big ( C_F \mathbb {I} \Big ) = C_F C_A\).
The total unpolarized amplitude of the decay is finally given by
Our next task is to perform the phase space integral considering the external particles (gluons and light quarks) with mass \(\mu \). As customary, one defines dimensionless variables which, in our case, are given by
where \(\mu _0 = \dfrac{\mu ^2}{q^2}\) and \(q^{2}=m_{H}^{2}\) (we are using the frame of reference in which the Higgs boson is at rest). In terms of these variables the decay rate is given by
where an overall factor \(\dfrac{C_A C_F}{4}\) was set to 1. The integration is over a massive phase space and we already used the energy momentum conservation condition \(\chi _1+\chi _2+\chi _3=1\). The integrals are evaluated in Appendix B using results collected in [4, 31]. Notice that we have already extracted the tree-level decay rate, which is given by
The final result is
By combining Eqs. 3.26 and 3.56, we get the final decay rate for the process
which, after specializing to QCD, complies with the well-known result of the literature [40].
As a final comment, in IReg it is easy to obtain the decay rate at any other desired renormalization point. This is achieved by leaving the renormalization scale \(\lambda ^2\) as a free parameter until the very end. In our case, one rewrites \(\log \Big (\dfrac{\lambda ^2}{\mu ^2} \Big ) = \log \Big (\dfrac{\lambda ^2}{m_H^2} \Big ) - \log (\mu _0)\) in 3.25, which produces the result below,
4 Comparison with dimensional schemes
In this section we intend to compare our results with the ones obtained in the context of dimensional schemes, in a similar way to the discussions presented in [4, 32]. For the results in dimensional schemes, we will mainly use the analysis performed in [24, 30]. In these references, the form factors for the decay were computed up to two-loop order. As discussed there, although one needs to consider a broader set of operators in the effective Lagrangian at two-loop order in all schemes, this issue is relevant for DRED already at one-loop. This is due to the presence of additional, fictitious particles, denoted \(\epsilon \)-scalars. For our particular example, when using DRED, the one-loop contribution due to light quarks can only be consistently obtained when additional operators are taken into account. As we have shown in the previous section, in the case of IReg the inclusion of \(\epsilon \)-scalars (or additional operators) is not necessary.
Following [24, 30], the form factors in all dimensional schemes already UV renormalized can be obtained. In CDR the form factor related to the process \(H\rightarrow gg\) is given byFootnote 5
In the case of FDH, one needs also to consider the \(\epsilon \)-scalars when performing the UV renormalization, which amounts to
Finally, in DRED one must consider both processes \(H\rightarrow gg\) and \(H\rightarrow {\tilde{g}}{\tilde{g}}\) where \({\tilde{g}}\) stands for the \(\epsilon \)-scalars. In this case, one needs the form factor of FDH and also the form factor with \(\epsilon \)-scalars
One should notice that we are already setting the couplings related to \(\epsilon \)-scalars equal to their corresponding values in usual QCD. This is justified because the UV renormalization was already carried out. In all cases, the form factors are normalized to their tree-level values. Recovering them, the virtual contribution to the decay rate can be readily obtained for each scheme after setting \(n_\epsilon =2\epsilon \)
We notice that the first term in the square brackets of each equation corresponds to the correction due to the matching of the effective theory to the full SM as given by Eq. 3.3. We can compare these results to Eq. 3.26, and see that the correspondence \(\epsilon ^{-1}\rightarrow \log {\mu _{0}}\), \(\epsilon ^{-2}\rightarrow \log ^{2}{\mu _{0}}/2\) is fulfilled as first noticed in [4]. Moreover, the result in CDR does not have any finite term (apart from factors of \(\pi ^2\) that will be cancelled against the real contribution). The same statement holds true for IReg. For FDH and DRED, on the other hand, there is the appearance of finite terms proportional to \(C_{A}\) and \(N_{F}\) respectively.
Regarding the real contributions, to the best of our knowledge, the results are not available in the literature for all of the schemes. Nevertheless, the part proportional to \(N_{F}\) can be readily obtained. For CDR, there is only one diagram (the diagram on the right of Fig. 2) which produces the following unpolarized amplitude
For FDH, we have the same diagram of CDR and obtain the same result. This happens because the diagram is not one particle irreducible, implying that the internal gluon is regular in the notation of [4]. Therefore, although the external gluon is split into a d-dimensional gluon and a \(\epsilon \)-scalar, there is no way to produce a diagram with only \(\epsilon \)-scalars. In the case of DRED this happens, since all vector bosons must be split. The unpolarized amplitude in DRED is given by
It should be noticed that by setting \(n_\epsilon =2\epsilon \) one obtains the result of a strictly four-dimensional calculation. One can also compare these results with Eq. 3.51 obtained within IReg which we reproduce below
As can be seen, the result in IReg is similar to CDR/FDH in the sense that there is an extra term. In the case of CDR/FDH it comes from extending the physical dimension to d, while in IReg it is encoded in the fictitious mass that we have added for the massless particles. Once the unpolarized amplitude is known in all schemes, one can obtain the part proportional to \(N_{F}\) of the real contribution to the decay rate
Once again, the result in IReg can be mapped to the one of CDR/FDH after the identification \(\epsilon ^{-1}\rightarrow \log {\mu _{0}}\).
5 Conclusion
In conclusion, the decay rate \( \Gamma ((H \longrightarrow gg(g), gq \bar{q}))\) at \(\alpha _s^3\) order in the strong coupling and large top quark mass limit has been computed using an effective interaction Lagrangian of Higgs to gluons added to the QCD Lagrangian in the framework of the fully quadri-dimensional regularization scheme IReg and compared to dimensional schemes CDR, FDH and DRED. The purpose was twofold. Firstly to achieve not only a full separation of BDI from the UV finite integrals (which IReg accomplishes to arbitrary loop order) but to single out the IR content as well. Secondly to verify whether the additional degrees of freedom associated to epsilon scalars in some of the dimensional schemes have a counterpart in the non-dimensional scheme IReg.
The present calculation provided a proof of concept example involving a non-abelian effective theory Lagrangian with sufficient complexity to allow to infer that crucial steps of the procedure are in compliance with fundamental requirements such as gauge invariance and the removal of IR singularities fulfilling the KLN theorem. In particular the use of a mass regulator in the propagators is adequately implemented in IReg, as well as the renormalization schemes adopted for an effective theory. The latter point in particular is non-trivial, as it involves the use of the method’s renormalization scale relations impacting on the overall cancellation of IR singularities. In addition, by comparing with different dimensional schemes, one concludes that IReg does not require the use of evanescent fields at one loop level.
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: Data sharing not applicable to this article as no datasets were generated or analysed during the current study.].
Notes
Interestingly in [27], \(\epsilon \)-scalars are integrated out in the language of effective field theories. In the limit \(\epsilon \rightarrow 0\) this effectively results in a change of the regularization scheme from DRED to CDR.
If Dirac matrices and/or Lorentz structures are present, one must perform their algebra before introducing the \(\mu \) regulator. This is necessary to define a normal form that complies with gauge invariance, see [33] for a pedagogical discussion.
The diagrams were depicted using FeynArts [42].
For all form factors, the prefactor \(\left( -\frac{\mu ^{2}}{m_{H}^{2}}\right) ^{\epsilon }e^{-\epsilon \gamma _{E}}(4\pi )^{\epsilon }\) is implicitly understood, where \(\mu ^{2}\) denotes the renormalization scale in dimensional regularization methods.
References
G. Aad et al., Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC. Phys. Lett. B 716, 1–29 (2012)
S. Chatrchyan et al., Observation of a new Boson at a mass of 125 GeV with the CMS experiment at the LHC. Phys. Lett. B 716, 30–61 (2012)
S. Heinemeyer, S. Jadach, J. Reuter, Theory requirements for SM Higgs and EW precision physics at the FCC-ee (2021). arXiv e-prints, arXiv:2106.11802
C. Gnendiger, A. Signer, D. Stöckinger, A. Broggio, A.L. Cherchiglia, F. Driencourt-Mangin, A.R. Fazio, B. Hiller, P. Mastrolia, T. Peraro, R. Pittau, G.M. Pruna, G. Rodrigo, M. Sampaio, G. Sborlini, W.J. Torres Bobadilla, F. Tramontano, Y. Ulrich, A. Visconti. To d, or not to d: recent developments and comparisons of regularization schemes. Eur. Phys. J. C 77(7), 471 (2017)
E.W. Dias, A.P.B. Scarpelli, L.C.T. Brito, M. Sampaio, M.C. Nemes, Implicit regularization beyond one-loop order: gauge field theories. Eur. Phys. J. C 55(4), 667–681 (2008)
A.L. Cherchiglia, M. Sampaio, M.C. Nemes, Systematic implementation of implicit regularization for multiloop Feynman diagrams. Int. J. Mod. Phys. A 26(15), 2591–2635 (2011)
A. Cherchiglia, D.C. Arias-Perdomo, A.R. Vieira, M. Sampaio, B. Hiller, Two-loop renormalisation of gauge theories in 4D implicit regularisation and connections to dimensional methods. Eur. Phys. J. C 81(5), 468 (2021)
A. Cherchiglia, Two-loop gauge coupling \(\beta \)-function in a four-dimensional framework: the Standard Model case. SciPost Phys. Proc. 7, 043 (2022)
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(2), 47 (2016)
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)
D.E. Carneiro, A.P.B. Scarpelli, M. Sampaio, M.C. Nemes, Consistent momentum space regularization/renormalization of supersymmetric quantum field theories: The Three loop beta function for the Wess-Zumino model. JHEP 12, 044 (2003)
L.C. Ferreira, A.L. Cherchiglia, B. Hiller, M. Sampaio, M.C. Nemes, Momentum routing invariance in Feynman diagrams and quantum symmetry breakings. Phys. Rev. D 86(2), 025016 (2012)
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(6), 065023 (2016)
F. Jegerlehner, Facts of life with gamma(5). Eur. Phys. J. C 18, 673–679 (2001)
J.S. Porto, A.R. Vieira, A.L. Cherchiglia, M. Sampaio, B. Hiller, On the Bose symmetry and the left- and right-chiral anomalies. Eur. Phys. J. C 78(2), 160 (2018)
A.M. Bruque, A.L. Cherchiglia, M. Pérez-Victoria, Dimensional regularization vs methods in fixed dimension with and without \(\gamma _5\). JHEP 08, 109 (2018)
A. Cherchiglia, A step towards a consistent treatment of chiral theories at higher loop order: the abelian case (2021). arXiv e-prints, arXiv:2106.14039
C. Gnendiger, A. Signer, \(\gamma _{5}\) in the four-dimensional helicity scheme. Phys. Rev. D 97(9), 096006 (2018)
H. Bélusca-Maïto, A. Ilakovac, M. Mador-Božinović, D. Stöckinger, Dimensional regularization and Breitenlohner–Maison/’t Hooft–Veltman scheme for \(\gamma _5\) applied to chiral YM theories: full one-loop counterterm and RGE structure. JHEP 08(08), 024 (2020)
H. Bélusca-Maïto, A. Ilakovac, P. Kühler, M. Mador-Božinović, D. Stöckinger, Two-loop application of the Breitenlohner–Maison/’t Hooft–Veltman scheme with non-anticommuting \(\gamma \)\(_{5}\): full renormalization and symmetry-restoring counterterms in an abelian chiral gauge theory. JHEP 11, 159 (2021)
P. Breitenlohner, D. Maison, Dimensionally renormalized Green’s functions for theories with massless particles I. Commun. Math. Phys. 52(1), 39–54 (1977)
D. Kreimer, The \(\gamma _5\)-problem and anomalies: a clifford algebra approach. Phys. Lett. B 237(1), 59–62 (1990)
D. Kreimer, The role of gamma(5) in dimensional regularization (1993). arXiv e-print: arXiv:hep-ph/9401354
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)
W. Hollik, D. Stöckinger, MSSM Higgs-boson mass predictions and two-loop non-supersymmetric counterterms. Phys. Lett. B 634(1), 63–68 (2006)
S. Borowka, T. Hahn, S. Heinemeyer, G. Heinrich, W. Hollik, Renormalization scheme dependence of the two-loop QCD corrections to the neutral Higgs-boson masses in the MSSM. Eur. Phys. J. C 75, 424 (2015)
B. Summ, A. Voigt, Extending the universal one-loop effective action by regularization scheme translating operators. J. High Energy Phys. 2018(8), 26 (2018)
T.D. Lee, M. Nauenberg, Degenerate systems and mass singularities. Phys. Rev. 133, B1549–B1562 (1964)
T. Kinoshita, Mass singularities of Feynman amplitudes. J. Math. Phys. 3(4), 1 (1962)
A. Broggio, C. Gnendiger, A. Signer, D. Stöckinger, A. Visconti, Computation of \(H\rightarrow gg\) in \( {DRED}\) and \({FDH}\): renormalization, operator mixing, and explicit two-loop results. Eur. Phys. J. C 75, 1–13 (2015)
R. Pittau, QCD corrections to in FDR. Eur. Phys. J. C 74, 2686 (2014)
W.J. Torres Bobadilla, G.F.R. Sborlini, P. Banerjee, S. Catani, A.L. Cherchiglia, L. Cieri, P.K. Dhani, F. Driencourt-Mangin, T. Engel, G. Ferrera, C. Gnendiger, R.J. Hernández-Pinto, B. Hiller, G. Pelliccioli, J. Pires, R. Pittau, M. Rocco, G. Rodrigo, M. Sampaio, A. Signer, C. Signorile-Signorile, D. Stöckinger, F. Tramontano, Y. Ulrich. May the four be with you: novel IR-subtraction methods to tackle NNLO calculations. Eur. Phys. J. C 81(3), 250 (2021)
D.C.A. Perdomo, A. Cherchiglia, B. Hiller, M. Sampaio, A brief review of implicit regularization and its connection with the BPHZ theorem. Symmetry 13(6), 956 (2021)
Y.R. Batista, B. Hiller, A. Cherchiglia, M. Sampaio, Supercurrent anomaly and Gauge invariance in the \(N=1\) supersymmetric Yang-Mills theory. Phys. Rev. D 98(2), 025018 (2018)
A. Djouadi, M. Spira, P.M. Zerwas, Production of Higgs bosons in proton colliders: QCD corrections. Phys. Lett. B 264, 440–446 (1991)
C.R. Schmidt, H \(\longrightarrow ggg(gq \bar{q}\)) at two loops in the large \(M_t\) limit. Phys. Lett. B 413, 391–395 (1997)
R.P. Kauffman, S.V. Desai, D. Risal, Production of a Higgs boson plus two jets in hadronic collisions. Phys. Rev. D 55(7), 4005–4015 (1997)
T. Inami, T. Kubota, Y. Okada, Effective gauge theory and the effect of heavy quarks in Higgs boson decays. Z. Phys. C 18, 69–80 (1983)
S. Dawson, Radiative corrections to Higgs boson production. Nucl. Phys. B 359(2), 283–300 (1991)
M. Spira, A. Djouadi, D. Graudenz, R.M. Zerwas, Higgs boson production at the LHC. Nucl. Phys. B 453(1), 17–82 (1995)
M. Sampaio, A.P.B. Scarpelli, J.E. Ottoni, M.C. Nemes, Implicit regularization and renormalization of QCD. Int. J. Theor. Phys. 45(2), 436–457 (2006)
T. Hahn, Generating Feynman diagrams and amplitudes with FeynArts 3. Comput. Phys. Commun. 140(3), 418–431 (2001)
H.H. Patel, Package-X: a mathematical package for the analytic calculation of one-loop integrals. Comput. Phys. Commun. 197, 276–290 (2015)
Acknowledgements
We gratefully acknowledge enlightening discussions with Christoph Gnendiger. We acknowledge support from Fundação para a Ciência e Tecnologia (FCT) through the projects CERN /FIS-PAR /0040 /2019, CERN /FIS-COM /0035 /2019 and UID /FIS /04564 /2020 and National Council for Scientific and Technological Development-CNPq through projects 166523/2020-8 and 302790 /2020-9.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Integrals used in the evaluation of the virtual contribution to \(H\rightarrow gg\)
In this appendix we collect the integrals needed for the evaluation of the virtual contribution to the process \(H\rightarrow gg\). We organize them in terms of the diagrams presented in Fig. 1. The UV finite part of the integrals were evaluated using Package-X [43].
We define \(b=\dfrac{i}{(4 \pi )^2}\) and apply the on-shell limit for each integral. We also omit all non-contributing integrals where we already applied the limit \(\mu _0 = \mu ^2/m_H^2 \rightarrow 0\).
1.1 A.1 Integrals of diagram \(V_1\)
The integrals are defined in Eqs. (3.10)–(3.12) and their results read
1.2 A.2 Integrals of diagram \(V_2\)
1.3 A.3 Integrals of diagrams \(V_3\) and \(V_4\)
Appendix B: Integrals used in the evaluation of the real contribution to \(H\rightarrow gg\)
The phase space integral is found to be
where the boundaries for \(\chi _2^\pm \) are given by
and the boundaries for \(\chi _1^\pm \) are
Finally, the integrals were evaluated using the following equations, [4, 31]
and
with \(p\ge 0\). Using our limit of integrations, the integrals are evaluated to be
and
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Pereira, A., Cherchiglia, A., Sampaio, M. et al. Higgs boson decay into gluons in a 4D regularization: IR cancellation without evanescent fields to NLO. Eur. Phys. J. C 83, 73 (2023). https://doi.org/10.1140/epjc/s10052-023-11173-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11173-y