pith. machine review for the scientific record. sign in

arxiv: 2603.30000 · v2 · submitted 2026-03-31 · ✦ hep-ph · hep-th· nucl-th

Recognition: 2 theorem links

· Lean Theorem

From Sub-eikonal DIS to Quark Distributions and their High-Energy Evolution

Giovanni Antonio Chirilli
Authors on Pith no claims yet

Pith reviewed 2026-05-13 22:42 UTC · model grok-4.3

classification ✦ hep-ph hep-thnucl-th
keywords sub-eikonal DISquark distributionshigh-energy evolutionlight-cone operatorsshock-wave formalismTMD operatorsdipole operatorsBjorken x
0
0 comments X

The pith

The first sub-eikonal correction in deep inelastic scattering is governed by a quark TMD-like light-ray operator that reconstructs standard nonlocal quark distributions in the inclusive limit.

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

This paper shows how the high-energy dipole description of deep-inelastic scattering connects to the standard light-cone operator formulation at finite Bjorken x_B. The connection appears already at the first sub-eikonal order, where a TMD-like light-ray operator controls the differential cross section. Upon full phase-space integration in the inclusive case, this operator yields the usual nonlocal quark and helicity distributions. The same content is recovered from the high-energy limit of the leading-twist operator product expansion. The analysis continues with the high-energy evolution of these operators at x_B equal to zero, rewritten in a dipole basis that highlights small-size behavior.

Core claim

The connection between the shock-wave formalism and the non-local light-cone expansion emerges at the first sub-eikonal order in DIS. At the differential level the correction is governed by a quark TMD-like light-ray operator. After complete phase-space integration the inclusive limit reconstructs the standard nonlocal quark and helicity distributions at nonzero x_B. Independently, the high-energy limit of the leading-twist nonlocal operator product expansion produces the same operator content, establishing an explicit operator-level bridge. The high-energy evolution of the corresponding operators at x_B=0 is rewritten in dipole-type combinations whose bilocal building blocks vanish at zero

What carries the argument

A quark TMD-like light-ray operator that governs the first sub-eikonal correction to DIS and bridges the shock-wave and light-cone formalisms.

If this is right

  • The inclusive quark distributions at nonzero x_B follow directly from the sub-eikonal operator after integration.
  • The high-energy evolution equations can be expressed in a dipole operator basis that makes small-dipole behavior manifest.
  • In the double-logarithmic approximation with independent transverse phase space, the evolution admits mixed longitudinal-transverse Bessel-type solutions.
  • Under longitudinal ordering of the transverse phase space, the evolution yields the fixed-coupling Kirschner-Lipatov exponent with the full finite-N_c color factor C_F.

Where Pith is reading between the lines

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

  • This bridge could enable systematic inclusion of finite-x corrections into small-x resummations for structure functions.
  • The dipole basis for evolution may simplify numerical implementations by automatically suppressing large-dipole contributions.
  • Extensions to higher orders could reveal whether the operator matching holds beyond the first sub-eikonal correction.

Load-bearing premise

That complete phase-space integration of the sub-eikonal TMD-like operator exactly reproduces the standard nonlocal quark distributions without additional corrections from higher orders or operator redefinitions.

What would settle it

A mismatch between the integrated sub-eikonal operator and the known expression for the quark distribution function at a specific nonzero value of x_B would falsify the claimed reconstruction.

read the original abstract

Relating the high-energy dipole description of deep-inelastic scattering to the standard light-ray operator formulation at finite Bjorken $x_B$ is essential for connecting the small-$x$ framework to the usual partonic description. I demonstrate that this connection already emerges at the first sub-eikonal order. At the differential level, the first sub-eikonal correction is governed by a quark TMD-like light-ray operator. In the inclusive limit, after complete phase-space integration, it reconstructs the standard nonlocal quark and helicity distributions at nonzero $x_B$. I then show independently that the same inclusive operator content follows from the high-energy limit of the leading-twist non-local operator product expansion, thereby establishing an explicit operator-level bridge between the shock-wave formalism and the non-local light-cone expansion. I further discuss the high-energy evolution of the corresponding operators at $x_B=0$. Rewriting the evolution equations in terms of dipole-type operator combinations, I identify an operator basis whose bilocal building blocks vanish in the zero-dipole-size limit, making the small-dipole behavior and the leading-logarithmic structure manifest. In the double-logarithmic approximation the evolution equations admit the usual mixed longitudinal-transverse Bessel-type solution when the transverse phase space is treated independently. When the transverse phase space is instead constrained by longitudinal ordering, the second logarithm is converted into a logarithm of energy, and in the symmetric double-logarithmic regime one recovers the fixed-coupling Kirschner-Lipatov exponent with the full finite-$N_c$ color factor $C_F$.

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 / 1 minor

