1 Introduction

The \(q_T\) subtraction formalism [1] is a method to handle and cancel the IR divergences appearing in QCD computations at next-to-next-to-leading order (NNLO) and beyond. In its original formulation it has been applied to carry out a variety of NNLO QCD computations for the production of colourless final states in hadronic collisions [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]. Most of the above computations are now publicly available in Matrix [17]. A first application of \(q_T\) subtraction to the computation of the approximate next-to-next-to-next-to-leading order (N\(^3\)LO) QCD corrections to Higgs boson production through gluon fusion has been presented recently [18].

In the last few years, thanks to the formulation of transverse-momentum resummation for heavy-quark production [19,20,21,22,23] the method has been extended and applied to the production of top-quark pairs [24,25,26]. The \(q_T\) subtraction counterterm is constructed by exploiting the universal behavior of the associated transverse-momentum (\(q_T\)) distribution. Therefore, the subtraction is intrinsically non local and in practice the computation is carried out by introducing a cut, \(r_{\mathrm{cut}}\) on the tranverse momentum of the colourless system normalised to its invariant mass. When evaluated at finite \(r_{\mathrm{cut}}\) both the contribution of the real emission and the one of the counterterm exibit logarithmically divergent terms plus additional power suppressed contributions that vanish as \(r_{\mathrm{cut}}\rightarrow 0\). The efficiency of the subtraction procedure crucially depends on the size of such power suppressed contributions.

In the inclusive production of a colourless final state the power suppressed contributions are known to be quadratic in \(r_{\mathrm{cut}}\) (modulo logarithmic enhancements) [12]. This allows us to obtain precise predictions by either evaluating the cross section at sufficiently small \(r_{\mathrm{cut}}\), or carrying out the \(r_{\mathrm{cut}}\rightarrow 0\) extrapolationFootnote 1 [17]. The power suppressed contributions to the next-to-leading order (NLO) total cross section have been explicitly evaluated in Refs. [28, 29]. In the case of heavy-quark production the \(r_{\mathrm{cut}}\) dependence is found to be linear [25, 26, 30], and it is an interesting question to investigate the origin of this peculiar behavior.

Up to now the \(q_T\) subtraction formalism has been applied only to higher-order QCD computations. The formulation of the method for heavy-quark production can be straightforwardly extended to the computation of NLO electroweak (EW) corrections to the Drell–Yan process. The purpose of the present paper is twofold. We first present and discuss the first application of the \(q_T\) subtraction formalism to the computation of the NLO EW corrections to the production of massive lepton pairs. Our computation consistently includes initial-state radiation, final-state radiation from the massive leptons and their interference, and our results are compared with the ones obtained with the well established public generator Sanc [31] and to an independent computation that we carry out with the dipole subtraction formalism [32]. Then, we present the analytic computation of the power suppressed contributions, and we confirm the linear \(r_{\mathrm{cut}}\) behaviour by computing its NLO coefficient. We also extend our results to the case in which cuts are applied.

The paper is organised as follows. In Sect. 2 we review the \(q_T\)-subtraction formalism, by detailing its implementation up to NLO in the case of heavy-quark production. In Sect. 3 we apply the formalism to the computation of NLO EW corrections to the Drell–Yan process. In Sect. 4 we study the power suppressed contributions and we explicitly compute the leading power corrections in the case of final-state and initial-state radiation. In Sect. 5 we summarise our results.

2 The \(q_T\) subtraction formalism

The \(q_T\) subtraction formalism [1] is a method to handle and cancel the IR divergences appearing in higher-order QCD computations. The method uses IR subtraction counterterms that are constructed by considering and explicitly computing the transverse-momentum \(q_T\) distribution of the produced final-state system. At Born level such distribution is proportional to \(\delta (q_T^2)\). At higher perturbative orders multiple radiation of soft and collinear partons makes the distribution divergent in the \(q_T \rightarrow 0\) limit. If the produced final-state system is composed of non-QCD (colourless) partons (e.g., leptons, vector bosons or Higgs bosons), the small-\(q_T\) behaviour has a universal (process-independent) structure that is explicitly known up to the NNLO level (and, in part, at N\(^3\)LO [18, 33]) through the formalism of transverse-momentum resummation [34]. These results on transverse-momentum resummation are sufficient to fully specify the \(q_T\) subtraction formalism for this entire class of processes. By using the formulation of transverse-momentum resummation for heavy-quark production [19,20,21,22,23], the \(q_T\) subtraction formalism has been recently extended to this class of processes [24,25,26].

According to the \(q_T\) subtraction method [1], the parton level differential cross section \(d{\sigma }^{Q\bar{Q}}_{(N)NLO}\) for the inclusive production process \(pp\rightarrow Q\bar{Q}+X\) can be written as

$$\begin{aligned} d{\hat{\sigma }}^{Q\bar{Q}}_{(N)NLO}= & {} {\mathcal {H}}^{Q\bar{Q}}_{(N)NLO}\otimes d{\hat{\sigma }}^{Q\bar{Q}}_{LO}\nonumber \\&+\left[ d{\hat{\sigma }}^{Q\bar{Q}+\mathrm {jet}}_{(N)LO}- d{\hat{\sigma }}^{Q\bar{Q}, \, CT}_{(N)NLO}\right] , \end{aligned}$$
(1)

where \(d{\hat{\sigma }}^{Q\bar{Q}+\mathrm {jet}}_{(N)LO}\) is the \(Q\bar{Q}\)+jet cross section at (N)LO accuracy. The square bracket term of Eq. (1) is IR finite in the limit \(q_T \rightarrow 0\), but its individual contributions, \(d{\hat{\sigma }}^{Q\bar{Q}+\mathrm {jet}}_{(N)LO}\) and \(d{\hat{\sigma }}^{Q\bar{Q}, \, CT}_{(N)NLO}\), are separately divergent. The IR subtraction counterterm \(d{\hat{\sigma }}^{Q\bar{Q}, \,CT}_{(N)NLO}\) is obtained from the (N)NLO perturbative expansion (see, e.g., Refs. [24, 35]) of the resummation formula of the logarithmically-enhanced contributions to the \(q_T\) distribution of the \(Q\bar{Q}\) pair [19,20,21]: the explicit form of \(d{\hat{\sigma }}^{Q\bar{Q}, \,CT}_{(N)NLO}\) can be completely worked out up to NNLO accuracy.

In the following we will limit ourselves to consider Eq. (1) up to NLO accuracy. The explicit expression of \(d{\hat{\sigma }}^{Q\bar{Q}, \,CT}_{NLO}\) in the partonic channel \(ab \rightarrow Q \bar{Q}+X\) reads [24]

$$\begin{aligned} d{\hat{\sigma }}^{Q\bar{Q}, \,CT}_{NLO\, ab}=\sum _{c=q,\bar{q},g} \frac{\alpha _{\mathrm{S}}}{\pi }\; \varSigma ^{(1)}_{c\bar{c}\leftarrow ab} \otimes d{\hat{\sigma }}^{Q\bar{Q}}_{LO\, c\bar{c}}\; \frac{dq_T^2}{M^2}\;\;, \end{aligned}$$
(2)

where M is the invariant mass of the \(Q \bar{Q}\) pair and the symbol \(\otimes \) denotes convolutions with respect to the longitudinal-momentum fractions \(z_1\) and \(z_2\) of the colliding partons. The functions \(\varSigma ^{(1)}_{c\bar{c}\leftarrow ab}\) in Eq. (2) can be written as

