pith. sign in

arxiv: 2605.16231 · v1 · pith:EBQUV5V6new · submitted 2026-05-15 · ✦ hep-ph

Scheme-invariant stratified factorization algebras for inclusive deep inelastic scattering

Dustin Keller This is my paper

Pith reviewed 2026-05-20 16:09 UTC · model grok-4.3

classification ✦ hep-ph
keywords deep inelastic scatteringfactorizationscheme invariancecollinear schemesQCDasymptotic regimesstratified algebrasoperator basis
0
0 comments X

The pith

A scheme-invariant stratified factorization algebra yields the standard DIS convolution formula independently of collinear scheme or operator basis.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper formulates inclusive deep inelastic scattering factorization as one proof object that unites asymptotic reconstruction of the current-current matrix element with invariance under finite changes of collinear scheme. It packages leading-region analysis, overlap subtraction, Wilson-line reduction, finite scheme kernels, and physical measurement into a typed structure on a compactified space of asymptotic regimes. The central carrier is the balanced hard-collinear core over the interface algebra of finite scheme transformations. A scheme-balanced comparison map from this core to the collinear collar is shown to be an equivalence at chosen power accuracy, after which the measurement descends to the standard convolution formula. The construction separates this formal implication from the analytic QCD obligations required to build the collar equivalence and supplies diagnostics for missing regions or failed equivalences.

Core claim

Inclusive deep inelastic scattering factorization combines asymptotic reconstruction of the current-current matrix element from hard and long-distance data with invariance under finite changes of collinear scheme or operator basis. These two features are packaged as a single typed, filtered structure on a compactified space of asymptotic regimes whose central carrier is the balanced hard-collinear core over the interface algebra of finite scheme transformations. The hard QCD input is the construction of a scheme-balanced comparison map from this core to the collinear collar of the regime algebra. Once this comparison is an equivalence through the chosen power accuracy and the measurement is

What carries the argument

The balanced hard-collinear core over the interface algebra of finite scheme transformations, which enables a scheme-balanced comparison map that equates to the collinear collar and permits formal descent to convolution.

If this is right

  • The standard DIS convolution formula follows formally once the comparison map is an equivalence at the chosen accuracy.
  • The convolution result holds independently of the chosen scheme presentation.
  • Collins-style subtraction is realized as descent and Möbius inversion on the region poset.
  • A finite check relates MS-bar and DIS presentations.
  • The framework supplies diagnostics for missing regions, nonclosed operator sectors, nonbalanced measurements, and failed collar equivalences.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The typed structure could serve as a template for organizing factorization proofs in related processes such as semi-inclusive DIS or Drell-Yan.
  • Machine-learning implementations might use the diagnostics to detect and repair incomplete region coverage in automated workflows.
  • Extension to higher-power accuracy would require only refinement of the collar equivalence construction while preserving the formal descent step.

Load-bearing premise

The analytic QCD obligations needed to construct the collar equivalence hold so that the formal implication from the balanced core to the physical convolution is valid.

What would settle it

An explicit calculation in which the scheme-balanced comparison map fails to be an equivalence at a given power accuracy for a chosen scheme, operator basis, and measurement would falsify the central claim.

read the original abstract

Inclusive deep inelastic scattering factorization combines two features that are often treated separately: an asymptotic reconstruction of the current-current matrix element from hard and long-distance data, and an invariance under finite changes of collinear scheme or operator basis. We formulate these two features as a single proof object. The construction packages the leading-region analysis, overlap subtraction, Wilson-line reduction, finite scheme kernels and physical measurement into a typed, filtered structure on a compactified space of asymptotic regimes. Its central carrier is the balanced hard-collinear core over the interface algebra of finite scheme transformations. The hard QCD input is the construction of a scheme-balanced comparison map from this core to the collinear collar of the regime algebra. Once this comparison is an equivalence through the chosen power accuracy and the measurement descends to convolution, the standard DIS convolution formula follows formally and independently of the chosen scheme presentation. We separate this formal implication from the analytic QCD obligations needed to construct the collar equivalence, describe Collins-style subtraction as descent and M\"obius inversion on the region poset, and give a finite check relating $\overline{\mathrm{MS}}$ and DIS presentations. The framework is intended as proof infrastructure rather than as a new calculation of DIS coefficient functions. It supplies diagnostics for missing regions, nonclosed operator sectors, nonbalanced measurements and failed collar equivalences, and it gives a typed interface for future proof-assistant and machine-learning implementations of factorization workflows.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript formulates inclusive deep inelastic scattering factorization as a unified proof object by packaging leading-region analysis, overlap subtraction, Wilson-line reduction, finite scheme kernels, and physical measurement into a typed, filtered structure on a compactified space of asymptotic regimes. Its central carrier is the balanced hard-collinear core over the interface algebra of finite scheme transformations; a scheme-balanced comparison map from this core to the collinear collar is constructed, and once this map is an equivalence at the chosen power accuracy and the measurement descends to convolution, the standard DIS convolution formula is claimed to follow formally and independently of scheme presentation. The paper separates this formal implication from the analytic QCD obligations needed to construct the collar equivalence, describes Collins-style subtraction as descent and Möbius inversion on the region poset, and provides a finite check relating MSbar and DIS presentations. The framework is positioned as proof infrastructure supplying diagnostics for missing regions and nonclosed sectors rather than a new coefficient-function calculation.

