Mass dependence of Higgs production at large transverse momentum

The transverse momentum distribution of the Higgs at large PT is complicated by its dependence on three important energy scales: PT, the top quark mass mt, and the Higgs mass mH. A strategy for simplifying the calculation of the cross section at large PT is to calculate only the leading terms in its expansion in mt2/PT2 and/or mH2/PT2. The expansion of the cross section in inverse powers of PT is complicated by logarithms of PT and by mass singularities. In this paper, we consider the top-quark loop contribution to the subprocess qq¯→H+g\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ q\overline{q}\to H+g $$\end{document} at leading order in αs. We show that the leading power of 1/PT2 can be expressed in the form of a factorization formula that separates the large scale PT from the scale of the masses. All the dependence on mt and mH can be factorized into a distribution amplitude for tt¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t\overline{t} $$\end{document} in the Higgs, a distribution amplitude for tt¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t\overline{t} $$\end{document} in a real gluon, and an endpoint contribution. The factorization formula can be used to simplify calculations of the PT distribution at large PT to next-to-leading order in αs. The results are readily applied to the qg process via a straightforward analytical continuation.


JHEP11(2017)127
6 LP form factor using rapidity regularization 20 6.1 Rapidity regularization and zero-bin subtraction 21  The discovery of the Higgs boson in the year 2012 completed the Standard Model (SM) of particle physics [1,2]. Since then, many of the properties of the Higgs have been measured and compared with the theoretical predictions of the SM. As the experimental precision improves with the collection of more and more data at the Large Hadron Collider (LHC), it is very important that theoretical uncertainties in the SM predictions are under control. The most straightforward way to reduce the theoretical uncertainties is to carry out calculations to higher orders in perturbation theory, and to resum to all orders those terms (usually logarithms) that spoil the perturbative expansion in certain kinematic regions. Calculations to higher orders are increasingly difficult, but they can sometimes be simplified by separating scales. An important example is the Higgs Effective Field Theory (HEFT), in which the top quark mass m t is taken to be much larger than all other scales and the top quark is integrated out of the theory. Using HEFT, the total coss section for Higgs production has been calculated to next-to-leading order (NLO) in α s [3][4][5], to next-to-next-to-leading order (N 2 LO) [6][7][8], and finally to the impressive precision of N 3 LO [9,10]. The accuracy has been further improved by the resummation of threshold logarithms [11][12][13][14][15][16]. HEFT has also been used to calculate the cross section for Higgs plus one jet to N 2 LO [17][18][19][20] and the cross section for Higgs plus two or more jets to NLO [21][22][23]. HEFT breaks down for Higgs produced with large transverse momentum P T of order m t , because the large momentum transfer resolves the top quark loop that is integrated out in HEFT. The effect of the top quark mass is only at the percent level for the total cross section for Higgs production at the LHC, since the Higgs is produced dominantly with P T m t [24][25][26][27][28][29]. However, the effect of the top quark mass is much larger for the Higgs P T distribution, especially at large P T . The Higgs P T distribution is particularly important for searches for new physics beyond the SM. For example, new physics that modifies the top-quark Yukawa coupling and also introduces new heavy colored particles may mimic the SM in the total cross section for Higgs production, but the deviation from the SM is manifest in the Higgs P T distribution when P T 250 GeV [30,32]. Higgs production at JHEP11(2017)127 large P T has also been applied to the search for new particles in other scenarios beyond the SM [30][31][32][33][34]. With more data being collected in the present and future runs of the LHC, the production of Higgs at large P T is a promising channel to search for new physics. The effect of the top quark mass must be considered in predictions of Higgs production at large P T . Predictions for the production of Higgs at large P T without final-state top quarks is only available with full m t dependence at leading order (LO) in α s [35,36]. At next-to-leading order (NLO), there are real and virtual contributions. The real NLO contribution, which is the same as H + 2 jets at LO, has been calculated with full m t dependence [37,38]. The virtual NLO contribution with full m t dependence is still not available. There have been efforts to develop approximations that include some effects of the top quark mass. One approach is to take into account dimension-7 operators in HEFT (for example, ref. [39]). Another approach is to multiply the LO result with a K-factor given by the NLO/LO ratio from HEFT (for example, ref. [40]). Numerical studies show that these approaches improve the accuracy at intermediate P T , but the accuracy becomes worse at large P T . As a result of the unsystematic treatment of the large P T region, the uncertainties are out of control, making it impossible to estimate the errors introduced.
A new approach based on factorization was proposed in ref. [41]. At large P T , it is reasonable to expand the cross section in powers of M 2 /Q 2 , where M is a mass scale and Q is a large kinematic scale. The expansion is straightforward for terms that are analytic in M 2 /Q 2 , but there are also terms that are nonanalytic in M 2 /Q 2 , such as logarithms. Ref. [41] showed how factorization theorems could be used to factor the nonanalytic terms into fragmentation functions, allowing the expansion in M 2 /Q 2 . In ref. [41], this procedure was illustrated with the subprocess qq → H + tt at LO. The mass scales are M ∼ m H , m t , where m H is the Higgs mass, and the kinematic scales are Q ∼ P T , √ŝ , where √ŝ is the center-of-mass energy of the colliding partons. It was shown analytically that the factorization formula reproduces the full LO result up to corrections of order M 2 /Q 2 . Thus the numerical error decreases rapidly as 1/P 2 T as P T increases, indicating that the errors are under control.
In addition to better control of the theoretical errors, there are other advantages of the factorization approach. First, the different energy scales are separated into different pieces in the factorization formula. Consequently, fewer scales need to be considered in each piece. For example, in the subprocess qq → H + tt at LO, the hard-scattering cross sections are free of the mass scales m t and m H , and the fragmentation functions are free of the kinematic scales P T and √ŝ [41]. The calculation of each piece at higher order would therefore be much simpler. Second, some pieces in the factorization formula may be directly used in other subprocesses. For example, the fragmentation function for t * → H + t is the same for qq → H + tt and for gg → H + tt. Finally, the factorization formula makes it possible to sum large logarithms to all orders. For example, in the subprocess qq → H + bb, logarithms of m 2 b /p 2 T can be summed by solving evolution equations for the fragmentation functions.
In this work, we demonstrate that the factorization approach can also be used to simplify calculations of virtual NLO contributions to Higgs production at large P T . We consider as a specific example the subprocess qq → Hg at LO, which proceeds through JHEP11(2017)127 a top quark loop. We choose the soft scale to be M ∼ m H , m t and the hard scale to be Q ∼ P T , √ŝ . We express the leading power in the expansion of the amplitude in powers of M 2 /Q 2 in the form of a factorization formula in which the scales M and Q are separated. The factorization formula involves distribution amplitudes for a tt pair in the Higgs and for a tt pair in a real gluon. Our factorization formula provides an approximation with errors of order M 2 /Q 2 that go to zero as the kinematic scale Q increases.
The factorization method we present in this paper can be applied to the top-quark loop contributions in other exclusive Higgs production processes at LO, such as gg → H + g and gg → H + Z, and to the bottom-quark-loop contributions. The factorization method can also be extended to NLO, although that will be more challenging. Expressing the amplitude in the form of a factorization formula may facilitate the resummation of large logarithms of P 2 T . The method can be applied more generally to exclusive processes for the production at large P T of other elementary particles besides the Higgs boson.
This paper is organized as follows. In section 2, we introduce the form factor that determines the cross section for qq → Hg. We define the leading-power (LP) form factor to be the leading term in the expansion of the form factor in powers of M 2 /Q 2 . In section 3, we calculate the LP form factor in the limit m H = 0 using analytic regularization to regularize rapidity divergences. In sections 4 and 5, we separate the scales Q and M in the Higgs collinear and gluon collinear contributions to the LP form factor. Each of these contributions is expressed as an integral over a relative longitudinal momentum fraction of the product of a hard form factor that depends on the scale Q and a distribution amplitude that depends on the scale M . In section 6, we recalculate the LP form factor in the limit m H = 0 using rapidity regularization, which makes rapidity divergences appear as ultraviolet divergences. In section 7, we simplify the calculations of the Higgs collinear and gluon collinear contributions by calculating the hard form factors and the distribution amplitudes directly from diagrams. Readers who are not interested in the technical details of factorization can skip sections 3 to 7. In section 8, we renormalize all the ultraviolet divergences to obtain a finite factorization formula for the LP form factor. We present an improvement in the factorization formula that includes all dependence on m t that is not suppressed by m 2 H /Q 2 , so that the errors are reduced from order m 2 t /Q 2 to order m 2 H /Q 2 . We show that the improved factorization formula gives a good approximation to the full form factor whose error decreases to 0 rapidly as P T increases. We discuss the prospects for extending our approach to NLO in α s in section 9. In the appendix, we calculate a function that appears in the distribution amplitude for tt in the Higgs using analytic regularization and using rapidity regularization.
2 Higgs production by qq → H + g In this section, we define the form factor that determines the cross section for qq → H + g at leading order in α s . We give the leading power in the expansion of the form factor in powers of M 2 /Q 2 . We also present the schematic form of a factorization formula for the leading-power form factor. 2.1 Form factor for g * → H + g The reaction qq → H + g proceeds at leading order (LO) in the QCD coupling constant g s through the two one-loop Feynman diagrams in figure 1. The dominant contribution comes from the top-quark loop because of the large Yukawa coupling constant y t . The matrix element for q(p 1 )q(p 2 ) → H(P ) + g(p 3 ) at LO has the form where T b ij is the color factor,v 2 and u 1 are the Dirac spinors forq and q, and ε 3 is the polarization vector for the final-state gluon. The qq invariant massŝ = (p 1 +p 2 ) 2 is also the invariant mass of the Higgs and the final-state gluon. The amplitude T µν for g * → H +g is where the integration measure is q = d 4 q/(2π) 4 . A color trace tr(T a T b ), which is diagonal in the color indices of the virtual gluon and the real gluon, has been absorbed into the prefactor of T µν in eq. (2.1). The explicit Dirac trace in eq. (2.2) comes from the first diagram in figure 1. Since the only nonzero terms in the trace are proportional to m t or m 3 t , the two diagrams are equal. The tensor structure of T µν is constrained by the Ward identities (P + p 3 ) µ T µν = 0 and p 3ν T µν = 0 to have the form where the form factors F and G are dimensionless functions of the qq invariant massŝ and the masses m t and m H . The form factor G does not contribute to the matrix element M in eq. (2.1), because the tensor it multiplies in eq. (2.3) is orthogonal to the polarization vector ε * 3ν of the real gluon. The form factor F can be expressed as

JHEP11(2017)127
where D = 4 is the number of space-time dimensions. The form factor can be expressed as an integral over a loop momentum: . (2.5) The square of the matrix element M for qq → H + g summed over spins and colors is proportional to |F| 2 : wheret andû are Mandelstam variables that satisfyŝ +t +û = m 2 H . The cross section for qq → H + g at LO was first calculated in refs. [35,36]. In ref. [42], F is expressed compactly in terms of the finite parts of simple scalar one-loop integrals.
The matrix elements for g q → H + q and gq → H +q at LO can be expressed in terms of the same function F as the form factor for qq → H + g, but with the positive Mandelstam variableŝ replaced by a negative Mandelstam variablet. If the form factor F for qq → H + g is expressed in terms of the complex variableŝ + i , it can be applied to g q → H + q and gq → H +q by analytic continuation.

