Transverse-momentum-dependent pion structures from lattice QCD:
Collins-Soper kernel, soft factor, TMDWF, and TMDPDF

Dennis Bollweg Computing and Data Sciences Directorate, Brookhaven National Laboratory, Bldg. 510A, Upton, NY 11973, USA    Xiang Gao Physics Department, Brookhaven National Laboratory, Bldg. 510A, Upton, NY 11973, USA    Jinchen He [email protected] Maryland Center for Fundamental Physics, University of Maryland, College Park, MD 20742, USA Physics Division, Argonne National Laboratory, Lemont, IL 60439, USA    Swagato Mukherjee Physics Department, Brookhaven National Laboratory, Bldg. 510A, Upton, NY 11973, USA    Yong Zhao Physics Division, Argonne National Laboratory, Lemont, IL 60439, USA
(April 6, 2025)
Abstract

We present the first lattice quantum chromodynamics (QCD) calculation of the pion valence-quark transverse-momentum-dependent parton distribution function (TMDPDF) within the framework of large-momentum effective theory (LaMET). Using correlators fixed in the Coulomb gauge (CG), we computed the quasi-TMD beam function for a pion with a mass of 300 MeV, a fine lattice spacing of a=0.06𝑎0.06a=0.06italic_a = 0.06 fm and multiple large momenta up to 3 GeV. The intrinsic soft functions in the CG approach are extracted from form factors with large momentum transfer, and as a byproduct, we also obtain the corresponding Collins-Soper (CS) kernel. Our determinations of both the soft function and the CS kernel agree with perturbation theory at small transverse separations (bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT) between the quarks. At larger bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT, the CS kernel remains consistent with recent results obtained using both CG and GI TMD correlators in the literature. By combining next-to-leading logarithmic (NLL) factorization of the quasi-TMD beam function and the soft function, we obtain x𝑥xitalic_x-dependent pion valence-quark TMDPDF for transverse separations b1greater-than-or-equivalent-tosubscript𝑏perpendicular-to1b_{\perp}\gtrsim 1italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ≳ 1 fm. Interestingly, we find that the bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT dependence of the phenomenological parameterizations of TMDPDF for moderate values of x𝑥xitalic_x are in reasonable agreement with our QCD determinations. In addition, we present results for the transverse-momentum-dependent wave function (TMDWF) for a heavier pion with 670 MeV mass.

I Introduction

In high-energy scatterings, transverse-momentum-dependent parton distribution functions (TMDPDFs) provide a fundamental description of the transverse momentum and polarization degrees of freedom of quarks and gluons within hadrons [1]. These distributions play a crucial role in understanding the intricate dynamics of quark-gluon interactions and the phenomenon of color confinement. Knowledge of TMDPDFs is essential for predicting observables in multi-scale, non-inclusive high-energy processes, such as semi-inclusive deep-inelastic scattering (SIDIS) and Drell-Yan (DY), based on QCD factorization. Experiments at facilities including the Jefferson Lab 12 GeV Program [2], the Electron-Ion Collider (EIC) [3, 4], and the Large Hadron Collider (LHC) [5] rely heavily on accurate knowledge of the TMDPDFs.

Significant progress has been made in the phenomenological parameterizations of TMDPDFs, particularly for the nucleon, through global analyses of experimental data [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26]. While these studies have significantly improved our understanding of the transverse-momentum structure of quarks and gluons within the nucleon, they remain in their early stages due to the limited availability of experimental data sensitive to the non-perturbative region. Compared to nucleons, much less is known about the transverse momentum structure of the pion [27, 28]. As the lightest QCD bound state, the pion plays a fundamental role in hadron structure and non-perturbative QCD. Its TMDPDFs provide crucial insights into the internal dynamics of quarks and gluons in a strongly interacting relativistic system, with direct implications for hadronization processes and the underlying mechanisms of non-perturbative QCD. However, the scarcity of experimental data on pion TMDPDFs, combined with the inherent nature of the parameterization dependence of global analyses, leaves significant gaps in our non-perturbative first-principles understanding. Lattice QCD calculations provide a natural approach to gain insight into non-perturbative TMD structures of pion starting from first-principles QCD.

Early lattice QCD studies primarily focused on computing the moments of TMDPDFs [29, 30, 31, 32]. More recently, large-momentum effective theory (LaMET) [33, 34, 35, 36] has provided a framework for directly calculating the x𝑥xitalic_x-dependence of parton distributions [37], including TMDPDFs [38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55]. In the large-momentum limit, quasi-TMDs, defined as equal-time correlators in highly boosted hadron states, can be related to their light-cone counterparts through perturbative factorization, making first-principles calculations of TMDPDFs possible within lattice QCD.

This framework has driven substantial progress in recent years. One of its key achievements is the determination of the Collins-Soper (CS) kernel, which governs the scale dependence of TMDPDFs [56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66]. Another crucial development is the proposal to extract the intrinsic soft function [43, 52] - which accounts for soft gluon radiation and plays a vital role in TMD factorization - from meson form factors with large momentum transfer [57, 58, 63]. This step completes the factorization framework that connects quasi-TMDs to light-cone TMDs in the large-momentum limit. These advances have significantly enhanced first-principles lattice calculations of TMDPDFs. Recent achievements include studies of the pion TMD wave function (TMDWF) [67], the extraction of the unpolarized nucleon TMDPDF [68], and investigations of the Boer-Mulders functions of the pion and nucleon [69, 70].

Despite these advancements, a major challenge in lattice calculations of gauge-invariant (GI) quasi-TMDPDFs arises from the structure of the quark-bilinear operators, which are separated in both longitudinal and transverse directions and connected by a staple-shaped Wilson link to maintain gauge invariance. The presence of Wilson lines introduces linear divergences, requiring careful renormalization [71, 72, 42, 73, 74, 64, 75, 76], and leads to an exponential suppression of the signal-to-noise ratio (SNR) as the quark field separation increases [66]. This suppression presents a significant obstacle to precise lattice determinations of TMDPDFs, particularly in the low transverse momentum region or at large spatial separations, where high precision is crucial. Furthermore, controlling the discretization effects and power corrections at finite momentum remains a challenge in ensuring reliable extrapolations to the continuum and physical limits.

To address this issue, a new approach based on LaMET has been proposed [77, 78] to extract TMDPDFs from Coulomb gauge (CG) fixed quark correlators. Unlike traditional GI correlators, CG correlators do not require Wilson lines. Despite this difference, they fall within the same universality class [79, 35] as GI correlators with staple-shaped Wilson lines, as both reduce to light-cone TMD correlators in the infinite boost limit. Consequently, CG quasi-TMDPDFs can be matched to light-cone TMDPDFs through a perturbative factorization [78]. The absence of Wilson lines simplifies renormalization and significantly enhances the SNR of boosted correlators, particularly at large transverse separations.

In this study, we present the first lattice QCD calculation of the unpolarized valence-quark pion TMDPDF using the CG method. We compute the quasi-TMDPDF and quasi-TMDWF matrix elements of the pion in CG. These matrix elements enable the extraction of the CS kernel, the intrinsic soft function, and ultimately the unpolarized valence TMDPDF of the pion. Furthermore, we improve the perturbative accuracy of the matching procedure, particularly in the extraction of the intrinsic soft function, by resumming logarithmic terms in the Sudakov kernel, an aspect that has not been accounted for in previous lattice QCD studies. Finally, the comparison of our results with global fits of the experimental data shows encouraging consistency, demonstrating the bright potential of the CG approach for TMD physics from lattice QCD.

The paper is organized as follows: we first introduce the theoretical framework for calculating the TMDPDF from the CG quasi-TMDPDFs in Sec. II, which also includes the CS kernel and the intrinsic soft factor; the lattice setup is presented in Sec. III; then we present the detailed analysis of the quasi-TMD in Sec. IV; the CS kernel, the intrinsic soft factor, the full pion TMDWF and TMDPDF are analyzed in Sec. V to be compared with phenomenological results; finally, we conclude in Sec. VI.

II Theoretical framework

II.1 Light-cone TMDPDF from CG quasi-TMDPDF

As proposed in Ref. [78], the light-cone TMDPDF can be derived from the CG quasi-TMD beam function defined as,

f~Γ(x,b,Pz;μ)=Pzdz2πeiz(xPz)h~Γ(z,b,Pz;μ),subscript~𝑓Γ𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇superscript𝑃𝑧𝑑𝑧2𝜋superscript𝑒𝑖𝑧𝑥superscript𝑃𝑧subscript~Γ𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇\displaystyle\tilde{f}_{\Gamma}(x,b_{\perp},P^{z};\mu)=P^{z}\int\frac{dz}{2\pi% }e^{iz(xP^{z})}\tilde{h}_{\Gamma}(z,b_{\perp},P^{z};\mu)~{},over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ∫ divide start_ARG italic_d italic_z end_ARG start_ARG 2 italic_π end_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_z ( italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT over~ start_ARG italic_h end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) , (1)

where the matrix elements are given by,

h~Γ(z,b,Pz;μ)=12PtP|q¯(z,b)Γq(0)|A=0|P.subscript~Γ𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇evaluated-at12superscript𝑃𝑡bra𝑃¯𝑞𝑧subscript𝑏perpendicular-toΓ𝑞0𝐴0ket𝑃\displaystyle\tilde{h}_{\Gamma}(z,b_{\perp},P^{z};\mu)=\frac{1}{2P^{t}}\bra{P}% \left.\bar{q}(z,b_{\perp})\Gamma q(0)\right|_{\vec{\nabla}\cdot\vec{A}=0}\ket{% P}~{}.over~ start_ARG italic_h end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = divide start_ARG 1 end_ARG start_ARG 2 italic_P start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT end_ARG ⟨ start_ARG italic_P end_ARG | over¯ start_ARG italic_q end_ARG ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) roman_Γ italic_q ( 0 ) | start_POSTSUBSCRIPT over→ start_ARG ∇ end_ARG ⋅ over→ start_ARG italic_A end_ARG = 0 end_POSTSUBSCRIPT | start_ARG italic_P end_ARG ⟩ . (2)

In this work, we choose Γ=γtγ5Γsuperscript𝛾𝑡superscript𝛾5\Gamma=\gamma^{t}\gamma^{5}roman_Γ = italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT for quasi-TMD beam function. The parameter μ𝜇\muitalic_μ represents the MS¯¯MS\overline{\text{MS}}over¯ start_ARG MS end_ARG renormalization scale, and the space-like separation between the quark and the antiquark is denoted as b(z,b)𝑏𝑧subscript𝑏perpendicular-to\vec{b}\equiv(z,\vec{b}_{\perp})over→ start_ARG italic_b end_ARG ≡ ( italic_z , over→ start_ARG italic_b end_ARG start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ). The hadron state carries momentum P=(Pt,0,0,Pz)𝑃superscript𝑃𝑡00superscript𝑃𝑧P=(P^{t},0,0,P^{z})italic_P = ( italic_P start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT , 0 , 0 , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) and satisfies the normalization condition P|P=2Ptδ(0)inner-product𝑃𝑃2superscript𝑃𝑡𝛿0\langle P|P\rangle=2P^{t}\delta(0)⟨ italic_P | italic_P ⟩ = 2 italic_P start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_δ ( 0 ). When the hadron moves with a large momentum Pzsuperscript𝑃𝑧P^{z}italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT, the quasi-TMD beam function factorizes as,

f~Γ(x,b,Pz;μ)=Hf(x,Pz;μ)B(x,b,xP+;μ,ν)×SC0(b;μ,ν),subscript~𝑓Γ𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇subscript𝐻𝑓𝑥superscript𝑃𝑧𝜇𝐵𝑥subscript𝑏perpendicular-to𝑥superscript𝑃𝜇𝜈subscriptsuperscript𝑆0𝐶subscript𝑏perpendicular-to𝜇𝜈\displaystyle\begin{split}\tilde{f}_{\Gamma}(x,b_{\perp},P^{z};\mu)=H_{f}&% \left(x,P^{z};\mu\right)B(x,b_{\perp},xP^{+};\mu,\nu)\\ &\times S^{0}_{C}(b_{\perp};\mu,\nu)~{},\end{split}start_ROW start_CELL over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = italic_H start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT end_CELL start_CELL ( italic_x , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) italic_B ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_x italic_P start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ; italic_μ , italic_ν ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL × italic_S start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ , italic_ν ) , end_CELL end_ROW (3)

where B(x,b,xP+;μ,ν)𝐵𝑥subscript𝑏perpendicular-to𝑥superscript𝑃𝜇𝜈B(x,b_{\perp},xP^{+};\mu,\nu)italic_B ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_x italic_P start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ; italic_μ , italic_ν ) is the light-cone beam function with zero-bin subtraction, following the procedure outlined in Refs. [80, 81]. The term SC0(b;μ,ν)subscriptsuperscript𝑆0𝐶subscript𝑏perpendicular-to𝜇𝜈S^{0}_{C}(b_{\perp};\mu,\nu)italic_S start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ , italic_ν ) represents the zero-bin contribution, and the operator definitions of both functions are detailed in Ref. [78]. The parameters μ𝜇\muitalic_μ and ν𝜈\nuitalic_ν correspond to the renormalization scales associated with the ultraviolet (UV) and rapidity divergences, respectively. The function Hf(x,Pz;μ)=|CTMD(xPz;μ)|2subscript𝐻𝑓𝑥superscript𝑃𝑧𝜇superscriptsubscript𝐶TMD𝑥superscript𝑃𝑧𝜇2H_{f}\left(x,P^{z};\mu\right)=|C_{\rm TMD}(xP^{z};\mu)|^{2}italic_H start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ( italic_x , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = | italic_C start_POSTSUBSCRIPT roman_TMD end_POSTSUBSCRIPT ( italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT represents the hard kernel that matches the QCD quark field operator to Soft-Collinear Effective Theory (SCET) [45].

The light-cone TMDPDF can be defined from the light-cone beam function B𝐵Bitalic_B and the soft function S𝑆Sitalic_S,

f(x,b;μ,ζ)=B(x,b,xP+;μ,ν)S(b,yn;μ,ν),𝑓𝑥subscript𝑏perpendicular-to𝜇𝜁𝐵𝑥subscript𝑏perpendicular-to𝑥superscript𝑃𝜇𝜈𝑆subscript𝑏perpendicular-tosubscript𝑦𝑛𝜇𝜈\displaystyle f(x,b_{\perp};\mu,\zeta)=B(x,b_{\perp},xP^{+};\mu,\nu)S(b_{\perp% },y_{n};\mu,\nu)~{},italic_f ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ , italic_ζ ) = italic_B ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_x italic_P start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ; italic_μ , italic_ν ) italic_S ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ , italic_ν ) , (4)

where the dependence on the rapidity renormalization scale ν𝜈\nuitalic_ν cancels out on the right-hand side, leaving only a dependence on the Collins-Soper scale ζ2(xP+)2e2yn𝜁2superscript𝑥superscript𝑃2superscript𝑒2subscript𝑦𝑛\zeta\equiv 2(xP^{+})^{2}e^{-2y_{n}}italic_ζ ≡ 2 ( italic_x italic_P start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - 2 italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUPERSCRIPT. Combining Eqs. 3 and 4, the factorization formula connecting the quasi-TMDPDF and the light-cone TMDPDF is given by [40, 41, 43, 44, 78]

SI(b,yn;μ)f~Γ(x,b,Pz;μ)=f(x,b;μ,ζ)Hf(x,Pz;μ)+p.c.,missing-subexpressionsubscript𝑆𝐼subscript𝑏perpendicular-tosubscript𝑦𝑛𝜇subscript~𝑓Γ𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇missing-subexpressionformulae-sequenceabsent𝑓𝑥subscript𝑏perpendicular-to𝜇𝜁subscript𝐻𝑓𝑥superscript𝑃𝑧𝜇pc\displaystyle\begin{aligned} &\sqrt{S_{I}\left(b_{\perp},y_{n};\mu\right)}% \cdot\tilde{f}_{\Gamma}(x,b_{\perp},P^{z};\mu)\\ &\quad\quad\quad\quad\quad=f(x,b_{\perp};\mu,\zeta)H_{f}\left(x,P^{z};\mu% \right)+\mathrm{p.c.}~{},\end{aligned}start_ROW start_CELL end_CELL start_CELL square-root start_ARG italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ ) end_ARG ⋅ over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = italic_f ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ , italic_ζ ) italic_H start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ( italic_x , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) + roman_p . roman_c . , end_CELL end_ROW (5)

where p.c. indicates the power corrections, and the intrinsic soft function SIsubscript𝑆𝐼S_{I}italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT is defined as

SI(b,yn;μ)(S(b,yn;μ,ν)SC0(b;μ,ν))2.subscript𝑆𝐼subscript𝑏perpendicular-tosubscript𝑦𝑛𝜇superscript𝑆subscript𝑏perpendicular-tosubscript𝑦𝑛𝜇𝜈subscriptsuperscript𝑆0𝐶subscript𝑏perpendicular-to𝜇𝜈2\displaystyle S_{I}\left(b_{\perp},y_{n};\mu\right)\equiv\left(\frac{S(b_{% \perp},y_{n};\mu,\nu)}{S^{0}_{C}(b_{\perp};\mu,\nu)}\right)^{2}~{}\,.italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ ) ≡ ( divide start_ARG italic_S ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ , italic_ν ) end_ARG start_ARG italic_S start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ , italic_ν ) end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (6)

Here SC0subscriptsuperscript𝑆0𝐶S^{0}_{C}italic_S start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT is the CG quasi-soft function, as defined in Ref. [78], which exactly cancels the rapidity divergences in S𝑆Sitalic_S. The above factorization formula is of the same form as that for the GI quasi-TMDPDFs [40, 41, 43, 44], while the method to calculate SIsubscript𝑆𝐼S_{I}italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT was first proposed in Ref. [43], which enables a complete determination of the TMDs from the lattice.

The intrinsic soft function satisfies the evolution equation

ddynlnSI(b,yn;μ)=2γMS¯(b;μ),𝑑𝑑subscript𝑦𝑛subscript𝑆𝐼subscript𝑏perpendicular-tosubscript𝑦𝑛𝜇2superscript𝛾¯MSsubscript𝑏perpendicular-to𝜇\displaystyle\frac{d}{dy_{n}}\ln S_{I}\left(b_{\perp},y_{n};\mu\right)=-2% \gamma^{\overline{\rm MS}}(b_{\perp};\mu)~{},divide start_ARG italic_d end_ARG start_ARG italic_d italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG roman_ln italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ ) = - 2 italic_γ start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) , (7)

where γMS¯(b;μ)superscript𝛾¯MSsubscript𝑏perpendicular-to𝜇\gamma^{\overline{\rm MS}}(b_{\perp};\mu)italic_γ start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) is the Collins-Soper kernel. Therefore, the intrinsic soft function at any ynsubscript𝑦𝑛y_{n}italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT satisfies

