Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

The $\mathbb{Z}$-module of multiple zeta values is generated by ones for indices without ones

T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Every multiple zeta value is an integer linear combination of zeta values whose entries are all at least 2.

desk verdict Genuinely new integrality result for MZV expansions, built on a clever finite-sum construction; the main proof has a real gap in the limit step that the authors should close, but the mathematics looks sound and deserves refereeing. read the letter →

arxiv 2505.07221 v2 pith:MUDW2OYF submitted 2025-05-12 math.NT

Minoru Hirose , Takumi Maesaka , Shin-ichiro Seki , Taiki Watanabe This is my paper · ORCID
classification math.NT MSC 11M32
keywords multiplezetavaluesintegercoefficientsindiceswithoutonesmodifiedharmonicsumszeta-diamondFibonaccidimensionKawashimarelationsHoffmanalgebra
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

This paper proves that every multiple zeta value of weight $k$ is a $\mathbb{Z}$-linear combination of multiple zeta values whose entries are all at least 2, with coefficients that are explicit integers and a recurrence that computes them. The proof goes through a new family of finite sums, the $\zeta^\diamondsuit$-values, which are designed so that they converge to ordinary multiple zeta values while already satisfying enough of the usual algebraic relations to force the reduction. The authors determine the full structure of the space generated by these finite sums: it has a basis indexed by entries $\ge 2$ and dimension equal to the Fibonacci number $F_{k-1}$. As a corollary, the same span equality holds for $t$-interpolated and star variants, and an upper bound $\dim_{\mathbb{Q}} Z_k \le F_{k-1}$ follows without motivic machinery. A second result embeds the extended Kawashima relations $\mathrm{LinKaw}^*$ into the new relation family $\mathrm{Drop}_1$.

What carries the argument

The central object is the modified multiple harmonic sum $\zeta^\diamondsuit_N(\mathbf{k})$, a finite sum in which every position where the index has a 1 is allowed a weak inequality and carries a factor $1/(N-n_i)$; its limit as $N\to\infty$ is the ordinary multiple zeta value, but unlike plain multiple harmonic sums it obeys enough relations (a restricted harmonic product, a star-value formula, and a discrete iterated integral expression) to make the reduction work. The argument is carried by the linear operator $D$ on the Hoffman algebra, the noncommutative polynomial ring $\mathbb{Q}\langle x,y\rangle$ whose words encode indices, together with the equality $\zeta^\diamondsuit(\{1\}^{c_1-1},c_2+1,\dots,\{1\}^{c_{2s-1}-1},c_{2s}+1)=Z^\diamondsuit(D(c_1,\dots,c_{2s}))$, which produces the integer coefficients and is proved by difference calculus in $N$. The one non-elementary input is a cited vanishing lemma that justifies taking the limit; the injectivity of the untruncated multiple-harmonic-sum map supplies uniqueness of the coefficients.

What would settle it

Compute, for a growing sequence of $N$, the correction sum $\sum_{0<n_1\le n_2<N}\frac{1}{(N-n_1)n_2^2}$ that appears in $\zeta^\diamondsuit_N(1,2)-\zeta_N(1,2)$; if it does not tend to 0, the limit step connecting the finite-sum world to multiple zeta values breaks. Independently, evaluate one of the paper's sample expansions, such as $\zeta(3,1,4)=\zeta(5,3)-\zeta(4,4)-\zeta(3,3,2)+\zeta(2,4,2)-2\zeta(3,2,3)-\zeta(2,3,3)$, to high precision; any discrepancy would refute Theorem 1.7.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.7: for each weight $k\ge2$ and each admissible index $\mathbf{k}$, the multiple zeta value $\zeta(\mathbf{k})$ equals $\sum_{\mathbf{l}\in I^{\ge2}_k} c_{\mathbf{k};\mathbf{l}}\,\zeta(\mathbf{l})$ with explicitly given integer coefficients $c_{\mathbf{k};\mathbf{l}}$, so the $\mathbb{Z}$-span of all admissible values equals the $\mathbb{Z}$-span of values with no entry equal to 1. The stronger finite-sum version (Theorem 2.5) asserts the same identity for the modified sums $\zeta^\diamondsuit$, where the coefficients are unique integers, and it identifies the space spanned by weight-$k$ $\zeta^\diamondsuit$-values with basis $\{\zeta^\diamondsuit(\mathbf{l})\mid \mathbf{l}\in I^{\ge2}_k\}$ of dimension $F_{k-1}$. The proof also determines the kernel of the map from the Hoffman algebra: $\mathrm{Ker}(Z^\diamondsuit)=\mathrm{Drop}_1$, and as a second main result the extended Kawashima relations satisfy $\mathrm{LinKaw}^*\subset \mathrm{Drop}_1$.

