{"id":"4cee1ef7-1444-4827-8c28-5aaa7a2b226a","arxiv_id":"2607.04960","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Truncated multiple zeta values with integer arguments, organized by an extended quasi-shuffle algebra, give systematic closed forms for power sums of harmonic numbers and related infinite series.","lead":"The paper extends truncated multiple zeta values to arbitrary integer arguments and builds a larger quasi-shuffle algebra to sum powers of harmonic numbers systematically. The resulting closed forms yield explicit infinite-series identities that mix harmonic numbers with zeta tails.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The manuscript supplies a clean algebraic extension of the quasi-shuffle product to integer indices, equips it with the operators H and D, and derives a uniform formula for power sums of generalized harmonic numbers. The only potential soft spot is the verification of the two polynomial identities used in the induction for (10); those identities are standard consequences of Faulhaber's formula and the Stirling recurrence, so an undetected slip is improbable and would be immediately visible upon direct low-weight expansion. All subsequent summation and limit theorems rest on this foundation and on elementary rearrangements that introduce no further risk. The reader's ACCEPT verdict with high confidence is therefore left unchanged.","tokens_in":18403,"tokens_out":437,"duration_ms":4043,"concrete_test":"Independently expand both sides of the claimed identity (10) for the concrete low-weight case p=2, w=z_1 (or p=3, w=1) by applying the definitions of H, D and the quasi-shuffle product, then compare coefficients of the resulting linear combination of truncated zeta values against the closed form given by Theorem 2.6; agreement for these cases confirms that the inductive base and the two auxiliary identities hold.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest_assumption correctly flags the inductive step for operator identity (10) in the proof of Theorem 2.6, but that step is elementary and self-contained: the two auxiliary identities (i) and (ii) reduce to the standard recurrence relating Faulhaber polynomials (Eq. (12)) and the known Stirling-number expansion of powers, both of which are classical and independently verifiable. No hidden analytic assumption, convergence gap, or circularity appears in the subsequent passage from finite sums (Theorem 4.1, Corollary 4.2) to the concrete series evaluations of Proposition 5.3. The alternating-case treatment is acknowledged as ad-hoc and does not underwrite the main non-alternating claims. Consequently the central algebraic machinery and the explicit identities it produces stand on firm ground.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper extends truncated multiple zeta values to arbitrary integer arguments (including zero and negatives), constructs the quasi-shuffle algebra E on letters z_i for i in Z, and equips it with operators H and D. These tools yield systematic closed-form evaluations of the finite sums sum_{k=1}^n k^a (H_k^{(r)})^p. Passage to the limit then produces explicit evaluations of convergent series such as sum H_n^3 (T_n(2)-1/n) = -11/2 zeta(4)+zeta(3)+3 zeta(2)-6, together with analogous identities for alternating harmonic numbers.","tokens_in":18587,"tokens_out":620,"duration_ms":16196,"significance":"The algebraic framework unifies and extends a collection of classical and sporadic harmonic-sum identities (Ramanujan, Spieß, etc.) under a single quasi-shuffle calculus. The operator identities and the resulting Faulhaber-type formulae for negative arguments are clean and reusable; the concrete series evaluations are new and of genuine interest in the multiple-zeta community. Complete inductive proofs for the core algebraic statements and explicit, checkable formulae constitute clear strengths.","major_comments":[],"minor_comments":[{"comment":"Throughout the manuscript the title appears as “TRUNCATED MULTIPLE ZETA V ALUES” (space inside “VALUES”); the same spacing artefact occurs in running heads. Correct to “VALUES”.","section":"title / running heads"},{"comment":"In Theorem 6.2 and its proof the piecewise definition of α_i is typeset identically for even and odd parts (“ai if even; ai if odd”). From the subsequent appearance of barred arguments it is clear that the odd case should carry a bar; the missing bars make the statement unreadable.","section":"§6, Theorem 6.2"},{"comment":"Proposition 2.10 and Corollary 4.5 contain lengthy multi-line formulae whose line-breaking and alignment could be improved for readability; a few intermediate steps (especially the extraction of coefficients of t^m/m!) are left as “after some manipulation”.","section":"§2, Prop. 2.10; §4, Cor. 4.5"},{"comment":"The alternating section (§6) is explicitly labelled ad-hoc; a one-sentence forward reference to the hoped-for extension of E would help the reader understand why the same systematic treatment is not yet available.","section":"§6, final paragraph"}],"recommendation":"accept","confidential_remarks":"The manuscript is solid and self-contained; the only real limitation is the ad-hoc character of the alternating results, which the authors themselves flag. Fit for a number-theory journal is excellent. No citation or novelty concerns."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real news here is the algebra E: quasi-shuffle on all integer letters z_i with addition as the diamond product, plus the operators H and D. That package lets them evaluate the finite sums sum k^a (H_k^{(r)})^p uniformly (Theorem 4.1 and its corollaries) and then pass to the limit to get explicit evaluations of series such as sum H_n^3 (T_n(2) - 1/n) = -11/2 zeta(4) + zeta(3) + 3 zeta(2) - 6. Those closed forms, and the parallel alternating ones, appear to be new.\n\nWhat works well is the organization. Once you accept the quasi-shuffle product on E, the finite-sum identities follow by induction and Stirling/Faulhaber bookkeeping; the infinite-series results are then just rearrangements justified by absolute convergence or the Euler-Maclaurin tails. The negative-argument material (Faulhaber via Bernoulli polynomials, reciprocity for repeated arguments) is cleanly integrated rather than bolted on. Citations are appropriate; the self-references supply the earlier QSym background without circularity.\n\nSoft spots are minor and already flagged by the authors. The inductive check of the key operator identity (10) rests on two elementary polynomial identities that reduce to classical recurrences; they are verifiable by hand and do not hide analytic assumptions. The alternating section is deliberately ad-hoc (no full quasi-shuffle algebra yet), so those results stand alone and do not underwrite the main non-alternating claims. No free parameters, no circular fitting, no convergence gaps that affect the stated theorems.\n\nThis is for people who already work with MZVs, harmonic sums, or quasi-symmetric functions and want a systematic machine rather than case-by-case identities. It is not a paradigm shift, but it is a genuine, usable extension. I would send it to referees without hesitation; the math is elementary once the setup is granted and can be checked line-by-line. Worth engaging if the subfield is on your radar.","headline":"Solid algebraic extension of truncated MZVs that systematically produces new harmonic-power and zeta-tail identities; the core calculus is clean and the series evaluations look new.","tokens_in":19220,"tokens_out":527,"would_cite":true,"duration_ms":4873,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M32","05E05"],"pacs":[],"model":"grok-4.5","headline":"An extended quasi-shuffle algebra systematically sums powers of harmonic numbers and evaluates related infinite series.","keywords":["truncated multiple zeta values","quasi-shuffle algebra","harmonic numbers","Faulhaber polynomials","alternating harmonic numbers","multiple zeta values","stuffle product"],"falsifier":"Direct high-precision numerical comparison of both sides of the closed-form identity for sum_{k=1}^N k (H_k)^3 (or any other low-weight case of Corollary 4.5) for a large N; any discrepancy beyond floating-point error falsifies the claim.","tokens_in":19281,"feed_emoji":"∑","tokens_out":686,"duration_ms":5372,"temperature":0.7,"pith_summary":"The paper enlarges the usual notion of truncated multiple zeta values so that every integer (positive, negative or zero) is allowed as an argument. The resulting finite sums still obey the same quasi-shuffle multiplication rules that multiple zeta values satisfy, but the algebraic home for those rules must be expanded from the algebra of quasi-symmetric functions to a larger quasi-shuffle algebra E generated by letters indexed by all integers. Inside E the authors introduce two linear operators that convert ordinary truncated zetas into cumulative sums and into sums weighted by powers of the index. With those tools they obtain closed-form expressions for every finite sum of the shape sum k^a (H_k^{(r)})^p. Sending n to infinity then produces explicit evaluations of many convergent series that mix ordinary harmonic numbers with the tails of the Basel problem series. Parallel identities are derived for alternating harmonic numbers. The payoff is a uniform algebraic machine that replaces ad-hoc manipulations by a single systematic procedure.","feed_headline":"Algebra sums powers of harmonic numbers in closed form","feed_subtitle":"An extended quasi-shuffle product turns finite harmonic sums into zeta values and evaluates new infinite series","key_machinery":"The extended quasi-shuffle algebra E on letters z_i (i in Z) together with the two operators H (left multiplication by z_0) and D (decrement of the leading index). These convert the quasi-shuffle product into concrete summation identities (Theorem 2.6 and Theorem 4.1).","core_discovery":"Truncated multiple zeta values with unrestricted integer arguments live in an extended quasi-shuffle algebra E. The operators H and D on E turn any such value into the corresponding partial-sum and weighted-sum formulae, yielding explicit polynomial expressions for every sum sum_{k=1}^n k^a (H_k^{(r)})^p and, after passage to the limit, closed evaluations of series such as sum H_n^3 (T_n(2)-1/n) in terms of ordinary zeta values.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Extended quasi-shuffle algebra sums harmonic powers to zetas","Truncated MZVs convert harmonic powers into closed zeta forms","Harmonic number powers yield explicit zeta evaluations","Quasi-shuffle operators evaluate series of cubed harmonics","Unrestricted truncated zetas give harmonic power identities"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The central operator identity that converts powers of z_0 into weighted sums rests on two auxiliary polynomial identities that are verified only by direct expansion with Faulhaber polynomials and Stirling numbers; an algebraic slip in either expansion would invalidate all subsequent formulae.","fun_headline_variants_meta":{"raw":{"variants":["Extended quasi-shuffle algebra sums harmonic powers to zetas","Truncated MZVs convert harmonic powers into closed zeta forms","Harmonic number powers yield explicit zeta evaluations","Quasi-shuffle operators evaluate series of cubed harmonics","Unrestricted truncated zetas give harmonic power identities"]},"model":"grok-4.5","effort":"low","cost_usd":0.003596,"raw_usage":{"total_tokens":1108,"prompt_tokens":715,"num_sources_used":0,"completion_tokens":61,"cost_in_usd_ticks":35960000,"prompt_tokens_details":{"text_tokens":715,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":332,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":715,"tokens_out":61,"duration_ms":3048,"temperature":1.0,"reasoning_tokens":332,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T10:53:24.063645+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Direct high-precision numerical comparison of both sides of the closed-form identity for sum_{k=1}^N k (H_k)^3 (or any other low-weight case of Corollary 4.5) for a large N; any discrepancy beyond floating-point error falsifies the claim.","supporting_citations":[],"review_version":1}