Simple approximations
The form factor F is a function of the three energy scalesŝ 1/2 , m t , and m H , which satisfy the inequalities m H ≤ √ŝ and m H < 2m t . Analytic expressions for F are given in refs. [35,36]. There are three limits in which the analytic expression for F can be simplified. One such limit is m H ,ŝ 1/2 m t . In this limit, F can be expanded in powers ofŝ/m 2 t and m 2 H /m 2 t . The leading term in the expansion is This can be derived more directly using Higgs Effective Field Theory (HEFT). The expression in HEFT for the amplitude T µν defined by eq. (2.1) is The Lorentz contractions in eq. (2.4) give the form factor in eq. (2.7). Another limit in which the form factor can be simplified is m H ŝ 1/2 , m t . The leading term in this limit can be obtained by setting m H = 0 in the full form factor. The form factor reduces to where z is defined as (2.10)

JHEP11(2017)127
The third limit in which the form factor can be simplified is m H , m t ŝ 1/2 . In this limit, F can be expanded in powers of m 2 t /ŝ and m 2 H /ŝ. The expansion can be interpreted as an expansion aroundŝ = ∞ or as an expansion around m t = m H = 0. The expansion in powers of 1/ŝ is complicated by terms that are not analytic inŝ, such as log(ŝ/m 2 t ). The expansion in powers of m t and m H is complicated by mass singularities. We define mass singularities to be terms that either diverge in the limits m t → 0 and m H → 0 or else depend on the order in which the two limits are taken. The logarithm log(ŝ/m 2 t ) is a mass singularity. Any function of the ratio m H /m t that is not suppressed by a factor of m 2 t /ŝ and m 2 H /ŝ is also a mass singularity. We refer to the leading term in the expansion of the form factor in powers of m 2 t /ŝ and m 2 H /ŝ as the leading-power (LP) form factor. The LP form factor can be derived from the full form factor in refs. [35,36]: where r is the mass ratio defined by The mass singularities in eq. (2.11) are the single and double logarithms ofŝ/m 2 t , which diverge as m t → 0, and the functions of r, whose limits as m H → 0 and m t → 0 depend on the order of the limits. The only term in eq. (2.11) that is not a mass singularity is the last term −2 inside the parentheses.
In figure 2, we compare the simple approximations described above to the full form factor F (ŝ, m 2 t , m 2 H ) given in refs. [35,36]. The three approximations are • the HEFT form factor F HEFT (ŝ, m 2 t , m 2 H ) in eq. (2.7), which can be obtained by taking m t √ŝ , m H in the full form factor, • the m H = 0 form factor F (ŝ, m 2 t , 0) in eq. (2.9), which is obtained by setting m H = 0 in the full form factor, • the LP form factor F LP (ŝ, m 2 t , m 2 H ) in eq. (2.11), which is the leading power in the expansion in m 2 t /ŝ and m 2 H /ŝ.
We set m H = 125 GeV and m t = 175 GeV. The squares of the absolute values of the form factors are shown as functions of the center-of-mass energy √ŝ , which ranges from the threshold m H for producing the Higgs to 1 TeV. The full form factor |F| 2 is zero at the Higgs threshold m H , and it begins increasing quadratically in √ŝ − m H . It increases sharply as √ŝ approaches the tt threshold, where it has a discontinuity in slope. The discontinuity arises from the onset of an imaginary part of the form factor from producing t andt on shell. At larger √ŝ , |F| 2 continues to increase. It increases asymptotically as log 4 (ŝ/m 2 t ). The HEFT form factor in eq. (2.7) provides a good approximation near the Higgs threshold, but it breaks down before the tt threshold. The m H = 0 form factor has JHEP11(2017)127 : the full form factor |F| 2 (solid curve), the HEFT form factor (dashed curve), the m H = 0 form factor (dotted curve), and the LP form factor (dot-dashed curve). The two vertical lines mark the tt threshold 2m t and the ttH threshold 2m t + m H . the same qualitative behavior as the full form factor. It seems to provide a reasonably good approximation to the full form factor over the range of √ŝ shown in figure 2. The absolute error in |F (ŝ, m 2 t , 0)| 2 is largest at the tt threshold, where the percentage error is about 14%. The LP form factor has a completely different qualitative behavior from the full form factor. It is very large at the Higgs threshold, decreases smoothly to a minimum near the ttH threshold, and then increases monotonically. It must be a good approximation to the full form factor at very largeŝ, because the error decreases to 0 asŝ increases. However it provides a very poor approximation in the range of √ŝ shown in figure 2. In section 8.2, we will find that a simple modification of the LP form factor provides an approximation that is significantly better than the m H = 0 form factor.

Leading-power factorization formula
In order to understand the mass singularities in the leading-power form factor in eq. (2.11), it is necessary to separate the dependence onŝ from the dependence on the masses m H and m t . We refer to the kinematic scale Q =ŝ 1/2 as the hard scale. We refer to the scale M provided by the masses m H and m t as the soft scale. We will find that there are four contributions to the LP form factor: • direct production of H + g, in which the Higgs H and the real gluon g are produced by the process g * → H + g at the hard scale Q,

JHEP11(2017)127
• tt fragmentation into H, in which a nearly collinear tt pair and the real gluon are created by the process g * → tt + g at the hard scale Q, and the Higgs is produced by the subsequent transition tt → H at the soft scale M , • tt fragmentation into g, in which a nearly collinear tt pair and the Higgs are created by the process g * → H + tt at the hard scale Q, and the real gluon is produced by the subsequent transition tt → g at the soft scale M , • endpoint production of H + g, in which a t andt are created by the process g * → t +t at the hard scale Q, and the Higgs and the real gluon are produced by the subsequent transition tt → H + g at the soft scale M .
In the tt fragmentation processes, the collinear t andt are created with longitudinal momenta that add up to the momentum of the tt pair. We denote the longitudinal momentum fractions of the t andt by (1+ζ)/2 and (1−ζ)/2, respectively. The range of the momentum fraction variable ζ is −1 ≤ ζ ≤ +1. We will show that the separation of the hard scale Q from the soft scale M in the LP form factor for g * → H + g at LO can be expressed in terms of a factorization formula that has the schematic form (2.13) The terms on the right side correspond to the four contributions itemized above. The subscripts on tt indicate the color channel, which can be color-singlet (1) or color-octet (8), and the Lorentz channel, which can be vector (V ) or tensor (T ). The ⊗ represents an integral over the momentum fraction variable ζ. The factors represented by F are hard form factors that depend only on the scale Q. The factors represented by d are distribution amplitudes that depend only on the scale M . Regularized expressions for the terms in the factorization formula in eq. (2.13) will be obtained in sections 3, 4, and 5 using analytic regularization and in sections 6 and 7 using rapidity regularization. Renormalized expressions for the terms in the factorization formula will be given in section 8.

LP form factor using analytic regularization
In this section, we identify the regions of the loop momentum that contribute to the LP form factor for g * → H + g at LO. We calculate the LP form factor using analytic regularization in conjunction with dimensional regularization to separate the contributions from the various regions. We set m H = 0 in this section to simplify the calculations.

Analytic regularization
The form factor F in eq. (2.4) is finite, but we will decompose it into contributions that have ultraviolet divergences and infrared divergences. The divergences cancel when all the contributions are added. Some of the divergences can be regularized using dimensional regularization of the integral in eq. (2.2) with D = 4 − 2 space-time dimensions. These JHEP11(2017)127 divergences appear as poles in . There are additional infrared divergences called rapidity divergences that require some other regularization procedure. They can be regularized using analytic regularization [43], in which the following substitution is applied to appropriate propagators: where δ is the analytic regularization parameter and ν is an arbitrary momentum scale. The phase factor e iπδ is introduced to cancel a phase that arises from the Wick rotation of a loop momentum. The limit δ → 0 should be taken before the limit → 0. The propagators in eq. (2.2) that produce rapidity divergences and therefore require analytic regularization are those with momenta q + P and q − p 3 . If they are regularized with different parameters δ 1 and δ 3 , the rapidity divergences appear as poles in δ 1 −δ 3 . We can regularize the rapidity divergences by applying analytic regularization to either the propagator with momentum q + P or the propagator with momentum q − p 3 or both. We choose to apply analytic regularization to both and to also apply analytic regularization with parameter δ 2 to the propagator with momentum q. The dimensionally and analytically regularized expression for the amplitude for g * → H + g at LO in eq. (2.2) is The measure of the momentum integral is q ≡ (e iπ ν 2 ) δ 1 +δ 3 +δ 2 µ 2 (4π) − Γ(1 + ) The powers of the analytic regularization scale ν and the dimensional regularization scale µ ensure that the dimension of the integral is the same as in 4 dimensions. The factor (4π) − /Γ(1 + ) has been included in the measure in order to simplify the analytic expressions for loop integrals. With this measure, the minimal subtraction of poles in from ultraviolet divergences corresponds to the MS renormalization scheme at one-loop order.

Leading-power regions
The g * → H + g form factor at LO with dimensional regularization and analytic regularization is obtained by contracting the tensor T µν in eq. (3.2) with the tensor in eq. (2.4).
After evaluating the Dirac trace in eq. (3.2), the form factor reduces to (3.4) Below we will calculate the LP contribution to the form factor from various regions of the loop integral over the momentum q using the method of regions [44,45]. The regions are JHEP11(2017)127 • the hard region, in which q µ is order Q, so q 2 , P.q, and p 3 .q are all order Q 2 , • the Higgs collinear region, in which p 3 .q is order Q 2 , but q 2 and P.q are order M 2 , • the gluon collinear region, in which P.q is order Q 2 , but q 2 and p 3 .q are order M 2 , • the soft region, in which q µ is order M , so q 2 is order M 2 but P.q and p 3 .q are order M Q.
The contributions to the LP form factor from each of the regions itemized above can be obtained from the expression in eq. (3.4) by keeping only the leading terms in the numerator and the leading terms in each of the denominators. Analytic regularization is Lorentz invariant. This ensures that the only kinematic variable that the contribution to the LP form factor from each region can depend on isŝ.

Hard contribution
The contribution to the LP form factor from the hard region in which q µ is orderŝ 1/2 is Since there are no divergences as δ 1 , δ 2 , and δ 3 approach 0 with fixed, we have set the three analytic regularization parameters to 0. The 4-momentum P of the Higgs has been replaced by a light-like 4-vectorP whose 3-vector component is collinear to P and whose normalization is given by 2P .p 3 =ŝ. The hard contribution does not depend on the masses m t and m H . The integral in eq. (3.5) can be calculated analytically: .
We have expressed a factor involving gamma functions in a compact form using the Pochhammer symbol: The Taylor expansion of the Pochhammer symbol (1) z = Γ(1 + z) can be conveniently expressed in an exponentiated form: where γ is Euler's constant. This expression makes it easy to expand a combination of Pochhammer symbols like that in eq. (3.6) in powers of , especially if the sum of the subscripts in the numerator is equal to the sum of the subscripts in the denominator. The single pole in in eq. (3.6) is an ultraviolet divergence and the double pole is an infrared divergence. The Laurent expansion in of the scale-free factor gives (3.9) JHEP11(2017)127

