Pith. sign in

REVIEW 4 minor 9 references

Truncated Multiple Zeta Values

T0 review · 0 major / 4 minor · reviewed 2026-07-11 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read An extended quasi-shuffle algebra systematically sums powers of harmonic numbers and evaluates related infinite series.

desk verdict 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. read the letter →

arxiv 2607.04960 v1 pith:K53RQP7A submitted 2026-07-06 math.NT

Steven Charlton , Michael E. Hoffman This is my paper
classification math.NT MSC 11M3205E05
keywords truncatedmultiplezetavaluesquasi-shufflealgebraharmonicnumbersFaulhaberpolynomialsalternatingstuffleproduct
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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).

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

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.

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.

minor comments (4)
  1. [title / running heads] 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”.
  2. [§6, Theorem 6.2] 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.
  3. [§2, Prop. 2.10; §4, Cor. 4.5] 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”.
  4. [§6, final paragraph] 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.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; all summation identities and series evaluations follow by direct algebraic manipulation from the definitions of E, H and D.

full rationale

The paper constructs the quasi-shuffle algebra E on letters z_i (i in Z) and the operators H, D from first principles (Section 2). All subsequent finite-sum formulae (Theorem 4.1, Corollary 4.2, Theorem 4.4, etc.) are obtained by applying these operators to words and extracting coefficients via Stirling numbers and Faulhaber polynomials; the latter are re-proved internally (Theorem 3.2) rather than imported as black boxes. Passage to the infinite series of Section 5 is a term-by-term limit using only the elementary integral-test tails T_n(2) and the already-derived finite identities; no parameter is fitted and no target series is assumed. Self-citations ([5],[6]) supply only the classical definition of the quasi-shuffle product on QSym, which is independently standard and not used as a uniqueness or load-bearing premise for the new results. The alternating-case Section 6 is explicitly ad-hoc and does not underwrite the main claims. Consequently the derivation chain is self-contained.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The paper is pure mathematics. It rests on the standard theory of quasi-shuffle algebras, Stirling numbers, Bernoulli numbers/polynomials, and the classical definition of multiple zeta values. The only genuinely new object is the enlarged algebra E; everything else is either standard or derived inside the paper. No free parameters appear.

assumptions (4)
  • standard math The quasi-shuffle product on the free algebra generated by a commutative monoid is associative and commutative (Hoffman–Ihara).
    Invoked throughout §2 as the algebraic foundation of E; taken from the authors' earlier work and the broader literature.
  • standard math Faulhaber's formula expressing power sums as polynomials in n with Bernoulli coefficients.
    Used as the base case for negative-argument identities (Theorem 3.2) and for coefficient comparisons in Lemma 2.4.
  • standard math The recurrence and generating-function identities for (unsigned) Stirling numbers of the first and second kinds.
    Appear in Proposition 2.1, Lemma 2.4, and the proofs of Theorems 2.6 and 4.1.
  • domain assumption Absolute convergence of the series sum H_n^p (T_n(2)-1/n) for p≥1, justified by the asymptotic T_n(2)∼1/n-1/(2n^2).
    Needed to pass from finite-sum identities to the infinite-series evaluations of §5; standard by the integral test / Euler–Maclaurin.
invented entities (1)
  • Algebra E (quasi-shuffle algebra on letters z_i, i∈Z, with z_i⋄z_j=z_{i+j}) independent evidence
    purpose: Provides a single algebraic home for truncated MZVs with arbitrary integer arguments and for the operators H and D that generate the summation formulae.
    E properly contains QSym and is the central new formal object of the paper; its Hopf structure is noted but not used.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Truncated Multiple Zeta Values." pith.science (2026). https://pith.science/paper/K53RQP7A

@misc{pith2026260704960,
  author       = {Pith},
  title        = {Pith review of: Truncated Multiple Zeta Values},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/K53RQP7A}},
  note         = {Machine review of arXiv:2607.04960}
}
abstract

We generalize the definition of truncated multiple zeta values by allowing arbitrary integers as arguments. This leads to interesting identities, particularly with the argument 0. Truncated multiple zeta values satisfy the same quasi-shuffle algebraic identities as multiple zeta values, but we need to extend the algebra QSym of quasi-symmetric functions to a larger algebra. Using this algebra, we are able to sum systematically powers of harmonic and generalized harmonic numbers. This leads to summation identities such as \[ \sum_{n=1}^\infty H_n^3\bigg(\zeta(2)-\sum_{k=1}^n\frac{1}{k^2}-\frac{1}{n}\bigg)= -\frac{11}2\zeta(4)+\zeta(3)+3\zeta(2)-6. \] We also prove analogous identities involving alternating sums of harmonic numbers and their powers.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

9 extracted references · 4 canonical work pages

  1. [1]

    B. C. Berndt,Ramanujan’s Notebooks, Part I, Springer-Verlag, New York, 1985, pp. 91-95. doi:10.1007/978-1-4612-1088-7

    work page doi:10.1007/978-1-4612-1088-7 1985

  2. [2]

    J. M. Borwein, D. M. Bradley, and D. J. Broadhurst, Evaluation of k-fold Euler/Zagier sums: a compendium for arbitrary k,Electron. J. Combin.4(2)(1997), Paper R5. arXiv:hep-th/9611004 doi:10.37236/1320

    arXiv doi:10.37236/1320 1997

  3. [3]

    R. L. Graham, D. E. Knuth, and O. Patashnik,Concrete Mathematics, 2nd. ed., Addison-Wesley, New York, 1989

    1989

  4. [4]

    E. A. Herman, Solution to Problem 12102,Amer. Math. Monthly127(2020), 857-8. doi:10.1080/00029890.2020.1807286

    work page doi:10.1080/00029890.2020.1807286 2020

  5. [5]

    M. E. Hoffman, Algebraic aspects of multiple zeta values, inZeta Functions, Topology and Modern Physics, T. Aokiet. al.(eds.), Springer-Verlag, New York, 2005, pp. 51-73. doi:10.1007/0- 387-24981-8 4

    doi:10.1007/0- 2005

  6. [6]

    M. E. Hoffman and K. Ihara, Quasi-shuffle products revisited,J. Alg.481(2017), 293-326. arXiv:1610.05180 doi:10.1016/j.jalgebra.2017.03.005

    arXiv doi:10.1016/j.jalgebra.2017.03.005 2017

  7. [7]

    Jin and L

    H-T. Jin and L. H. Sun, On Spieß’s conjecture on harmonic numbers,Disc. Appl. Math.161 (2013), 2038-2041. doi:10.1016/j.dam.2013.03.024

    work page doi:10.1016/j.dam.2013.03.024 2013

  8. [8]

    N. J. A. Sloane,Online Encyclopedia of Integer Sequences, seq. A008955

Show all 9 references
  1. [9]

    Comp.55(1990), 839-863

    J.Spieß, Some identities involving harmonic numbers,Math. Comp.55(1990), 839-863. doi:10.2307/2008451 Email address:mail@stevencharlton.net Department of Mathematics, U. S. Naval Academy, Annapolis MD 21402 USA Email address:meh@usna.edu

    1990 doi

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.