SI(b,yn;μ)=SI(b,yn=0;μ)exp(2ynγMS¯(b;μ)).\displaystyle\begin{aligned} &S_{I}\left(b_{\perp},y_{n};\mu\right)\\ &\quad=S_{I}\left(b_{\perp},y_{n}=0;\mu\right)\cdot\exp(-2y_{n}\cdot\gamma^{% \overline{\rm MS}}(b_{\perp};\mu))~{}.\end{aligned}start_ROW start_CELL end_CELL start_CELL italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0 ; italic_μ ) ⋅ roman_exp ( start_ARG - 2 italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ⋅ italic_γ start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) end_ARG ) . end_CELL end_ROW (8)

One can redefine the intrinsic soft function as SI(b;μ)SI(b,yn=0;μ)S_{I}\left(b_{\perp};\mu\right)\equiv S_{I}\left(b_{\perp},y_{n}=0;\mu\right)italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) ≡ italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0 ; italic_μ ), allowing us to rewrite Eq. (5) in a more explicit form,

SI(b;μ)f~Γ(x,b,Pz;μ)=f(x,b;μ,ζ)×Hf(x,Pz;μ)exp[12ln(2xPz)2ζγMS¯(b;μ)]+𝒪(ΛQCDxPz,1b(xPz)).missing-subexpressionsubscript𝑆𝐼subscript𝑏perpendicular-to𝜇subscript~𝑓Γ𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇𝑓𝑥subscript𝑏perpendicular-to𝜇𝜁missing-subexpressionabsentsubscript𝐻𝑓𝑥superscript𝑃𝑧𝜇12superscript2𝑥superscript𝑃𝑧2𝜁superscript𝛾¯MSsubscript𝑏perpendicular-to𝜇missing-subexpression𝒪subscriptΛQCD𝑥superscript𝑃𝑧1subscript𝑏perpendicular-to𝑥superscript𝑃𝑧\displaystyle\begin{aligned} &\sqrt{S_{I}\left(b_{\perp};\mu\right)}\cdot% \tilde{f}_{\Gamma}\left(x,b_{\perp},P^{z};\mu\right)=f\left(x,b_{\perp};\mu,% \zeta\right)\\ &\quad\quad\times H_{f}\left(x,P^{z};\mu\right)\exp\left[\frac{1}{2}\ln\frac{% \left(2xP^{z}\right)^{2}}{\zeta}\gamma^{\overline{\mathrm{MS}}}\left(b_{\perp}% ;\mu\right)\right]\\ &\quad\quad+\mathcal{O}\left(\frac{\Lambda_{\mathrm{QCD}}}{xP^{z}},\frac{1}{b_% {\perp}\left(xP^{z}\right)}\right)~{}.\end{aligned}start_ROW start_CELL end_CELL start_CELL square-root start_ARG italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) end_ARG ⋅ over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = italic_f ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ , italic_ζ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL × italic_H start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ( italic_x , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) roman_exp [ divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_ln divide start_ARG ( 2 italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_ζ end_ARG italic_γ start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) ] end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + caligraphic_O ( divide start_ARG roman_Λ start_POSTSUBSCRIPT roman_QCD end_POSTSUBSCRIPT end_ARG start_ARG italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT end_ARG , divide start_ARG 1 end_ARG start_ARG italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ( italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_ARG ) . end_CELL end_ROW (9)

This factorization framework provides a systematic approach to relating quasi-TMDPDFs extracted from lattice QCD to their light-cone counterparts, ensuring a well-defined separation between perturbative and non-perturbative contributions. However, power corrections of order 𝒪(ΛQCDxPz,1bxPz)𝒪subscriptΛQCD𝑥superscript𝑃𝑧1subscript𝑏perpendicular-to𝑥superscript𝑃𝑧\mathcal{O}\left(\frac{\Lambda_{\mathrm{QCD}}}{xP^{z}},\frac{1}{b_{\perp}xP^{z% }}\right)caligraphic_O ( divide start_ARG roman_Λ start_POSTSUBSCRIPT roman_QCD end_POSTSUBSCRIPT end_ARG start_ARG italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT end_ARG , divide start_ARG 1 end_ARG start_ARG italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT end_ARG ) [82] introduce systematic uncertainties, particularly in the small-x𝑥xitalic_x region. Despite these limitations, the framework offers valuable first-principles constraints in the large-x𝑥xitalic_x regime, where power corrections are expected to be relatively small.

II.2 Quasi-TMDWF and CS kernel

Similar to the quasi-TMD beam function defined in Eqs. (1) and (2), the light-cone TMDWF can be derived from the CG quasi-TMDWF, which is defined as

ϕ~Γ(x,b,Pz;μ)=Pzdz2πeiz(xPz)φ~Γ(z,b,Pz;μ),subscript~italic-ϕΓ𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇superscript𝑃𝑧𝑑𝑧2𝜋superscript𝑒𝑖𝑧𝑥superscript𝑃𝑧subscript~𝜑Γ𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇\displaystyle\tilde{\phi}_{\Gamma}(x,b_{\perp},P^{z};\mu)=P^{z}\int\frac{dz}{2% \pi}e^{iz(xP^{z})}\tilde{\varphi}_{\Gamma}(z,b_{\perp},P^{z};\mu)~{},over~ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ∫ divide start_ARG italic_d italic_z end_ARG start_ARG 2 italic_π end_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_z ( italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT over~ start_ARG italic_φ end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) , (10)

with the quasi-TMDWF matrix elements given by

φ~Γ(z,b,Pz;μ)=eiz(xPz)/22Pt×Ω|q¯(z/2,b/2)Γq(z/2,b/2)|A=0|P,missing-subexpressionsubscript~𝜑Γ𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇superscript𝑒𝑖𝑧𝑥superscript𝑃𝑧22subscript𝑃𝑡missing-subexpressionabsentevaluated-atbraΩ¯𝑞𝑧2subscript𝑏perpendicular-to2Γ𝑞𝑧2subscript𝑏perpendicular-to2𝐴0ket𝑃\displaystyle\begin{aligned} &\tilde{\varphi}_{\Gamma}(z,b_{\perp},P^{z};\mu)=% \frac{e^{-iz(xP^{z})/2}}{2P_{t}}\\ &\quad\times\bra{\Omega}\left.\bar{q}(z/2,b_{\perp}/2)\Gamma q(-z/2,-b_{\perp}% /2)\right|_{\vec{\nabla}\cdot\vec{A}=0}\ket{P}~{},\end{aligned}start_ROW start_CELL end_CELL start_CELL over~ start_ARG italic_φ end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_i italic_z ( italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) / 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_P start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL × ⟨ start_ARG roman_Ω end_ARG | over¯ start_ARG italic_q end_ARG ( italic_z / 2 , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT / 2 ) roman_Γ italic_q ( - italic_z / 2 , - italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT / 2 ) | start_POSTSUBSCRIPT over→ start_ARG ∇ end_ARG ⋅ over→ start_ARG italic_A end_ARG = 0 end_POSTSUBSCRIPT | start_ARG italic_P end_ARG ⟩ , end_CELL end_ROW (11)

which corresponds to a pion-to-vacuum matrix element, the |ΩketΩ\ket{\Omega}| start_ARG roman_Ω end_ARG ⟩ represents the QCD vacuum state. In this work, we choose Γ=γzγ5Γsuperscript𝛾𝑧superscript𝛾5\Gamma=\gamma^{z}\gamma^{5}roman_Γ = italic_γ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT for quasi-TMDWFs with nonzero momenta, while for zero-momentum quasi-TMDWFs, we set Γ=γtγ5Γsuperscript𝛾𝑡superscript𝛾5\Gamma=\gamma^{t}\gamma^{5}roman_Γ = italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT.

In the large-momentum limit, the quasi-TMDWF can be matched to the light-cone TMDWF via the factorization formula

SI(b,yn;μ)ϕ~Γ(x,b,Pz;μ)=ϕ(x,b,yn;μ,ζ,ζ¯)Hϕ(x,x¯,Pz;μ)+p.c.,missing-subexpressionsubscript𝑆𝐼subscript𝑏perpendicular-tosubscript𝑦𝑛𝜇subscript~italic-ϕΓ𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇missing-subexpressionformulae-sequenceabsentitalic-ϕ𝑥subscript𝑏perpendicular-tosubscript𝑦𝑛𝜇𝜁¯𝜁subscript𝐻italic-ϕ𝑥¯𝑥superscript𝑃𝑧𝜇pc\displaystyle\begin{aligned} &\sqrt{S_{I}\left(b_{\perp},y_{n};\mu\right)}% \cdot\tilde{\phi}_{\Gamma}\left(x,b_{\perp},P^{z};\mu\right)\\ &\quad\quad=\phi(x,b_{\perp},y_{n};\mu,\zeta,\bar{\zeta})H_{\phi}\left(x,\bar{% x},P^{z};\mu\right)+\mathrm{p.c.}~{},\end{aligned}start_ROW start_CELL end_CELL start_CELL square-root start_ARG italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ ) end_ARG ⋅ over~ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = italic_ϕ ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ , italic_ζ , over¯ start_ARG italic_ζ end_ARG ) italic_H start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ( italic_x , over¯ start_ARG italic_x end_ARG , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) + roman_p . roman_c . , end_CELL end_ROW (12)

with x¯=1x¯𝑥1𝑥\bar{x}=1-xover¯ start_ARG italic_x end_ARG = 1 - italic_x, ζ¯2(x¯P+)2e2yn¯𝜁2superscript¯𝑥superscript𝑃2superscript𝑒2subscript𝑦𝑛\bar{\zeta}\equiv 2(\bar{x}P^{+})^{2}e^{-2y_{n}}over¯ start_ARG italic_ζ end_ARG ≡ 2 ( over¯ start_ARG italic_x end_ARG italic_P start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - 2 italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUPERSCRIPT, and the hard kernel

Hϕ(x,x¯,Pz;μ)=CTMD(xPz;μ)CTMD(x¯Pz;μ),subscript𝐻italic-ϕ𝑥¯𝑥superscript𝑃𝑧𝜇subscript𝐶TMD𝑥superscript𝑃𝑧𝜇subscript𝐶TMD¯𝑥superscript𝑃𝑧𝜇\displaystyle H_{\phi}(x,\bar{x},P^{z};\mu)=C_{\rm TMD}(xP^{z};\mu)\cdot C_{% \rm TMD}(\bar{x}P^{z};\mu)~{},italic_H start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ( italic_x , over¯ start_ARG italic_x end_ARG , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = italic_C start_POSTSUBSCRIPT roman_TMD end_POSTSUBSCRIPT ( italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) ⋅ italic_C start_POSTSUBSCRIPT roman_TMD end_POSTSUBSCRIPT ( over¯ start_ARG italic_x end_ARG italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) , (13)

calculated up to NLO in Ref. [78].

An essential component of quasi-TMD factorization is the CS kernel γMS¯(b;μ)superscript𝛾¯MSsubscript𝑏perpendicular-to𝜇\gamma^{\overline{\rm MS}}(b_{\perp};\mu)italic_γ start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ), which governs the rapidity evolution of TMDs and is crucial to achieve consistent matching between quasi-TMDPDFs and light-cone TMDPDFs. The CS kernel can be extracted from the ratios of quasi-TMD matrix elements computed at different hadron momenta [38, 40, 43]. In this work, we employ the ratio of CG quasi-TMDWFs [43, 48],

γMS¯(b;μ)=γMS¯(b,P1,P2;μ)+p.c.=1ln(P2/P1)lnHϕ(x,x¯,P1;μ)ϕ~γzγ5(x,b,P2;μ)Hϕ(x,x¯,P2;μ)ϕ~γzγ5(x,b,P1;μ)+𝒪(ΛQCDxPz,1b(xPz),ΛQCDx¯Pz,1b(x¯Pz)).missing-subexpressionsuperscript𝛾¯MSsubscript𝑏perpendicular-to𝜇missing-subexpressionabsentsuperscript𝛾¯MSsubscript𝑏perpendicular-tosubscript𝑃1subscript𝑃2𝜇p.c.missing-subexpressionabsent1subscript𝑃2subscript𝑃1subscript𝐻italic-ϕ𝑥¯𝑥subscript𝑃1𝜇subscript~italic-ϕsuperscript𝛾𝑧superscript𝛾5𝑥subscript𝑏perpendicular-tosubscript𝑃2𝜇subscript𝐻italic-ϕ𝑥¯𝑥subscript𝑃2𝜇subscript~italic-ϕsuperscript𝛾𝑧superscript𝛾5𝑥subscript𝑏perpendicular-tosubscript𝑃1𝜇missing-subexpression𝒪subscriptΛQCD𝑥superscript𝑃𝑧1subscript𝑏perpendicular-to𝑥superscript𝑃𝑧subscriptΛQCD¯𝑥superscript𝑃𝑧1subscript𝑏perpendicular-to¯𝑥superscript𝑃𝑧\displaystyle\begin{aligned} &\gamma^{\overline{\rm MS}}(b_{\perp};\mu)\\ &\quad=\gamma^{\overline{\rm MS}}(b_{\perp},P_{1},P_{2};\mu)+\text{p.c.}\\ &\quad=\frac{1}{\ln\left(P_{2}/P_{1}\right)}\ln\frac{H_{\phi}\left(x,\bar{x},P% _{1};\mu\right)\tilde{\phi}_{\gamma^{z}\gamma^{5}}\left(x,b_{\perp},P_{2};\mu% \right)}{H_{\phi}\left(x,\bar{x},P_{2};\mu\right)\tilde{\phi}_{\gamma^{z}% \gamma^{5}}\left(x,b_{\perp},P_{1};\mu\right)}\\ &\quad\quad+\mathcal{O}\left(\frac{\Lambda_{\mathrm{QCD}}}{xP^{z}},\frac{1}{b_% {\perp}\left(xP^{z}\right)},\frac{\Lambda_{\mathrm{QCD}}}{\bar{x}P^{z}},\frac{% 1}{b_{\perp}\left(\bar{x}P^{z}\right)}\right)~{}.\end{aligned}start_ROW start_CELL end_CELL start_CELL italic_γ start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = italic_γ start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ; italic_μ ) + p.c. end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = divide start_ARG 1 end_ARG start_ARG roman_ln ( italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG roman_ln divide start_ARG italic_H start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ( italic_x , over¯ start_ARG italic_x end_ARG , italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ; italic_μ ) over~ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ; italic_μ ) end_ARG start_ARG italic_H start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ( italic_x , over¯ start_ARG italic_x end_ARG , italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ; italic_μ ) over~ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ; italic_μ ) end_ARG end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + caligraphic_O ( divide start_ARG roman_Λ start_POSTSUBSCRIPT roman_QCD end_POSTSUBSCRIPT end_ARG start_ARG italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT end_ARG , divide start_ARG 1 end_ARG start_ARG italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ( italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_ARG , divide start_ARG roman_Λ start_POSTSUBSCRIPT roman_QCD end_POSTSUBSCRIPT end_ARG start_ARG over¯ start_ARG italic_x end_ARG italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT end_ARG , divide start_ARG 1 end_ARG start_ARG italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ( over¯ start_ARG italic_x end_ARG italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_ARG ) . end_CELL end_ROW (14)

This method offers a key advantage over direct extractions from quasi-TMDPDFs, as quasi-TMDWFs naturally peak around x=0.5𝑥0.5x=0.5italic_x = 0.5, a region where power corrections are significantly suppressed. On the other hand, the quasi-TMDPDFs usually decreases quickly at moderate to large x𝑥xitalic_x, making the extraction of the CS kernel more susceptible to power corrections.

II.3 Intrinsic soft function

Another essential component of the factorization of quasi-TMDs is the intrinsic soft function, which accounts for soft gluon radiation in the process. Its calculation is particularly challenging for two reasons. First, as a non-perturbative quantity, it cannot be computed using standard perturbative techniques. Second, because the soft function involves correlations along two light-cone directions, it cannot be directly simulated on the lattice, even with a large-momentum boost.

A practical approach to determining the intrinsic soft function, as proposed in Refs. [43], is to use the TMD factorization of a pseudoscalar light-meson form factor, which is defined as

F(b,P1,P2,Γ,Γ,Γ)P2|q¯(b)Γq(b)q¯(0)Γq(0)|P10|q¯(0)Γq(0)|P1P2|q¯(0)Γq(0)|0,missing-subexpression𝐹subscript𝑏perpendicular-tosubscript𝑃1subscript𝑃2ΓsuperscriptΓsuperscriptΓmissing-subexpressionabsentquantum-operator-productsubscript𝑃2¯𝑞subscript𝑏perpendicular-toΓ𝑞subscript𝑏perpendicular-to¯𝑞0superscriptΓ𝑞0subscript𝑃1quantum-operator-product0¯𝑞0superscriptΓ𝑞0subscript𝑃1quantum-operator-productsubscript𝑃2¯𝑞0superscriptΓ𝑞00\displaystyle\begin{aligned} &F\left(b_{\perp},P_{1},P_{2},\Gamma,\Gamma^{% \prime},\Gamma^{*}\right)\\ &\quad\equiv\frac{\left\langle P_{2}\right|\bar{q}\left(b_{\perp}\right)\Gamma q% \left(b_{\perp}\right)\bar{q}(0)\Gamma^{\prime}q(0)\left|P_{1}\right\rangle}{% \langle 0|\bar{q}(0)\Gamma^{*}q(0)\left|P_{1}\right\rangle\left\langle P_{2}% \right|\bar{q}(0)\Gamma^{*}q(0)|0\rangle}~{},\end{aligned}start_ROW start_CELL end_CELL start_CELL italic_F ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , roman_Γ , roman_Γ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , roman_Γ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL ≡ divide start_ARG ⟨ italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | over¯ start_ARG italic_q end_ARG ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) roman_Γ italic_q ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) over¯ start_ARG italic_q end_ARG ( 0 ) roman_Γ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_q ( 0 ) | italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ end_ARG start_ARG ⟨ 0 | over¯ start_ARG italic_q end_ARG ( 0 ) roman_Γ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_q ( 0 ) | italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ ⟨ italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | over¯ start_ARG italic_q end_ARG ( 0 ) roman_Γ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_q ( 0 ) | 0 ⟩ end_ARG , end_CELL end_ROW (15)