$$\begin{aligned} \varSigma ^{(1)}_{c\bar{c}\leftarrow ab}(z_1,z_2;r)&=\varSigma ^{(1,2)}_{c\bar{c}\leftarrow ab}(z_1,z_2) {\tilde{I}}_2(r)\nonumber \\&\quad +\, \varSigma ^{(1,1)}_{c\bar{c}\leftarrow ab}(z_1,z_2){\tilde{I}}_1(r) \end{aligned}$$
(3)

where \(r=q_T/M\), and the coefficients \(\varSigma ^{(1,k)}_{c\bar{c}\leftarrow ab}(z_1,z_2)\) (\(k=1,2\)) read

$$\begin{aligned} \varSigma ^{(1,2)}_{c\bar{c}\leftarrow ab}(z_1,z_2)&=-\frac{1}{2}A_c^{(1)}\delta _{ca}\delta _{\bar{c}b}\delta (1-z_1)\delta (1-z_2) \end{aligned}$$
(4)
$$\begin{aligned} \varSigma ^{(1,1)}_{c\bar{c}\leftarrow ab}(z_1,z_2)&=-\Big [\delta _{ca}\delta _{\bar{c}b}\delta (1-z_1)\delta (1-z_2)\, B^{(1)}_c \nonumber \\&\quad +\delta _{ca}\delta (1-z_1)\,P_{\bar{c}b}^{(1)}(z_2)\nonumber \\&\quad +\delta _{\bar{c}b}\delta (1-z_2)\,P_{ca}^{(1)}(z_1)\Big ]\nonumber \\&\quad -\delta _{ca}\delta _{\bar{c}b} \delta (1-z_1)\delta (1-z_2) \nonumber \\&\quad \times \frac{\langle \mathcal{M}_{c\bar{c}\rightarrow Q\bar{Q}}|\left( {\varvec{\Gamma }}^{(1)}_t+ {\varvec{\Gamma }}_t^{(1)\dagger }\right) |\mathcal{M}_{c\bar{c}\rightarrow Q\bar{Q}}\rangle }{|\mathcal{M}_{c\bar{c}\rightarrow Q\bar{Q}}|^2}\, . \end{aligned}$$
(5)

The coefficients \(A_c^{(1)}\) and \(B_c^{(1)}\) are the first-order coefficients for transverse-momentum resummation (\(A^{(1)}_q=C_F\), \(A^{(1)}_g=C_A\), \(B^{(1)}_q=-3/2\, C_F\), \(B^{(1)}_g=-(11/6\, C_A-n_F/3)\)).

The functions \(P_{ab}^{(1)}(z)\) are the lowest-order DGLAP kernels (the overall normalisation is specified according to the notation in Eq. (41) of Ref. [35]). The functions \({\tilde{I}}_k(r)\) \((k=1,2)\), which appear in Eq. (3), encapsulate the singular behavior at small \(q_T\), and they read (see Appendix B of Ref. [35])

$$\begin{aligned} \tilde{I}_1(r)&= -\frac{b_0}{r}K_1(b_0 r),\nonumber \\ \tilde{I}_2(r)&= \frac{2b_0}{r}\left[ K_1(b_0 r)\ln {r}- \frac{\partial K_\nu (b_0 r)}{\partial \nu }\bigg |_{\nu =1}\right] , \end{aligned}$$
(6)

where \(b_0= 2e^{-\gamma _E}\) and we have introduced the modified Bessel function of imaginary argument

$$\begin{aligned} K_\nu (r) = \int _0^\infty dt e^{-r\cosh {t}}\cosh {\nu t}\, . \end{aligned}$$
(7)

The coefficient \(\varSigma ^{(1,2)}_{c\bar{c}\leftarrow ab}(z_1,z_2)\) in Eq. (4) controls the leading logarithmic contribution at small \(q_T\), while the coefficient \(\varSigma ^{(1,1)}_{c\bar{c}\leftarrow ab}(z_1,z_2)\) in Eq. (5) controls the next-to-leading logarithmic term. The latter has a first term (first line in Eq. 5) which is identical to what we have in the case of the production of a colour singlet. The second term (second line in Eq. 5) is due to soft radiation and it is an additional term that is specific of the \(q_T\) subtraction method for the case of heavy-quark pair production [24]. Here \({\varvec{\Gamma }}^{(1)}_t\) is the first-order contribution to the soft anomalous dimension for transverse-momentum resummation in heavy-quark production and its explicit expression is given in Eq. (33) of Ref. [21]. The soft anomalous dimension is a matrix acting on the colour indeces of the four hard partons in the Born level scattering amplitude \(|\mathcal{M}_{c\bar{c}\rightarrow Q\bar{Q}}\rangle \). At this perturbative order the soft anomalous dimension is expressed in terms of colour correlators \(\mathbf{T}_i\cdot \mathbf{T}_j\) with definite kinematic dependence, where the indices i and j refer to the hard-scattering partons.

The first-order hard-collinear coefficients \(\mathcal{H}^{Q\bar{Q}}_{NLO}\) in Eq. (1) are also completely known [19,20,21]. In the next Section we apply the method to the computation of EW corrections to the Drell–Yan process.

3 NLO EW corrections to the Drell–Yan process

We consider the hadroproduction of a dilepton pair through the Drell–Yan mechanism. NLO EW corrections to this process have been considered in Refs. [36,37,38,39]. A tuned comparison of various Monte Carlo codes is presented in Ref. [40].

The NLO \(q_T\) subtraction formalism for heavy-quark production reviewed in Sect. 2 can be straightforwardly extended to the computation of the NLO EW corrections to the Drell–Yan process. In this case the heavy-quark pair is replaced by a massive lepton pair and the abelian limit is carried out along the lines of Ref. [41]. The partonic cross section up to NLO EW can be evaluated by using

$$\begin{aligned} d{\hat{\sigma }}_{NLO}=\mathcal{H}_{NLO}\otimes d{\hat{\sigma }}_{LO} +\left[ d{\hat{\sigma }}^{R}- d{\hat{\sigma }}^{CT}\right] , \end{aligned}$$
(8)

where \(d\hat{\sigma }^{R}\) is the real emission cross section and the functions \(\mathcal{H}_{NLO}\) and \(d{\hat{\sigma }}^{CT}\) are obtained from the corresponding functions appearing in Eq. (1) with the replacements

$$\begin{aligned} C_A\rightarrow 0~~~~~~C_F\rightarrow e_f^2~~~~~~\mathbf{T}_i^2\rightarrow e_i^2~~~~~~\mathbf{T}_i\cdot \mathbf{T}_j\rightarrow e_i e_j\, .\nonumber \\ \end{aligned}$$
(9)

As is well known, at LO (i.e. \(\mathcal{O}(\alpha ^2)\)) both the \(q\bar{q}\) and the \(\gamma \gamma \) partonic channels contribute and we can write for the hadronic cross section

$$\begin{aligned} \sigma _{LO}=\sigma _{LO}^{q\bar{q}}+\sigma ^{\gamma \gamma }_{LO}\, , \end{aligned}$$
(10)

where \(\sigma _{LO}^{q\bar{q}}\) and \(\sigma ^{\gamma \gamma }_{LO}\) are the Born level cross sections in the \(q\bar{q}\) and \(\gamma \gamma \) channels, respectively. At NLO EW we can write