Higgs collinear contribution
The contribution to the LP form factor from the Higgs collinear region in which p 3 .q is orderŝ but q 2 and P.q are order m 2 t is (3.10) If m H = 0, the dependence on m H enters through the 4-momentum P of the Higgs, which satisfies P 2 = m 2 H . The Higgs collinear contribution is the only leading-power contribution that depends on m H . In this section, we simplify it by setting m H = 0.
The integral over the loop momentum in eq. (3.10) can be evaluated analytically: . (3.11) This contribution has an ultraviolet divergence in the form of a pole in + δ 1 + δ 2 and a rapidity divergence in the form of a pole in δ 1 − δ 3 . The rapidity divergence comes from the region where p 3 .q → 0.

Gluon collinear contribution
The contribution to the LP form factor from the gluon collinear region in which P.q is orderŝ but q 2 and p 3 .q are order m 2 t is The 4-momentum P of the Higgs has been replaced by the light-like 4-vectorP . The gluon collinear contribution does not depend on m H . The integral over the loop momentum in eq. (3.12) can be evaluated analytically: This contribution has an ultraviolet divergence in the form of a pole in + δ 3 + δ 2 and a rapidity divergence in the form of a pole in δ 1 − δ 3 . The rapidity divergence comes from the region whereP .q → 0.

Soft contribution
The contribution to the LP form factor from the soft region in which q µ is order m t is (3.14) The 4-momentum P of the Higgs has been replaced by the light-like 4-vectorP . The soft contribution does not depend on m H . The denominators 2P .q and −2p 3 .q can be combined using Feynman parameters x and 1 − x. The resulting denominator and the second denominator can be combined using Feynman parameters y and 1 − y. After integrating over q and changing variables to w = y/(1 − y), the soft contribution is The integral over w can be evaluated analytically. The subsequent integral over x is We have separated the integral into two terms by inserting a factor of (1 − x) + x into the integrand. The two terms have poles in δ 1 − δ 3 that come from the x = 0 and x = 1 endpoints of the integral, respectively. The two terms cancel, so the soft contribution is zero. If the contributions from the two terms are made explicit, the soft contribution can be expressed as This contribution has an ultraviolet divergence in the form of a pole in + (δ 1 + δ 3 )/2 + δ 2 and rapidity divergences in the form of poles in δ 1 − δ 3 . Note that the separation of the soft contribution into two terms with rapidity divergences that cancel is not unique. Another way to separate the soft contribution into two such terms that does not depend on the choice of Feynman parameters is to multiply the integrand in eq. (3.14) by [P .q − p 3 .q]/(P − p 3 ).q. The resulting Feynman parameter integrals are more difficult to evaluate.

LP form factor for massless Higgs
The complete LP form factor is obtained by adding the hard contribution in eq. (3.9), the Higgs collinear contribution in eq. (3.11), the gluon collinear contribution in eq. (3.13), and the soft contribution in eq. (3.17) (which is equal to 0). The poles in δ 1 − δ 3 cancel between the Higgs collinear contribution and the gluon collinear contribution. In the sum of those contributions, we can take the limit as the analytic regularization parameters approach zero, and then do a Laurent expansion in : The double and single poles in are canceled by the hard contribution in eq. (3.9). The final result for the LP form factor with m H = 0 is This agrees with the LP form factor in eq. (2.11) in the limit m H → 0.

Simple choice of analytic regularization parameters
The contributions to the LP form factor for m H = 0 from the different regions were calculated using different analytic regularization parameters δ 1 , δ 2 , and δ 3 for the three top-quark propagators. The soft contribution is 0 and the poles in δ 1 − δ 3 cancel between the Higgs collinear and gluon collinear contributions. The cancellation of these rapidity divergences can alternatively be regarded as cancellations between collinear contributions and soft contributions. The pole in δ 1 − δ 3 in the Higgs collinear contribution in eq. (3.11) is canceled by the first pole in the soft contribution in eq. (3.17). The pole in δ 1 − δ 3 in the gluon collinear contribution in eq. (3.13) is canceled by the second pole in the soft contribution. The poles in δ 1 − δ 3 come from endpoints of Feynman parameter integrals in which the coefficient of one of the propagators goes to zero. We can exploit this by using different analytic regularization parameters for the two endpoints.
In each collinear region, it will prove to be convenient to treat the two propagators whose momenta are nearly collinear symmetrically by using the same analytic regularization parameter for both propagators. The simplest possibility is to set the analytic regularization parameter for the third propagator equal to 0. In the Higgs collinear contribution and in the first term of the soft contribution, we choose to set δ 2 = δ 1 and δ 3 = 0. In the gluon collinear contribution and in the second term of the soft contribution, we choose to set δ 2 = δ 3 and δ 1 = 0. Since each of the resulting terms depends on a single analytic regularization parameter, it can be simplified by a Laurent expansion in that parameter followed by a Laurent expansion in . The Higgs collinear and gluon collinear contributions in eqs. (3.11) and (3.13) reduce to

JHEP11(2017)127
The soft contribution in eq. (3.17) reduces to Note that this contribution is no longer 0. The sum of the two collinear contributions in eqs. (3.20) and the soft contribution in eq. (3.21) agrees with the sum of the two collinear contributions in eq. (3.18).

Factorization of Higgs collinear contribution
In this section, we separate the scales Q and M in the Higgs collinear contribution to the LP form factor using analytic regularization. The resulting expression has the schematic form of the tt 1V term in the factorization formula in eq. (2.13). We keep m H nonzero in this section, and use the results to complete the calculation of the LP form factor.

Higgs collinear region
In order to separate the hard scale Q from the soft scale M in the Higgs collinear region, it is convenient to shift the loop momentum q in eq. (3.2) so that the momenta of the collinear t andt that form the Higgs are 1 2 P + q and 1 2 P − q, respectively. For the two diagrams in figure 1, the appropriate shifts in the loop momentum are q → q − 1 2 P and q → −q − 1 2 P , respectively. The resulting expression for the regularized amplitude for g * → H + g is We have chosen the same analytic regularization parameter δ 1 for the propagators with momenta 1 2 P ± q. The measure for the integral over q is therefore given by eq. (3.3) with δ 2 = δ 1 . The shift in q does not change the power counting in the Higgs collinear region: p 3 .q is order Q 2 , but q 2 and P.q are order M 2 . The hard scaleŝ enters into the integral in eq. (4.1) only through the denominator that depends on p 3 and through the factor in the trace that depends on p 3 .

Fierz decomposition and tensor decomposition
A Fierz identity can be used to express the trace in eq. (4.1) in terms of traces that involve only the collinear momenta 1 2 P ± q and traces that involve p 3 . A convenient basis for matrices acting on Dirac spinors in an arbitrarily large even number D of space-time dimensions is the unit matrix 1, the Dirac matrices γ µ , and the completely antisymmetrized JHEP11(2017)127 products γ [µ 1 γ µ 2 · · · γ µn] of n ≥ 2 Dirac matrices. The Fierz identity for the tensor product of two unit matrices is particularly simple. The coefficients depend on D only through an overall multiplicative factor determined by the trace of the unit matrix. If we choose Tr(1) = 4, the Fierz identity for the tensor product of two unit matrices is . We refer to the three terms shown explicitly as the scalar (S), vector (V ), and tensor (T ) terms.
The Fierz identity in eq. (4.2) can be used to separate the collinear factors 1 2 / P ±(/ q+m t ) in the trace in eq. (4.1) from the other factors. The only nonzero contributions come from the 1 ⊗ 1, γ α ⊗ γ α , and σ αβ ⊗ γ αβ terms in the Fierz identity. The trace in eq. (4.1) is decomposed into the sum of products of a hard trace and a collinear trace. We label the three terms in the sum 1S, 1V , and 1T . The 1 indicates that the collinear t andt that form the Higgs must be in a color-singlet state. After the contraction of Lorentz indices in eq. (2.4) that defines the form factor, the only term with a leading-power contribution from the Higgs collinear region is the 1V term. We therefore drop the 1S and 1T terms.
After using the Fierz identity, the scales Q and M are not yet separated, because the hard trace and the collinear trace both depend on the relative momentum q of the virtual t andt that form the Higgs. In the Higgs collinear region, q has a large longitudinal component along the direction of the Higgs momentum P . Its large components can be expressed as q λ ≈ 1 2 ζP λ , where ζ ≡ 2q.p 3 /P.p 3 . The separation of the scales Q and M can be facilitated by inserting an integral over ζ into the integral in eq. (4.1): Since we wish to keep only the LP terms in the amplitude in eq. (4.1), the 4-momentum q λ can be replaced by 1 2 ζP λ in the first denominator and in the hard trace. The first denominator and the hard trace can then be pulled outside the integral over q. The 1V term from the Fierz transformation reduces to The integrand of the integral over q is invariant under m t → −m t , q → −q, and ζ → −ζ.
The integral over q in eq. (4.4) defines a Lorentz vector function of P and p 3 with index α.
Since the integrand is homogeneous in p 3 with degree 0, the leading power is in the term proportional to P α . That term can be isolated by replacing γ α in the collinear trace by P α / p 3 /P.p 3 . The factor P α can then be moved into the hard trace. In the first denominator, in the hard trace, and in the factor 1/P.p 3 , P can be replaced by the light-like 4-vectorP whose 3-vector component is collinear to P and whose normalization is given by 2P .p 3 =ŝ.

JHEP11(2017)127
Since the term proportional to m t in the hard trace is traceless, we can set m t = 0 in the hard trace. The tensor in eq. (4.4) therefore reduces to After evaluating the traces, the 1V term in the LP contribution to the tensor reduces to The measure for the integral over q is given by eq. (3.3) with δ 2 = δ 1 and δ 3 = 0. The integral in eq. (4.7) defines a Lorentz scalar function of P and p 3 that is a homogeneous function of p 3 with degree 0. Since a homogeneous function of p 3 with degree 0 cannot be formed from the Lorentz scalars P 2 = m 2 H , p 2 3 = 0, and P.p 3 , the integral must actually be independent of p 3 . The dimensionless function d(ζ) depends only on ζ and on ratios of the masses m t and m H and the regularization scales µ and ν.