Significance. If the collar equivalence and descent steps hold, the work supplies a scheme-invariant algebraic packaging of DIS factorization that could serve as reusable infrastructure for proof assistants and diagnostics in higher-order calculations. The explicit separation of formal implication from analytic obligations is a clarity strength, and the intent to interface with machine-learning or proof-assistant workflows is forward-looking. However, the significance is limited by the absence of exhibited derivations for the central map and the finite check, leaving the framework more conceptual than immediately applicable.

major comments (2)
  1. Abstract and §3 (collar equivalence construction): the central claim that the standard DIS convolution formula follows formally once the scheme-balanced comparison map is an equivalence rests on the construction of the collar equivalence and the descent to convolution; these steps are stated to be separated from the formal implication, yet the manuscript supplies no explicit region-poset calculation, verification that the balanced core maps to a closed collar under finite scheme transformations, or displayed equations for the finite MSbar–DIS check. Without these, the formal descent remains conditional on unshown analytic input.
  2. §4 (finite check relating MSbar and DIS presentations): the manuscript mentions a finite check but does not exhibit the explicit kernel or matrix relating the two presentations at the level of the interface algebra; this check is load-bearing for demonstrating that the comparison map is indeed an equivalence at the chosen power accuracy.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. The report correctly identifies that the central constructions would benefit from greater explicitness. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: Abstract and §3 (collar equivalence construction): the central claim that the standard DIS convolution formula follows formally once the scheme-balanced comparison map is an equivalence rests on the construction of the collar equivalence and the descent to convolution; these steps are stated to be separated from the formal implication, yet the manuscript supplies no explicit region-poset calculation, verification that the balanced core maps to a closed collar under finite scheme transformations, or displayed equations for the finite MSbar–DIS check. Without these, the formal descent remains conditional on unshown analytic input.

    Authors: We agree that the absence of the explicit region-poset calculation and the displayed verification of the collar equivalence weakens the presentation. In the revised version we will expand §3 to include (i) the explicit poset of leading regions with the Möbius inversion for overlap subtraction, (ii) the step-by-step construction of the scheme-balanced comparison map from the balanced hard-collinear core to the collinear collar, and (iii) the verification that this map is an equivalence through the chosen power accuracy. These additions will be kept separate from the analytic QCD inputs required to establish the collar, preserving the formal implication structure of the original argument. revision: yes

  2. Referee: §4 (finite check relating MSbar and DIS presentations): the manuscript mentions a finite check but does not exhibit the explicit kernel or matrix relating the two presentations at the level of the interface algebra; this check is load-bearing for demonstrating that the comparison map is indeed an equivalence at the chosen power accuracy.

    Authors: We accept that the finite check is described only at a summary level and that the explicit kernel/matrix is needed to make the equivalence concrete. In the revised §4 we will display the explicit finite-scheme transformation kernel at the interface algebra together with the matrix elements that relate the MSbar and DIS presentations at next-to-leading power. This will furnish a direct, low-order illustration that the comparison map is an equivalence at the working accuracy. revision: yes

Circularity Check

0 steps flagged

No significant circularity; formal implication explicitly separated from analytic construction obligations

full rationale

