The quest for an in-depth understanding of hadrons and their interactions dates back to the mid-20 th century. Progress was rapidly made in both the experimental and theoretical frontiers, in particular after the formulation of QCD, that lead to the systematic and quantitative study of hadrons and their structure.
The QCD factorization formalism developed for collider processes has been the foundation for understanding hadrons in terms of their partonic content [1, 2] . Such a mapping of the hadron structure is achieved via a set of quantities, that is, the parton distribution functions (PDFs) [2] , the generalized parton distributions (GPDs) [3, 4, 5] , and the transverse-momentum-dependent distributions (TMD PDFs) [6, 7] . These distributions are number densities and have a probabilistic interpretation within the parton model. However, they are not directly measurable in experiments. The mechanism that enables access to distribution functions, and therefore to the structure of hadrons, is the asymptotic freedom of QCD. By virtue of asymptotic freedom, the cross-section of high-energy processes can be factorized into a hard part and a soft part. For example, the cross sections for inclusive unpolarized a marthac@temple.edu Deep Inelastic Scattering (DIS) can be written as
where i represents all types of partons, that is quarks, anti-quarks and gluons. x is the Bjorken scaling variable, and Q 2 represents the scale of the hard interaction. H DIS is the hard part, it is process-dependent and calculable in perturbative QCD. f i is the non-perturbative part of the cross-section, characterizing the structure of hadrons.
In the case of the unpolarized DIS, the relevant distribution function is the spin-averaged (or unpolarized) PDF for the i th type of partons. Typically, both functions H DIS and f i are given in the MS scheme. Unlike H, the distribution functions are universal. Literally speaking, the distribution functions are not process-independent, as they depend on the renormalization scale, which varies in different processes. However, such a dependence does not pose difficulties, as the data sets can be evolved in the same scale using perturbation theory. Therefore, data sets from different processes can be analyzed together within the framework of global analysis. Factorization expressions similar to Eq. (1) exist for other high-energy processes, such as polarized DIS and Drell-Yan. Their corresponding H function is known up to next-to-leading order (NLO), or next-to-next-to-leading order (NNLO), depending on the process.
The PDFs, GPDs, and TMD PDFs are light-cone correlation functions and cannot be accessed from the Euclidean formulation of lattice QCD. Partial information is obtained through the Mellin moments of distribution functions, and, in principle, one can reconstruct the parton distributions using an operator product expansion (OPE). Practically, a proper and exact reconstruction is an impossible task due to the computational challenges to calculate reliably high moments: the signal-to-noise rapidly decreases, and an unavoidable power-law mixing occurs beyond the third non-trivial moment.
Alternative approaches to Mellin moments have been pursued, starting with a method based on the hadronic tensor [8, 9, 10] already in the 1990's. Other proposals include auxiliary quark field approaches [11, 12] , as well as methods to obtain high Mellin moments using smeared operators [13] . The development of the quasi-PDFs approach using Large-Momentum Effective Theory (LaMET) has been a pivot point for calculating x-dependent quantities from lattice QCD [14, 15, 16] . This approach created an intense enthusiasm in both the phenomenological and lattice communities, which led to other proposals, such as the current-current correlators approach [17, 18, 19] , the pseudo-PDFs [20] , and a method based on OPE [21] .
This article reviews lattice calculations on extracting the x-dependence of distribution functions utilizing some of the aforementioned approaches, for which there has been recent progress. Some of the calculations prior to 2019 can be found in the proceedings of the Lattice Symposium 2018 [22] . An extensive review of the first calculations up to 2018 can be found in Ref. [23] . The main focus of this review is the presentation of physical results that are also interesting to the wider theoretical community. Therefore, the technical details and heavy equations are avoided, in order to increase readability. However, selected important technical aspects that affect the reliability of lattice results are critically discussed. We present calculations that appeared in the literature up to October 1, 2020.
The main part of this article is organized in three sections. Section 2 presents calculations on PDFs, Section 3 on GPDs, and last but not least, Section 4 focuses on TMD PDFs. Finally, we provide closing remarks in Section 5.
Most of the information on hadron structure comes from the intense effort to determine PDFs with quantifiable and reliable uncertainties. Among the distribution functions, PDFs are the easiest to obtain, as they are onedimensional objects that depend only on the momentum fraction carried by the partons.
The PDFs are classified as unpolarized (spin-averaged), helicity (spin-dependent) and transversity (transverse-spindependent), and each can be obtained through the factorization of the cross-section from different high-energy processes. However, there is still missing information, either because it is challenging to extract certain PDFs, or because some kinematic regions are not easily accessible. Therefore, input from lattice QCD is crucial, and lattice results can either serve as predictions, or as additional constraints on the phenomenological analyses. In this section, we will discuss the current landscape of lattice results, highlighting their x-dependence in the presentation, rather technical details.
The non-perturbative part of the cross-section may be expanded in terms of the large energy scale of the process under study, Q. Taking as an example the unpolarized PDFs in Eq. (1), one can write the expansion in twist (mass dimension minus spin)
where f (0) i is the leading-twist (twist-2) contribution, while f (1) i and f (2) i are the twist-3 and twist-4 contributions, respectively. The leading-twist contributions have probabilistic interpretation, while the higher-twist are sensitive to the soft dynamics. In most of the studies, the main focus is on leading twist contributions, which are the easiest to isolate. While the higher-twist corrections are less-studied, there is a growing interest including lattice calculations (See, also, Sec. 2.4).
Progress has been made in several directions, and some will not be covered in this article due to space limitations. This includes, but is not limited to, the kaon distribution amplitude (DA) [24] , the feasibility of extracting the xdendendence of PDFs for the ∆ + baryon [25] , and exploration of machine-learning methods for the pion and kaon DAs [26] . We also refer the Reader to a series of papers on moments of distribution amplitudes for the kaon [27] , the lowest-lying baryon octet [28] , and the double parton distributions of the pion [29] . Preliminary results on the second moment of the pion DA using heavy quark OPE, can be found in the proceedings of Ref. [30] .
The main effort of lattice calculations up to 2018 was to obtain x-dependent PDFs directly at the physical point. Once that was achieved, a shift towards understanding systematic uncertainties, as well as, using the methodology to extact more complicated quantities has been ob-served. This change of what is considered a priority in the field, is reflected in this review.
The rapid progress in the field of x-dependent distributions from lattice QCD, became possible with the pioneering work of X. Ji in 2013 [14] on a new approach to extract PDFs from a Euclidean lattice. While this is not the first approach to be considered, it clearly renewed the interest in that direction, and marked the beginning for a new era in lattice calculations. This approach, the so-called quasi-distributions approach, demonstrated that matrix elements of fast-moving hadrons coupled with bilinear non-local operators can be related to light-cone distributions, via a multi-step process. As an example, we write the matrix element in the forward limit which leads to PDFs, that is
where the hadron is boosted with momentum P 3 chosen to be in the z direction. The operator contains a Wilson line of length z parallel to P 3 , and has Dirac structure Γ = γ 0 , γ 3 γ 5 , σ 3j (j = 1, 2), for the unpolarized 1 , helicity and transversity PDFs, respectively. Z Γ (z, µ) is the renormalization function defined at renormalization scale µ. Z Γ (z, µ) is calculated at each z separately, and is scheme-and scale-dependence (except for the vector and axial currents at z = 0). The quasi-PDFs are defined as the Fourier transform (FT) of M(P 3 , z, µ)
The approach relies on the fact that the difference between quasi-PDFs and light-cone PDFs is nonzero only in the ultra-violet (UV) region, and can be calculated in continuum perturbation theory. For large, but finite P 3 , the quasi-PDFs can be matched to their light-cone counterparts using a kernel calculated perturbatively in Large Momentum Effective Theory (LaMET) [15] , that is
Following the first calculations exploring the feasibility of the quasi-PDFs framework [32, 33, 34, 35, 36 ], x-dependent PDFs calculated directly at the physical point have been obtained [37, 38, 39] . Several factors contributed to this success, such as, the use of momentum smearing [40] , which offers better overlaps with the ground state. Another important development was the proposal 2 for a complete renormalization scheme [31, 42] , which was complemented by the proof of renormalizability of non-local operators to all orders in perturbation theory [43, 44, 45, 46, 47, 48] . Last but not least, a well-defined matching prescription appropriate for the various renormalization schemes, has been developed [49, 50, 51, 52, 53, 54] . All this progress and the ability to calculate PDFs at the physical point, led to the need to refine the lattice estimates, with in-depth studies of various sources of systematic uncertainties.
A thorough investigation of systematic uncertainties in the unpolarized, helicity and transversity PDFs is presented in Ref. [54] . The focus is on selected sources of systematic effects, as only one ensemble is used. The analysis is done using an N f = 2 twisted-mass fermions ensemble with physical pion mass and spatial extent of 4.5 fm (48 3 ×96). Using four values of the source-sink separation, T sink = 0.75 − 1.13 fm, excited-states effects are addressed with single-state fits, two-state fits, and the summation method. The conclusion from this analysis is that lattice data at T sink below 1 fm are not sufficient to suppress excited-states, particularly as P 3 increases. Another effect that requires attention for matrix elements of non-local operators is finite-volume effects [55] . Direct study of volume effects is not possible with one ensemble, but one can examine whether the renormalization functions, Z, exhibit volume effects, if obtained using multiple ensembles. In the work of Ref. [54] the estimates of Z are obtained using ensembles with different volume, that is 2.25 fm, 4.5 fm, and 6 fm. It is found that volume effects are small, and do not affect the final estimates of the PDFs. However, a proper study of volume effects on the matrix elements should be done, ideally at the physical point. Two other sources of uncertainties are presented: the reconstruction of the x-dependence via a FT, and the matching procedure. For the former, the standard discretized FT and the "derivative method" [56] are tested. While both methods suffer from the ill-defined inverse problem, the derivative method leads to uncontrolled uncertainties in the small-x region (see discussion in Sec. 2.1.3). Regarding the truncation of the FT with respect to z, an optimal value of z max requires that both the real and imaginary parts of the matrix elements are zero. In practice, this is not always observed, and the behavior of the matrix element in the large-z is operator-dependent. The final choices for z max in Ref. [54] are 0.94 fm for the unpolarized, and 1.13 fm for the helicity and transversity. Different prescriptions for the matching are employed, with the quasi-PDFs defined in the MS, RI, MMS and ratio scheme. Tension is observed between some of the methods in the small-and large-x regions, as expected. The final PDFs using P 3 = 1.38 GeV are shown in Fig. 1 . Phenomenological estimates are also shown for qualitative comparison. Focusing on the positive x-region, the lattice unpolarized PDF lies above the global fits, while there is agreement in the helicity PDF for x 0.4 − 0.5. The mild rise in the large x-region, could be due to the limitations of the FT, and advanced reconstruction methods must be investigated. Finally, the transversity PDF for x 0.4−0.5 is in agreement with the SIDIS results with or without the tensor charge constraint. The rise in the large-x region is observed on all PDFs. The analysis of Ref. [54] provide insight on selected sources of systematic uncertainties using simulations at the physical point. The bands in Fig. 1 include only statistical uncertainties, as the analysis confirms that the effects are either negligible, e.g., in Z, or require further investigations, such as, advanced reconstruction techniques.
Finite-volume effects have been studied for the unpolarized and helicity PDFs in Ref. [64] . The calculation uses a mixed-action setup on three N f = 2 + 1 + 1 HISQ ensembles, with clover valence fermions. The pion mass of the ensembles is 220 MeV, and the lattices have spatial extent L = 2.88, 3.84, and 4.8 fm. The momentum boost used is 1.3 for all three ensembles, and 2.6 GeV for the smallest-and largest-volume ensemble. Excited-states effects are quantified using four T sink values between 0.72 -1.08 fm, and the final results are presented using twostate fit. The matrix elements at the same P 3 from different ensembles, are found to be compatible, indicating that volume-effects are not significant for m val L ∈ [3.3 − 5.5]. Fig. 2 shows the unpolarized and helicity PDFs using the L = 2.88 fm and L = 4.8 fm. For both cases, the curves are compatible for all regions of x. This is in agreement with the findings of Ref. [54] , where the volume effects were tested on the renormalization functions, and found small. Ref. [65] presents an analysis of systematic uncertainties also on a mixed action setup of clover fermions in the valence sector on N f = 2 + 1 + 1 HISQ fermions with pion mass 310 MeV. The lattice spacing is 0.042 fm and L = 2.7 fm. While the physical volume of the ensemble is small, it is expected to have reduced discretization effects. As discussed above, there are indications that volume effects are not a major source of systematic uncertainties, at least for simulations at heavier pion mass. The 2ptfunctions are calculated at 7 values of P 3 between 0 and 2.77 GeV, to understand the effect of excited-states contamination, using up to three-state fits. It is found that as P 3 increases, the fits become less reliable and the use of priors is needed to increase stability. For the 3pt-point functions, only P 3 = 1.84, 2.31 GeV are used and three values of T sink = 0.67−0.84 fm. A 3-, 4-, 5-parameter twostate fit is applied, with the difference in the energy between the ground-state and first-excited state determined independently from the 2pt-functions fits. An agreement between the three fits is found, however the matrix elements from the 5-parameter fit are a factor of two more noisy. The renormalized matrix elements are compared in The global fits of NNPDF31 [58] and CT18 [66] are shown for the unpolarized, and NNNPDF1.1pol [61] and JAM17 [62] for the helicity. Source: Ref. [65] . Reprinted based on the arXiv distribution license.
the coordinate space with the estimates from global analyses, as shown in Fig. 3 . The real part of the unpolarized case shows agreement for all z values shown, however, the errors grow above 50% at around z ∼ 0.6 fm, making the comparison beyond that point less reliable. The imaginary part has agreement up to z ∼ 0.2 fm, with large uncertainties for large z values. The real part of the helicity matrix element is in agreement with global fits up to z ∼ 0.3 fm, while the imaginary part up to z ∼ 0.2 fm. The large uncertainties and the long tails in the lattice data for z > 0.6 fm, reveal the challenges of the inverse problems, as will be discussed below. Implementing a ratio renormalization prescription (pseudo-ITDs), the first moments of the PDFs are determined. More details can be found in Ref. [65] .
The pion valence PDF of Ref. [67] follows the quasi-PDFs approach using a mixed action of clover fermions in the valence sector and N f = 2 + 1 HISQ fermions with pion mass 300 MeV. The volume is 48 3 × 64, corresponding to a spatial extent of 2.9 fm (a = 0.06 fm). Three values of P 3 are used, namely, 0.86, 1.29, and 1.72 GeV, and there is agreement between P 3 = 1.72 GeV and the phenomenological fits of the JAM Collaboration [68] . Results from Ref. [67] are included in Fig. 9 . The calcu- lation is extended in Ref. [72] , in which the statistics is increased, and another ensemble with a = 0.04 fm and spatial extent 2.6 fm is added. The pseudo-ITD approach (see Sec. 2.1.2) is also explored. To this end, several values of P 3 are used, up to 2.15 GeV for the a = 0.06 fm ensemble, and 2.42 GeV for the 0.04 fm ensemble. Systematic uncertainties related to excited-states contamination using T sink up to 0.72 fm, have been studied. Other systematic uncertainties are investigated related to renormalization, higher-twist effects for low momenta, and study of the functional form in the large-x region, using data with z up to 1 fm. The large-x region is of particular interest, as models predict different behavior of the form (1 − x), or (1 − x) 2 . The valence pion PDF is shown in Fig. 4 for the two ensembles. The comparison of the lattice data with other predictions and experimental data shows that there is agreement in the intermediate-x region. For x > 0.7, the a = 0.06 fm data are in agreement with the FNAL estimates [69] , when systematic uncertainties are included to the lattice data. Also, it is found that fits of the form (1 − x) β applied to the lattice data finds β anywhere between [1 -2] , and therefore, there is no clear preference in one of the two functional forms proposed. Comparison with other lattice calculations, reveals that the large-x as obtained from Ref. [72] is in agreement with Ref. [67] , but disagrees with the results of Refs. [73, 74] (see Fig. 9 ).
Other calculations on quasi-PDFs and comparison with alternative approaches are presented in Sec. 2.1.2 for the nucleon and Sec. 2.1.3 for the pion.
An alternative framework to quasi-PDFs is the pseudo-ITDs 3 developed by A. Radyushkin [20, 75, 76, 77, 78, 79, 80, 81] . The common feature with quasi-PDFs is the use of the same matrix elements M of boosted hadrons coupled to non-local operators (Eq. (4)). In the pseudo-ITDs approach, the analysis uses the Lorentz invariants, z 2 and ν ≡ −p · z, instead of z and P 3 . The variable ν is historically called Ioffe time [82, 83] 4 . In Euclidean space and based on the conventions we use here, ν = zP 3 . M(ν, z 2 ) are called Ioffe-time pseudo-distributions (pseudo-ITDs). One of the main differences between the quasi-and pseudodistributions formulations is that the former are the Fourier transform of M(P 3 , z) in z, while the latter are the Fourier transform of M(ν, z 2 ) in ν. Similarly to quasi-distributions, the pseudo-distributions approach relies on the factorization of pseudo-ITDs obtained on the lattice, to extract the light-cone ITDs, using a matching kernel calculable in perturbative QCD. The necessary matching is performed at the level of ITDs [78, 84, 51, 79] in coordinate space, while in the quasi-PDFs approach is done in the momentum space.
The analysis within the pseudo-ITDs framework is based on a ratio of matrix elements, namely
which are called reduced Ioffe time pseudo-distribution (pseudo-ITD). Such a ratio is a convenient choice and defines a gauge-invariant renormalization scheme. The renormalization scale in pseudo-ITD is set by 1/z. This consists a major practical difference with the renormalization prescription of quasi-PDFs, which is based on RI -type schemes [31, 42] . M(ν, z 2 ) also reduces the higher-twist contamination, as discussed in Ref. [85] . The success of the approach is based on calculating M(ν, z 2 ) for a wide range of ν, including small-ν values, by varying either P 3 , or z, or both. Therefore, physical information is included in matrix elements from low values of P 3 . This is in contrast with the quasi-PDFs, where matrix elements at different P 3 are not analyzed together.
The M(ν, z 2 ) are matched to light-cone ITDs, Q(ν, µ 2 ) using a matching procedure, and at the same time are converted to the MS and evolved to a common scale, µ = 1/z [78, 84, 51, 79] . Finally, the light-cone PDFs are related to Q(ν, µ 2 ) via a Fourier transform in Ioffe time.
Note that this is also subject to the ill-defined inverse problem. One can utilize the crossing symmetries of the distributions, which for the unpolarized case, q(x), reads
is related to the valence distribution, q v = q −q, while the imaginary part,
to q v2s ≡ q v + 2q = q +q, which is the non-singlet distribution involving two flavors. Therefore, the full and seaquark distributions can be extracted by combining the two equations. Whether this is possible in practice, depends on the statistical precision of the lattice data. As we will see below, most of the calculations focus on the valence distributions, namely, the real part of Q(ν, µ 2 ).
The pseudo-ITDs approach has been studied for the unpolarized PDF for the pion and the nucleon in a series of publications, with the more recent ones presented in Refs. [73, 86, 87] . Also, Ref. [88] discusses the challenges of reconstructing the light-cone distributions from lattice data due to the ill-defined inverse problem, and the need for advanced reconstruction methods. This is relevant for all methods discussed in this article. Here, we focus on the results from Ref. [87] on the nucleon valence unpolarized PDF, which uses three ensembles with pion mass 172, 278, and 358 MeV to perform an extrapolation to the physical point. Using the 172 MeV ensemble they calculate the first two moments of PDFs and pseudo-ITDs. The results for x from pseudo-ITDs and PDFs are in agreement with phenomenological estimates [59, 89, 58] , while there is some tension for x 2 using the PDFs lattice estimates for z 2 > 4a 2 . A better agreement is observed for the pseudo-ITDs estimates and NNPDF31 [58] . It was checked that higher-twist effects are negligible in accordance with Ref. [85] , as there is no dependence of the moments on z 2 within the reported uncertainties. The pion mass dependence between the 172 MeV and 278 MeV is found to be within uncertainties. The same holds for the 358 MeV ensemble, which is, however, much more noisy. Therefore, non-negligible pion mass dependence between data at the physical point and at pion mass above 300-350 MeV is not excluded. Such a dependence was found in Ref. [37] . The final results use a linear extrapolation applied to the lightest two ensembles, and is compared to the phenomenological fits in Fig. 5 . The lattice data are in agreement with the determinations of Refs. [59, 89, 58] up to x ∼ 0.25. Beyond that, the lattice results overestimate the global fits, which is consistent with the tension observed in x 2 . This is because the numerical values of high moments receive important contributions from the large-x region. An in-depth investigation of systematic uncertainties is necessary to address the tension, such as discretization effects and volume effects, which is a multi-year effort and requires multiple ensembles. [59] (green), and the NNLO global fits MSTW2008 [89] (red) and NNPDF31 [58] (blue). Source: Ref. [87] . Reprinted based on the arXiv distribution license.
Another recent calculation of the isovector unpolarized PDF using the pseudo-ITDs approach is presented in Ref. [90] . For the first time, the full PDF, q(x) = q v (x) +q(x), and sea-quark PDF, q s (x) =q(x), are accessed through the calculation of both the valence, q v , and the combination q v + 2q. The latter is obtained from Eq. (10) , which is more difficult to extract, as one requires control over statistical uncertainties. One ensemble at the physical point is used, with N f = 2 twisted-mass fermions and lattice extent 4.5 fm (48 3 × 96). Six values of P 3 are used, P 3 = 0 − 1.38 GeV, combined with all possible values of z, so that ν max ∼ 8. Based on the scale dependence of the reduced pseudo-ITD, it is concluded that z values up to 8a = 0.75 fm are safe to be used, as the effect is within the reported uncertainties. An extensive investigations is performed on identifying the optimal maximum value of ν used to extract the final PDFs. It is found that ν max = 5.2 (z max = 0.75 fm) is optimal. One of the factors to consider is the number of data entering the reconstruction of PDFs given in Eq. (8) . One seeks for reliable and statistically meaningful results. Three approaches are explored and compared, namely, a discretized FT, the Backus-Gilbert (BG) [91] , and the fitting reconstruction (FR) of Ref. [86] . The latter is implemented using an ansatz that has the proper small-and large-x behavior, inspired by the global fits of experimental data sets. One of the main differences between the discretized FT and the other methods, is that the former underestimates the uncertainties, as the uncertainties do not reflect the lack of data in certain regions of ν. On the contrary, the BG and FR, have larger uncertainties, which reflects the challenges of the reconstruction, and the amount of information in the lattice data. It is found that the fitting reconstruction performs better than the other approaches, and is, thus, used in the final analysis, as shown in Fig. 6 . These data correspond to ν max = 5.2 (z max = 0.75 fm). Fig. 6 . Lattice estimates for the unpolarized PDFs for the valence (qv; upper left), valence + 2 sea (qv2s = qv + 2q; upper right), full (q = qv +q; lower left) and sea (q; lower right). The global fits of NNPDF [58] are shown with a grey band. The bands in the lattice data represent: the statistical uncertainty (purple), the combination of statistical and systematic due to the choice of νmax and αs (blue), and the total error including also an estimate for the uncertainties related to cutoff effects, finite-volume effects, excited states contamination, truncation and higher-twist effects (cyan). Source: Ref. [90] . Reprinted based on the arXiv distribution license.
The lattice data include both statistical and systematic uncertainties. The various bands shown are due to vary-ing ν max and the strong coupling. A third band is due to a combined estimate of cutoff effects, finite-volume effects, excited states contamination, truncation and higher-twist effects. The lattice results for q v (x), q v2s (x), q(x), andq(x) are shown and compared to the global fits of NNPDF [58] . A remarkable agreement is found for all distributions at all regions of x.
HadStruc '20 ETMC '18 ETMC '20 Fig. 7 . Lattice data for the unpolarized PDF using quasi-PDFs [54] (red band) and pseudo-ITDs from Ref. [87] (gray band) and Ref. [90] (blue band). Source: Ref. [87] . Reprinted with permission of the Authors.
The unpolarized PDF is studied with the same ensemble at the physical point using the quasi-PDFs [54] and the pseudo-ITDs [90] formulation. A near-physical-point ensemble is also used in Ref. [87] , which is used in an extrapolation to the physical point. These three results are compared in Fig. 7 . It should be noted that the results of Ref. [54] use the standard discretized FT, while the results of Refs. [87, 90] are obtained with the fitting reconstruction. Also, the pseudo-ITDs analysis utilizes matrix elements at all values of P 3 , as they enter the reduced pseudo-ITD and the analysis is in terms of ν. This fact, together with the fitting reconstruction, reduces uncertainties related to the ill-defined inversion problem. Despite the above differences, the results exhibit a very good agreement. The data from quasi-PDFs have a mild oscillation between x = 0.7 and x = 1, and are slightly above the results of the other two calculations. This level of agreement suggest that systematic uncertainties related to the inverse problem, to P 3 and the maximum value of zP 3 are within the uncertainties. One can also address the concern on the renormalization prescription. As mentioned above, the scheme in pseudo-ITDs is gauge invariant and avoids the need of an additional renormalization function in an intermediate RI -type scheme prior the matching to the light-cone PDFs. Furthermore, there are indications that the RI-type scheme is meaningful in the small-z region, z = 3 − 4 fm [92] . Therefore, it is expected that there are systematic uncertainties related to the renormalization of quasi-PDFs. While this is valid, the agreement observed between the results using different lattice formulations and different approaches, suggests that such effects are probably within the reported uncertainties.
Besides the matrix elements of bilinear non-local operators used in the quasi-PDFs and pseudo-ITDs methods, there is a more general set of hadronic matrix elements, the good "lattice cross sections" (LCSs). The latter can be used to extract PDFs, and eventually analyzed together, in an analogous way as the experimental data [17, 18, 19] . In such global fits of lattice data, systematic effects coming from different results, may have less influence in the combined PDFs. However, this is an ideal scenario and it is not clear how systematic uncertainties from each lattice data will effect the combined fits in practice. Good candidates to construct the set of LCSs share similar features: a. are calculable in lattice QCD; b. are renormalizable; c. have the same and factorizable logarithmic collinear divergences as PDFs. As discussed in Ref. [19] , both the quasi-PDFs, pseudo-ITDs fall under the LCSs category.
A useful choice for the operator is a two-current local operator, N J 1 (z)J 2 (0), with the currents being spacelike separated with distance z. Therefore, this operator is gauge invariant, without the need of a Wilson line. N is a dimensionful normalization factor. The matrix elements of such operators (current-current corelators) are renormalized with the multiplication of the two renormalization functions of the local currents, J 1 and J 2 . Therefore, the renormalization procedure is easy and uses wellestablished techniques.
A recent work on the pion valence quark distribution using the current-current correlators method is presented in Ref. [93] . The calculation is performed on N f = 2 + 1 clover fermion ensembles with three values of the pion mass 278, 358, 413 MeV, with two volumes for the heavy pion mass (3 fm and 4 fm). The vector and axial currents are used as J 1 and J 2 , respectively. The momentum boost employed is between 0.41 -1.65 GeV. Several values of the current separation length are used, up to z = 6a = 0.76 fm. As discussed in Ref. [93] , the signal decays significantly with increasing P 3 , particularly for m π = 268 MeV. For example, for current separation of 3a, the errors are 3 times larger for P 3 = 1.65 GeV as compared to P 3 = 0.41 GeV. Consequently, the data for source-sink separation greater than 12a = 1.5 fm and P 3 ≥ 1.25 GeV, are not reliable due to the uncontrolled statistical uncertainties. This conclusion is compatible with the findings of other calculations (see, e.g., Sec. 5). Only the lattice data with signal-to-noise ratio greater than 1 enter the excited-states analysis. The data from all ensembles are simultaneously analyzed to obtain the functional form of the ITDs. A chiral, continuum, volume, and higher-twist extrapolation is employed using the z-expansion, which is frequently used to fit the momentum transferred square, Q 2 , dependence of form factors. We note that three pion masses, two lattice spacings, and two volumes enter the fit, making the extraction of some of the fit parameters susceptible to systematic uncertainties. Only z < 0.56 fm < 1/Λ QCD is used in the final analysis, for which the short-distance factorization seems to hold, and the higher-twist contributions are suppressed. However, a negligible dependence on z is found within the reported uncertainties, which is in agreement with the findings of Refs. [87, 90] . This corroborates the suggestion that the short-distance factorization (SDF) can be applied beyond 0.3 − 0.4 fm for the current data, as the corresponding systematic effects are within the uncertainties. Next-to-leading (NLO) order factorization is applied to the extrapolated current-current correlators, and are then parameterized to q π v (x). Two sets of the parameters are identified as good estimates. The analysis shows that larger values of the Ioffe time is needed to better constrain the fit parameters. Given that the values of z must be in a perturbative region, one should increase P 3 to achieve higher values of the Ioffe time. As already discussed, increasing P 3 while statistical uncertainties are controlled, is a major challenge of the lattice calculations. The lattice- v (x)-distribution using two parameterizations (cyan and red bands), shown together with the E615 data from Ref. [69] (blue band) and Ref. [94] using E615 re-scaled data [70] . Source: Ref. [93] . Article published under the terms of the Creative Commons Attribution 4.0 International license. extracted q π v (x) using the two fits are in agreement within errors, as can be seen in Fig. 8 . Given the current uncertainties related to the fit, one could consider as a final fit the combination of the two bands. The lattice data are compared with using E156 data [69, 70] . One of the motivations of this work is to identify the large-x behavior of q π v (x), and which functional form it favors. The older analysis of Ref. [69] exhibit a 1 − x fall, while the data of Ref. [70] have a (1 − x) 2 dependence. Based on the current uncertainties, the lattice data do not favor one over the other. However, the results are very promising, and, in the future, improved data can potentially be used to identify the large-x limit.
There is a large number of calculations on the pion distribution using different approaches, lattice formulations, and analysis. It is, therefore, desirable to compare these results. Here we show Fig. 9 taken from Ref. [73] , in which four calculations are compared using quasi-PDFs [95, 67] , pseudo-ITDs [73] and current-current correlators [74] . An N f = 2 + 1 + 1 mixed-action ensemble of HISQ/clover fermions with pion mass of 310 MeV and volume 24 3 × 64 is used for the calculation of Ref. [95] . The pion PDF is extracted using the quasi-PDF formulation, and the xdependence reconstruction is performed using the derivative method [56] , according to which one neglects the surface term in the integration by parts of the FT. This method does not solve the inverse problem, as discussed in Ref. [96] . It also introduces further uncertainties (see Sec. 3). The results presented in Ref. [67] also employ the quasi-PDFs method and are discussed in Sec. 2.1.1. Instead of a standard FT, two approaches are tested that rely on fits applied to the lattice data in the coordinate space. This is closer to the approach employed in Refs. [74, 73, 93] . The valence pion distribution is shown in Fig. 9 . Note that the various calculations are evolved to different scales: µ = 2 GeV [73] , µ = 3.2 GeV [67] , and µ = 4 GeV [95, 74] . However, the scale dependence is expected to be small within these values. An agreement is observed between the results of Refs. [67, 74, 73] up to x ∼ 0.5, and find the distribution to reach its maximum at around x = 0.3. Note that Ref. [73] combines two N f = 2 + 1 ensembles with clover fermions reproducing a pion mass of 415 MeV and different volumes, (3 fm and 4 fm). Ref. [74] uses the same ensemble with 4 fm. Even though the two calculations are completely independent and do not share any matrix elements, the distribution extracted is in full agreement. The results of Ref. [67] have a smaller slope after the peak and approaches x = 1 differently. As mentioned above, a fit on the lattice data is applied to handle the inverse problem, and the x → 1 limit is one of the constraints. The results found in Ref. [95] disagree with the other calculations, as they have a maximum around x = 0.5, and is higher than the other calculations beyond x = 0.5. It is possible that the use of the derivative method contributes to this disagreement.
The hadronic tensor approach was first proposed in the 90's [8, 9, 10] , and was recently revived. The methods discussed above rely on factorization (in momentum or coordinate space) and there is a need for large P 3 or large zP 3 while ensuring that the values used are within the perturbative region. The hadronic tensor method does not require large momentum, as it is frame-independence. It is also free of renormalization. The feasibility of the approach in terms of technical methods can be found in Ref. [97] . The method relies on analyzing ratios of suitable four-point and two-point functions, which is computationally very challenging, as one has to suppress the gauge noise and isolate the ground state at the same time. Another difficulty is the reconstructing of the Minkowski hadronic tensor, a process that also suffers from the inverse problem. In-depth investigations are needed to identify which methods are promising.
Ref. [97] undertakes such a study using a two ensemble. A mixed action of clover on DWF with m π = 370 MeV is used for the elastic case, W 44 . This serves as the benchmark of the approach, as it should give the vector charge. An anisotropic clover lattice with m π = 380 MeV is used to obtain the Euclidean hadronic tensor with nonzero momentum transfer (3.56 GeV), W 11 . The inverse Laplace transform of the Euclidean hadronic tensor is studied with three methods: the Backus-Gilbert method [91] , the maximum entropy method [98] , and the Bayesian Reconstruction method [99] . It is found that the vector charge is reconstructed reliably from W E 44 , with the maximum entropy method having a better resolution.
The reconstructed Minkowski tensor W 11 in shown in Fig. 10 for the up-and down-quark contributions, as a function of the energy transfer. Te reconstruction method used is the maximum entropy method, and the bands represent the uncertainties due to various models. The statistical errors are not considered, possibly because they would dominate the analysis of the the reconstruction methods. Note that the momentum transfer 3.56 GeV is high and the electromagnetic form factors are suppressed. Therefore there is no peak around ν = 0, which is the elastic point. There is a peak around ν = 1 GeV, which is below the range leading to the parton structure functions (ν ∈ [2.96 − 3.68] GeV). The same conclusions are found with the Backus Gilbert method. This is a on-going effort, and improvements are needed in several directions. The ultimate goal is to obtain lattice data for the Minkowski hadronic tensor for a wide set of kinematic setups, which can be used to extract x-dependent PDFs via a factorization theorem.
Another method to access hadronic distributions was proposed recently in Ref. [21] . It is known as "OPE without OPE", as it is related to the work of G. Martinelli [100] . Based on this approach, one computes matrix elements of the time-ordered product of two local currents, M µν (p, s, s , z) = p, s | T {J µ (z), J ν (0)} |p, s . (11) The currents are separated by a distance z, which has to be small for perturbation theory to be applicable. There is also a lower limit for z for discretization effects to be under control. The Compton tensor
can be decomposed into two scalar functions F 1,2 (ω, Q 2 ), which are related to the DIS structure functions F 1,2 from the hadronic tensor decomposition, via the optical theorem:
The indices µ, ν control the kinematic factors of the decomposition, with the choice µ = ν = 3 being convenient. Combining Eq. (13) with analytical and crossing symmetries, one can write
where
The method has been recently studied in Ref. [101] using one N f = 2+1 ensemble of clover fermions with pion mass 467 MeV and L = 2.4 fm (a = 0.074 fm). The matrix element of the current-current operator is computed using the Feynman-Hellmann relation [102] , which avoids the computation of four-point functions. This method requires an additional term in the QCD Lagrangian
where e f is the electric charge of the f th flavor and λ is a parameter with dimension of mass. q is the external current momentum. To extract T 33 , one needs separate simulations for a few values of λ, and calculate the derivative of the nucleon energy with respect to λ, that is
The flavor combinations considered correspond to the two currents coupled to the same flavor, indicated by uu and dd, which are leading-twist. Several values of the current momentum are considered within 3 GeV 2 Q 2 7 GeV 2 . Several values of p and q are used leading to ω up to 1.
The ω-dependence of F 1 (ω, Q 2 ) for the uu and dd combinations is show in Fig. 11 . As can be seen, the quality of the signal is good for both uu and dd. Fig. 11 . ω dependence of F qq 1 (ω, Q 2 ) at Q 2 = 4.66 GeV 2 for the uu (blue) and dd (red) combinations. Source: Ref. [101] . Reprinted based on the arXiv distribution license.
One of the recent highlights is the calculation of disconnected contributions of matrix elements of non-local operators, which have been analyzed within the quasi-PDFs framework. This is an important direction, as some of the PDFs are not well-constrained from global analyses. For example, most of the high-energy processes are not sensitive to the strangeness. Therefore, it is difficult to disentangle the strange-quark PDF from the down-quark PDF. This results in large ambiguities in its extraction, and, for example, global analysis of DIS + SIDIS data sets gives different sign for ∆s for different fragmentation functions [103, 104] . This poses limitations on the reliable extraction of the W -boson mass and the determination of the CKM matrix element V cs [105, 106] . Thus, the lattice calculations are quite timely, and while preliminary, demonstrate their potential. To date, there are only 2 calculations at higher-than-the-physical pion mass, which we briefly summarize here [107, 108] . Both calculations apply the non-singlet renormalization functions calculated nonperturbatively, and the mixing with the gluon PDFs has been neglected. It should be noted that, this mixing arises at the matching level, and not at renormalization, because there is no additional non-local ultraviolet divergence in the quasi-PDF [109, 47, 110] . The effects from neglecting both the singlet renormalization and the mixing are expected to be within the uncertainties reported in the calculations.
Ref. [107] presents the strange and charm unpolarized PDFs using an N f = 2+1+1 ensemble with mixed fermion action (clover on HISQ) with volume 24 3 × 64 (∼3 fm). The nucleon is boosted with momentum up to P 3 = 2.18 GeV. Two values of the valence pion mass are used, that is 310 and 690 MeV, on which a 2-parameter chiral extrapolation is performed, making it less reliable. Also, unlike the 2-parameter fit applied in Ref. [87] , here the lightest ensemble is above 300 MeV, possibly not capturing properly the pion mass dependence near the physical point. Furthermore, similar statistical accuracy is required for all data for an unbiased fit. However, the data obtained for the 690 MeV ensemble are a factor of 2-3 more accurate than the 310 MeV data, at P 3 = 1.74 GeV. The lattice data are presented in coordinate space as a function of zP 3 , and an inverse matching and inverse FT is applied on the global fits from NNPDF31 [58] and CT18 [66] . The data are shown in Fig. 2 .2 favoring symmetry between s ands, as the real part of the lattice data is compatible with zero, which is also assumed by CT18. Whether the nonzero signal for NNPDF31 is due to truncation of the matching, is not clear at this stage. The imaginary part is nonzero, and in agreement with CT18 up to zP 3 = 12π/24 ∼ 1.6, and with the less-accurate NNPDF31 up to zP 3 = 18π/24 ∼ 2.4. The data shown correspond to {n 3 , z max } = {1, 6a}, {2, 6a}, {3, 6a}, {4, 4a}, {5 , 3a}, where aP 3 = n 3 × 2π/24, and z max is the maximum value of z used (a = 0.12 fm). As can be seen, the lattice data for P 3 = 1.75 and 2.18 GeV are very noisy, and thus not very useful. Such rapid decrease of the signal with increase of the momentum boost has been discussed by various groups (see, e.g., Refs. [54, 93, 72] ). In general, the lattice data have flat behavior, which is not supported by the global fits, demonstrating a tension of a factor of 2 for the large values of zP 3 . It is assumed that this is due to not taking into account the other flavors in the matching [107] . Results on the charm unpolarized PDF can be found in Ref. [107] . [58] and CT18 [66] are shown upon inverse matching and FT. Source: Ref. [107] . Reprinted based on the arXiv distribution license.
The flavor decomposition of the up-and down-quark PDFs requires the calculation of both the connected and quark disconnected diagram. The disconnected u + d was not calculated until recently, preventing lattice calculations to provide the individual quark PDFs. Such a decomposition is presented for the helicity PDFs, ∆u, ∆d, in Ref. [108] . ∆s is also presented, which is not combined with the light-quark PDFs, as the mixing with the gluon PDFs is not considered. The calculation is performed using one ensemble of N f = 2 + 1 + 1 twisted mass fermions, at pion mass 260 MeV, and volume of 3 fm (32 3 × 64). Three values of P 3 are used, with the highest being 1.24 GeV. Convergence between P 3 = 0.83 GeV and P 3 = 1.24 GeV is observed within the reported uncertainties. Hierarchical probing [111] is used together with momentum smearing, which successfully improves the signal.
The final PDFs, x∆ + q ≡ x∆ q + x∆q, are shown in Fig. 13 for the three flavors, and are compared to the latest global fits of the JAM Collaboration (JAM17) [62] . Despite neglecting the mixing with the gluon PDFs, the agreement between the lattice results and global fits is very encouraging. x∆ + u exhibits an agreement up to x ∼ 0.65, while x∆ + d is in full agreement for all x regions. The statistical uncertainties of the lattice data for the lightquark PDFs are comparable to the uncertainties of the global fits. The most striking case, is that of x∆ + s , for which the lattice data exhibit smaller statistical uncertainties than JAM17 for x < 0.6, and both data are compatible within uncertainties for the whole x-region. We remind the Reader that the comparison is qualitative, as a thorough investigation of systematic uncertainties is needed, and the elimination of the mixing with the gluon PDFs. with the JAM17 phenomenological data [62] (gray). Source: Ref. [108] . Reprinted based on the arXiv distribution license.
The formalism to extract the x-dependence of quark distributions is also applicable for gluons PDFs. This has already been discuss in several papers for the quasi-PDFs [49, 46, 47, 48, 110] , pseudo-ITDs [112] , and current-current correlators [19] methods. Ab initio calculations of gluon PDFs is a new direction and largely unexplored. However, it is an essential one because gluonic contributions are sizeable, for example in the proton spin [113, 114, 115, 116, 117] . Global analysis find that gluon PDFs are dominant in the production of Higgs boson and heavy quarkonium [118, 119, 59, 120, 57, 58, 66, 121] . In fact, the recent analyses constrained better the small-x region, using recent data on the tt-quark data at the LHC [122, 123, 124] and Tevatron [125] , as well as the HERA run I+II data [126] . The domination of gluon PDFs over quark PDFs, especially in the small-x region is a testament of the non-perturbative QCD dynamics responsible for the rich and complex structure of hadrons. Besides their essential role in the hadron structure, calculations of gluon PDFs serve another important purpose: they are necessary to eliminate the mixing with the quark singlet PDFs [127] . Disentanglement of the gluon and quark singlet PDFs will eliminate one of the sources of systematic uncertainties in lattice calculations. For the case of Mellin moments of PDFs, the mixing appears in the renormalization. However, as discussed above, the non-local operators are multiplicatively renormalizable 5 . The mixing between the flavor-singlet quark and gluon PDFs should be eliminated at the factorization level.
A preliminary calculation of matrix elements of nonlocal gluonic operators is presented in Ref. [128] . A mixed action is used with pion mass 330 MeV for the sea sector, and volume 2.7 fm (24 3 × 64). The valence sector reproduces a pion mass of 340 and 678 MeV. The nucleon is boosted with P 3 = 0.46, 0.92 GeV. One of the operators employed exhibits mixing with other gluonic operatros under renormalization, in addition to the mixing with the quark singlet PDFs. Also, the calculation lacks renormalization, and instead, the matrix elements are normalized. Such a normalization changes the quantity under study, and the matching kernel of quasi-PDFs is not applicable. Therefore, only matrix elements are extracted, demonstrating the challenges of the calculation: for m π = 678 MeV at P 3 = 0.92 GeV the noise exceeds 40% of the signal beyond z = 3a, while for m π = 340 MeV the noise is 40% already at z = 0 and the signal is lost at z = 4a.
A calculation using the pseudo-ITDs formulation is presented in Ref. [129] , using the same ensemble as Ref. [107] . The analysis follows Ref. [112] , for an operator that is multiplicatively renormalizable and a matching kernel known to one-loop accuracy. From the technical standpoint, the advantage of pseudo-ITDs is the cancellation of the renormalization functions in the reduced pseudo-ITD. As discussed in Sec. 2.1, the RI-type renormalization procedure does not pose a difficulty for quark PDFs, which can be seen by the agreement of unpolarized PDFs obtained from the same ensemble using the quasi-and pseudo-ITDs methods [54, 90] (Fig. 7) . However, the calculation of the renormalization function for non-local gluon operators cannot be reliably extracted with the methods used for x g [116, 117] . The mixing between the quark-singlet and gluon PDFs appears at the matching procedure for both quasiand pseudo-ITDs. In Ref. [107] , the mixing is not considered, as the u + d PDFs for the disconnected diagram have not been calculated. The calculation employs momentum boost from zero up to 2.16 GeV, and consider up to z = 5a = 0.6 fm, for all momenta. It is found that the matrix elements from different n 3 and z at the same zP 3 are compatible within the reported uncertainties, even though there are indications that a cut should be applied at around z = 0.33 fm [92] . It is found that the uncertainties for the 310 MeV ensemble are significantly larger than the corresponding ones at 690 MeV. This happens already at P 3 = 1.3 GeV, where uncertainties of ∼ 30%, 45%, 70% are found for z = 3, 4, 5, respectively, and further increase for the highest momenta. Therefore, only the first few values of zP 3 have controlled uncertainties for large P 3 in the 310 MeV ensemble, which demonstrates the severe challenges to reliably extract the gluon PDFs. The final results are shown in Fig. 14, for the two ensembles. The same 2parameter extrapolation of Ref. [107] is also applied here. As discussed in Sec. 2.2, the uncertainties of such procedure are uncontrolled, as only two ensembles are available, with much different statistical uncertainties. The global fits from NNPDF31 [58] and CT18 [66] are also shown for comparison, and an agreement is reported for x > 0.25. These results are encouraging, but a careful analysis is needed, as the current comparison is inconclusive.
Preliminary results on the gluon pseudo-ITDs using a different lattice formulation have also been presented recently [130] . For results on the gluon helicity ∆G using LaMET, see Ref. [113] .
Twist-3 PDFs appear in QCD factorization theorems for a variety of hard scattering processes together with their leading twist (twist-2) counterparts. While twist-3 PDFs lack a probabilistic interpretation, they are interesting at their own right, as they contain information on the soft dynamics, such as the transverse polarization. Also, they are not smaller in magnitude than the twist-2 PDFs, and thus, are important to be considered. Most of the work on twist-3 PDFs is theoretical (see e.g., Refs. [131, 132, 133, 134, 135] ), while the experimental studies are limited. It is very challenging to probe them experimentally and isolate them from the leading-twist contributions. In addition, their theoretical analysis is more evolved, and goes beyond the simple partonic model. A recent re-analysis of the JLab Hall A data on the absolute DVCS beam helicity cross section differences [136, 137] addressed twist-3, but it is inconclusive on their contribution.
Twist-3 PDFs that enter the description of transversespin observables in inclusive high-energy processes, include contributions from a number of matrix elements. The latter are classified as intrinsic, kinematical, and dynamical (see, e.g., Ref. [133] ). Intrinsic twist-3 observables are extracted from matrix elements with two-parton nonlocal operators, the kinematical ones are first moments of transverse momentum dependent (TMD) two-parton PDFs, and the dynamical ones from matrix elements with quark-gluon-quark non-local operators.
The most-well studied structure function is the transverse spin dependent g s.f. 2 [138] , from which one can separate the non-perturbative component, the intrinsic g T PDF. The properties of g s.f. 2 in DIS were first studied by Wandzura and Wilczek [139] , proposing the Wandzura-Wilczek (WW) approximation. In their model calculation, it is suggested that the Mellin moments of g T (x) receive contributions from twist-2 operators and twist-3 operators, allowing one to write
where g twist−3
T the contribution from twist-3 operators [140] . In the WW approximation 6 , the moments of twist-3 operators vanish, and thus, g T (x) is determined only by the twist-2 operator of the helicity PDF g 1 (x). The validity of the WW-approximation has been under investigation since its proposal. In Ref. [140] the WW approximation was tested using experimental data, leading to possible violation at the level of 15 − 40%.
The field of extracting the x-dependence of PDFs using the methodologies outlined in Sec. 2 has reached sufficient maturity that enables the study of twist-3 PDFs and their properties. To date, there is only one lattice calculation 7 on twist-3 PDFs, in particular, on g T (x) presented in Ref. [143] . The calculation is performed using N f = 2 + 1 + 1 twisted mass fermions at a pion mass of 260 MeV, and employing the quasi-PDFs method. The relevant matrix element is P | ψ(0, z) γ j γ 5 W (z) ψ(0, 0) |P , where j is in one of the transverse directions. The maximum proton momentum boost used is P 3 = 1.67 GeV. The necessary matching was calculated in [144] , demonstrating that the twist-3 light-cone PDFs and their quasi-PDF counterparts have the same infrared physics, as in the case of all twist-2 PDFs. It was also shown that there are no zero-mode contributions. An extension of this work to the twist-3 e(x) and h L (x) PDFs, has shown that the singular zero-mode contributions cannot be avoided, making the extraction of their matching more complicated [145] . The lattice data on g 1 (x) have been used to test the WW approximation, which suggests that it fully defines g T (x), via
The lattice results on g WW T (x), as well as the actual lattice results on g T (x) are compared in Fig. 15 for P 3 = 1.67 GeV. The estimate from global fits by the NNPDF [61] and JAM [62] collaborations are also shown. As can Fig. 15 . Comparison of lattice estimate of gT (x) (blue band) with its WW approximation (red band). The WW approximation using global fits also shown (NNPDF1.1pol [61] orange band, JAM17 [62] purple band). Source: Ref. [143] . Reprinted based on the arXiv distribution license.
be seen, the lattice g T (x) is consistent with the lattice g WW T (x) for x ≤ 0.5. However, not all sources of systematic uncertainties have been accounted for, and thus, a violation of the WW approximation is still possible at the level of up to 40% for x 0.4, which is similar to the one found using experimental data [140] . The comparison is, of course, qualitative, as simulations at the physical pion mass and investigation of systematic uncertainties is essential. It should also be noted that there is mixing between the intrinsic and dynamical twist-3 operators, which should also be dealt at the matching level, as discussed above for the gluon and singlet quark PDFs. However, twist-3 is a completely unexplored area for the quasi-PDFs approach. While a lot of work is needed in the direction of twist-3 PDFs, the work of Refs. [143, 144, 145] demonstrate the feasibility of lattice calculations and the matching formulation.
In parallel to improving the numerical calculations, there have been interesting developments in a more theoretical direction, and here we discuss a few of them.
Some of the highlights regarding the matching formalism are the calculations presented in Refs. [146, 147, 148, 149] , which extend the matching kernels to next-to-nextto-leading order (NNLO). In practice, this means twoloop calculations with respect to the strong coupling constant. It has been discussed extensively that, the truncation of the matching formula to NLO consists one of the major sources of systematic uncertainties. Therefore, this is an important development. In particular, the flavor non-diagonal quark-quark channel in the modified minimal subtraction scheme for the quasi-PDFs is discussed in Refs. [146, 147] . The NNLO matching for the valence PDFs in coordinate space is presented in Ref. [148] , and the NNLO matching for quasi-PDFs in Ref. [149] . The calculations reach a consensus on the importance of the two-loop, emphasizing that this is the natural extension for lattice calculations.
As discussed in previous subsections, there are restrictions in the z-range so that factorization is applicable, and this also concerns the renormalization. In an RI-type scheme, for example, there could be non-perturbative effects in the large-z region through logarithms, such as log(z 2 µ 2 ). The pseudo-ITDs ratio which is a renormalization scheme, could also hinder higher-twist effects in large z. However, both the RI-type and ratio schemes are suitable to remove all divergence for small and intermediate values of z. This consists the main motivation of Ref. [92] , proposing a hybrid renormalization, which treats the short-distance and long-distance renormalization separately. This consists of using an RI-type, or ratio scheme up to some z max , and a mass-subtraction scheme for the z beyond z max . At z max , the renormalization functions from the two schemes should be the same based on continuity arguments. It is estimated that an upper limit for z max is around 0.4 fm. It is possible that this constrain for z max is beyond the current precision level of state-of-the-art calculations. For example, the agreement observed in Fig. 7 and Fig. 9 between lattice data from different lattice actions and renormalization schemes, does not indicate large effect from treating renormalization differently. The validity of extrapolating the lattice data based on the asymptotic long-range Regge-type behavior [150] is also presented. This type of fits are also used in the pseudo-ITDs and current-current correlators method.
Ref. [151] addresses the renormalization and the validity of the methods factorizing equal-time correlators into light-cone PDFs. The work is based in one-loop calculations of quasi-PDFs and pseudo-PDFs in a renormalizable scalar theory. The calculation addresses the erroneous claims [152, 153] that quasi-PDFs cannot be related to light-cone PDFs because the moments of the former exhibit power-divergent mixing. It should be noted that the claims have been refuted in more than one publications [154, 79, 96] . For instance, one of the counter-arguments is that, while all moments except for the zeroth do not converge, the light-cone PDFs are extracted from the nonlocal quasi-distributions that avoid the power divergence problem [154] . The non-local operators under study contain logarithmic divergences, as well as power-law divergence due to the Wilson line. Both are renormalizable by adopting a non-perturbative RI-type prescription. In addition, the required matching kernel is responsible for extracting light-cone PDFs with finite moments. A numerical example was given in Ref. [96] calculating the two lowest moments of pseudo-PDFs, and found agreement with the results of a direct calculation of moments using oneand two-covariant derivative local operators. Finally, the use of a Taylor expansion in z in Refs. [152, 153] , is only justifiable when all derivatives with respect to z 2 exist at z=0 [79] , which is not the case for the non-local operators discussed here. The work of Ref. [151] generalizes Collins' work [155] to off-light-cone matrix elements for leading twist and found that quasi-PDFs and pseudo-PDFs are equivalent. These, as well as their light-cone counterparts are renormalizable. It is also demonstrated that factorization exists at small z, large P 3 and small flow times. Yet again, the claims of Refs. [152, 153] have been proven invalid. Light-cone PDFs can indeed be accessed properly via the methods discussed in this review, as well as other.
Recently, there has been an interest from the phenomenological community to incorporate lattice data in the global analyses, in the same fashion as the experimental data sets. The main motivation is to explore whether the PDFs can be constrained more successfully, in regions where the experimental data are either sparse, imprecise, or nonexisting. Fig. 16 . V3 (top) and T3 (bottom) non-singlet PDF using lattice data with systematic uncertainties based on scenario S2 (green band) and S5 (salmon band). The NNPDF31 estimates are shown with a blue band. Source: Ref. [156] . Published under open access license.
A general framework to extract PDFs from the lattice data treating them on the same footing as experimental data is presented in Ref. [156] . The methodology is implemented for the unpolarized PDFs within the NNPDF fitting framework using the results of Refs. [37, 54] . Two non-singlet flavor combinations are considered, that is
which are related to the real and imaginary parts of the vector matrix element, via
Therefore, the lattice matrix elements can be analyzed within the framework applied on experimental data sets. The procedure is based on finding a χ 2 -function, which is minimized in order to extract V 3 and T 3 . Quantifying statistical and systematic uncertainties is important in this process. Six plausible scenarios are considered to assess systematic uncertainties that are not known, focus on the two realistic ones, labeled S2 and S5. Scenario S2 (S5) attributes 20%, 5%, 10%, 20% (0.2, 0.05, 0.1, 0.2) for cut-off effects, finite-volume effects, excited-states contamination, and truncation of perturbative expansion, respectively. Note that the systematic uncertainties in S2 change with z, while they are fixed in S5. The analysis of lattice data including these systematic effects is shown in Fig. 16 , and are compared to the phenomenological fits NNPDF31. It is observed that the more conservative scenario S2 leads to larger uncertainties, and is marginally compatible with the global analysis estimate at most regions of x. This analysis emphasizes the importance of properly quantifying systematic uncertainties in lattice estimates.
Ref. [157] presents a combined Monte Carlo based QCD global analysis within the JAM framework for both the unpolarized and helicity PDFs. The lattice data of Refs. [37, 54] are treated under the same conditions as the experimental data sets from unpolarized and polarized DIS and Drell-Yan (note this is not the same as the JAM17 results [62] ). The analysis uses the Monte Carlo Bayesian inference sampling methodology, parametrizing the PDFs at the input scale µ, and solving the evolution equations in Mellin space to bring all the observables at the same scale. In a nutshell, the analysis shows a rather weak constraint from the lattice data on the phenomenological unpolarized PDFs. This behavior is in agreement with the findings of Ref. [156] . In contrast, the lattice data on the helicity PDFs provide significant constraints to the combined estimates, as can be seen in Fig. 17 . It is found that the combined estimates of the quark PDFs have reduced uncertainties by a factor of 3 in the small-and large-x regions, and a factor of 5 in the intermediate-x regions. The anti-quark isovector helicity PDF exhibits an equally large improvement. It is also interesting that the combined fit ("exp+lat") is compatible with the discretized FT ("DFT") of Refs. [37, 54] . It should be noted that the implementation of the lattice data is done at the level of the renormalized matrix elements in coordinate space. Therefore, the challenges of the inverse problem do not appear directly in this analysis, as the discretized lattice data are fitted within the JAM framework. However, the effectiveness of such fits are driven by the number and quality of the lattice data. As mentioned previously, properly quantifying both statistical and systematic uncertainties is crucial. Fig. 17 . The isovector helicity PDF. The JAM17 [62] results are shown with red band, while the blue band shows the combined fits using both lattice and experimental data. The yellow band shows the data from Refs. [37, 54] using the standard discretized FT. Source: [157] . Reprinted based on the arXiv distribution license.
Based on the analyses of Refs. [156, 157] , one can conclude that the current precision of the lattice data on the unpolarized case must improve significantly to reach the quality of the experimental data. The case of the helicity PDFs is more promising, as the independent analysis of Refs. [37, 54] shows a very good agreement with the global fits, for a wide range of x. In fact, the lattice data compare favorably with the experimental data sets, and demonstrate a great constraining power, as shown in Fig. 17 . The work of Refs. [156, 157] opens up new possibilities for synergy between lattice QCD and global QCD fits. It is expected that, in the near future, combined analysis of multiple factorizable lattice matrix elements from various approaches will be available, an idea already discussed in Refs. [17, 19] . Ref. [151] proposes a framework of a global analysis of lattice data.
GPDs were first introduced in the 1990's, and it was demonstrated that they can be accessed in Deeply-Virtual Compton Scattering (DVCS) and Deeply-Virtual Meson Production (DVMC) [5, 4, 3] . Of particular interest for spin physics, it was shown by Ji [3] , that the proton angular momentum can be decomposed in a gauge invariant way into quark and gluon parts. GPDs are relevant to non-forward scattering processes that capture the momentum transfer between the initial and final hadron states. They depend on two additional kinematic variables in addition to x, that is, the light-cone component of the longitudinal momentum transfer (skewness), ξ, and the momentum transfer squared t = ∆ 2 . Note that the transverse component of the longitudinal momentum transfer enters through t. Consequently, the GPDs are multidimensional quantities and mapping their additiona twodimensional functional surface (t, ξ) allows one to get information on the two-dimensional structure of hadrons, in terms of these kinematic variables.
There are a number of challenges in extracting GPDs from experimental data, as the latter are limited, and cover a small kinematic region. Not only these data sets are indirectly related to GPDs through the Compton form factors, but it is very difficult to disentangle the GPDs entering the same high-energy process [158, 159, 160, 161] .
The x-dependence of GPDs for fixed values of t and ξ, can be accessed using the methods developed for PDFs. This new direction has recently been explored using the quasi-PDFs method in Refs. [162, 163] 8 The possibility to access GPDs through the pseudo-GPDs method has also been proposed [80] , but yet to be implemented in lattice calculations.
The connected contribution for the pion GPD, H π v , is presented in Ref. [162] . The motivation is to study the large-x behaviour and test which parameterization of kinematic dependence of the GPD is preferable [165, 166] . The calculation is performed using an N f = 2 + 1 + 1 mixedaction ensemble of HISQ/clover fermions with pion mass of 310 MeV and volume 24 3 × 64. Only zero skewness is considered in the calculation, and two values of the momentum transfer, that is −t ∼ 0.40, 0.92 GeV 2 . Since there is only one GPD for the pion, one avoids the complications of disentangling GPDs, and the need for more than one independent matrix elements to achieve the isolation. As a consequence, the calculation of the pion GPDs is computationally less expensive than the nucleon ones. The derivative method is employed, according to which one neglects the surface term in the integration by parts of the FT. This process is controlled only if the renormalized matrix elements decay to zero. Another concern about this method is that the surface term contains a factor of 1/x, which makes the extraction of the PDF for small values of x less reliable. In Ref. [54] it was demonstrated numerically that the difference between the discretized FT and the derivative method differ up to x = 0. 2 work is shown in Fig. 18 for the pion PDF, and GPD for −t ∼ 0.40, 0.92 GeV 2 at P 3 = 1.74 GeV. Meson-mass corrections have also been applied. One observes that as t increases, the GPD decreases in magnitude. It is concluded that the accuracy of these results is not sufficient to favor one of the two parameterizations, and further studies are necessary.
The isovector unpolarized and helicity GPDs for the proton, H(x, ξ, t), E(x, ξ, t) and H(x, ξ, t), E(x, ξ, t), have been studied using an N f = 2 + 1 + 1 ensemble of the twisted mass formulation [163] . The ensemble has volume 32 3 × 64 and pion mass 260 MeV. Both zero and nonzero skewness (ξ = ±1/3) have been studied, for P 3 up to 1.67 GeV, and −t = 0.69, 1.39 GeV 2 . As these are discretized on the lattice, specific combinations of the above values of P 3 , ξ, t have been obtained. Note that the skewness defined in the lattice calculation (quasi-skewness) is defined as ξ = − Q3 2P3 and defers to the light-cone ξ in power corrections. As mentioned above, extracting nucleon GPDs is computationally very costly. In addition, one requires a sophisticated analysis to properly disentangle the GPDs, as each matrix elements contributes, in general, to more than one GPDs. 9 For example, the off-forward proton matrix element of the vector current decomposes into
where Q ≡ P f − P i , and Γ ≡ū N (P f , s ) Γ u N (P i , s) with u N the proton spinors. Therefore, a minimum of two parity projectors are needed, leading to two independent matrix elements, in order to disentangle F H and F E . Another critical aspect of the calculation of GPDs is the need for implementation of the Breit (symmetric) frame.
In this setup, both the momentum of the initial and final states, P i , P f carry half of the momentum transfer, that is P i = P 3ẑ − Q/2 and P f = P 3ẑ + Q/2. This has major implications in the computational cost, as separate calculations are needed for every value of t, because both the source and sink momenta change. We emphasize that there is a fundamental difference between the calculation of Mellin moments of GPDs (form factors and generalized form factors) and the light-cone GPDs. The former are frame independent, and one can extract them in a more convenient frame, that is, fix the sink momentum and attribute t to the source ( P f = P 3ẑ , P i = P 3ẑ − Q). However, the light-cone GPDs are frame dependent, and their standard definition is in the symmetric frame. The connection between different frames is not a simple kinematical one, and therefore, the lattice calculations must be performed in the frame where GPDs are defined. Introducing momentum transfer in the matrix element, coupled to the momentum boost of the proton states, increases significantly the statistical noise. Another complication of t = 0 is related to the momentum smearing method, which is necessary to suppress the statistical uncertainties. As pointed out in Ref. [40] , the exponent of the momentum smearing phase must be parallel to the proton momentum to ensure overlap with the ground state. Therefore, all ingredients of the optimized ratio between 3pt-and 2pt-correlation functions (see, e.g., Eq. (S4) of the supplementary document of Ref. [163] ) requires a separate momentum smearing.
Figs. 19 -20 show H(x, ξ, t) and H(x, ξ, t) at P 3 = 1.25 GeV, for which both zero and nonzero skewness are available. Each is compared to the corresponding PDF, f 1 (x) and g 1 (x), respectively. As can be seen, there is a qualitative difference between the GPDs at zero and nonzero skewness. Let us remind the Reader that this mean zero and nonzero momentum transfer in the direction of the boost. In the latter case, the x-range separates into two kinematic regions, the ERBL (|x| < ξ), and the DGLAP region (|x| > ξ), which have different physical interpretation [167] . From the practical standpoint, the matching for ξ = 0 becomes more complicated than the one for ξ = 0, with the latter being the same as for the PDFs [168] . The PDFs are more dominant, as the probability of finding quarks with t = 0 decreases with increase of t. For the unpolarized case, we can compare the lattice data in the DGLAP region with the power-counting analysis of Ref. [169] at the x → 1 limit. One of the predictions of Fig. 19 . H(x, ξ, t) for ξ = 0 (blue band) and ξ = |1/3| (green band), and f1(x) (violet band) for P3 = 1.25 GeV. The area between the vertical dashed lines is the ERBL region. Source: Ref. [163] . Reprinted based on the arXiv distribution license. Comparison of H(x, ξ, t) and g1(x). Notation as in Fig. 19 . Source: Ref. [163] . Reprinted based on the arXiv distribution license.
this analysis is that H(x, ξ = 0, t) approaches f 1 (x), which is confirmed by the lattice data. It also predicts that at x → 1 the t-dependence vanishes, which is also observed by the lattice data. For results on the E-GPD and E-GPD, as well as results on the highest momentum, see Ref. [163] .
To map the three-dimensional structure of hadrons, knowledge of TMD PDFs is necessary, as it provides information not only on the longitudinal momentum, but also on the transverse momentum of partons. TMD PDFs arise in processes that involve multiple kinematic scales, such as Drell-Yan, e + e − annihilation, and semi-inclusive deep inelastic scattering. Consequently, a more complicated factorization formalism is required. For instance, the differential cross section is sensitive to the small transverse momenta, for which the non-perturbative dynamics cannot be neglected. Thus, the TMD PDFs contain the small transverse momenta information, making them more detailed than collinear PDFs.
The TMD factorization of the singular cross-section is not unique, and the various schemes are related to each other. The original proposal for TMD PDFs by Collins, Soper and Sterman [170, 171, 172] is such that the hard factor is absorbed in the definition of TMDs. In the revised definition for the TMD factorization [173] , the TMD PDFs have two components: the beam function (one for each incoming hadron) and the soft function. The former describes collinear radiation near the hadron, and is defined via matrix elements of non-local operators containing a staple-shaped Wilson line. The latter encodes the soft-gluon effects between the partons. The soft function contains little physical information on incoming hadrons, but has a practical importance: it cancels the rapidity renormalization scale in the beam function. A combination of the two components is necessary to extract the TMDs. It should be noted that both the beam function and the soft function are calculable in lattice QCD.
There have been extensive discussions within the phenomenological community on the factorization related to TMD PDFs and their definitions (see, e.g., Ref. [174] ). Recently, such discussions became relevant within the lattice QCD community, due to the increased interest to generalize methods initially developed for PDFs, to access TMD PDFs. Lattice calculations of matrix elements with nonlocal operators related to TMDs, their renormalization, and the soft function, have recently emerged. However, the field is still at its infancy, and a lot of progress is required. In this article, we briefly summarize the latest progress, most of which is on the theoretical side. More details on the first explorations of TMDs from lattice QCD [175, 176, 177, 178, 179, 180, 181] can be found in Ref. [182] . The most recent studies that are discussed here, can also be found in Refs. [16, 182] .
The light-cone TMD PDFs involve matrix elements of non-local operators containing a staple-shaped Wilson line. The latter are infinite and their edges are on, or near the light-cone. Therefore, they cannot be accessed directly in lattice QCD. A way around this issue, is to calculate correlation functions with space-like separated partons, as done for PDFs and GPDs, and then properly match them to their light-cone counterparts. The quasi-distributions approach is the first to be explored for TMDs, and recent work can be found in Refs. [183, 184, 185, 186, 187, 188, 189, 190, 16, 191] .
A prescription to obtain the Collins-Soper evolution kernel non-perturbatively from ratios of quasi-TMDs formed at different momenta, is given in Ref. [185] . Ref. [186] presents a study of quasi-TMD PDFs and ratios of impactparameter quasi-TMDs, which can be matched to their light-cone counterparts. In addition, the appropriate matching formula is discussed. Ref. [187] presents a renormalization prescription and matching of quasi-TMDs as defined in Ref. [186] . A matching kernel of ratios of TMDs for different spin structures is proposed in Ref. [191] .
The methodology proposed in Refs. [185, 186, 187] was implemented numerically in Ref. [192] for the renormalization using the gradient flow method, and in Ref. [193] for the Collins-Soper kernel. The calculation is performed in quenched LQCD with pion mass of 1.207 GeV. The hadron is boosted with P 3 = 1.29, 1.94, 2.58 GeV and for transverse parton momentum q T in the range of 250 MeV and 2 GeV. The staple extent, η, is chosen 0.6, 0.7 and 0.8 fm, while the asymmetry in the staple, b T , is between −(η − a) and (η − a), with a = 0.06 fm. The extracted Collins-Soper kernel is shown in Fig. 21 , together with results from perturbation theory. An agreement is observed only around b T ∼ 0.2 − 0.3 fm. This indicades non-negligible systematic effects in the lattice data, such as power corrections in the small-b T region. The challenges of the inverse problem arise in these calculations too, as the Fourier transform over b T is required. A way to perform the Fourier transform with limited data is to apply fits on the lattice data, as performed in Ref. [193] . However, an extensive study of the systematic uncertainties is necessary to control unwanted effects. Lattice results on the Collins-Soper evolution kernel as a function of bT . The interpolation of the unsubtracted quasi-TMD PDF using Hermite and Bernstein polynomial bases are shown with red diamonds and purple triangles, respectively. Results from perturbation theory [194, 195] are shown with dashed and solid lines. Source: Ref. [193] . Article published under the terms of the Creative Commons Attribution 4.0 International license.
The study of the soft function as defined in the Collins-Soper TMD factorization is discussed in Ref. [188] . One of the findings is that the soft function can be defined as the form factor of a pair of color sources traveling at almost the speed of lights, and can be calculated using lattice Heavy-Quark Effective Theory (HQET). However, this is of little practical use for lattice calculations. An alternative proposal is to extract the soft function through the factorization of a fast-moving light-meson form factor, which can be combined with the quasi-TMD wavefunction. In the follow-up calculation of Ref. [189] , the matching kernel is extracted, based on the definition of Ref. [188] . Ref. [196] presents a lattice calculation of the rapidity-independent part of soft function presented in the transverse coordinate space, indicated as b ⊥ . The calculation is performed using one N f = 2 + 1 CLS ensemble of clover fermions with pion mass 333 MeV in the sea sector and 547 MeV in the valence sector. The momentum boost is up to 2.1 GeV. The final results for the two ensembles are shown in Fig. 22 , and are compared with perturbative results, as well as the results from Ref. [193] . We note that the comparison is qualitative, as the latter calculation is quenched, and at a very heavy pion mass. This has the benefits of small statistical uncertainties. An agreement is observed between the various lattice results, within the errors. The results of Ref. [196] are compatible with the 3-loop perturbative results up to b T ∼ 0.4 fm. Fig. 22 . The Collins-Soper kernel from the lattice calculation is shown with blue and red points, and is compared to the quenched calculation of [193] . Results from perturbation theory [194, 195] are shown with solid and dashed lines, for 1loop, 2-loop and 3-loop estimates. Source: Ref. [196] . Reprinted based on the arXiv distribution license.
The work presented in this review is a demonstration of the advancement of lattice QCD in novel methods of obtaining PDFs, GPDs and TMD PDFs that, only a decade ago, were considered impossible to calculate "directly".
In particular, we have demonstrated that calculations of PDFs have reached an advanced level, with dedicated studies of various sources of systematic uncertainties. Given the progress, it is possible that precision calculations with controlled uncertainties will be available in the next few years. Gluon PDFs and flavor-singlet quark PDFs are actively being pursued with very promising results. This direction progresses more slowly than the non-singlet PDFs, as the calculation of disconnected contributions of nonlocal operators and boosted hadrons are computationally very challenging. The natural extension of the methods to access x-dependent distribution functions, is studies of GPDs. Interestingly, only exploratory studies are available, providing the x-dependence of GPDs for selected values of the momentum transfer at zero skewness, or limited values of nonzero skewness. This is due to the fact that the introduction of momentum transfer comes with several complications, most of them computational. The above make the computation of GPDs much more challenging than the form factors, due to the frame-dependence of the former. Serious effort is invested in studies of TMD PDFs, with most of the work being on theoretical developments. The lattice calculations are still very preliminary, and some of them at very heavy pion mass. A lot more numerical explorations are expected to follow.
As concluded from the main text, the various methods to access x-dependent distribution functions are based on different theoretical formulations and are susceptible to different systematic uncertainties. Regardless, all methods pursue the same physical quantities, even though the factorization procedure is realized differently. Some methods rely directly on large hadron momentum, P 3 , and others on large Ioffe time, zP 3 . Regardless on the classification of the factorization (LaMET, or short-distance), the calculations of matrix elements with boosted hadrons and non-local operators are computationally intensive. It is apparent that there are limitations to the value of P 3 due to the computational cost and the value of a. For coordinate space factorization, there are also limitations on z, which has to be small and within the perturbative region. Since there is a need for large P 3 , or large zP 3 , it is undoubtedly desirable to explore what the current capabilities of the lattice calculations are. Often, there is the misconception that large momentum can be achieved with controlled uncertainties. Instead of making assumptions based on phenomenological models or otherwise, we take a close look at the current calculations to address the question whether it is feasible to reach high momentum without compromising the reliability of the results. Such a question becomes more pressing for simulations near or at the physical point. Table 1 presents some of the parameters of recent calculations presented in this article, either for the pion or the nucleon. The main focus is on the noise-to-signal ratio, n s , at the maximum value of the matrix elements. For the real part of the matrix elements the peak is at z = 0, while for the imaginary part is at some intermediate value of z depending on the quantity under study. As most cal- culations include multiple values of P 3 , we present n s at the highest P 3 , which will provide some indication of the challenges to increase P 3 for non-local operators. It should be emphasized that the noise-to-signal percentages should not be directly compared between methods, as the focus of each approach is different. For example, the pseudo-PDF method and current-current correlators method utilize all values of P 3 , while for the quasi-PDFs analysis, one uses the data at the highest possible momentum. Therefore, the control of statistical uncertainties in the former methods can and is achieved at low momenta. For example, if one would analyze the data of Ref. [87] within the quasi-PDFs method, the maximum momentum which leads to reliable renormalized results for a wide range of z values is P 3 ∼ 1.3 GeV for the 172 MeV ensemble. However, the results at P 3 = 2.1 GeV are accurate enough for small values of z within the pseudo-ITDs renormalization scheme. As can be seen, the picture is consistent from all calculations: P 3 close or beyond 2 GeV cannot be reached reliably. This is particularly true for ensembles with a pion mass near or at the physical point.
The general picture of Table 1 should not be viewed as a major disadvantage of the field, but as a motiva-tion to develop and explore novel approaches, innovative techniques and algorithms 10 . Such an example is the momentum smearing method [40] , first explored in Ref. [36] for non-local operators. Since then, it has been integrated into all calculations. This direction has been instrumental in allowing access to higher values of P 3 . A recent exploration of the momentum-smearing within the distillation framework can be found in Ref. [199] . We will soon enter the exascale computing era, which promises more computing power. The combination of software and hardware developments will certainly benefit calculations of non-local operators, leading to precision calculations with controlled uncertainties.
The purpose of this review is to highlight the many successes of the field, and point out the aspects that need further exploration. Regardless of the necessary improvements, there is no doubt that accessing x-dependent parton distributions from lattice QCD is a major success towards understanding the complex structure of hadrons, and gains visibility from the experimental and theoretical nuclear physics communities.