Form factor
A factorized expression for the Higgs collinear contribution to the LP form factor in which the scales Q and M are separated can be obtained by contracting the tensor T µν 1V in eq. (4.6) with the tensor in eq. (2.4): where d(ζ) is defined by the momentum integral in eq. (4.7). This function is calculated using analytic regularization in appendix A and is given in eq. (A.4): where r = m H /2m t . The subsequent integral over ζ in eq. (4.8) produces a pole in δ 1 − δ 3 . The scales Q and M are separated in eq. (4.8). All the dependence onŝ is in the prefactor factorŝ −δ 3 . All the dependence on m t and m H is in the function d(ζ) in the integrand. The expression in eq. (4.8) has the schematic form which corresponds to one of the terms in the factorization formula in eq. (2.13). The JHEP11(2017)127 notation tt 1V represents a collinear tt pair in the color-singlet Lorentz-vector channel. The symbol ⊗ represents the integral over ζ in eq. (4.8).
The factorized expression for the Higgs collinear contribution to the LP form factor in eq. (4.8) can be simplified by choosing δ 3 = 0. The rapidity divergence is now a pole in δ 1 . The contribution to the LP form factor reduces to (4.10) One advantage of this choice of analytic regularization parameters is that the Higgs collinear contribution no longer depends onŝ. Another advantage is that the poles in δ 1 and can be extracted before the integration over ζ. The result is derived in the appendix and given in eq. (A.11): The plus distribution is defined in eq. (A.10).
The integral over ζ in the Higgs collinear contribution in eq. (4.10) can be evaluated analytically: The remaining integral over ζ is The only difference between the m H -dependent Higgs collinear contribution to the LP form factor in eq. (4.12) and the contribution with m H = 0 in eq. (3.20a) is the terms from the integral over ζ in eq. (4.13). Adding those terms to the complete LP form factor with m H = 0 in eq. (3.19), we obtain the complete LP form factor with nonzero m H in eq. (2.11).

Factorization of gluon collinear contribution
In this section, we separate the scales Q and M in the regularized gluon collinear contribution to the LP form factor. The resulting expression has the schematic form of the tt 8T term in the factorization formula in eq. (2.13).

Gluon collinear region
In order to separate the hard scale Q from the soft scale M in the gluon collinear region, it is convenient to shift the loop momentum q in eq. (3.2) so that the momenta of the collinear t andt that form the gluon are 1 2 p 3 + q and 1 2 p 3 − q, respectively. For the two diagrams in figure 1, the appropriate shifts in the loop momentum are q → q + 1 2 p 3 and q → −q + 1 2 p 3 , respectively. The resulting expression for the regularized amplitude for g * → H + g is We have chosen the same analytic regularization parameter δ 3 for the propagators with momenta 1 2 p 3 ± q. The measure for the integral over q is therefore given by eq. (3.3) with δ 2 = δ 3 . The shift of q does not change the power counting in the gluon collinear region: P.q is order Q 2 , but q 2 and p 3 .q are order M 2 . The hard scaleŝ enters into the integral in eq. (5.1) only through the denominator that depends on P and through the factor in the trace that depends on P .

Fierz decomposition and tensor decomposition
The Fierz identity in eq. (4.2) can be used to separate the collinear factors 1 2 / p 3 ± (/ q + m t ) in the trace in eq. (5.1) from the other factors. The only nonzero contributions come from the 1 ⊗ 1, γ α ⊗ γ α , and σ αβ ⊗ γ αβ terms in the Fierz identity. The trace in eq. (5.1) is decomposed into the sum of products of a hard trace and a collinear trace. We label the three terms in the sum 8S, 8V , and 8T . The 8 indicates that the collinear t andt that form the real gluon must be in a color-octet state. After the contraction of Lorentz indices in eq. (2.4) that defines the form factor, the only term with a leading-power contribution from the gluon collinear region is the 8T term. We therefore drop the 8S and 8V terms.
After using the Fierz identity, the scales Q and M are not yet separated, because the hard trace and the collinear trace both depend on the relative momentum q of the virtual t andt that form the gluon. In the gluon collinear region, q has a large longitudinal component along the direction of the gluon momentum p 3 . Its large components can be expressed as q λ ≈ 1 2 ζp λ 3 , where ζ = 2q.P /p 3 .P andP is the light-like 4-vector whose 3vector component is collinear to P and whose normalization is given by 2P .p 3 =ŝ. The separation of the scales Q and M can be facilitated by inserting an integral over ζ into the integral in eq. (5.1): Since we wish to keep only the LP terms in the amplitude in eq. (5.1), the 4-momenta q λ and P λ can be replaced by 1 2 ζp λ 3 andP λ in the first denominator and in the hard trace.

JHEP11(2017)127
These factors can then be pulled outside the integral over q. The 8T term from the Fierz transformation reduces to The integrand of the integral over q changes sign under m t → −m t , q → −q, and ζ → −ζ.
The integral over q in eq. (5.3) defines a Lorentz tensor function ofP and p 3 with indices ν, α, and β. Since the integrand is homogeneous inP with degree 0, the leading power has the maximum number of indices carried by the 4-vector p 3 . In particular, one of the indices α and β must be carried by p 3 . This can be exploited to reduce the number of free indices in the hard trace and in the collinear trace. The matrix σ αβ in the collinear trace can be replaced by −(p α 3 σ βγ − p β 3 σ αγ )P γ /P .p 3 . The 4-momentum p 3 can be moved to the hard trace. Since the term proportional to m t in the hard trace is traceless, we can set m t = 0 in the hard trace. The tensor in eq. (5.3) can therefore be expressed as After evaluating the traces, the 8T term in the LP contribution to the tensor reduces to where the function d 0 (ζ) is The measure for the integral over q in eq. (5.6) is given by eq. (3.3) with δ 2 = δ 3 and δ 1 = 0. The integral defines a Lorentz scalar function of p 3 andP that is a homogeneous function ofP with degree 0. Since such a function cannot be formed from the Lorentz scalars p 2 3 = 0,P 2 = 0, and p 3 .P , the integral must actually be independent ofP . The dimensionless function d 0 (ζ) defined by eq. (5.6) depends only on ζ and on ratios of the mass m t and the regularization scales µ and ν.

Form factor
A factorized expression for the gluon collinear contribution to the LP form factor in which the scales Q and M are separated can be obtained by contracting the tensor T µν g coll in JHEP11 (2017)127 eq. (5.5) with the tensor in eq. (2.4): where d 0 (ζ) is defined by the momentum integral in eq. (5.6). This function can be obtained from the expression for d(ζ) in eq. (4.9) by setting r = 0 and replacing δ 1 by δ 3 : The integral over ζ in eq. (5.7) can be calculated analytically. The subsequent integral over ζ in eq. (5.7) produces a pole in δ 1 − δ 3 . The result agrees with the expression for the gluon collinear contribution to the LP form factor in eq. (3.13) with δ 2 = δ 3 . The scales Q and M are separated in eq. (5.7). All the dependence onŝ is in the prefactorŝ −δ 1 . All the dependence on m t is in the function d 0 (ζ) in the integrand. The expression in eq. (5.7) has the schematic form F [H + tt 8T ] ⊗ d[tt 8T → g], which corresponds to one of the terms in the factorization formula in eq. (2.13). The notation tt 8T represents a collinear tt pair in the color-octet Lorentz-tensor channel. The symbol ⊗ represents the integral over ζ in eq. (5.3).
The factorized expression for the gluon collinear contribution to the LP form factor in eq. (5.7) can be simplified by choosing δ 1 = 0. The rapidity divergence is now a pole in δ 3 . The gluon collinear contribution to the LP form factor reduces to One advantage of this choice of analytic regularization parameters is that the gluon collinear contribution no longer depends onŝ. Another advantage is that the poles in δ 3 and can be extracted before the integration over ζ. The Laurent expansion in δ 3 and can be obtained from that of d(ζ)/(1 − ζ 2 ) in eq. (4.11) by setting r = 0 and replacing δ 1 by δ 3 : The plus distribution is defined in eq. (A.10). The integral over ζ in eq. (5.9) can be evaluated easily. The result agrees with the gluon collinear contribution in eq. (3.20b).

LP form factor using rapidity regularization
In this section, we calculate the LP form factor using rapidity regularization in conjunction with dimensional regularization to separate the contributions from the various regions. We set m H = 0 in this section to simplify the calculations.

Rapidity regularization and zero-bin subtraction
In sections 3, 4, and 5, we used analytic regularization to separate the contributions to the LP form factor from the various regions. The factorized expressions for the Higgs collinear and gluon collinear contributions derived in sections 4 and 5 involve an integral over the relative longitudinal momentum fraction ζ. The rapidity divergences were made explicit in the integrand by using different analytic regularization parameters in the Higgs collinear and gluon collinear contributions. A rather arbitrary prescription was used to separate the soft contribution into two contributions with different regularization parameters in order to cancel the rapidity divergences in the collinear contributions. It could be very difficult to extend this prescription to higher orders of perturbation theory. Analytic regularization has other drawbacks. It violates gauge invariance, which is a severe complication in proofs of factorization to all orders in perturbation theory [46]. This problem is especially serious in QCD, because soft contributions can be nonperturbative. While the process we consider here is completely perturbative, the violation of gauge invarince could complicate the extension of our calculation to NLO. Another disadvantage of analytic regularization is that rapidity divergences appear naturally as infrared divergences. This makes it difficult to interpret the cancellation of rapidity divergences as a renormalization procedure.
In this section, we separate the contributions to the LP form factor from the various regions using an alternative regularization method for rapidity divergences called rapidity regularization. Rapidity regularization in conjunction with zero-bin subtraction was introduced as a method for regularizing rapidity divergences by Manohar and Stewart [47]. Rapidity regularization separates the contributions from collinear and soft regions by explicitly breaking the boost invariance. Zero-bin subtractions of collinear contributions are required to avoid double counting of soft contributions. With rapidity regularization, the rapidity divergence from each region is an ultraviolet divergence. This allows the cancellation of rapidity divergences to be implemented as a renormalization procedure.
In order to specify the rapidity regularization factors, it is convenient to introduce light-like vectors n andn such that the only components of P µ and p µ 3 that are of order Q are P.n and p 3 .n. We choose the normalizations of n andn so that n.n = 2, which implies P.n p 3 .n =ŝ. Dimensional regularization is used to separate the hard contribution from the sum of the remaining contributions. The integration measure of the loop momentum can be expressed as where the measure of the dimensionally regularized transverse momentum integral is We can use the 4-vectors n andn to define regions of q. In the n collinear region, q.n is order Q, q 2 is order M 2 , and q.n is order M 2 /Q. In then collinear region, q.n is order Q, q 2 is order M 2 , and q.n is order M 2 /Q. In the soft region, q.n, q.n, and q ⊥ are all order M .

JHEP11(2017)127
With rapidity regularization, different regularization factors are used in different regions. The specific forms of the regularization factors required for our problem were used in ref. [48] and described more explicitly in ref. [49]. The regularization factors in each of the regions of q are n collinear: |q.n|/ν + −η , (6.3a) n collinear: where η is the regularization parameter and ν + , ν − , and ν are regularization scales. The term |q.(n −n)| in the soft factor reduces to |q.n| in the n collinear region and to |q.n| in then collinear region, so the essential difference between the three factors in eq. (6.3) is in the regularization scales. They are constrained by an equation that depends on the application. In most previous cases, the equation was either ν + ν − = ν 2 or ν + ν − = −ν 2 .

Hard contribution
In the hard region of the loop momentum q, all its components of q are order √ŝ . The hard contribution to the LP form factor is given by the integral in eq. (3.5). There are no rapidity divergences from this region, so there is no need for rapidity regularization. The analytic result is given in eq. (3.6). A Laurent expansion in gives the final result in eq. (3.9).