$$\begin{aligned} \sigma _{NLO}=\sigma _{LO}^{q\bar{q}}+\sigma ^{\gamma \gamma }_{LO}+\varDelta \sigma _{q\bar{q}}+\varDelta \sigma _{q\gamma }+\varDelta \sigma _{\gamma \gamma } \end{aligned}$$
(11)

where we have introduced the \(\mathcal{O}(\alpha ^3)\) correction in the \(q\bar{q}\) channel, \(\varDelta \sigma _{q\bar{q}}\), the corresponding correction in the \(q(\bar{q})\gamma \) channel, \(\varDelta \sigma _{q\gamma }\), and the correction in the \(\gamma \gamma \) channel, \(\varDelta \sigma _{\gamma \gamma }\). Since the \(\gamma \gamma \) channel provides only a very small contribution to the Drell–Yan cross section, \(\varDelta \sigma _{\gamma \gamma }\) will be neglected in the following discussion.

Our calculation is carried out by using an extension of the numerical program of Ref. [2]. All the required tree level matrix elements are computed analytically while the virtual EW corrections for \(q\bar{q}\rightarrow l^+ l^-\), which include vertex and box diagrams, are obtained by using Gosam [42, 43]. We use the setup of Ref. [44], and, in particular, we work in the \(G_\mu \) scheme with

$$\begin{aligned} G_F&=1.16637\times 10^{-5}~\mathrm{GeV}^{-2}&\alpha (0)=1/137.03599911\nonumber \\ m_W&=80.403~\mathrm{GeV}&m_Z=91.1876~\mathrm{GeV}\nonumber \\ \varGamma _W&=2.141~\mathrm{GeV}&\varGamma _Z=2.4952~\mathrm{GeV} \end{aligned}$$
(12)

and use the complex-mass scheme [45] throughout. More precisely, real and virtual photons emissions are controlled by \(\alpha (0)\), while the \(\alpha ^2\) in the LO cross section is derived from \(G_F\), \(m_Z\) and \(m_W\). Following Ref. [44], the MRST2004qed [46] parton distribution functions (PDFs) are used setting the factorization scale to \(\mu _F=M_Z\).

Table 1 Comparison of NLO EW corrections to Drell–Yan dimuon production (\(m_l\equiv m_\mu =105.658369\,\)MeV) computed with \(q_T\) subtraction and with the Sanc generator. In the \(q\bar{q}\) channel the \(q_T\) result is obtained with a linear extrapolation in the \(r_{\mathrm{cut}}\rightarrow 0\) limit (see Fig. 2), while in the \(q(\bar{q})\gamma \) channel it is obtained at \(r_{\mathrm{cut}}= 0.01 \%\). The LO result in the \(q\bar{q}\) and \(\gamma \gamma \) channels is also reported for reference. The small discrepancy in the \(\sigma ^{q\bar{q}}_{LO}\) cross section, below 0.5 per mille, can be ascribed to the use of the complex mass scheme in our computation

The following set of cuts are applied

$$\begin{aligned} m_{ll}>50~\mathrm{GeV}~~~~~~~p_{T,l}>25~\mathrm{GeV}~~~~~~~~|y_l|<2.5. \end{aligned}$$
(13)

To validate our implementation, we have performed a tuned comparison with the public generator Sanc setting the mass of the heavy lepton to the muon mass \(m_l\equiv m_\mu =105.658369\,\)MeV. In Table 1 we report our result for the lowest order cross sections \(\sigma ^{q\bar{q}}_{LO}\) and \(\sigma ^{\gamma \gamma }_{LO}\), and the NLO EW corrections in the \(q\bar{q}\) and \(q\gamma \) channels, \(\varDelta \sigma _{q\overline{q}}\) and \(\varDelta \sigma _{q\gamma }\). The NLO correction \(\varDelta \sigma _{q\bar{q}}\) is obtained performing the calculation at different values of \(r_{\mathrm{cut}}\) and extrapolating to \(r_{\mathrm{cut}}\rightarrow 0\) through a linear fit. This procedure will be fully motivated by an analytic computation presented in the next section. We find that the agreement is quite good, at few per mille on the NLO correction. The small discrepancy in the \(\sigma ^{q\bar{q}}_{LO}\) cross section, below 0.5 per mille, is consistent with the use of different schemes to handle unstable particles. In particular, at variance with what is done in Sanc, complex couplings are used within our computations.

Fig. 1
figure 1

Tuned comparison for the dilepton invariant mass distribution (top left), rapidity distribution (top right), \(p_T\) distribution of the positively charged lepton (bottom left) and rapidity distribution (bottom right) with the Sanc generator. The \(q_T\) result is obtained by fixing \(r_{\mathrm{cut}}= 0.01 \%\) and with \(m_l = m_\mu =105.658369\,\) MeV. For reference, also the LO result in showed (black line)

The comparison with Sanc can be extended to differential distributions. In Fig. 1 we compare the invariant mass (\(m_{ll}\)) and rapidity (\(y_{ll}\)) distribution of the dilepton pair, the transverse momentum and rapidity of the positively charged lepton (\(p_{T,l^+}\) and \(y_{l^+}\)) obtained with our implementation with the corresponding results obtained with Sanc. For ease of reference, we plot also the LO result in black. We see that the agreement is good, the differences typically being well below the percent level. In addition, we have repeated our calculation by using the dipole subtraction methodFootnote 2 [32] and the independent matrix-element generator Recola [48, 49] for the virtual corrections, finding the same level of agreement as reported in Table 1.

Fig. 2
figure 2

NLO EW correction as a function of \(r_{\mathrm{cut}}\) in the dominant \(q\overline{q}\) diagonal channel (left panel) and in the off-diagonal \(q(\bar{q})\gamma \) channel (right panel) at \(14\,\hbox {TeV}\). The NLO result is normalised to the \(r_{\mathrm{cut}}\)-independent cross section computed with dipole subtraction. The lepton mass is fixed to \(m_l=10\,\hbox {GeV}\). The fiducial cuts in Eq. (13) are applied

Fig. 3
figure 3

NLO EW correction as a function of \(r_{\mathrm{cut}}\) in the dominant \(q\overline{q}\) diagonal channel (left panel) and in the off-diagonal \(q(\bar{q})\gamma \) channel (right panel) at \(14\,\hbox {TeV}\). The NLO result is normalised to the \(r_{\mathrm{cut}}\)-independent cross section computed with dipole subtraction. The lepton mass is fixed to \(m_l=10\,\hbox {GeV}\). No cuts are applied

4 Power corrections

