{"id":"75020398-ef23-498e-ba77-d6d34b15577c","arxiv_id":"2411.15047","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Full next-to-eikonal quark and gluon propagators in a dynamical gluon background are derived, and forward quark and gluon production cross sections are computed for quark-nucleus and gluon-nucleus scattering.","lead":"High-energy collisions with nuclei are usually described by treating the target as a frozen, infinitely thin sheet; this paper derives the next level of correction, where the target's finite size, slow internal motion, and quark exchange effects are included. It then computes four forward particle-production cross sections, giving the Color Glass Condensate framework a systematic toolkit for finite-energy effects.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The full-NEik gluon propagator depends on unproven decorated-Wilson-line identities (64)–(66); a sign or factor error there would invalidate the compact results and all derived cross sections.","rationale":"The reader's weakest assumption focused on the power-counting and the z- gradient expansion. That is certainly a legitimate source of risk, but the most concrete, checkable soft spot in the central claim is the unchecked reorganization of the explicit NEik contributions into the compact decorated-Wilson-line form. Equations (64)-(66) are the bridge between the explicit field-theory insertions and the final expressions for the before-to-after gluon propagator; every subsequently derived cross section uses this bridge. Because the identities involve delicate signs and path-ordering, and because the paper does not demonstrate them or provide an independent cross-check, I do not see how the full-NEik claim can be accepted without this verification. The concern does not change the reader's CONDITIONAL verdict; it sharpens the condition under which the paper would be correct. Hence UNCHANGED, with agreement assessed as partial because the reader's stated weakest assumption is related but not identical to the one raised here.","tokens_in":58732,"tokens_out":50509,"duration_ms":476878,"concrete_test":"Verify Eq. (64) by expanding both sides to first order in the background field for a generic non-Abelian configuration with A_j = 0. On the left, U_1 (∂_j U_2) - (∂_j U_1) U_2 = -ig U_1 U_2 [∫_{-L/2}^{z+} - ∫_{z+}^{L/2}] ∂_j A_-(z') dz'. On the right, -2 ∫ z+ U_1[-ig F_{-j}(z+)] U_2 = 2ig U_1 U_2 ∫ z+ ∂_j A_-(z+) dz+ (since F_{-j} = -∂_j A_-). After integrating over z+, both sides are proportional to -2ig ∫ z+ ∂_j A_-(z+) dz+ if the identity holds. Choose a nontrivial profile, e.g., A_-(z+, z) = f(z+) g(z), and compare the coefficients. If the identity fails at this order, the compact NEik propagator and the derived cross sections are incorrect; if it passes, extend the check to second order to validate Eq. (65).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is Eq. (55), together with Eqs. (68) and (69), as the complete before-to-after gluon propagator at NEik accuracy. The derivation from the explicit pieces (42), (47), (52), and (54) relies on rewriting the transverse covariant-derivative operators acting on Wilson lines into the three decorated Wilson lines U^(1), U^(2), U^(3) defined in Eqs. (64)–(66). These identities are nontrivial: they convert a sum of single and double A-perp insertions, plus finite-width corrections, into local field-strength insertions F_{-j} and F_{ij} carrying specific weights in z+ (a factor of z+ in Eq. (64), and a double integral with (z+ - z'+) in Eq. (65)). The paper states these identities without proof, referring to the quark analogue in Ref. [41], and does not display the cancellation of endpoint A_j terms that relies on the boundary condition (63). A single sign error or a missing factor in Eq. (64) or (65) would alter the S-matrix element (87) and hence the NEik cross sections (119), (136), (151), and (161). No independent verification, whether analytic, numerical, or machine-checked, is provided. This is the most load-bearing unchecked step in the argument.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives the full next-to-eikonal (NEik) corrections to the before-to-after gluon propagator in a dynamical gluon background, beyond both the shockwave and static limits, and compiles the before-to-inside, inside-to-inside, and inside-to-after quark and gluon propagators. These building blocks are then used to compute partonic forward single-inclusive cross sections for gluon production in gluon-nucleus scattering (Eq. (119)), quark production in quark-nucleus scattering (Eq. (136)), gluon production in quark-nucleus scattering (Eq. (151)), and quark production in gluon-nucleus scattering (Eq. (161)), including contributions from t-channel quark exchanges. The central claimed result is the compact before-to-after gluon propagator of Eqs. (55), (68), and (69), expressed through decorated Wilson lines.","tokens_in":58961,"tokens_out":6264,"duration_ms":66950,"significance":"If the derivation is correct, the paper provides a complete and systematic set of NEik parton propagators and cross sections that can serve as building blocks for higher-accuracy CGC phenomenology. The derivations are detailed, the algebra is organized, and the results are parameter-free in the sense of containing no fitted constants; the final cross sections are explicit operator expressions that can in principle be tested or evolved. The main uncertainties are concentrated in a few algebraic identities and power-counting steps rather than in the overall framework.","major_comments":[{"comment":"The compact NEik gluon propagator rests on the identities that rewrite sums of A_perp insertions and finite-width corrections as the decorated Wilson lines U^(1), U^(2), and U^(3). These identities are stated without proof, with only a reference to a quark analogue in Ref. [41]. Since a sign or factor error in Eq. (64) or Eq. (65) would propagate directly into the S-matrix element (87) and into all four final cross sections (119), (136), (151), and (161), this is a load-bearing step. Please provide the derivation, or at least an appendix containing the complete algebra, including the cancellation of the endpoint A_j terms that relies on the boundary condition (63).","section":"Section II.C, Eqs. (64)–(66)"},{"comment":"The evaluation of the p_n^+ and z_n^- integrals discards the cross terms with θ(q^+)θ(−k^+) and θ(−q^+)θ(k^+), stating that they correspond to zero modes with q^+ = k^+ = 0 and are not relevant for the eikonal expansion. This step is not demonstrated within the stated power counting. The final cross sections contain both δ(q^+−k^+) and δ'(q^+−k^+) terms, so even a subleading contribution from q^+ k^+ < 0 could alter the coefficient of the derivative-of-delta terms in Eqs. (120) and (137). Please quantify the suppression of these cross terms or provide an explicit argument that they are beyond NEik accuracy.","section":"Section II.A, Eqs. (27)–(28)"},{"comment":"The manuscript replaces the finite target width L^+ by ±∞ in the decorated Wilson lines and Wilson-line endpoints, asserting that faster-than-power decay of the background makes L^+ redundant. However, the finite width L^+ is used earlier to assign the NEik order of A_perp insertions and of the beyond-shockwave corrections. The equivalence requires that boundary terms at x^+ = ±L^+/2 cancel, but the identities (64) and (65) contain explicit endpoint contributions whose cancellation is not shown. Please justify the infinite-width replacement more rigorously, or retain finite integration limits and display the L^+-dependent terms that are dropped at the claimed accuracy.","section":"Section II.C, after Eq. (66)"},{"comment":"The identity (2k^+)(2q^+)/(q^+ + k^+)^2 = 1 + NNEik is justified by saying that q^+−k^+ is the conjugate of r^−, but q^+−k^+ is not parametrically small in the NEik power counting; the final expressions retain δ(q^+−k^+) and δ'(q^+−k^+) dependence, so q^+−k^+ offsets are not uniformly suppressed. Please clarify the precise sense in which the square term is NNEik, or derive the cross section without this step, since this affects the normalization of the NEik terms in Eqs. (119) and (120).","section":"Section IV.A, Eq. (95)"}],"minor_comments":[{"comment":"There is an evident typo in the displayed argument of the second Wilson line: “z′+, −L+/2” appears where a consistent integration variable should appear, and the notation “− −L+/2” should be cleaned up.","section":"Eq. (64)"},{"comment":"The argument “F^−_j(z+ z, z−)” is missing a comma and should read “F^−_j(z^+, z, z^−)” or similar; please make the z^+ dependence explicit.","section":"Eq. (65)"},{"comment":"The displayed inside-to-inside gluon propagator looks unbalanced: the instantaneous term is multiplied by one transverse projector and the Wilson-line term by another, but the closing parenthesis suggests a different grouping. Please check and correct the tensor structure, since this expression is quoted as input in Section V.B.","section":"Eq. (84)"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this is a serious, technically careful paper that gives the CGC community the full next-to-eikonal gluon propagator and four forward production cross sections. It is not a reorganization of known results; the before-to-after gluon propagator with beyond-static/shockwave and transverse-field insertions is genuinely new, as are the inside-type propagators and the cross sections. The paper is honest about what it cites and what it derives.\n\nWhat it does well: the organization is clear, the heavy algebra is deferred to appendices, and the four production channels are presented systematically. The derivation is consistent enough on a long read that I don't see an obvious contradiction. It also correctly identifies the F12 term as the gluon analogue of the quark helicity-coupling term, which is a useful physical marker.\n\nThe main thing I'd want a referee to nail down is the compact rewriting in Eqs. (64)–(66). The step from the explicit derivatives in (56)–(57) to the decorated Wilson lines is asserted rather than shown; a sign or weight error there would change the cross sections. The earlier derivation from (42)–(54) is long, and the paper relies on the z- gradient expansion and the neglect of q+ k+ < 0 zero modes, justified by prior work rather than re-derived. None of these is a visible fatal flaw, but they are exactly the spots where a factor of two or a sign could hide. The L+ → ∞ replacement is argued from the faster-than-power decay of the background field; that seems reasonable.\n\nI did not find the sign and notation inconsistencies that worry the reader; the few typos I noticed look cosmetic. The paper is a reference work for people computing NEik CGC observables—dijets, SIDIS, TMD connections—and those people will want it on the shelf. It is not a paper to skim.\n\nRecommendation: send it to peer review. A competent referee should spend time checking (64)–(66) and spot-checking the trace algebra in the cross sections. It deserves a serious review, not a desk reject.","headline":"Genuine next step in the CGC NEik program—new gluon propagators and four forward cross sections, with the compact Wilson-line rewriting the main thing a referee should verify.","tokens_in":59526,"tokens_out":2675,"would_cite":true,"duration_ms":29805,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper derives the full next-to-eikonal gluon propagator in a boosted gluon background and the resulting forward gluon and quark production cross sections in all parton-nucleus channels.","keywords":["next-to-eikonal corrections","color glass condensate","gluon propagator","quark propagator","forward particle production","decorated Wilson lines","hybrid factorization","dynamical background field"],"falsifier":"A concrete test is to carry the same before-to-after propagator expansion to next-to-next-to-eikonal order while keeping the discarded $q^+ k^+ < 0$ zero-mode cross terms (Sec. II, around Eq. (28)): if those sectors generate any contribution of order $1/\\gamma_t$ to the $\\delta'(q^+ - k^+)$ terms of Eqs. (120) and (137), the reported cross sections are incomplete. A second self-contained check is to verify that the full NEik gluon propagator of Eq. (55) satisfies the QCD Ward identity order by order in $1/\\gamma_t$, which would fail if the decorated-Wilson-line terms were assembled inconsistently.","tokens_in":58503,"feed_emoji":"⚛️","tokens_out":12060,"duration_ms":100590,"temperature":0.7,"pith_summary":"This paper completes the program of next-to-eikonal (NEik) corrections in the color glass condensate for forward parton-nucleus scattering: it derives the full NEik gluon propagator through a highly boosted, dynamical gluon background, collects the companion quark and gluon propagators with endpoints inside the target, and writes down single-inclusive gluon and quark production cross sections at forward rapidity in all four parton-nucleus channels. The central claim is that these formulas constitute the complete set of building blocks for computing high-energy scattering observables beyond the eikonal approximation, organized systematically in the inverse boost parameter $1/\\gamma_t$. If the claim is right, the standard leading-power hybrid-factorization results can now be upgraded to the first subleading power, with the finite-energy effects encoded in explicit decorated Wilson lines that wait for modeling and evolution. The authors deliberately stop at partonic level, leaving the convolution with parton distributions and fragmentation functions, and the numerical evaluation of the new operators, for later work.","feed_headline":"Forward parton-nucleus cross sections now at next-to-eikonal order","feed_subtitle":"These finite-energy corrections are needed to describe forward particle production data from RHIC and the LHC.","key_machinery":"The carrying objects are the decorated Wilson lines of Eqs. (64)-(66): $U^{(1)}$ inserts a pair of transverse covariant derivatives acting in opposite directions on the two Wilson-line factors, $U^{(2)}$ inserts two covariant derivatives acting in the same direction, and $U^{(3)}$ inserts a background field-strength tensor $F_{ij}$. They convert the brute-force NEik propagator corrections into gauge-covariant operators, and every resulting cross section is an expectation value of products of these operators with ordinary Wilson lines at separated transverse positions. Two approximations carry the derivation: the gradient expansion in the minus coordinate $z^-$ around a common value, which treats the target's slow time dependence as a $1/\\gamma_t$ effect beyond the static limit, and a power counting in which the finite target width $L^+ \\sim 1/\\gamma_t$ and the unenhanced transverse fields $A_\\perp \\sim (\\gamma_t)^0$ supply the suppression that makes a subleading-looking object count as NEik. For the quark-background sector, the same counting is applied through the enhanced 'good' component $\\Psi^{(-)} \\sim (\\gamma_t)^{1/2}$ of the target quark field, which is the only quark-field component that contributes at NEik order.","core_discovery":"On its own terms, the paper establishes a closed expression for the before-to-after gluon propagator at full NEik accuracy: Eq. (55) sums the generalized-eikonal propagator with slow $z^-$ dependence (Eq. (38)) and two correction terms (Eqs. (68) and (69)) written through decorated Wilson lines, which are integrals over the target's longitudinal extent of Wilson lines with covariant-derivative or field-strength insertions. These corrections collect the three sources of $1/\\gamma_t$ suppression in a boosted target: transverse motion and finite width beyond the shockwave limit, non-static $z^-$-dependent fields beyond the static limit, and insertions of the transverse components $A_\\perp$ of the background field. The paper also supplies the before-to-inside, inside-to-inside, and inside-to-after quark and gluon propagators at (generalized) eikonal order, which enter observables only at NEik order because one or both endpoints sit inside the target, and it adds the contributions from t-channel quark exchange with a quark background field. Assembling these pieces gives the forward gluon production cross sections in gluon-nucleus (Eq. (119)) and quark-nucleus (Eq. (151)) scattering and the forward quark production cross sections in quark-nucleus (Eq. (136)) and gluon-nucleus (Eq. (161)) scattering at NEik accuracy, with the beyond-static effects appearing as $\\delta'(q^+ - k^+)$ terms that encode longitudinal momentum transfer from the target.","pith_inferences":["The decorated-Wilson-line operators, not the individual cross sections, are likely the durable output: any future NEik calculation of dijets, jets+photon, or SIDIS will probably reorganize into the same $U^{(1)}, U^{(2)}, U^{(3)}$ structures, so building their evolution equations first would let several observables be computed at once.","Because the quark-background channels enter through the enhanced component $\\Psi^{(-)}$ of the target quark field, the $q \\to g$ and $g \\to q$ cross sections give a direct route to quark TMDs of nuclei from CGC-type calculations; taking the back-to-back limit of these cross sections and matching to TMD factorization would test that connection explicitly.","A cheap consistency check is available before any new modeling: setting $q^+ = k^+$ in Eqs. (119) and (136) should reproduce the standard dipole cross sections, and the $\\delta'$ terms should act as derivatives of those dipole expressions with respect to $k^+$; existing dipole-model fits could test this immediately.","The beyond-static and beyond-shockwave corrections are both $1/\\gamma_t$ effects but enter with different signatures — $\\delta'$ terms versus integrals over $z^+$ — so a measurement of the $q^+$ dependence of forward production might separate the two classes of corrections experimentally."],"forward_implications":["The four NEik cross sections (Eqs. (119), (136), (151), (161)) give the first complete set of forward single-inclusive parton-nucleus results beyond the eikonal approximation, covering both gluon and quark projectiles and targets.","The $\\delta'(q^+ - k^+)$ terms mean the target can exchange longitudinal momentum with the projectile; at hadron level the partonic cross sections must be folded with $k^+$-dependent parton densities rather than evaluated at $q^+ = k^+$, which changes how forward RHIC and LHC data would be interpreted.","The decorated Wilson lines $U^{(1)}, U^{(2)}, U^{(3)}$ become the objects that any NEik computation must supply with small-$x$ evolution and a phenomenological model, a step the paper explicitly leaves open.","The before-to-inside, inside-to-inside, and inside-to-after propagators are reusable building blocks; the paper names forward dijet production in pA collisions, SIDIS at NEik order, and photon+jet production as immediate applications."],"supporting_citations":[{"why":"First derivation of the NEik corrections to the gluon propagator beyond the shockwave (finite-width) limit, which this paper rederives more systematically; the paper states those corrections were first computed here.","marker":"[34]"},{"why":"Supplies the NEik quark propagator from interactions with $A_\\perp$ and finite width, and the earlier gluon-background quark production cross section that this paper extends beyond the static limit; the gluon-background part of Eq. (122) is quoted from this work.","marker":"[41]"},{"why":"Develops the gradient expansion in $z^-$ beyond the static limit for scalar and quark propagators, including the master integrals (Appendix D) reused here; the generalized-eikonal formalism with $z^-$-dependent Wilson lines is taken from this work.","marker":"[43]"},{"why":"Provides the before-to-after quark propagator at full NEik accuracy and the inside-to-after quark propagator, and defines the method for computing cross sections from $z^-$-dependent scattering amplitudes (Appendix B) used throughout this paper.","marker":"[44]"},{"why":"Establishes the t-channel quark-exchange mechanism with a quark background field for NEik DIS dijets, the approach the paper adapts to single-inclusive forward production.","marker":"[46]"}],"fun_headline_variants":["Next-to-eikonal corrections for forward parton-nucleus scattering","Full next-to-eikonal gluon propagator in CGC now derived","Forward particle production at next-to-eikonal order in CGC","Next-to-eikonal CGC: quark and gluon cross sections at forward rapidities","Closed gluon propagator at next-to-eikonal accuracy in CGC"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The ordering of the whole calculation rests on a prescribed boost hierarchy — the target's $A^-$ component grows with the boost while transverse components stay fixed and the $+$ component shrinks, and the slow $z^-$ dependence of the fields can be captured by a gradient expansion around one common value — together with the assumption that zero-mode cross terms with $q^+ k^+ < 0$ can be discarded and that the finite target width $L^+$ is the only source of $1/\\gamma_t$ suppression. If a physical target violates this hierarchy, or the gradient expansion is not controlled, the claimed NEik cross sections — in particular the $\\delta'(q^+ - k^+)$ terms of Eqs. (120) and (137) — would be incomplete or misordered.","fun_headline_variants_meta":{"raw":{"variants":["Next-to-eikonal corrections for forward parton-nucleus scattering","Full next-to-eikonal gluon propagator in CGC now derived","Forward particle production at next-to-eikonal order in CGC","Next-to-eikonal CGC: quark and gluon cross sections at forward rapidities","Closed gluon propagator at next-to-eikonal accuracy in CGC"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0009,"raw_usage":{"total_tokens":3908,"prompt_tokens":1014,"completion_tokens":2894,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":630,"completion_tokens_details":{"reasoning_tokens":2793}},"tokens_in":630,"tokens_out":2894,"duration_ms":17176,"temperature":1.0,"reasoning_tokens":2793,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:33:17.429507+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test is to carry the same before-to-after propagator expansion to next-to-next-to-eikonal order while keeping the discarded $q^+ k^+ < 0$ zero-mode cross terms (Sec. II, around Eq. (28)): if those sectors generate any contribution of order $1/\\gamma_t$ to the $\\delta'(q^+ - k^+)$ terms of Eqs. (120) and (137), the reported cross sections are incomplete. A second self-contained check is to verify that the full NEik gluon propagator of Eq. (55) satisfies the QCD Ward identity order by order in $1/\\gamma_t$, which would fail if the decorated-Wilson-line terms were assembled inconsistently.","supporting_citations":[],"review_version":1}