Higgs collinear contribution
In the Higgs collinear region of the loop momentum q, p 3 .q is order Q 2 but q 2 andP .q are order M 2 . The Higgs collinear contribution to the LP form factor with rapidity regularization but before any zero-bin subtractions is The measure for the integral over q is given in eq. (6.1). Since we set m H = 0 in this section, we have replaced the 4-momentum P of the Higgs by the light-like 4-vectorP whose 3-vector component is collinear to P and whose normalization is given by 2P .p 3 =ŝ. The rapidity divergence from the denominator −2p 3 .q is regularized by multiplying the integrand by the factor in eq. (6.3a) with the regularization scale ν + replaced by ν 1 . In order to maintain the symmetry between the two denominators with momenta q and q +P , we have also multiplied the integrand by that same factor with q replaced by q +P . The only component of p 3 that is order Q is p 3 .n. The leading-power contribution to eq. (6.4) can therefore be simplified by replacing p 3 .P by p 3 .nP .n/2 and p 3 .q by p 3 .n q.n/2. The factors of p 3 .n then cancel in eq. (6.4), and it is evident that the only physical scales in the integral are m t andP .n. The integral over q.n can be evaluated by contours. The integral over q.n produces an infrared pole in the rapidity regularization parameter η. The

JHEP11(2017)127
dimensionally regularized integral over q ⊥ produces an ultraviolet pole in . The analytic result from integrating over q is The subscript ir on the pole in η indicates that the divergence has an infrared origin. Because the Higgs collinear region has an overlap with the soft region, the integral in eq. (6.4) requires a zero-bin subtraction. The subtraction integral is The denominator with momentum q +P in eq. (6.4) has been replaced by its soft limit. The integral over q.n can be evaluated by contours. The integral over q.n gives an infrared divergence and an ultraviolet divergence, both of which are regularized by the parameter η. The dimensionally regularized integral over q ⊥ produces an ultraviolet pole in . The analytic result for the integral over q is The subscripts ir and uv indicate the origins of the divergences. The complete contribution to the LP form factor from the Higgs collinear region is obtained by subtracting eq. (6.7) from eq. (6.5). The infrared poles in η cancel, leaving an ultraviolet pole. After a Laurent expansion in η, the Higgs collinear contribution reduces to It depends logarithmically onP .n.

Gluon collinear contribution
In the gluon collinear region of the loop momentum q,P .q is order Q 2 but q 2 and p 3 .q are order M 2 . The gluon collinear contribution to the LP form factor with rapidity regularization before any zero-bin subtraction is The measure for the integral over q is given in eq. (6.1). The rapidity divergence from the denominator 2P .q is regularized by multiplying the integrand by the factor in eq. (6.3b) with the regularization scale ν − replaced by ν 3 . In order to maintain the symmetry between JHEP11(2017)127 the two denominators with momenta q and q − p 3 , we have also multiplied the integrand by that same factor with q replaced by q − p 3 . The only component ofP that is order Q isP .n. The leading-power contribution to eq. (6.9) can therefore be simplified by replacingP .p 3 byP .n p 3 .n/2 andP .q byP .n q.n/2. The factors ofP .n then cancel in eq. (6.9), and it is evident that the only physical scales in the integral are m t and p 3 .n. The integral over q.n can be evaluated by contours. The integral over q.n produces an infrared pole in η. The integral over q ⊥ produces an ultraviolet pole in . The analytic result for the integral over q is The subscript ir on the pole in η indicates that the divergence has an infrared origin. Because the gluon collinear region has an overlap with the soft region, the integral in eq. (6.9) requires a zero-bin subtraction. The subtraction integral is The denominator with momentum q−p 3 in eq. (6.9) has been replaced by its soft limit. The integral over q.n can be evaluated by contours. The integral over q.n produces an infrared pole in η and an ultraviolet pole in η. The integral over q ⊥ produces an ultraviolet pole in . The analytic result for the integral over q is The subscripts ir and uv indicate the origins of the divergences. The complete contribution to the LP form factor from the gluon collinear region is obtained by subtracting eq. (6.12) from eq. (6.10). The infrared poles in η cancel, leaving an ultraviolet pole. After a Laurent expansion in η, the gluon collinear contribution reduces to It depends logarithmically on p 3 .n.

Soft contribution
In the soft region of the loop momentum q, all the components of q are order m t . The soft contribution to the LP form factor with rapidity regularization is (6.14) The 4-momentum P of the Higgs has been replaced by the light-like 4-vectorP . The rapidity divergences from the two denominators 2P .q and −2p 3 .q have been regularized by JHEP11(2017)127 multiplying the integrand by two identical copies of the factor in eq. (6.3c). The integral over q in eq. (6.14) includes a Higgs collinear region in which q.n is small and a gluon collinear region in which q.n is small. In the Higgs collinear region, the soft regularization factor is proportional to |q.n| −2η . It has the same form as the Higgs collinear regularization factor in eq. (6.4) in the ultraviolet limit. Thus the ultraviolet divergences from the Higgs collinear region in eq. (6.14) cancel against ultraviolet divergences from the zero-bin subtraction for the Higgs collinear contribution in eq. (6.6). In the gluon collinear region, the soft regularization factor is proportional to |q.n| −2η . It has the same form as the gluon collinear regularization factor in eq. (6.9) in the ultraviolet limit. Thus the ultraviolet divergences from the gluon collinear region in eq. (6.14) cancel against ultraviolet divergences from the zero-bin subtraction for the gluon collinear contribution in eq. (6.11).
The integral over q in eq. (6.14) gives ultraviolet poles in η and in + η: After a Laurent expansion in η, the soft contribution reduces to It depends logarithmically on m t .

LP form factor
In the sum of the Higgs collinear contribution in eq. (6.8), the gluon collinear contribution in eq. (6.13), and the soft contribution in eq. (6.16), the ultraviolet poles in η cancel. The only divergences that remain are double and single poles in : (6.17) Comparing with the sum of the Higgs collinear contribution and the gluon collinear contribution using analytic regularization in eq. (3.18), we see that they agree provided the rapidity regularization scales satisfy We obtained this nontrivial constraint on the rapidity regularization scales by comparing with the result from analytic regularization. It would be preferable to derive it more directly within the framework of rapidity regularization. The complete LP form factor with rapidity regularization is obtained by adding the hard contribution in eq.

JHEP11(2017)127 7 Hard form factors and distribution amplitudes
In this section, we calculate the factors in the Higgs collinear and gluon collinear contributions to the LP form factor in a way that involves only the single scale Q or M . The factors involving the hard scale Q are form factors for tt 1V + g and H + tt 8T . The factors involving the soft scale M are distribution amplitudes for a tt pair in the Higgs and for a tt pair in a real gluon. We use rapidity regularization to define the distribution amplitudes. At the end of this section, we discuss the relation between our distribution amplitudes and double-parton fragmentation functions, which were recently introduced for heavy quarkonium production, and the relation between our distribution amplitudes and those used for exclusive processes.

Hard form factor for tt 1V + g
In section 5, the scales Q and M in the Higgs collinear contribution to the LP form factor were separated by expressing it as an integral over the relative longitudinal momentum fraction ζ: The integrand is the product of a hard form factor F tt 1V +g for producing a gluon and a collinear tt pair in the color-singlet Lorentz-vector (1V ) channel and a distribution amplitude d tt 1V →H for a tt pair in the Higgs. The hard form factor depends only on the scale Q.
The distribution amplitude depends on the scale M . With rapidity regularization, it also depends logarithmically on P.n. The amplitude T µa,νb for g * → tt + g is given by the sum of the two diagrams in figure 3. Since we only want the leading power, we can set the top-quark mass equal to zero. The amplitude for a virtual gluon with Lorentz index µ and color index a to produce a real gluon with momentum p 3 , Lorentz index ν, and color index b and a color-singlet t andt pair with collinear momenta 1 2 (1 + ζ)P and 1 2 (1 − ζ)P is whereū and v are the Dirac spinors for the t andt. The factor 1/ √ N c , where N c is the number of quark colors, comes from projecting the tt pair into a color-singlet state. The color trace tr(T a T b ) can be absorbed into the prefactor of T µν in eq. (2.1). The tt pair can be projected onto the Lorentz-vector channel by replacing the spinor product vū by / P . The 1V contribution to the tensor amplitude in eq. (7.2) is The hard form factor for g * → tt 1V + g can be obtained by contracting the tensor T µν 1V in eq. (7.3) with the tensor in eq. (2.4), with P replaced byP . We choose to move a factor 1/(1 − ζ 2 ) to the distribution amplitude to allow the poles in the regularization parameters to be made explicit. A canceling factor 1 − ζ 2 must appear in the hard form factor. We also choose to move the factor 1/m t from eq. (2.4) and the factor 1/ √ N c from eq. (7.3) to the distribution amplitude to simplify the expressions for the hard form factor and the distribution amplitude. The resulting expression for the hard form factor is We have given the contributions from the two diagrams separately. The dependence on D cancels in their sum.

Distribution amplitude for tt 1V → H
The soft factor in the expression for the Higgs collinear contribution to the LP form factor in eq. (7.1) is the distribution amplitude for tt 1V → H. The distribution amplitude is a function of the relative longitudinal momentum fraction ζ that describes how the longitudinal momentum of the Higgs is distributed between a virtual t and a virtualt. It can be calculated by using ingredients from the Feynman rules for double-parton fragmentation functions in ref. [50]. A fragmentation function can be expressed as the sum of cut diagrams that are products of an amplitude and the complex conjugate of an amplitude. The amplitude for tt fragmentation into a specific final state is the amplitude for that final state to be produced by sources that create the t and thet in a specified color and Lorentz channel with relative longitudinal momentum fraction ζ. The sources are the endpoints of eikonal lines that extend to future infinity. The Feynman rule for the sources is the product of a color matrix, a Dirac matrix, and a delta function. The Feynman rule for sources that create the t andt in the 1V channel with momenta p andp is / n 4(p +p).n δ ζ − (p −p).n/(p +p).n , (7.5) where n is the light-like 4-vector that defines the longitudinal direction. The leading-order diagram for the distribution amplitude for a tt pair in the Higgs is shown in figure 4. The diagram has a factor of −1 for the closed fermion loop. The JHEP11(2017)127 where the function d(ζ) is In eqs. (7.6) and (7.7), we have suppressed rapidity regularization factors and zero-bin subtractions for the integral over the loop momentum q. Multiplying by the factors 1/( √ N c m t ) and 1/(1 − ζ 2 ) that were removed from the form factor for g * → tt 1V + g in eq. (7.4), we obtain the distribution amplitude The function d(ζ) is calculated with rapidity regularization and with appropriate zero-bin subtractions in appendix A.3. The function d(ζ)/(1 − ζ 2 ) is given in eq. (A. 19), with the ultraviolet poles in the regularization parameters and η made explicit. The regularized distribution amplitude is We have set the rapidity regularization scale to ν 1 .

