{"id":"4b1400a4-2983-46bf-8a29-a7e9d00f65dc","arxiv_id":"1908.10272","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Tree-level amplitudes of gravity, Yang-Mills, and many related theories are shown to expand to a common basis, unified in a web dual to the known differential-operator web.","lead":"This paper shows that amplitudes of many quantum field theories can be connected by differential operators, and builds a complete web of expansion formulas linking them. The web provides a unified double-copy expression in which every amplitude is a sum over bi-adjoint scalar amplitudes.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Multi-trace EYM formulas (3.42)/(3.56) are underived and unchecked; an ordering or sign error there would invalidate the universal double copy formula.","rationale":"The reader's weakest assumption was the correctness of the differential-operator relations in Table 1. My concern is narrower and downstream: even accepting Table 1, the paper's genuinely new technical content is the multi-trace EYM expansion in Section 3. That expansion is derived by commuting trace operators through the single-trace recursive expansion, and it is the source of the coefficients C_2(σ) used to build the web and the universal double copy formula (5.8). The derivation is plausible and the structural logic is coherent, but Eqs. (3.42) and (3.56) are stated with very compressed notation and the paper gives no numerical or independent cross-check. The risk is not that the framework is conceptually wrong; it is that a sign or ordering convention in the K-set notation could alter coefficients without being visible in the high-level argument. Since the reader already assigned CONDITIONAL confidence, my concern supports that verdict rather than changing it. I therefore recommend UNCHANGED, with the concrete numerical check above as the natural route to either confirming or rejecting the multi-trace formulas.","tokens_in":31536,"tokens_out":18408,"duration_ms":188980,"concrete_test":"Evaluate a 6-point double-trace EYM amplitude, e.g. A_EYM(1,2,3,4|{5,6}||∅) from Eq. (3.55) and A_EYM(1,2,3|{4,5}||6) from Eq. (3.40), numerically at generic momenta. Compare against the CHY formula for EYM or standard Feynman rules. Also compute the same amplitude using Eq. (3.56) with two different orders of the traces in TrTrs (e.g., process {5} then {6} vs {6} then {5}); if the results differ, the formula is ill-defined. This directly tests whether the multi-trace expansion—and hence the coefficients feeding the double copy formula (5.8)—is correct.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Even granting Table 1 and the single-trace expansion (2.20), the new multi-trace EYM expansions are the load-bearing step: they supply the coefficients C_2(σ) that are then used in (5.1)-(5.8). Eqs. (3.42) and (3.56) are obtained by applying a product of commuting trace operators to (3.41), yet the paper does not demonstrate that the final sum over subsets TrTrs, endpoints a_i,b_i, and the ordered set \\bar K(TrTrs,a,b) is independent of the order in which traces are processed. The notation treats each K^{t}_{b,a} as a single element in shuffles and assigns T^{μν}_{ρ}=k_a^μ k_b^ν in (3.47)/(3.58); whether this assignment reproduces the correct sign and momentum flow when several K sets are adjacent in the chain is not shown. Since the multi-trace EYM amplitude is symmetric under exchanging traces, any dependence on the processing order or any double counting of configurations would change the coefficients of the YM basis. The paper provides no numerical cross-check of (3.40), (3.42), (3.55), or (3.56), so the central claim of a complete web currently rests on an unverified combinatorial identity.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper constructs a 'unified web' of tree-level amplitude expansions. Starting from the differential-operator transmutations collected in Table 1 (from Cheung-Shen-Wen), the author re-derives the recursive expansions of single-trace EYM and GR amplitudes to color-ordered YM amplitudes, then derives new recursive expansions for multi-trace EYM amplitudes (Type-I with a graviton, Type-II without), extracts KK-basis coefficients for GR, EYM, EM, and BI, and by acting with the complementary polarization operators obtains expansions of YM, YMS, sYMS, φ4, NLSM, BAS, exDBI, DBI, and SG. All expansions are assembled into the universal double-copy formula A = Σ_σ Σ_σ' C(σ) A_BAS(1,σ,n;1,σ',n) C(σ') (Eq. 5.8). The paper claims that the whole web follows from Table 1 alone, with no additional assumptions and no fitted parameters.","tokens_in":31764,"tokens_out":7394,"duration_ms":84237,"significance":"If the new multi-trace EYM expansions are correct, the paper achieves a genuine unification: every expansion in the web is obtained from one double-copy formula, and there is an explicit duality between differential operators and expansion coefficients. The manuscript is self-consistent, contains no free parameters, gives a transparent review of the coefficient algorithms in Section 4, and explicitly acknowledges the BCJ-related non-uniqueness of coefficients in Section 4.1. These are real strengths. The main caveat is that the load-bearing new input—the multi-trace EYM formulas (3.42) and (3.56)—is stated rather than fully derived and is not checked numerically or against the known CHY-based results of [20]. Until that support is supplied, the 'complete unified web' claim remains conditional.","major_comments":[{"comment":"The transition from the detailed two-trace calculation to the arbitrary multi-trace Type-I expansion is asserted ('The calculation is exactly the same') rather than proved. Equation (3.42) involves a subset TrTrs of traces, paired endpoints a_i,b_i, and the ordered set K̄(TrTrs,a,b), with each K^{t_i}_{b_i,a_i} treated as a single element in a shuffle. The paper does not demonstrate that applying the commuting trace operators in different orders yields the same sum, nor that configurations with several K sets adjacent in the chain are counted exactly once. Since the coefficients C~ϵ_2(σ) obtained from this expansion feed Eqs. (4.2), (4.4), and ultimately the universal double-copy formula (5.8), an ordering or sign error here would invalidate the central claim. Please supply an induction proof or, at minimum, explicit low-multiplicity checks (e.g., 6-point double- and triple-trace examples) compared with the CHY-based results of [20].","section":"§3.1, Eq. (3.42)"},{"comment":"The no-graviton multi-trace expansion is the least supported formula in the paper. Equation (3.55) is derived only in compressed words, and the jump to the general formula (3.56) is stated as 'can be obtained directly'. The coefficient Ĉ^{d2}_{a,b} in (3.58) assigns T^{μν} = k_a^μ k_b^ν to each K set and treats K sets as single elements in the shuffle, but the paper does not show the sign and momentum-flow assignments when several K sets appear together with K^{222}_{d2,c2} in one chain. The exclusion of cases where β1 or βr lies outside {α,c2} is also asserted rather than proved. This formula is not compared with the corresponding result of [20], despite the acknowledged difference in classification. Please provide at least the triple-trace case in detail or a numerical cross-check.","section":"§3.2, Eqs. (3.55)–(3.58)"}],"minor_comments":[{"comment":"In the first generalized KK relation, the left-hand YMS amplitude is written with a graviton set HHH, but YMS amplitudes in Table 1 contain gluons GGG in the second ordering; as printed, the two sides of the equality are inconsistent.","section":"§2.2, Eq. (2.17)"},{"comment":"The statement that the basis and recursive expansions 'can be obtained only through knowledge of differential operators' is stronger than what is demonstrated: the paper shows that the KK basis emerges naturally from the trace operators, but it does not prove uniqueness of that basis choice among all possible complete bases.","section":"§2.3"},{"comment":"The line types and arrow directions in the web are hard to distinguish in a grayscale print; a table or a legend explicitly listing which coefficient each line type denotes would improve readability.","section":"Figure 1"},{"comment":"There are numerous language errors and typos, e.g., 'thoes' in the introduction, 'dived' in Eq. (2.3), 'the subscribe' in Section 2.1, and 'visitable' in Section 6; a careful proofreading pass is needed.","section":"Throughout"},{"comment":"The notation for ordered splittings uses the same symbol Z for combinatory momenta as for the set of external particles in Section 2, and ρ is used both for pair partitions and for elements of an ordered sequence; using distinct symbols would avoid confusion.","section":"§4.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is a single-author derivation manuscript that relies heavily on the author's earlier works [21,22] and on Table 1 from [8]. The referee's main concern—that the multi-trace EYM formulas (3.42) and (3.56) are underived and unchecked—is confirmed by reading the manuscript. I would ask the editor to require at least one explicit low-point check or a comparison with the known CHY-based formulas of [20] before publication. The rest of the derivation is coherent, and the paper is likely publishable once this load-bearing verification is supplied."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Kang Zhou has put together a genuinely useful organizing result: a single web of expansions connecting a dozen theories, with a universal double copy formula A = sum C(σ) A_BAS C(σ') at the end. The main new content is the recursive expansion of multi-trace EYM amplitudes to a YM basis, derived by pushing trace operators through the single-trace expansion. I think the core idea is right, and the paper is honest about where it stands on previous work: the operator web comes from Cheung-Shen-Wen [8], the single-trace expansion from Feng-Li-Zhou [21], and multi-trace expansions from CHY already appeared in Du-Feng-Teng [20]. What is added is the differential-operator derivation and the complete web, which is a clean conceptual package rather than a new calculational tool.\n\nWhere I would push back: the generalization from double trace to arbitrary multi-trace, Eqs. (3.42) and (3.56), is stated as \"the calculation is exactly the same\" and then given in compressed notation. That is not a full derivation. The notation K_{b,a} treated as a single element in shuffles and T^{mu nu} = k_a^mu k_b^nu is clever, but I share the stress-test's concern that independence of the order in which traces are processed is not demonstrated. The double-trace case is worked out in detail; the step from there to r traces involves nested sums over subsets, endpoints, and ordered sets, and a sign or double-counting error there would indeed change the coefficients. The paper gives no numerical checks of (3.40), (3.42), (3.55), or (3.56), so the completeness claim of the web rests on a plausible but unverified combinatorial identity. This is a normal thing to ask an author to supply in revision; it is not a reason to reject.\n\nAlso minor: section 4.1 explicitly acknowledges coefficients are not unique due to BCJ relations, which is fine, but it means the relations in (4.4) hold for a particular set of coefficients and the discussion is a bit loose. The algorithms in section 4.2 are cited from the literature, not new, and are fine.\n\nBottom line: this deserves a serious referee. The right outcome is probably a major-revision request to flesh out the multi-trace derivation and add at least one numerical or symbolic check of (3.42)/(3.56). I would cite it as a useful map of the expansion web.","headline":"A useful organizing result for the amplitudes web, with a plausible but under-verified multi-trace step that a serious referee should ask to be filled in.","tokens_in":32276,"tokens_out":1944,"would_cite":true,"duration_ms":19263,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that every tree-level amplitude in the unified web—from gravity to special Galileon—can be expanded to double color-ordered bi-adjoint scalar amplitudes, unified in a single double-copy formula derived purely from…","keywords":["expansion","differential operators","unified web","double copy","bi-adjoint scalar","Kleiss-Kuijf basis","scattering amplitudes","BCJ numerators"],"falsifier":"Compute a five-point NLSM amplitude using the double-copy formula (5.8) with $C_5(\\sigma) C_4(\\sigma')$ and compare with a direct evaluation of the NLSM amplitude from its integral representation at the same multiplicity; a mismatch in any coefficient of a distinct double color-ordered BAS amplitude would falsify the unified formula. Alternatively, verify the Type-II recursive expansion (3.56) for a four-gluon two-trace EYM amplitude against a Feynman-diagram computation.","tokens_in":31315,"feed_emoji":"🔗","tokens_out":9413,"duration_ms":79797,"temperature":0.7,"pith_summary":"The paper claims that the web of tree-level amplitude expansions—covering gravity, Einstein-Yang-Mills, Einstein-Maxwell, Born-Infeld, Yang-Mills, Yang-Mills-scalar, $\\phi^4$, nonlinear $\\sigma$ model, bi-adjoint scalar, Dirac-Born-Infeld, special Galileon, and their variants—is complete and derivable from a single source: the differential-operator relations of Table 1. Applying these operators to known expansions shows that they modify only the coefficients, not the basis. The endpoint is a universal double-copy formula $A = \\sum_{\\sigma} \\sum_{\\sigma'} C(\\sigma) A_{\\mathrm{BAS}}(1,\\sigma,n;1,\\sigma',n) C(\\sigma')$, in which every amplitude in the web is written as a double sum over double color-ordered bi-adjoint scalar amplitudes. If correct, all expansion relations among these theories reduce to bookkeeping of the same numerator coefficients, and the dual web of differential operators and the web of expansions are exactly mapped to each other.","feed_headline":"All amplitude expansions collapse into a single double-copy formula","feed_subtitle":"Gravity, Yang-Mills, Born-Infeld, DBI and more reduce to sums of bi-adjoint scalar amplitudes.","key_machinery":"The machinery is the differential-operator correspondence from Table 1: trace operators $T^{\\epsilon}[\\bar{\\alpha}]$, insertion operators $T^{\\epsilon}_{ikj}$, and longitudinal operators $L^{\\epsilon}_i, L^{\\epsilon}_{ij}$ act on polarization vectors and transmute tree-level gravity amplitudes into amplitudes of the other theories. The paper's move is to let these operators act on the two sides of known expansions: because the operators touch only polarization vectors, they change the coefficients while leaving the KK basis intact. Iterating this procedure generates all expansion arrows in the web, and the double-copy formula (5.8) packages every expansion as a sum over double color-ordered BAS amplitudes with numerator coefficients $C(\\sigma)$ obtained by applying the same operators to BCJ numerators.","core_discovery":"The central discovery is that the expansions are the dual of the differential-operator map: each operator row of Table 1 corresponds to a row of coefficients in Table 2, and applying operators to expansions yields new expansions without changing the basis. Concretely, the paper derives two recursive expansions for multi-trace EYM amplitudes (Type I with at least one graviton, Type II with only gluons) purely from operator manipulations, then extracts the KK-basis coefficients for GR, EYM, EM, and BI, and applies the remaining operators to obtain expansions for YM, YMS, sYMS, $\\phi^4$, NLSM, BAS, exDBI, DBI, and SG. All of these are organized into the unified web of Fig. 1 and unified in the double-copy formula (5.8), where the double color-ordered BAS amplitude supplies the propagator matrix and the coefficients are operator-images of Yang-Mills BCJ numerators.","pith_inferences":["A practical consequence not spelled out by the paper: for any target theory in the web, amplitudes at higher multiplicity can be computed by summing BAS amplitudes (pure propagators) weighted by known BCJ-type numerators, which could outperform direct Feynman-diagram evaluation for DBI or SG.","The duality between Table 1 and Table 2 suggests that any new differential-operator identity that maps GR to a different theory would automatically produce a new expansion to BAS amplitudes, extending the web beyond its current nodes.","The paper's closing question—what theories correspond to mixed coefficient pairs such as $C^{\\epsilon}_2(\\sigma)C^{\\tilde{\\epsilon}}_{3b}(\\sigma')$—is directly testable: evaluating the double sum (5.8) for such a pair would define a new amplitude and its integral representation.","If the operator identities of Table 1 survive at loop level, the same web structure and the same coefficient relations might carry over to loop integrands, though the paper is strictly tree-level."],"forward_implications":["Every tree-level amplitude in the web can be expanded algorithmically to double color-ordered bi-adjoint scalar amplitudes, so the BAS theory serves as a universal propagator basis for all the listed theories.","The two new recursive expansions for multi-trace EYM amplitudes reduce any such amplitude to the Kleiss-Kuijf basis of Yang-Mills amplitudes at tree level.","Because all expansions share the same KK basis, coefficients for different theories are related by the same differential operators that relate the amplitudes themselves (Eq. (4.4)).","The generalized KK relations of Section 2.2 hold for YMS, sYMS, $\\phi^4$, NLSM, and BAS amplitudes, not just Yang-Mills.","The double-copy formula gives a concrete numerator construction for DBI, SG, and other effective-field-theory amplitudes: choose the Table-2 coefficients and sum over BAS amplitudes."],"supporting_citations":[{"why":"It supplies the differential-operator relations of Table 1 that the whole construction commutes through.","marker":"[8]"},{"why":"It derives the single-trace EYM and GR expansions to Yang-Mills amplitudes by solving differential equations, the starting point of the web.","marker":"[21]"},{"why":"It provides the recursive expansion of multi-trace EYM amplitudes and the algorithm for KK coefficients that the paper generalizes and re-derives.","marker":"[20]"},{"why":"It gives the algorithm for expanding GR amplitudes to the KK basis, i.e., the BCJ numerators that feed the double-copy formula.","marker":"[17]"},{"why":"It supplies expansions and coefficient algorithms for EM and BI amplitudes used in Section 4.","marker":"[22]"},{"why":"It states the Kleiss-Kuijf relation that defines the expansion basis used throughout.","marker":"[23]"},{"why":"It gives the integral-representation perspective that the expansion web is dual to.","marker":"[7]"}],"fun_headline_variants":["Unified web turns every amplitude expansion into a double copy","All amplitude expansions are double copies: one web to rule them","Every expansion is a double copy: the unified web of amplitudes","Double copy web: one formula expands all amplitude theories","Unified web: expansions of amplitudes as double copies"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The web stands on the differential-operator identities of Table 1: that acting with the listed trace, insertion, and longitudinal operators on gravity amplitudes exactly yields the amplitudes of the other theories; if any identity fails off-shell or under some hidden kinematic condition, every expansion built by commuting the operators through known relations inherits the failure.","fun_headline_variants_meta":{"raw":{"variants":["Unified web turns every amplitude expansion into a double copy","All amplitude expansions are double copies: one web to rule them","Every expansion is a double copy: the unified web of amplitudes","Double copy web: one formula expands all amplitude theories","Unified web: expansions of amplitudes as double copies"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000465,"raw_usage":{"total_tokens":2330,"prompt_tokens":961,"completion_tokens":1369,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":577,"completion_tokens_details":{"reasoning_tokens":1288}},"tokens_in":577,"tokens_out":1369,"duration_ms":10829,"temperature":1.0,"reasoning_tokens":1288,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:47:28.668936+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute a five-point NLSM amplitude using the double-copy formula (5.8) with $C_5(\\sigma) C_4(\\sigma')$ and compare with a direct evaluation of the NLSM amplitude from its integral representation at the same multiplicity; a mismatch in any coefficient of a distinct double color-ordered BAS amplitude would falsify the unified formula. Alternatively, verify the Type-II recursive expansion (3.56) for a four-gluon two-trace EYM amplitude against a Feynman-diagram computation.","supporting_citations":[{"cited_title":"Kleiss and H","cited_arxiv_id":null,"evidence_quote":"It states the Kleiss-Kuijf relation that defines the expansion basis used throughout."}],"review_version":1}