Load-bearing premise

The proof relies on the claim, taken from a cited lemma rather than proved here, that the extra correction terms built into the modified finite sums vanish as the cutoff grows; if that limit failed for some admissible index, the finite-sum identities would not give identities for ordinary multiple zeta values.

Editorial extensions

If this is right

  • For each weight $k\ge2$, every admissible value $\zeta(\mathbf{k})$ can be algorithmically rewritten as an integer linear combination of values with no entry equal to 1.
  • The same span statement holds for $t$-interpolated and star variants (Corollary 1.10).
  • The dimension of the weight-$k$ space $Z_k$ is at most $F_{k-1}$, obtained by an elementary argument rather than by mixed Tate motives.
  • The kernel of $Z^\diamondsuit$ is exactly $\mathrm{Drop}_1$, and the extended Kawashima relations $\mathrm{LinKaw}^*$ lie inside this kernel; if the paper's conjecture holds, the two families coincide.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same finite-sum technique could plausibly be adapted to $q$-multiple zeta values, where it would either prove or disprove the numerical conjecture that the spaces are spanned by indices with all entries at least 2; this is an editorial inference, not a claim of the paper.
  • The integrality and algorithmic nature of the coefficients raises the possibility of deriving arithmetic information about classical Hoffman-basis coefficients, whose denominators are conjectured to be odd; this inference goes beyond the paper.
  • Since the conjectured equality $\mathrm{LinKaw}^*=\mathrm{Drop}_1$ was checked numerically only up to weight 17, computing both kernels at weights 18 through 20 would provide a sharper test of whether the two relation families coincide.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper claims two main theorems. Theorem 1.7 states that for every weight k and every admissible index k, the multiple zeta value ζ(k) is a Z-linear combination of ζ(l) with l ranging over indices of weight k whose entries are all at least 2, with explicitly given integer coefficients c_{k;l}; equivalently, the Z-module spanned by weight-k MZVs equals the Z-module spanned by the 'no ones' MZVs. The proof introduces modified multiple harmonic sums ζ♢_N(k) (Definition 2.3), which satisfy a restricted harmonic product formula and a discrete iterated integral expression, and then uses a difference calculus (Section 4) to prove that every ζ♢_N(k) is an integer linear combination of ζ♢_N(l) with l∈I_k^{≥2}. Passing to the limit N→∞, after a cited vanishing estimate for the correction terms, yields Theorem 1.7. The paper also proves Theorem 2.6, identifying the kernel of Z♢ with the new relation space Drop1, and Theorem 1.17, showing LinKaw*⊂Drop1, and derives the elementary upper bound dim_Q Z_k ≤ F_{k−1}.

Significance. If the proof is completed, this is a substantial new result: it gives an elementary, explicit, integral expansion of individual multiple zeta values in the 'no ones' basis, without the theory of mixed Tate motives. The ζ♢ construction is an original device that makes a nontrivial part of the MZV relations visible at the level of finite sums, and the identification Ker(Z♢)=Drop1 together with the inclusion of Kawashima's relations is of independent structural interest. The algebraic difference calculus in Section 4 is developed in real detail, the coefficients are produced by a recurrence rather than by numerical fitting, and the examples are consistent with the stated expansion. The main caveat is that the only analytic step, the N→∞ transfer, is not proved in the manuscript and is deferred to a citation; with that estimate supplied, the paper would meet the standards of a strong number theory journal.