Hard form factor for H + tt 8T
In section 5, the scales Q and M in the gluon collinear contribution to the LP form factor were separated by expressing it as an integral over the momentum fraction variable ζ: The integrand is the product of the hard form factor F H+tt 8T for producing a Higgs and a collinear tt pair in the color-octet Lorentz-tensor (8T ) channel and the distribution amplitude d tt 8T →g for a tt pair in a real gluon. The hard form factor depends only on the scale Q. The distribution amplitude depends on the scale M . With rapidity regularization, it also depends logarithmically on p 3 .n.
The amplitude T µa,b for g * → H + tt is given by the sum of the two diagrams in figure 5. Since we only want the leading power, we can set the top quark mass equal to zero. The amplitude for a virtual gluon with Lorentz index µ and color index a to produce a Higgs with momentumP and a color-octet tt pair with collinear momenta 1 2 (1 + ζ)p 3 and 1 2 (1 − ζ)p 3 and color index b is 11) whereū and v are the Dirac spinors for the t andt. The factor of √ 2 comes from projecting the tt pair onto a color-octet state. The tt pair can be projected onto the Lorentz-tensor channel with a Lorentz index ν by replacing the spinor product vū by / p 3 γ ν ⊥ , where γ ν ⊥ are Dirac matrices that are perpendicular to specified light-like 4-vectors n andn. They can be expressed as γ ν ⊥ = g να ⊥ γ α , where the perpendicular metric tensor is g ⊥αβ = g αβ − n αnβ +n α n β n.n .
The color trace tr(T a T b ) can be absorbed into the prefactor of T µν in eq. (2.1). The 8T contribution to the vector amplitude T µ in eq. (7.11) defines the tensor amplitude The hard form factor for g * → H + tt 8T can be obtained by contracting the tensor T µν 8T in eq. (7.13) with the tensor in eq. (2.4), with P replaced byP . We choose to move a factor 1/(1 − ζ 2 ) to the distribution amplitude to allow the poles in the regularization JHEP11(2017)127 parameters to be made explicit. A canceling factor 1 − ζ 2 must appear in the hard form factor. We also choose to move the factor 1/m t from eq. (2.4) and the factor √ 2 from eq. (7.13) to the distribution amplitude to simplify the expressions for the hard form factor and the distribution amplitude. The resulting expression for the hard form factor is (7.14) We have given the contributions from the two diagrams separately.

Distribution amplitude for tt 8T → g
The collinear factor in the expression for the gluon collinear contribution to the LP form factor in eq. (7.10) is the distribution amplitude for tt 8V → g. The distribution amplitude is a function of the relative longitudinal momentum fraction ζ that describes how the longitudinal momentum of the real gluon is distributed between a virtual t and a virtualt. It can be calculated from the diagram in figure 6 by using ingredients from the Feynman rules for double-parton fragmentation functions in ref. [50]. The amplitude for tt fragmentation into a specific final state is the amplitude for that final state to be produced by sources that create the t and thet in a specified color and Lorentz channel with relative longitudinal momentum fraction ζ. The sources are the endpoints of eikonal lines that extend to future infinity. The Feynman rule for the sources is the product of a color matrix, a Dirac matrix, and a delta function. The Feynman rule for sources that create the t andt in the 8T channel with momenta p andp is √ 2 T a / nγ µ ⊥ 4(p +p).n δ ζ − (p −p).n/(p +p).n , (7.15) wheren is the light-like 4-vector that defines the longitudinal direction, γ µ ⊥ = g µα ⊥ γ α , and the metric tensor g ⊥µβ is defined in eq. (7.12).
The leading-order diagram for the distribution amplitude for a tt pair in a real gluon is shown in figure 6. The diagram has a factor of −1 for the closed fermion loop. The amplitude for the source to produce a real gluon with polarization vector ε 3 and color index a is amplitude for a real gluon with transverse polarization vector in the same direction as the source and with the same color index as the source as the coefficient of δ ab (−g µν ⊥ ) * 3ν . Multiplying by the factors √ 2/m t and 1/(1 − ζ 2 ) that were removed from the form factor for g * → H + tt 8T , we obtain the distribution amplitude The function d 0 (ζ)/(1 − ζ 2 ) with rapidity regularization can be obtained from the function d(ζ)/(1 − ζ 2 ) in eq. (A.19) by setting r = 0 and replacing P.n with p 3 .n. The regularized distribution amplitude, with the ultraviolet poles in the regularization parameters and η made explicit, is We have set the rapidity regularization scale to ν 3 .

Relation to double-parton fragmentation functions
Our factorization framework for the exclusive production of Higgs was inspired by recent progress in the QCD factorization of heavy quarkonium. We proceed to describe the connection between our distribution amplitude for tt → H and double-parton fragmentation functions for Higgs production. Factorization formulas for inclusive Higgs production with large transverse momentum P T in the Standard Model can be deduced from the corresponding factorization formulas for inclusive hadron production in QCD [41]. For an inclusive cross section dσ/dP 2 T , the leading power is 1/P 4 T and the next-to-leading power is 1/P 6 T . For inclusive hadron production, the leading power comes from a mechanism called fragmentation: the production of a parton with larger transverse momentum followed by the decay of the virtual parton into states that include the hadron. For inclusive Higgs production with a top quark, the leading power contribution to the differential cross section can be expressed in the form of the leading-power (LP) factorization formula: dσ H+t+X (P T ) + 1 0 dz dσ t+X (P T /z) D t→H (z), (7.20) where dσ H+t+X is the inclusive hard-scattering cross section for producing H with transverse momentum P T and dσ t+X is the inclusive hard-scattering cross section for producing JHEP11(2017)127 t with larger transverse momentum P T /z. The integral is over the fraction z of the longitudinal momentum of t carried by H. The fragmentation function D t→H (z) is the probability distribution for z from the decay of the virtual t into states that include H. The LP factorization formula in eq. (7.20) separates the large scale P T , which appears only in dσ H+t+X and dσ t+X , from the smaller scale M of the masses m t and m H , which appear only in D t→H . The first term in eq. (7.20) corresponds to the direct production of H at short distances. This has no analog in the LP factorization formula for QCD: a color-singlet hadron cannot be produced directly at short distances at leading power. A significant step forward in QCD factorization was the extension of the factorization formula to the next-to-leading power in 1/P 2 T for the case of heavy quarkonium. The nextto-leading power (NLP) factorization formula was proven by Kang, Qiu, and Sterman using a diagrammatic analysis [51] and derived by Fleming, Leibovich, Mehen, and Rothstein using Soft Collinear Effective Theory [52]. There are contributions at NLP that come from expanding the hard-scattering cross sections dσ to first order in M 2 /P 2 T , but there are additional contributions that come from a new mechanism called double-parton fragmentation: the production of a heavy quark and antiquark with a larger total transverse momentum followed by the decay of the virtual quark-antiquark pair into states that include the heavy quarkonium. For inclusive Higgs production, the tt fragmentation contribution to the NLP factorization formula has the form where dσ tt+X is the inclusive hard-scattering cross section for producing tt with total transverse momentum P T /z. The integrals are over the fraction z of the total longitudinal momentum of tt carried by H, the relative longitudinal momentum fraction ζ of the t and t in the amplitude, and the relative longitudinal momentum fraction ζ of the t andt in the complex conjugate of the amplitude. For given ζ and ζ , the fragmentation function D t→H (z, ζ, ζ ) is the distribution in z from the decay of the virtual tt pair into states that include H. The term in eq. (7.21) in the NLP factorization formula separates the large scale P T , which appears only in dσ tt+X , from the smaller scale M of the masses, which appear only in D tt→H . The production of Higgs at large P T with no final-state top quark has contributions from the LP factorization formula in eq. (7.20) beginning at NLO in α s . At LO in α s , the leading power in 1/P 2 T comes from the NLP factorization formula in eq. (7.21). At this order, the fragmentation process is the annihilation of the virtual tt pair into a Higgs only. The entire longitudinal momentum of the tt pair is carried by the Higgs, so the fragmentation function has a factor of δ(1 − z). The fragmentation function at LO is where d tt 1V →H (ζ) is the regularized distribution amplitude in eq. (7.9). A renormalized fragmentation function can be obtained by the minimal subtraction of the poles in η and in .

Relation to distribution amplitudes for exclusive processes
For an exclusive process in QCD in which hadrons are scattered with a large momentum transfer Q, the matrix element can be expressed as a factorization formula in which the hard scale Q is separated from the soft hadronic scale Λ [53]. The hard factor is an amplitude for the hard-scattering of collinear constituents of each of the hadrons. The soft factor for each hadron is a distribution amplitude that gives the amplitude for the constituents of the hadron to have specified longitudinal momentum fractions. In the case of a qq meson with large momentum p, the distribution amplitude φ(x) is the amplitude for its constituents to be q andq with momenta xp and (1 − x)p. The longitudinal momentum fraction x has the range 0 ≤ x ≤ 1. The distribution amplitude of the meson can be defined in terms of its light-front wavefunction ψ(x, k ⊥ ) in the light-front gauge [53]: The distribution amplitude for tt 1V → H in our factorization formula can be interpreted as the conventional distribution amplitude for exclusive processes involving the tt component of the Higgs up to a normalization factor and a factor of 1 − ζ 2 : We have defined the distribution amplitude diagrammatically as the amplitude for producing the Higgs only from t andt sources with the Feynman rule in eq. (7.5) and with eikonal lines extending to future infinity. This definition could be expressed formally as the matrix element of local operators multiplied by Wilson lines. Since the t andt created by the sources are in a color-singlet state and the Higgs is a color singlet, the product of the Wilson lines at future infinity must also be color singlet. The product of the color-triplet Wilson line and the color-antitriplet Wilson line therefore behaves like a trivial color-singlet Wilson line as the time approaches future infinity. This ensures that the distribution amplitude is gauge invariant. The distribution amplitude for tt 8T → g in our factorization formula can be interpreted as a distribution amplitude for exclusive processes involving the tt component of a real gluon. The light-front wavefunction for t andt in a real gluon with polarization vector ε perpendicular to n andn has a term of the form ψ(x, k ⊥ ) k ⊥ .ε ⊥ . The 8T distribution amplitude can be expressed as an integral of ψ(x, k ⊥ ) over k ⊥ analogous to that in eq. (7.23). We have defined the distribution amplitude diagrammatically as the amplitude for producing the gluon only from t andt sources with the Feynman rule in eq. (7.15) and with eikonal lines extending to future infinity. This definition could be expressed formally as the matrix element of local operators multiplied by Wilson lines. The product of the color-triplet Wilson line and the color-antitriplet Wilson line behaves like a coloroctet Wilson line as the time approaches future infinity. The distribution amplitude is not gauge invariant. However, as long as the same gauge is used to calculate each piece in the factorization formula in eq. (2.13), the gauge dependence will cancel after all pieces are added.

JHEP11(2017)127 8 Renormalized factorization formula
The divergences in the contributions to the LP form factor from the hard, Higgs collinear, gluon collinear, and soft regions cancel between the different regions. In this section, we define renormalized contributions to the LP form factor by the minimal subtraction of the poles from dimensional regularization and from the regularization of rapidity divergences. This renormalization procedure is equivalent to canceling the divergences by moving the divergent terms between different regions. The renormalized contribution from each region depends on the renormalization scheme, but the sum over all regions is scheme independent. The renormalized contributions are combined into a renormalized factorization formula for the LP form factor in which there are no divergences.