In this section we are going to analytically study the power suppressed contributions to the \(q_T\) subtraction formula in Eq. (8). In particular, we will show that the leading power suppressed contributions have a soft origin. In order to avoid complications due to the small lepton mass, which are sensitive to collinear logarithmic contributions and could obscure the \(r_{\mathrm{cut}}\) behavior, in the following we will consider a pair of heavy leptons of mass \(m_l=10\) GeV. By using the setup of Sect. 3 (see Eqs. 12, 13), we have studied the dependence of the NLO corrections for the fiducial cross section on \(r_{\mathrm{cut}}\). We have varied \(r_{\mathrm{cut}}\) in the range \(0.01\% \le r_{\mathrm{cut}}\le 1\%\) and we have used the \(r_{\mathrm{cut}}\)-independent cross section computed with our inhouse implementation of the dipole subtraction method as normalisation. The results for the \(r_{\mathrm{cut}}\) dependent correction \(\delta _{q_T}=\varDelta \sigma /\sigma _{LO}^{q\bar{q}}\) in the \(q\bar{q}\) and \(q\gamma \) channels are shown in Fig. 2. A distictive linear behavior in the dominant \(q\bar{q}\)-annihilation channel emerges. Nonetheless, as reported in Ref. [17], it is known that symmetric cuts on the transverse momenta of the final state leptons challenge the convergence of \(q_T\)-subtraction leading to a stronger dependence on \(r_{\mathrm{cut}}\) even in the case in which a charge-neutral final state is produced. In Fig. 3 we show the dependence of the NLO corrections for the inclusive cross section on \(r_{\mathrm{cut}}\) when no cuts are applied. Again a distinct linear behavior in the dominant \(q\bar{q}\)-annihilation channel emerges, in agreement with what has already been observed for the case of the \(t\bar{t}\) cross section [25], which can be clearly interpreted as a genuine new effect due to the emission of radiation off the massive final-state leptons.

In the following we analytically study the behavior of NLO cross sections computed with \(q_T\) subtraction in the \(r_{\mathrm{cut}}\rightarrow 0\) limit. We are interested in determining the structure of the leading power correction to the inclusive cross section, and in identifying the origin of the linear behavior observed in Fig. 3. We recall that when applying the \(q_T\) subtraction formula the second term on the right hand side of Eq. (8) is computed by introducing a lower limit \(r_{\mathrm{cut}}\) on the \(q_T/M\) ratio. With such a cutoff we can treat separately the real contribution \(d\hat{\sigma }^R\) and the counterterm \(d\hat{\sigma }^{CT}\). We start our discussion from the contribution of the counterterm. From Eq. (2) we have

$$\begin{aligned} d\hat{\sigma }_{ab}^{CT}(r_{\mathrm{cut}})=\sum _{c=q,\bar{q},\gamma }\int _{r_{\mathrm{cut}}}^\infty 2rdr\, \frac{\alpha _{\mathrm{S}}}{\pi } \varSigma ^{(1)}_{c\bar{c}\leftarrow ab} \otimes d\hat{\sigma }^{l^+l^-}_{LO\, c\bar{c}}\, . \end{aligned}$$
(14)

The NLO coefficient \(\varSigma ^{(1)}_{c\bar{c}\leftarrow ab}\) depends on \(r=q_T/M\) only through the functions \({\tilde{I}}_i(r)\). Therefore we have

$$\begin{aligned} \frac{d\hat{\sigma }_{ab}^{CT}(r_{\mathrm{cut}})}{dr_{\mathrm{cut}}}&=-2r_{\mathrm{cut}}\frac{\alpha _{\mathrm{S}}}{\pi }\bigg (\varSigma ^{(1,2)}_{c\bar{c}\leftarrow ab}{\tilde{I}}_2(r_{\mathrm{cut}})\nonumber \\&\quad + \varSigma ^{(1,1)}_{c\bar{c}\leftarrow ab}{\tilde{I}}_1(r_{\mathrm{cut}})\bigg )\otimes d\hat{\sigma }^{l^+l^-}_{LO\, c\bar{c}}\,. \end{aligned}$$
(15)

In the small r limit the integrals \({\tilde{I}}_1(r)\) and \({\tilde{I}}_2(r)\) read

$$\begin{aligned} \tilde{I}_1(r)&= -\frac{1}{r^2} + \frac{b_0^2}{4}\left( 1-2\ln {r}\right) + O(r^2),\nonumber \\ \tilde{I}_2(r)&= \frac{4\ln {r}}{r^2} + \frac{b_0^2}{2}\left( -1+2\ln ^2{r}\right) + O(r^2)\, , \end{aligned}$$
(16)

i.e., they depend quadratically on r modulo logarithmic terms. This results holds also at NNLO and beyond. It follows that the leading power corrections from the counterterm are always quadratic in \(r_{\mathrm{cut}}\), independently on the perturbative order. As a consequence, the linear behavior with \(r_{\mathrm{cut}}\) that we observe in heavy-quark production and in the EW corrections to dilepton production must be due to the real emission. In the following we analytically compute the real-emission contribution at small values of \(r_{\mathrm{cut}}\).

We consider the production of a massive lepton pair in pure QED in the diagonal channel

$$\begin{aligned} q(p_1)+\bar{q}(p_2)\rightarrow l^+(p3)+ l^-(p_4)+\gamma (k) \end{aligned}$$
(17)

with \(p_3^2=p_4^2=m^2\). We define the variables

$$\begin{aligned} s&=(p_1+p_2)^2~~~~~~~M^2=(p_3+p_4)^2~~~~~t=(p_1-k)^2\nonumber \\ u&=(p_2-k)^2~~~~~~~~~~q_T^2=ut/s \end{aligned}$$
(18)

and

$$\begin{aligned} z=M^2/s\, . \end{aligned}$$
(19)

Since there is a lower limit on the ratio \(r=q_T/M\) we can safely work in \(d=4\) dimensions. The differential cross reads

$$\begin{aligned} \frac{d^2 \hat{\sigma }_{q\bar{q}}}{d M^2 d q_T^2}&= \frac{1}{32s^2}\frac{1}{(2\pi )^4} \frac{1}{\sqrt{(1 - z)^2 - 4z q_T^2/M^2}} \nonumber \\&\quad \times \sqrt{1 - \frac{4 m^2}{M^2}} \int d \varOmega | \mathcal {M} |^2 \end{aligned}$$
(20)

and the angular integral is defined in the centre-of-mass frame of the final-state leptons. By integrating Eq. (20) over \(q_T^2\) and \(M^2\) and keeping into account the phase space constraints we obtain

$$\begin{aligned} \frac{d \hat{\sigma }_{q\bar{q}}}{d r_{\mathrm{cut}}^2}&=-\frac{1}{32}\frac{1}{(2\pi )^4} \int _{z_\mathrm{min}}^{z_\mathrm{max}} \frac{z\, dz}{\sqrt{(1 - z)^2 - 4 z r_{\mathrm{cut}}^2}} \nonumber \\&\quad \times \sqrt{1 - \frac{z_\mathrm{min}}{z}} \int d \varOmega | \mathcal {M} |^2 . \end{aligned}$$
(21)

where

$$\begin{aligned} z_\mathrm{min}=\frac{4m^2}{s}~~~~~~~~~~~~~z_\mathrm{max}=1-2r_{\mathrm{cut}}\sqrt{1+r_{\mathrm{cut}}^2}+2r_{\mathrm{cut}}^2\,.\nonumber \\ \end{aligned}$$
(22)

The matrix element squared \(|\mathcal{M}|^2\) can be divided into three separate gauge invariant contributions: final state radiation, initial state radiation and interference. The interference contribution is odd under the exchange \(p_3\leftrightarrow p_4\) and therefore vanishes after angular integration. We now discuss the final- and initial-state contributions in turn.

4.1 Final-state radiation

The integration of the matrix element squared corresponding to final state radiation over the angular variables can be carried out along the lines of Ref. [50]. After partial fractioning, the required angular integrals have the form

$$\begin{aligned} I^{ (k, l)}&= \int _0^{\pi } \sin \vartheta _1 d \vartheta _1 \int _0^{\pi } d \vartheta _2 (a + b \cos \vartheta _1)^{- k} \nonumber \\&\quad \times (A + B \cos \vartheta _1 + C \sin \vartheta _1 \cos \vartheta _2)^{- j} \end{aligned}$$
(23)