major comments (3)
  1. [Section 2, after Definition 2.3] The only analytic step in the paper, namely the claim that the nonempty-A correction terms in ζ♢_N(k)−ζ_N(k) tend to 0, is not proved. The sentence 'by the same mechanism as in the proof of [37, Lemma 2.2 (ii)]' does not state that lemma or verify that its hypotheses cover the summation regions S_{r,N}(A) for arbitrary A⊂[r]_k^1 and the exponents k_i. This is not a routine one-line estimate: when A has several elements, the multiple factors 1/(N−n_i) can contribute powers of log N, and the claimed decay must come from the ordering constraints together with the final exponent k_r≥2. Since Theorem 1.7 is obtained by taking N→∞ in Theorem 2.5, any nonzero limiting defect in these corrections would invalidate the main theorem. Please include a self-contained estimate, or state the cited lemma and verify its hypotheses explicitly.
  2. [Section 4, Proof of Theorem 2.5] The proof of Theorem 2.5 is compressed into the single sentence 'by induction on the weight of c, it suffices to take the sum from n=1 to N−1 of the difference relations given in Theorem 4.5.' The displayed summation identities are for ordinary multiple harmonic sums ζ_n(k), whereas the terms in Theorem 4.5 involve f_N(c′)=ζ♢_N(...) for indices c′ that may still contain ones; the induction also requires a precise statement of how each term in Theorem 4.5 lowers the weight and how the sums ∑_n n^{−t} f_n(c′) and ∑_n n^{−t}(Δf)_n(c′) are converted into ζ♢-values. Please expand this into a full proof; as written, the central derivation is not verifiable from the manuscript.
  3. [Section 3, proof of Theorem 3.7] The proof of Theorem 3.7 relies on the identity quoted from [14, Theorem 1.2] without proof. Since this identity is an ingredient in the discrete iterated integral expression used later in Section 4, please either state the result explicitly or give a proof, especially because [14] is a preprint by partially overlapping authorship.
minor comments (5)
  1. [Throughout] The labels 'Theorem Counter 1.4', 'Theorem Counter 1.5', etc., appear where the intended labels are 'Problem 1.4', 'Theorem 1.5', and so on; please correct this systematic naming error.
  2. [Theorem 2.5] The phrasing 'for every k∈I_k^{adm} and l∈I_k^{≥2}, there exists a unique integer c_{k;l}' is awkward; it should say that for each k there exist unique integers c_{k;l} indexed by l∈I_k^{≥2}.
  3. [Section 1.2, definition of D] The notation 'y c1 x c2 ...' in the definition of D is ambiguous; it should be typeset as y^{c_1} x^{c_2} ... or defined explicitly in terms of the generators e_i.
  4. [Section 3, Corollary 3.10] The equality ζ♢_N(k)=ζ♢♭_N(k) is stated in one line, but it is used in the difference calculus of Section 4; a sentence explaining the second equality and the role of the weak inequalities would improve readability.
  5. [Section 5.1, Proposition 5.4] The phrase 'by an argument similar to the proof of Theorem 3.3' is vague; please spell out the bijection of summation regions so that the proof can be checked independently.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main identity is proved by an explicit recurrence on finite sums, and the only deferred analytic step is an independently stated published lemma, not an assumption of the target result.

full rationale