where the numerator represents a three-point function, with |P1ketsubscript𝑃1\ket{P_{1}}| start_ARG italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ⟩ and |P2ketsubscript𝑃2\ket{P_{2}}| start_ARG italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ denoting pion states separated by a time interval tsepsubscript𝑡sept_{\rm sep}italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT with momenta P1subscript𝑃1P_{1}italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and P2subscript𝑃2P_{2}italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. The two current operators, q¯(b)Γq(b)¯𝑞subscript𝑏perpendicular-toΓ𝑞subscript𝑏perpendicular-to\bar{q}\left(b_{\perp}\right)\Gamma q\left(b_{\perp}\right)over¯ start_ARG italic_q end_ARG ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) roman_Γ italic_q ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) and q¯(0)Γq(0)¯𝑞0superscriptΓ𝑞0\bar{q}(0)\Gamma^{\prime}q(0)over¯ start_ARG italic_q end_ARG ( 0 ) roman_Γ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_q ( 0 ), are inserted at the same time slice τ𝜏\tauitalic_τ between these pion states. To extract the leading-twist contribution, one can choose the Dirac matrices as Γ=Γ{I,γ5,γ,γ5γ}ΓsuperscriptΓ𝐼subscript𝛾5subscript𝛾perpendicular-tosubscript𝛾5subscript𝛾perpendicular-to\Gamma=\Gamma^{\prime}\in\{I,\gamma_{5},\gamma_{\perp},\gamma_{5}\gamma_{\perp}\}roman_Γ = roman_Γ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ { italic_I , italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT , italic_γ start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT } [52, 63]. The denominator consists of pion decay constants used to normalize the form factor, with the conventional choice of Γ=γtγ5superscriptΓsuperscript𝛾𝑡superscript𝛾5\Gamma^{*}=\gamma^{t}\gamma^{5}roman_Γ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT. The pion states are taken as P1=(Pt,0,0,Pz)subscript𝑃1superscript𝑃𝑡00superscript𝑃𝑧P_{1}=(P^{t},0,0,P^{z})italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = ( italic_P start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT , 0 , 0 , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) and P2=(Pt,0,0,Pz)subscript𝑃2superscript𝑃𝑡00superscript𝑃𝑧P_{2}=(P^{t},0,0,-P^{z})italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = ( italic_P start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT , 0 , 0 , - italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ), moving back-to-back to achieve a large momentum transfer Q2=(2Pz)2superscript𝑄2superscript2superscript𝑃𝑧2Q^{2}=(2P^{z})^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( 2 italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. In this kinematic regime, the form factor can be factorized in terms of the TMDWF ϕ(x,b,yn;μ,ζ)italic-ϕ𝑥subscript𝑏perpendicular-tosubscript𝑦𝑛𝜇𝜁\phi(x,b_{\perp},y_{n};\mu,\zeta)italic_ϕ ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ , italic_ζ ) [43, 48, 52] as

F(b,Pz)=𝑑x1𝑑x2HF(x1,x2,Pz;μ)×ϕ(x1,b,yn;μ,ζ1,ζ¯1)ϕ(x2,b,yn;μ,ζ2,ζ¯2).missing-subexpression𝐹subscript𝑏perpendicular-tosuperscript𝑃𝑧differential-dsubscript𝑥1differential-dsubscript𝑥2subscript𝐻𝐹subscript𝑥1subscript𝑥2superscript𝑃𝑧𝜇missing-subexpressionabsentsuperscriptitalic-ϕsubscript𝑥1subscript𝑏perpendicular-tosubscript𝑦𝑛𝜇subscript𝜁1subscript¯𝜁1italic-ϕsubscript𝑥2subscript𝑏perpendicular-tosubscript𝑦𝑛𝜇subscript𝜁2subscript¯𝜁2\displaystyle\begin{aligned} &F(b_{\perp},P^{z})=\int dx_{1}dx_{2}H_{F}(x_{1},% x_{2},P^{z};\mu)\\ &\quad\quad\times\phi^{\dagger}(x_{1},b_{\perp},y_{n};\mu,\zeta_{1},\bar{\zeta% }_{1})\phi(x_{2},b_{\perp},-y_{n};\mu,\zeta_{2},\bar{\zeta}_{2})~{}.\end{aligned}start_ROW start_CELL end_CELL start_CELL italic_F ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) = ∫ italic_d italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_d italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL × italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ , italic_ζ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , over¯ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_ϕ ( italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , - italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ; italic_μ , italic_ζ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , over¯ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) . end_CELL end_ROW (16)

where HFsubscript𝐻𝐹H_{F}italic_H start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT is the hard kernel encapsulating the short-distance dynamics of the process. The ynsubscript𝑦𝑛y_{n}italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT-dependence cancels between ϕitalic-ϕ\phiitalic_ϕ and ϕsuperscriptitalic-ϕ\phi^{\dagger}italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT, and the hard kernel can be expressed as the product of two Sudakov kernels [52]:

HF(x1,x2,Pz;μ)=CSud(x1,x2,Pz;μ)CSud(x¯1,x¯2,Pz;μ),missing-subexpressionsubscript𝐻𝐹subscript𝑥1subscript𝑥2superscript𝑃𝑧𝜇missing-subexpressionabsentsubscript𝐶Sudsubscript𝑥1subscript𝑥2superscript𝑃𝑧𝜇subscript𝐶Sudsubscript¯𝑥1subscript¯𝑥2superscript𝑃𝑧𝜇\displaystyle\begin{aligned} &H_{F}(x_{1},x_{2},P^{z};\mu)\\ &\quad=C_{\rm Sud}(x_{1},x_{2},P^{z};\mu)\cdot C_{\rm Sud}(\bar{x}_{1},\bar{x}% _{2},P^{z};\mu)~{},\end{aligned}start_ROW start_CELL end_CELL start_CELL italic_H start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = italic_C start_POSTSUBSCRIPT roman_Sud end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) ⋅ italic_C start_POSTSUBSCRIPT roman_Sud end_POSTSUBSCRIPT ( over¯ start_ARG italic_x end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , over¯ start_ARG italic_x end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) , end_CELL end_ROW (17)

where CSudsubscript𝐶SudC_{\rm Sud}italic_C start_POSTSUBSCRIPT roman_Sud end_POSTSUBSCRIPT represents the Sudakov kernel, which has been computed at one-loop order in the literature [83, 52]. The renormalization group (RG)-resummed results for CSudsubscript𝐶SudC_{\rm Sud}italic_C start_POSTSUBSCRIPT roman_Sud end_POSTSUBSCRIPT at next-to-leading logarithmic (NLL) accuracy are provided in App. A.

By combining the factorization of the quasi-TMDWF in Eq. (12) with the form factor factorization in Eq. (16), the intrinsic soft function at yn=0subscript𝑦𝑛0y_{n}=0italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0 can be extracted as

SI(b;μ)=F(b,Pz)𝑑x1𝑑x2HF(x1,x2,Pz;μ)Φ~(x1)Φ~(x2),subscript𝑆𝐼subscript𝑏perpendicular-to𝜇𝐹subscript𝑏perpendicular-tosuperscript𝑃𝑧differential-dsubscript𝑥1differential-dsubscript𝑥2subscript𝐻𝐹subscript𝑥1subscript𝑥2superscript𝑃𝑧𝜇superscript~Φsubscript𝑥1~Φsubscript𝑥2\displaystyle S_{I}(b_{\perp};\mu)=\frac{F(b_{\perp},P^{z})}{\int dx_{1}dx_{2}% H_{F}(x_{1},x_{2},P^{z};\mu)\tilde{\Phi}^{\dagger}(x_{1})\tilde{\Phi}(x_{2})}~% {},italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) = divide start_ARG italic_F ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_ARG start_ARG ∫ italic_d italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_d italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) over~ start_ARG roman_Φ end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) over~ start_ARG roman_Φ end_ARG ( italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG , (18)

where the reduced quasi-TMDWF Φ~(x)~Φ𝑥\tilde{\Phi}(x)over~ start_ARG roman_Φ end_ARG ( italic_x ), is defined as

Φ~(x)ϕ~Γ(x,b,Pz;μ)Hϕ(x,x¯,Pz;μ).~Φ𝑥subscript~italic-ϕΓ𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇subscript𝐻italic-ϕ𝑥¯𝑥superscript𝑃𝑧𝜇\displaystyle\tilde{\Phi}(x)\equiv\frac{\tilde{\phi}_{\Gamma}\left(x,b_{\perp}% ,P^{z};\mu\right)}{H_{\phi}\left(x,\bar{x},P^{z};\mu\right)}~{}.over~ start_ARG roman_Φ end_ARG ( italic_x ) ≡ divide start_ARG over~ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) end_ARG start_ARG italic_H start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ( italic_x , over¯ start_ARG italic_x end_ARG , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) end_ARG . (19)

Using different renormalization schemes for quasi-TMDWF, one can get different intrinsic soft functions, which can be perturbatively converted to each other at small bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT. However, the scheme dependence will eventually cancel between the renormalized quasi-beam and intrinsic soft functions. The details of scheme conversion can be found in App. B.

III Lattice setup

We perform a numerical lattice QCD calculation using a 2+1212+12 + 1-flavor gauge ensemble generated by the HotQCD Collaboration [84]. The ensemble employs the Highly Improved Staggered Quark (HISQ) action [85] with a lattice spacing of a=0.06𝑎0.06a=0.06italic_a = 0.06 fm and a volume of Ls3×Lt=483×64superscriptsubscript𝐿𝑠3subscript𝐿𝑡superscript48364L_{s}^{3}\times L_{t}=48^{3}\times 64italic_L start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT × italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = 48 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT × 64. The valence sector is treated using tadpole-improved clover Wilson fermions on a hypercubic (HYP) smeared [86] gauge background. The clover coefficient is set to csw=u03/4subscript𝑐swsuperscriptsubscript𝑢034c_{\rm sw}=u_{0}^{-3/4}italic_c start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT = italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 3 / 4 end_POSTSUPERSCRIPT, where u0subscript𝑢0u_{0}italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the average plaquette after HYP smearing. For this ensemble, we use csw=1.0336subscript𝑐sw1.0336c_{\rm sw}=1.0336italic_c start_POSTSUBSCRIPT roman_sw end_POSTSUBSCRIPT = 1.0336 in both the time and spatial directions. The valence quark masses are tuned to yield a valence pion mass of 300 MeV, with a corresponding hopping parameter of κ0.12623𝜅0.12623\kappa\approx 0.12623italic_κ ≈ 0.12623.

The key requirement for the factorization of quasi-TMDs is a sufficiently large hadron momentum. To achieve a higher boost factor, we take advantage of the three-dimensional rotational symmetry of the CG approach and adopt off-axis momenta for the quasi-TMD, choosing momentum directions along n=(nx,ny,0)𝑛superscript𝑛𝑥superscript𝑛𝑦0\vec{n}=(n^{x},n^{y},0)over→ start_ARG italic_n end_ARG = ( italic_n start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT , italic_n start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT , 0 ). The hadron momenta on the lattice are given by Pz=2π|n|Lsasuperscript𝑃𝑧2𝜋𝑛subscript𝐿𝑠𝑎P^{z}=\frac{2\pi|\vec{n}|}{L_{s}a}italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = divide start_ARG 2 italic_π | over→ start_ARG italic_n end_ARG | end_ARG start_ARG italic_L start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_a end_ARG. In this study, we consider nx=ny{3,4,5}superscript𝑛𝑥superscript𝑛𝑦345n^{x}=n^{y}\in\{3,4,5\}italic_n start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT = italic_n start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ∈ { 3 , 4 , 5 }, which allows us to reach a maximum hadron momentum of Pz=3.04superscript𝑃𝑧3.04P^{z}=3.04italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 3.04 GeV for the quasi-TMD calculations. To optimize the signal-to-noise ratio and enhance overlap with large-momentum hadron ground states, we employ boosted Gaussian smearing [87], using the same setup as in Ref. [77]. To extract the ground-state contribution, we compute quasi-TMD three-point functions for multiple source-sink separations, choosing tsep/a=6,8,10,12subscript𝑡sep𝑎681012t_{\rm sep}/a=6,8,10,12italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT / italic_a = 6 , 8 , 10 , 12. Calculations are performed on 553 gauge configurations and we apply the All-Mode Averaging (AMA) technique [88] to further improve the signal. The stopping criteria for the sloppy and exact inversions are set to 104superscript10410^{-4}10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT and 1010superscript101010^{-10}10 start_POSTSUPERSCRIPT - 10 end_POSTSUPERSCRIPT, respectively, aligning with the settings in Ref. [89]. For the smaller separation tsep/a=6subscript𝑡sep𝑎6t_{\rm sep}/a=6italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT / italic_a = 6, we compute 1 exact source and 32 sloppy sources per configuration, while for the larger separations tsep/a=8,10,12subscript𝑡sep𝑎81012t_{\rm sep}/a=8,10,12italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT / italic_a = 8 , 10 , 12, we compute 4 exact sources and 128 sloppy sources.

In this work, we do not compute the form factors directly, but instead incorporate the form factor results from Ref. [63], which are computed on MILC ensembles with 2+1+12112+1+12 + 1 + 1-flavor with HISQ action [85]. Since those form factor calculations were performed using a different valence pion mass of 670 MeV, we compute the quasi-TMDWF with the same valence pion mass to ensure consistency in the extraction of the intrinsic soft function, which is a vacuum property and should be insensitive to the valence quark masses. To maintain this consistency, we adopt the conventional momentum setting n=(0,0,nz)𝑛00superscript𝑛𝑧\vec{n}=(0,0,n^{z})over→ start_ARG italic_n end_ARG = ( 0 , 0 , italic_n start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) and compute for nz{8,9,10}superscript𝑛𝑧8910n^{z}\in\{8,9,10\}italic_n start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ∈ { 8 , 9 , 10 }, corresponding to a maximum hadron momentum of Pz=4.30superscript𝑃𝑧4.30P^{z}=4.30italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 4.30 GeV. This calculation is performed on the same 553 gauge configurations from HotQCD Collaboration as mentioned above, employing 1 exact source and 32 sloppy sources per configuration.

IV quasi-TMDPDF matrix elements

IV.1 Two-point function and dispersion relation

Refer to caption
Refer to caption
Figure 1: Upper panel: effective mass plot of C2ptSSsubscriptsuperscript𝐶SS2ptC^{\rm SS}_{\text{2pt}}italic_C start_POSTSUPERSCRIPT roman_SS end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2pt end_POSTSUBSCRIPT with various momenta. The dashed lines are the ground state energies of pion calculated using the dispersion relation E0=m02+(Pz)2subscript𝐸0superscriptsubscript𝑚02superscriptsuperscript𝑃𝑧2E_{0}=\sqrt{m_{0}^{2}+(P^{z})^{2}}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = square-root start_ARG italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG, where the valence pion mass is m0=300subscript𝑚0300m_{0}=300italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 300 MeV. Lower panel: the ground-state energies E0subscript𝐸0E_{0}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT extracted from two-state fit of the two-point functions. The red line represents the exact dispersion relations with m0=300subscript𝑚0300m_{0}=300italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 300 MeV.

To extract the ground-state quasi-TMD matrix elements, it is essential to first determine the energy spectrum associated with the pion interpolator πsuperscript𝜋\pi^{\dagger}italic_π start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT. The two-point correlator is defined as

C2ptss(tsep,Pz)=πs(Pz,tsep)πs(Pz,0),subscriptsuperscript𝐶𝑠superscript𝑠2ptsubscript𝑡sepsuperscript𝑃𝑧delimited-⟨⟩subscript𝜋superscript𝑠superscript𝑃𝑧subscript𝑡sepsubscriptsuperscript𝜋𝑠superscript𝑃𝑧0\displaystyle C^{ss^{\prime}}_{\text{2pt}}\left(t_{\rm sep},P^{z}\right)=% \langle\pi_{s^{\prime}}(P^{z},t_{\rm sep})\pi^{\dagger}_{s}(P^{z},0)\rangle~{},italic_C start_POSTSUPERSCRIPT italic_s italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2pt end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) = ⟨ italic_π start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT , italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) italic_π start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT , 0 ) ⟩ , (20)

where πssubscriptsuperscript𝜋𝑠\pi^{\dagger}_{s}italic_π start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT and πssubscript𝜋superscript𝑠\pi_{s^{\prime}}italic_π start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT represent the pion source and sink defined by,

πs(x,tsep)=d¯s(x,tsep)γ5us(x,tsep),πs(P,tsep)=xπs(x,tsep)eiPx.missing-subexpressionsubscript𝜋𝑠𝑥subscript𝑡sepsubscript¯𝑑𝑠𝑥subscript𝑡sepsubscript𝛾5subscript𝑢𝑠𝑥subscript𝑡sepmissing-subexpressionsubscript𝜋𝑠𝑃subscript𝑡sepsubscript𝑥subscript𝜋𝑠𝑥subscript𝑡sepsuperscript𝑒𝑖𝑃𝑥\displaystyle\begin{aligned} &\pi_{s}(\vec{x},t_{\rm sep})=\overline{d}_{s}(% \vec{x},t_{\rm sep})\gamma_{5}u_{s}(\vec{x},t_{\rm sep}),\\ &\pi_{s}(\vec{P},t_{\rm sep})=\sum_{\vec{x}}\pi_{s}(\vec{x},t_{\rm sep})e^{-i% \vec{P}\cdot\vec{x}}.\end{aligned}start_ROW start_CELL end_CELL start_CELL italic_π start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( over→ start_ARG italic_x end_ARG , italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) = over¯ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( over→ start_ARG italic_x end_ARG , italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( over→ start_ARG italic_x end_ARG , italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) , end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL italic_π start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( over→ start_ARG italic_P end_ARG , italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG end_POSTSUBSCRIPT italic_π start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( over→ start_ARG italic_x end_ARG , italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) italic_e start_POSTSUPERSCRIPT - italic_i over→ start_ARG italic_P end_ARG ⋅ over→ start_ARG italic_x end_ARG end_POSTSUPERSCRIPT . end_CELL end_ROW (21)

In this work, we use a Gaussian-smeared source and sink (s=s=S𝑠superscript𝑠𝑆s=s^{\prime}=Sitalic_s = italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_S), following the setup in Ref. [90]. The superscript SS𝑆𝑆SSitalic_S italic_S will be removed in the following text for simplicity.

By inserting a complete set of states, the two-point correlator can be expressed as a sum over energy eigenstates,

C2pt(tsep)=n=0Ns1|zn|22En(eEntsep+eEn(Lttsep)).subscript𝐶2ptsubscript𝑡sepsuperscriptsubscript𝑛0subscript𝑁s1superscriptsubscript𝑧𝑛22subscript𝐸𝑛superscript𝑒subscript𝐸𝑛subscript𝑡sepsuperscript𝑒subscript𝐸𝑛subscript𝐿𝑡subscript𝑡sep\displaystyle C_{\text{2pt}}\left(t_{\rm sep}\right)=\sum_{n=0}^{N_{\mathrm{s}% }-1}\frac{\left|z_{n}\right|^{2}}{2E_{n}}\left(e^{-E_{n}t_{\rm sep}}+e^{-E_{n}% \left(L_{t}-t_{\rm sep}\right)}\right)~{}.italic_C start_POSTSUBSCRIPT 2pt end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_n = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT - 1 end_POSTSUPERSCRIPT divide start_ARG | italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG ( italic_e start_POSTSUPERSCRIPT - italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT - italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ) . (22)

Here, the overlap amplitude zn=n|π|Ωsubscript𝑧𝑛quantum-operator-product𝑛superscript𝜋Ωz_{n}=\langle n|\pi^{\dagger}|\Omega\rangleitalic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = ⟨ italic_n | italic_π start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT | roman_Ω ⟩ quantifies the projection of the pion interpolator onto the n𝑛nitalic_nth energy eigenstate, while Nssubscript𝑁𝑠N_{s}italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT denotes the number of excited states with the same quantum numbers as the pion.

To investigate the asymptotic behavior of C2ptsubscript𝐶2ptC_{\text{2pt}}italic_C start_POSTSUBSCRIPT 2pt end_POSTSUBSCRIPT at large tsepsubscript𝑡sept_{\rm sep}italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT, we define the effective mass as

meff(tsep)=ln(C2pt(tsep)C2pt(tsep+a)).subscript𝑚effsubscript𝑡sepsubscript𝐶2ptsubscript𝑡sepsubscript𝐶2ptsubscript𝑡sep𝑎\displaystyle m_{\rm eff}(t_{\rm sep})=\ln\left(\frac{C_{\text{2pt}}\left(t_{% \rm sep}\right)}{C_{\text{2pt}}\left(t_{\rm sep}+a\right)}\right)~{}.italic_m start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) = roman_ln ( divide start_ARG italic_C start_POSTSUBSCRIPT 2pt end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) end_ARG start_ARG italic_C start_POSTSUBSCRIPT 2pt end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT + italic_a ) end_ARG ) . (23)