where the coefficients abABC are functions of the invariants \(s,M^2, u, t\). The ensuing contribution to \(d\hat{\sigma }_{q\bar{q}}/dr_{\mathrm{cut}}^2\) can be expressed in the following form

$$\begin{aligned} \frac{d \hat{\sigma }^{\mathrm{FS}}_{q\bar{q}}}{d r_{\mathrm{cut}}^2}&= - \frac{4 \alpha ^3e_q^2}{3s}\int _{z_\mathrm{min}}^{z_\mathrm{max}}dz \left[ \frac{K_1(z;z_\mathrm{min})}{(1-z)^2\sqrt{(1 - z)^2 - 4 z r_{\mathrm{cut}}^2}}\right. \nonumber \\&\quad \left. + \frac{K_2(z;z_\mathrm{min})r_{\mathrm{cut}}^2}{(1-z)^4\sqrt{(1 - z)^2 - 4 z r_{\mathrm{cut}}^2}} \right] \end{aligned}$$
(24)

in terms of two coefficient functions, \(K_1\) and \(K_2\), which are regular at \(z=1\) (soft limit) and do not depend on the cut-off parameter \(r_{\mathrm{cut}}\):

$$\begin{aligned}&K_1(z;z_\mathrm{min}) = -\left[ z_\mathrm{min}z^2+z(1+z)^2\right] \sqrt{1-\frac{z_\mathrm{min}}{z}} \nonumber \\&\quad \quad + z\left( 1+z^2+z_\mathrm{min}z-\frac{z_\mathrm{min}^2}{2}\right) \ln {\frac{\displaystyle 1+\sqrt{1-\frac{z_\mathrm{min}}{z}}}{\displaystyle 1-\sqrt{1-\frac{z_\mathrm{min}}{z}}}}, \end{aligned}$$
(25)

and

$$\begin{aligned} K_2 (z;z_\mathrm{min})&= 2 z^2 \left\{ \left[ 1 + z (6 + z) + z_\mathrm{min}z\right] \sqrt{1-\frac{z_\mathrm{min}}{z}} \right. \nonumber \\&\quad - \left( 1 + z^2 + z_\mathrm{min}(2 + z) - \frac{z_\mathrm{min}^2}{2}\right) \nonumber \\&\quad \left. \times \ln {\frac{\displaystyle 1+\sqrt{1-\frac{z_\mathrm{min}}{z}}}{\displaystyle 1-\sqrt{1-\frac{z_\mathrm{min}}{z}}}}\right\} . \end{aligned}$$
(26)

In the small-\(r_{\mathrm{cut}}\) limit the integral in Eq. (24) can be computed by using the expansions

$$\begin{aligned}&\frac{\varTheta (z_\mathrm{max}-z)\varTheta (z-z_\mathrm{min})}{(1-z)^2\sqrt{(1 - z)^2 - 4 z r_{\mathrm{cut}}^2}}=\frac{1}{4}\delta (1-z)\frac{1}{r_{\mathrm{cut}}^2}\nonumber \\&\quad +\frac{\pi }{8}\left[ \delta (1-z)+2\delta ^\prime (1-z)\right] \frac{1}{r_{\mathrm{cut}}}+\mathcal{O}(1)\nonumber \\&\frac{\varTheta (z_\mathrm{max}-z)\varTheta (z-z_\mathrm{min})r_{\mathrm{cut}}^2}{(1-z)^4\sqrt{(1 - z)^2 - 4 z r_{\mathrm{cut}}^2}}=\frac{1}{24}\delta (1-z)\frac{1}{r_{\mathrm{cut}}^2}\nonumber \\&\quad +\frac{\pi }{64}\left[ 3\delta (1-z)+2\delta ^\prime (1-z)\right] \frac{1}{r_{\mathrm{cut}}}+\mathcal{O}(1) \end{aligned}$$
(27)

and we obtain for the \(r_{\mathrm{cut}}\) dependence of the partonic cross section

$$\begin{aligned} \hat{\sigma }^{\mathrm{FS}}_{q\bar{q}}(s;r_{\mathrm{cut}})&=\sigma _0(s)\frac{\alpha }{2\pi }\bigg \{\left[ 2-\frac{(1+\beta ^2)}{\beta }\ln \frac{1+\beta }{1-\beta }\right] \ln {(r_{\mathrm{cut}}^2)}\nonumber \\&\quad - \frac{3\pi }{8} \left[ \frac{6(5-\beta ^2)}{3-\beta ^2} + \frac{-47+8\beta ^2+3\beta ^4}{\beta (3-\beta ^2)}\right. \nonumber \\&\qquad \qquad \left. \times \ln \frac{1+\beta }{1-\beta } \right] r_{\mathrm{cut}}\bigg \} + O(r_{\mathrm{cut}}^2)\nonumber \\&\equiv \hat{\sigma }^{\mathrm{FS}}_{\mathrm{LP}}(s;r_{\mathrm{cut}}) + \hat{\sigma }^{\mathrm{FS}}_{\mathrm{NLP}}(s;r_{\mathrm{cut}}) + O(r_{\mathrm{cut}}^2) \end{aligned}$$
(28)

where we have dropped terms which do not depend on \(r_{\mathrm{cut}}\) and we have introduced the Born cross section

$$\begin{aligned} \sigma _0(s)=\frac{2\pi }{9s}\alpha ^2 e_q^2\beta (3-\beta ^2) \end{aligned}$$
(29)

with \(\beta =\sqrt{1-\frac{4m^2}{s}}\).

Equation (28) shows that the final-state contribution to the NLO cross section, integrated down to \(r_{\mathrm{cut}}\), contains the expected single logarithmic term in \(r_{\mathrm{cut}}\), which is due to soft emission and will be cancelled by the subtraction counterterm [more precisely, by the abelian limit of the term in the second line in Eq. (5)]. The next-to-leading power contribution \(\hat{\sigma }^{\mathrm{FS}}_{\mathrm{NLP}}(s;r_{\mathrm{cut}})\) is linear in \(r_{\mathrm{cut}}\) and it is responsible for the behavior observed in Fig. 3.

4.2 Initial-state radiation

The integration of the matrix element squared corresponding to initial-state radiation over the angular variables is straightforward and we obtain

$$\begin{aligned} \frac{d \hat{\sigma }^{\mathrm{IS}}_{q\bar{q}}}{d r_{\mathrm{cut}}^2}&= -\frac{4 \alpha ^3e_q^4}{9s}\int _{z_\mathrm{min}}^{z_\mathrm{max}}dz \bigg [ \frac{K_3(z;z_\mathrm{min})}{r_{\mathrm{cut}}^2\sqrt{(1 - z)^2 - 4 z r_{\mathrm{cut}}^2}}\nonumber \\&\quad + \frac{K_4(z;z_\mathrm{min})}{\sqrt{(1 - z)^2 - 4 z r_{\mathrm{cut}}^2}} \bigg ] \end{aligned}$$
(30)

where the coefficient functions \(K_3\) and \(K_4\) now read

$$\begin{aligned} K_3(z;z_\mathrm{min})&=\sqrt{1-\frac{z_\mathrm{min}}{z}}\left( z+\frac{z_\mathrm{min}}{2}\right) \frac{1+z^2}{z^2}\nonumber \\ K_4(z;z_\mathrm{min})&=-2K_3(z;z_\mathrm{min})\frac{z}{1+z^2}\, . \end{aligned}$$
(31)