The derivation chain is self-contained in the sense required by the circularity check. The main object ζ^♢_N(k) is defined by an explicit finite sum (Definition 2.3), and the central identity Theorem 2.5 is proved from the difference equation (Theorem 4.5), which is itself derived from the definition of ζ^♢_N and the discrete iterated integral expression (Corollary 3.10). The coefficients c_{k;l} are produced by the recurrence defining the operator D; they are not fitted to any data and are not renamed outputs of the theorem. The proof that dim_Q Z^♢_k = F_{k-1} and that {ζ^♢(l) | l ∈ I_k^{≥2}} is a basis uses the injectivity of Z^H, cited from Yamamoto [46] via Brown [4]. This is an external black box, not a circular one. The only analytic bridge from finite sums to ordinary MZVs is the assertion that the A≠∅ correction terms in Definition 2.3 vanish in the limit N→∞; the paper justifies this by citing [37, Lemma 2.2 (ii)] and states that the argument involving limits is confined to this point. This is a load-bearing citation and it is a self-citation, since [37] is by Seki, one of the authors. However, the cited lemma is an independently stated published result whose stated setting does not include Theorem 1.7; it is not a restatement of the conclusion, and the paper does not define the ζ^♢-values in terms of the MZV expansion it proves. Similarly, [32] and [14] are used for auxiliary discrete integral identities, and even though some authors overlap with the present paper, those identities are external prior results rather than assumptions of the target theorem. No fitted parameter is called a prediction, no uniqueness theorem is imported from the authors to forbid alternatives, and no known result is merely renamed. The proof could be considered incomplete at the cited limit step, but incompleteness or reliance on a black box is not circularity. Therefore the circularity score is 0.

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

No free parameters enter the central algorithm; the coefficients come from the recursive operator D, and the paper proves the identities that identify D as the expansion map. The main external inputs are three black-box theorems: injectivity of the multiple harmonic sum map (Lemma 2.1, from Yamamoto/Brown), the vanishing estimate for ζ^♢ correction terms (Section 2, via Seki's lemma [37]), and the discrete iterated integral identity (Theorem 3.5, from Maesaka-Seki-Watanabe [32], itself used with Hirose-Matsusaka-Seki [14]). The paper creates one new mathematical object, the ζ^♢-values, which is a well-defined construction rather than a fitted entity.

assumptions (3)
  • domain assumption The Q-linear map Z_H on the Hoffman algebra to the space of sequences of multiple harmonic sums is injective.
    Used in Lemma 2.1 as a black box (cited to Yamamoto [46, Theorem 3.1], proved via Brown [4, Corollary 5.6]); it gives uniqueness of the ζ^♢ expansions, dim Z^♢_k = F_{k-1}, and Ker(Z^♢)=Drop1.
  • domain assumption The correction terms in ζ^♢_N(k) beyond the plain harmonic sums vanish as N→∞, so lim ζ^♢_N(k)=ζ(k).
    Used in Section 2 (after Definition 2.3) to pass from the finite-sum theorem (Theorem 2.5) to the MZV theorem (Theorem 1.7); the paper cites the mechanism of [37, Lemma 2.2 (ii)] (Seki).
  • domain assumption The discrete iterated integral formula ζ_N(k)=ζ^♭_N(k) holds for all indices (and its two-sided generalization in Theorem 3.7).
    Used in Section 3 to derive the discrete iterated integral expression of ζ^♢ (Corollary 3.10), which is then the basis of the difference calculation in Section 4. The formula is taken from [32, Theorem 3.5] by Maesaka-Seki-Watanabe; Theorem 3.7 is proved in the text using [14, Theorem 1.2].
invented entities (1)
  • Modified multiple harmonic sums ζ^♢_N(k)
    purpose: Finite-sum truncations that satisfy some MZV-like relations and converge to ζ(k); they are the engine of the proof.
    Defined in Definition 2.3; all needed properties are proved in Sections 3-5. There is no external empirical prediction attached to them, so they carry no independent falsifiable handle; they are a tool, not a physical posit.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The $\mathbb{Z}$-module of multiple zeta values is generated by ones for indices without ones." pith.science (2026). https://pith.science/paper/MUDW2OYF

@misc{pith2026250507221,
  author       = {Pith},
  title        = {Pith review of: The $\mathbbZ$-module of multiple zeta values is generated by ones for indices without ones},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MUDW2OYF}},
  note         = {Machine review of arXiv:2505.07221}
}
abstract

We prove that every multiple zeta value is a $\mathbb{Z}$-linear combination of $\zeta(k_1,\dots, k_r)$ where $k_i\geq 2$. Our proof also yields an explicit algorithm for such an expansion. The key ingredient is to introduce modified multiple harmonic sums that partially satisfy the relations among multiple zeta values and to determine the structure of the space generated by them.

Figures

