REVIEW 2 major objections 5 minor 47 references
Yamamoto's interpolation of finite multiple zeta and zeta-star values
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A single polynomial parameter $t$ interpolates between finite multiple zeta values and their zeta-star variants, and the paper proves the cyclic-sum, Bowman–Bradley, and weighted-sum relations hold at every $t$.
desk verdict Useful interpolation of finite MZV relations; the headline cyclic sum theorem for S-type depends on an unpublished result, but the rest is solid and the paper deserves review after that dependency is addressed. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the $t$-index: for an index $\mathbf{k}=(k_1,\dots,k_r)$, write $\mathbf{k}_t$ for the sum over all ways to replace each $\square$ in $k_1\square k_2\square\cdots\square k_r$ by a comma or a plus, weighted by $t^{\#\text{plus}}$; applying the finite zeta map $\zeta^t_F$ to $\mathbf{k}_t$ gives the interpolated value, and the coefficient of $t^m$ isolates the depth-$m$ contributions. For the cyclic sum proof, the key construction is the cyclic index $C_m(\mathbf{k})$, obtained by the same summation with $m$ pluses and a cyclic wrap-around that merges the last and first entries; Proposition 2.2 shows the $t^m$-coefficient of the difference between the two sides of the cyclic sum formula equals $\zeta_F(F^0(C_m(\mathbf{k})))$, reducing every $t$-degree to the known $t=0$ cyclic sum. For the Bowman–Bradley family the key mechanism is the recurrence of Proposition 3.2, which expresses $(n+1)B^{(n+1)}_{l,m}[a]$, the coefficient of $t^{n+1}$ in the $t$-index of the shuffle sum $B_a$, as a combination of $B^{(n)}$ terms with shifted arguments, so that the $n=0$ theorem for finite values propagates to all $n$. For the weighted sum formula, the auxiliary element $H(k,r,n)=F(k,r,n)+S'(k,r,n)+G'(k,r,n)$ together with the duality map $\varphi$ plays the central role: Proposition 4.4 shows $H+\varphi(H)$ is either $0$ or a multiple of $(\{1\}^k)$, and both are killed by $\zeta_F$, using the sum formula and the Ohno-type relation.
What would settle it
Compute both sides of Theorem 1.2 for the index $\mathbf{k}=(2,3)$ as polynomials in $t$ in the A-valued setting at a small prime, say $p=7$: reduce the coefficients of $t^0,t^1,t^2$ modulo $7$ and test whether the difference vanishes. A nonzero coefficient at any $t$-degree would refute the claimed family; conversely, matching all coefficients for a handful of small indices and primes would support it.
Extended reading notes
Core claim
The discovery is that the interpolation parameter $t$ is structurally transparent: every $t^n$-coefficient of the three main identities is forced by the $t=0$ identity applied to a cyclic or shuffle-modified index, so the polynomial family inherits all endpoint relations. Concretely, the paper proves the cyclic sum formula of Theorem 1.2 for indices $(k_1,\dots,k_r)\neq(1,\dots,1)$, the vanishing $\zeta^t_F(B_a)=0$ of the Bowman–Bradley sums of Theorem 3.1, and the weighted sum formula $\sum_{k_1+\cdots+k_r=k}2^{k_r-1}\zeta^t_F(k_1,\dots,k_r)=0$ for odd $r$ of Theorem 4.1, for every $t$ and both $F=A,S$. At $t=0$ these statements reduce to the known finite MZV relations; at $t=1$ they become the corresponding zeta-star relations. The paper also shows that the harmonic, shuffle, duality, and derivation relations extend to the $t$-family, so the entire algebraic calculus of finite values can be run with the parameter left free.
Load-bearing premise
For the S-valued interpolation, the proof of the cyclic sum formula imports the starting case $\zeta_S(F^0(C_m(\mathbf{k})))=0$ from a result cited as unpublished or as a preprint by the same authors; if that S-type cyclic sum is not accepted, the main theorem for $F=S$ is not self-contained.
Editorial extensions
If this is right
- At $t=0$ and $t=1$, Theorems 1.2, 3.1, and 4.1 recover the known cyclic-sum, Bowman–Bradley, and weighted-sum formulas for both the A- and S-type finite multiple zeta(-star) values, so each theorem is a simultaneous generalization of four endpoint statements.
- The coefficient-wise proof gives, for every $n$ between $0$ and the depth minus one, new relations among finite MZVs and MZSVs that have no separate name in the literature; these intermediate $t^n$-relations are new content even when the endpoints were known.
- The algebraic relations of Section 5 (harmonic, shuffle, duality, derivation, symmetric sum, antipode-like, and Hoffman relations) hold for the $t$-family, extending the two-variable algebraic setup of classical interpolated values to the finite setting.
- Because the identities are polynomial in $t$, any endpoint relation that can be phrased coefficient-wise automatically transports across the interpolation, offering a template for future finite-value relations.
- The weighted-sum formula for odd $r$ has no known analogue in the classical $t$-MZV world, so this part of the interpolation is special to the finite setting.
Reading between the lines
- If the coefficient-transfer mechanism generalizes, the same $t$-interpolation should work for other finite-value families, such as cyclotomic finite multiple zeta values or truncated $t$-adic symmetric values, with the same three theorems holding in identical polynomial shape.
- A concrete research task is to give a fully self-contained proof of $\zeta_S(F^0(C_m(\mathbf{k})))=0$; this would make Theorem 1.2 independent of the unpublished S-type cyclic sum and might reveal an elementary cyclic-sum identity for S-values.
- One could treat $t$ as a deformation parameter and evaluate the proved polynomial identities at special algebraic values of $t$, such as roots of unity, to obtain new explicit zero relations in $\mathcal{A}$ and $\mathbb{Z}/\zeta(2)\mathbb{Z}$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines, for each index k, a polynomial ζ^t_F(k) in a variable t that interpolates between the finite multiple zeta value (t=0) and the finite multiple zeta-star value (t=1), for both F=A and F=S. The main results are Theorem 1.2 (cyclic sum formula), Theorem 1.3/3.1 (Bowman–Bradley type vanishing), Theorem 1.5/4.1 (weighted sum formula), and a Section 5 collection of harmonic, shuffle, duality, and derivation relations. The proofs expand coefficients in t and reduce them to already known finite-multiple-zeta relations, with some combinatorial counting arguments in Sections 3 and 4.
Significance. Interpolated finite multiple zeta values are a natural finite analogue of Yamamoto's t-MZVs, and the paper shows that several important relation families (cyclic sum, Bowman–Bradley, weighted sum) hold for the interpolating polynomial rather than only at the endpoints t=0 and t=1. Since ζ^0_F is the finite multiple zeta value and ζ^1_F is the finite multiple zeta-star value, each theorem simultaneously carries the corresponding ordinary and star relations. The algebraic setup in Section 5 is clean and likely to be useful, and the proofs are mostly transparent reductions to published results, with explicit combinatorial counting in Lemma 4.5 and Lemma 4.7. The principal caveat is the S-type cyclic-sum dependence discussed in the major comments.
major comments (2)
- [Section 2, Theorem 1.2 (F=S case)] The proof of Theorem 1.2 for F=S is not self-contained. The step ζ_F(F^0(C_m(k)))=0 for S-type finite multiple zeta values is justified only by 'Hirose–Sato (unpublished)' or by [7, Theorem 2.4], where [7] is a preprint of Hirose, Murahara, and Ono, two of the present authors. Because Theorem 1.2 is one of the paper's main theorems, the S-type case rests on an unpublished or non-peer-reviewed source. The A-type case is fine, since it cites the published theorem of Kawasaki–Oyama [20, Theorem 1.2]. Please either include a proof of the S-type cyclic sum identity for F^0(C_m(k)), or restrict the claim for F=S to a conditional statement with a clearly identified published reference once [7] or the Hirose–Sato work is available.
- [Section 2, Proposition 2.2] Even the algebraic reduction in Proposition 2.2 uses [7, Lemma 6.3] in an essential way, as do equations (3), (4), (5), and (6). Since [7] is an unpublished preprint by two of the present authors, the main theorem for F=S depends on it twice: once for the coefficient identity and once for the t=0 cyclic-sum relation. The paper should state and prove the needed lemma, or at least give a complete proof of Proposition 2.2 without citing the preprint. This is a load-bearing issue for the central claim, not merely a citation-format concern.
minor comments (5)
- [General] The reference list contains several unpublished or in-preparation items ([7], [17], [19], [31], [36]); these should be updated before publication, and the phrase 'Hirose–Sato (unpublished)' in Section 2 should be replaced by a stable reference or a proof in the paper.
- [Section 3, equation (8)] In the displayed formula for the third sum in equation (8), the words 'remove ci' and 'remove cj' appear in the printed text. This appears to be a typesetting artifact and should be corrected.
- [Section 4, Lemma 4.5] The variable i is overloaded: the proof says 'Choose i (1 ≤ i ≤ a_d)' and then uses i both as the position of the dashed line and as the summation index in formula (13). Please rename one of them to avoid confusion.
- [Section 4, proof of Theorem 4.1] In the first displayed equation of the proof, 'ζF(H(k,r,n)' is missing a closing parenthesis; it should read 'ζF(H(k,r,n))'.
- [Section 5.3, Theorem 5.13] In the proof of Theorem 5.13, the expression 'S^{-t}(yH_t^x)' should be 'S_{-t}(yH_t^x)' or otherwise disambiguated, since the notation S_t is used elsewhere for the automorphism on H_t.
Circularity Check
No circularity: the t-interpolated FMZV relations are reduced coefficientwise to prior t=0 finite-MZV results, with the t-polynomial identities established by internal combinatorial arguments.
full rationale
The paper's central claims are polynomial identities in t. For Theorem 1.2, Proposition 2.2 shows the coefficient at t^m of F^t(k) is F^0(C_m(k)); the proof then invokes the t=0 cyclic sum formula for FMZVs (Kawasaki–Oyama for A, Hirose–Sato or [7, Thm 2.4] for S). This is a genuine reduction, not a renaming: the coefficient identity is a nontrivial internal statement (Lemma 2.1, Proposition 2.2) and the t=0 input is a separate prior result. The F=S branch depends on an unpublished or self-authored source, but that affects self-containedness and verification, not circularity, because no equation of the present theorem is defined from that source. Theorem 3.1 is proved by induction whose base is Saito–Wakabayashi's external Bowman–Bradley theorem and whose inductive step is an internal counting identity (Prop 3.2). Theorem 4.1 reduces zeta_F(F(k,r,n))=0 to the sum formula, duality, and Ohno-type relation; these are cited prior theorems, and the proof does not fit any parameter to the target. Section 5 relations are obtained by transporting known t=0 relations through the invertible St operator; this is standard algebraic transfer, not circular. No self-definitional, fitted-input, or renaming pattern is present.
Assumptions & free parameters
assumptions (5)
- domain assumption The ring A = prod_p F_p / oplus_p F_p is a Q-algebra and the finite multiple zeta values zeta_A and zeta_S are defined as in Kaneko-Zagier.
- domain assumption Both F=A and F=S satisfy the same baseline relations: sum formula, cyclic sum formula, duality, shuffle, Ohno-type, and derivation relations.
- domain assumption The S-FMZV cyclic sum formula holds, via Hirose-Sato (unpublished) or [7, Theorem 2.4].
- standard math The map S_t is an automorphism of H_t with S_t(H1_t)=H1_t and S_t(yHtx)=yHtx, and Z^t_F = Z_F composed with S_t.
- standard math The duality map phi(x)=x+y, phi(y)=-y satisfies Z_F(w)=Z_F(phi(w)) for w in H1.
Cite this review
Pith. "Pith review of Yamamoto's interpolation of finite multiple zeta and zeta-star values." pith.science (2026). https://pith.science/paper/QYIL3NIR
@misc{pith2026190809307,
author = {Pith},
title = {Pith review of: Yamamoto's interpolation of finite multiple zeta and zeta-star values},
year = {2026},
howpublished = {\url{https://pith.science/paper/QYIL3NIR}},
note = {Machine review of arXiv:1908.09307}
}
abstract
We study a polynomial interpolation of finite multiple zeta and zeta-star values with variable $t$, which is an analogue of interpolated multiple zeta values introduced by Yamamoto. We introduce several relations among them and, in particular, prove the cyclic sum formula, the Bowman-Bradley type formula, and the weighted sum formula. The harmonic relation, the shuffle relation, the duality relation, and the derivation relation are also presented.
Reference graph
Works this paper leans on
-
[7]
On variants of symmetric multiple zeta-star values and the cyclic sum formula
M. Hirose, H. Murahara, and M. Ono, On variants of symmetric multiple zeta-star values and the cyclic sum formula , preprint, arXiv:2001.03832
work page Pith review arXiv 2001
-
[1]
H. Bachmann, Y. Takeyama and K. Tasaka, Cyclotomic analogues of finite multiple zeta values , Compositio Math. 154 (2018), 2701–2721
work page 2018
-
[2]
H. Bachmann and T. Tanaka, Rooted tree maps and the derivation relation for multiple ze ta values , Int. J. Number Theory 14 (2018), 2657–2662
work page 2018
-
[3]
D. Bowman and D. M. Bradley, The algebra and combinatorics of shuffles and multiple zeta va lues, J. Combin. Theory Ser. A 97 (2002), 43–61
work page 2002
- [4]
-
[5]
Double shuffle relations for refined symmetric multiple zeta values
M. Hirose, Double shuffle relations for refined symmetric multiple zeta v alues, preprint, arXiv:1807.04747v2
- [6]
- [8]
Show all 47 references
-
[9]
M. E. Hoffman, Multiple harmonic series , Pacific J. Math. 152 (1992), 275–290
1992
-
[10]
M. E. Hoffman, The algebra of multiple harmonic series , J. Algebra 194 (1997), 477–495
1997
-
[11]
M. E. Hoffman, Quasi-shuffle products , J. Algebraic Combin. 11 (2000), 49–68
2000
-
[12]
M. E. Hoffman, Quasi-symmetric functions and mod p multiple harmonic sums , Kyushu J. Math. 69 (2015), 345–366
2015
-
[13]
M. E. Hoffman and Y. Ohno, Relations of multiple zeta values and their algebraic expre ssion, J. Algebra, 262 (2003), 332–347
2003
-
[14]
Horikawa, H
Y. Horikawa, H. Murahara, and K. Oyama, A note on derivation relations for multiple zeta values and finite multiple zeta values , preprint, arXiv:1809.08389
-
[15]
Ihara, J
K. Ihara, J. Kajikawa, Y. Ohno, and J. Okuda, Multiple zeta values vs. multiple zeta-star values , J. Algebra 332 (2011), 187–208
2011
-
[16]
Ihara, M
K. Ihara, M. Kaneko, and D. Zagier, Derivation and double shuffle relations for multiple zeta val ues, Compositio Math. 142 (2006), 307–338. YAMAMOTO’S INTERPOLATION OF FMZVS AND FMZSVS 23
2006
-
[17]
Jarossay, Double m´ elange des multizˆ etas finis et multizˆ etas sym´ etris´ es, C
D. Jarossay, Double m´ elange des multizˆ etas finis et multizˆ etas sym´ etris´ es, C. R. Acad. Sci. Paris, 352 (2014), 767–771
2014
-
[18]
Kaneko, An introduction to classical and finite multiple zeta values , Publications math´ ematiques de Besan¸ con, no
M. Kaneko, An introduction to classical and finite multiple zeta values , Publications math´ ematiques de Besan¸ con, no. 1 (2019), 103–129
2019
-
[19]
Kaneko and D
M. Kaneko and D. Zagier, Finite multiple zeta values , in preparation
-
[20]
Kawasaki and K
N. Kawasaki and K. Oyama, Cyclic sum of finite multiple zeta values , Acta Arith. 195 (2020), 281–288
2020
-
[21]
Kawashima, A class of relations among multiple zeta values , J
G. Kawashima, A class of relations among multiple zeta values , J. Number Theory 129 (2009), 755–788
2009
-
[22]
Komori and K
Y. Komori and K. Matsumoto and H. Tsumura, Shuffle products of multiple zeta values and partial fraction decompositions of zeta-functions of root systems , Math. Z. 268 (2011), 993–1011
2011
-
[23]
Li, Algebraic relations of interpolated multiple zeta values , preprint, arXiv:1904.09887
Z-h. Li, Algebraic relations of interpolated multiple zeta values , preprint, arXiv:1904.09887
1904 arXiv
-
[24]
Li and C
Z-h. Li and C. Qin, Some relations of interpolated multiple zeta values , Int. J. Math. 28 (2017), art. 175033 (25 pp)
2017
-
[25]
Li and C
Z-h. Li and C. Qin, Weighted sum formulas of multiple zeta values of even argume nts, Math. Z. 291 (2019), 1337–1356
2019
-
[26]
Li and C
Z-h. Li and C. Qin, Some relations deduced from regularized double shuffle relat ions of multiple zeta values, to appear in Int. J. Number Theory
-
[27]
Machide, Use of the generating function to generalize the sum formula for quadruple zeta values , Tokyo J
T. Machide, Use of the generating function to generalize the sum formula for quadruple zeta values , Tokyo J. Math. 42, Number 2 (2019), 329–355
2019
-
[28]
Muneta, Algebraic setup of non-strict multiple zeta values , Acta Arith
S. Muneta, Algebraic setup of non-strict multiple zeta values , Acta Arith. 136 (2009), 7–18
2009
-
[29]
Murahara, A note on finite real multiple zeta values , Kyushu J
H. Murahara, A note on finite real multiple zeta values , Kyushu J. Math. 70 (2016), 345–366
2016
-
[30]
Murahara, Derivation relations for finite multiple zeta values , Int
H. Murahara, Derivation relations for finite multiple zeta values , Int. J. Number Theory 13 (2017), 419–427
2017
-
[31]
Murahara, A combinatorial proof of the weighted sum formula for finite a nd symmetric multiple zeta(-star) values , to appear in Kobe J
H. Murahara, A combinatorial proof of the weighted sum formula for finite a nd symmetric multiple zeta(-star) values , to appear in Kobe J. Math
-
[32]
Nakamura, Restricted and weighted sum formulas for double zeta values of even weight , ˇSialiai Math
T. Nakamura, Restricted and weighted sum formulas for double zeta values of even weight , ˇSialiai Math. Semin. 4(12) (2009), 151–155
2009
-
[33]
Ohno and N
Y. Ohno and N. Wakabayashi, Cyclic sum of multiple zeta values , Acta Arith. 123 (2006), 289–295
2006
-
[34]
Ohno and W
Y. Ohno and W. Zudilin, Zeta stars , Commun. Number Theory Phys. 2 (2008), 325–347
2008
-
[35]
Ono, Finite multiple zeta values associated with 2-colored root ed trees, J
M. Ono, Finite multiple zeta values associated with 2-colored root ed trees, J. Number Theory 181, (2017), 99–116
2017
-
[36]
M. Ono, S. Seki and S. Yamamoto, Truncated t-adic symmetric multiple zeta values and double shuffle relations , in preparation
-
[37]
Oyama, Ohno-type relation for finite multiple zeta values , Kyushu J
K. Oyama, Ohno-type relation for finite multiple zeta values , Kyushu J. Math. 72 (2018), 277–285
2018
-
[38]
Saito, Numerical tables of finite multiple zeta values, RIMS Kˆ o kyˆ uroku Bessatsu,B68 (2017), 191–208
S. Saito, Numerical tables of finite multiple zeta values, RIMS Kˆ o kyˆ uroku Bessatsu,B68 (2017), 191–208
2017
-
[39]
Saito and N
S. Saito and N. Wakabayashi, Sum formula for finite multiple zeta values , J. Math. Soc. Japan 67 (2015), 1069–1076
2015
-
[40]
Saito and N
S. Saito and N. Wakabayashi, Bowman–Bradley type theorem for finite multiple zeta values , Tohoku Math. J. 68 (2016), 241–251
2016
-
[41]
Seki, Finite multiple polylogarithms , Doctoral Thesis (Osaka university knowledge archive)
S. Seki, Finite multiple polylogarithms , Doctoral Thesis (Osaka university knowledge archive)
-
[42]
Seki and S
S. Seki and S. Yamamoto, Ohno-type identities for multiple harmonic sums , J. Math. Soc. Japan 72, Number 3 (2020), 673–686
2020
-
[43]
Tanaka and N
T. Tanaka and N. Wakabayashi, Kawashima’s relations for interpolated multiple zeta valu es, J. Algebra 447 (2016), 424–431
2016
-
[44]
Wakabayashi, On Hoffman’s relation for multiple zeta-star valu es, Int
N. Wakabayashi, On Hoffman’s relation for multiple zeta-star valu es, Int. J. Number Theory 8 (2012), 1971–1976
2012
-
[45]
Wakabayashi, Double shuffle and Hoffman’s relations for interpolated multi ple zeta values , Int
N. Wakabayashi, Double shuffle and Hoffman’s relations for interpolated multi ple zeta values , Int. J. Number Theory 13 (2017), 2245–2251
2017
-
[46]
Yamamoto, Interpolation of multiple zeta and zeta-star values , J
S. Yamamoto, Interpolation of multiple zeta and zeta-star values , J. Algebra 385 (2013), 102–114
2013
-
[47]
S. A. Zlobin, Generating functions for the values of a multiple zeta funct ion, (Russian) ; translated from Vestnik Moskov. Univ. Ser. I Mat. Mekh. 2005, no. 2, 55–59, 73 Moscow Univ. Math. Bull. 60 (2005), no. 2, 44–48. 24 HIDEKI MURAHARA AND MASATAKA ONO (Hideki Murahara) Na...
2005
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.