{"id":"c00798d7-427e-43ca-a3fd-402228c36e69","arxiv_id":"2607.20761","paper_version":1,"verdict":"UNVERDICTED","confidence":"HIGH","novelty_score":0.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A pedagogical review consolidates the proton spin decomposition into quark/gluon spin and orbital angular momentum, emphasizing gauge-invariant OAM definitions, small-x cancellations, and EIC observables.","lead":"This paper is a review of how the proton's spin is built from quark and gluon spins and orbital motion. It contrasts two standard decompositions and lays out what the Electron-Ion Collider could measure.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 6's Eq. (55), L_g^can ≈ -[2/(1+b)] ΔG, is not a transparent consequence of the displayed Eq. (56) under the stated small-x assumptions; the BFKL-singular (x'G+E_g) term and the prefactor require an implicit cancellation that the text does not supply.","rationale":"The paper is explicitly a pedagogical review, not a new research claim; the reader's UNVERDICTED verdict is therefore appropriate. Within the review, the most load-bearing technical statement that goes beyond textbook material is the small-x relation (55) in Sec. 6, because it drives the EIC interpretation that a small-x ΔG measurement would imply an overcompensating gluon OAM. The reader flagged this as the weakest assumption, and I agree that the derivation is under-specified. My stress-test sharpens the concern: even accepting the two stated assumptions (genuine twist-three subleading, a<b), the displayed Eq. (56) does not transparently yield the quoted prefactor -2/(1+b) or the cancellation of the BFKL-singular unpolarized term. This is an internal-completeness issue rather than a disagreement with the cited literature. The suggested concrete check—direct substitution of the cited small-x asymptotics into Eq. (56)—would settle whether Eq. (55) is actually a theorem under the stated assumptions. Because the review's overall purpose (surveying decompositions and observability of OAM) does not hinge on this single relation, and because the paper explicitly flags the assumptions, I do not change the verdict; I would only recommend that the published version spell out the cancellation or cite the exact derivation in Boussarie et al. 2019 more carefully. The reader's weakest_assumption is partially overlapping but not identical: the reader focused on whether the assumptions hold; I also question whether the derivation follows even when they do. Hence partial agreement.","tokens_in":16586,"tokens_out":12152,"duration_ms":97850,"concrete_test":"Take the explicit small-x asymptotic forms of G, E_g, and ΔG from the cited literature (e.g., Hatta-Zhou 2022 for E_g; Borden-Kovchegov or Kovchegov-Manley for ΔG), insert them into the full version of Eq. (56) including the genuine twist-three terms from Hatta-Yao 2019, and compute the ratio L_g^can(x)/ΔG(x) as x→0 at fixed Q^2. If the ratio does not approach -2/(1+b) to within, say, 20% (or if the x^{-a} term from x'G+E_g is not explicitly cancelled), then Eq. (55) is not a consequence of the stated assumptions and the review should be revised to present the small-x relation as speculative.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The review's small-x narrative and the EIC expectation that a sizable small-x ΔG entails an overcompensating L_g^can of opposite sign rest on Eq. (55), L_g^can(x) ≈ -[2/(1+b)] ΔG(x). Section 6 derives it from Eq. (56), which displays only the Wandzura-Wilczek part of the twist-three relation, 'assuming that the genuine twist-three part is subleading at small-x' and 'a<b'. This is not self-evident. Substituting G(x) ~ x^{-1-a}, ΔG(x) ~ x^{-b} into Eq. (56), the first integral contributes a term of order x^{-a} (from x'G+E_g) whose cancellation against the second term is not automatic; if a<b, this x^{-a} term is actually more singular than the claimed x^{-b} result unless E_g cancels G at leading power, which the text does not state. Moreover, even in the limit where the first term is subleading, the second term alone gives -x ∫ dx' ΔG(x')/x'^2 ≈ -ΔG(x)/(b+1), not -2ΔG/(b+1); obtaining the quoted factor 2 requires another contribution or a different normalization not shown. The review also admits in Sec. 7 that twist-three observables are only computed at leading order and that GTMD evolution is largely unexplored, so Eq. (55) is presented with less hedging than its derivation supports. This does not invalidate the review's main classification of canonical OAM as a twist-three observable, but it does weaken the specific small-x/EIC message.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This pedagogical review surveys the decomposition of the proton spin into quark helicity, gluon helicity, and quark/gluon orbital angular momentum. It contrasts the Jaffe–Manohar decomposition, whose canonical OAM operators are gauge dependent, with the Belinfante/Ji decomposition built from a symmetric energy-momentum tensor, and presents Hatta's construction of a gauge-invariant completion of the Jaffe–Manohar decomposition via a Wilson-line-defined physical field. The review then connects OAM to Wigner distributions and twist-three distributions, discusses small-x asymptotics of helicity and OAM distributions, and summarizes current proposals for accessing OAM at the EIC. The central technical claim is that canonical OAM is a well-defined, in-principle measurable twist-three observable, with Eq. (21) together with Eq. (23) providing the gauge-invariant completion of the Jaffe–Manohar sum rule.","tokens_in":17004,"tokens_out":5628,"duration_ms":52982,"significance":"If correct, the review provides a useful and largely reliable pedagogical account of a subtle and contested subject. Its treatment of the Ji sum rule, gravitational form factors, and the distinction between canonical and kinetic OAM is standard and clearly presented. The paper also has real strengths: it discusses lattice-QCD checks of the Wilson-line dependence of OAM, cites global fits and small-x resummation work by several groups, and is explicit when a result depends on an assumption. However, the derivation of Eq. (55), which drives the paper's small-x/EIC narrative, is not transparent as written and relies on an unstated cancellation. This is a load-bearing weakness in an otherwise sound review.","major_comments":[{"comment":"The claimed small-x relation L_g^can(x) ≈ -[2/(1+b)] ΔG(x) does not follow from the displayed Eq. (56) under the stated assumptions. Substituting G(x) ~ x^{-1-a}, ΔG(x) ~ x^{-b}, and E_g(x) ~ x^{-a} (as implied by the cited Hatta–Zhou result for E_g) into the first integral of Eq. (56) gives a contribution of order x^{-a}, which is more singular than the claimed x^{-b} result when a<b. The text does not show a cancellation between x'G and E_g at leading power. Moreover, even if the first term is somehow suppressed, the second term alone gives -x ∫_x^1 dx' ΔG(x')/x'^2 ≈ -ΔG(x)/(1+b), not -2ΔG(x)/(1+b). The factor 2 requires an additional contribution or a different normalization that is not shown. Since this relation is the basis for the 'overcompensation' statement and the EIC expectation, please supply the missing derivation or explicitly soften the conclusion.","section":"Section 6, Eq. (55) and Eq. (56)"},{"comment":"The argument assumes that 'the genuine twist-three part is subleading at small-x' and that 'a<b because a∝α_s and b∝√α_s'. The second assumption is only parametric: at fixed, realistic α_s, a and b are numbers, and the inequality is not guaranteed by simple scaling. More importantly, the first assumption is not justified in the text, even though Section 5 emphasizes that OAM is a twist-three observable and Section 7 notes that twist-three evolution is largely unexplored. If genuine twist-three contributions are not suppressed, Eq. (55) may fail even if the algebraic derivation is repaired. The review's small-x/EIC message should therefore either be backed by an explicit small-x analysis of the twist-three terms or be presented as a conjecture.","section":"Section 6, paragraph before Eq. (55)"}],"minor_comments":[{"comment":"Typo: 'decompotion' should be 'decomposition'.","section":"Key points"},{"comment":"Typo: 'loser look' should be 'closer look'.","section":"Section 4"},{"comment":"The integration limits and the sign function ε(x) are used without a clear definition; for a pedagogical review, a short explanation of how ε(x) acts in the integrals would improve readability.","section":"Section 5, Eq. (47)"},{"comment":"The statement 'a<b because a∝α_s and b∝√α_s' should be worded more carefully; it is not a rigorous inequality at fixed α_s, but rather an asymptotic ordering that holds for sufficiently small α_s.","section":"Section 6"},{"comment":"The discussion of observables is honest about the leading-order status of the calculations, but the abstract's phrase 'connection to experimental observables' could be read too strongly. A sentence clarifying that OAM observables are still at the proposal/leading-order stage would align the abstract with the body.","section":"Section 7"}],"recommendation":"major_revision","confidential_remarks":"The paper is a review by an author who has made central contributions to the subject, and the self-citations are largely appropriate. The main concern is not the review's taxonomy but the unsupported small-x relation in Section 6, which is used to make a concrete EIC prediction. If the derivation can be repaired or the claim appropriately weakened, the manuscript would be suitable for publication as a pedagogical review."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is exactly what it says: a pedagogical review of the Jaffe-Manohar and Ji decompositions, not a research preprint. It does a good job of laying out the gauge-invariant completions, the Wigner-distribution approach to OAM, and the lattice/experimental status. The equations are standard and attributed, and the review flags its own limits—leading-order-only calculations, unexplored GTMD evolution, and the still-poor experimental constraints on the relevant GPDs. If you need one compact reference for the current spin-decomposition landscape, this is usable.\n\nThe soft spot is Section 6. Eq. (55), L_g^can ≈ -2/(1+b) ΔG, does not follow transparently from Eq. (56) under the stated small-x assumptions. Plugging G ~ x^{-1-a} and ΔG ~ x^{-b} into the displayed Wandzura-Wilczek part gives a first term of order x^{-a}; when a<b that is more singular than the claimed x^{-b} result. Getting (55) requires a leading-power cancellation between x'G and E_g, plus a factor 2, and the text never mentions either. The review says \"substituting ... one recovers\" and moves on. That is too quick. The cited original papers may fill the gap, but a reader cannot verify it from this review. This does not kill the review's main point—canonical OAM as a twist-three observable—but it does weaken the specific small-x/EIC overcompensation narrative, which is the most EIC-relevant claim in the paper. Section 7's own admission that the calculations are all leading order and GTMD evolution is largely unexplored makes Eq. (55) look more like a motivated conjecture than a demonstrated consequence.\n\nThe self-citation density is not a problem; the cited work is peer-reviewed and the central formulas have independent lattice and global-fit checks. Minor typos (\"decompotion\", \"loser look\") suggest light proofreading, but nothing worse.\n\nIf this is intended as a review for a volume or journal, it deserves a serious referee, not a desk reject. I would send it out, with a request that the derivation of Eq. (55) be made explicit or properly referenced. I would not cite it in my own work, since the original papers are better sources.","headline":"A competent, clearly written review of proton spin decompositions with no new physics; useful as a reference, but the small-x gluon OAM relation in Section 6 is under-derived and should be fixed before publication.","tokens_in":17444,"tokens_out":4453,"would_cite":false,"duration_ms":42223,"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":"The proton spin can be decomposed into four well-defined, gauge-invariant parts once the gluon's 'physical' field is fixed by a Wilson line, and at small x the gluon orbital angular momentum is predicted to cancel and overcompensate the glu","keywords":["proton spin","orbital angular momentum","Jaffe-Manohar decomposition","Ji decomposition","small-x resummation","twist-three distributions","gluon helicity","gauge invariance"],"falsifier":"Compute the genuine twist-three corrections to L_g^can at small x in the polarized dipole framework, or measure both ΔG(x) and L_g^can(x) at a future electron-ion collider in the same x range and test whether L_g^can ≈ −[2/(1+b)]ΔG; a departure would falsify the assumed dominance of the Wandzura-Wilczek term.","tokens_in":16476,"feed_emoji":"🌀","tokens_out":7790,"duration_ms":68638,"temperature":0.7,"pith_summary":"The paper argues that the four-way partonic decomposition of the proton spin—quark and gluon helicity plus quark and gluon orbital angular momentum—is not just a bookkeeping device. By fixing the 'physical' part of the gluon field through a Wilson-line integral, the Jaffe-Manohar decomposition becomes gauge invariant while remaining tied to the gluon helicity measured in deep inelastic scattering. In this form, the orbital angular momentum distributions are twist-three objects (quantities involving quark-gluon correlations, entering at subleading power in hard scattering) whose small-x behavior is tightly constrained: gluon OAM is predicted to be roughly minus gluon helicity times a factor larger than one. That makes orbital angular momentum a concrete target for the next generation of electron-ion scattering experiments, not a formal artifact.","feed_headline":"Small-x gluon OAM overcompensates gluon spin in the proton","feed_subtitle":"A Wilson-line construction makes parton orbital motion a measurable twist-three quantity for electron-ion colliders.","key_machinery":"The key object is A_phys^μ(y^-, y⊥) = −∫ dw^- θ(w^- − y^-) U_{y w} F^{+μ}(w^-, y⊥), a Wilson-line-dressed projection of the gluon field strength that transforms homogeneously under gauge transformations. Substituting this field into the canonical Jaffe-Manohar operators makes the gluon helicity agree with the standard measured ΔG and fixes the gauge-invariant OAM operators. The small-x prediction then follows from the twist-three OAM distribution formula (56), whose Wandzura-Wilczek part, plus the double-logarithmic behavior ΔG ~ 1/x^b, yields L_g^can ≈ −2/(1+b) ΔG.","core_discovery":"The central claim is that Eq. (21) together with Eq. (23) achieves the gauge-invariant completion of the Jaffe-Manohar decomposition relevant to high-energy QCD spin physics. Choosing A_phys via an integral of F^{+μ} along the light cone (or, equivalently, the standard nonlocal definition of ΔG) uniquely fixes the quark and gluon OAM operators. The resulting canonical OAM is a genuine twist-three observable, with explicit parton distribution definitions and evolution, and at small x it satisfies L_g^can(x) ≈ −[2/(1+b)] ΔG(x), so gluon OAM overcompensates gluon helicity. The Ji decomposition, based on the Belinfante-improved energy-momentum tensor, probes a different, kinetic OAM and remains","pith_inferences":["If the small-x relation survives higher orders, the proton spin problem becomes a fine-tuned cancellation at small x: the collider would need to measure both ΔG and L_g^can in the same x range to see the compensation.","The A_phys choice is anchored to the experimental definition of ΔG; a different choice would produce a different gauge-invariant decomposition, so the 'uniqueness' is definitional rather than purely dynamical.","The same Wigner-distribution technique could define spin-orbit correlations and other phase-space observables, extending the approach beyond the spin sum rule.","If the genuine twist-three part is not suppressed at small x, the relation (55) would be modified; measuring the x-dependence of dijet asymmetries can discriminate."],"forward_implications":["Canonical quark and gluon OAM are as well defined as the measured gluon helicity; they are twist-three parton distributions with known evolution.","At small x, gluon orbital angular momentum is predicted to be roughly −2/(1+b) times gluon helicity, so a sizable measured ΔG implies an even larger OAM of the opposite sign.","A future electron-ion collider can in principle extract OAM from longitudinal double-spin asymmetries in coherent diffractive dijet production and exclusive meson production.","The Ji sum rule and the Jaffe-Manohar sum rule describe different physical quantities; their difference is the torque from final-state interactions."],"fun_headline_variants":["Gluon orbit beats gluon spin at small x","Gauge-invariant gluon OAM from Wilson lines","Small-x gluon OAM surpasses helicity","Proton spin: orbital gluons win at small x","New twist-three gluon OAM measurable at EIC"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The small-x prediction L_g^can ≈ −[2/(1+b)]ΔG stands on two assumptions: the genuine twist-three part of the OAM distribution is subleading at small x, and the polarized small-x exponent b is larger than the unpolarized BFKL exponent a (a<b); if either fails, the cancellation story needs revision.","fun_headline_variants_meta":{"raw":{"variants":["Gluon orbit beats gluon spin at small x","Gauge-invariant gluon OAM from Wilson lines","Small-x gluon OAM surpasses helicity","Proton spin: orbital gluons win at small x","New twist-three gluon OAM measurable at EIC"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00022,"raw_usage":{"total_tokens":1202,"prompt_tokens":583,"completion_tokens":619,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":327,"completion_tokens_details":{"reasoning_tokens":539}},"tokens_in":327,"tokens_out":619,"duration_ms":6897,"temperature":1.0,"reasoning_tokens":539,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T09:26:34.078650+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the genuine twist-three corrections to L_g^can at small x in the polarized dipole framework, or measure both ΔG(x) and L_g^can(x) at a future electron-ion collider in the same x range and test whether L_g^can ≈ −[2/(1+b)]ΔG; a departure would falsify the assumed dominance of the Wandzura-Wilczek term.","supporting_citations":[],"review_version":1}