LP form factor
The regularized factorization formula for the LP form factor was given in a schematic form in eq. (2.13). The poles in η and cancel between the four terms. A renormalized factorization formula in which each of the terms is separately finite can be obtained by applying minimal subtraction to each of the divergent pieces. The explicit form of the renormalized factorization formula for the LP form factor is All the dependences on physical scales are indicated explicitly by the arguments in eq. (8.1). Each of the individual pieces in the factorization formula is given below. The regularized hard contribution to the LP form factor is given in eq. (3.9). We define the renormalized contribution from direct production of H + g by minimal subtraction of the poles in : With the measure of the dimensionally regularized momentum integral defined in eq. (6.1), the minimal subtraction of the poles in corresponds to the modified minimal subtraction (MS) renormalization scheme. The renormalized hard contribution depends logarithmically onŝ. The Higgs collinear contribution to the LP form factor is given by the integral over the momentum fraction variable ζ in eq. (7.1). The hard form factor for g * → tt 1V + g is given in eq. (7.4). It reduces to The distribution amplitude with rapidity regularization is given in eq. (7.9). We define a renormalized distribution amplitude by minimal subtraction of the ultraviolet poles in η JHEP11(2017)127 and in : This distribution amplitude depends logarithmically on m t and on P.n. The gluon collinear contribution to the LP form factor is given by the integral over the momentum fraction variable ζ in eq. (7.10). The form factor for g * → H + tt 8T is given in eq. (7.14). It reduces to The distribution amplitude with rapidity regularization is given in eq. (7.19). We define a renormalized distribution amplitude by minimal subtraction of the ultraviolet poles in η and in : This distribution amplitude depends logarithmically on m t and on p 3 .n.
The soft contribution to the LP form factor using rapidity regularization is given in eq. (6.16). We define the renormalized endpoint contribution by minimal subtraction of the ultraviolet poles in η and in : The endpoint contribution depends logarithmically on m t . The integrals over ζ in the factorization formula in eq. (8.1) are The logarithms of P.n and p 3 .n in these two terms combine to give a logarithm ofŝ. The last three terms in the factorization formula in eq. (8.1) depend on the rapidity regularization scales ν 1 , ν 3 , and ν. The dependence on these scales cancels upon using the relation between ν 1 , ν 3 , and ν in eq. (6.18). All four terms in eq. (8.1) depend on the dimensional regularization scale µ. The dependence cancels when all the terms are added. The sum of the four terms in eq. (8.1) reproduces the LP form factor in eq. (2.11).

Improved mass dependence
The LP form factor is an approximation to the full form factor with errors of order m 2 t /Q 2 and m 2 H /Q 2 . It is relatively easy to modify the renormalized factorization formula in JHEP11(2017)127 eq. (8.1) to decrease the errors to order m 2 H /Q 2 . Since the top quark mass threshold 2m t is significantly larger than m H , one may be able to improve the accuracy by keeping the leading terms of an expansion in m 2 H /Q 2 without expanding in m 2 t /Q 2 . This will not change the parametric dependence of the error, which still decreases as 1/Q 2 . However, since the ratio r = m H /(2m t ) satisfies r 2 ≈ 0.13, one might hope for an order-of-magnitude decrease in the numerical size of the error. For the subprocess qq → Htt considered in ref. [41], this hope was not realized. The error in the leading power in m 2 H /Q 2 had the opposite sign as the error in the leading power in M 2 /Q 2 but approximately the same magnitude. We will show below that for the subprocess qq → Hg, there is in fact a significant decrease in the numerical size of the error.
In the factorization formula for the LP form factor in eq. (8.1), the hard form factors are independent of the masses m t and m H . It is not essential that the hard form factors be independent of m t and m H , but they must be infrared safe, which means that they can not have any mass singularities. One can include the top quark mass dependence by taking the hard scale to be Q ∼ P T , √ŝ and the soft scale to be M ∼ m H , but allowing m t to be an arbitrary scale that could be order M or order Q or an intermediate scale. Since m t could be order Q, the form factor cannot be expanded in powers of m 2 t /ŝ. Since m t could be order M , the form factor cannot be expanded in powers of m 2 H /m 2 t . The leading term in an expansion of the form factor in powers of m 2 H /Q 2 has an error of order m 2 H /Q 2 . We denote this approximation to the form factor by F LPH (ŝ, m 2 t , m 2 H ). We will show that it can be expressed in the same form as the factorization formula in eq. (8.1), with the only change being in the hard form factor F H+g (ŝ). The modified hard form factor depends on m t and we denote it by F (t) H+g (ŝ, m 2 t ). Using the schematic factorization formula in eq. (2.13), the hard form factor F H+g (ŝ) can be expressed as Since the left side is independent of m t and m H , we can take the simultaneous limits m t → 0 and m H → 0 on the right side. All the mass singularities must cancel on the right side to make these simultaneous limits well defined. The mass singularities also cancel between the LP form factor F LP and the full form factor F , which has the complete dependence on m t and m H . We can therefore replace F LP inside the limits by F . The resulting expression for the hard form factor is We define the m t -dependent hard form factor F (t) [H + g] simply by removing the limit JHEP11(2017)127 m t → 0 from the right side of eq. (8.10): The only terms on the right side that depend on m H are the full form factor F and the distribution amplitude for tt 1V → H. We define the LPH form factor by replacing the hard form factor F [H + g] in the schematic factorization formula in eq. (2.13) by the m t -dependent hard form factor F (t) [H + g] in eq. (8.11): We proceed to show that the errors in the LPH form factor defined by eq. (8.12) are order m 2 H /ŝ. The difference between the LPH form factor and the LP form factor in eq. (2.13) is F (t) [H + g] − F [H + g], which is order m 2 t /ŝ. Since the error in the LP form factor decreases as 1/ŝ, the error in the LPH form factor also decreases as 1/ŝ. By inserting the expression for F (t) [H + g] in eq. (8.11) into the expression for F LPH [H + g] in eq. (8.12), we find that the difference between the LPH form factor and the full form factor can be expressed as Both terms on the right side are 0 for m H = 0, so the left side must be proportional to m 2 H . Thus the error in the LPH form factor is order m 2 H /ŝ. The expression for the m t -dependent hard form factor F (t) in eq. (8.11) seems to require calculating the full form factor F and then taking the limit m H → 0. If this were true, the LPH form factor would have no calculational advantage over the full form factor. It would require a calculation involving all three scalesŝ, m t , and m H . However the m t -dependent hard form factor can be calculated more easily by not taking the limit m H → 0, but instead setting m H = 0 from the beginning. The two terms on the right side of eq. (8.11) that depend on m H are finite if m H = 0. Thus F (t) can be obtained by calculations that involve only the two scalesŝ and m t . For some other processes, such as double-Higgs production through a virtual Higgs, the limit m H → 0 in the equation analogous to eq. (8.11) produces additional infrared divergences. The calculation can still be carried out with fewer scales by setting m H = 0 from the beginning and using dimensional regularization to regularize the additional infrared divergences. After the subtractions analogous to those in eq. (8.11), these additional infrared divergence must cancel.
In the schematic expression for the m t -dependent hard form factor F (t) in eq. (8.11), the first term on the right side is the m H = 0 form factor, which is given in eq. (2.9). The three subtraction terms in eq. (8.11) are the Higgs collinear contribution with m H = 0, the gluon collinear contribution, and the soft contribution. The sum of the three regularized contributions using rapidity regularization is given in eq. m H = 0 form factor. At the tt threshold, the percentage errors in the absolute squares of the form factors are about 8% for |F LPH | 2 and about 14% for |F m H =0 | 2 . The error in |F m H =0 | 2 becomes smaller than the error in |F LPH | 2 when √ŝ increases above 0.8 TeV. The smaller error is fortuitous because it becomes larger above 2.5 GeV, as we will explain shortly. The LP form factor has a completely different qualitative behavior from the full form factor and it provides a very poor approximation in the range of √ŝ shown in figure 7. In figure 8, we compare the percentage errors in the three approximations to the full form factor. The percentage error in the absolute square of a form factor is defined as the difference from |F| 2 divided by |F| 2 . The percentage errors are shown as functions of the center-of-mass energy √ŝ , which ranges from m H to 100 m H . The right panel of figure 8 shows that the error in |F m H =0 | 2 changes sign near 1.8 TeV. It becomes larger than the error in |F LPH | 2 above 2.5 TeV. That there is a range ofŝ in which the error in |F m H =0 | 2 is smaller than the error in |F LPH | 2 is just a fortuitous consequence of the change in sign of the error in |F m H =0 | 2 . The right panel of figure 8 shows that the percentage error in |F m H =0 | 2 decreases to a minimum of −0.49% at √ŝ = 4.8 TeV, and then approaches zero very slowly. The reason for the slow approach to 0 is that the absolute error is a constant at largeŝ, while the full form factor |F| 2 increases as log 4 (ŝ/m 2 t ) whenŝ is large. The right panel of figure 8 shows that both F LP and F LPH approach the full form factor at large √ŝ , which is expected since their errors decrease as 1/ŝ. However, F LPH approaches the full form factor much more rapidly. The percentage error in |F LPH | 2 drops to 5% at √ŝ ∼ 0.68 TeV. The percentage error in |F LP | 2 drops to 5% at √ŝ ∼ 2.9 TeV.
This absolute error is order r 2 , which is approximately 0.13. The percentage error at large √ŝ in the right panel of figure 8 is about 0.5%. The reason this is so small is that the full form factor in the denominator of the percentage error increases as log 2 (ŝ/m 2 t ). There may be other processes for which the error of order r 2 from the m H = 0 approximation is disastrous. One such case is when there is interference between amplitudes that makes the differential cross section small. Bear in mind that the most important motivation for accurate calculations of Higgs production at large transverse momentum is the search for new physics beyond the standard model. An error of order r 2 could overwhelm a small signal for new physics. Moreover, there are terms dropped in the m H = 0 approximation, such as (m 2 H /m 2 t ) log(ŝ/m 2 t ), that depend on kinematic variables. Dropping such terms may change the shape of the differential cross section. Finally there are processes, such as double-Higgs production through a virtual Higgs, in which the m H = 0 approximation JHEP11(2017)127 the rapidity divergences appear naturally as infrared divergences. With rapidity regularization, the rapidity divergences appear naturally as ultraviolet divergences after zero-bin subtractions. With analytic regularization, the only kinematic variable the contribution from each region can depend on isŝ. With rapidity regularization, the Higgs collinear contribution depends logarithmically on P.n, where P is the momentum of the Higgs, and the gluon collinear contribution depends logarithmically on p 3 .n, where p 3 is the momentum of the gluon. These logarithms combine to give a logarithm ofŝ. One complication of rapidity regularization is that it requires a constraint on the rapidity regularization scales in the various regions that is given in eq. (6.18). This constraint was derived by comparing with results using analytic regularization. It would be preferable to deduce this constraint directly using only rapidity regularization.
The factorization formula given schematically in eq. (2.13) separates the hard scales Q and the soft scales M . The hard contribution to the LP form factor depends only on the hard scale Q. It can be regularized with dimensional regularization only, and it is given in eq. (3.9). With rapidity regularization, the soft contribution to the LP form factor depends only on the scale M and it is given in eq. (6.16). The Higgs collinear and gluon collinear contributions depend on both the hard scale Q and the soft scale M . In sections 5 and section 4, we separated the scales Q and M in the Higgs collinear and gluon collinear contributions. Each collinear contribution can be factorized into the integral of the product of a hard form factor and a distribution amplitude. In section 7, we showed how the hard form factors and the distribution amplitudes could be obtained through separate diagrammatic calculations. In the Higgs collinear contribution, the hard form factor for tt 1V + g is given in eq. (7.4), and the distribution amplitude for tt 1V → H with rapidity regularization is given in eq. (7.8). In the gluon collinear contribution, the hard form factor for H + tt 8T is given in eq. (7.14), and the distribution amplitude for tt 8T → g with rapidity regularization is given in eq. (7.18).
In the schematic factorization formula in eq. (2.13), the pieces that have poles in the regularization parameters are the hard form factor F [H + g], the distribution amplitude for d[tt 1V → H], the distribution amplitude for d[tt 8T → g], and the endpoint form factor F endpt [H + g]. The poles in the dimensional regularization parameter and the rapidity regularization parameter η cancel in the sum of all four terms in the factorization formula. Given the cancellation of the poles, they can alternatively be eliminated by subtractions applied to each of the divergent pieces of the factorization formula. Minimal subtraction of the poles in η and the poles in was used to define the finite pieces in the renormalized factorization formula in eq. (8.1). The hard form factor F H+g is given in eq. (8.2). The distribution amplitudes for tt 1V → H and tt 8T → g are given in eqs. (8.4) and (8.6). The endpoint form factor F endpt is given in eq. (8.7). With rapidity regularization, the poles in η are ultraviolet divergences. The subtraction of the poles in each of the regularized pieces of the factorization formula can therefore be interpreted as a renormalization procedure. It could be expressed in terms of the renormalization of an operator in an effective field theory that resembles soft collinear effective field theory in QCD. We made no attempt to develop the effective-field-theory formalism.