The effective masses for different momenta are shown in the upper panel of Fig. 1. As tsepsubscript𝑡sept_{\rm sep}italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT increases, the effective masses approach plateaus, which align with the dashed lines computed from the relativistic dispersion relation E0=m02+(Pz)2subscript𝐸0superscriptsubscript𝑚02superscriptsuperscript𝑃𝑧2E_{0}=\sqrt{m_{0}^{2}+(P^{z})^{2}}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = square-root start_ARG italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. This agreement indicates that the ground state is effectively isolated from the excited-state tower for tsep8agreater-than-or-equivalent-tosubscript𝑡sep8𝑎t_{\rm sep}\gtrsim 8aitalic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ≳ 8 italic_a.

In practical calculations, the sum over Nssubscript𝑁𝑠N_{s}italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT must be truncated, as higher excited-state contributions decay rapidly with increasing tsepsubscript𝑡sept_{\rm sep}italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT. In this work, we perform a two-state fit by setting Nsmax=2superscriptsubscript𝑁𝑠max2N_{s}^{\rm max}=2italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT = 2, which allows us to efficiently extract the ground-state contribution while accounting for the leading excited-state contamination. The lower panel of Fig. 1 presents the extracted ground-state energies as a function of the hadron momentum. To test the validity of the relativistic dispersion relation, we fit the data points using the functional form

E=m02+c1P2+c2a2P4,𝐸superscriptsubscript𝑚02subscript𝑐1superscript𝑃2subscript𝑐2superscript𝑎2superscript𝑃4\displaystyle E=\sqrt{m_{0}^{2}+c_{1}P^{2}+c_{2}a^{2}P^{4}}~{},italic_E = square-root start_ARG italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_P start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG , (24)

where E𝐸Eitalic_E is the ground-state energy, P𝑃Pitalic_P is the hadron momentum, and a𝑎aitalic_a is the lattice spacing. The coefficients c1subscript𝑐1c_{1}italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and c2subscript𝑐2c_{2}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT parameterize the possible discretization effects. As shown by the fit bands in Fig. 1, the extracted ground-state energies exhibit excellent agreement with the expected relativistic dispersion relation up to P3.6𝑃3.6P\approx 3.6italic_P ≈ 3.6 GeV. This agreement shows that discretization effects remain small in the dispersion relation within the momentum range studied in this work.

IV.2 Bare quasi-TMD beam function matrix elements of pion

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 2: From left to right, the ratios of three-point to two-point functions Rh~subscript𝑅~R_{\tilde{h}}italic_R start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT for pion quasi-TMD with hadron momentum Pz=1.83superscript𝑃𝑧1.83P^{z}=1.83italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 1.83, 2.43 and 3.04 GeV are shown as functions of tsepsubscript𝑡sept_{\rm sep}italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT and τ𝜏\tauitalic_τ. The upper and lower panels are for the cases with (b,z)=(1,3)asubscript𝑏perpendicular-to𝑧13𝑎(b_{\perp},z)=(1,3)a( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_z ) = ( 1 , 3 ) italic_a and (b,z)=(3,3)asubscript𝑏perpendicular-to𝑧33𝑎(b_{\perp},z)=(3,3)a( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_z ) = ( 3 , 3 ) italic_a, respectively. The colored bands are two-state fit results while the gray band is the estimated ground-state matrix element.
Refer to caption
Refer to caption
Refer to caption
Figure 3: The bare matrix elements of quasi-TMD in the coordinate space are plotted as the function of bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT and λ=zPz𝜆𝑧superscript𝑃𝑧\lambda=zP^{z}italic_λ = italic_z italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT. These matrix elements are extracted from the two-state chained fit of C2ptsubscript𝐶2ptC_{\rm 2pt}italic_C start_POSTSUBSCRIPT 2 roman_p roman_t end_POSTSUBSCRIPT and Rh~subscript𝑅~R_{\tilde{h}}italic_R start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT. From left to right, the three panels correspond to hadron momenta of Pz=1.83superscript𝑃𝑧1.83P^{z}=1.83italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 1.83, 2.43 and 3.04 GeV, respectively. It is observed that for all three hadron momenta, the quasi-TMD decays as the transverse separation bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT increases and asymptotically approaches zero in the large λ𝜆\lambdaitalic_λ regime.

The quasi-TMD beam function is extracted from the three-point correlator

Ch~(tsep,τ)=πs(x0,tsep)q¯(z,b,τ)Γq(0,τ)πs(P,0),subscript𝐶~subscript𝑡sep𝜏delimited-⟨⟩subscript𝜋𝑠subscript𝑥0subscript𝑡sep¯𝑞𝑧subscript𝑏perpendicular-to𝜏Γ𝑞0𝜏superscriptsubscript𝜋𝑠𝑃0\displaystyle C_{\tilde{h}}\left(t_{\mathrm{sep}},\tau\right)=\left\langle\pi_% {s}(\vec{x}_{0},t_{\rm sep})\bar{q}(z,b_{\perp},\tau)\Gamma q(\vec{0},\tau)\pi% _{s}^{\dagger}(\vec{P},0)\right\rangle,italic_C start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT , italic_τ ) = ⟨ italic_π start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( over→ start_ARG italic_x end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) over¯ start_ARG italic_q end_ARG ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_τ ) roman_Γ italic_q ( over→ start_ARG 0 end_ARG , italic_τ ) italic_π start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( over→ start_ARG italic_P end_ARG , 0 ) ⟩ , (25)

which can be expressed in terms of a spectral decomposition as

Ch~(tsep,τ)=n,mNs1znOnmzm2EnEmeEn(tsepτ)eEmτ,subscript𝐶~subscript𝑡sep𝜏subscriptsuperscriptsubscript𝑁𝑠1𝑛𝑚superscriptsubscript𝑧𝑛subscript𝑂𝑛𝑚subscript𝑧𝑚2subscript𝐸𝑛subscript𝐸𝑚superscript𝑒subscript𝐸𝑛subscript𝑡sep𝜏superscript𝑒subscript𝐸𝑚𝜏\displaystyle\begin{aligned} C_{\tilde{h}}\left(t_{\mathrm{sep}},\tau\right)=% \sum^{N_{s}-1}_{n,m}\frac{z_{n}^{\dagger}O_{nm}z_{m}}{2\sqrt{E_{n}E_{m}}}e^{-E% _{n}\left(t_{\text{sep}}-\tau\right)}e^{-E_{m}\tau}~{},\end{aligned}start_ROW start_CELL italic_C start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT , italic_τ ) = ∑ start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n , italic_m end_POSTSUBSCRIPT divide start_ARG italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_O start_POSTSUBSCRIPT italic_n italic_m end_POSTSUBSCRIPT italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG 2 square-root start_ARG italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG end_ARG italic_e start_POSTSUPERSCRIPT - italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT sep end_POSTSUBSCRIPT - italic_τ ) end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_E start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_τ end_POSTSUPERSCRIPT , end_CELL end_ROW (26)

where Onm=n|q¯(z,b)Γq(0)|msubscript𝑂𝑛𝑚quantum-operator-product𝑛¯𝑞𝑧subscript𝑏perpendicular-toΓ𝑞0𝑚O_{nm}=\langle n|\bar{q}(z,b_{\perp})\Gamma q(0)|m\rangleitalic_O start_POSTSUBSCRIPT italic_n italic_m end_POSTSUBSCRIPT = ⟨ italic_n | over¯ start_ARG italic_q end_ARG ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) roman_Γ italic_q ( 0 ) | italic_m ⟩ represents the matrix elements of the quasi-TMD operator. To extract the ground-state matrix element O00subscript𝑂00O_{00}italic_O start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT, we employ a two-state chained fit using the two-point correlator C2ptsubscript𝐶2ptC_{\rm 2pt}italic_C start_POSTSUBSCRIPT 2 roman_p roman_t end_POSTSUBSCRIPT and the ratio

Rh~(tsep,τ)=Ch~(tsep,τ)C2pt(tsep).subscript𝑅~subscript𝑡sep𝜏subscript𝐶~subscript𝑡sep𝜏subscript𝐶2ptsubscript𝑡sep\displaystyle R_{\tilde{h}}\left(t_{\mathrm{sep}},\tau\right)=\frac{C_{\tilde{% h}}\left(t_{\mathrm{sep}},\tau\right)}{C_{\rm 2pt}\left(t_{\mathrm{sep}}\right% )}~{}.italic_R start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT , italic_τ ) = divide start_ARG italic_C start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT , italic_τ ) end_ARG start_ARG italic_C start_POSTSUBSCRIPT 2 roman_p roman_t end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) end_ARG . (27)

In the limit tsepsubscript𝑡sept_{\rm sep}\to\inftyitalic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT → ∞, the ratio Rh~subscript𝑅~R_{\tilde{h}}italic_R start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT asymptotically converges to the ground-state matrix element O00subscript𝑂00O_{00}italic_O start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT. The chained fitting procedure— first fits the two-point correlator C2ptsubscript𝐶2ptC_{\rm 2pt}italic_C start_POSTSUBSCRIPT 2 roman_p roman_t end_POSTSUBSCRIPT, then uses the posterior distributions of E0subscript𝐸0E_{0}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, E1subscript𝐸1E_{1}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, z0subscript𝑧0z_{0}italic_z start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, and z1subscript𝑧1z_{1}italic_z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT as priors in the subsequent fit of Rh~subscript𝑅~R_{\tilde{h}}italic_R start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT.

For illustration, six examples of the chained fit applied to the quasi-TMD matrix elements are shown in Fig. 2. The error bars represent the data points of the ratio Rh~subscript𝑅~R_{\tilde{h}}italic_R start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT, the colored bands depict the results of the two-state fit, and the gray band indicates the extracted ground-state matrix element. Additional details on the ground-state fit can be found in App. D.

The extracted bare matrix elements of the quasi-TMD function in the coordinate space are presented in Fig. 3. The transverse separation bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT is plotted up to 1.21.21.21.2 fm for three different hadron momenta: Pz=1.83superscript𝑃𝑧1.83P^{z}=1.83italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 1.83, 2.432.432.432.43, and 3.043.043.043.04 GeV. In all cases, the quasi-TMD function decreases as bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT increases and asymptotically approaches zero in the large-z𝑧zitalic_z regime, consistent with expected physical behavior.

IV.3 Renormalization and extrapolation

Refer to caption
Refer to caption
Refer to caption
Figure 4: The extrapolation of the renormalized quasi-TMD in coordinate space for various hadron momenta is shown in three panels. From left to right, they correspond to hadron momenta Pz=1.83superscript𝑃𝑧1.83P^{z}=1.83italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 1.83, 2.43 and 3.04 GeV, respectively. The regions between the two red dashed lines indicate the extrapolation range using Eq. (31). For different hadron momenta, the same starting point of z=0.78𝑧0.78z=0.78italic_z = 0.78 fm is chosen for the extrapolation.

As discussed in Ref. [77], the absence of Wilson lines in the CG correlator eliminates linear divergences, allowing the renormalized operator to be defined as

q¯0(z,b)Γq0(0)=Zq(a)[q¯(z,b)Γq(0)],subscript¯𝑞0𝑧subscript𝑏perpendicular-toΓsubscript𝑞00subscript𝑍𝑞𝑎delimited-[]¯𝑞𝑧subscript𝑏perpendicular-toΓ𝑞0\displaystyle\bar{q}_{0}(z,b_{\perp})\Gamma q_{0}(0)=Z_{q}(a)\left[\bar{q}(z,b% _{\perp})\Gamma q(0)\right]~{},over¯ start_ARG italic_q end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) roman_Γ italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( 0 ) = italic_Z start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ( italic_a ) [ over¯ start_ARG italic_q end_ARG ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) roman_Γ italic_q ( 0 ) ] , (28)

where Zqsubscript𝑍𝑞Z_{q}italic_Z start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT is the CG quark wave function renormalization factor. This renormalization is independent of both the external hadron states and the spatial separation of the quark bilinear operator. Consequently, an appropriate ratio can be constructed to cancel out the renormalization factor.

Following the approach in Ref. [66], we renormalize the quasi-TMD matrix elements using the ratio

h~γtγ5(z,b,Pz;μ)=h~γtγ50(z,b,Pz;a)φ~γtγ50(z=0,b,Pz=0;a),subscript~superscript𝛾𝑡superscript𝛾5𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇subscriptsuperscript~0superscript𝛾𝑡superscript𝛾5𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝑎subscriptsuperscript~𝜑0superscript𝛾𝑡superscript𝛾5formulae-sequence𝑧0subscript𝑏perpendicular-tosuperscript𝑃𝑧0𝑎\displaystyle\tilde{h}_{\gamma^{t}\gamma^{5}}(z,b_{\perp},P^{z};\mu)=\frac{% \tilde{h}^{0}_{\gamma^{t}\gamma^{5}}(z,b_{\perp},P^{z};a)}{\tilde{\varphi}^{0}% _{\gamma^{t}\gamma^{5}}(z=0,b_{\perp},P^{z}=0;a)}~{},over~ start_ARG italic_h end_ARG start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = divide start_ARG over~ start_ARG italic_h end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_a ) end_ARG start_ARG over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_z = 0 , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 0 ; italic_a ) end_ARG , (29)

and similarly for the quasi-TMDWF,

φ~γzγ5(z,b,Pz;μ)=φ~γzγ50(z,b,Pz;a)φ~γtγ50(z=0,b,Pz=0;a).subscript~𝜑superscript𝛾𝑧superscript𝛾5𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇subscriptsuperscript~𝜑0superscript𝛾𝑧superscript𝛾5𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝑎subscriptsuperscript~𝜑0superscript𝛾𝑡superscript𝛾5formulae-sequence𝑧0subscript𝑏perpendicular-tosuperscript𝑃𝑧0𝑎\displaystyle\tilde{\varphi}_{\gamma^{z}\gamma^{5}}(z,b_{\perp},P^{z};\mu)=% \frac{\tilde{\varphi}^{0}_{\gamma^{z}\gamma^{5}}(z,b_{\perp},P^{z};a)}{\tilde{% \varphi}^{0}_{\gamma^{t}\gamma^{5}}(z=0,b_{\perp},P^{z}=0;a)}~{}.over~ start_ARG italic_φ end_ARG start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = divide start_ARG over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_a ) end_ARG start_ARG over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_z = 0 , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 0 ; italic_a ) end_ARG . (30)

Here, φ~0superscript~𝜑0\tilde{\varphi}^{0}over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT denotes the bare quasi-TMDWF matrix elements defined in Eq. (11) and extracted in App. C.

The renormalized matrix elements in the coordinate space are presented in Fig. 4. As shown, the quasi-TMD matrix elements decay rapidly as a function of λ=zPz𝜆𝑧superscript𝑃𝑧\lambda=zP^{z}italic_λ = italic_z italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT, reaching approximately zero for λ5greater-than-or-equivalent-to𝜆5\lambda\gtrsim 5italic_λ ≳ 5. However, at large distances, while the values remain statistically consistent with zero, the statistical uncertainties persist at a constant level, which will lead to non-physical fluctuations in the direct Fourier transform. Due to the finite correlation length of spatial correlators in QCD [91], the quasi-TMD matrix elements in coordinate space are expected to exhibit exponential decay when the coordinate separation z𝑧zitalic_z is large. Moreover, as demonstrated in Ref. [91], the extracted quasi-distributions in momentum space within the moderate x𝑥xitalic_x region remain largely insensitive to the choice of extrapolation strategy. Therefore, we apply a non-fit extrapolation method to smooth the uncertainties of the renormalized quasi-TMD matrix elements at long distances. The extrapolation is performed using the following form:

h~ext=wh~+(1w)0,superscript~ext𝑤~1𝑤0\displaystyle\tilde{h}^{\rm ext}=w\cdot\tilde{h}+(1-w)\cdot 0~{},over~ start_ARG italic_h end_ARG start_POSTSUPERSCRIPT roman_ext end_POSTSUPERSCRIPT = italic_w ⋅ over~ start_ARG italic_h end_ARG + ( 1 - italic_w ) ⋅ 0 , (31)

where w𝑤witalic_w is a weight function that transitions linearly from 1 to 0 within the range λ[zextPz,zmaxPz]𝜆subscript𝑧extsuperscript𝑃𝑧subscript𝑧maxsuperscript𝑃𝑧\lambda\in[z_{\rm ext}P^{z},z_{\rm max}P^{z}]italic_λ ∈ [ italic_z start_POSTSUBSCRIPT roman_ext end_POSTSUBSCRIPT italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT , italic_z start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ], the zext=0.78subscript𝑧ext0.78z_{\rm ext}=0.78italic_z start_POSTSUBSCRIPT roman_ext end_POSTSUBSCRIPT = 0.78 fm is the starting point of extrapolation and zmax=1.2subscript𝑧max1.2z_{\rm max}=1.2italic_z start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = 1.2 fm is the largest longitudinal separation of quasi-TMD. It is expected that z>zext𝑧subscript𝑧extz>z_{\rm ext}italic_z > italic_z start_POSTSUBSCRIPT roman_ext end_POSTSUBSCRIPT is large enough to see the exponential decay behavior of quasi-TMD. In addition, the comparison of TMDPDF using different zextsubscript𝑧extz_{\rm ext}italic_z start_POSTSUBSCRIPT roman_ext end_POSTSUBSCRIPT can be found in App. E. The extrapolation range is indicated by the two red dashed lines in Fig. 4. After applying this extrapolation, the uncertainty bands smoothly converge to zero, mitigating non-physical fluctuations.

V Pion valence quark TMDPDF

As shown in the factorization formula Eq. (9), the computation of the unpolarized pion valence-quark TMDPDF relies on three key inputs: the Collins-Soper (CS) kernel, the intrinsic soft function, and the quasi-TMD beam function matrix elements discussed in Sec. IV. In this section, we present the numerical results for each of these components and, ultimately, the extracted unpolarized valence TMDWF and TMDPDF of the pion.

Refer to caption
Refer to caption
Figure 5: The ratio γMS¯(b,μ,P1,P2)superscript𝛾¯MSsubscript𝑏perpendicular-to𝜇subscript𝑃1subscript𝑃2\gamma^{\overline{\rm MS}}(b_{\perp},\mu,P_{1},P_{2})italic_γ start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_μ , italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) of different momentum pairs, for b=2asubscript𝑏perpendicular-to2𝑎b_{\perp}=2aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 2 italic_a (upper panel) and b=8asubscript𝑏perpendicular-to8𝑎b_{\perp}=8aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 8 italic_a (lower panel), at μ=2𝜇2\mu=2italic_μ = 2 GeV.

