{"id":"e01acffe-e34f-4b2e-9d12-c431dd02711c","arxiv_id":"2411.08536","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An extended shuffle product on integer-indexed symbols makes the convergent multiple zeta series with arbitrary integer arguments into an algebra, and evaluation is an algebra homomorphism.","lead":"The paper constructs a new extended shuffle product on symbols indexed by all integers, generalizing the usual shuffle product that only handles positive indices. It proves that the subspace of convergent multiple zeta series with arbitrary integer arguments is an algebra under this product, with evaluation as an algebra homomorphism.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 3.4's closure of generalized Chen fractions is asserted with only a case-by-case sketch; since it is the bridge from Chen-symbol products to multiplication of convergent series, a finite expansion must be proved for Theorem 4.8 to stand.","rationale":"The paper has real substance: the extended shuffle product is explicitly constructed, associativity and uniqueness are argued, and the final map is plausible. I found no actual counterexample to the central claim. However, the proof of Proposition 3.4 is a placeholder; this is exactly the point where ordinary products of Chen fractions are expanded into the span of Chen fractions. The reader's verdict CONDITIONAL is appropriate: the claim is likely correct, but the manuscript should supply the omitted inductions (and state the JS-differential property used in Prop 3.10). I therefore do not change the verdict. My concrete test would settle whether the expansion is actually finite and closed; if it fails, the verdict would have to be REJECT.","tokens_in":30762,"tokens_out":49586,"duration_ms":447793,"concrete_test":"Implement the recursive definitions (2.6)/(3.7) and the map F in a computer algebra system. For all Chen symbols of depth ≤3 with top exponents in [-3,3] and disjoint index sets from {1,2,3,4}, compute the symbol product, apply F, and compare as rational functions with the ordinary product of the corresponding Chen fractions. Also instrument the recursion to record the maximum recursion depth for Cases 4 and 5 to confirm termination. If any comparison has nonzero difference or any recursion fails to terminate, Proposition 3.4 (and hence Theorem 4.8) is false. If all checks pass, the concern is reduced to a missing rigorous proof, consistent with a conditional acceptance.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem 4.8 proves ζ_X([s]X[t]) = ζ_X([s])ζ_X([t]) by passing to Chen symbols and Chen fractions. The step in which a product of two generalized Chen fractions with disjoint variables is rewritten as a finite Q-linear combination of generalized Chen fractions is Proposition 3.4. The proof consists of the sentence 'following case-by-case study as in the proof of Lemma 2.16, and using formulas in (15)...' with no case analysis displayed. This is not a routine omitted induction: the exponents are arbitrary integers, negative exponents make numerators, and interleaving two blocks of variables requires nontrivial partial-fraction identities (e.g., 1/(AB)=1/(A(A+B))+1/(B(A+B))). If the expansion were infinite or involved functions outside QFCh, then QFCh would not be a locality algebra, QFCh_c would not be a subalgebra (Prop 4.6), and Eq. (21) in Lemma 4.7 would not define the product inside QFCh_c. Theorem 4.8 therefore depends on this unproven finite expansion. The later Proposition 3.10 gives a longer induction for the map F, but it uses the same recursive structure and still leaves the decisive case analysis to the reader; it also silently uses the differential property of JS on Chen-symbol products without stating/proving the analogue of Lemma 2.12 for H_{Z×Z≥1}. The termination of Definition 2.6 Cases 4-5 is likewise not proved, though it appears to follow by induction on |s1| and |t1| with depth-reducing boundary cases. None of this shows the theorem is false; it shows the paper's central bridge is under-verified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines an extended shuffle product on the space H_Z spanned by formal symbols for integer vectors, extending the usual shuffle algebra for MZVs with positive arguments. The construction is driven by a differential operator J (the inverse of the integral operator I), and the paper proves that the resulting product is associative and unique. It then introduces generalized Chen fractions and Chen symbols, equips them with a locality structure, and shows that the subspace H^0_Z corresponding to convergent multiple zeta series with arbitrary integer arguments is closed under the extended shuffle product. The main theorem states that the evaluation map ζ_X : H^0_Z → R, sending a symbol to its multiple zeta series, is an algebra homomorphism for this product.","tokens_in":31093,"tokens_out":13700,"duration_ms":118898,"significance":"If the advertised proof is completed, the paper provides a genuinely new algebraic framework for multiple zeta series with arbitrary integer arguments, extending the classical shuffle algebra without fitting parameters or introducing ad hoc axioms. The construction is self-contained and recovers the usual shuffle product on positive integers, which is a strong consistency check. The central homomorphism theorem (Theorem 4.8) is a clean and testable statement. However, several load-bearing arguments are currently only sketched, so the manuscript is not yet verifiable in its present form.","major_comments":[{"comment":"The proof that (QFCh, ⊤, ·) is a locality algebra is reduced to the single sentence that a case-by-case study, as in Lemma 2.16, using formulas (15), gives the conclusion. This is not a routine omitted induction: the exponents in generalized Chen fractions are arbitrary integers, negative exponents place factors in the numerator, and interleaving two disjoint variable blocks requires nontrivial partial-fraction identities. A finite expansion of the product of two generalized Chen fractions into QFCh is the bridge that later justifies Eq. (21) in Lemma 4.7 and the subalgebra statement in Proposition 4.6. The gap may be repairable, but as written Proposition 3.4 is not proved, and Theorem 4.8 depends on the closure property it asserts.","section":"§3.2, Proposition 3.4"},{"comment":"The proof of Proposition 3.10(ii) uses, in Step 1 Cases 3–4 and in Step 2 Cases 3–4, the differential property of J_S on products of Chen symbols, i.e., the exact analogue of Lemma 2.12 for H_{Z×Z≥1}. This property is neither stated nor proved. In addition, Proposition 3.8, which asserts that Definition 3.7 defines an associative product and that the lower row of every term is a shuffle of the two lower rows, is justified only by 'just like the proof' for H_Z. Since Proposition 3.10(ii) is the bridge that turns Chen-symbol products into products of generalized Chen fractions, these omitted proofs are load-bearing for Theorem 4.8.","section":"§3.3, Proposition 3.10 and Proposition 3.8"},{"comment":"The recursive definition of the extended shuffle product does not specify a well-founded order covering the interaction of the five cases. Cases 1 and 2 recurse on total depth, Case 3 on s1 + t1, Case 4 on |t1|, and Case 5 on |s1|, and a reduction in one case can move a pair into another region. Termination of the recursion is therefore not immediate and should be proved, for example by exhibiting a lexicographic measure. The same issue appears in Definition 3.7 for Chen symbols. Without termination, Theorem 2.5 is not fully established.","section":"§2.3.1, Definition 2.6"},{"comment":"Associativity for vectors of depth greater than one is proved in detail only for Case 1 (all leading entries nonnegative). Cases 2–4 are dismissed with 'a similar proof' or 'similar to Lemma 2.13', and the uniqueness proof in Proposition 2.17 is likewise summarized as 'we can inductively prove'. These are central claims of Theorem 2.5, so the induction measures and the key identities for each omitted case should be written out or, at minimum, the reduction to Lemma 2.13 should be made precise.","section":"§2.3.2, Proposition 2.14 and Proposition 2.17"}],"minor_comments":[{"comment":"There are typos: 'To achieved this goal' should be 'To achieve this goal', and 'the stuffe and shuffle products' should be 'the stuffle and shuffle products'.","section":"Abstract and §1.1"},{"comment":"Several displayed formulas in Step 2 Case 3 are missing the double-row fraction notation and contain unbalanced parentheses, making the argument hard to follow; for example the line beginning 'F([s1,··· ,sm]X[−n,··· ,tp])' should display the lower rows v and u explicitly.","section":"§3.3, Proposition 3.10"},{"comment":"The interchange of the summation over variables with the finite linear combination in the proof of η(ab) = η(a)η(b) is valid because the series are absolutely convergent in the convergent region, but this justification should be stated explicitly.","section":"§4.2, Lemma 4.7"},{"comment":"The definition of modified partial weights in Eq. (19) is clear, but the example would be easier to parse if the boundary convention for j = m were repeated directly below the formula.","section":"§4.1, Example 4.1"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a natural and worthwhile question, and the main theorem is plausible. My recommendation of major revision is driven by the number of load-bearing arguments that are currently only sketched, especially Proposition 3.4 and the unstated differential property for J_S in Proposition 3.10. I do not see evidence of circular reasoning or parameter fitting; the difficulties are omissions of proof detail rather than signs of an incorrect central claim. I would be willing to reconsider after the authors expand the omitted inductions and specify the termination measures."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read Guo-Hu-Xiang-Zhang on extended shuffle product. The core idea is real: replace the Rota-Baxter integral operator with its inverse differential operator J to define a shuffle-type product on all integer arguments, then prove the convergent subspace is a subalgebra and evaluation is an algebra homomorphism. That is not a routine extension—negative entries break commutativity and force modified partial-weight estimates. The paper recovers the known positive-integer shuffle algebra as a special case, so the benchmark is solid.\n\nWhat it does well: the recursive definition of X is explicit, with cases and examples. The associativity and uniqueness proofs (Prop 2.14, 2.17) are long but structurally clear. The partial-weight estimates in Section 4 are substantial and appear to work. If Theorem 4.8 holds, this gives the first shuffle-algebra framework for convergent MZVs with arbitrary integer arguments, and that is a significant step for MZV relation theory.\n\nThe soft spot is exactly where the stress-test note lands: Proposition 3.4. The claim that the product of two generalized Chen fractions with disjoint variables expands as a finite linear combination of generalized Chen fractions is the bridge between formal Chen-symbol products and actual multiplication of meromorphic functions. The proof is a one-sentence pointer to a case-by-case study resembling Lemma 2.16. That is not adequate for arbitrary integer exponents, where negative powers make numerators and interleaving requires nontrivial partial-fraction identities. If the expansion were infinite or left QFCh, then QFCh_c would not be a subalgebra and Lemma 4.7, hence Theorem 4.8, would collapse. The stress-test note is not manufacturing a flaw: on reading, this step really is asserted rather than demonstrated.\n\nTwo related omissions: termination of the recursion in Definition 2.6 Cases 4-5 is not proved, though it likely follows by induction on |s1| and |t1|; and Proposition 3.10 silently uses a differential property for JS that is not stated for Chen-symbol products. Both are fillable, and I saw no sign the theorem is false. But the central bridge is under-verified.\n\nWho this is for: MZV researchers working on algebraic relations; also people interested in Rota-Baxter/differential operator analogues. I would send it to a serious referee, but the referee should demand a complete proof of Prop 3.4 (and a termination argument) before acceptance. I wouldn't cite it in my own work until those inductions are spelled out.","headline":"A genuinely new algebraic extension of the shuffle product to convergent integer MZV arguments, with a plausible but under-verified central bridge.","tokens_in":31643,"tokens_out":2355,"would_cite":false,"duration_ms":22591,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M32","16W25","17B38","16S10","40B05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the extended shuffle product makes the space of convergent multiple zeta series with arbitrary integer arguments an algebra over which evaluation to real numbers is an algebra homomorphism.","keywords":["multiple zeta values","extended shuffle product","Chen symbols","locality algebra","differential operator","Rota-Baxter operator","convergent multiple zeta series","partial weights"],"falsifier":"Compute the extended shuffle product [4,-1] X [4,-1] by the recursion of Definition 2.6, expand the result in the basis of $H^{0}$_Z, and evaluate each term as a multiple zeta series; if the sum differs from ζ(4,-1)^2, Theorem 4.8 is false. A smaller check is to verify that every term in the expansion is convergent and that the recursion terminates after finitely many steps for this pair.","tokens_in":30532,"feed_emoji":"🔢","tokens_out":7050,"duration_ms":64241,"temperature":0.7,"pith_summary":"Multiple zeta values are usually studied with positive integer arguments, where the shuffle product comes from iterated integrals. This paper constructs an extended shuffle product on the vector space spanned by all integer argument vectors whose partial sums satisfy the convergence test, so that vectors involving zero and negative entries are included. It proves that the convergent integer points form a subalgebra under this product, and that evaluating each vector as a multiple zeta series is an algebra homomorphism to the real numbers. If correct, this gives the algebraic structure of multiple zeta series on the whole convergent integer region and extends the double shuffle framework beyond positive arguments.","feed_headline":"Shuffle product reaches negative entries of multiple zeta series","feed_subtitle":"Convergent integer vectors form a subalgebra and summation is an algebra homomorphism to R.","key_machinery":"The argument runs on three pieces. First, the extended shuffle product X on H_Z is defined by a five-case recursion using the differential operator J, which subtracts 1 from the first entry and sends 1 to 0; J replaces the Rota-Baxter integral operator I that characterizes the classical shuffle product, since J is its inverse on positive-depth elements. Second, the product is lifted to the locality algebra of Chen symbols, abstract fractions [s; i] whose evaluation map F sends them to generalized Chen fractions (products of powers of partial sums of formal variables); locality—two symbols are compatible when their variable sets are disjoint—keeps the products finite. Third, a modified notion of partial weights w̃_j is introduced to control the tail behaviour of the series expansion, and Proposition 4.4 gives a lower bound on the partial weights of every term in [s] X [t] in terms of the modified weights of the factors. That bound is what proves $H^{0}$_Z is a subalgebra, and the chain of algebra homomorphisms through Chen symbols and Chen fractions is what proves the evaluation map respects the product.","core_discovery":"The central claim is Theorem 4.8: the linear evaluation map ζ_X from $H^{0}$_Z, the subspace spanned by convergent multiple zeta series with arbitrary integer arguments, to R, is an algebra homomorphism. In plainer terms, for any two convergent integer vectors [s] and [t], the extended shuffle product [s] X [t] still lies in the convergent subspace, and its zeta series equals ζ([s]) ζ([t]). The product is not commutative—for instance [0] X [-1] = [0,-1] while [-1] X [0] = [-1,0] - [0,-1]—so the paper replaces the usual shuffle algebra for positive arguments with a new associative graded product that restricts to the old shuffle product on H_{Z≥1}.","pith_inferences":["If Theorem 4.8 holds, it suggests a practical way to discover new relations: compute the extended shuffle product of two convergent integer vectors, expand it as a Z-linear combination of basis vectors, and compare the resulting numerical identity with known MZV relations.","The same machinery may extend to the divergent region via locality renormalisation, since Chen symbols and meromorphic germs have already been used to renormalise divergent series and the differential-operator formulation could give a shuffle counterpart to the stuffle renormalisation of divergent multiple zeta values.","A testable consequence is that the product [4,-1] X [4,-1], computed by the recursion, should be a convergent linear combination whose zeta evaluation equals ζ(4,-1)^2; checking this numerically would give a direct verification of the homomorphism at the first negative-entry case.","The dependence on the case-by-case proof of Proposition 3.4 means that any gap in that expansion would break the bridge between the combinatorial product and ordinary multiplication of functions, so a formal proof of that proposition is the most urgent next step."],"forward_implications":["The usual shuffle algebra for positive arguments, and the extended double shuffle framework for positive integers, sit inside this larger algebra as the restriction to H_{Z≥1}.","Every algebraic identity in H^0_Z under the extended shuffle product translates into a numerical identity among convergent multiple zeta series, including series with negative or zero entries.","The locality-algebra viewpoint gives a direct model of the summation process: sums of Chen fractions correspond to sums of Chen symbols before evaluation, so convergence is read off from formal partial-weight data.","The depth grading of H_Z is respected by the product, so the extended shuffle algebra admits a graded basis that could support a Hopf-algebra or duality structure, which the authors indicate they explore in a followup paper.","The noncommutativity of the product at non-positive entries means the algebraic relations among convergent integer-indexed multiple zeta series are richer than the classical commutative shuffle relations, potentially yielding new Q-linear relations."],"supporting_citations":[{"why":"Defines the Rota-Baxter characterization of the shuffle product that the paper extends by replacing the integral operator I with the differential operator J.","marker":"[12]"},{"why":"Introduces the extended double shuffle algebra on positive integers that this paper generalizes to all convergent integer arguments.","marker":"[14]"},{"why":"Supplies the original definition of Chen fractions that the paper generalizes to arbitrary integer exponents.","marker":"[7]"},{"why":"Provides the locality algebra framework used to organize Chen symbols and Chen fractions.","marker":"[3]"},{"why":"Shows the space of meromorphic germs with linear poles is a locality algebra, giving the locality relation on generalized Chen fractions.","marker":"[9]"},{"why":"Establishes the shuffle relation for fractions from multiple zeta values, the direct predecessor of the Chen-symbol bridge used in Theorem 4.8.","marker":"[11]"}],"fun_headline_variants":["Extended shuffle handles negative integer zeta values","New shuffle product on integer-argument zeta series","Shuffle product extended to all integer zeta arguments","Extended shuffle turns convergent zeta series into algebra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on the unproven claim that multiplying two generalized Chen fractions with disjoint variables always produces a finite linear combination of such fractions, and on the unverified termination of the recursive product definition; if either fails, the main theorem does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Extended shuffle handles negative integer zeta values","New shuffle product on integer-argument zeta series","Shuffle product extended to all integer zeta arguments","Extended shuffle turns convergent zeta series into algebra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000452,"raw_usage":{"total_tokens":2252,"prompt_tokens":896,"completion_tokens":1356,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":512,"completion_tokens_details":{"reasoning_tokens":1296}},"tokens_in":512,"tokens_out":1356,"duration_ms":11150,"temperature":1.0,"reasoning_tokens":1296,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T21:32:34.453213+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the extended shuffle product [4,-1] X [4,-1] by the recursion of Definition 2.6, expand the result in the basis of $H^{0}$_Z, and evaluate each term as a multiple zeta series; if the sum differs from ζ(4,-1)^2, Theorem 4.8 is false. A smaller check is to verify that every term in the expansion is convergent and that the recursion terminates after finitely many steps for this pair.","supporting_citations":[{"cited_title":"Guo and B","cited_arxiv_id":null,"evidence_quote":"Defines the Rota-Baxter characterization of the shuffle product that the paper extends by replacing the integral operator I with the differential operator J."},{"cited_title":"Ihara, M","cited_arxiv_id":null,"evidence_quote":"Introduces the extended double shuffle algebra on positive integers that this paper generalizes to all convergent integer arguments."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the original definition of Chen fractions that the paper generalizes to arbitrary integer exponents."},{"cited_title":"Clavier, L","cited_arxiv_id":null,"evidence_quote":"Provides the locality algebra framework used to organize Chen symbols and Chen fractions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows the space of meromorphic germs with linear poles is a locality algebra, giving the locality relation on generalized Chen fractions."},{"cited_title":"Guo and B","cited_arxiv_id":null,"evidence_quote":"Establishes the shuffle relation for fractions from multiple zeta values, the direct predecessor of the Chen-symbol bridge used in Theorem 4.8."}],"review_version":1}