{"id":"db45e5a6-bdaf-44d2-8a92-096dc51a5508","arxiv_id":"2602.11587","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A complete set of positivity bounds is derived for leading-twist quark and gluon distributions inside spin-3/2 hadrons, extending the Soffer bound.","lead":"Physicists now have the first complete set of positivity constraints for the internal quark and gluon distributions of a spin-3/2 hadron, such as the Delta resonance. These inequalities generalize a well-known rule for protons and give future lattice or model calculations a necessary consistency check.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of positivity bounds hinges on an unproven sufficiency claim; block-diagonal structure likely rescues it, but the paper must show it.","rationale":"The reader's conditional is appropriate. I traced the derivation: the amplitudes in (25)-(27) follow from (22) with the spin density matrix and the 1/2 convention in (24); the PDF definitions (31)-(33) invert those relations consistently including the 1/2 factor; and the inequalities (35) follow algebraically from (34). The only genuine gap is the sufficiency half of 'complete.' The block-diagonal structure supplied in the test would close it. I also note the T-invariance vanishing of h_{1LT} and h_{1LTT} is asserted rather than derived, but if those functions are retained the bounds remain valid, so this is secondary. No ad hominem; the issue is proof presentation.","tokens_in":11155,"tokens_out":42148,"duration_ms":372582,"concrete_test":"Reorder the bases |λ,i⟩ by the conserved quantum number H=λ−i and evaluate the 2×2 blocks (e.g., {|3/2,+⟩,|1/2,−⟩} and {|1/2,+⟩,|−1/2,−⟩}). Verify each block's determinant condition replicates (34b) for quark and (34c) for gluon, and confirm no block larger than 2×2 occurs. If yes, the six (five) inequalities are sufficient; if no, add the missing principal minors.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eq. (34) is asserted to give the complete positivity conditions for the 8×8 helicity amplitude matrix A_{λ'i,λj}, but the paper never proves that the listed diagonal and 2×2 principal-minor inequalities are sufficient for positive semidefiniteness. For a generic sparse Hermitian matrix, nonnegativity of diagonal entries and of some 2×2 principal minors is not enough; larger principal minors can impose additional constraints. Since the 'complete set' claim in the abstract and Summary rests on sufficiency, this is the load-bearing gap. The likely resolution is that helicity conservation λ'−i=λ−j block-diagonalizes A into 1×1 and 2×2 blocks, for which the listed conditions are necessary and sufficient; but this argument is absent. Additionally, the vanishing of h_{1LT} and h_{1LTT} is stated as following from time-reversal, while the text notes the helicity amplitudes are real; this deserves an explicit derivation, though it does not affect the bounds when the terms are retained.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript claims the first complete set of positivity bounds for the leading-twist quark and gluon PDFs of a spin-3/2 hadron. Starting from light-cone correlation functions, the authors express the forward antiparton–hadron scattering amplitude in the tensor-product space of parton and hadron helicities, solve Eq. (22) for the helicity-space amplitude in terms of the PDFs, and impose positive (semi)definiteness. This yields inequalities (34) for helicity amplitudes, inequalities (35a)-(35e) for PDFs, helicity-amplitude definitions (31)-(33), and a counting rule for general spin s. The paper frames these results as a generalization of the Soffer bound to spin-3/2 systems.","tokens_in":11388,"tokens_out":22891,"duration_ms":192169,"significance":"If the derivation is completed as described, the result is a useful and nontrivial generalization of the Soffer bound. The derivation is parameter-free and rests on the external condition of positive semidefiniteness of a scattering amplitude matrix, not on a particular model; the resulting inequalities are concrete, falsifiable constraints for future lattice, model, or global-fit extractions of spin-3/2 PDFs. The helicity-amplitude definitions and the counting rule for general s also have independent value. The main results appear plausible, but the manuscript currently omits two key justifications and contains at least one index error in the gluon positivity condition.","major_comments":[{"comment":"The transition from Eq. (22) to the explicit matrix elements (25)-(27) is asserted without derivation. Because every bound in (35) depends on the numerical coefficients in these tables, the solution of Eq. (22) is load-bearing. Please show the inversion of the spin density matrix rho in the basis listed after Eq. (23) and give at least one complete example, e.g., the (3/2,3/2) diagonal element. Also clarify the 1/2 factor in Eq. (24): are the tabulated M values the entries inside the 2x2 block before the prefactor, and are the A matrices in Eq. (30) the full amplitudes after the prefactor? The two readings lead to different PDF relations in Eqs. (31)-(33).","section":"Eqs. (22)-(27)"},{"comment":"The 'complete set' claim requires that the listed inequalities are equivalent to positive semidefiniteness of the 8x8 matrix. This is not automatic for a sparse Hermitian matrix; larger principal minors could impose extra conditions. The paper neither states that helicity conservation lambda' - i = lambda - j block-diagonalizes A into 1x1 and 2x2 blocks nor proves that the blocks are exactly of the forms shown in Eqs. (30a)-(30b). Please provide the explicit block decomposition and a short sufficiency argument; this is also needed to justify the counting formula 2s+1+ceil(s)/floor(s) for general s.","section":"Positivity constraints, Eqs. (34a)-(34c)"},{"comment":"There is an internal inconsistency in the gluon inequalities. For X = A^g_{-1/2-,3/2+}, Eq. (30b) shows that the 2x2 blocks containing X have diagonals A^g_{3/2+,3/2+} and A^g_{1/2+,1/2+} (rows/columns {1,7} and {2,8}); the diagonal A^g_{-1/2+,-1/2+} does not occur in these blocks. The determinant condition should therefore be A^g_{3/2+,3/2+} A^g_{1/2+,1/2+} >= |X|^2, which is what Eq. (35e) uses. Eq. (34c) as printed uses A^g_{-1/2+,-1/2+} and is inconsistent with the PDF bound that follows from it. Please correct (34c) or, if a different block ordering is intended, explain the ordering and re-derive (35e).","section":"Eq. (34c) versus Eq. (35e)"},{"comment":"The text says that the quark h1LT and gluon h1LTT terms violate time reversal and are therefore zero, after noting that the helicity amplitudes are real. This conclusion is used to reduce the number of independent PDFs and affects the final bounds (35c) and (35e), which contain |h1LT|^2 and |h1LTT|^2. Please provide the explicit T-reversal argument (or the precise statement from Refs. [19,20]) and state whether (35c) and (35e) are the final physical bounds with these terms set to zero, or intermediate bounds before imposing T invariance.","section":"Time-reversal and h1LT / h1LTT"}],"minor_comments":[{"comment":"The abstract promises that a Cauchy-Schwartz inequality determines constraints between the PDFs and generalized parton distributions, but this is not derived or even mentioned in the body. Please either add the derivation or remove the sentence.","section":"Abstract"},{"comment":"The notation M_{lambda'+,lambda+} is overloaded: in Eq. (24) it denotes an entry inside the 1/2-weighted 2x2 block, while in the tables it seems to denote the unweighted combination of PDFs. Please define the notation once and use it consistently, or introduce separate symbols for the block entries and the full amplitude.","section":"Eqs. (20), (24), (25)"},{"comment":"The paper says 'positive definiteness' but the inequalities allow equality and the relevant matrices are positive semidefinite. Please use 'positive semidefinite' consistently.","section":"Throughout"},{"comment":"There are a few grammatical and typographical issues, e.g., 'the definitions is the same' and the inline display after Eq. (2) where the integral measure is broken. A careful proofread would improve clarity.","section":"Introduction/Summary"}],"recommendation":"major_revision","confidential_remarks":"The main results appear correct and publishable after revision. The most urgent fixes are the missing derivation of (25)-(27), the sufficiency proof for (34), and the index correction in (34c). The paper is within the journal's scope and the underlying approach is sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this is a legitimate generalization of the Soffer bound to spin-3/2, and the main result is almost certainly correct. The 'complete set' claim has a small missing justification, but it's patchable and not load-bearing.\n\nWhat's actually new: the paper gives the first positivity bounds for the six quark and five gluon leading-twist PDFs of a spin-3/2 hadron, and it provides explicit relations between those PDFs and the forward helicity amplitudes. The logic is standard—build an 8-dimensional amplitude matrix in the product space of parton and hadron helicities, impose positive semidefiniteness, extract the constraints. No parameters are fitted, and the bounds are necessary consistency conditions for any model or lattice QCD extraction.\n\nThe soft spots are expositional rather than mathematical. The sufficiency of the six inequalities in Eq. (34) is asserted, not proved. For a generic sparse Hermitian matrix that would be a real gap, because nonnegative diagonals and a few 2x2 minors don't guarantee positivity. But in this case the helicity conservation condition λ'−i=λ−j block-diagonalizes the matrix into 1x1 and 2x2 blocks, as the pattern in Eq. (30) already makes visible. Once the authors state that explicitly, the principal-minor conditions on each block are both necessary and sufficient. They should add this sentence. Similarly, the step from Eq. (22) to the matrices (25)-(27) is compressed—show a bit of the algebra—and the vanishing of h_{1LT} and h_{1LTT} is asserted rather than derived, though it follows from time reversal and the cited earlier work. There are also some typos in the displayed 8x8 matrices that should be cleaned up.\n\nBottom line: the paper's central argument holds up. It's a solid contribution to hadron structure, specifically for the Delta baryon and other spin-3/2 systems. I'd send it to a serious referee, and I'd expect acceptance after minor revision. For a reading group, it's a nice example of positivity methods, though a bit narrow.","headline":"Solid first derivation of spin-3/2 PDF positivity bounds; the 'complete set' claim needs a one-line block-diagonalization argument to be fully justified.","tokens_in":11886,"tokens_out":4515,"would_cite":true,"duration_ms":37051,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper derives, for the first time, the complete set of positivity inequalities that the leading-twist quark and gluon parton distribution functions (PDFs) of a spin-3/2 hadron must obey, generalizing the Soffer bound from spin-1/2 nucle","keywords":["positivity bounds","Soffer bound","spin-3/2 hadrons","parton distribution functions","helicity amplitudes","leading twist","quark distributions","gluon distributions"],"falsifier":"Take an explicit numerical set of helicity amplitudes that satisfies all inequalities in (34a)-(34c) but makes the full matrix in (30a) or (30b) indefinite—for instance, by symbolic computation of the $3\\times 3$ and larger principal minors. If such a set exists, the 'complete set' claim in the paper is false and additional PDF constraints are missing.","tokens_in":11057,"feed_emoji":"⚛️","tokens_out":7228,"duration_ms":65126,"temperature":0.7,"texified_at":"2026-08-05T20:55:14.434544+00:00","pith_summary":"This paper aims to generalize the Soffer bound—the classic inequality for spin-$\\frac{1}{2}$ nucleons that ties transversity to unpolarized and helicity distributions—to spin-$\\frac{3}{2}$ hadrons such as the Delta resonance. The authors show that demanding positive semidefiniteness of the forward antiparton–hadron scattering amplitude, written in the combined helicity space of parton and hadron, forces the six quark and five gluon leading-twist PDFs of a spin-$\\frac{3}{2}$ particle to satisfy a specific set of five inequalities. These bounds constrain any model calculation or extraction of high-spin hadron structure and complete a program that had been carried out for spin-1 particles. If correct, any future lattice or experimental determination of these distributions will have to pass these consistency checks.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":5820,"prompt_tokens":807,"completion_tokens":5013,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":807,"completion_tokens_details":{"reasoning_tokens":4243}},"feed_headline":"Complete positivity bounds found for spin-3/2 PDFs","feed_subtitle":"Five new inequalities constrain quark and gluon distributions of Delta-like hadrons.","key_machinery":"The key object is the helicity-amplitude matrix $A_{\\lambda' i,\\lambda j}$ in the eight-dimensional tensor-product space of the parton helicity (up/down for quarks, left/right for gluons) and the four spin projections of the spin-$\\frac{3}{2}$ hadron (from $-\\frac{3}{2}$ to $+\\frac{3}{2}$). Because the forward scattering amplitude must be the square of a transition amplitude, this matrix must be positive semidefinite; the paper's move is to write every nonzero matrix element as a known linear combination of the PDFs, turning matrix positivity into explicit inequalities on the PDFs. This is accomplished by projecting the light-cone correlation function onto parton helicity states and relating the result to the hadron spin d","core_discovery":"The central claim is that the complete positivity bounds for a spin-$\\frac{3}{2}$ hadron are given by Eqs. (35a)–(35e): two absolute-value bounds relating the unpolarized and longitudinal quark/gluon PDFs, a product inequality for the quark transversity combinations, and a product inequality for gluon transversity. These inequalities follow from requiring the $8\\times 8$ helicity-amplitude matrix in the tensor product of parton helicity and hadron spin projection to be positive semidefinite, after expressing each nonzero amplitude as a linear combination of the six quark PDFs ($f_1$, $g_1$, $h_1$, $f_{1LL}$, $g_{1LLL}$, $h_{1LLT}$) or five gluon PDFs ($f_1$, $g_1$, $f_{1LL}$, $h_{1TT}$, $g_{1LLL}$). The paper also defines the PDFs directly in terms of h","pith_inferences":["If the completeness claim is right, satisfying (35) is also sufficient for the amplitude matrix to be positive semidefinite, which would make (35) a practical all-purpose admissibility test for model builders—something the paper does not explicitly assert.","The same tensor-space positivity construction could be carried over to transverse-momentum-dependent distributions or to spin-2 hadrons, where the principal-minor question for larger helicity matrices will need the same scrutiny.","A concrete numerical test of the framework: fit a simple toy model for Delta PDFs and check whether inequalities (35a)-(35e) become tight at small x, where positivity is usually the most restrictive.","The bounds as written drop the time-reversal-odd distributions h1LT and h1LTT; if a future analysis ever finds evidence they are nonzero, the full set of inequalities would need to be re-derived with those terms included."],"forward_implications":["Any phenomenological or lattice extraction of spin-3/2 quark PDFs must satisfy inequalities (35a)–(35d), and gluon PDFs must satisfy (35a), (35b) and (35e); a violation at any x signals an unphysical parametrization.","In the limit where the spin-3/2-specific PDFs f1LL, g1LLL, and h1LLT vanish, the bounds reduce exactly to the spin-1/2 Soffer bound, showing the generalization is continuous.","The counting rule derived—2s+1+ceil(s) constraints for quarks and 2s+1+floor(s) for gluons—extends the method to any spin-s hadron.","The same positivity logic, via a Cauchy-Schwarz step, links PDFs to generalized parton distributions, so the inequalities constrain off-forward quantities as well."],"fun_headline_variants":["Soffer bound extended to spin-3/2 hadrons","Five new inequalities limit spin-3/2 PDFs","Complete positivity bounds for spin-3/2 partons","Spin-3/2 quark and gluon PDFs get constraints","Generalizing Soffer bound to higher-spin hadrons"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The derivation assumes that the diagonal entries and the $2\\times 2$ principal minors listed in Eq. (34) are sufficient, not merely necessary, for the full $8\\times 8$ helicity-amplitude matrix to be positive semidefinite; if a larger principal minor can turn negative while (34) holds, the bounds in (35) would be necessary but not complete.","fun_headline_variants_meta":{"raw":{"variants":["Soffer bound extended to spin-3/2 hadrons","Five new inequalities limit spin-3/2 PDFs","Complete positivity bounds for spin-3/2 partons","Spin-3/2 quark and gluon PDFs get constraints","Generalizing Soffer bound to higher-spin hadrons"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000317,"raw_usage":{"total_tokens":1624,"prompt_tokens":733,"completion_tokens":891,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":477,"completion_tokens_details":{"reasoning_tokens":807}},"tokens_in":477,"tokens_out":891,"duration_ms":7933,"temperature":1.0,"reasoning_tokens":807,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T00:04:53.421465+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take an explicit numerical set of helicity amplitudes that satisfies all inequalities in (34a)-(34c) but makes the full matrix in (30a) or (30b) indefinite—for instance, by symbolic computation of the $3\\times 3$ and larger principal minors. If such a set exists, the 'complete set' claim in the paper is false and additional PDF constraints are missing.","supporting_citations":[],"review_version":1}