Abstract
We derive the leading order matching of the quark generated polarized transverse momentum dependent (TMD) distributions onto the collinear functions at small values of the transverse distance. Starting from the very definition of the TMD operator and performing the light-cone operator product expansion up to twist-3 order, we evaluate each distribution directly in position space. We primarily consider the cases of Sivers, Boer-Mulders and worm-gear functions. The effects of the TMD process dependence on the matching are explicitly shown. We also discuss the moments of TMD distributions which can be relevant for lattice calculations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the modern challenges of QCD is represented by the study of the effects of polarization in differential cross sections for semi-inclusive deep inelastic scattering (SIDIS) and Drell-Yan/vector/scalar-boson production. The cross sections can be factorized in terms of transverse momentum dependent (TMD) distributions [1,2,3,4] which describe the (transverse and collinear) momentum distribution of quarks and gluons inside a nucleon. The perturbative inputs of the factorization formula play an important role, and presumably should be included at the maximum allowed order to provide the best agreement/prediction of the theory with experiment. The importance of perturbative input both at high and low energy, was demonstrated for instance in [5] within the analysis of unpolarized TMD parton distribution functions (TMDPDFs).
Some perturbative parts of the TMD factorization are universal and independent of polarization. It concerns primary the hard coefficient function and evolution kernels, which nowadays are known up three-loop order [6,7,8]. The additional parts that require the perturbative input are the actual models for TMD distributions. The perturbative computation gives us some relevant information in the limit of large transverse momentum (that is, in the limit of small transverse distances or small-b). In this limit, the TMD distributions match collinear distributions providing a starting point for phenomenology and greatly increasing the agreement with high-energy data. Nowadays, the matching for the most part TMD distributions are known, although the information is often difficult to extract from the literature. The matching of TMD distributions to the twist-2 functions is known uniformly at the one-loop level [9], and some of them are known at two-loop level [10,11,12]. The matching onto the twist-3 functions is less elaborated. A preliminary study was provided in [13] prior to the modern formulation of factorization theorem. The main aim of this paper is to uniformly evaluate the matching of quark TMDPDFs at the twist-3 level, using solely the definition of the TMD distribution as it is provided by the TMD factorization theorem.
The desired matching expressions are given by the first terms of the operator product expansion (OPE) for the TMD operator at small-b, or in the vicinity of the light-cone. It can be systematically done starting from the field-theoretical definition of the TMD operator, using the algebra of fields and QCD equations of motion. We recall that the OPE is naturally formulated in position space, and can be performed without any explicit reference to a particular process. So, the method is universal and it allows one to calculate any TMD distribution at any order. Here we consider only the contributions of twist-2 and twist-3 functions, and it covers almost all (7 out of 8) quark TMDPDFs. The gluon distributions, as well as, TMD fragmentation functions (TMDFFs) can be considered in principle in the same fashion. It is important to point out that the OPE does not depend on hadronic states, therefore, many results of this work can be applied directly, or with a minimal effort, to closely related areas, such as studies of generalized transverse momentum distributions (GTMDs) and Wigner function [14, 15]. Additionally, we think that OPE approach is technically simpler and more systematic in comparison to a direct evaluation and factorization of cross-sections, which is often used see e.g. [16,17,18].
In order to realize our computations we start observing that the operators that define TMD distributions have a peculiar structure, which distinguishes them from more traditional parton distribution functions (PDFs) and fragmentation functions (FFs), distributions amplitudes and others. Namely, they include half-infinite light-like Wilson lines, and they are geometrically non-compact. Moreover, the direction of the Wilson lines depends on the underline process. This direction is future pointing for production mechanisms (such as fragmentation in semi-inclusive deep-inelastic scattering (SIDIS)), and past pointing for collision mechanisms (such as Drell-Yan process). It gives a superficial process dependence of the TMD distributions, in the form of sign-flip for P-odd distributions [19]. At the same time, the collinear distributions are perfectly independent on the process, therefore, any process dependence of TMD operator must reveal itself within OPE. We indeed observe this effect and demonstrate that it appears in the contributions specific for the TMD operators. Exactly these contributions give rise to the famous Efremov-Teryaev-Qiu-Sterman (ETQS) function [20,21,22,23]. Moreover, we have observed that these process-dependent terms of OPE, also contribute to the P-even, and hence process-independent, distributions. Altogether, to our best knowledge, the analysis presented here is the first study of OPE for TMD operators beyond the twist-2 accuracy. As a final result, we obtain all leading order matching expressions for the TMDPDFs in the quark sector.
The definition framework and all relevant TMD distributions and operators are given in Sect. 2. The light-cone OPE for TMD operators up to linear in transverse positions terms is given in Sect. 3. The parameterization of relevant collinear distributions is presented in Sect. 4. The assembling of OPE and its application to particular distributions is presented in Sect. 5. We also present by-product result for Mellin moments of worm-gear function in Sect. 6. The final results are shown and commented in Sect. 7.
2 Definition of TMD distributions
We outline our work for the transverse momentum dependent parton distribution functions (TMDPDFs) which, in the quark case, are defined by the matrix element [1, 24, 25]
where \(\pm \infty n\) indicates different light-cone infinities. The TMD distributions which appear in SIDIS have Wilson lines pointing to \(+\infty n\), while in Drell-Yan they point to \(-\infty n\). The Wilson lines within the TMD operator are along a light-like direction n. Another light-like vector is associated with the large-component of the hadron momentum P,
where \((nP)=(np)\), and M is the mass of hadron (\(P^2=M^2\)). Together vectors n and \(\bar{n}\) define the scattering plane. The relative normalization of vectors is
Thus, any four-vector can be decomposed into the components
where \(v^+=(nv)\), \(v^-=(\bar{n} v)\), and \(v_T\) is the transverse component orthogonal to the scattering plane \((v_Tn)=(v_T\bar{n})=0\). To specify the reference frame we state that \(v^\pm =(v^0\pm v^3)/\sqrt{2}\).
The transverse components play a special role in our consideration. The transverse subspace is projected out by the transverse part of the metric tensor
There are only two non-zero components, \(g^{11}_T=g_T^{22}=-1\). In the following, we also need the transverse part of the Levi-Civita tensor
where \(\epsilon ^{\mu \nu \rho \sigma }\) is defined in the Bjorken convention (\(\epsilon _{0123}=-\epsilon ^{0123}=1\)). Consequently, we have \(\epsilon _T^{12}=-\epsilon _T^{21}=1\), which coincides with the definition [24, 26, 27], despite the opposite normalization of the four-dimension \(\epsilon \)-tensor. The tensor \(\epsilon _T^{\mu \nu }\) does not change sign when both indices are down, \(\epsilon _{T\mu \nu }=\epsilon _T^{\mu \nu }\), and \(\epsilon ^{\mu \nu }_T\epsilon _{T\mu \rho }=\delta ^{~~\nu }_{T~\rho }\). Since the transverse subspace is Euclidian, the scalar product transverse vectors is negative, \(v_T^2<0\). In the following, we use the bold font notation to designate the Euclidian scalar product of transverse vectors, i.e. \({\varvec{b}}^2=-b^2>0\), when it is convenient.
The spin of the hadron is parameterized by the spin-vector S,
The light-cone decomposition of the spin vector is
where the helicity \(\lambda \) of the hadron is
The vector \(s_T^\mu \) is the transverse component of the spin, \(s_T^2=\lambda ^2-1\). With the help of \(\epsilon _T\)-tensor we can introduce another useful (axial) vector
and it implies \(\tilde{s}^2_T=s^2_T\).
The open spinor indices (ij) of the TMD operator in Eq. (2.1) are to be contracted with different gamma-matrices, which we denote generically as \(\Gamma \). The gamma-matrices that appear at the leading order of TMD factorization are
where \(\sigma ^{\alpha +}_T=g^{\alpha \beta }_T \sigma _{\beta \gamma }n^\gamma \), and
In the naive parton model interpretation, these gamma-structures are related to the observation of unpolarized (\(\gamma ^+\)), longitudinally polarized (\(\gamma ^+\gamma ^5\)) and transversely polarized (\(i\sigma ^{\alpha +}_T\gamma ^5\)) quarks inside the hadron. Beyond the leading order factorization one expects that the power suppressed terms of TMD show also different gamma structures. However, currently, the TMD factorization theorem is not established beyond the leading order. Moreover, it is known that TMD distributions with a gamma-structure different from (2.11) contain rapidity divergences that are not renormalized by the standard TMD soft factor [9].
Historically, the TMD distributions have been introduced and parameterized in momentum space [13]. Denoting
where \(p_T^2=-{\varvec{p}}_T^2<0\). Note, that the functions \(f(x,p_T)\) depend only on the modulus of \(p_T\), but not on the direction. The functions presented here are traditionally called unpolarized (\(f_1\)), Sivers (\(f_{1T}^\perp \)), helicity (\(g_{1L}\)), worm-gear T (\(g_{1T}\)), transversity \((h_1)\), worm-gear L (\(h_{1L}^\perp \)), Boer-Mulders (\(h_1^\perp \)) and pretzelosity (\(h_{1T}^\perp \)) distributions.
For practical calculations it is convenient to write TMD distributions in momentum space as Fourier transform of distributions in position space in the usual manner
where the scalar product \(({\varvec{b}}{\varvec{p}}_T)\) is Euclidian. The decomposition in Eqs. (2.14–2.16) is then replaced by its analog it position space,
This parameterization coincidesFootnote 1 with the parameterization given in [29]. The explicit transformation rules for all these functions can be found in Appendix A.
3 Light-cone expansion for TMD operator
The small-b matching of TMD distribution to the integrated distributions is obtained by the operator product expansion (OPE) at small-b. The OPE is independent from the hadronic states and for this reason it is universal. Let us introduce a separate notation for the TMD operators. The operator that produces TMD distributions in the Drell-Yan case is
where \(\Gamma \) represents the gamma-matrices of the leading set (2.11), and the half-infinite Wilson lines are defined as
Here and in the following we also omit the T-ordering of the fields, since it is irrelevant in the tree order approximation. The operator that produces the TMD distributions for SIDIS reads
Generally, the links which connect the end points of Wilson lines at a distant transverse plane must be added in both operators (for DY and for SIDIS). Here, we omit them for simplicity, assuming that some non-singular gauge (e.g. covariant gauge) is in use. In non-singular gauges the field nullifies at infinities, \(A_\mu (\pm \infty n)=0\), and the contribution of distant gauge links vanish.
The relation between the TMD distribution (2.1) and the TMD operator (3.1) is
The light-cone expansion of the TMD operators corresponds to the expansion in the variable \({\varvec{b}}\). The OPE has a generic schematic form
where C’s are Wilson coefficient functions which depend on \(\ln {\varvec{b}}^2\), \(\mathcal {O}\) ’s are light-cone operators, and the symbol \(*\) denotes some integral convolution between coefficient function and operators. Here, the superscripts tw2 and tw3 indicate the collinear twist, which in principle differs from the geometrical twist. We remind that the term collinear twist indicates the distributions which enter the same order of momentum expansion. It is not a well-defined quantum number, in contrast to the geometrical twist. The later is defined by “dimension-spin” value, and is a well-defined quantum number, in the sense that e.g. it conserves and does not mix under the scaling transformations. As we will see the operators \(\mathcal {O}^{\text {tw3}}\) are compositions of geometrical twist-2 and twist-3 operators. The coefficient functions are perturbatively calculable. In this work, we study the matching only at order \(\alpha _s^0\).
At leading order in \(\alpha _s\) the quantum fields can be considered as classical fields, that satisfy QCD equations of motion. In this approximation, the small-b OPE is just the Taylor expansion at \(b=0\). Expanding \(\mathcal {U}\) in powers of \({\varvec{b}}\) up to the linear order we obtain
The leading term reads
where the half-infinite segments of Wilson line compensate each other due to the unitarity of a Wilson line. The same holds for the SIDIS operator
Therefore, we obtain that \(\mathcal {U}_{\text {DY}}^{\Gamma }(z,{\varvec{0}}) =\mathcal {U}_{\text {DIS}}^{\Gamma }(z,{\varvec{0}})\), which is well known.
The term linear in \({\varvec{b}}^\mu \) is given by the derivative of the operator. Explicitly, it reads
where \(\partial _{T\mu }\) is the derivative with respect to the transverse components only. This expression can be written as
where the covariant derivative and the field-strength tensor are defined as usual
To obtain the expression (3.10) we have used the assumption thatFootnote 2 \(A(-\infty n)=0\), and the explicit expression for the total derivative of a Wilson line,
where the vector n can be arbitrary.
The segments of Wilson line between \(-\infty \) and \(\tau \) cancel and we obtain
In the case of SIDIS kinematics the Wilson lines point the future light-like infinity, and therefore, the same derivation gives
Comparing the results for DY in Eq. (3.13) and SIDIS in Eq. (3.14) kinematics we observe that the first term is the same, while the last terms differ because of the limits of integration and a common sign. Therefore, already at this stage it is clear that the operator in the first term does not contribute to P-odd distributions (i.e. Sivers and Boer-Mulders functions) which is known to change sign in different kinematics.
As expected, the non-compact (in the sense that it spans an infinite range in position space) TMD operator is expressed via a set of compact light-cone operators. The light-cone operators in Eqs. (3.13, 3.14) are not very well defined, in the sense, that they are of indefinite geometrical twist (more specifically, this issue concerns the first terms of Eqs. (3.13, 3.14)). At the next stage of the OPE we need to classify the contributions with respect to twist and decompose over independent components. These components are parameterized via parton distributions functions, which are universal and can be measured in different experiment.
As the key point here is the twist-expansion we provide some additional discussion. The standard approach to twist-decomposition of operators is to consider their local expansion. In the local expansion the contributions of different twists can be separated by the permutation algebra, and summed back to a non-local representation, see e.g. the detailed decomposition of similar operators in [34]. However, a much simpler approach consists in taking the operator directly in a non-local form [35, 36]. In this approach, one starts with operators off the light-cone, and makes the twist-decomposition, and then performs the limit to the light-cone.
In principle, the procedure of twist-decomposition can be made at the level of operators, see e.g. [35]. However, practically it is involved, especially for tensor gamma-structure. The evaluation is significantly simpler in terms of distributions, e.g. as it is done in Ref. [36]. Here we are going to follow this second approach. In fact, the derivation presented in the next sections closely follows the procedure described in details in [36] for the case of meson distribution amplitudes. The difference in kinematics does not allow us to use the powerful method of conformal basis, but there is no principle difference in other aspects.
Prior to the parameterization and twist-decomposition let us prepare the operator for this procedure, and make its off-light-cone generalization. At our order of accuracy (twist-3) we do not need the most general form of the three-point operators, since they are already of geometrical twist-3 and do not contain admixture with twist-2 operators. Therefore, the generalization should be done only for the two-point operators, and it can be simply achieved by the replacement \(z n^\mu \rightarrow y^\mu \) with \(y^2\ne 0\). The result is conveniently re-written in the following form
where we have used the formula for the stretch derivative of the Wilson line
Note, that this expression is the same for DY and SIDIS operators. The last term of (3.15) is again pure twist-3 operator, and thus one can set it directly on the light-cone.
Let us conclude this section with an intermediate summary of our main results. For convenience we introduce the generic notation for two- and three-point operators
The expression for the first terms of small-b expansion for TMD operator reads (at leading order in \(\alpha _s\) )
The limit \(y\rightarrow z n\) implies \(y^2\rightarrow 0\) such that the light-like separation between fields is z.
4 Collinear distributions
Evaluating the matrix elements of Eqs. (3.19, 3.20), and hence the matching of TMD distributions, we meet with a number of collinear parton distributions. In this section we present the parameterization of two and three point parton distributions that appear in the final result. In fact, the functions that we find represent a complete set of geometrical twist 2 and 3 quark distributions. For the two-point functions we use the standard parameterization by [37]. For the three point functions there is not a commonly accepted parameterization, therefore, we introduce a parameterization inspiring in [38].
4.1 Parameterization of quark–quark correlators
The standard parameterization of light-cone quark–quark correlators is given [37] and reads
where the operators \(\mathcal {O}^\Gamma \) are defined in Eq. (3.17). The twist-2 PDFs \(f_1\), \(g_1\) and \(h_1\) are known as unpolarized, helicity and transversity PDFs. The PDFs \(g_T\) and \(h_L\) are of collinear twist-3. The PDFs \(f_4\), \(g_3\) and \(h_3\) are of collinear twist-4, and do not appear in the current final results. The collinear twist-3 PDFs are not independent as they are combinations of PDFs of twist-2 and three-point PDFs. The derivation of this relation can be done with the help of QCD equations of motion and is presented in the Appendix C.
The PDF defined by Eqs. (4.1, 4.2, 4.3) are non-zero for \(-1<x<1\) and zero for \(|x|>1\) [39]. They can be represented by
where q(x) and \(\bar{q}(x)\) are the usual quark and anti-quark parton densities in the infinite momentum frame. A similar interpretation holds for \(g_1\) and \(h_1\).
At \(z\rightarrow 0\) the operators turn to local operators. The matrix elements of local operator can be parameterized in terms of the corresponding charges. This implies the existence of exact relations relations among the first moments of PDFs. In the present case the important relations are
and they are another form of the Burkhardt-Cottingham sum rule [40].
In order to proceed with the matching, we need also a parameterization of off light-cone collinear functions. In general, the parameterization of matrix elements off light-cone does not coincide with the parameterization of light-cone matrix elements, which is given in Eqs. (4.1, 4.2, 4.3). However, on and off light-cone parameterizations can be related to each other order by order in the expansion over \(y^2\) (where y is the distance between quark fields), see e.g. discussion in [41]. Such relations up to linear terms in y are presented in Appendix B. Using the off-light-cone parameterization of Eqs. (B1, B2, B3) we derive the matrix elements of the first terms in the small-b OPE in EqS. (3.19, 3.20). We find
Moreover these expressions depend on the particular off-light-cone parameterization that is used. In any case, the functions \(g_T\) and \(h_L\) are not independent, and must be expressed in terms of distributions with definite geometrical twist. Such a re-expression is also dependent on the parameterization. In the final result all (intermediate and off-light-cone) parameterization dependence cancels, and the result is uniquely defined using definite twist distributions.
4.2 Parameterization of quark-gluon-quark correlators
The parameterization of matrix elements of a three-point operator has the following general structure
where the integration measure is [39]
In the rest of the paper we use the tilde notation for Fourier images of the functions
In Eq. (4.9) we have introduced a tensor t built of \(P^\mu \), (single entry of)\(S^\mu \), \(n^\mu \), \(g_T^{\mu \nu }\) and \(\epsilon _T^{\mu \nu }\), and their scalar products, such that it preserves the permutation symmetry of indices on left-hand side, and it is invariant under rescaling \(z\rightarrow \alpha z\). Such a tensor contains significant number of terms, which can be restricted by discrete symmetries, such as parity, time-reversal and charge-conjugation (which can be replaced by hermiticity due to CPT theorem). The parity invariance results into a relation among the terms of Eq. (4.9)
where the bar denotes the parity transformation of a vector \(\bar{v}^\mu =v_\mu \), and \(\eta _P^{\Gamma ,\mu ...}\) is the sign factor that appears in the parity transformation of the operator \(\mathcal {P}\mathcal {T}_\Gamma \mathcal {P}^\dagger =\eta _P^\Gamma \mathcal {T}_\Gamma \). The time reversal transformation results into
where \(\eta _T^{\Gamma ,\mu ...}\) is the sign factor that appears in the time-reversal transformation of the operator \(T\mathcal {T}_\Gamma T^\dagger =\eta _T^\Gamma \mathcal {T}_\Gamma \). In contrast to the two-point functions the time-reversal symmetry does not restrict the number of tensor structures \(t_i\), because the functions on left- and right-hand sides of Eq. (4.13) are of different arguments. Additionally one has the hermiticity relation which gives
where \(\eta _H\) is sign of hermitian conjugation of the operator \((\mathcal {T}_\Gamma )^\dagger =\eta _H^\Gamma \mathcal {T}_\Gamma \) (here we expect that the tensors t are real). Together the time-reversal (4.13) and hermiticity (4.14) relations dictates the complex and symmetry properties of the functions F.
In general the number of tensors t is very large. However, for the current work we need only the tensors which are non-zero if open indices are transverse, and the rest of indices are contracted with \(n^\mu \). In other words, we require the tensor structure of collinear twist-3. We find four such functions
Here, the factors M are set to have dimensionless three-point PDFs T. The definition of distributions T and \(\Delta T\) coincidesFootnote 3 with the definition used in [38], up to a factor M. The comparison to ETQSFootnote 4 functions (here we compare to definitions in Eq. (12) and Eq. (21) of [42]) gives
The distribution T are real dimensionless functions. According to Eq. (4.13) they obey the following symmetry properties
The Fourier transform of these distributions obey the same symmetry properties. These four functions are the only genuine twist-3 distributions in the quark sector.
It appears very convenient to introduce the following integral combinations,
The one-variable functions \(T^{(n)}\), \(\Delta T^{(n)}\) and \(\delta T^{(n)}\) are in some aspects similar to the usual PDFs. For example, they have zero boundary conditions,
In the following, we intensively use the functions in Eqs. (4.23–4.26), since they naturally arise and describe the worm-gear functions and allow a simplification of formulas.
5 Leading matching of TMD distributions
In this section we assemble the result for the leading matching of TMD distributions up to terms linear in \({\varvec{b}}\). For this purpose we need to evaluate the matrix element of the operators in Eqs. (3.19, 3.20) using the parameterizations introduced in the previous section. Here we should take into account the decomposition of collinear twist-3 distributions over the distributions with definite geometrical twist. In the following subsections we consider each gamma-structure individually, and discuss the features of its evaluation. For convenience we also collect the final results in Sect. 7.
5.1 Vector operator
We start with the study of the vector operator, i.e. with \(\Gamma =\gamma ^+\), in the DY kinematics. Taking the forward matrix element of the operator relation in Eq. (3.19) we obtain
where the contribution of the two-point correlator vanishes in accordance to Eq. (4.6).
The function \(T(z,vz -z)\) is symmetric in v due to the symmetry relation in Eq. (4.19). Therefore, the anti-symmetric integral, which is the first in the square brackets of Eq. (5.1), vanishes,
In this way, the contributions linear in b are represented by a single entry, namely, by the last term of Eq. (5.1). Using the reflection of coordinates in Eq. (4.19) we present it as
Taking into account these simplifications we find
In the case of SIDIS kinematic the operators are given by Eq. (3.20). Applying the same procedure we find
where we have used
The only difference between Drell-Yan, Eq. (5.4) and SIDIS, Eq. (5.5) cases is the sign of the linear term. It corresponds to the famous process dependence of the Sivers function [19].
The TMD distribution is obtained by Fourier transformation over the light-cone distance, Eq. (3.4). Performing it we obtain
Here we have used,
These expressions represent the leading matching of vector TMD distribution. Comparing it to the parameterization in Eq. (2.18) we find the matching of individual functions. Naturally, the unpolarized TMDPDF matches the unpolarized PDF, \(f_1(x,{\varvec{b}})=f_1(x)+O({\varvec{b}}^2)\). The Sivers function matching is process dependent and it reads
Note, that the correction term is proportional to \({\varvec{b}}^2\), and therefore, generically, contains twist-5 functions (and twist-4 functions for unpolarized distribution).
These expression, albeit in the different form, are well-known. In the two-point notation for ETQS function (4.18), the central value of three-point function \(T(-x,0,x)\) corresponds to the diagonal value \(\widetilde{\mathcal {T}}_{q,F}(x,x)\). Therefore, we can compare (5.10, 5.11) to the expressions given in literature, where certain momentum space moments are calculated. Using the transformation rules presented in Appendix A, one can check that
Here the sign is given for the DY case, and should be changed for the SIDIS case. To our best understandingFootnote 5 these expression coincide with ones presented in [16, 17, 43, 44].
5.2 Axial operator
Taking the forward matrix element of the operator in Eq. (3.19) with \(\Gamma =\gamma ^+\gamma ^5\), we obtain
where we have used the parameterizations in Eqs. (4.2, 4.16) and the relation of Eq. (4.7).
To proceed further we take the inverse Fourier transform. We have observed that these integrals naturally enter into the moments of the three-point functions, which are defined in Eqs. (4.23–4.26). Moreover, it is convenient to present them as a Mellin convolution. Using these tricks we find
The last integral in Eq. (5.13) over the process-dependent term does not vanish,
where we have used the assumption that the integrand goes to zero at infinity. The sign difference between these integrals, is compensated by the common sign difference in the operators for DY, Eq. (3.19) and SIDIS, Eq. (3.20) kinematics. Therefore, the contribution of seemingly process-dependent terms is the same for both operators. It is exactly compensated by the contribution of Eq. (5.14), and thus the function \(\Delta T^{(1)}\) drops out of calculation.
Combining all together we obtain the same result for DY and SIDIS kinematics, which is
Comparing to parameterizations in Eq. (2.19) we find that the matching for the helicity TMD distribution \(g_{1L}(x,{\varvec{b}})=g_1(x)+O({\varvec{b}}^2)\), and for the worm-gear-T distribution is
The expression (5.19) is not the final one, because the function \(g_T\) can be rewritten via functions of definite twist,
where \(\varepsilon _+=2m/M\) with m being the mass of a quark and \(\bar{y}=1-y\). The derivation of this decomposition is given in the Appendix C.1. It is straightforward to check that it obeys the Burkhardt-Cottingham sum rule Eq. (4.5). Inserting the function \(g_T\) into Eq. (5.19) and using the associativity of Mellin transformation (see also Eq. (C6)) we obtain
This is the final form of the matching of the worm-gear function to the twist-2 and twist-3 functions. The Mellin convolution, which is presented in Eq. (5.21) by \(\delta \)-function, can be explicitly integrated. It gives the following representation
The obtained result can be compared to the first transverse momentum moments of TMD distribution derived in Ref. [45] (see Eq. (47)), and agrees with it.
5.3 Tensor operator
The matrix element of the tensor operator in Eq. (3.19) (i.e. with \(\Gamma =i\sigma ^{\alpha +}_T\gamma ^5\)) has a more complicated form
where we have used the parameterizations of Eqs. (4.3, 4.17) and the relation (4.8). Its structure repeats the structure discussed during evaluations of the vector operator (for terms proportional to \(\delta T_\epsilon \)) and axial operator (for terms proportional to \(\delta T_g\)). Therefore, we skip the discussion on the Fourier integrals and write down the final expression for the matching of transversally polarized TMD distribution. We obtain (compare to Eqs. (5.8, 5.7) and (5.18))
where the upper sign should be taken for the DY kinematics, and lower for the SIDIS kinematics.
Comparing Eq. (5.25) with the parameterization of Eq. (2.20) we obtain the matching of individual TMD distributions. The transversity distribution is \(h_1(x,{\varvec{b}})=h_1(x)+O({\varvec{b}}^2)\). The Boer-Mulders functions depends on the underling process and reads
The worm-gear L function is independent on the process and has the expression
The pretzelosity distribution has no matching at this level of accuracy, despite the fact that the matrix element over free quarks is non-zero at \({\varvec{b}}^2\rightarrow 0\) [12]. It is expected that the first non-zero contribution to the pretzelosity is of twist-4.
As in the case of the worm-gear T function, the expression for the worm-gear L function should be rewritten via a definite twist function. The derivation of function \(h_L\) is given Appendix C.2. It reads
Consequently, the worm-gear L function is
Let us point that the expressions for worm-gear L and worm-gear T functions have very similar structure, compare Eq. (5.30) to Eq. (5.21). The main difference is the factor y that appears in Eq. (5.21). The integral over \(\delta \)-function could be evaluated with the result
This expression can be compared to the first transverse momentum moment of TMD distribution derived in Ref. [45] (see Eq.(49) in this reference). We find that our expression agrees with the result of Ref. [45].
6 Mellin moments of worm-gear functions
The final expressions for worm-gear function, as well as, all intermediate expressions are naturally expressed via Mellin convolutions. This fact suggests a simple form for the Mellin moments of the worm-gear functions, which we present in this section.
First of all, let us point that functions \(T^{(n)}\), \(\Delta T^{(n)}\) and \(\delta T^{(n)}\) defined in Eq. (4.23, 4.26) obey certain relations which simplify in the algebra of Mellin moments. The Mellin moment of \(T^{(n)}\) is
which follows from the symmetry properties Eq. (4.19). The same relations hold for the function \(\delta T_\epsilon \). For antisymmetric functions \(\Delta T\) and \(\delta T_g\) we have
which follows from symmetry property Eq. (4.20).
Evaluating the Mellin moments of the worm-gear functions in Eqs. (5.20) and (5.29) we find simple expression
where we omit the quark mass correction. The peculiar feature of this expressions is that functions with odd and even index n enter different moments independently.
Such relations can be important for lattice studies of TMD distributions, where only Mellin moments of distributions can be evaluated. For example, in Ref. [46] the lattice calculation of the first moment of \(g_{1T}\) is performed. It has been found that
The calculation has been done for the isovector combination of operators \(q=u-d\). Here, the scales of TMD distributions are not clear since the translation rules between lattice scales and TMD evolution scales are not elaborated so far. Nonetheless, the evolution factors for both distributions are the same, and up to the first order of approximation the scale dependence of Eq. (6.5) can be omitted. In Ref. [46] it is shown that b-dependence of the ratio in Eq. (6.5) is very weak. In particular, the value at \(b\simeq 0.46\) practically coincides with Eq. (6.5). This suggests that the small-b expansion is a good approximation.
We can estimate the ratio in Eq. (6.5) from our calculation. Using Eq. (6.3) we find
Assuming that the contribution of \(\Delta T^{(2,1)}\) is small, i.e. in the Wandzura-Wilczek approximation, we find this ratio is \(\sim 0.13\), which at this level of comparison is a good agreement.
7 Conclusion
In this work we have evaluated the operator product expansion for the quark TMD operators up to linear in \({\varvec{b}}\) terms. This order of expansion includes the majority of the polarized distributions. The summary of the matching relations is presented in Table 1. The main result of this study is the leading matching of Sivers, Boer-Mulders and worm gear function. We resume all the matching here for simplicity
where the upper sign corresponds to the Drell-Yan operator, and lower sign corresponds to the SIDIS operator. The functions \(g_1\) and \(h_1\) are helicity and transversity PDFs. The functions T are collinear distributions of twist-3. Their definition is given in (4.15–4.17, 4.23–4.26).
The expressions presented here are only the leading order perturbative QCD terms. The sub-leading terms include the power corrections in \({\varvec{b}}^2\) and perturbative corrections. The perturbative corrections can be accumulated into the coefficient functions. For the distributions that match solely to twist-2 PDF these coefficient functions are already known at higher perturbative orders; next-to-next-to-leading order (NNLO) for unpolarized [10, 11, 18] and transversity [12] distributions) and at NLO for helicity distribution [9, 47]. The polarized TMD distributions such as Sivers, Boer-Mulders, Collins and worm-gear functions, matches the twist-3 and twist-2 distributions. For these distributions, the coefficient functions are known only at LO and presented here altogether.
We find that the results obtained by us agree with expressions that we have found in the literature (as far as we can trace necessary definitions of various components). However, there are several essential differences since all known expressions are given in momentum space and they are presented in terms of certain integrals of TMD distribution over \(p_T\). This fact complicates the comparison since such integrals are not well-defined within perturbation theory, and require some regularization procedure. In contrast, our calculation is done directly in position space, and in this aspect, it represents a complete novelty. Another important distinctive fact of our work is that our calculation is based solely on the definition of TMD operators, whereas the majority of higher-twist calculations are based on the evaluation of particular cross-sections with successive re-interpretation in terms of TMDs. The only known example that we have found of a direct calculation is the one presented in Ref. [45], where the leading matching for worm-gear functions is calculated. Finally, we consider all TMD distributions on the same foot and in the same framework which provides a consistent relative normalization of all distributions improving their comprehension.
Notes
Comparing parameterization one should take into account that the TMD operator in Ref. [29] is taken with the vector b oriented in the opposite direction.
In singular gauges, one generally cannot expect the boundary condition \(A(\pm \infty n)=0\), but \(A(\pm \infty n,{\varvec{\infty }})=0\). In this case the TMD operator receives the transverse link to corresponding infinity, which preserves the gauge invariance (for a discussion on the role of singular gauge see f.i. [30,31,32,33]). Therefore, transverse derivative operator \((\overleftarrow{\partial _T}-\overrightarrow{\partial _T})\) is inserted at the far-end of Wilson lines at \(\pm n\infty +{\varvec{\infty }}\) [compare to (3.10)], and as a result it also differentiates transverse links. Then the expansion formula (3.13) obtains an extra term
$$\begin{aligned}&\frac{\partial }{\partial b^\mu } \mathcal {U}_{\text {DY}}^\Gamma (z,{\varvec{b}})\Big |_{{\varvec{b}}=0}\\&\quad =(3.13)- 2ig \lim _{b\rightarrow 0}\left\{ \int _{0}^b d{\varvec{\tau }}^\nu ~ \bar{q}(zn)[zn,-\infty n][-\infty n,-\infty n +{\varvec{\tau }}]\right. \\&\qquad \left. \times \Gamma F_{\nu \mu }(-\infty n +{\varvec{\tau }})[{\varvec{\tau }}-\infty n,-\infty n][-\infty n,-zn]q(-zn)\right\} , \end{aligned}$$where \({\varvec{\tau }}=\tau {\varvec{b}}/|b| \). The limit \(b\rightarrow 0\) is smooth and thus produces zero. In this way, the result in a singular gauge coincides with the result in a regular gauge. The similar consideration holds for SIDIS operators with replacement \(-\infty n\rightarrow +\infty n\).
To compare with Ref. [38], we note that their definition of \(\tilde{s}\) has opposite to us sign. Also during comparison we facilitate \(s^2=-1\).
The comparison can not be done accurately in all cases, since some articles do not provide the full details on sign conventions and definitions.
References
J. Collins, Foundations of perturbative QCD (Cambridge University Press, 2013), ISBN 9781107645257, 9781107645257, 9780521855334, 9781139097826. http://www.cambridge.org/de/knowledge/isbn/item5756723
M.G. Echevarria, A. Idilbi, I. Scimemi, Phys. Lett. B 726, 795 (2013). arXiv:1211.1947
M.G. Echevarria, A. Idilbi, I. Scimemi, Phys. Rev. D 90, 014003 (2014). arXiv:1402.0869
A. Vladimirov, JHEP 04, 045 (2018). arXiv:1707.07606
I. Scimemi, A. Vladimirov, Eur. Phys. J. C 78, 89 (2018). arXiv:1706.01473
M.G. Echevarria, I. Scimemi, A. Vladimirov, Phys. Rev. D 93, 054004 (2016a). arXiv:1511.05590
Y. Li, H.X. Zhu, Phys. Rev. Lett. 118, 022004 (2017). arXiv:1604.01404
A.A. Vladimirov, Phys. Rev. Lett. 118, 062001 (2017). arXiv:1610.05791
D. Gutierrez-Reyes, I. Scimemi, A.A. Vladimirov, Phys. Lett. B 769, 84 (2017). arXiv:1702.06558
M.G. Echevarria, I. Scimemi, A. Vladimirov, Phys. Rev. D93, 011502 (2016b), [Erratum: Phys. Rev.D94,no.9,099904(2016)]. arXiv:1509.06392
M.G. Echevarria, I. Scimemi, A. Vladimirov, JHEP 09, 004 (2016c). arXiv:1604.07869
D. Gutierrez-Reyes, I. Scimemi, A. Vladimirov, JHEP 07, 172 (2018). arXiv:1805.07243
A. Bacchetta, D. Boer, M. Diehl, P.J. Mulders, JHEP 08, 023 (2008). arXiv:0803.0227
S. Meissner, A. Metz, M. Schlegel, JHEP 08, 056 (2009). arXiv:0906.5323
C. Lorce, B. Pasquini, M. Vanderhaeghen, JHEP 05, 041 (2011). arXiv:1102.4704
X. Ji, J.-W. Qiu, W. Vogelsang, F. Yuan, Phys. Rev. Lett. 97, 082002 (2006). arXiv:hep-ph/0602239
Z.-B. Kang, B.-W. Xiao, F. Yuan, Phys. Rev. Lett. 107, 152002 (2011a). arXiv:1106.0266
T. Gehrmann, T. Luebbert, L.L. Yang, JHEP 06, 155 (2014). arXiv:1403.6451
J.C. Collins, Phys. Lett. B 536, 43 (2002). arXiv:hep-ph/0204004
A.V. Efremov, O.V. Teryaev, Sov. J. Nucl. Phys. 39, 962 (1984). [Yad. Fiz.39,1517(1984)]
A.V. Efremov, O.V. Teryaev, Phys. Lett. 150B, 383 (1985)
J.-W. Qiu, G.F. Sterman, Phys. Rev. Lett. 67, 2264 (1991)
J.-W. Qiu, G.F. Sterman, Nucl. Phys. B 378, 52 (1992)
R.D. Tangerman, P.J. Mulders, Phys. Rev. D 51, 3357 (1995). arXiv:hep-ph/9403227
M.G. Echevarria, A. Idilbi, I. Scimemi, JHEP 07, 002 (2012). arXiv:1111.4996
P.J. Mulders R.D. Tangerman, Nucl. Phys. B461, 197 (1996), [Erratum: Nucl. Phys.B484,538(1997)]. arXiv:hep-ph/9510301
A. Bacchetta, M. Diehl, K. Goeke, A. Metz, P.J. Mulders, M. Schlegel, JHEP 02, 093 (2007). arXiv:hep-ph/0611265
K. Goeke, A. Metz, M. Schlegel, Phys. Lett. B 618, 90 (2005). arXiv:hep-ph/0504130
D. Boer, L. Gamberg, B. Musch, A. Prokudin, JHEP 10, 021 (2011). arXiv:1107.5294
A.V. Belitsky, X. Ji, F. Yuan, Nucl. Phys. B 656, 165 (2003). arXiv:hep-ph/0208038
A. Idilbi, I. Scimemi, Phys. Lett. B 695, 463 (2011a). arXiv:1009.2776
A. Idilbi, I. Scimemi, A.I.P. Conf, Proc. 1343, 320 (2011b). arXiv:1012.4419
M. Garcia-Echevarria, A. Idilbi, I. Scimemi, Phys. Rev. D 84, 011502 (2011). arXiv:1104.0686
A.V. Belitsky, D. Mueller, Nucl. Phys. B 589, 611 (2000). arXiv:hep-ph/0007031
I.I. Balitsky, V.M. Braun, Nucl. Phys. B 311, 541 (1989)
P. Ball, V.M. Braun, Y. Koike, K. Tanaka, Nucl. Phys. B 529, 323 (1998). arXiv:hep-ph/9802299
R.L. Jaffe, X.-D. Ji, Nucl. Phys. B 375, 527 (1992)
V.M. Braun, A.N. Manashov, B. Pirnay, Phys. Rev. D80, 114002 (2009), [Erratum: Phys. Rev.D86,119902(2012)]. arXiv:0909.3410
R.L. Jaffe, Nucl. Phys. B 229, 205 (1983)
H. Burkhardt, W.N. Cottingham, Ann. Phys. 56, 453 (1970)
P. Ball, V.M. Braun, Nucl. Phys. B 543, 201 (1999). arXiv:hep-ph/9810475
Z.-B. Kang, J.-W. Qiu, Phys. Rev. D 79, 016003 (2009). arXiv:0811.3101
D. Boer, P.J. Mulders, F. Pijlman, Nucl. Phys. B 667, 201 (2003). arXiv:hep-ph/0303034
Z.-B. Kang, J.-W. Qiu, W. Vogelsang, F. Yuan, Phys. Rev. D 83, 094001 (2011b). arXiv:1103.1591
K. Kanazawa, Y. Koike, A. Metz, D. Pitonyak, M. Schlegel, Phys. Rev. D 93, 054024 (2016). arXiv:1512.07233
B. Yoon, M. Engelhardt, R. Gupta, T. Bhattacharya, J.R. Green, B.U. Musch, J.W. Negele, A.V. Pochinsky, A. Schfer, S.N. Syritsyn, Phys. Rev. D 96, 094508 (2017). arXiv:1706.03406
A. Bacchetta, A. Prokudin, Nucl. Phys. B 875, 536 (2013). arXiv:1303.2129
M.G.A. Buffing, M. Diehl, T. Kasemets, JHEP 01, 044 (2018). arXiv:1708.03528
Acknowledgements
We greatly acknowledge V.Braun and A.Manashov for numerous discussions on details of higher twist calculus. We also thank Y. Koike for pointing out a mistake in the quark mass term that was in the initial version of the manuscript. I.S. is supported by the Spanish MECD grant FPA2016-75654-C2-2-P and the group UPARCOS.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Relation between TMD distributions in momentum and coordinate spaces
The momentum and coordinate representations are related by Fourier transformation (2.17),
Performing the Fourier transformation of the parameterizations in Eqs. (2.18, 2.19,2.20) and comparing it to the parameterizations in Eqs. (2.14, 2.15, 2.16) we find the relation between momentum and position space representations. They are conventionally presented using
The inverse transformation is
Correspondingly, all TMDPDFs are split into three classes which transforms in the same manner,
Appendix B: Matrix element off-light cone
The rules for working with matrix element off light-cone are discussed in details in [36, 41]. For completeness we present here the intermediate steps which lead to equations (4.6, 4.7, 4.8).
The initial step is the parameterization of matrix element of the operator off light-cone, in terms of four-dimensional vectors, \(y^\mu \), \(P^\mu \) and \(S^\mu \), as well as, tensors \(g^{\mu \nu }\) and \(\epsilon ^{\mu \nu \rho \sigma }\). Naturally, such a parameterization structurally repeats the parameterization of light-cone matrix element (4.1, 4.2, 4.3), with the replacement \(p\rightarrow P\), \(z\rightarrow y\) and \(s_T\rightarrow S\),
The parameterization (B1, B3) is given in the space of physical vectors \((P^\mu ,S^\mu ,y^\mu )\) whereas the parameterization (4.1, 4.2, 4.3) is given in the space of light-cone vectors \((p^\mu ,s_T^\mu ,n^\mu )\). To connect these parameterizations we should relate the factorization frame to the physical frame. Assuming that \(y^\mu \rightarrow z n^\mu \) in the limit \(y^2\rightarrow 0\), we obtain the following decomposition of \(n^\mu \)
Using this relation we decompose the vector \(y^\mu \) over basis of \((p^\mu ,s_T^\mu ,n^\mu )\) and the small parameter \(y^2\),
The momentum and spin vectors are given by the definitions in Eqs. (2.2) and (2.8),
Therefore, the scalar products with the vector \(y^\mu \) are
Using this translation dictionary we can compare the parameterizations (B1, B3) and (4.1, 4.2, 4.3) order-by-order in the parameter \(y^2\). At the order \(O(y^2)\) we obtain
where we omit arguments of functions (x) on both sides.
Obviously, the generalization off-light-cone is not unique. In particular, one can add terms power-suppressed in \(y^2\) terms, to the definition in Eq. (B4). However, the reparameterization affects all intermediate steps of calculation and the difference should disappear in the final definite geometrical twist composition. On top of this, such modifications are invisible at our level of accuracy.
Appendix C: Equation of motion and functions \(g_T\) and \(h_L\)
The functions \(g_T\) and \(h_L\) are reducible, in the sense that they are compositions of geometrical twist-2 functions (\(g_1\) and \(h_1\)) and geometrical twist-3 functions (T, \(\Delta T\) and \(\delta T_g\)). The decomposition can be found with the help of the QCD equations of motion . The convenient technique is described in [41] using the example of distribution amplitudes. In the case of parton distributions the case is even simpler, since the total derivative contribution drops out,
where dots represent any operator. In this appendix we present the derivation of functions \(g_T\) and \(h_L\) in details.
1.1 1. Function \(g_T\)
As it is demonstrated in Ref. [41] the relation between \(g_T\) and definite twist functions is found with the help of the following operator relation
where m is the average mass of quark (if quark and anti-quark have different masses, it should be replaced by \(m=(m_{\bar{q}}+m_q)/2\)). This is an exact operator relation, and is the consequence of QCD equations of motion [35]. Next, we evaluate the forward matrix element of equation (C1) using the parameterizations (B2, 4.15, 4.16). This operation transfers the variable \(y^\mu \) into the elementary function, and the derivative over \(y^\mu \) can be done. Next we take the limit \(y^2\rightarrow 0\) as it is described in sec. B, and apply Eq. (B11). After that procedure we obtain the vector equation which contains the functions of different twists. Its \((2Ms_T^\mu )\)-component is
where \(\varepsilon _+=2m/M\). This equation relates collinear twist-3 function \(g_T\) to the functions with geometrical twist 2 and 3.
To obtain the function \(g_T\) explicitly, we perform the Fourier transformation for the equation (C2). It is convenient to write the result in the following form
In this form it is simple to check the Burkhardt-Cottingham sum rule
The Eq. (C3) has natural substructures in the form of \(x_2\)-moments introduced in Eqs. (4.23, 4.24). Using the notation in Eqs. (4.23, 4.24) we present the function \(g_T\) as a Mellin convolution integral
Using this notation and the associativity of Mellin convolution it is simple to take the integral in Eq. (5.15). It reads
1.2 2. Function \(h_L\)
The convenient form of the equation of motions for the derivation of function \(h_L\) as given in Ref. [41],
Making the same steps as in the evaluation of the function \(g_T\), i.e. considering matrix element with parameterizations as in Eqs. (B3) and (4.17), taking derivative and limit \(y^2\rightarrow 0\), we obtain
The Fourier transform of this equation leads to the differential equation
The solution of this differential equation is
where RHS denotes the right-hand side of Eq. (C10). Performing an integration by parts we obtain
Clearly, it satisfies the Burkhardt-Cottingham sum rule
It is intriguing to observe that the expression for \(h_L\) (C11) is structurally very similar to the expression for \(g_T\) in Eq. (C5).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Scimemi, I., Vladimirov, A. Matching of transverse momentum dependent distributions at twist-3. Eur. Phys. J. C 78, 802 (2018). https://doi.org/10.1140/epjc/s10052-018-6263-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6263-5