Figures reproduced from arXiv: 2505.07221 by the authors.

Figure 1
Figure 1. Relationship between Drop1 and related families of relations as k → ∞ ([40, A001037]). Here, for each k ≥ 2, H0 k is the subspace of H0 generated by the homogeneous elements of total degree k, and µ denotes the M¨obius function. Therefore, LinKaw alone does not imply that dimQ Zk = O(a k ) for any a < 2. Let H ≥2 k := H≥2 ∩ H0 k . Since D(w) = w holds for any w ∈ H ≥2 k (this follows from (2.1) and Theorem Counter 2… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Relations and Derivatives of Multiple Eisenstein Series

    math.NT 2026-02 conditional novelty 6.0 of 10

    Proves new relations among multiple Eisenstein series and proposes an explicit conjectural derivative formula conjectured to generate all linear relations.

Reference graph

Works this paper leans on

50 extracted references · 47 canonical work pages · cited by 1 Pith paper

  1. [32]

    Maesaka, S

    T. Maesaka, S. Seki, T. Watanabe,Deriving two dualities simultaneously from a family of identities for multiple harmonic sums, preprint, arXiv:2402.05730

    arXiv

  2. [14]

    Hirose, T

    M. Hirose, T. Matsusaka, S. Seki,A discretization of the iterated integral expression of the multiple poly- logarithm, preprint, arXiv:2404.15210

    arXiv

  3. [1]

    Bachmann, T

    H. Bachmann, T. Tanaka,Rooted tree maps and the Kawashima relations for multiple zeta values, Kyushu J. Math.74(2020), 169–176

    work page 2020

  4. [2]

    Brindle,A unified approach toqMZVs, INTEGERS24(2024), Paper No

    B. Brindle,A unified approach toqMZVs, INTEGERS24(2024), Paper No. A6, 41pp

    work page 2024

  5. [3]

    J. M. Borwein, D. M. Bradley,Thirty-two Goldbach variations, Int. J. Number Theory2(2006), 65–103

    work page 2006

  6. [4]

    F. C. S. Brown,Multiple zeta values and periods of moduli spaces M0,n, Ann. Sci. ´Ec. Norm. Sup´ er.42 (2009), 371–489

    work page 2009

  7. [5]

    F. C. S. Brown,On the decomposition of motivic multiple zeta values, in Galois-Teichm¨ uller Theory and Arithmetic Geometry, H. Nakamura et. al. (eds.), Adv. Studies in Pure Math.68, Math. Soc. Japan, Tokyo, 2012, pp. 31–58

    work page 2012

  8. [6]

    F. C. S. Brown,Mixed Tate motives overZ, Ann. of Math.175(2012), 949–976

    work page 2012

Show all 50 references
  1. [7]

    Chang, Y.-T

    C.-Y. Chang, Y.-T. Chen, Y. Mishiba,On Thakur’s basis conjecture for multiple zeta values in positive characteristic, Forum Math. Pi11(2023), Paper No. e26

    2023

  2. [8]

    Deligne,Le groupe fondamental unipotent motivique deG m−µ N, pourN= 2,3,4,6ou8, Publ

    P. Deligne,Le groupe fondamental unipotent motivique deG m−µ N, pourN= 2,3,4,6ou8, Publ. Math. Inst. Hautes ´Etudes Sci.112(2010), 101–141

    2010

  3. [9]

    Deligne, A

    P. Deligne, A. Goncharov,Groupes fondamentaux motiviques de Tate mixte, Ann. Sci. ´Ecole. Norm. Sup.38(2005), 1–56

    2005

  4. [10]

    Ecalle,The flexion structure and dimorphy: flexion units, singulators, generators, and the enumeration of multizeta irreducibles, With computational assistance from S

    J. Ecalle,The flexion structure and dimorphy: flexion units, singulators, generators, and the enumeration of multizeta irreducibles, With computational assistance from S. Carr. CRM Series12, Asymptotics in dynamics, geometry and PDEs; generalized Borel summation. Vol. II, 27–2...

    2011

  5. [11]

    Furusho,Double shuffle relation for associators, Ann

    H. Furusho,Double shuffle relation for associators, Ann. of Math.174(2011) 341–360

    2011

  6. [12]

    Furusho,The pentagon equation and the confluence relations, Amer

    H. Furusho,The pentagon equation and the confluence relations, Amer. J. Math.144(2022), 873–894

    2022

  7. [13]

    Glanois,Unramified Euler sums and Hoffman⋆basis, preprint, arXiv:1603.05178

    C. Glanois,Unramified Euler sums and Hoffman⋆basis, preprint, arXiv:1603.05178

    arXiv

  8. [15]

    Hirose, H

    M. Hirose, H. Murahara, T. Onozuka,Q-linear relations of specific families of multiple zeta values and the linear part of Kawashima’s relation, Manuscripta Math.164(2021), 455–465

    2021

  9. [16]

    Hirose, H

    M. Hirose, H. Murahara, T. Onozuka,On the linear relations among parametrized multiple series, Ra- manujan J.60(2023), 1095–1105

    2023

  10. [17]

    Hirose, N

    M. Hirose, N. Sato,Iterated integrals onP 1\{0,1,∞,z}and a class of relations among multiple zeta values, Adv. Math.348(2019), 163–182

    2019

  11. [18]

    Hirose, N

    M. Hirose, N. Sato, The motivic Galois group of mixed Tate motives overZ[1/2] and its action on the fundamental group ofP 1\{0,±1,∞}, preprint, arXiv:2007.04288. 31

    2007 arXiv

  12. [19]

    Hirose, N

    M. Hirose, N. Sato,Block shuffle identities for multiple zeta values, preprint, arXiv:2206.03458

    arXiv

  13. [20]

    M. E. Hoffman,The algebra of multiple harmonic series, J. Algebra194(1997), 477–495

    1997

  14. [21]

    M. E. Hoffman,Quasi-symmetric functions and modpmultiple harmonic sums, Kyushu J. Math.69 (2015), 345–366

    2015

  15. [22]

    Hoffman, Y

    M. Hoffman, Y. Ohno,Relations of multiple zeta values and their algebraic expression, J. Algebra262 (2003), 332–347

    2003

  16. [23]

    Ihara, J

    K. Ihara, J. Kajikawa, Y. Ohno, J. OkudaMultiple zeta values vs. Multiple zeta-star valuesJ. Algebra 332, (2011), 187–208

    2011

  17. [24]

    Ihara, M

    K. Ihara, M. Kaneko, D. Zagier,Derivation and double shuffle relations for multiple zeta values, Compositio Math.142(2006), 307–338

    2006

  18. [25]

    B.-H. Im, H. Kim, K. N. Le, T. Ngo Dac, L. H. Pham,Zagier–Hoffman’s conjectures in positive charac- teristic, Forum Math. Pi12(2024), Paper No. e18

    2024

  19. [26]

    Kaneko, M

    M. Kaneko, M. Sakata,On multiple zeta values of extremal height, Bull. Aust. Math. Soc.93(2016), 186–193

    2016

  20. [27]

    Kaneko, C

    M. Kaneko, C. Xu, S. Yamamoto,A generalized regularization theorem and Kawashima’s relation for multiple zeta values, J. Algebra580(2021), 247–263

    2021

  21. [28]

    Kaneko, S

    M. Kaneko, S. Yamamoto,A new integral-series identity of multiple zeta values and regularizations, Selecta Math. (N.S.)24(2018), 2499–2521

    2018

  22. [29]

    Kawashima,A class of relations among multiple zeta values, J

    G. Kawashima,A class of relations among multiple zeta values, J. Number Theory129(2009), 755–788

    2009

  23. [30]

    Kimura,Intersection of duality and derivation relations for multiple zeta values, J

    A. Kimura,Intersection of duality and derivation relations for multiple zeta values, J. Algebra646(2024), 412–432

    2024

  24. [31]

    Linebarger, J

    E. Linebarger, J. Zhao,A family of multiple harmonic sum and multiple zeta star value identities, Math- ematika61(2015), 63–71

    2015

  25. [33]

    Murahara, M

    H. Murahara, M. Sakata,On multiple zeta values and finite multiple zeta values of maximal height, Int. J. Number Theory14(2018), 975–987

    2018

  26. [34]

    Ngo Dac,On Zagier–Hoffman’s conjectures in positive characteristic, Ann

    T. Ngo Dac,On Zagier–Hoffman’s conjectures in positive characteristic, Ann. of Math.194(2021), 361– 392

    2021

  27. [35]

    Ohno,A generalization of the duality and sum formulas on the multiple zeta values, J

    Y. Ohno,A generalization of the duality and sum formulas on the multiple zeta values, J. Number Theory 74(1999), 39–43

    1999

  28. [36]

    Seki,Connectors, RIMS Kˆ okyˆ uroku2160(2020), 15–27

    S. Seki,Connectors, RIMS Kˆ okyˆ uroku2160(2020), 15–27

    2020

  29. [37]

    Seki,A proof of the extended double shuffle relation without using integrals, Kyushu J

    S. Seki,A proof of the extended double shuffle relation without using integrals, Kyushu J. Math.79(2025), 191–198

    2025

  30. [38]

    S. Seki, S. Yamamoto,A new proof of the duality of multiple zeta values and its generalizations, Int. J. Number Theory15(2019), 1261–1265

    2019

  31. [39]

    S. Seki, S. Yamamoto,Ohno-type identities for multiple harmonic sums, J. Math. Soc. Japan72(2020), 673–686

    2020

  32. [40]

    N. J. A. Sloane,The on-line encyclopedia of integer sequences, available athttps://oeis.org

  33. [41]

    Tanaka,On the quasi-derivation relation for multiple zeta values, J

    T. Tanaka,On the quasi-derivation relation for multiple zeta values, J. Number Theory129(2009), 2021–2034

    2009

  34. [42]

    Tanaka, N

    T. Tanaka, N. Wakabayashi,An algebraic proof of the cyclic sum formula for multiple zeta values, J. Algebra323(2010), 766–778

    2010

  35. [43]

    Terasoma,Mixed Tate motives and multiple zeta values, Invent

    T. Terasoma,Mixed Tate motives and multiple zeta values, Invent. Math.149(2002), 339–369

    2002

  36. [44]

    D. S. Thakur,Multizeta values for function fields: a survey, J. Th´ eor. Nombres Bordeaux29(2017), 997–1023

    2017

  37. [45]

    Todd,A conjectural characterization forF q(t)-linear relations between multizeta values, J

    G. Todd,A conjectural characterization forF q(t)-linear relations between multizeta values, J. Number Theory187(2018), 264–287

    2018

  38. [46]

    Yamamoto,Explicit evaluation of certain sums of multiple zeta-star values, Funct

    S. Yamamoto,Explicit evaluation of certain sums of multiple zeta-star values, Funct. Approx. Com- ment. Math.49(2013), 283–289

    2013

  39. [47]

    Yamamoto,Interpolation of multiple zeta and zeta-star values, J

    S. Yamamoto,Interpolation of multiple zeta and zeta-star values, J. Algebra385(2013), 102–114

    2013

  40. [48]

    Yamamoto,A note on Kawashima functions, Publ

    S. Yamamoto,A note on Kawashima functions, Publ. Math. Besan¸ con Alg´ ebre Th´ eorie Nr. 2019/1, 151– 163

    2019

  41. [49]

    D. B. Zagier,Values of zeta functions and their applications, in First European Congress of Mathematics (Paris, 1992), Vol. II, A. Joseph et. al. (eds. ), Birkh¨ auser, Basel, 1994, pp. 497–512. 32

    1992

  42. [50]

    D. B. Zagier,Evaluation of the multiple zeta valuesζ(2,...,2,3,2,...,2), Ann. of Math.175(2012), 977–1000. Graduate School of Science and Engineering, Kagoshima University, 1-21-35 Korimoto, Kagoshima, Kagoshima 890-0065, Japan Email address:hirose@sci.kagoshima-u.ac.jp F acul...

    2012

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.