V.1 The Collins-Soper kernel

The CS kernel can be extracted from the ratio of quasi-TMDWFs with different momenta, as described in Eq. (14). The bare matrix elements of the quasi-TMDWFs are extracted in App. C, which follows the same strategy as in Ref. [66]. For the matching procedure, we use the fixed-order one-loop results for the CG matching coefficient CTMDsubscript𝐶TMDC_{\text{TMD}}italic_C start_POSTSUBSCRIPT TMD end_POSTSUBSCRIPT and the corresponding hard kernel Hϕsubscript𝐻italic-ϕH_{\phi}italic_H start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT, as provided in Ref. [78]. Furthermore, we account for large logarithmic terms in the hard kernel by applying renormalization group evolution to improve the accuracy of the perturbative matching up to NLL; details on this resummation can be found in App. A.

Fig. 5 shows the CS kernel γMS¯(b,P1,P2;μ)superscript𝛾¯MSsubscript𝑏perpendicular-tosubscript𝑃1subscript𝑃2𝜇\gamma^{\overline{\rm MS}}(b_{\perp},P_{1},P_{2};\mu)italic_γ start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ; italic_μ ) extracted from different momentum combinations n1z/n2zsuperscriptsubscript𝑛1𝑧superscriptsubscript𝑛2𝑧n_{1}^{z}/n_{2}^{z}italic_n start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT / italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT. The results are consistent across different momentum ratios within the uncertainty bands. However, a subtle x𝑥xitalic_x-dependence and variations between different momentum ratios suggest the presence of power corrections, since the pion mass mπ=670subscript𝑚𝜋670m_{\pi}=670italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT = 670 MeV is quite heavy, contributing to systematic uncertainties. To estimate these uncertainties, we select two sets of closely spaced momentum values: n1z/n2z=8/9subscriptsuperscript𝑛𝑧1subscriptsuperscript𝑛𝑧289n^{z}_{1}/n^{z}_{2}=8/9italic_n start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_n start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 8 / 9 and n1z/n2z=9/10subscriptsuperscript𝑛𝑧1subscriptsuperscript𝑛𝑧2910n^{z}_{1}/n^{z}_{2}=9/10italic_n start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_n start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 9 / 10. Within each Jackknife sample, we collect two momentum pairs and include 80 data points over the interval x[0.34,0.66]𝑥0.340.66x\in[0.34,0.66]italic_x ∈ [ 0.34 , 0.66 ]. The mean value γisubscriptdelimited-⟨⟩𝛾𝑖\langle\gamma\rangle_{i}⟨ italic_γ ⟩ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and the standard deviation σisubscript𝜎𝑖\sigma_{i}italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are then calculated for each Jackknife sample i𝑖iitalic_i. The final mean value, along with the corresponding statistical and systematic uncertainties, is determined as follows:

Mean=Avg[γi]Stat=Std[γi]Ns1Sys=Avg[σi],MeanabsentAvgdelimited-[]subscriptdelimited-⟨⟩𝛾𝑖StatabsentStddelimited-[]subscriptdelimited-⟨⟩𝛾𝑖subscript𝑁𝑠1SysabsentAvgdelimited-[]subscript𝜎𝑖\displaystyle\begin{aligned} \text{Mean}&=\text{Avg}[\langle\gamma\rangle_{i}]% \\ \text{Stat}&=\text{Std}[\langle\gamma\rangle_{i}]\cdot\sqrt{N_{s}-1}\\ \text{Sys}&=\text{Avg}[\sigma_{i}]~{},\end{aligned}start_ROW start_CELL Mean end_CELL start_CELL = Avg [ ⟨ italic_γ ⟩ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ] end_CELL end_ROW start_ROW start_CELL Stat end_CELL start_CELL = Std [ ⟨ italic_γ ⟩ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ] ⋅ square-root start_ARG italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - 1 end_ARG end_CELL end_ROW start_ROW start_CELL Sys end_CELL start_CELL = Avg [ italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ] , end_CELL end_ROW (32)

where “Avg” means taking the average and “Std” means taking the standard deviation, the factor Ns1subscript𝑁𝑠1\sqrt{N_{s}-1}square-root start_ARG italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - 1 end_ARG is caused by the Jackknife resampling.

Refer to caption
Figure 6: The CS kernel at μ=2𝜇2\mu=2italic_μ = 2 GeV (red points with error bars) The 3-loop perturbative results [92, 93] for the CS kernel are denoted as N3LOsuperscriptN3LO\rm N^{3}LOroman_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_LO and N3LLsuperscriptN3LL\rm N^{3}LLroman_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_LL in the figure. The CS kernels from recent phenomenological parameterizations of experimental data are shown from MAP22 [19], IFY23 [20], ART23 [23], MAP24FI [25] and ART25 [26]. In addition, some recent lattice calculations are presented from LPC23 [63], ASWZ24 [65] and DWF24 [66].

After incorporating both statistical and systematic uncertainties, Fig. 6 presents our final results for the CS kernel at μ=2𝜇2\mu=2italic_μ = 2 GeV, alongside comparisons with previous theoretical and phenomenological studies. In the small bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT region, our results align well with the three-loop perturbative calculations from Refs. [92, 93], labeled N3LOsuperscriptN3LO\rm N^{3}LOroman_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_LO and N3LLsuperscriptN3LL\rm N^{3}LLroman_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_LL. Moreover, our calculation remains reliable in the large bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT region, where perturbative methods break down.

To further contextualize our findings, we compare them with CS kernels extracted from recent global fits of experimental data, including MAP22 [19], IFY23 [20], ART23 [23], MAP24FI [25] and ART25 [26]. Additionally, we include recent lattice QCD results from LPC23 [63], ASWZ24 [65], and DWF24 [66].

A particularly important observation is the strong agreement between our calculation and the DWF24 result from chirally symmetric domain-wall fermion configurations, both of which employ the CG framework despite using different lattice actions. Moreover, it is observable that the two most recent global analysis results (MAP24FI and ART25) exhibit a deviation from their prior results in different directions. Nevertheless, both remain consistent with this work due to the large uncertainty in our CS kernel, primarily stemming from power corrections at such a heavy pion mass, which resulted in non-flat curves in Fig. 5. In our future study, the precision of our CS kernel could be refined by adopting a smaller valence pion mass.

V.2 Intrinsic soft function

Refer to caption
Refer to caption
Refer to caption
Figure 7: Extrapolations of reduced quasi-TMDWF using Eq. (33). From left to right, the three panels correspond to hadron momenta Pz=3.44superscript𝑃𝑧3.44P^{z}=3.44italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 3.44, 3.87 and 4.30 GeV, respectively. All of three cases are evolved to PFF=3.01subscript𝑃FF3.01P_{\rm FF}=3.01italic_P start_POSTSUBSCRIPT roman_FF end_POSTSUBSCRIPT = 3.01 GeV using the rapidity evolution of quasi-TMDWF. The shaded red bands indicate the regions constitute the input for the extrapolation fit.
Refer to caption
Figure 8: Intrinsic soft function in CG at μ=2𝜇2\mu=2italic_μ = 2 GeV in the ratio scheme, for different hadron momentum pairs of the quasi-TMDWF, PWFsubscript𝑃WFP_{\mathrm{WF}}italic_P start_POSTSUBSCRIPT roman_WF end_POSTSUBSCRIPT, and form factor, PFFsubscript𝑃FFP_{\mathrm{FF}}italic_P start_POSTSUBSCRIPT roman_FF end_POSTSUBSCRIPT. The final results are shown as pink points with error bars (see text for details). The corresponding one-loop fixed-order perturbative results are the red dashed line, and the one-loop RG-resummed (RGR) perturbative results are the blue dashed line.

The intrinsic soft function can be extracted from the analysis of form factors with large momentum transfer, aided by the quasi-TMDWF, as discussed in Sec. II.3. In this work, we use the form factors computed in Ref. [63], which include two datasets corresponding to the hadron momenta of PFF=2.58subscript𝑃FF2.58P_{\rm FF}=2.58italic_P start_POSTSUBSCRIPT roman_FF end_POSTSUBSCRIPT = 2.58 GeV and PFF=3.01subscript𝑃FF3.01P_{\rm FF}=3.01italic_P start_POSTSUBSCRIPT roman_FF end_POSTSUBSCRIPT = 3.01 GeV.

To extract the intrinsic soft function using Eq. (18), we integrate the quasi-TMDWF over x1subscript𝑥1x_{1}italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and x2subscript𝑥2x_{2}italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. However, near the endpoint regions (x0𝑥0x\approx 0italic_x ≈ 0 and x1𝑥1x\approx 1italic_x ≈ 1), quasi-distributions suffer from significant power corrections. To mitigate this issue, we extrapolate the reduced quasi-TMDWF Φ~~Φ\tilde{\Phi}over~ start_ARG roman_Φ end_ARG, using the functional form

Φ~(x)=cxn(1x)n,~Φ𝑥𝑐superscript𝑥𝑛superscript1𝑥𝑛\displaystyle\tilde{\Phi}(x)=cx^{n}(1-x)^{n}~{},over~ start_ARG roman_Φ end_ARG ( italic_x ) = italic_c italic_x start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ( 1 - italic_x ) start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT , (33)

where c𝑐citalic_c and n𝑛nitalic_n are fitting parameters. A comparison of the reduced quasi-TMDWF before and after extrapolation is shown in Fig. 7, where the three panels correspond to hadron momenta Pz=3.44superscript𝑃𝑧3.44P^{z}=3.44italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 3.44, 3.87 and 4.30 GeV, respectively. All three cases are evolved to PFF=3.01subscript𝑃FF3.01P_{\rm FF}=3.01italic_P start_POSTSUBSCRIPT roman_FF end_POSTSUBSCRIPT = 3.01 GeV using the rapidity evolution of quasi-TMDWF. The red shaded bands indicate the regions that constitute the input for the extrapolation fit, with the selected fit range of x[0.3,0.45]𝑥0.30.45x\in[0.3,0.45]italic_x ∈ [ 0.3 , 0.45 ] and x[0.55,0.7]𝑥0.550.7x\in[0.55,0.7]italic_x ∈ [ 0.55 , 0.7 ], where the results of three different momenta show consistency. The extrapolation form derived from the fitting process is applied to the endpoint regions with x<0.3𝑥0.3x<0.3italic_x < 0.3 or x>0.7𝑥0.7x>0.7italic_x > 0.7. Fig. 7 shows that the extrapolated results outside the fit range are in alignment with the observed trends. Furthermore, since the Sudakov kernel diverges near the endpoints (x0𝑥0x\approx 0italic_x ≈ 0) after the RG resummation, the integral in Eq. (18) is restricted to the range x1,x2[0.05,0.95]subscript𝑥1subscript𝑥20.050.95x_{1},x_{2}\in[0.05,0.95]italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∈ [ 0.05 , 0.95 ]. This cutoff has a small impact on the results of the intrinsic soft function, since the integrand in the denominator of Eq. (18) converges near the endpoint regions.

To assess systematic effects from power corrections, we performed the integration with six different momentum pairs, formed by combining two momenta from the form factor dataset with three momenta from the quasi-TMDWF. In order to bridge the gap between PFFsubscript𝑃FFP_{\rm FF}italic_P start_POSTSUBSCRIPT roman_FF end_POSTSUBSCRIPT and the hadron momenta of the quasi-TMDWF PWFsubscript𝑃WFP_{\rm WF}italic_P start_POSTSUBSCRIPT roman_WF end_POSTSUBSCRIPT, the quasi-TMDWF is evolved to PFFsubscript𝑃FFP_{\rm FF}italic_P start_POSTSUBSCRIPT roman_FF end_POSTSUBSCRIPT by solving the rapidity evolution equation. The extracted intrinsic soft function, according to Eq. (18), is shown in Fig. 8, where comparisons across different momentum pairs indicate that power corrections have only a minor impact. Note that the superscript “ratio” of SIratiosuperscriptsubscript𝑆𝐼ratioS_{I}^{\rm ratio}italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ratio end_POSTSUPERSCRIPT indicates the ratio scheme in the renormalization of the quasi-TMDWF.

For the final results of SIratiosuperscriptsubscript𝑆𝐼ratioS_{I}^{\rm ratio}italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ratio end_POSTSUPERSCRIPT, the central values and statistical uncertainties are determined from a correlated average over the six momentum pairs formed by combining the form factor and quasi-TMDWF datasets. The systematic uncertainties are determined by the spread of the mean values across these six momentum pairs, quantified as the absolute difference between the maximum and minimum values. The extracted intrinsic soft function at μ=2𝜇2\mu=2italic_μ = 2 GeV, shown as pink points with error bars in Fig. 8, is compared to fixed-order and RG-resummed (RGR) perturbative predictions at leading-logarithmic (LL) accuracy. Further details on RG resummation can be found in App. A. In particular, at small bTsubscript𝑏𝑇b_{T}italic_b start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT, our lattice results exhibit reasonable agreement with perturbative predictions, highlighting the robustness of our approach. In the large bTsubscript𝑏𝑇b_{T}italic_b start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT region, where perturbation theory becomes unreliable, our lattice results are expected to provide a more accurate description of the intrinsic soft function, offering valuable non-perturbative insights.

V.3 Pion TMDWF in x𝑥xitalic_x space

Refer to caption
Refer to caption
Figure 9: The light-cone pion TMDWF at yn=0subscript𝑦𝑛0y_{n}=0italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0, Pfix=4.30subscript𝑃fix4.30P_{\mathrm{fix}}=4.30italic_P start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT = 4.30 GeV and μ=2𝜇2\mu=2italic_μ = 2 GeV of different hadron momenta, Pzsubscript𝑃𝑧P_{z}italic_P start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT, as the functions of momentum fraction, x𝑥xitalic_x, and for two transverse separations b=4asubscript𝑏perpendicular-to4𝑎b_{\perp}=4aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 4 italic_a (upper panel) and b=8asubscript𝑏perpendicular-to8𝑎b_{\perp}=8aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 8 italic_a (lower panel). The shaded gray bands (x<0.11𝑥0.11x<0.11italic_x < 0.11 and x>0.89𝑥0.89x>0.89italic_x > 0.89) indicate the endpoint regions where the estimated combined systematics are larger than 30%percent3030\%30 %. The detailed estimation of the systematics is explained in App. F.