JHEP11(2017)127
The LP form factor F LP is a good approximation to the full form factor only at extremely largeŝ. The error is of order M 2 /ŝ, where M ∼ m t , m H , so the error decreases to 0 asŝ increases. As shown in figure 8, the rapid decrease in the error in |F LP | 2 does not begin until √ŝ is well above the ttH threshold. The percentage error does not decrease to less than 5% until √ŝ > 3 TeV. Thus the LP form factor has no practical use at LHC energies. The LPH form factor F LPH was obtained by a simple modification of the factorization formula that requires additional calculations with m H = 0. Thus it can also be obtained through calculations that involve fewer scales than the full form factor. The error in |F LPH | 2 is order m 2 H /ŝ. As shown in figure 8, the LPH form factor has the same qualitative behavior as the full form factor. The percentage error is only 8% already at the tt threshold 0.35 TeV, and it decreases to less than 5% at 0.7 TeV.
For mathematical simplicity, we illustrated our factorization approach by applying it to the subprocess qq → Hg, whose amplitude can be expressed in terms of a form factor F that is a function of a single Mandelstam variableŝ. The form factors for the subprocesses g q → H + q and gq → H +q are given by the same function F withŝ + i analytically continued to a negative Mandelstam variablet. The factorization formula involves a resolved-gluon amplitude for g → tt instead of the distribution amplitude for tt → g. Our factorization method can be applied straightforwardly to other subprocesses at LO, such as gg → H + g and gg → H + Z. The amplitudes for these processes depend on bothŝ and P T . In the region of large P T ∼ √ŝ , the dependence on P 2 T /ŝ ∼ 1 must be reproduced by the factorization formula. This has been proved to be the case to all orders for quarkonium production [51,52], and the proof can be adapted to our Higgs production process. The factorization formulas will be more complicated, because the amplitudes have more complicated tensor structures and because there are more collinear and soft regions.
Our factorization approach can be extended to NLO in α s . There may be unanticipated complications, such as contributions from Glauber regions. The success of QCD factorization gives us confidence that any complications that arise can be overcome. The NLO calculation of the form factor for qq → H + g would require calculating each of the pieces in the factorization formula in eq. (8.1) to NLO. The NLO calculations of the hard form factors F H+g , F tt 1V +g , and F H+tt 8T require straightforward perturbative QCD calculations with massless quarks. The NLO calculation of the endpoint form factor F endpt will be more complicated, because it is the product of a soft factor and the hard form factor F t+t for producing t +t, which has nontrivial dependence on the scale Q at NLO. The NLO calculation of the distribution amplitudes for tt 1V → H and for tt 8T → g may be the most challenging steps in the NLO calculation of the LP form factor. At NLO, there may be additional terms in the factorization formula associated with other double-parton channels, such as tt 1S , tt 1T , tt 8S , and tt 8V . These additional terms would require only LO calculations.
One advantage of the factorization approach is that it is in principle systematically improvable. HEFT can be used to systematically improve predictions for Higgs production at P T < 2m t by including operators of dimension 7 and higher in the HEFT Lagrangian. The factorization approach could in principle be used to systematically improve predictions for Higgs production at large P T by including higher powers in the expansion in M 2 /Q 2 .

JHEP11(2017)127
The straightforward factorization methods used to obtain the LP form factor provide improvements for P T > 2m t . The improvement used to obtain the LPH form factor expand the region of validity to P T > m H . There is an overlap region of P T between m H and 2m t where HEFT and the LPH factorization approach both apply. By combining these two approaches, we should be able to obtain systematically improved approximations to the P T distribution over the entire range of p T .
We derived our factorization formula diagrammatically. It could be derived more formally using effective field theory methods analogous to those used in soft collinear effective field theory in QCD. The individual pieces in the factorization formula could all be expressed in terms of matrix elements of operators in the effective field theory. These formal definitions could be useful in the calculation of the form factor to higher orders in α s . They would also facilitate the all-order resummation of potentially large logarithms by solving renormalization group equations. The LP and LPH form factors for qq → H + g involve single and double logarithms ofŝ/m 2 t . The resummation of these logarithms is not important at the LHC, but it could be necessary at a future 100 TeV proton-proton collider. The resummation of logarithms ofŝ/m 2 b could be important for Higgs production through a bottom quark loop at the LHC.

A Calculations of distribution amplitude
In this appendix, we calculate the function d(ζ) that appears in the distribution amplitude for tt 1V → H using analytic regularization and using rapidity regularization. We also give expressions for d(ζ)/(1 − ζ 2 ) in which the poles in the regularization parameters are explicit.

A.1 Analytic regularization
The function d(ζ) is defined using analytic regularization in eq. (4.7): where P is the 4-momentum of the Higgs, n is an arbitrary light-like four-vector, and δ 1 is the analytic regularization parameter. The measure for the integral over q is given by eq. (3.3) with δ 2 = δ 1 and δ 3 = 0.

JHEP11(2017)127
To calculate the integral in eq. (A.1), we begin by combining the denominators using a Feynman parameter: (A.2) After the shift q → q − (x − 1 2 )P in the loop momentum, this reduces to d(ζ) = Γ(2 + 2δ 1 ) We will show below that we can set q.n = 0 in the argument of the delta function, after which the delta function can be pulled outside the momentum integral. The momentum integral can then be evaluated analytically. Finally the delta function can be used to evaluate the integral over x. The result is There is an implied constraint −1 ≤ ζ ≤ +1 that comes from the integral over x.
We now verify that we can set q.n = 0 in the argument of the delta function in eq. (A.3). This is a special case of the more general identity It is convenient to use light-cone variables q + , q − , and q ⊥ for the 4-momentum q, where q.n = q + . The integral over q − has the form where A(q ⊥ ) is a function of q ⊥ . If q + = 0, the integral over q − on the left side can be shown to vanish by closing the integration contour in a half-plane that is determined by and depends on the sign of q + . If q + = 0, the integral over q − is infinite, because the integrand does not depend on q − . The integral is actually proportional to a delta function of q + , as indicated on the right side of eq. (A.6). Thus the factor of f (q + ) on the left side of eq. (A.6) can be pulled outside the integral as a prefactor f (0). The coefficient A(q ⊥ ) can then be determined by setting f (q + ) = 1 in eq. (A.6) and integrating both sides over q + : (A.7) Integrating both sides of eq. (A.6) over q + , inserting the expression for A(q ⊥ ) in eq. (A.7), and then integrating both sides of the equation over q ⊥ gives the identity in eq. (A.5).

A.2 Explicit poles in the regularization parameters
If the function d(ζ) in eq. (A.4) is divided by 1 − ζ 2 , the poles in the regularization parameters δ 1 and can be made explicit. The function d(ζ) in eq. (A.4) has a factor of [(1 − ζ 2 )/4] δ 1 . To make the poles explicit, we use the expansion The distributions in ζ on the right side of eq. (A.8) can be defined by specifying the integral of the product of the distribution and a smooth function f (ζ) over the closed interval −1 ≤ ζ ≤ +1. The Dirac delta function can be defined by The integral is 0 if f (ζ) is an odd function of ζ. The plus distributions are defined by In the last term inside the braces in eq. (A.11), the distribution 1/(1 − ζ 2 ) + has been replaced by the function 1/(1 − ζ 2 ), because the logarithm vanishes when ζ 2 = 1.

A.3 Rapidity regularization
The function d(ζ) with rapidity regularization is defined by the integral over q in eq. (7.7), with the integrand multiplied by appropriate regularization factors and with zero-bin subtractions. The rapidity regularization factor is the product of two factors like that in eq. (6.3a) with q replaced by 1 2 P + q and with q replaced by 1 2 P − q. The zero-bin subtractions remove contributions from the region where 1 2 P + q is soft and the region where 1 2 P − q is soft. It is convenient to divide d(ζ) by 1 − ζ 2 in order to facilitate the explicit extraction of the poles in the regularization parameter η.

JHEP11(2017)127
In the collinear region, P.n and q.n are order Q, but q 2 , P.q, and P 2 are order M 2 . The integral over the entire collinear region before any zero-bin subtractions is (A.12) The measure for the integral over q is given in eq. (6.1). The integral over q in eq. (A.12) can be evaluated analytically: The infrared pole in η can be made explicit by using a Laurent expansion like that in eq. (A.8): Two zero-bin subtractions are required to remove the contributions from the soft regions. To calculate the zero-bin subtractions, it is convenient to pull the factor 1/(1 − ζ 2 ) inside the integral, expressing it as a function of q.n: The zero-bin subtraction for the region where 1 2 P + q is soft can be obtained from the right side of eq. (A.12) with the modification in eq. (A.15) by first making the substitution q → k − 1 2 P and then making soft approximations for k: The delta function of 1 + ζ comes from making a soft approximation in the argument of the delta function in eq. (A.15). The factor of P.n/k.n comes from the factor of 1 + 2q.n/P.n in the denominator in eq. (A.15). The integral can be evaluated analytically: (1) η . (A.17)