The paper's derivation chain constructs a typed filtered structure packaging leading-region analysis, overlap subtraction, Wilson-line reduction and finite scheme kernels, then defines the balanced hard-collinear core as the central carrier. It states that the hard QCD input is the scheme-balanced comparison map to the collinear collar, after which the standard DIS convolution formula follows formally once equivalence at chosen power accuracy and descent to convolution are granted. The abstract and description explicitly separate this formal implication from the analytic QCD obligations needed to construct the collar equivalence itself, and present the work as proof infrastructure supplying diagnostics rather than a new calculation of coefficient functions. No equation reduces a claimed prediction to a fitted input by construction, no self-citation is invoked as load-bearing uniqueness, and no known result is merely renamed. The chain therefore remains self-contained against the external benchmarks of standard DIS factorization once the separated analytic obligations are accepted.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on standard QCD factorization assumptions plus new algebraic packaging whose independent support is not shown in the abstract.

axioms (2)
  • domain assumption Leading-region analysis, overlap subtraction, and Wilson-line reduction can be packaged into a typed filtered structure on a compactified space of asymptotic regimes.
    Invoked as the central carrier of the proof object.
  • domain assumption A scheme-balanced comparison map from the hard-collinear core to the collinear collar exists and can be shown to be an equivalence at finite power accuracy.
    Required for the formal descent to the convolution formula.
invented entities (1)
  • stratified factorization algebras no independent evidence
    purpose: To serve as the typed, filtered structure that unifies asymptotic reconstruction and scheme invariance.
    New organizational concept introduced to package the factorization workflow.