By integrating the CG kernel, intrinsic soft function, and the renormalized quasi-TMDWF, the light-cone TMDWF can be extracted by employing the factorization formula found in Eq. (12). Choosing scales yn=0subscript𝑦𝑛0y_{n}=0italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0, ζ=(2xPfix)2𝜁superscript2𝑥subscript𝑃fix2\zeta=(2xP_{\mathrm{fix}})^{2}italic_ζ = ( 2 italic_x italic_P start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, and ζ¯=(2x¯Pfix)2¯𝜁superscript2¯𝑥subscript𝑃fix2\bar{\zeta}=(2\bar{x}P_{\mathrm{fix}})^{2}over¯ start_ARG italic_ζ end_ARG = ( 2 over¯ start_ARG italic_x end_ARG italic_P start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, the factorization formula can be rewritten in a more explicit form,

SI(b;μ)ϕ~Γ(x,b,Pz;μ)=ϕ(x,b;μ,ζ,ζ¯)×Hϕ(x,x¯,Pz;μ)exp[ln(PzPfix)γMS¯(b;μ)]+𝒪(ΛQCDxPz,1b(xPz),ΛQCDx¯Pz,1b(x¯Pz)),missing-subexpressionsubscript𝑆𝐼subscript𝑏perpendicular-to𝜇subscript~italic-ϕΓ𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇italic-ϕ𝑥subscript𝑏perpendicular-to𝜇𝜁¯𝜁missing-subexpressionabsentsubscript𝐻italic-ϕ𝑥¯𝑥superscript𝑃𝑧𝜇superscript𝑃𝑧subscript𝑃fixsuperscript𝛾¯MSsubscript𝑏perpendicular-to𝜇missing-subexpression𝒪subscriptΛQCD𝑥superscript𝑃𝑧1subscript𝑏perpendicular-to𝑥superscript𝑃𝑧subscriptΛQCD¯𝑥superscript𝑃𝑧1subscript𝑏perpendicular-to¯𝑥superscript𝑃𝑧\displaystyle\begin{aligned} &\sqrt{S_{I}\left(b_{\perp};\mu\right)}\cdot% \tilde{\phi}_{\Gamma}\left(x,b_{\perp},P^{z};\mu\right)=\phi\left(x,b_{\perp};% \mu,\zeta,\bar{\zeta}\right)\\ &\quad\quad\times H_{\phi}\left(x,\bar{x},P^{z};\mu\right)\exp\left[\ln\left(% \frac{P^{z}}{P_{\mathrm{fix}}}\right)\gamma^{\overline{\mathrm{MS}}}\left(b_{% \perp};\mu\right)\right]\\ &\quad\quad+\mathcal{O}\left(\frac{\Lambda_{\mathrm{QCD}}}{xP^{z}},\frac{1}{b_% {\perp}\left(xP^{z}\right)},\frac{\Lambda_{\mathrm{QCD}}}{\bar{x}P^{z}},\frac{% 1}{b_{\perp}\left(\bar{x}P^{z}\right)}\right)~{},\end{aligned}start_ROW start_CELL end_CELL start_CELL square-root start_ARG italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) end_ARG ⋅ over~ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = italic_ϕ ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ , italic_ζ , over¯ start_ARG italic_ζ end_ARG ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL × italic_H start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ( italic_x , over¯ start_ARG italic_x end_ARG , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) roman_exp [ roman_ln ( divide start_ARG italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT end_ARG start_ARG italic_P start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT end_ARG ) italic_γ start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) ] end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + caligraphic_O ( divide start_ARG roman_Λ start_POSTSUBSCRIPT roman_QCD end_POSTSUBSCRIPT end_ARG start_ARG italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT end_ARG , divide start_ARG 1 end_ARG start_ARG italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ( italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_ARG , divide start_ARG roman_Λ start_POSTSUBSCRIPT roman_QCD end_POSTSUBSCRIPT end_ARG start_ARG over¯ start_ARG italic_x end_ARG italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT end_ARG , divide start_ARG 1 end_ARG start_ARG italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ( over¯ start_ARG italic_x end_ARG italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_ARG ) , end_CELL end_ROW (34)

where the CS scale is evolved from ζ0=(2xPz)2subscript𝜁0superscript2𝑥superscript𝑃𝑧2\zeta_{0}=(2xP^{z})^{2}italic_ζ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = ( 2 italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and ζ¯0subscript¯𝜁0\bar{\zeta}_{0}over¯ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT to ζ=(2xPfix)2𝜁superscript2𝑥subscript𝑃fix2\zeta=(2xP_{\mathrm{fix}})^{2}italic_ζ = ( 2 italic_x italic_P start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and ζ¯¯𝜁\bar{\zeta}over¯ start_ARG italic_ζ end_ARG using the CS kernel extracted from quasi-TMDWFs.

The final results for the TMDWF at yn=0subscript𝑦𝑛0y_{n}=0italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0, Pfix=4.30subscript𝑃fix4.30P_{\mathrm{fix}}=4.30italic_P start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT = 4.30 GeV, and μ=2𝜇2\mu=2italic_μ = 2 GeV are shown in Fig. 9 as a function of the momentum fraction x𝑥xitalic_x for three different hadron momenta. Two representative transverse separations, b=4asubscript𝑏perpendicular-to4𝑎b_{\perp}=4aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 4 italic_a (upper panel) and b=8asubscript𝑏perpendicular-to8𝑎b_{\perp}=8aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 8 italic_a (lower panel), are selected for illustration. As can be seen, the variation between different momenta remains mild in the moderate x𝑥xitalic_x region, demonstrating the validity of power expansion in large Pzsuperscript𝑃𝑧P^{z}italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT within the quasi-TMD framework, where power corrections are small. The shaded gray bands (x<0.11𝑥0.11x<0.11italic_x < 0.11 and x>0.89𝑥0.89x>0.89italic_x > 0.89) indicate the endpoint regions where the estimated combined systematics are greater than 30%percent3030\%30 %. The combined systematics include the variation of scales and power corrections, which are estimated by the variation of the initial scale μ0subscript𝜇0\mu_{0}italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT of the RGR procedure by a factor of 22\sqrt{2}square-root start_ARG 2 end_ARG and the spread in the central values of the TMDWFs with different momenta, respectively. More detailed discussion can be found in App. F.

V.4 Pion TMDPDF in bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT and ksubscript𝑘perpendicular-tok_{\perp}italic_k start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT space

Refer to caption
Refer to caption
Figure 10: The unpolarized light-cone pion TMDPDF at ζ=μ2=4GeV2𝜁superscript𝜇24superscriptGeV2\zeta=\mu^{2}=4~{}\mathrm{GeV}^{2}italic_ζ = italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 4 roman_GeV start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT of different hadron momenta are shown as the function of momentum fraction, x𝑥xitalic_x, and for transverse separations, b=4asubscript𝑏perpendicular-to4𝑎b_{\perp}=4aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 4 italic_a (upper panel) and b=8asubscript𝑏perpendicular-to8𝑎b_{\perp}=8aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 8 italic_a (lower panel). The shaded gray bands (x<0.28𝑥0.28x<0.28italic_x < 0.28 and x>0.81𝑥0.81x>0.81italic_x > 0.81) indicate the endpoint regions where the estimated combined systematics are larger than 30%percent3030\%30 %. The detailed estimation of the systematics is explained in App. F.
Refer to caption
Refer to caption
Refer to caption
Figure 11: Unpolarized light-cone TMDPDF of pion at x=0.3𝑥0.3x=0.3italic_x = 0.3, x=0.4𝑥0.4x=0.4italic_x = 0.4 and x=0.5𝑥0.5x=0.5italic_x = 0.5 in bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT space up to b1greater-than-or-equivalent-tosubscript𝑏perpendicular-to1b_{\perp}\gtrsim 1italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ≳ 1 fm, and for differnt hadron momenta, Pzsubscript𝑃𝑧P_{z}italic_P start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT. The lattice results are illustrated alongside the phenomenological results from MAP22 [27] and JAM23 [28]. In addition, the collinear PDF from lattice calculation in CG (PDF Lat) [77] and global fit (PDF JAM21) [94] are plotted for comparison.

The combination of the CG kernel, intrinsic soft function, and renormalized quasi-TMD beam functions enables the extraction of the light-cone TMDPDF using the factorization formula in Eq. (9). The final results for the TMDPDF at ζ=μ2=4GeV2𝜁superscript𝜇24superscriptGeV2\zeta=\mu^{2}=4~{}\mathrm{GeV}^{2}italic_ζ = italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 4 roman_GeV start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT are shown in Fig. 10 as a function of the momentum fraction x𝑥xitalic_x for three different hadron momenta. Two representative transverse separations, b=4asubscript𝑏perpendicular-to4𝑎b_{\perp}=4aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 4 italic_a (upper panel) and b=8asubscript𝑏perpendicular-to8𝑎b_{\perp}=8aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 8 italic_a (lower panel), are selected for illustration. As can be seen, the variation between different momenta remains mild in the moderate x𝑥xitalic_x region, demonstrating the validity of power expansion in large Pzsuperscript𝑃𝑧P^{z}italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT within the quasi-TMD framework, where power corrections are small. The shaded gray bands (x<0.28𝑥0.28x<0.28italic_x < 0.28 and x>0.81𝑥0.81x>0.81italic_x > 0.81) indicate the endpoint regions where the estimated combined systematics are greater than 30%percent3030\%30 %, with details provided in App. F.

In Fig. 11, we examine the bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT dependence of the TMDPDF at x=0.3𝑥0.3x=0.3italic_x = 0.3, x=0.4𝑥0.4x=0.4italic_x = 0.4, and x=0.5𝑥0.5x=0.5italic_x = 0.5. The results for different hadron momenta exhibit good consistency, which is improved as the x𝑥xitalic_x value approaches x=0.5𝑥0.5x=0.5italic_x = 0.5, thereby confirming our expectation of the behavior of power corrections. For comparison, we include recent global fits of the pion TMDPDF from MAP22 [27] and JAM23 [28]. Although slight deviations in magnitude are observed, the general trend of the lattice results aligns well with the global fits in terms of bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT dependence.

Since the collinear PDF and the b0subscript𝑏perpendicular-to0b_{\perp}\to 0italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT → 0 limit of the unpolarized TMDPDF differ only by a perturbative expansion in bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT [23], we also compare our results to collinear PDFs. Specifically, we include the collinear PDF extracted from lattice calculations in CG (PDF Lat) [77] and the global fit result from JAM21 (PDF JAM21) [94]. As shown in the plots, the collinear PDFs closely match the TMDPDF in the small bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT region, supporting the expected theoretical behavior.

Refer to caption
Refer to caption
Refer to caption
Figure 12: Unpolarized light-cone TMDPDF of pion at x=0.3𝑥0.3x=0.3italic_x = 0.3, x=0.4𝑥0.4x=0.4italic_x = 0.4 and x=0.5𝑥0.5x=0.5italic_x = 0.5 in bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT space after extrapolation to b=3subscript𝑏perpendicular-to3b_{\perp}=3italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 3 fm. The collinear PDF from lattice calculation in CG (PDF Lat) [77] is plotted at b=subscript𝑏perpendicular-toabsentb_{\perp}=italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 0 fm. The point at b=0.06subscript𝑏perpendicular-to0.06b_{\perp}=0.06italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 0.06 fm is obtained through cubic interpolation.

An important advantage of the CG method is the absence of linear divergence, which allows us to probe large bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT regions with a reasonable SNR. At b1greater-than-or-equivalent-tosubscript𝑏perpendicular-to1b_{\perp}\gtrsim 1italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ≳ 1 fm, the TMDPDF smoothly decays to values consistent with zero, facilitating a feasible Fourier transform into the ksubscript𝑘perpendicular-tok_{\perp}italic_k start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT space. In this study, we combined the collinear pion PDF result (PDF Lat) and the pion TMDPDF to interpolate the point at b=asubscript𝑏perpendicular-to𝑎b_{\perp}=aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = italic_a, then applied a Gaussian form to extrapolate the large bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT regime up to 3333 fm, the extrapolation form is

f(b)=Aemb2,𝑓subscript𝑏perpendicular-to𝐴superscript𝑒𝑚superscriptsubscript𝑏perpendicular-to2\displaystyle f(b_{\perp})=Ae^{-m\cdot b_{\perp}^{2}}~{},italic_f ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) = italic_A italic_e start_POSTSUPERSCRIPT - italic_m ⋅ italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , (35)

where A𝐴Aitalic_A and m𝑚mitalic_m are fit parameters. The extrapolated unpolarized light-cone TMDPDF of three momenta are plotted in Fig. 12.

Refer to caption
Refer to caption
Refer to caption
Figure 13: Unpolarized light-cone TMDPDF of pion at x=0.3𝑥0.3x=0.3italic_x = 0.3, x=0.4𝑥0.4x=0.4italic_x = 0.4 and x=0.5𝑥0.5x=0.5italic_x = 0.5 in ksubscript𝑘perpendicular-tok_{\perp}italic_k start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT space. The lattice results are illustrated alongside the phenomenological results from MAP22 [27] and JAM23 [28].

After extrapolation, we performed a discretized Fourier transform, with the results presented in Fig. 13. The general behavior of the TMDPDF extracted from the lattice remains consistent with global fits and decay as a function of ksubscript𝑘perpendicular-tok_{\perp}italic_k start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT. The extrapolation form in Eq. 35 is inspired by the confinement in the transverse plane, while the model dependence of the results in the ksubscript𝑘perpendicular-tok_{\perp}italic_k start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT space will be investigated in future works with improved data precision.

VI Conclusion

In this work, we have presented the first lattice QCD calculation of the pion unpolarized valence-quark TMDPDF within the framework of LaMET. The calculation was performed on a 2+1 flavor QCD ensemble with a lattice spacing of a=0.06𝑎0.06a=0.06italic_a = 0.06 fm and a pion mass of 300 MeV. By leveraging high statistics, off-axis momenta, a well-tuned boosted Gaussian smeared pion source, and the novel CG approach, we attained significant hadron momenta reaching 3 GeV. We computed the quasi-TMD beam function, extracted the CS kernel from quasi-TMDWF, and derived the intrinsic soft function. To enhance perturbative accuracy, we performed RGR of the Sudakov kernel at NLL order throughout our analysis. These advancements collectively enabled the determination of both the pion TMDWF and TMDPDF from the first principles.

Our results of the CS kernel and intrinsic soft function demonstrate consistency with perturbative calculations in the small-bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT region, where perturbative methods remain valid. Additionally, the extracted CS kernel shows agreement with both previous lattice QCD studies and phenomenological fits of the experimental data.

By combining the renormalized quasi-TMDPDF, the CS kernel, and the intrinsic soft function, we obtained the pion valence TMDPDF across a range of bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT. Our results extend beyond b1greater-than-or-equivalent-tosubscript𝑏perpendicular-to1b_{\perp}\gtrsim 1italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ≳ 1 fm, allowing for a feasible Fourier transform into momentum space. The extracted TMDPDFs in the bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT and ksubscript𝑘perpendicular-tok_{\perp}italic_k start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT space exhibit qualitative agreement with phenomenological fits.

The outcome of this study highlights the efficacy of the CG quasi-TMD approach in probing the transverse momentum structure of hadrons. Our results provide a valuable first-principles complement to global fits, especially in the non-perturbative region where experimental data remain scarce. Note that the pion form factor used in this work was obtained from a different lattice setup; in future studies, we plan to compute it consistently within the same lattice ensemble to ensure full compatibility. Future improvements, such as the incorporation of finer lattice spacings, larger momenta, and improved control over systematic uncertainties, will further enhance the precision of lattice QCD determinations of TMDPDFs. Additionally, extending this methodology to other hadrons, including the nucleon, will provide deeper insights into the partonic structure of QCD bound states.

Acknowledgements.
We thank Min-Huan Chu and Hai-Tao Shu for sharing the pion form factor data. We thank Lorenzo Rossi for sharing the pion TMD results of MAP22 and Patrick C. Barry for sharing the pion TMD results of JAM23. This material is based upon work supported by the U.S. Department of Energy, Office of Science, Office of Nuclear Physics through Contract No. DE-SC0012704, No. DE-AC02-06CH11357, within the framework of Scientific Discovery through Advanced Computing (SciDAC) award Fundamental Nuclear Physics at the Exascale and Beyond, and under the umbrella of the Quark-Gluon Tomography (QGT) Topical Collaboration with Award DE-SC0023646. The work of YZ is also partially supported by the Laboratory Directed Research and Development (LDRD) funding from Argonne National Laboratory, provided by the Director, Office of Science, of the U.S. Department of Energy under Contract No. DE-AC02-06CH11357. This research used awards of computer time provided by the INCITE program at Argonne Leadership Computing Facility, a DOE Office of Science User Facility operated under Contract DE-AC02-06CH11357, the ALCC program at the Oak Ridge Leadership Computing Facility, which is a DOE Office of Science User Facility supported under Contract DE-AC05-00OR22725, and the National Energy Research Scientific Computing Center, a DOE Office of Science User Facility supported by the Office of Science of the U.S. Department of Energy under Contract DE-AC02-05CH11231 using NERSC awards NP-ERCAP0028137 and NP-ERCAP0032114. Computations for this work were carried out in part on facilities of the USQCD Collaboration, which is funded by the Office of Science of the U.S. Department of Energy. We gratefully acknowledge the computing resources provided on Swing, a high-performance computing cluster operated by the Laboratory Computing Resource Center at Argonne National Laboratory. This research also used resources of the Argonne Leadership Computing Facility, a U.S. Department of Energy (DOE) Office of Science user facility at Argonne National Laboratory and is based on research supported by the U.S. DOE Office of Science-Advanced Scientific Computing Research Program, under Contract No. DE-AC02-06CH11357. The measurement of the correlators was carried out with the Qlua software suite [95], which utilized the multigrid solver in QUDA [96, 97]. Data analysis was performed using the Python package LaMETLat, which is specifically implemented to support the analysis of Lattice QCD data within the LaMET framework. The package is available at https://github.com/Greyyy-HJC/LaMETLat and is expected to undergo further development for prospective research applications.

Appendix A Renormalization group resummation

A.1 RGR for TMD hard kernel

As mentioned in Sec. II, the quasi-TMD beam function and quasi-TMDWF can be matched to their light-cone counterparts using the TMD matching coefficient CTMDsubscript𝐶TMDC_{\mathrm{TMD}}italic_C start_POSTSUBSCRIPT roman_TMD end_POSTSUBSCRIPT. In CG, the matching coefficient is calculated up to NLO fixed-order perturbation theory as  [78]

CTMD(xPz,μ)=1+αsCF4π[Lp223Lp12+7π212],subscript𝐶TMD𝑥superscript𝑃𝑧𝜇1subscript𝛼𝑠subscript𝐶𝐹4𝜋delimited-[]superscriptsubscript𝐿𝑝223subscript𝐿𝑝127superscript𝜋212\displaystyle C_{\rm TMD}\left(xP^{z},\mu\right)=1+\frac{\alpha_{s}C_{F}}{4\pi% }\left[-\frac{L_{p}^{2}}{2}-3L_{p}-12+\frac{7\pi^{2}}{12}\right]~{},italic_C start_POSTSUBSCRIPT roman_TMD end_POSTSUBSCRIPT ( italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT , italic_μ ) = 1 + divide start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 4 italic_π end_ARG [ - divide start_ARG italic_L start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG - 3 italic_L start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - 12 + divide start_ARG 7 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG ] , (36)

in which Lp=lnμ2(2xPz)2subscript𝐿𝑝superscript𝜇2superscript2𝑥superscript𝑃𝑧2L_{p}=\ln\frac{\mu^{2}}{(2xP^{z})^{2}}italic_L start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = roman_ln divide start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( 2 italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and CF=4/3subscript𝐶𝐹43C_{F}=4/3italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = 4 / 3. The RG evolution (RGE) of the matching coefficient is given in the literature [98]

ddlnμlnCTMD=γH=ΓcuspLp+γC.𝑑𝑑𝜇subscript𝐶TMDsubscript𝛾𝐻subscriptΓcuspsubscript𝐿𝑝subscript𝛾𝐶\displaystyle\frac{d}{d\ln\mu}\ln C_{\rm TMD}=\gamma_{H}=-\Gamma_{\rm cusp}L_{% p}+\gamma_{C}~{}.divide start_ARG italic_d end_ARG start_ARG italic_d roman_ln italic_μ end_ARG roman_ln italic_C start_POSTSUBSCRIPT roman_TMD end_POSTSUBSCRIPT = italic_γ start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT = - roman_Γ start_POSTSUBSCRIPT roman_cusp end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_γ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT . (37)

Combining with the fixed-order results in Eq. (36), we can solve to get the anomalous dimensions up to NLO

Γcusp(1)=2CFαs(μ)4π,superscriptsubscriptΓcusp12subscript𝐶𝐹subscript𝛼𝑠𝜇4𝜋\displaystyle\Gamma_{\rm cusp}^{(1)}=2C_{F}\cdot\frac{\alpha_{s}(\mu)}{4\pi}~{},roman_Γ start_POSTSUBSCRIPT roman_cusp end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT = 2 italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ⋅ divide start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ ) end_ARG start_ARG 4 italic_π end_ARG , (38)

and

γC(1)=(6CF)αs(μ)4π.superscriptsubscript𝛾𝐶16subscript𝐶𝐹subscript𝛼𝑠𝜇4𝜋\displaystyle\gamma_{C}^{(1)}=(-6C_{F})\cdot\frac{\alpha_{s}(\mu)}{4\pi}~{}.italic_γ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT = ( - 6 italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ) ⋅ divide start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ ) end_ARG start_ARG 4 italic_π end_ARG . (39)

Employing the defined QCD beta function β𝛽\betaitalic_β, one can incorporate the evolution of the coupling constant as described in dlnμ=dαsβ𝑑𝜇𝑑subscript𝛼𝑠𝛽d\ln\mu=\frac{d\alpha_{s}}{\beta}italic_d roman_ln italic_μ = divide start_ARG italic_d italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_β end_ARG, and subsequently perform the integration as

lnCTMD(μ)lnCTMD(μ0)=αs(μ0)αs(μ)dαsβ(αs)[2Γcuspαs(μ0)αsdαsβ(αs)+γC(αs)],missing-subexpressionsubscript𝐶TMD𝜇subscript𝐶TMDsubscript𝜇0missing-subexpressionabsentsuperscriptsubscriptsubscript𝛼𝑠subscript𝜇0subscript𝛼𝑠𝜇𝑑subscript𝛼𝑠𝛽subscript𝛼𝑠delimited-[]2subscriptΓcuspsuperscriptsubscriptsubscript𝛼𝑠subscript𝜇0subscript𝛼𝑠𝑑subscriptsuperscript𝛼𝑠𝛽subscriptsuperscript𝛼𝑠subscript𝛾𝐶subscript𝛼𝑠\displaystyle\begin{aligned} &\ln C_{\rm TMD}(\mu)-\ln C_{\rm TMD}(\mu_{0})\\ &\quad=\int_{\alpha_{s}(\mu_{0})}^{\alpha_{s}(\mu)}\frac{d\alpha_{s}}{\beta(% \alpha_{s})}\left[-2\Gamma_{\rm cusp}\int_{\alpha_{s}(\mu_{0})}^{\alpha_{s}}% \frac{d\alpha^{\prime}_{s}}{\beta(\alpha^{\prime}_{s})}+\gamma_{C}(\alpha_{s})% \right]~{},\end{aligned}start_ROW start_CELL end_CELL start_CELL roman_ln italic_C start_POSTSUBSCRIPT roman_TMD end_POSTSUBSCRIPT ( italic_μ ) - roman_ln italic_C start_POSTSUBSCRIPT roman_TMD end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = ∫ start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ ) end_POSTSUPERSCRIPT divide start_ARG italic_d italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_β ( italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) end_ARG [ - 2 roman_Γ start_POSTSUBSCRIPT roman_cusp end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG italic_d italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_β ( italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) end_ARG + italic_γ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) ] , end_CELL end_ROW (40)

