{"id":"39346ae9-3d24-45d6-9d69-5a3dbb91596d","arxiv_id":"2505.14857","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For rational gluon amplitudes (one-loop all-plus and tree-level MHV), all (n-1)!/2 color-ordered partial amplitudes are determined by just two independent functions via polynomial syzygies.","lead":"This paper proves that all one-loop all-plus and tree-level MHV color-ordered gluon amplitudes are generated by just two independent functions, with every other partial amplitude related by polynomial identities. It then computes the explicit relations through seven (all-plus) and eight (MHV) points, which could sharply reduce the number of amplitudes one needs to evaluate.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sec. III proves at most two independent amplitudes; the abstract's 'leaving only two' for all n is an exact-count claim checked only through n=7 all-plus and n=8 MHV, and conjectured beyond.","rationale":"The paper's main contribution—the general theorem that any family of rational spinor functions with common phase weight admits polynomial syzygies, leaving at most two independent amplitudes—is correct and well supported. The explicit syzygies for small n are cross-validated by two complementary methods, and the finite-field nullspace counts, combined with the theorem's upper bound, rigorously establish the completeness of the found relations for the checked multiplicities. The load-bearing concern lies not in the algebraic construction but in the gap between the theorem's upper bound and the abstract's exact-count claim. Section III concludes 'so that we have two independent amplitudes' without proving that the number is not one; the exact count is verified only for finitely many n and conjectured beyond. The paper's own Conclusion correctly labels this as a conjecture, but the abstract presents it as an established general result. This overstatement is significant because the paper's headline claim, as advertised, is the exact count of two independent amplitudes for all n≥5. The concrete test—an analytic proof of the lower bound via pole structure, or a numerical check at the next unresolved multiplicity—would resolve whether this exact-count claim is true. Until such a proof or check is supplied, the abstract should be revised to state 'at most two' and to present the exact count as a verified conjecture, matching the paper's own careful Conclusion. This does not diminish the correctness of the existence theorem or the explicit results, but it changes the status of the central headline.","tokens_in":13650,"tokens_out":39840,"duration_ms":357931,"concrete_test":"Prove or disprove that the all-plus amplitudes for arbitrary n≥5 have at least two linearly independent elements over the field of rational functions, e.g., by showing that A(1,2,...,n) and A(1,3,2,4,...,n) have distinct collinear pole channels and hence cannot be proportional for any n≥5. Such a proof (or a counterexample, e.g., via a numerical rank computation for n=8 all-plus over a finite field) would settle whether the exact-count claim 'leaving only two' holds for all n.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central theorem in Sec. III (Eq. 3.8) constructs m−2 linear relations for m amplitudes, which shows the span of the amplitudes has dimension at most 2. The text then states 'so that we have two independent amplitudes' (Sec. III, after Eq. 3.9). That conclusion requires a lower bound of exactly two independent amplitudes, but the general argument does not provide one. The exact count is verified only for n≤7 all-plus and n≤8 MHV (Tables I and II) and is explicitly conjectured for all n in the Conclusion. The abstract, however, asserts the exact count as a proven result: 'there are (n−1)!/2−2 relations for n≥5, leaving only two independent color-ordered amplitudes.' If for some n≥8 the amplitudes satisfied additional higher-degree relations reducing the number of independent amplitudes to one, the abstract's exact-count claim would fail, even though the theorem's existence result (at least n_A−2 relations) would remain correct. The missing lower bound is usually justified by the different collinear pole structures of different color orderings, but no proof is given in the paper; this is the least secure condition for the full central claim as stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies linear relations (syzygies) among color-ordered one-loop all-plus Yang--Mills amplitudes and tree-level MHV amplitudes. The authors argue on general grounds that after a common spinor rescaling and multiplication by a common monomial, any such amplitude lies in the two-dimensional space spanned by 1 and the Levi--Civita pseudoscalar, which forces the existence of polynomial identities among any triplet of amplitudes (Sec. III). They develop two methods to find these relations: a numerical linear-algebra method over finite fields/rationals (Sec. IV) and a factorization-based syzygy computation (Secs. V--VI). They present explicit relations and generators for all-plus amplitudes through n=7 and for MHV through n=8 (Tables I--II), showing in these cases that the amplitudes reduce to exactly two independent ones. The paper also contains the observation that, in special representations, the six-point all-plus syzygies vanish under symmetrization (Sec. IX).","tokens_in":13699,"tokens_out":6059,"duration_ms":65785,"significance":"If the claims hold, the paper identifies a general mechanism behind polynomial relations among rational scattering amplitudes and provides a systematic way to construct them. The explicit low-degree generators, the cross-validated relation counts, and the two complementary computational approaches are useful and reproducible contributions. The claim that one-loop all-plus and tree-level MHV amplitudes reduce to exactly two independent color-ordered amplitudes is striking and goes beyond the KK/BCJ structure for MHV. The paper is also honest in providing exact expressions in auxiliary files and in cross-checking the numerical and analytic methods. However, the strongest advertised statement—the exact count for all n—is not established by the general theorem; it is verified only for small n and is explicitly conjectured in the conclusion.","major_comments":[{"comment":"The abstract states as a proven result that there are (n-1)!/2 - 2 relations for n≥5, “leaving only two independent color-ordered amplitudes.” The argument in Sec. III, however, constructs m-2 relations for m amplitudes, which shows that the span of the amplitudes has dimension at most two. It does not prove that the dimension is at least two. The exact count is verified only through n=7 for all-plus and n=8 for MHV (Tables I and II), and the Conclusion explicitly says “We conjecture that this statement holds to all n.” The abstract therefore overstates what is proven. The authors should either rephrase the claim as “at most two independent amplitudes” (with the exact count established numerically for the computed cases and conjectured in general), or supply the missing lower-bound argument (e.g., from distinct collinear pole structures of different orderings).","section":"Abstract and Sec. III (after Eq. 3.9)"},{"comment":"The completeness of the relation counts rests on numerical rank computations. For the largest cases the paper uses finite-field arithmetic (K=F_p), and the authors state that they have exact rational expressions for the relations in all computed cases and cross-validate with the factorization method. This mitigates concerns, but the text should state explicitly which counts were obtained over Q and which over F_p, and should note that the equality of nullity over F_p and over Q is a reconstruction/verification issue. As written, the reader cannot tell from Tables I and II alone which entries rely solely on finite-field ranks.","section":"Sec. IV and Tables I--II"},{"comment":"The claim that MHV tree amplitudes, after the KK and BCJ identities, are further reduced by degree-two relations to exactly two independent amplitudes is surprising: for n>5 this goes well beyond the standard (n-3)! count. The current evidence is the n≤8 computation in Table II, while the general theorem supplies only the upper bound of two. The conclusion's conjecture is therefore an essential part of the paper's central statement. I ask the authors to present this distinction clearly in the introduction and abstract, and to state explicitly that the exactness of the “two” for all n is conjectural unless a proof is added.","section":"Sec. VIII and Conclusion"}],"minor_comments":[{"comment":"The phase-removal factor as written, 1/([12][23]···[n1]) times the product of all [ij], is indeed polynomial because the denominator factors cancel against part of the numerator, but this is not immediately obvious in the displayed formula; a short clarification would help.","section":"Sec. III, Eq. (3.5)"},{"comment":"The phrase “dim ker V = dim V − rank V” is a tautology; the intended statement is that the number of relations between the amplitudes equals dim V minus the rank of the sampled matrix. Rephrase to avoid confusion about what V is.","section":"Sec. IV, around Eq. (4.1)"},{"comment":"The distinction between ordinary collinear kinematics and the “complex (or holomorphic) collinear kinematics” used in this work is central to the method, but it is introduced only briefly. A short explanatory paragraph or an example would make the section more accessible.","section":"Sec. V"},{"comment":"The statement that “it is also possible to find a non-minimal-degree representation where all syzygies vanish under symmetrization” is not demonstrated; pointing to a specific example in the auxiliary files would make the observation verifiable.","section":"Sec. IX"},{"comment":"There are several minor typographical issues: in Eq. (4.3) the notation “I +” should likely be “I^+”, and in Sec. II the spacing in A(L)_{n;c} and related symbols is inconsistent. These do not affect the results.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid and useful contribution whose main existence theorem is sound. The reason for major revision is the mismatch between the abstract's exact-count claim and the proof, which establishes only an upper bound of two independent amplitudes; the exact count is a verified conjecture for small n. This is fixable by a careful rewording and by either adding a lower-bound argument or clearly marking the exact count as conjectural. I would encourage the editor to request those changes before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is the Sec. III theorem: any set of rational functions of spinors with a common phase weight, after clearing denominators and phase, lives in the two-dimensional space spanned by 1 and the Levi-Civita pseudoscalar. So any triplet has a polynomial identity, and m amplitudes admit m−2 relations. That is a clean, general statement and it is proven properly. The paper then backs it up with two independent computational approaches—finite-field linear algebra and factorization-plus-syzygies—which cross-validate each other. The explicit syzygy generators for all-plus n=5,6,7 and MHV n=6,7,8 are a useful concrete payoff, and the ancillary files appear complete. I agree with the reader's high-level verdict: this is a worthwhile paper and the main existence result is solid.\n\nThe soft spot is the gap between the abstract and the theorem. The abstract says 'there are (n−1)!/2−2 relations for n≥5, leaving only two independent color-ordered amplitudes.' The theorem in Sec. III proves at most two independent amplitudes, not exactly two. The exact count is verified numerically for n≤7 all-plus and n≤8 MHV, and the conclusion explicitly says 'We conjecture that this statement holds to all n.' So the abstract presents a conjecture as a proven result. That is a real overstatement, though not a fatal one. The lower bound presumably follows from the different collinear pole structures of the color orderings, but no proof is given, and the stress-test note is correct to flag it.\n\nA smaller caveat: the 'exhaustion by degree-two relations' is also only checked up to the same n and is conjectural beyond. The paper is transparent about this in the body, so it is acceptable, but the abstract should carry the same qualification.\n\nEverything else checks out. The methods are standard, the counting is consistent, the computational claims are reproducible from the ancillary files, and the citation pattern looks fine. The extension over BBDJS/DM is real even if incremental: one new degree-two six-point relation, plus the general existence argument.\n\nWho is this for? Anyone computing with all-plus or MHV amplitudes, and anyone interested in the algebraic structure of rational amplitudes. It deserves a serious referee, and I would send it to review. The referee should ask for the abstract and conclusion to be aligned with what is actually proven: the exact-count statement should be labeled a conjecture for general n. With that revision, I would be happy to see it published.","headline":"Solid paper with a nice structural theorem and useful explicit syzygies; the abstract overclaims 'only two' as proven when the exact count is verified only through n=7/8 and conjectured beyond.","tokens_in":14373,"tokens_out":2153,"would_cite":true,"duration_ms":24263,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["13D02","13P10","81T18"],"pacs":[],"model":"deepseek-v4-flash","headline":"For n≥5, one-loop all-plus Yang-Mills amplitudes obey (n−1)!/2−2 linear relations, leaving exactly two independent partial amplitudes.","keywords":["scattering amplitudes","Yang-Mills theory","all-plus amplitudes","MHV amplitudes","color-ordered amplitudes","syzygies","linear relations","one-loop amplitudes"],"falsifier":"For $n=8$ all-plus amplitudes, evaluate the phase-adjusted amplitude vector on $2520$ generic rational momentum configurations and compute the nullity of the resulting matrix; the claim predicts nullity $2518$, so a smaller nullity that cannot be restored by higher-degree syzygies would disprove the reduction to two independent amplitudes.","tokens_in":13293,"feed_emoji":"⚛️","tokens_out":23968,"duration_ms":208661,"temperature":0.7,"pith_summary":"This paper establishes that the color-ordered one-loop all-plus amplitudes of Yang–Mills theory, and the tree-level maximally helicity-violating (MHV) amplitudes, are far more redundant than their $(n-1)!/2$ distinct permutations suggest: for $n\\ge 5$ there are $(n-1)!/2 - 2$ independent linear relations with polynomial coefficients, leaving exactly two independent partial amplitudes. The reason is general: any set of rational spinor functions sharing the same phase under spinor rescalings can be multiplied by one common monomial, re-expressed in momentum invariants, and after clearing denominators lands in the two-dimensional space spanned by the invariants and the Levi-Civita pseudoscalar, so any triple of amplitudes automatically satisfies a polynomial identity. The paper constructs the relations explicitly through seven points for all-plus amplitudes and eight points for MHV amplitudes, gives generators from which all relations follow by permutation, and provides two systematic methods for finding them. The result matters because it sharply reduces the data needed to compute these amplitudes and exposes a hidden algebraic structure whose low degree the paper traces to factorization rather than to the general argument alone.","feed_headline":"Relations cut one-loop all-plus amplitudes to two independent ones","feed_subtitle":"The same polynomial identities shrink tree-level amplitudes to two independent functions for up to eight gluons.","key_machinery":"The central object is a syzygy: a vector of polynomials $P_n[\\sigma]$ in the Mandelstam invariants such that $\\sum_\\sigma P_n[\\sigma] A_n(\\sigma)=0$. The load-bearing identity is the reduction of each phase-adjusted rational amplitude to $P_a(s_{ij}) + P_b(s_{ij})\\epsilon_b$, which places all amplitudes in a two-dimensional space and yields the triple-cross-product syzygies of Eq. (3.8). Factorization at complex collinear poles $\\langle i j \\rangle$ converts the syzygy condition into recursive equations involving lower-point amplitudes, and these are solved with Gröbner-basis and syzygy computations. A permutation operation then generates the full set of relations from a small number of seed vectors, often a single one.","core_discovery":"The central claim is that for $n\\ge 5$ the vector of $(n-1)!/2$ color-ordered one-loop all-plus partial amplitudes has $(n-1)!/2 - 2$ independent syzygies, so only two amplitudes remain independent, and the same counting holds for tree-level MHV amplitudes through $n=8$. The proof rests on a reduction: after multiplying every partial amplitude by one common spinor factor that removes its spinor phase weight, and clearing the denominators that appear when re-expressing spinor products in momentum invariants, a rational amplitude without branch cuts takes the form $P_a(s_{ij}) + P_b(s_{ij})\\epsilon_b$, where $\\epsilon_b$ is the Levi-Civita pseudoscalar of a fixed momentum basis. Any three such expressions admit a polynomial identity built from the pairwise cross-products of their $P_a,P_b$ coefficients, which implies $n-2$ independent relations among $n$ amplitudes. The paper verifies for $n=7$ all-plus and $n=8$ MHV amplitudes that the syzygies through degree two exhaust these relations, and conjectures the exhaustion holds for all $n$.","pith_inferences":["The same counting should apply to any helicity configuration whose amplitudes are rational in spinors with a common phase weight, such as the one-loop single-minus family; the paper notes multiparticle poles make those relations harder to find, so a numerical rank test there would separate the general mechanism from the factorization-based shortcut.","The empirical fact that one seed vector generates all relations under permutation suggests the syzygy module is cyclic as a representation of the symmetric group; proving cyclicity for all $n$ would give an all-multiplicity description and may connect to the KLT-kernel redundancy mentioned in the conclusions.","For practical computation, one could precompute the two independent amplitudes and reconstruct any partial amplitude by polynomial combination, although the growth of the polynomial coefficients with $n$ will determine whether this is actually cheaper than evaluating all permutations."],"forward_implications":["For $n\\ge 5$, the one-loop all-plus partial amplitudes are spanned by two functions, with explicit syzygies supplied through $n=7$.","Tree-level MHV amplitudes through $n=8$ satisfy the same two-amplitude counting, with the standard color identities and the momentum-dependent BCJ identities appearing as the degree-zero and degree-one layers of one syzygy module.","The two methods, exact numerical linear algebra over finite fields and factorization-based syzygy computation, give a general search procedure for polynomial relations among rational amplitudes.","Because the relations are exact and of low degree, they can reduce the number of amplitudes a numerical computation must evaluate, and the paper conjectures that only relations of degree at most two are needed at every multiplicity."],"supporting_citations":[{"why":"Supplies the constant-coefficient color identities that form the degree-zero syzygies for tree-level amplitudes.","marker":"[1]"},{"why":"Provides the momentum-dependent identities that are the degree-one syzygies for MHV amplitudes.","marker":"[2]"},{"why":"Sets up the trace-basis color decomposition that fixes which partial amplitudes are being related.","marker":"[3]"},{"why":"Earlier explicit relations of degree zero and two for the all-plus and MHV amplitudes whose counts this paper extends.","marker":"[5]"},{"why":"Gives the completeness argument for the degree-zero all-plus relations, which the paper relies on when separating constant-coefficient syzygies from the new polynomial ones.","marker":"[6]"},{"why":"Gives the closed all-plus one-loop amplitude formula used as the starting point for the spinor-phase rescaling.","marker":"[9]"},{"why":"Supplies the momentum-twistor parametrization used to sample amplitudes exactly over rational or finite fields.","marker":"[10]"},{"why":"Provides the finite-field linear algebra routines that make the numerical rank computations feasible at large $n$.","marker":"[11]"}],"fun_headline_variants":[],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes the amplitudes are purely rational functions of spinors with a common spinor phase weight and no branch cuts, so after one shared rescaling they live in the two-dimensional space of momentum invariants plus the Levi-Civita pseudoscalar; generic loop amplitudes with cuts, or amplitudes in other spacetime dimensions, do not satisfy this.","fun_headline_variants_meta":{"error":"Client error '402 Payment Required' for url 'https://api.deepseek.com/chat/completions'\nFor more information check: https://developer.mozilla.org/en-US/docs/Web/HTTP/Status/402"},"cache_creation_input_tokens":0},"created_at":"2026-08-07T15:30:40.957518+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $n=8$ all-plus amplitudes, evaluate the phase-adjusted amplitude vector on $2520$ generic rational momentum configurations and compute the nullity of the resulting matrix; the claim predicts nullity $2518$, so a smaller nullity that cannot be restored by higher-degree syzygies would disprove the reduction to two independent amplitudes.","supporting_citations":[{"cited_title":"Monodromy--like Relations for Finite Loop Amplitudes","cited_arxiv_id":"1103.6190","evidence_quote":"Earlier explicit relations of degree zero and two for the all-plus and MHV amplitudes whose counts this paper extends."},{"cited_title":"New QCD Results from String Theory","cited_arxiv_id":"hep-th/9311026","evidence_quote":"Gives the closed all-plus one-loop amplitude formula used as the starting point for the spinor-phase rescaling."},{"cited_title":"Dumas and P","cited_arxiv_id":null,"evidence_quote":"Provides the finite-field linear algebra routines that make the numerical rank computations feasible at large $n$."}],"review_version":1}