Summary. The manuscript claims to establish an explicit operator-level bridge between the high-energy dipole (shock-wave) formalism for DIS and the standard nonlocal light-cone quark/helicity distributions at finite Bjorken x_B. At the first sub-eikonal order a TMD-like light-ray operator appears; after full phase-space integration in the inclusive limit this operator is asserted to reconstruct the usual nonlocal distributions exactly. An independent derivation of the same inclusive content is obtained from the high-energy limit of the leading-twist nonlocal OPE. The paper further rewrites the x_B=0 evolution equations in a dipole-type operator basis whose bilocal blocks vanish at zero dipole size, and solves them in the double-logarithmic approximation, recovering the usual Bessel solution or the Kirschner-Lipatov exponent (with full finite-N_c C_F factor) depending on the treatment of transverse phase space.

Significance. If the operator identifications and the exact inclusive reconstruction hold, the work supplies a concrete link between small-x resummation techniques and collinear parton distributions, which could allow systematic incorporation of high-energy logarithms into PDF phenomenology. The dipole-basis reformulation that makes small-dipole vanishing manifest is a technically useful step for future evolution studies.

major comments (2)
  1. [Abstract] Abstract: the central claim that complete phase-space integration of the first sub-eikonal TMD-like light-ray operator exactly reconstructs the standard nonlocal quark and helicity distributions at nonzero x_B (without additional operator-matching corrections) is load-bearing but unsupported by any explicit derivation or check in the provided text; this step must be shown in detail to confirm the absence of unstated assumptions.
  2. [Abstract] Abstract: the independent confirmation via the high-energy limit of the leading-twist nonlocal OPE is asserted to yield identical inclusive operator content, yet no intermediate steps or operator expansions are supplied; explicit comparison of the two routes is required to substantiate that they are truly independent and free of circularity.
minor comments (1)
  1. The abstract is compact; a short paragraph defining the precise form of the 'quark TMD-like light-ray operator' and the dipole-type combinations used in the evolution would improve accessibility.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to make the central derivations more explicit. We will revise the manuscript to include additional details and outlines of the calculations supporting the claims in the abstract.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim that complete phase-space integration of the first sub-eikonal TMD-like light-ray operator exactly reconstructs the standard nonlocal quark and helicity distributions at nonzero x_B (without additional operator-matching corrections) is load-bearing but unsupported by any explicit derivation or check in the provided text; this step must be shown in detail to confirm the absence of unstated assumptions.

    Authors: We agree that the abstract statement is concise and would benefit from an explicit outline. The full derivation appears in Section 3, where the transverse-momentum integration is performed step by step on the sub-eikonal light-ray operator, yielding exact cancellation of all correction terms and recovery of the standard nonlocal quark and helicity distributions. In the revision we will add a short paragraph to the abstract summarizing this integration and will insert a forward reference to Section 3. revision: yes

  2. Referee: [Abstract] Abstract: the independent confirmation via the high-energy limit of the leading-twist nonlocal OPE is asserted to yield identical inclusive operator content, yet no intermediate steps or operator expansions are supplied; explicit comparison of the two routes is required to substantiate that they are truly independent and free of circularity.

    Authors: The second route is derived independently in Section 5 by taking the high-energy limit of the leading-twist nonlocal OPE and expanding the resulting operators. Direct term-by-term comparison with the sub-eikonal result is performed there, confirming identical inclusive content. We will expand the abstract with a one-sentence summary of this limit and will add a brief comparative table or paragraph in the main text to make the independence explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The abstract presents two independent routes to the same inclusive operator content—one via explicit reconstruction from the first sub-eikonal TMD-like light-ray operator after full phase-space integration, and the other via the high-energy limit of the leading-twist nonlocal OPE—without any equations or steps that reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations. The derivation chain is asserted to hold at finite x_B through direct operator matching, with no renaming of known results or ansatz smuggling visible in the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based on abstract only; no explicit free parameters, new entities, or ad-hoc axioms are stated. Relies on standard QCD operator techniques.

axioms (2)
  • standard math Leading-twist non-local operator product expansion in QCD
    Invoked to obtain the inclusive operator content independently from the sub-eikonal approach.
  • domain assumption High-energy shock-wave formalism for dipole scattering
    Used as the starting point for the sub-eikonal expansion in DIS.

pith-pipeline@v0.9.0 · 5553 in / 1408 out tokens · 42454 ms · 2026-05-13T22:42:48.650209+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.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Matching collinear factorization with color-glass condensate for inclusive and exclusive deep inelastic scattering

    hep-ph 2026-05 accept novelty 7.0

    Collinear factorization amplitudes exactly reproduce the large-Q² expansion of CGC amplitudes for inclusive DIS, DVCS, and DVMP at the amplitude level.

  2. Sub-eikonal Structure of High-Energy Deep-Inelastic Scattering

    hep-ph 2026-03 unverdicted novelty 7.0

    Sub-eikonal corrections to dipole structure functions F_L, F_T and the g1-related asymmetry are derived in a gauge-invariant dipole operator basis, with F_L shown to be finite and the others logarithmically divergent.