where we can choose the physical scale μ0=2xPzsubscript𝜇02𝑥superscript𝑃𝑧\mu_{0}=2xP^{z}italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 2 italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT. Due to the double logarithmic term Lp2subscriptsuperscript𝐿2𝑝L^{2}_{p}italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT in Eq. (36), the next-leading-log (NLL) result needs the tree-level CTMD(μ0)subscript𝐶TMDsubscript𝜇0C_{\rm TMD}(\mu_{0})italic_C start_POSTSUBSCRIPT roman_TMD end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ), the one-loop γCsubscript𝛾𝐶\gamma_{C}italic_γ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT and the two-loop ΓcuspsubscriptΓcusp\Gamma_{\rm cusp}roman_Γ start_POSTSUBSCRIPT roman_cusp end_POSTSUBSCRIPT.

A.2 RGR for Sudakov kernel

The NLO fixed-order Sudakov kernel is given in Ref. [83, 99, 52]

CSud(μ)=1+αsCF4π[ln2μ2Q23lnμ2Q28+π26],subscript𝐶Sud𝜇1subscript𝛼𝑠subscript𝐶𝐹4𝜋delimited-[]superscript2superscript𝜇2superscript𝑄23superscript𝜇2superscript𝑄28superscript𝜋26\displaystyle C_{\rm Sud}(\mu)=1+\frac{\alpha_{s}C_{F}}{4\pi}\left[-\ln^{2}% \frac{\mu^{2}}{Q^{2}}-3\ln\frac{\mu^{2}}{Q^{2}}-8+\frac{\pi^{2}}{6}\right]~{},italic_C start_POSTSUBSCRIPT roman_Sud end_POSTSUBSCRIPT ( italic_μ ) = 1 + divide start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 4 italic_π end_ARG [ - roman_ln start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - 3 roman_ln divide start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - 8 + divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 6 end_ARG ] , (41)

where Q2=q2=(p1p2)2superscript𝑄2superscript𝑞2superscriptsubscript𝑝1subscript𝑝22Q^{2}=-q^{2}=-(p_{1}-p_{2})^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - ( italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The NLO RGE of Sudakov kernel can be derived as

ddlnμlnCSud(μ)=γ1(μ),𝑑𝑑𝜇subscript𝐶Sud𝜇subscript𝛾1𝜇\displaystyle\frac{d}{d\ln\mu}\ln C_{\rm Sud}(\mu)=\gamma_{1}(\mu)~{},divide start_ARG italic_d end_ARG start_ARG italic_d roman_ln italic_μ end_ARG roman_ln italic_C start_POSTSUBSCRIPT roman_Sud end_POSTSUBSCRIPT ( italic_μ ) = italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_μ ) , (42)

with the anomalous dimension

γ1(1)(μ)=αs(μ)CF4π[4lnμ2Q2+6].superscriptsubscript𝛾11𝜇subscript𝛼𝑠𝜇subscript𝐶𝐹4𝜋delimited-[]4superscript𝜇2superscript𝑄26\displaystyle\gamma_{1}^{(1)}(\mu)=-\frac{\alpha_{s}(\mu)C_{F}}{4\pi}\left[4% \ln\frac{\mu^{2}}{Q^{2}}+6\right]~{}.italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_μ ) = - divide start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ ) italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 4 italic_π end_ARG [ 4 roman_ln divide start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + 6 ] . (43)

Similarly, incorporating the evolution of coupling constant via dlnμ=dαsβ𝑑𝜇𝑑subscript𝛼𝑠𝛽d\ln\mu=\frac{d\alpha_{s}}{\beta}italic_d roman_ln italic_μ = divide start_ARG italic_d italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_β end_ARG, one can do the integral as

lnCSud(μ)lnCSud(μ0)=αs(μ0)αs(μ)dαsβ(αs)[αsCF4π(8αs(μ0)αsdαsβ(αs)+6)],missing-subexpressionsubscript𝐶Sud𝜇subscript𝐶Sudsubscript𝜇0missing-subexpressionabsentsuperscriptsubscriptsubscript𝛼𝑠subscript𝜇0subscript𝛼𝑠𝜇𝑑subscript𝛼𝑠𝛽subscript𝛼𝑠delimited-[]subscript𝛼𝑠subscript𝐶𝐹4𝜋8superscriptsubscriptsubscript𝛼𝑠subscript𝜇0subscript𝛼𝑠𝑑subscriptsuperscript𝛼𝑠𝛽subscriptsuperscript𝛼𝑠6\displaystyle\begin{aligned} &\ln C_{\rm Sud}(\mu)-\ln C_{\rm Sud}(\mu_{0})\\ &\quad=\int_{\alpha_{s}(\mu_{0})}^{\alpha_{s}(\mu)}\frac{d\alpha_{s}}{\beta(% \alpha_{s})}\left[-\frac{\alpha_{s}C_{F}}{4\pi}\left(8\int_{\alpha_{s}(\mu_{0}% )}^{\alpha_{s}}\frac{d\alpha^{\prime}_{s}}{\beta(\alpha^{\prime}_{s})}+6\right% )\right]~{},\end{aligned}start_ROW start_CELL end_CELL start_CELL roman_ln italic_C start_POSTSUBSCRIPT roman_Sud end_POSTSUBSCRIPT ( italic_μ ) - roman_ln italic_C start_POSTSUBSCRIPT roman_Sud end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = ∫ start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ ) end_POSTSUPERSCRIPT divide start_ARG italic_d italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_β ( italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) end_ARG [ - divide start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 4 italic_π end_ARG ( 8 ∫ start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG italic_d italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_β ( italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) end_ARG + 6 ) ] , end_CELL end_ROW (44)

where we can choose the physical scale μ0=Qsubscript𝜇0𝑄\mu_{0}=Qitalic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_Q. Due to the double logarithmic term in Eq. (41), the NLL result needs the tree-level CSud(μ0)subscript𝐶Sudsubscript𝜇0C_{\rm Sud}(\mu_{0})italic_C start_POSTSUBSCRIPT roman_Sud end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) and the one-loop γ1subscript𝛾1\gamma_{1}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT.

A.3 RGR for intrinsic soft function

In MS¯¯MS\overline{\rm MS}over¯ start_ARG roman_MS end_ARG scheme, the NLO fixed-order intrinsic soft function in CG is [78]

SI(b,μ)=1αsCFπLb,subscript𝑆𝐼subscript𝑏perpendicular-to𝜇1subscript𝛼𝑠subscript𝐶𝐹𝜋subscript𝐿𝑏\displaystyle S_{I}(b_{\perp},\mu)=1-\frac{\alpha_{s}C_{F}}{\pi}L_{b}~{},italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_μ ) = 1 - divide start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_π end_ARG italic_L start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , (45)

where Lb=lnμ2b2e2γE4subscript𝐿𝑏superscript𝜇2superscriptsubscript𝑏perpendicular-to2superscript𝑒2subscript𝛾𝐸4L_{b}=\ln\frac{\mu^{2}b_{\perp}^{2}e^{2\gamma_{E}}}{4}italic_L start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = roman_ln divide start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT 2 italic_γ start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG 4 end_ARG. The RGE can be derived as

ddlnμlnSI(b,μ)=2αs(μ)CFπ.𝑑𝑑𝜇subscript𝑆𝐼subscript𝑏perpendicular-to𝜇2subscript𝛼𝑠𝜇subscript𝐶𝐹𝜋\displaystyle\frac{d}{d\ln\mu}\ln S_{I}(b_{\perp},\mu)=-2\frac{\alpha_{s}(\mu)% C_{F}}{\pi}~{}.divide start_ARG italic_d end_ARG start_ARG italic_d roman_ln italic_μ end_ARG roman_ln italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_μ ) = - 2 divide start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ ) italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_π end_ARG . (46)

Similarly, incorporating the evolution of coupling constant via dlnμ=dαsβ𝑑𝜇𝑑subscript𝛼𝑠𝛽d\ln\mu=\frac{d\alpha_{s}}{\beta}italic_d roman_ln italic_μ = divide start_ARG italic_d italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_β end_ARG, one can do the integral as

lnSI(b,μ)lnSI(b,μ0)=2CFπαs(μ0)αs(μ)dαsβαs.missing-subexpressionsubscript𝑆𝐼subscript𝑏perpendicular-to𝜇subscript𝑆𝐼subscript𝑏perpendicular-tosubscript𝜇02subscript𝐶𝐹𝜋superscriptsubscriptsubscript𝛼𝑠subscript𝜇0subscript𝛼𝑠𝜇𝑑subscript𝛼𝑠𝛽subscript𝛼𝑠\displaystyle\begin{aligned} &\ln S_{I}(b_{\perp},\mu)-\ln S_{I}(b_{\perp},\mu% _{0})=-2\frac{C_{F}}{\pi}\int_{\alpha_{s}(\mu_{0})}^{\alpha_{s}(\mu)}\frac{d% \alpha_{s}}{\beta}\alpha_{s}~{}.\end{aligned}start_ROW start_CELL end_CELL start_CELL roman_ln italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_μ ) - roman_ln italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) = - 2 divide start_ARG italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_π end_ARG ∫ start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ ) end_POSTSUPERSCRIPT divide start_ARG italic_d italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_β end_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT . end_CELL end_ROW (47)

The leading-log (LL) result is given with the combination of the tree-level SI(b,μ0)subscript𝑆𝐼subscript𝑏perpendicular-tosubscript𝜇0S_{I}(b_{\perp},\mu_{0})italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) and the one-loop anomalous dimension.

Appendix B Scheme conversion

As discussed in Sec. II, using different renormalization schemes for quasi-TMDWF, one can get the intrinsic soft function in the corresponding renormalization schemes. This section derives the scheme conversion between the MS¯¯MS\overline{\mathrm{MS}}over¯ start_ARG roman_MS end_ARG scheme and the ratio scheme as defined in renormalization Eqs. (29) and (30).

Using the ratio scheme, the renormalized quasi-TMDWF is defined as

φ~ratio (z,b,Pz;μ)=φ~0(z,b,Pz;a)φ~0(z=0,b,Pz=0;a)=φ~MS¯(z,b,Pz;μ)φ~MS¯(z=0,b,Pz=0;μ),superscript~𝜑ratio 𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇superscript~𝜑0𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝑎superscript~𝜑0formulae-sequence𝑧0subscript𝑏perpendicular-tosuperscript𝑃𝑧0𝑎superscript~𝜑¯MS𝑧subscript𝑏perpendicular-tosubscript𝑃𝑧𝜇superscript~𝜑¯MSformulae-sequence𝑧0subscript𝑏perpendicular-tosuperscript𝑃𝑧0𝜇\displaystyle\tilde{\varphi}^{\text{ratio }}\left(z,b_{\perp},P^{z};\mu\right)% =\frac{\tilde{\varphi}^{0}\left(z,b_{\perp},P^{z};a\right)}{\tilde{\varphi}^{0% }\left(z=0,b_{\perp},P^{z}=0;a\right)}=\frac{\tilde{\varphi}^{\overline{\rm MS% }}\left(z,b_{\perp},P_{z};\mu\right)}{\tilde{\varphi}^{\overline{\rm MS}}\left% (z=0,b_{\perp},P^{z}=0;\mu\right)}~{},over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT ratio end_POSTSUPERSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = divide start_ARG over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_a ) end_ARG start_ARG over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( italic_z = 0 , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 0 ; italic_a ) end_ARG = divide start_ARG over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ; italic_μ ) end_ARG start_ARG over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_z = 0 , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 0 ; italic_μ ) end_ARG , (48)
ϕ~ratio (x,b,Pz;μ)=Pzdz2πeiz(xPz)φ~ratio (z,b,Pz;μ)=dλ2πeiλxφ~MS¯(z,b,Pz;μ)φ~MS¯(z=0,b,Pz=0;μ),superscript~italic-ϕratio 𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇superscript𝑃𝑧𝑑𝑧2𝜋superscript𝑒𝑖𝑧𝑥superscript𝑃𝑧superscript~𝜑ratio 𝑧subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇𝑑𝜆2𝜋superscript𝑒𝑖𝜆𝑥superscript~𝜑¯MS𝑧subscript𝑏perpendicular-tosubscript𝑃𝑧𝜇superscript~𝜑¯MSformulae-sequence𝑧0subscript𝑏perpendicular-tosuperscript𝑃𝑧0𝜇\displaystyle\tilde{\phi}^{\text{ratio }}(x,b_{\perp},P^{z};\mu)=P^{z}\int% \frac{dz}{2\pi}e^{iz(xP^{z})}\tilde{\varphi}^{\text{ratio }}(z,b_{\perp},P^{z}% ;\mu)=\int\frac{d\lambda}{2\pi}e^{i\lambda x}\frac{\tilde{\varphi}^{\overline{% \rm MS}}\left(z,b_{\perp},P_{z};\mu\right)}{\tilde{\varphi}^{\overline{\rm MS}% }\left(z=0,b_{\perp},P^{z}=0;\mu\right)}~{},over~ start_ARG italic_ϕ end_ARG start_POSTSUPERSCRIPT ratio end_POSTSUPERSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ∫ divide start_ARG italic_d italic_z end_ARG start_ARG 2 italic_π end_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_z ( italic_x italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT ratio end_POSTSUPERSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = ∫ divide start_ARG italic_d italic_λ end_ARG start_ARG 2 italic_π end_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_λ italic_x end_POSTSUPERSCRIPT divide start_ARG over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ; italic_μ ) end_ARG start_ARG over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_z = 0 , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 0 ; italic_μ ) end_ARG , (49)

in which the denominator can be approximately replaced by the short distance factorization coefficient C0subscript𝐶0C_{0}italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT in CG, then we got

ϕ~ratio (x,b,Pz;μ)=ϕ~MS¯(x,b,Pz;μ)C0(b;μ).superscript~italic-ϕratio 𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇superscript~italic-ϕ¯MS𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇subscript𝐶0subscript𝑏perpendicular-to𝜇\displaystyle\tilde{\phi}^{\text{ratio }}(x,b_{\perp},P^{z};\mu)=\frac{\tilde{% \phi}^{\overline{\rm MS}}(x,b_{\perp},P^{z};\mu)}{C_{0}(b_{\perp};\mu)}~{}.over~ start_ARG italic_ϕ end_ARG start_POSTSUPERSCRIPT ratio end_POSTSUPERSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) = divide start_ARG over~ start_ARG italic_ϕ end_ARG start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) end_ARG start_ARG italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) end_ARG . (50)

Combining with the Eq. (18), we have the scheme conversion of intrinsic soft function as

SIratio(b;μ)=SIMS¯(b;μ)C02(b;μ).superscriptsubscript𝑆𝐼ratiosubscript𝑏perpendicular-to𝜇superscriptsubscript𝑆𝐼¯MSsubscript𝑏perpendicular-to𝜇subscriptsuperscript𝐶20subscript𝑏perpendicular-to𝜇\displaystyle S_{I}^{\rm ratio}(b_{\perp};\mu)=S_{I}^{\overline{\rm MS}}(b_{% \perp};\mu)\cdot C^{2}_{0}(b_{\perp};\mu)~{}.italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ratio end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) = italic_S start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over¯ start_ARG roman_MS end_ARG end_POSTSUPERSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) ⋅ italic_C start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) . (51)

The NLO fixed-order result of C0subscript𝐶0C_{0}italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT can be found in Ref. [77] as

C0(b;μ)=1+αsCF2π(12Lb2).subscript𝐶0subscript𝑏perpendicular-to𝜇1subscript𝛼𝑠subscript𝐶𝐹2𝜋12subscript𝐿𝑏2\displaystyle C_{0}\left(b_{\perp};\mu\right)=1+\frac{\alpha_{s}C_{F}}{2\pi}% \left(\frac{1}{2}-\frac{L_{b}}{2}\right)~{}.italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) = 1 + divide start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_π end_ARG ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG - divide start_ARG italic_L start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) . (52)

One can do the RGR in the similar way as in App. A to get the LL result of C0subscript𝐶0C_{0}italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT as

C0(b;μ)=exp(CFβ0lnαs(μ)αs(2eγE/b)).subscript𝐶0subscript𝑏perpendicular-to𝜇subscript𝐶𝐹subscript𝛽0subscript𝛼𝑠𝜇subscript𝛼𝑠2superscript𝑒subscript𝛾𝐸subscript𝑏perpendicular-to\displaystyle C_{0}\left(b_{\perp};\mu\right)=\exp\left(\frac{C_{F}}{\beta_{0}% }\ln\frac{\alpha_{s}(\mu)}{\alpha_{s}\left(2e^{-\gamma_{E}}/b_{\perp}\right)}% \right)~{}.italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ; italic_μ ) = roman_exp ( divide start_ARG italic_C start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG roman_ln divide start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_μ ) end_ARG start_ARG italic_α start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( 2 italic_e start_POSTSUPERSCRIPT - italic_γ start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT end_POSTSUPERSCRIPT / italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) end_ARG ) . (53)

Appendix C Bare matrix elements of quasi-TMDWF

Refer to caption
Figure 14: The ground-state energies E0subscript𝐸0E_{0}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT extracted from two-state fit of the two-point functions. The red line represents the exact dispersion relations with the valence pion mass m0=670subscript𝑚0670m_{0}=670italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 670 MeV.
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 15: From left to right, the ratios of quasi-TMDWF to two-point functions Rφ~subscript𝑅~𝜑R_{\tilde{\varphi}}italic_R start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT with hadron momentum Pz=3.44superscript𝑃𝑧3.44P^{z}=3.44italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 3.44, 3.87 and 4.30 GeV are shown as functions of tsepsubscript𝑡sept_{\rm sep}italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT. The upper and lower panels are for the cases with with (b,z)=(1,4)asubscript𝑏perpendicular-to𝑧14𝑎(b_{\perp},z)=(1,4)~{}a( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_z ) = ( 1 , 4 ) italic_a and (b,z)=(3,5)asubscript𝑏perpendicular-to𝑧35𝑎(b_{\perp},z)=(3,5)~{}a( italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_z ) = ( 3 , 5 ) italic_a, repectively. The colored bands are joint fit results.
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 16: Bare matrix elements of quasi-TMDWF in the coordinate space. The non-zero-momentum correlators extracted from two-state joint fits of C2ptsubscript𝐶2ptC_{\text{2pt}}italic_C start_POSTSUBSCRIPT 2pt end_POSTSUBSCRIPT and Cφ~subscript𝐶~𝜑C_{\tilde{\varphi}}italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT, while the zero-momentum correlators are extracted from one-state fit of Cφ~subscript𝐶~𝜑C_{\tilde{\varphi}}italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT. All bare matrix elements are normalized using the mean value of the local matrix element.
Refer to caption
Refer to caption
Refer to caption
Figure 17: Quasi-TMDWF of pion in the momentum space. From up to down, the hadron momenta are Pzsuperscript𝑃𝑧P^{z}italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 3.44, 3.87 and 4.30 GeV. The small bumps in the lowest subfigure are caused by the small non-zero tails in the coordinate space, primarily manifest at large bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT.