pith-pipeline@v0.9.0 · 5770 in / 1556 out tokens · 63358 ms · 2026-05-20T16:09:41.865079+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · 10 internal anchors

  1. [1]

    Libby and G.F

    S.B. Libby and G.F. Sterman,Jet and lepton-pair production in high-energy lepton-hadron and hadron-hadron scattering,Phys. Rev. D18(1978) 3252

    work page 1978

  2. [2]

    Libby and G.F

    S.B. Libby and G.F. Sterman,Mass divergences in two-particle inelastic scattering,Phys. Rev. D18(1978) 4737

    work page 1978

  3. [3]

    Factorization of Hard Processes in QCD

    J.C. Collins, D.E. Soper and G.F. Sterman,Factorization of hard processes in qcd,Adv. Ser. Direct. High Energy Phys.5(1989) 1 [hep-ph/0409313]

    work page internal anchor Pith review Pith/arXiv arXiv 1989

  4. [4]

    Collins, D.E

    J.C. Collins, D.E. Soper and G.F. Sterman,Factorization of hard processes in qcd, 2004

    work page 2004

  5. [5]

    Collins,Foundations of Perturbative QCD, Cambridge Monographs on Particle Physics, Nuclear Physics and Cosmology, Cambridge University Press (2011), 10.1017/CBO9780511975592

    J.C. Collins,Foundations of Perturbative QCD, Cambridge Monographs on Particle Physics, Nuclear Physics and Cosmology, Cambridge University Press (2011), 10.1017/CBO9780511975592. – 38 –

    work page doi:10.1017/cbo9780511975592 2011

  6. [6]

    Sterman,An Introduction to Quantum Field Theory, Cambridge University Press (1993)

    G.F. Sterman,An Introduction to Quantum Field Theory, Cambridge University Press (1993)

    work page 1993

  7. [7]

    Hepp,Proof of the bogoliubov-parasiuk theorem on renormalization,Commun

    K. Hepp,Proof of the bogoliubov-parasiuk theorem on renormalization,Commun. Math. Phys.2(1966) 301

    work page 1966

  8. [8]

    Speer,Ultraviolet and infrared singularity structure of generic feynman amplitudes, Ann

    E.R. Speer,Ultraviolet and infrared singularity structure of generic feynman amplitudes, Ann. Inst. H. Poincare A23(1975) 1

    work page 1975

  9. [9]

    Asymptotic expansion of Feynman integrals near threshold

    M. Beneke and V.A. Smirnov,Asymptotic expansion of feynman integrals near threshold, Nucl. Phys. B522(1998) 321 [hep-ph/9711391]

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  10. [10]

    Smirnov,Applied Asymptotic Expansions in Momenta and Masses, Springer, Berlin (2002), 10.1007/3-540-44574-9

    V.A. Smirnov,Applied Asymptotic Expansions in Momenta and Masses, Springer, Berlin (2002), 10.1007/3-540-44574-9

    work page doi:10.1007/3-540-44574-9 2002

  11. [11]

    Collins and D.E

    J.C. Collins and D.E. Soper,Parton distribution and decay functions,Nucl. Phys. B194 (1982) 445

    work page 1982

  12. [12]

    Wilson,Non-lagrangian models of current algebra,Phys

    K.G. Wilson,Non-lagrangian models of current algebra,Phys. Rev.179(1969) 1499

    work page 1969

  13. [13]

    Gross and F

    D.J. Gross and F. Wilczek,Asymptotically free gauge theories. 2,Phys. Rev. D9(1974) 980

    work page 1974

  14. [14]

    Georgi and H.D

    H. Georgi and H.D. Politzer,Freedom at moderate energies: Masses and duality in the parton model,Phys. Rev. D14(1976) 1829

    work page 1976

  15. [15]

    Gribov and L.N

    V.N. Gribov and L.N. Lipatov,Deep inelastic e p scattering in perturbation theory,Sov. J. Nucl. Phys.15(1972) 438

    work page 1972

  16. [16]

    Altarelli and G

    G. Altarelli and G. Parisi,Asymptotic freedom in parton language,Nucl. Phys. B126(1977) 298

    work page 1977

  17. [17]

    Dokshitzer,Calculation of the structure functions for deep inelastic scattering and e+e- annihilation by perturbation theory in quantum chromodynamics,Sov

    Y.L. Dokshitzer,Calculation of the structure functions for deep inelastic scattering and e+e- annihilation by perturbation theory in quantum chromodynamics,Sov. Phys. JETP46(1977) 641

    work page 1977

  18. [18]

    Curci, W

    G. Curci, W. Furmanski and R. Petronzio,Evolution of parton densities beyond leading order: The nonsinglet case,Nucl. Phys. B175(1980) 27

    work page 1980

  19. [19]

    Summing Sudakov logarithms in B -> X_s + gamma in effective field theory

    C.W. Bauer, S. Fleming and M.E. Luke,Summing sudakov logarithms in b→x sγin effective field theory,Phys. Rev. D63(2000) 014006 [hep-ph/0005275]

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  20. [20]

    An effective field theory for collinear and soft gluons: heavy to light decays

    C.W. Bauer, S. Fleming, D. Pirjol and I.W. Stewart,An effective field theory for collinear and soft gluons: Heavy to light decays,Phys. Rev. D63(2001) 114020 [hep-ph/0011336]

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  21. [21]

    Soft-Collinear Factorization in Effective Field Theory

    C.W. Bauer, D. Pirjol and I.W. Stewart,Soft-collinear factorization in effective field theory, Phys. Rev. D65(2002) 054022 [hep-ph/0109045]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  22. [22]

    Neural Network Parametrization of Deep-Inelastic Structure Functions

    S. Forte, L. Garrido, J.I. Latorre and A. Piccione,Neural network parametrization of deep-inelastic structure functions,JHEP05(2002) 062 [hep-ph/0204232]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  23. [23]

    Neural network determination of parton distributions: the nonsinglet case

    L. Del Debbio, S. Forte, J.I. Latorre, A. Piccione and J. Rojo,Neural network determination of parton distributions: The nonsinglet case,JHEP03(2007) 039 [hep-ph/0701127]. [24]NNPDFcollaboration,A determination of parton distributions with faithful uncertainty estimation,Nucl. Phys. B809(2009) 1 [0808.1231]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  24. [24]

    Carrazza and J.M

    S. Carrazza and J.M. Cruz-Martinez,Towards a new generation of parton densities with deep learning models,Eur. Phys. J. C79(2019) 676 [1907.05075]. [26]NNPDFcollaboration,The path to proton structure at one-percent accuracy,Eur. Phys. J. C82(2022) 428 [2109.02653]. – 39 –

    work page arXiv 2019

  25. [25]

    Gavranovic, P

    B. Gavranovic, P. Lessard, A. Dudzik, T. von Glehn, J.G.M. Araujo and P. Velickovic, Position: Categorical deep learning is an algebraic theory of all architectures, inProceedings of the 41st International Conference on Machine Learning, vol. 235 ofProceedings of Machine Learning Research, pp. 15138–15149, 2024, DOI [2402.15332]

    work page arXiv 2024

  26. [26]

    Costello and O

    K. Costello and O. Gwilliam,Factorization Algebras in Quantum Field Theory. Volume 1, Cambridge University Press (2017), 10.1017/9781316678626

    work page doi:10.1017/9781316678626 2017

  27. [27]

    Costello and O

    K. Costello and O. Gwilliam,Factorization Algebras in Quantum Field Theory. Volume 2, Cambridge University Press (2021), 10.1017/9781316678664

    work page doi:10.1017/9781316678664 2021

  28. [28]

    Kashiwara and P

    M. Kashiwara and P. Schapira,Sheaves on Manifolds, Springer, Berlin (1990), 10.1007/978-3-662-02661-8

    work page doi:10.1007/978-3-662-02661-8 1990

  29. [29]

    Goresky and R

    M. Goresky and R. MacPherson,Stratified Morse Theory, Springer, Berlin (1988), 10.1007/978-3-642-71714-7

    work page doi:10.1007/978-3-642-71714-7 1988

  30. [30]

    Factorization homology of stratified spaces

    D. Ayala, J. Francis and H.L. Tanaka,Factorization homology of stratified spaces,Selecta Math.23(2017) 293 [1409.0848]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  31. [31]

    Beilinson and V

    A. Beilinson and V. Drinfeld,Chiral Algebras, American Mathematical Society (2004)

    work page 2004

  32. [32]

    Keller,A core representation theorem for scheme-invariant collinear factorization in qcd,

    D. Keller,A core representation theorem for scheme-invariant collinear factorization in qcd,

    work page

  33. [33]

    10.48550/arXiv.2604.13439

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2604.13439

  34. [34]

    Treves,Topological Vector Spaces, Distributions and Kernels, Academic Press, New York (1967)

    F. Treves,Topological Vector Spaces, Distributions and Kernels, Academic Press, New York (1967)

    work page 1967

  35. [35]

    H¨ ormander,The Analysis of Linear Partial Differential Operators I, Springer, Berlin (1983), 10.1007/978-3-642-96790-4

    L. H¨ ormander,The Analysis of Linear Partial Differential Operators I, Springer, Berlin (1983), 10.1007/978-3-642-96790-4

    work page doi:10.1007/978-3-642-96790-4 1983

  36. [36]

    High-Energy Factorization and Small-X Deep Inelastic Scattering Beyond Leading Order

    S. Catani and F. Hautmann,High-energy factorization and small-x deep inelastic scattering beyond leading order,Nucl. Phys. B427(1994) 475 [hep-ph/9405388]

    work page internal anchor Pith review Pith/arXiv arXiv 1994

  37. [37]

    Forte and S

    S. Forte and S. Carrazza,Parton distribution functions,arXiv e-prints(2020) arXiv:2008.12305 [2008.12305]

    work page arXiv 2020

  38. [38]

    de Moura and S

    L. de Moura and S. Ullrich,The lean 4 theorem prover and programming language, in Automated Deduction – CADE 28, vol. 12699 ofLecture Notes in Computer Science, pp. 625–635, Springer, 2021, DOI

    work page 2021

  39. [39]

    367–381, Association for Computing Machinery, 2020, DOI

    The mathlib Community,The lean mathematical library, inProceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 367–381, Association for Computing Machinery, 2020, DOI. A Homotopy-coherent and type-theoretic refinement The main text uses an ordinary coequalizer because that is the clearest finite-accuracy model for...

    work page 2020

  40. [40]

    cokernels definingπ ≤N in a filtered abelian or quasi-abelian category

    work page

  41. [41]

    coequalizers and relative tensor products in a symmetric monoidal category rather than quotient types of sets

    work page

  42. [42]

    completed tensor products and strict quotients in the analytic targetV an

    work page

  43. [43]

    constructible factorization algebras on conically stratified spaces

    work page

  44. [44]

    Thus the Lean model verifies the formal core, not the analytic QCD realization

    the QCD proof that Φ Core coll is anN-equivalence. Thus the Lean model verifies the formal core, not the analytic QCD realization. A full proof-assistant development would replace the type-level quotient by categorical coequal- izers, replace explicit truncated types by cokernel-defined truncations, and then add the geometric and analytic hypotheses requi...

    work page