2Graduate School of China Academy of Engineering Physics, No. 10 Xibeiwang East Road, Haidian District, Beijing, 100193,
3School of Physical Sciences,
First author contact:
Received:2020-02-15Revised:2020-03-9Accepted:2020-03-9Online:2020-05-19
Abstract
Keywords:
PDF (715KB)MetadataMetricsRelated articlesExportEndNote|Ris|BibtexFavorite
Cite this article
Qingjun Jin, Gang Yang. Hidden analytic relations for two-loop Higgs amplitudes in QCD. Communications in Theoretical Physics, 2020, 72(6): 065201- doi:10.1088/1572-9494/ab7ed8
1. Introduction
Analytic studies have been crucial for uncovering new hidden structures of scattering amplitudes. A famous example is the Parke–Taylor formula for tree-level maximally helicity violating (MHV) gluon amplitudes [1], which is remarkably simple and hard to understand from the traditional Feynman diagram viewpoint. Another striking example is the six-point two-loop MHV amplitude in the planar ${ \mathcal N }=4$ supersymmetric Yang–Mills theory (SYM), for which the original seventeen-page result [2] in terms of multiple polylogarithms turned out to be equivalent to a few lines of classical polylogarithms [3].While significant progress has been made in the study of loop amplitudes in supersymmetric theories such as ${ \mathcal N }=4$ SYM, it should be fair to say that the analytic structures of amplitudes in realistic theories such as QCD are still largely unexplored beyond one loop. This is partially because the two-loop computation is itself very challenging in QCD and so far not many analytic results have been obtained. (See e.g. [4–9] for recent progress on gluon amplitudes.) In this paper, we will study the two-loop Higgs amplitudes in the Higgs effective theory [10–16] with full QCD corrections. These observables not only have a wide range of phenomenological applications, such as for the Higgs production at the Large Hadron Collider, see e.g. [17–27], but are also important from a purely theoretical point of view, in particular, for uncovering hidden analytic structures of QCD amplitudes. As a central result of this paper, we will show that the so-called maximal transcendentality principle applies to both the Higgs plus 2-quark and 1-gluon amplitudes ($H\to q\bar{q}g$) and Higgs plus three-gluon amplitudes ($H\to 3g$).
The maximal transcendentality principle was conjectured first in [28, 29] and states that, for certain quantities such as the anomalous dimensions, the QCD results [30] with the highest transcendentality degree coincide with the ${ \mathcal N }=4$ SYM results. Here, transcendentality degree characterizes the algebraic complexity of transcendental numbers or functions. For example, π and $\mathrm{log}(x)$ have degree 1, the Riemann zeta value ζn and polylogrithm function Lin have degree n, and the transcendentality degree of algebraic numbers or rational functions is zero. In [31], a further surprising observation was made: the two-loop BPS form factor in ${ \mathcal N }=4$ SYM coincides with the maximally transcendental part of the $H\to 3g$ amplitudes with the dimension-5 operator Htr(F2) [32]. This implies that the maximal transcendentality principle does not only apply to pure numbers (such as anomalous dimensions) but also to kinematics-dependent functions (such as amplitudes). More recently, the same correspondence has also found for the $H\to 3g$ amplitudes with higher dimension-7 operators and the corresponding form factors in ${ \mathcal N }=4$ SYM [33–36]. See other examples for Wilson lines [37, 38] and an application for the collinear anomalous dimension [39].
So far the correspondence for Higgs amplitudes and form factors has been known for the cases with pure external gluon states. On the other hand, in full QCD, there are fundamental particles (i.e. quarks). It is therefore very interesting to ask whether the maximal transcendentality principle applies to the Higgs amplitudes with external quarks as well. This is a priori not obvious at all, since the quarks and gluons have very different color structures. The surprising new observation of this paper is that the correspondence can be indeed extended to the $H\to q\bar{q}g$ amplitudes. Concretely, by converting the representation of quarks from fundamental to adjoint, the maximally transcendental parts of the $H\to q\bar{q}g$ amplitudes become precisely the same as the corresponding $H\to 3g$ results. Such a generalized maximal transcendentality principle can be summarized as:
We have checked this correspondence by computing several new results, including Higgs amplitudes with higher dimension operators in effective theory, as well as form factors with more general operators such as $\bar{\psi }\psi $. We also compute form factors involving fundamental scalar particles in the scalar-YM theory. They all satisfy the above correspondence, suggesting the relation is quite universal.
As another interesting observation, we find that for the large Nc limit of $H\to q\bar{q}g$ amplitudes with length-3 operators, the maximally transcendental part coincides with the minimal form factor density of higher length operators in ${ \mathcal N }=4$ SYM [40–43], up to simple ζ3, ζ4 terms. (The length of operator will be defined in the next section.) This suggests that the maximal transcendentality principle applies also to general minimal form factors with higher length operators in QCD.
In the next section, we will discuss the operators in the Higgs effective theory and briefly explain the computation of their form factors. In the further three sections, we explain in detail the maximal transcendentality principle, for both length-2 and length-3 cases, respectively. Finally, we give a summary and discussion. The main results of this paper are summarized in table 1.
Table 1.
Table 1.The universal maximally transcendental properties for Higgs amplitudes or form factors of length-2 and 3 operators with three partons, and minimal form factors with higher length operators are summarized. The color-singlet operators are classified according to their lengths and representative examples are provided. We also indicate the external on-shell partons.
Length-2 | Length-3 | Higher length | |||||
---|---|---|---|---|---|---|---|
Operators | |||||||
Examples | $\mathrm{tr}({F}^{2})$ | $\bar{\psi }\psi $ | $\bar{\phi }\phi $ | $\begin{array}{c}\mathrm{tr}({F}^{3}),\\ \mathrm{tr}({F}_{\mu }^{\,\nu }{D}_{\sigma }{F}_{\nu }^{\,\rho }{D}^{\sigma }{F}_{\rho }^{\,\mu })\end{array}$ | $\begin{array}{c}{F}_{\mu \nu }{D}^{\mu }(\bar{\psi }{\gamma }^{\nu }\psi ),\\ {F}_{\mu \nu }(\bar{\psi }{\gamma }^{\mu \nu }\psi )\end{array}$ | $\mathrm{tr}({F}^{L}),L\geqslant 4$ | $\bar{\psi }({F}^{L})\psi ,L\geqslant 2$ |
External Partons | $(g,g,g),(\bar{\psi },\psi ,g)$ | $(\bar{\psi },\psi ,g)$ | $(\bar{\phi },\phi ,g)$ | $(g,g,g)$ | $(\bar{\psi },g,\psi )$ | $({g}_{1},\ldots ,{g}_{L})$ | $(\bar{\psi },{g}_{1},\ldots ,{g}_{L},\psi )$ |
$\begin{array}{c}{\rm{Max.}}\,{\rm{Trans.}}\\ {\rm{Remainder}}\\ ({\rm{with}}\ {C}_{F}\to {C}_{A})\end{array}$ | ${R}_{{\rm{L}}2;4}(u,v,w)$ | ${R}_{\mathrm{len}-3;4}(u,v,w)$ | ${\sum }_{i}{{ \mathcal R }}_{{\rm{density}};4}^{(2)}({u}_{i},{v}_{i},{w}_{i})$ |
New window|CSV
2. Setup and computation
The dominant Higgs production at the LHC is the gluon fusion through a top quark loop. The corresponding Higgs amplitudes can be computed using Higgs effective Lagrangian, where the top quark loop is integrated out [10–16]To classify the operators, we introduce the length of a given operator ${ \mathcal O }$ as $L({ \mathcal O })$, and it can be defined together with the minimal form factor ${{ \mathcal F }}_{{ \mathcal O },L({ \mathcal O })}$, such that at tree-level, ${{ \mathcal F }}_{{ \mathcal O },L({ \mathcal O })}^{(0)}\ne 0$ while ${{ \mathcal F }}_{{ \mathcal O },n}^{(0)}=0$ when $n\lt L({ \mathcal O })$. For instance, the minimal form factor of ${{ \mathcal O }}_{0}$ has two external gluons, so the length of ${{ \mathcal O }}_{0}$ is two. Similarly, ${{ \mathcal O }}_{1}$ has a length of three. The lengths of ${{ \mathcal O }}_{4}$ and ${{ \mathcal O }}_{3}$ are more subtle and require some explanation. Using the equation of motion ${D}^{\mu }{F}_{\mu \nu }\sim {\sum }_{i=1}^{{n}_{f}}({\bar{\psi }}_{i}{\gamma }^{\nu }{T}^{a}{\psi }_{i})$ (where nf is the flavor number), the operator ${{ \mathcal O }}_{4}$ and ${{ \mathcal O }}_{4}^{\prime} ={F}_{\mu \nu }^{a}{D}^{\mu }{\sum }_{i=1}^{{n}_{f}}({\bar{\psi }}_{i}{\gamma }^{\nu }{T}^{a}{\psi }_{i})$ are actually equivalent by equation of motion. This means that the minimal form factor of ${{ \mathcal O }}_{4}$ requires two external quarks and one gluon, thus the length of ${{ \mathcal O }}_{4}$ is three. A similar argument shows that the length of ${{ \mathcal O }}_{3}$ is four.
We can further classify operators according to their color structures, for which we introduce a diagrammatic notation: the blob
Our study will focus on the form factors with three on-shell partons up to two loops. Here we briefly explain our computation strategy, and we refer the interested reader to [33] for detailed discussions. The form factors with pure gluon external states can be obtained efficiently using unitarity based method [49–51] combined together with integration by parts (IBP) reduction [52, 53]. The form factors with external quark states have more complicated color structures, in particular the non-planar-color diagrams contribute. We compute them using Feynman diagrams method with FeynArts [54]. In both computations, we convert tensor integrals to scalar integrals using the gauge invariant basis, see e.g. [32, 33, 55, 56]. IBP reduction can then be applied to reduce the integrands to master integrals (e.g. with public codes [57–60]). All master integrals we consider are known explicitly in terms of two-dimensional harmonic polylogarithms [61–63].
3. Form factors and finite remainders
Bare form factors contain ultraviolet (UV) and infrared (IR) divergences, which can be regularized using dimension regularization ($D=4-2\epsilon $). We choose the conventional dimension regularization (CDR) scheme, in which both external and internal gluon polarizations are treated as D-dimensional. The UV divergences come from both the coupling constant and the local operator, for which we apply the modified minimal subtraction renormalization ($\overline{\mathrm{MS}}$) scheme [64]. The renormalized form factors contain only IR divergences which take the universal Catani form as [65]:We have performed several non-trivial checks for our results. First, we reproduce the known results of form factors of ${{ \mathcal O }}_{0}$ plus three partons [32]. For $H\to 3g$, we apply both the Feynman diagram and unitarity methods and find complete consistency. Second, our form factor results of ${{ \mathcal O }}_{i},i=0,1,2,4$ (which are computed independently) satisfy the required non-trivial linear relation [45]
The intrinsic new information of a form factor is contained in its finite part ${{ \mathcal F }}_{{ \mathcal O }}^{(l),\mathrm{fin}}$, which will be called the remainder function. We normalize the remainder by the tree factor as ${R}_{{ \mathcal O }}^{(l)}={{ \mathcal F }}_{{ \mathcal O }}^{(l),\mathrm{fin}}/{{ \mathcal F }}_{{ \mathcal O }}^{(0)}$. Since the one-loop part is relatively simple, below we will focus on the two-loop form factors. At two loops, we can decompose the remainder function according to the general color structure as:
The maximal transcendentality degree of the two-loop remainder function is 4, and we can decompose it according to transcendentality degree as
In the next two sections, we will focus on the maximal transcendentality parts and show that all the form factors we consider satisfy the maximal transcendentality principle.
4. Maximal transcendentality principle: length-2 cases
Let us first consider the QCD form factors of the length-2 operator ${{ \mathcal O }}_{0}=\mathrm{tr}({F}^{2})$, which were first computed in [32].For the form factor with three external gluons, ${{ \mathcal O }}_{0}\to 3g$, the ${C}_{A}{C}_{F}$ and CF2 terms are both zero, and the maximally transcendental part comes only from ${{ \mathcal R }}_{{{ \mathcal O }}_{0};4}^{(2),{C}_{A}^{2}}$. It has been noted in [31] that the remainders of the ${{ \mathcal O }}_{0}\to 3g$ form factors satisfy the maximal transcendentality principle:
Above we have introduced the function ${R}_{{\rm{len-2}};4}^{(2)}$, where the subscript ‘len-2’ refers to length-2. As we will see below, this function is a universal function for the form factors of length-2 operators. Its explicit expression can be given as:
The more interesting case is the form factor with quark external states: ${{ \mathcal O }}_{0}\to q\bar{q}g$. In this case, both the ${C}_{A}{C}_{F}$ and CF2 terms in (
We would like to stress that the above relation is rather non-trivial. First, the ${{ \mathcal O }}_{0}\to 3g$ and ${{ \mathcal O }}_{0}\to q\bar{q}g$ results are very different from each other. In particular, unlike the 3-gluon case, the latter have non-zero ${C}_{A}{C}_{F}$ and CF2 parts, and both of them contain non-trivial 2d Harmonic polylogarithms of degree-4 (see the supplemental material). Furthermore, the ${{ \mathcal O }}_{0}\to 3g$ case enjoys a permutational symmetry, while in ${{ \mathcal O }}_{0}\to q\bar{q}g$ only a flip symmetry $(v\leftrightarrow w)$ is left.
In order to see if this relation applies to more general cases, we also compute the form factor of the length-2 operator, $\bar{\psi }\psi $. As shown in (
We have also considered form factors of operator $\bar{\phi }\phi $ in the scalar-YM theory. It turns out that its maximally transcendental part is exactly the same as the $\bar{\psi }\psi $ result in QCD, without changing any color factors. The equivalence between fermion and scalar cases implies that the correspondence does not depend on the spin of the fields.
Finally, we note that each terms in (
5. Maximal transcendentality principle: length-3 cases
In this section, we consider further the form factors with length-3 operators. As we will see, despite that the expressions are very different between the length-2 and length-3 cases, the maximal transcendentality principle still holds.We first consider the form factors of ${{ \mathcal O }}_{1}=\mathrm{tr}({F}^{3})$ with three external gluon states. The ${C}_{A}{C}_{F}$ and CF2 terms are both zero. It has been observed that the maximally transcendental part of the ${{ \mathcal O }}_{1}\to 3g$ form factor remainders are the same in QCD and ${ \mathcal N }=4$ SYM [33, 34]:
To study the form factors with external quarks, we consider the length-3 operator ${{ \mathcal O }}_{4}\sim {F}_{\mu \nu }{D}^{\mu }(\bar{\psi }{\gamma }^{\nu }\psi )$. In this case, the ${C}_{A}{C}_{F}$ and CF2 terms of ${{ \mathcal O }}_{4}\to q\bar{q}g$ have non-trivial contributions. Remarkably, they satisfy the same correspondence as in the length-2 cases: by changing CF to be CA, the maximally transcendental part are identical to the 3-gluon case:
Let us mention another interesting relation. If we reorganize the remainder of ${{ \mathcal O }}_{4}\to q\bar{q}g$ in terms of Nc expansion using (
Figure 1.
New window|Download| PPT slideFigure 1.The correspondences of form factors with length-3 operators. The red square on the right indicates a density contribution in the higher length case.
For completeness, we give the result with ${N}_{c}^{-2}$ color factor:
Finally, let us mention that in the scalar-YM theory, the form factor with length-3 operator ${F}_{\mu \nu }^{a}{D}^{\mu }{\sum }_{i=1}^{{n}_{f}}({\bar{\phi }}_{i}\overleftrightarrow{{D}^{\mu }}{T}^{a}{\phi }_{i})$ (which is a scalar version of ${{ \mathcal O }}_{4}$) have identical maximally transcendental parts as the QCD results without changing any color factors, similar to the length-2 case.
6. Summary and discussion
In this paper, we generalize the maximal transcendentality principle to Higgs amplitudes and form factors that contain external fundamental quarks in QCD. By a simple change of color factors, the maximally transcendental parts of the $H\to q\bar{q}g$ amplitudes become identical to the $H\to 3g$ amplitudes. The correspondence is found to be true for both length-2 and length-3 operators. The universal maximally transcendental parts are given in (Let us comment on a few open problems regarding the correspondence. First, the maximal transcendentality principle allows one to obtain the maximal transcendentality part (functionally the most complicated part) in Higgs amplitudes from their ${ \mathcal N }=4$ counterparts. It would be interesting to check if the relation holds for more general cases, such as at three loops, or the Higgs plus four-parton amplitudes [70–72]. Second, the knowledge of lower transcendentality parts are also important, in order to obtain full QCD results. Some evidence of the relations of the lower transcendental parts was found in [33]. It would be interesting to explore this further. Third, via unitarity cuts, gluon/quark amplitudes (without the Higgs particle) are building blocks of form factors. The correspondence we found indicates that there could be hidden relations (induced by unitarity cuts) for those amplitudes. Finally, the universal relations and the simplicity of the results we present in this paper are hard to understand using standard Feynman diagram methods. A solid understanding of their origin is expected to lead to a better way of computing amplitudes or form factors. We hope to explore these in future work.
Acknowledgments
We thank Hui Luo, Jianping Ma, and Ke Ren for interesting discussions. This work is supported in part by the National Natural Science Foundation of China (Grants No. 11 822 508, 11 947 302 and 11 935 013), by the Chinese Academy of Sciences (CAS) Hundred-Talent Program, and by the Key Research Program of Frontier Sciences of CAS. We also thank the support of the HPC Cluster of ITP-CAS.Reference By original order
By published year
By cited within times
By Impact factor
DOI:10.1103/PhysRevLett.56.2459 [Cited within: 1]
DOI:10.1007/JHEP05(2010)084 [Cited within: 1]
DOI:10.1103/PhysRevLett.105.151605 [Cited within: 2]
DOI:10.1103/PhysRevLett.116.062001 [Cited within: 1]
DOI:10.1103/PhysRevLett.116.062001 [Cited within: 1]
DOI:10.1103/PhysRevLett.117.061602
DOI:10.1103/PhysRevD.96.116013
DOI:10.1007/JHEP01(2019)186
DOI:10.1103/PhysRevLett.122.082002
DOI:10.1007/JHEP05(2019)084 [Cited within: 1]
DOI:10.1103/PhysRevLett.39.1304 [Cited within: 2]
DOI:10.1016/0550-3213(91)90061-2
DOI:10.1016/0370-2693(91)90375-Z
DOI:10.1007/s002880050007
DOI:10.1103/PhysRevLett.79.2184
[Cited within: 2]
DOI:10.1007/JHEP06(2013)072 [Cited within: 1]
DOI:10.1016/j.physletb.2014.11.021
DOI:10.1103/PhysRevLett.115.082003
DOI:10.1016/j.physletb.2015.06.055
DOI:10.1007/JHEP05(2016)058
DOI:10.1016/j.cpc.2016.10.015
DOI:10.1007/JHEP09(2016)037
DOI:10.1007/JHEP10(2016)066
DOI:10.1016/j.physletb.2018.05.009
DOI:10.1103/PhysRevLett.120.162001
DOI:10.1088/2399-6528/aadfbf [Cited within: 1]
DOI:10.1016/S0550-3213(03)00264-5 [Cited within: 2]
DOI:10.1016/S0550-3213(03)00264-5 [Cited within: 2]
DOI:10.1016/j.physletb.2004.05.078 [Cited within: 2]
DOI:10.1016/j.nuclphysb.2004.03.030 [Cited within: 1]
DOI:10.1007/JHEP05(2012)082 [Cited within: 3]
DOI:10.1007/JHEP02(2012)056 [Cited within: 4]
DOI:10.1103/PhysRevLett.121.101603 [Cited within: 6]
DOI:10.1103/PhysRevLett.119.161601 [Cited within: 1]
DOI:10.1007/JHEP12(2018)076
DOI:10.1007/JHEP12(2018)077 [Cited within: 1]
DOI:10.1103/PhysRevD.91.036008 [Cited within: 1]
DOI:10.1103/PhysRevLett.118.022004 [Cited within: 1]
DOI:10.1007/JHEP01(2018)075 [Cited within: 2]
DOI:10.1007/JHEP08(2014)100 [Cited within: 2]
DOI:10.1007/JHEP10(2015)012 [Cited within: 1]
DOI:10.1007/JHEP08(2016)134
DOI:10.1007/JHEP12(2016)090 [Cited within: 2]
DOI:10.1016/0550-3213(86)90262-2 [Cited within: 1]
DOI:10.1016/S0550-3213(02)00334-6 [Cited within: 1]
DOI:10.1016/S0550-3213(02)00334-6 [Cited within: 1]
DOI:10.1103/PhysRevD.88.074015
DOI:10.1103/PhysRevD.90.093007 [Cited within: 1]
DOI:10.1016/0550-3213(94)90179-1 [Cited within: 1]
DOI:10.1016/0550-3213(94)00488-Z
DOI:10.1016/j.nuclphysb.2005.07.014 [Cited within: 1]
DOI:10.1016/0550-3213(81)90199-1 [Cited within: 1]
DOI:10.1016/0370-2693(81)90288-4 [Cited within: 1]
DOI:10.1016/S0010-4655(01)00290-9 [Cited within: 1]
DOI:10.1007/JHEP05(2018)063 [Cited within: 1]
[Cited within: 1]
DOI:10.1016/j.cpc.2014.11.024 [Cited within: 1]
DOI:10.1088/1742-6596/523/1/012059
DOI:10.1016/j.cpc.2018.04.012 [Cited within: 1]
DOI:10.1016/S0550-3213(01)00057-8 [Cited within: 1]
DOI:10.1016/S0550-3213(01)00074-8
DOI:10.1016/S0010-4655(02)00139-X [Cited within: 1]
DOI:10.1103/PhysRevD.18.3998 [Cited within: 1]
DOI:10.1016/S0370-2693(98)00332-3 [Cited within: 1]
DOI:10.1007/JHEP05(2017)085 [Cited within: 1]
DOI:10.1103/PhysRevD.72.085001 [Cited within: 1]
DOI:10.1007/JHEP08(2012)043 [Cited within: 1]
DOI:10.1007/JHEP10(2017)067 [Cited within: 1]
DOI:10.1088/1126-6708/2009/08/058 [Cited within: 1]
DOI:10.1007/JHEP01(2010)036
DOI:10.1088/1126-6708/2009/12/035 [Cited within: 1]