The quasi-TMDWF is extracted from the non-local two-point correlator

Cφ~(tsep)=q¯(z,b,tsep)Γq(0,tsep)πs(P,0),subscript𝐶~𝜑subscript𝑡sepdelimited-⟨⟩¯𝑞𝑧subscript𝑏perpendicular-tosubscript𝑡sepΓ𝑞0subscript𝑡sepsuperscriptsubscript𝜋𝑠𝑃0\displaystyle C_{\tilde{\varphi}}\left(t_{\rm sep}\right)=\left\langle\bar{q}(% z,b_{\perp},t_{\rm sep})\Gamma q(\vec{0},t_{\rm sep})\pi_{s}^{\dagger}(\vec{P}% ,0)\right\rangle,italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) = ⟨ over¯ start_ARG italic_q end_ARG ( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) roman_Γ italic_q ( over→ start_ARG 0 end_ARG , italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) italic_π start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( over→ start_ARG italic_P end_ARG , 0 ) ⟩ , (54)

which can be expressed in terms of a spectral decomposition as

Cφ~(tsep)=n=0Ns1zn2EnΩ|OΓCG|n(eEntsep+eEn(Lttsep)),missing-subexpressionsubscript𝐶~𝜑subscript𝑡sepmissing-subexpressionabsentsuperscriptsubscript𝑛0subscript𝑁s1subscript𝑧𝑛2subscript𝐸𝑛quantum-operator-productΩsubscriptsuperscript𝑂CGΓ𝑛superscript𝑒subscript𝐸𝑛subscript𝑡sepsuperscript𝑒subscript𝐸𝑛subscript𝐿𝑡subscript𝑡sep\displaystyle\begin{aligned} &C_{\tilde{\varphi}}\left(t_{\rm sep}\right)\\ &\quad=\sum_{n=0}^{N_{\mathrm{s}}-1}\frac{z_{n}}{2E_{n}}\langle\Omega|O^{\rm CG% }_{\Gamma}|n\rangle\left(e^{-E_{n}t_{\rm sep}}+e^{-E_{n}\left(L_{t}-t_{\rm sep% }\right)}\right)~{},\end{aligned}start_ROW start_CELL end_CELL start_CELL italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = ∑ start_POSTSUBSCRIPT italic_n = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT - 1 end_POSTSUPERSCRIPT divide start_ARG italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG ⟨ roman_Ω | italic_O start_POSTSUPERSCRIPT roman_CG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT | italic_n ⟩ ( italic_e start_POSTSUPERSCRIPT - italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT - italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ) , end_CELL end_ROW (55)

where |ΩketΩ\ket{\Omega}| start_ARG roman_Ω end_ARG ⟩ is the interactive vacuum state, |nket𝑛\ket{n}| start_ARG italic_n end_ARG ⟩ is the n𝑛nitalic_n-th energy eigenstate. When Γ=γzγ5Γsuperscript𝛾𝑧superscript𝛾5\Gamma=\gamma^{z}\gamma^{5}roman_Γ = italic_γ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT, the matrix element of the ground state is Ω|Oγzγ5CG|0=ifπPzφ~γzγ50quantum-operator-productΩsubscriptsuperscript𝑂CGsuperscript𝛾𝑧superscript𝛾50𝑖subscript𝑓𝜋superscript𝑃𝑧subscriptsuperscript~𝜑0superscript𝛾𝑧superscript𝛾5\langle\Omega|O^{\rm CG}_{\gamma^{z}\gamma^{5}}|0\rangle=if_{\pi}P^{z}\tilde{% \varphi}^{0}_{\gamma^{z}\gamma^{5}}⟨ roman_Ω | italic_O start_POSTSUPERSCRIPT roman_CG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT | 0 ⟩ = italic_i italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT, where fπsubscript𝑓𝜋f_{\pi}italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT is the bare pion decay constant, and φ~Γ0subscriptsuperscript~𝜑0Γ\tilde{\varphi}^{0}_{\Gamma}over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT is the bare matrix element of quasi-TMDWF in the coordinate space. When Γ=γtγ5Γsuperscript𝛾𝑡superscript𝛾5\Gamma=\gamma^{t}\gamma^{5}roman_Γ = italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT, the matrix element of the ground state is Ω|Oγtγ5CG|0=fπE0φ~γtγ50quantum-operator-productΩsubscriptsuperscript𝑂CGsuperscript𝛾𝑡superscript𝛾50subscript𝑓𝜋subscript𝐸0subscriptsuperscript~𝜑0superscript𝛾𝑡superscript𝛾5\langle\Omega|O^{\rm CG}_{\gamma^{t}\gamma^{5}}|0\rangle=f_{\pi}E_{0}\tilde{% \varphi}^{0}_{\gamma^{t}\gamma^{5}}⟨ roman_Ω | italic_O start_POSTSUPERSCRIPT roman_CG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT | 0 ⟩ = italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT, where E0=mπ2+(Pz)2subscript𝐸0superscriptsubscript𝑚𝜋2superscriptsuperscript𝑃𝑧2E_{0}=\sqrt{m_{\pi}^{2}+(P^{z})^{2}}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = square-root start_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG.

In order to determine the energy spectrum and facilitate the extraction of the quasi-TMDWF, the local two-point functions of the pion are additionally computed with a valence pion mass of mπ=670subscript𝑚𝜋670m_{\pi}=670italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT = 670 MeV for the corresponding hadron momenta. The ground-state energies from the two-state fit of the two-point functions are illustrated in Fig. 14, in comparison with the exact dispersion relations with m0=670subscript𝑚0670m_{0}=670italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 670 MeV. Good consistency is found up to the hadron momentum Pz=4.30superscript𝑃𝑧4.30P^{z}=4.30italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 4.30 GeV.

For correlators with nonzero momenta, we employ the two-state joint fit of C2ptsubscript𝐶2ptC_{\text{2pt}}italic_C start_POSTSUBSCRIPT 2pt end_POSTSUBSCRIPT and Cφ~subscript𝐶~𝜑C_{\tilde{\varphi}}italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT, while for zero-momentum correlators, the one-state fit is adopted to fit Cφ~subscript𝐶~𝜑C_{\tilde{\varphi}}italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT. Some of the two-state fits are selected as examples in Fig. 15. As a means of illustration, both data and fit results are plotted as the ratio of Cφ~subscript𝐶~𝜑C_{\tilde{\varphi}}italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT and C2ptsubscript𝐶2ptC_{\text{2pt}}italic_C start_POSTSUBSCRIPT 2pt end_POSTSUBSCRIPT, which is defined as

Rφ~(tsep)=Cφ~(tsep)C2pt(tsep).subscript𝑅~𝜑subscript𝑡sepsubscript𝐶~𝜑subscript𝑡sepsubscript𝐶2ptsubscript𝑡sep\displaystyle R_{\tilde{\varphi}}\left(t_{\rm sep}\right)=\frac{C_{\tilde{% \varphi}}\left(t_{\rm sep}\right)}{C_{\text{2pt}}\left(t_{\rm sep}\right)}~{}.italic_R start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) = divide start_ARG italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) end_ARG start_ARG italic_C start_POSTSUBSCRIPT 2pt end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) end_ARG . (56)

This ratio will converge to Ω|OΓCG|0/z0quantum-operator-productΩsubscriptsuperscript𝑂CGΓ0subscript𝑧0\langle\Omega|O^{\rm CG}_{\Gamma}|0\rangle/z_{0}⟨ roman_Ω | italic_O start_POSTSUPERSCRIPT roman_CG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT | 0 ⟩ / italic_z start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT in the tsepsubscript𝑡sept_{\rm sep}\to\inftyitalic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT → ∞ limit. More details on the ground-state fit can be found in App. D.

The bare matrix element of quasi-TMDWF in the coordinate space can be found in Fig. 16, different momenta are normalized using the mean value of the local matrix element at (z,b)=(0,0)𝑧subscript𝑏perpendicular-to00(z,b_{\perp})=(0,0)( italic_z , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) = ( 0 , 0 ), so that some artifacts such as discretization effects can be canceled out. Due to the good convergence in the large-λ𝜆\lambdaitalic_λ region, the renormalized matrix elements φΓsubscript𝜑Γ\varphi_{\Gamma}italic_φ start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT can be Fourier transformed directly to the momentum space.

Fig. 17 illustrates the quasi-TMDWF in momentum space, where it can be seen that the dependence on momentum is not significant, implying that the CS kernel is not a large quantity. The small bumps in the lowest subfigure are caused by the small non-zero tails in the coordinate space, primarily manifest at large bsubscript𝑏perpendicular-tob_{\perp}italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT.

Appendix D Ground state fit

Refer to caption
Refer to caption
Figure 18: The evaluation of joint fits of quasi-TMDWF matrix elements. The left panel is the density distribution of χ2/d.o.f.formulae-sequencesuperscript𝜒2dof\chi^{2}/\rm{d.o.f.}italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / roman_d . roman_o . roman_f . and the right panel is the cumulative distribution function (CDF) of p-value.
Refer to caption
Refer to caption
Figure 19: The evaluation of chained fits on Rh~subscript𝑅~R_{\tilde{h}}italic_R start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT of quasi-TMD matrix elements. The left panel is the density distribution of χ2/d.o.f.formulae-sequencesuperscript𝜒2dof\chi^{2}/\rm{d.o.f.}italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / roman_d . roman_o . roman_f . and the right panel is the cumulative distribution function (CDF) of p-value.

We have performed a fully correlated Bayesian analysis of the two-point and three-point correlation functions to extract the bare matrix element h~Γ0(x,b,Pz;μ)subscriptsuperscript~0Γ𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇\tilde{h}^{0}_{\Gamma}(x,b_{\perp},P^{z};\mu)over~ start_ARG italic_h end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) defined in Eq. (2) and φ~Γ0(x,b,Pz;μ)subscriptsuperscript~𝜑0Γ𝑥subscript𝑏perpendicular-tosuperscript𝑃𝑧𝜇\tilde{\varphi}^{0}_{\Gamma}(x,b_{\perp},P^{z};\mu)over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_Γ end_POSTSUBSCRIPT ( italic_x , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT , italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ; italic_μ ) defined in Eq. (10). The correlation across different data sets is taken into account by performing a Bayesian least-squares fit on each sample of Jackknife resampling. The parameter settings for the ground state fit are collected in Table 1.

Fit Parts Nssubscript𝑁𝑠N_{s}italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT tsepsubscript𝑡sept_{\rm sep}italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT range τ𝜏\tauitalic_τ range
φ~γtγ50subscriptsuperscript~𝜑0superscript𝛾𝑡superscript𝛾5\tilde{\varphi}^{0}_{\gamma^{t}\gamma^{5}}over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT Cφ~(tsep)subscript𝐶~𝜑subscript𝑡sepC_{\tilde{\varphi}}(t_{\rm sep})italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) 1 tsep[12,15]subscript𝑡sep1215t_{\rm sep}\in[12,15]italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ∈ [ 12 , 15 ] /
φ~γzγ50subscriptsuperscript~𝜑0superscript𝛾𝑧superscript𝛾5\tilde{\varphi}^{0}_{\gamma^{z}\gamma^{5}}over~ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT C2pt(tsep)subscript𝐶2ptsubscript𝑡sepC_{\rm 2pt}(t_{\rm sep})italic_C start_POSTSUBSCRIPT 2 roman_p roman_t end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) 2 tsep[3,10]subscript𝑡sep310t_{\rm sep}\in[3,10]italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ∈ [ 3 , 10 ] /
Cφ~(tsep)subscript𝐶~𝜑subscript𝑡sepC_{\tilde{\varphi}}(t_{\rm sep})italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) 2 tsep[5,9]subscript𝑡sep59t_{\rm sep}\in[5,9]italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ∈ [ 5 , 9 ] /
h~γtγ50subscriptsuperscript~0superscript𝛾𝑡superscript𝛾5\tilde{h}^{0}_{\gamma^{t}\gamma^{5}}over~ start_ARG italic_h end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT C2pt(tsep)subscript𝐶2ptsubscript𝑡sepC_{\rm 2pt}(t_{\rm sep})italic_C start_POSTSUBSCRIPT 2 roman_p roman_t end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ) 2 tsep[3,12]subscript𝑡sep312t_{\rm sep}\in[3,12]italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ∈ [ 3 , 12 ] /
Rh~(tsep,τ)subscript𝑅~subscript𝑡sep𝜏R_{\tilde{h}}(t_{\rm sep},\tau)italic_R start_POSTSUBSCRIPT over~ start_ARG italic_h end_ARG end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT , italic_τ ) 2 tsep{6,8,10,12}subscript𝑡sep681012t_{\rm sep}\in\{6,8,10,12\}italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT ∈ { 6 , 8 , 10 , 12 } τ[3,tsep3]𝜏3subscript𝑡sep3\tau\in[3,t_{\rm sep}-3]italic_τ ∈ [ 3 , italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT - 3 ]
Table 1: Collection of ground state fit settings. Nssubscript𝑁𝑠N_{s}italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 1 means that only one ground state is included in the fit functions. The tsepsubscript𝑡sept_{\rm sep}italic_t start_POSTSUBSCRIPT roman_sep end_POSTSUBSCRIPT range of Cφ~subscript𝐶~𝜑C_{\tilde{\varphi}}italic_C start_POSTSUBSCRIPT over~ start_ARG italic_φ end_ARG end_POSTSUBSCRIPT varies in some sets of (Pz,b)superscript𝑃𝑧subscript𝑏perpendicular-to(P^{z},b_{\perp})( italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT , italic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT ) due to the different behaviors of excited states.

To evaluate the overall quality of the ground state fits, the density distribution of χ2/d.o.f.formulae-sequencesuperscript𝜒2dof\chi^{2}/\rm{d.o.f.}italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / roman_d . roman_o . roman_f . and the cumulative distribution function (CDF) of the p-value are plotted in Figs. 18 and 19, corresponding to quasi-TMDWF and qTMDPDF, respectively. The figures reveal that χ2/d.o.f.formulae-sequencesuperscript𝜒2dof\chi^{2}/\rm{d.o.f.}italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / roman_d . roman_o . roman_f . is predominantly distributed within the expected range, with p-values exceeding 0.050.050.050.05 for the majority of fits, thereby suggesting a high level of overall quality. In addition, as examples, the fit results of the quasi-TMDWF and the quasi-TMD are plotted alongside the data points in Figs. 2 and 15, respectively.

Appendix E Stability of extrapolation

Refer to caption
Refer to caption
Figure 20: The unpolarized light-cone pion TMDPDF of different zextsubscript𝑧extz_{\rm ext}italic_z start_POSTSUBSCRIPT roman_ext end_POSTSUBSCRIPT are ploted in comparison as the function of momentum fraction x𝑥xitalic_x. Two hadron momenta Pz=2.43superscript𝑃𝑧2.43P^{z}=2.43italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 2.43 GeV (upper panel) and Pz=3.04superscript𝑃𝑧3.04P^{z}=3.04italic_P start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = 3.04 GeV (lower panel) are selected as examples. The variations among different zextsubscript𝑧extz_{\rm ext}italic_z start_POSTSUBSCRIPT roman_ext end_POSTSUBSCRIPT are mild in the moderate region near x=0.5𝑥0.5x=0.5italic_x = 0.5. The shaded gray bands (x<0.28𝑥0.28x<0.28italic_x < 0.28 and x>0.81𝑥0.81x>0.81italic_x > 0.81) indicates the endpoint regions where the estimated combined systematics are larger than 30%percent3030\%30 %. The detailed estimation of the systematics is explained in App. F.

As mentioned in Sec. IV, the light-cone TMDPDF in momentum space within the moderate x𝑥xitalic_x region is insensitive to extrapolation strategies. The unpolarized light-cone pion TMDPDF with different zextsubscript𝑧extz_{\rm ext}italic_z start_POSTSUBSCRIPT roman_ext end_POSTSUBSCRIPT are plotted in Fig. 20 for comparison.

It shows that the variations of the TMDPDF among the different zextsubscript𝑧extz_{\rm ext}italic_z start_POSTSUBSCRIPT roman_ext end_POSTSUBSCRIPT are mild in the moderate region near x=0.5𝑥0.5x=0.5italic_x = 0.5, which shows the stability of the extrapolation.

Appendix F Estimation of systematics

Refer to caption
Refer to caption
Figure 21: The estimation of the relative systematics of TMDWF (left panel) and TMDPDF (right panel). The scale variation is estimated by varying the initial scale μ0subscript𝜇0\mu_{0}italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT of the RGR procedure by a factor of 22\sqrt{2}square-root start_ARG 2 end_ARG. The momentum variation is quantified as the ratio of the spread in the central values of the light-cone distributions, evaluated at three different momenta, to their mean. The combined systematics are estimated by the root-sum-square of two variations. A threshold of 30%percent3030\%30 % on the combined systematics is used to define the reliable region, yielding x[0.11,0.89]𝑥0.110.89x\in[0.11,0.89]italic_x ∈ [ 0.11 , 0.89 ] for the TMDWF and x[0.28,0.81]𝑥0.280.81x\in[0.28,0.81]italic_x ∈ [ 0.28 , 0.81 ] for the TMDPDF. These regions are indicated by the red markers in the figure.

As mentioned in Sec. II, the results of TMDWF and TMDPDF are only reliable in the moderate x𝑥xitalic_x region due to various systematics such as uncontrolled power corrections in the endpoint regions. In this section, we will give an approximate estimation of the systematics based on the results of light-cone distributions, with the objective of delineating the reliable range within the x𝑥xitalic_x-space.

The estimation of the systematics is separated into two parts, the systematics of varying the initial scale of RGR, and the variation of light-cone distributions calculated at different pion momenta. Taking TMDWF and TMDPDF at b=6asubscript𝑏perpendicular-to6𝑎b_{\perp}=6aitalic_b start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 6 italic_a as representatives, the relative systematics are plotted in Fig. 21. The systematics of scale variation is estimated by varying the initial scale μ0subscript𝜇0\mu_{0}italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT of the RGR procedure by a factor of 22\sqrt{2}square-root start_ARG 2 end_ARG. Note that the systematics of scale variation is dependent on the hadron momentum. For estimation purposes, the maximum hadron momentum is selected as the representative. The momentum variation is quantified as the ratio of the spread in the central values of the light-cone distributions, evaluated at three different momenta, to their mean. These two sources of systematic uncertainty are regarded as independent, so they are combined using the root-sum-square method to provide an estimation of the combined systematics. A threshold of 30%percent3030\%30 % on the combined systematics is used to define the reliable region, yielding x[0.11,0.89]𝑥0.110.89x\in[0.11,0.89]italic_x ∈ [ 0.11 , 0.89 ] for the TMDWF and x[0.28,0.81]𝑥0.280.81x\in[0.28,0.81]italic_x ∈ [ 0.28 , 0.81 ] for the TMDPDF.

References