The coefficient function \(K_3(z;z_\mathrm{min})\) controls the most singular term, and is proportional to the Altarelli–Parisi splitting function. In order to evaluate the integral in Eq. (30) we have to expand the distribution

$$\begin{aligned} T(z,r_{\mathrm{cut}},z_\mathrm{min})=\frac{\varTheta (z-z_\mathrm{min})\varTheta (z_\mathrm{max}-z)}{\sqrt{(1-z)^2-4z r_{\mathrm{cut}}^2}} \end{aligned}$$
(32)

in the small \(r_{\mathrm{cut}}\) limit. Since we know that linear terms in \(r_{\mathrm{cut}}\) are absent, we have to expand up to \(\mathcal{O}(r_{\mathrm{cut}}^2)\). Such expansion is tricky, because the functions \(K_3(z;z_\mathrm{min})\) and \(K_4(z;z_\mathrm{min})\) contain a square root which vanishes at \(z=z_\mathrm{min}\). At variance with the case of final-state radiation, this leads to spurious singularities when the distributions appearing in the expansion involve derivatives at \(z=z_\mathrm{min}\). We found it convenient to split the integration over z as follows

$$\begin{aligned} \int _{z_\mathrm{min}}^{z_\mathrm{max}} dz = \int _{z_\mathrm{min}}^a dz + \int _a^{z_\mathrm{max}} dz, \quad z_\mathrm{min}< a < z_\mathrm{max}\, . \end{aligned}$$
(33)

The integral from \(z_\mathrm{min}\) to a can be safely computed by expanding in \(r_{\mathrm{cut}}\). The integral from a to \(z_\mathrm{max}\) can be computed by using the expansion

$$\begin{aligned} T(z,r_{\mathrm{cut}},a)&=-\frac{1}{2}\delta (1-z)\ln r_{\mathrm{cut}}^2+\left( \frac{1}{1-z}\right) _a\nonumber \\&\quad +\ln (1-a)\delta (1-z)\nonumber \\&\quad -\frac{1}{2}\left( \delta ^{(2)}(1-z)-2\delta ^{(1)}(1-z)\right) r_{\mathrm{cut}}^2\ln r_{\mathrm{cut}}^2\nonumber \\&\quad +\Bigg [\left( 1+\ln {(1-a)}\right) \delta ^{(2)}(1-z)\nonumber \\&\qquad - [1+2\ln {(1-a)}]\delta ^{(1)}(1-z)- \frac{1}{2}\delta (1-z)\nonumber \\&\qquad + \frac{1-2a}{(1-a)^2}\delta (z-a) - \frac{a}{1-a}\delta ^{(1)}(z-a)\nonumber \\&\qquad + D^{(2)}(z,a) + 2 D^{(1)}(z,a)\Bigg ]r_{\mathrm{cut}}^2+\mathcal{O}(r_{\mathrm{cut}}^4) . \end{aligned}$$
(34)

where we have defined the distributions \(\delta ^{(n)}(z-b)\), \(\left( \frac{1}{1-z}\right) _a\), \(D^{(1)}(z,a)\) and \(D^{(2)}(z,a)\) through their action on a test function f(z) as

$$\begin{aligned} \int _{0}^{1} dz f(z) \delta ^{(n)}(z-b)&= (-1)^n f^{(n)}(b), \quad b\in [0,1], \end{aligned}$$
(35)
$$\begin{aligned} \int _{0}^{1} dz f(z) \left( \frac{1}{1-z}\right) _a&= \int _a^1 dz \frac{f(z)-f(1)}{1-z},\end{aligned}$$
(36)
$$\begin{aligned} \int _{0}^{1} dz f(z) D^{(1)}(z,a)&= \int _a^1 dz \frac{f^{(1)}(z)-f^{(1)}(1)}{1-z},\end{aligned}$$
(37)
$$\begin{aligned} \int _{0}^{1} dz f(z) D^{(2)}(z,a)&= \int _a^1 dz \frac{zf^{(2)}(z)-f^{(2)}(1)}{1-z}\, . \end{aligned}$$
(38)

By combining the two contributions \(z_\mathrm{min}<z<a\) and \(a<z<z_\mathrm{max}\) the dependence on a cancels out and we obtain for the \(r_{\mathrm{cut}}\) dependence of the partonic cross section

$$\begin{aligned}&\hat{\sigma }^{\mathrm{IS}}_{q\bar{q}}(s;r_{\mathrm{cut}}) \nonumber \\&\quad = \sigma _0(s)\frac{\alpha }{2\pi }e_q^2 \bigg \{ \ln ^2{r_{\mathrm{cut}}^2}\nonumber \\&\qquad - 4 \left( 2\ln {2} - \frac{4}{3} - \ln \frac{1-\beta ^2}{\beta ^2} - \frac{1}{\beta (3-\beta ^2)}\ln \frac{1+\beta }{1-\beta } \right) \ln {r_{\mathrm{cut}}^2}\nonumber \\&\qquad -\frac{3}{2}\frac{(1+\beta ^2)(1-\beta ^2)^2}{\beta ^4(3-\beta ^2)}\nonumber \\&\quad \times \left( 1-4\ln {2} +2\ln \frac{(1-\beta ^2)r_{\mathrm{cut}}}{\beta ^2}\right) r_{\mathrm{cut}}^2\bigg \} +\cdots \nonumber \\&\quad \equiv \hat{\sigma }^{\mathrm{IS}}_{\mathrm{LP}}(s;r_{\mathrm{cut}}) + \hat{\sigma }^{\mathrm{IS}}_{\mathrm{NLP}}(s;r_{\mathrm{cut}}) +\cdots \end{aligned}$$
(39)

where we have dropped terms which do not depend on \(r_{\mathrm{cut}}\) and the dots stand for terms that vanish faster than \(r_{\mathrm{cut}}^2\) as \(r_{\mathrm{cut}}\rightarrow 0\). At variance with Eq. (28), Eq. (39) contains a double and a single logarithmic term in \(r_{\mathrm{cut}}\), which will be cancelled by the subtraction counterterm. As expected, the next-to-leading power contribution \(\hat{\sigma }^{\mathrm{IS}}_{\mathrm{NLP}}(s;r_{\mathrm{cut}})\) is quadratic in \(r_{\mathrm{cut}}\), modulo logarithmic enhancements.

Fig. 4
figure 4

Subtracted partonic cross section for final-state radiation (left panel) and initial-state radiation (right panel). The solid lines represent the subtraction of the leading-power term, while the red solid line is obtained by subtracting also the next-to-leading power terms in Eqs. (28) and (39), respectively. The upper panels show the result normalised to the Born cross section, while the lower panels show the result normalised to the \(r_{\mathrm{cut}}\rightarrow 0\) limit. The computation is carried out at fixed \(\beta =0.6\)

As a byproduct of our calculation, we can reobtain the power suppressed terms in the case of the production of a vector boson of mass M. To get rid of the decay it is enough to carry out the \(m\rightarrow 0\) limit, while the constraint on the mass of the vector boson M eliminates the integration over the z variable. By using the expansion in Eq. (34) with \(a=0\) the contributions from the functions \(K_3(z;z_\mathrm{min})\) and \(K_4(z;z_\mathrm{min})\) agree with the results in Eq. (4.7) and (4.8) in Ref. [29].

4.3 Numerical validation

