QED Lepton PDFs in QCD+QED Factorization
- QED lepton PDFs are the collinear probability densities that describe the distribution of charged leptons and photons inside hadrons or leptons.
- They evolve through joint QCD+QED DGLAP equations, ensuring a universal treatment of initial-state radiation in high-energy processes.
- Analytic methods using SCET and fixed-order calculations underpin their precise extraction, impacting predictions in lepton and hadron collider experiments.
QED lepton parton distribution functions (PDFs) are the collinear probability densities that arise when electrodynamic radiation is factorized in the same way as QCD radiation. In one standard usage, they are the charged-lepton PDFs inside a hadron, introduced consistently together with the photon PDF once leading-order QED corrections are included in DGLAP evolution. In a second usage, often denoted lepton PDFs or lepton distribution functions (LDFs), they describe the probability to find, inside a parent lepton, a parton carrying a light-cone momentum fraction or . For sufficiently inclusive observables, these functions absorb universal collinear initial-state radiation and enter factorized cross sections in the same convolutional form as hadron PDFs (Bertone et al., 2015, Cammarota et al., 2024, Qiu et al., 8 Jul 2026).
1. Definitions and operator formulations
The modern formulation treats QED lepton PDFs exactly as in QCD, except that the parent hadron may be replaced by a physical electron or photon, so that the corresponding distributions are perturbatively calculable (Schnubel et al., 11 Sep 2025). In soft-collinear effective theory (SCET), the bare parton-in-electron PDF for is defined by the matrix element of a gauge-invariant operator,
with explicit fermion and photon operators built from collinear fields and Wilson lines (Stahlhofen, 23 Aug 2025). In the light-cone-gauge formulation, one may equivalently define
whose forward matrix elements yield the bare PDFs in an electron or photon state (Schnubel et al., 11 Sep 2025).
For a parent lepton in joint QCD+QED collinear factorization, one introduces a universal set of LDFs
giving the probability to find, inside a parent lepton , a “parton” with light-cone momentum fraction 0 (Qiu et al., 8 Jul 2026). In the analogous Standard Model notation of LePDF, the same logic is extended beyond pure QED to include electroweak gauge bosons and polarization effects; below the electroweak scale, however, only QED and, through 1, QCD interactions contribute (Garosi et al., 2023).
The basic normalization is fixed by momentum conservation. For lepton PDFs in a lepton, the momentum sum rule takes the form
2
and at tree level one has 3 (Garosi et al., 2023, Schnubel et al., 11 Sep 2025).
2. Mixed QCD+QED evolution and splitting kernels
QED lepton PDFs satisfy DGLAP-type integro-differential equations in direct analogy with ordinary hadronic PDFs. In the joint QCD+QED factorization used for lepton-hadron scattering, the LDF evolution is
4
with splitting kernels expanded as
5
At leading non-trivial order one retains only the pure-QED 6 and pure-QCD 7 terms (Qiu et al., 8 Jul 2026).
In the conventions used for the lepton-parent system, the pure-QED leading kernels include
8
9
with mixed quark-photon kernels proportional to the quark charge,
0
The pure-QCD kernels 1 are the standard leading-order Altarelli-Parisi functions (Qiu et al., 8 Jul 2026).
For hadronic PDFs with QED corrections, the singlet-sector evolution written in APFEL includes quarks, antiquarks, gluon, photon, and charged leptons simultaneously. In that framework, the photon and each charged lepton satisfy
2
3
APFEL 2.4.0 and later solves the resulting twenty coupled integro-differential equations with QCD 4 up to NNLO and QED 5 at LO, while checking that the total momentum fraction stays unity to better than 6 (Bertone et al., 2015).
Beyond leading order in QED, the electron splitting kernels can be systematically extended. In SCET, the QED kernels are expanded as
7
with one-loop kernels 8, 9, and 0, and two-loop kernels 1 obtained by “Abelianizing” the QCD two-loop results (Stahlhofen, 23 Aug 2025). The complete QED NNLO kernels 2 are incorporated in the fully analytic two-loop calculation of electron and photon structure functions (Schnubel et al., 11 Sep 2025).
3. Factorization formulas and observable content
The central role of QED lepton PDFs is to factorize collinear radiation from hard scattering. For sufficiently inclusive processes with incoming 3, one has at leading power
4
where the partonic cross section is computed with massless external partons and all mass singularities are absorbed into 5 and 6 (Stahlhofen, 23 Aug 2025).
In inclusive lepton-hadron deep inelastic scattering, the joint QCD7QED factorization formula introduces both lepton PDFs and lepton fragmentation functions,
8
up to power-suppressed terms (Cammarota et al., 2024). The explicit NLO subtraction formula removes the universal collinear contributions from the bare partonic cross section by convoluting the hard part with the order-9 lepton PDF, lepton fragmentation function, quark PDF, and photon-in-quark PDF (Cammarota et al., 2024).
For single-inclusive hadron production in lepton-hadron scattering at large transverse momentum 0,
1
The short-distance hard part is infrared-safe in both QCD and QED after collinear subtraction into the distribution and fragmentation functions. In this formulation, leptoproduction channels with 2 start at 3, while photoproduction with 4 enters at 5. For single-inclusive jets, the hadron fragmentation function is replaced by parton-to-jet functions 6 with the same convolution structure (Qiu et al., 8 Jul 2026).
A recurrent conceptual point is that this formalism treats collinear QED radiation from the incoming lepton as a genuine factorized ingredient rather than as a mere “add-on” radiative correction. The joint-factorization papers state this explicitly: all perturbative collinear sensitivities of partonic scattering in both QCD and QED are factorized into corresponding universal hadron and lepton distribution functions without the need of any parameters other than the standard factorization scale (Cammarota et al., 2024).
4. Boundary conditions, nonperturbative input, and public implementations
Initial conditions depend on the parent state and on whether one is treating a purely perturbative lepton system or a mixed QCD+QED system. For hadronic PDFs with QED corrections, one may start at 7 GeV from either a “zero photon” boundary or an existing LO-QED PDF set, and for the light leptons 8 one may assume that they are entirely generated by collinear 9 splitting above threshold,
0
Equivalently, one may set 1 and let the evolution build them up. The 2 PDFs are turned on dynamically in the variable-flavour scheme at 3 with zero boundary condition (Bertone et al., 2015). The same two starting prescriptions were implemented and tested in APFEL for proton PDFs with QED corrections (Carrazza, 2015).
For a parent muon, the leading-logarithmic setup of Frixione and Stagnitto uses
4
at 5, and then evolves the full QED6QCD system for the lepton, photon, quark singlets, and gluon (Frixione et al., 2023). In the purely perturbative QED discussion of inclusive DIS, one similarly takes 7 with 8 and vanishing 9, 0, together with the possibility of a nonperturbative parameterization if an extraction from data is envisaged (Cammarota et al., 2024).
A distinct situation arises in the joint QCD+QED treatment of high-1 lepton-hadron scattering. Because QCD splitting into light quarks becomes nonperturbative below 2, the input scale is chosen as 3. At that scale the nonperturbative LDFs are parameterized by a simple Beta-function ansatz,
4
while quark, antiquark, and gluon LDFs are set to zero at 5 and generated purely by evolution above 6. The parameters are fixed by valence-electron number, momentum sum, and matching the valence LDF to the known NLO perturbative result at 7 for Mellin moments up to 8. The default set is
- 9: 0, 1, 2,
- 3: 4, 5, 6,
- 7: 8, 9, 0. The evolved grids are distributed in LHAPDF format for 1 and 2 (Qiu et al., 8 Jul 2026).
On the implementation side, APFEL stores PDFs on an 3-grid, performs convolutions with Gauss-Legendre quadrature and high-order interpolation in 4, solves the coupled QCD+QED equations simultaneously, runs 5 at LO, and implements smooth heavy-flavor and heavy-lepton matching across charm, bottom, and 6 thresholds (Bertone et al., 2015). In the broader Standard Model extension, LePDF provides public LHAPDF6 files for both muons and electrons, including polarization effects (Garosi et al., 2023).
5. Fixed-order structure functions through two loops
A substantial part of the literature concerns explicit perturbative calculations of lepton-parent PDFs. For the electron, the fixed-order expansion is written as
7
with
8
At NLO, using 9, one finds
0
At NNLO, the result contains a one-flavor contribution 1 and a genuinely new extra-flavor contribution 2 containing logarithms and dilogarithms of the mass ratio 3 (Stahlhofen, 23 Aug 2025).
The fully analytic two-loop calculation extends this program to all five QED lepton/photon channels: 4 The computation is performed in 5-space with reduction to master integrals and the differential-equation method, using 6 renormalization for wave functions and charge and on-shell renormalization for the mass (Schnubel et al., 11 Sep 2025). The results are organized as
7
with the coefficients of the large logarithms 8 controlled by the renormalization-group convolution relations. The one-loop terms reproduce the results of Frixione and Llauret, while the two-loop 9-space expressions for 00, 01, and 02 agree pointwise with the recent SCET calculation (Schnubel et al., 11 Sep 2025).
The calculational frameworks are complementary. The SCET analysis emphasizes the operator definition and renormalization-group origin of the 03 towers, making DGLAP-type resummation of 04, 05, and higher towers straightforward (Stahlhofen, 23 Aug 2025). The direct two-loop analytic calculation emphasizes IBP reduction, differential equations in 06, boundary conditions from inclusive integrals, and the cancellation of spurious rapidity divergences in the sum of graphs (Schnubel et al., 11 Sep 2025).
The available numerical statements are limited but definite. The SCET paper states that for one-flavor QED at a typical scale 07, with 08 and 09, the NLO corrections 10 amount to a few percent of the Born 11 term, the genuine NNLO corrections are at the per-mille level, and additional fermion-flavor effects can shift the NNLO result by up to 12 of the NNLO term itself (Stahlhofen, 23 Aug 2025).
6. Phenomenology, extraction strategies, and recurring misconceptions
The phenomenology of QED lepton PDFs depends strongly on the parent state. For charged leptons inside the proton, the numerical impact is generally very small. In the APFEL-based study, representative evolved proton PDFs at 13 GeV yield lepton distributions suppressed by a factor 14 relative to the photon PDF, with momentum fractions
15
so that the lepton momentum is two orders of magnitude below the photon momentum (Bertone et al., 2015). Accordingly, in hadronic phenomenology the 16-initiated channel is stated to be almost always negligible once realistic cuts are applied, whereas photon-initiated processes can be 17 or more of standard quark-antiquark interactions at multi-TeV scales (Bertone et al., 2015). This addresses a common misconception: the formal necessity of including lepton PDFs in a complete LO-QED PDF basis does not imply that they are numerically competitive with photon PDFs in ordinary hadron-collider observables.
For a parent muon, the partonic content can nevertheless be sizable enough to matter in lepton-collider applications. Frixione and Stagnitto find at 18 GeV the momentum fractions
19
and use these PDFs for dijet cross sections at a 20 TeV 21 collider (Frixione et al., 2023). A plausible implication is that once QCD is radiatively induced from the photon component, quark and gluon densities become relevant for specific collider final states even though the parent state is elementary.
In lepton-hadron scattering, the phenomenological status is different again. The NLO factorized-QED DIS analysis compares three scenarios—LO-NR, LO-Pert, and LO-Model+NLO—and finds that including QED LDFs and LFFs typically reduces the cross section by up to 22–23 relative to LO-NR, depending on kinematics, while the NLO hard-part correction induces further changes at the few-percent to ten-percent level (Cammarota et al., 2024). The study concludes that a precision extraction of hadron PDFs from DIS at the few-percent level will require simultaneous extraction of the nonperturbative LDFs 24, 25, and related functions (Cammarota et al., 2024).
The most explicit extraction strategy has been formulated for high-26 single-inclusive hadron and jet production at Jefferson Lab and the future Electron-Ion Collider. In that proposal, the universal LDFs 27 are to be constrained from high-28 single-inclusive hadron and jet measurements without imposing “radiative” cuts on the final-state lepton. Comparing measured spectra 29 with theory for varying LDF parameters would permit a global fit in close analogy to hadron PDF and fragmentation-function analyses, thereby extracting nonperturbative LDFs at 30 and evolving them perturbatively to any scale (Qiu et al., 8 Jul 2026). The same work states that, once determined, these LDFs will provide model-independent, leading-power QED “radiative corrections” for all lepton-initiated processes in the Standard Model and beyond (Qiu et al., 8 Jul 2026).
A second recurring misconception concerns the universality of lepton-side radiation. The joint-factorization program argues that sufficiently inclusive observables admit the same kind of universal collinear factorization on the lepton side as on the hadron side, with infrared-safe hard parts after subtraction (Cammarota et al., 2024, Qiu et al., 8 Jul 2026). This does not eliminate the need for input conditions: in purely perturbative settings the boundary conditions are fixed near the lepton mass, while in mixed QCD+QED settings involving quark and gluon content of a parent lepton, a nonperturbative input at 31 is explicitly introduced and must ultimately be constrained by data (Qiu et al., 8 Jul 2026).