Pith. sign in

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 →

arxiv 1908.09307 v3 pith:QYIL3NIR submitted 2019-08-25 math.NT

classification math.NT MSC 11M3205A19
keywords Multiplezeta(-star)valuesInterpolatedzetaFiniteSymmetricCyclicsumformulaBowman-BradleytypeWeightedt-interpolated
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 defines, for each index $(k_1,\dots,k_r)$ and each $F=A$ or $S$ (the two standard finite analogues of multiple zeta values), a polynomial $\zeta^t_F(k_1,\dots,k_r)$ that interpolates between the finite multiple zeta value at $t=0$ and the finite multiple zeta-star value (the variant allowing equal arguments) at $t=1$. Its central claim is that three major families of relations—the cyclic sum formula, the Bowman–Bradley type formula, and the weighted sum formula—hold for the whole one-parameter family, not just at the two endpoints. A sympathetic reader should care because this turns relations that were proved separately for finite values and finite star values into single polynomial identities, just as already happens for classical multiple zeta values. The proofs are coefficient-wise: each coefficient of $t^n$ is identified with a known $t=0$ relation, so the contribution is a transfer mechanism that carries endpoint identities through the interpolation.

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.

Watch

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

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

  • 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}$.
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

2 major / 5 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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.
  3. [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.
  4. [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))'.
  5. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no fitted parameters and no empirically motivated entities. It relies on the standard algebraic setup for finite multiple zeta values and on a list of previously established FMZ(S)V relations, treated as background. The t-FMZV object is a new definition rather than a hypothesis, so it is not an invented entity in the physics sense.

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.
    Used throughout the paper; introduced in Section 1.2.1.
  • 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.
    Each relation is cited to prior published work (e.g. [12], [17], [20], [29], [30], [37], [40]); the paper's theorems interpolate these relations.
  • domain assumption The S-FMZV cyclic sum formula holds, via Hirose-Sato (unpublished) or [7, Theorem 2.4].
    Location: Section 2, proof of Theorem 1.2. This is the least independently verified premise because the cited source is unpublished or a preprint by two of the present authors.
  • 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.
    Used throughout Section 5; invariance is cited to Li [23] and follows directly from the definitions.
  • standard math The duality map phi(x)=x+y, phi(y)=-y satisfies Z_F(w)=Z_F(phi(w)) for w in H1.
    Used in Proposition 4.4 and Theorem 5.13; cited to Saito [38] as the known duality relation for FMZVs.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

47 extracted references · 43 canonical work pages

  1. [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

  2. [1]

    Bachmann, Y

    H. Bachmann, Y. Takeyama and K. Tasaka, Cyclotomic analogues of finite multiple zeta values , Compositio Math. 154 (2018), 2701–2721

  3. [2]

    Bachmann and T

    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

  4. [3]

    Bowman and D

    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

  5. [4]

    Guo and B

    L. Guo and B. Xie, Weighted sum formula for multiple zeta values , J. Number Theory 129 (2009), 2747–2765

  6. [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

  7. [6]

    Hirose, H

    M. Hirose, H. Murahara, and T. Murakami, A cyclic analogue of multiple zeta values , Comment. Univ. St. Pauli 67 (2019), 147–166

  8. [8]

    Hirose, H

    M. Hirose, H. Murahara and S. Saito, Weighted sum formula for multiple harmonic sums modulo primes, Proc. Amer. Math. Soc. 147 (2019), 3357–3366

Show all 47 references
  1. [9]

    M. E. Hoffman, Multiple harmonic series , Pacific J. Math. 152 (1992), 275–290

  2. [10]

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

  3. [11]

    M. E. Hoffman, Quasi-shuffle products , J. Algebraic Combin. 11 (2000), 49–68

  4. [12]

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

  5. [13]

    M. E. Hoffman and Y. Ohno, Relations of multiple zeta values and their algebraic expre ssion, J. Algebra, 262 (2003), 332–347

  6. [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

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

  8. [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

  9. [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

  10. [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

  11. [19]

    Kaneko and D

    M. Kaneko and D. Zagier, Finite multiple zeta values , in preparation

  12. [20]

    Kawasaki and K

    N. Kawasaki and K. Oyama, Cyclic sum of finite multiple zeta values , Acta Arith. 195 (2020), 281–288

  13. [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

  14. [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

  15. [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

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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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

  23. [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

  24. [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

  25. [33]

    Ohno and N

    Y. Ohno and N. Wakabayashi, Cyclic sum of multiple zeta values , Acta Arith. 123 (2006), 289–295

  26. [34]

    Ohno and W

    Y. Ohno and W. Zudilin, Zeta stars , Commun. Number Theory Phys. 2 (2008), 325–347

  27. [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

  28. [36]

    M. Ono, S. Seki and S. Yamamoto, Truncated t-adic symmetric multiple zeta values and double shuffle relations , in preparation

  29. [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

  30. [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

  31. [39]

    Saito and N

    S. Saito and N. Wakabayashi, Sum formula for finite multiple zeta values , J. Math. Soc. Japan 67 (2015), 1069–1076

  32. [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

  33. [41]

    Seki, Finite multiple polylogarithms , Doctoral Thesis (Osaka university knowledge archive)

    S. Seki, Finite multiple polylogarithms , Doctoral Thesis (Osaka university knowledge archive)

  34. [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

  35. [43]

    Tanaka and N

    T. Tanaka and N. Wakabayashi, Kawashima’s relations for interpolated multiple zeta valu es, J. Algebra 447 (2016), 424–431

  36. [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

  37. [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

  38. [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

  39. [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...

Pith tools

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