In order to check the results presented in Sects. 4.1, 4.2 we have numerically implemented the exact real emission contribution to the cross section and the expansions in Eqs. (28) and (39).

In Fig. 4 we report the exact real emission partonic cross section in the \(q\bar{q}\) channel for \(\beta =0.6\) as a function of \(r_{\mathrm{cut}}\) from which we have subtracted the leading-power contribution (black curve) and both the leading and next-to-leading power contributions (red curve). The numerical computation is separately carried out for the final-state radiation (left panel) and initial-state radiation (right panel) contributions. Both for final-state radiation and initial-state radiation the leading-power contribution exactly matches the divergent behavior of the real emission cross section which is finite in the small-\(r_{\mathrm{cut}}\) limit. The subtraction of the leading-power contribution exactly corresponds (up to quadratic terms in \(r_{\mathrm{cut}}\), see Eq. 16) to the second term on the right hand side of Eq. (8) and it is thus what is usually done in the standard \(q_T\) subtraction procedure. In the case of final-state radiation (left panel) the subtracted cross section exibits the expected linear behavior, while for initial-state radiation (right panel) the subtracted cross section scales quadratically with \(r_{\mathrm{cut}}\). When besides the leading-power contribution, also the next-to-leading power (linear) term is subtracted the final-state subtracted cross section (red curve) behaves quadratically with \(r_{\mathrm{cut}}\), consistently with the result in Eq. (28). In the case of initial-state radiation, the additional subtraction of the next-to-leading power (quadratic) term makes the subtracted cross section almost independent on \(r_{\mathrm{cut}}\).

4.4 Hadronic cross section

We now briefly comment upon the behavior of the hadronic cross section. In the following, we will show that when the fully inclusive cross section is considered, the convolution with the PDFs potentially introduces an additional linear term in \(r_{\mathrm{cut}}\). In the case of final-state radiation such contribution could modify the parton level result. In the case of initial-state radiation such contribution could potentially change the power counting, by making the power correction linear. However, we will argue that, both for final-state and initial-state radiation, such additional term vanishes.

The real contribution to the hadronic cross section reads

$$\begin{aligned} \sigma (S,r_{\mathrm{cut}})&= \sum _{a,b}\int _0^1 dx_1 \int _0^1 dx_2f_a(x_1,\mu _F)f_b(x_2,\mu _F)\nonumber \\&\quad \times \hat{\sigma }_{ab}(s,r_{\mathrm{cut}})\delta (x_1x_2S-s) \end{aligned}$$
(40)

where S is the hadronic CM-energy. The presence of a finite \(r_{\mathrm{cut}}\) implies that

$$\begin{aligned} s > \frac{4m^2}{z_\mathrm{max}}. \end{aligned}$$
(41)

where \(z_\mathrm{max}\), defined in Eq. (22), behaves linearly with \(r_{\mathrm{cut}}\)

$$\begin{aligned} z_\mathrm{max}=1-2r_{\mathrm{cut}}+\mathcal{O}(r_{\mathrm{cut}}^2)\, . \end{aligned}$$
(42)

The hadronic cross section in Eq. (40) can be rewritten as

$$\begin{aligned}&\sigma (S,r_{\mathrm{cut}}) \nonumber \\&\quad = \sum _{a,b}\int _0^1 dx_1 \int _0^1 dx_2f_a(x_1,\mu _F)f_b(x_2,\mu _F) \nonumber \\&\quad \quad \times \varTheta \left( x_1x_2S-\frac{4m^2}{z_\mathrm{max}}\right) \hat{\sigma }_{ab}\left( s=x_1x_2S,r_{\mathrm{cut}}\right) \nonumber \\&\quad = z_0 \sum _{a,b}\int _{z_0}^{z_\mathrm{max}} \frac{dz}{z^2} \int _{\ln {\sqrt{{z_0}/{z}}}}^{-\ln {\sqrt{{z_0}/{z}}}} dy \nonumber \\&\quad \quad \times f_a\left( \sqrt{\frac{z_0}{z}}e^y,\mu _F\right) f_b\left( \sqrt{\frac{z_0}{z}}e^{-y},\mu _F\right) \nonumber \\&\quad \quad \times \hat{\sigma }_{ab}\left( s=\frac{4m^2}{z},r_{\mathrm{cut}}\right) \nonumber \\&\quad \equiv \sum _{a,b}\int _{z_0}^{z_\mathrm{max}} dz\, \mathcal{L}_{ab}(z,z_0;\mu _F)\,\hat{\sigma }_{ab}\left( s=\frac{4m^2}{z},r_{\mathrm{cut}}\right) \end{aligned}$$
(43)

where in the last step, we have performed the change of variables

$$\begin{aligned} x_1 = \sqrt{\frac{z_0}{z}}e^y,\quad x_2 = \sqrt{\frac{z_0}{z}}e^{-y},\quad z_0 \equiv \frac{4m^2}{S}\, . \end{aligned}$$
(44)

The presence of \(z_\mathrm{max}\) as an upper integration limit in Eq. (43) could potentially induce an additional linear term in \(r_{\mathrm{cut}}\) when the hadronic cross section is evaluated. However, the partonic cross section vanishes at the kinematical limit \(z=z_\mathrm{max}\)

$$\begin{aligned} \hat{\sigma }_{ab}\left( s=\frac{4m^2}{z_\mathrm{max}},r_{\mathrm{cut}}\right) =0\, . \end{aligned}$$
(45)

This is a sufficient mathematical condition to prevent the appearance of a further linear term through integration. We thus conclude that, as anticipated, in the case of final-state radiation the linear term in \(r_{\mathrm{cut}}\) is completely driven by the parton level result, while for initial-state radiation the convolution with PDFs will not produce linear terms in \(r_{\mathrm{cut}}\).

4.5 Final-state radiation at next-to-leading power: beyond inclusive observables

In Sect. 4.1, we have established by means of an analytical computation that in the case of final-state radiation off massive emitters the leading power corrections are linear in \(r_{\mathrm{cut}}\) and we have explicitly evaluated the coefficient of the linear term. The feasibility of our computation and the methods involved crucially rely on the fact we consider a sufficiently inclusive observable as the total cross section. In the following we propose a way to promote the calculation of the final-state radiation contribution to differential level.

Our starting point is the expansion of the real contribution to the differential cross section in the soft limit. According to the discussion in Appendix A, the leading soft contribution allows us to obtain the leading-power term in \(r_{\mathrm{cut}}\), while the next-to-soft contribution will allow us to obtain the next-to-leading power. By inspection of Eq. (27) which involves the derivative of the \(\delta \)-distribution, we indeed expect that higher order terms in the soft expansion contribute to the next-to-leading power.

In the following we propose a strategy to numerically prove the above result, which in turns provides a procedure to compute the next-to-leading power in a fully differential way. From the soft contributions we can construct a local counterterm which cancels the singularities of the real cross section but does not contribute to the next-to-leading power. Then the subtracted cross section is finite in four dimensions and can be integrated numerically in the unresolved region \(r < r_{\mathrm{cut}}\). By construction, since the standard \(q_T\) subtraction counterterm does not lead to linear contributions in \(r_{\mathrm{cut}}\) (see Eq. 16), the combination of the standard \(q_T\) subtraction formula for \(r>r_{\mathrm{cut}}\) with such an additional subtracted term for \(r < r_{\mathrm{cut}}\) will be free of linear terms in \(r_{\mathrm{cut}}\).

To construct the additional counterterm we need a mapping which reabsorbs the radiation into a Born-like configuration. Among the available mappings at NLO, we choose the mapping proposed in Ref. [51]. It is a massive FKS [52] mapping dedicated to the case of the radiative emission off final state massive emitters and present some peculiar features:

  • the radiation is reabsorbed in such a way not to modify the partonic CM energy;

  • the energy of the radiation (in the CM frame), which controls the way the soft limit is approached, appears explicitly among the variables of the mapping.

Fig. 5
figure 5

NLO EW correction as a function of \(r_{\mathrm{cut}}\) for the complete Drell–Yan process in the dominant \(q\overline{q}\) diagonal channel without cuts (left panel) and with asymmetric cuts (right panel) at \(7\,\hbox {TeV}\). The standard result obtained with \(q_T\) subtraction (grey band) is compared with the result obtained by including the power suppressed contribution in Eq. (48). The NLO result is normalised to the \(r_{\mathrm{cut}}\)-independent cross section computed with dipole subtraction

In the above mapping, we identify an emitter and a radiated parton. The radiation variables are given by the radiation energy fraction \(\xi = 2 E_{\mathrm{rad}}/\sqrt{s}\) (s is the partonic CM energy), the cosine of the angle between the emitter and the radiated partons y and an azimuthal angle \(\phi \) (we refer to Ref. [51] for more details). The phase space reads

$$\begin{aligned} d\varPhi _R = d\varPhi _B \times J(\xi ,y,\phi ) d\xi dy d\phi \end{aligned}$$
(46)

where \(d\varPhi _B\) is the Born phase space element and the jacobian J is given in Eq. (49) of Ref. [51], and reduces to \(J^{(0)}=s\,\xi /(4\pi )^3\) in the soft limit. The local soft counterterm is defined as

$$\begin{aligned} d \hat{\sigma }^{CT}_{S}&= d\hat{\sigma }_{LO}(\varPhi _B) \times \frac{e^2}{4\pi ^3s}\frac{d\xi }{\xi }dy d\phi \nonumber \\&\quad \times \left[ \frac{s-2m^2}{(1-\beta y_{\mathrm{phy}})(1+\beta y_{\mathrm{phy}})} -\frac{m^2}{(1-\beta y_{\mathrm{phy}})^2} - \frac{m^2}{(1+\beta y_{\mathrm{phy}})^2}\right] \nonumber \\ \end{aligned}$$
(47)

where \(\beta = \sqrt{1-{4m^2}/{s}}\) and \(y_{\mathrm{phy}}\) is the cosine of the physical angle between the emitted photon and the leptons in the Born configuration (in practice we have either \(y_{\mathrm{phy}}=y\) or \(y_{\mathrm{phy}}=-y\) [51]). The next-to-leading power correction as function of \(r_{\mathrm{cut}}\) is obtained by subtracting the new soft counterterm from the real emission contribution in the unresolved region \(r<r_{\mathrm{cut}}\)

$$\begin{aligned} d\hat{\sigma }^{\mathrm{FS}}_{\mathrm{NLP}}(r_{\mathrm{cut}})&= d\hat{\sigma }^{\mathrm{FS}}\varTheta (r_{\mathrm{cut}} M(\varPhi _R) - q_T) \nonumber \\&\quad - d\hat{\sigma }^{CT}_S\varTheta ( r_{\mathrm{cut}} \sqrt{s} - q_T ) \end{aligned}$$
(48)

where in the argument of the second theta function, we take the soft limit \(M(\phi _R) \rightarrow M(\varPhi _B)=\sqrt{s}\).

The expression in Eq. (48) is fully differential, so that it can be used also in the case in which cuts on the final state are applied. The contribution in Eq. (48) can be combined with the standard \(q_T\) subtraction formula in Eq. (8) to obtain an improved subtraction procedure. In Fig. 5 we study the \(r_{\mathrm{cut}}\) dependence of the NLO EW correction to the complete Drell–Yan process when the \(q_T\) subtraction formula is supplemented with the next-to-leading power term in Eq. (48). We consider pp collisions at \(\sqrt{S}=7\) TeV and we compute the \(r_{\mathrm{cut}}\) dependent correction \(\delta _{q_T}(r_{\mathrm{cut}})\) in the case in which no cuts are applied (Fig. 5 (left)) and when asymmetric cuts on the transverse momenta and rapidities are applied: \(p_{T,l^-}>25\,\hbox {GeV}\), \(p_{T,l^+}>20\,\hbox {GeV}\) and \(|y_l|<2.5\) (Fig. 5 (right)). We see that in both cases the linear dependence with \(r_{\mathrm{cut}}\) is nicely cancelled.Footnote 3 The crucial point for this additional subtraction to be effective is that the additional counterterm in Eq. (47) scales like \(d\xi /\xi \), thereby leading to purely logarithmic contributions in \(r_{\mathrm{cut}}\). We have checked that alternative local subtractions which do not fulfill this property do not lead to a cancellation of the linear term.

We conclude this section with few comments on the above results. The subtraction of the linear \(r_{\mathrm{cut}}\) behavior through Eq. (48) does not require any analytic integration. It just requires an appropriate phase space mapping. The reader may of course argue that there is no need to introduce the modification of Eq. (48) to achieve a smooth cancellation of the soft singularity. Indeed, at NLO one can simply use a local subtraction scheme like FKS or dipole subtraction to carry out the fully differential computation. Nonetheless, the strategy adopted here could prove itself useful when extending the computation to the mixed QCD-EW corrections with the \(q_T\) subtraction formalism. In this case, given that we aim at the computation of an effect of the order of few per mille, having a quadratic instead of linear \(r_{\mathrm{cut}}\) behavior could dramatically improve the numerical control of the \(\mathcal{O}(\alpha \alpha _{\mathrm{S}})\) contribution.

5 Summary

In this paper we have considered an application of the \(q_T\) subtraction formalism to the production of massive lepton pairs in hadron collisions, and we have used this process as a case study to investigate the power suppressed contributions in the parameter \(r_{\mathrm{cut}}\). We have shown that \(q_T\) subtraction can be applied to evaluate NLO EW corrections to this process through a straightforward abelianisation procedure from heavy-quark production in QCD. The computation can be carried out for lepton masses as small as the one of the muon without substantial complications, and we have been able to successfully reproduce inclusive and differential results obtained with the numerical program Sanc. Our calculation paves the way to possible applications to the computation of mixed QCD-EW corrections [41, 53,54,55,56] and to NNLO QED corrections [41] to the Drell–Yan process.

We have then studied the power suppressed contributions to the \(q_T\) subtraction formula in the parameter \(r_{\mathrm{cut}}\). As is known, in the case of the inclusive cross section, initial state radiation leads to power corrections quadratic in \(r_{\mathrm{cut}}\), and we have explicitly evaluated the corresponding NLO coefficient. Generally speaking, linear power suppressed terms arise when cuts on the lepton transverse momenta are applied. We have shown that, even in the case of the inclusive cross section, final state radiation leads to a linear power correction in \(r_{\mathrm{cut}}\). We have explicitly computed the coefficient of such linear term in the case of the inclusive cross section. By exploiting the purely soft nature of final state singularities, we have also discussed how the result can be extended to differential distributions. The method used to carry out such extension could be used in future applications of the \(q_T\) subtraction formalism at \(\mathcal{O}(\alpha \alpha _{\mathrm{S}})\).