REVIEW 3 major objections 2 minor 10 references
Ohno relation for regularized refined symmetric multiple zeta values
T0 review · 3 major / 2 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper proves an Ohno-type generating-function relation for regularized refined symmetric multiple zeta values, with explicit gamma and exponential factors, extending the classical Ohno and refined symmetric relations to non-admissible…
desk verdict Natural extension of Takeyama's Ohno relation, but the proof has load-bearing sign errors in Lemmas 3.3 and 3.5 that must be fixed. 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 $\mathbb{Q}$-linear map $Z_{\mathrm{RS}}\colon h\to\mathbb{C}$ on noncommutative polynomials in $x,y$, which extends refined symmetric multiple zeta values to all words by the explicit formula $$Z_{\mathrm{RS}}(u_1\cdots u_k)=\sum_{\substack{0\le p\le q\le k\\ u_{p+1}=\cdots=u_q=y}}\frac{(-2\pi i)^{q-p-1}}{(q-p)!}(-1)^{k-q}Z_x(u_1\cdots u_p)Z_x(u_k\cdots u_{q+1}).$$ It is also an iterated integral along a loop from $0$ to $0$ encircling $1$ once. The argument is carried by the deformed maps $\tilde{\sigma}(w)=\sigma(w)(1-xT)$ and $\tilde{\rho}(w)=\rho(w)(1-yT)^{-1}$, the duality involution $\phi(x)=x+y$, $\phi(y)=-y$, and the symmetric harmonic product $\tilde{*}$; Lemma 3.4 uses these to rewrite $\tilde{\rho}$-evaluation as $\tilde{\sigma}$-evaluation times one universal word, and Lemma 3.5 evaluates that word through gamma-function identities.
What would settle it
Expand both sides of the identity $\rho(y(1-xT))=\tilde{\rho}(y)(1-(x+y)T)$ and compare the coefficients of $T^2$: the left-hand side contains the word $-yxy$ and the right-hand side contains $-y^2x$. Whether these coefficients agree or differ decides whether the key lemma's premise holds; in parallel, evaluating the full Theorem 1.14 numerically for a small word at $A=B=0$ would directly test the final relation.
Extended reading notes
Core claim
The central claim is Theorem 1.14: for every $w\in h_0$, the regularized refined symmetric evaluation satisfies $$Z_{\mathrm{RS}}\left(\tilde{\rho}\left(\frac{1}{1-xA}w\frac{1}{1-xB}\right)\right) =\frac{1-$e^{{-2\pi i T}}$}{2\pi i T} \left(2-\frac{\Gamma(1-T)\Gamma(1+A)}{\Gamma(1-T+A)}\right) \left(2-\frac{\Gamma(1+T)\Gamma(1-B)}{\Gamma(1+T-B)}\right) Z_{\mathrm{RS}}\left(\tilde{\$\sigma$}\left(\frac{1}{1-xA}w\frac{1}{1-xB}\right)\right).$$ This is offered as the refined-symmetric counterpart of the authors' earlier regularized Ohno relation for ordinary multiple zeta values, and as a regularization of the known refined-symmetric Ohno relation: when $A=B=0$, the factor in front reproduces the coefficient matching that earlier theorem. The proof reduces the $\tilde{\rho}$ side to the $\tilde{\sigma}$ side times a single universal word, then evaluates that word by known gamma-function identities for regularized shuffle products.
Load-bearing premise
The proof's key step assumes that a certain deformation of the word map can be pulled past multiplication by $1-xT$ in a simple way; the identity $\rho(w(1-xT))=\tilde{\rho}(w)(1-(x+y)T)$ is exactly that assumption, and the main theorem collapses without it.
Editorial extensions
If this is right
- Setting $A=B=0$ recovers the Ohno relation for refined symmetric multiple zeta values, including the factorial denominator $(j+1)!$ that the earlier statement omitted.
- The theorem applies to non-admissible words, so it gives regularized, divergent-from-0-to-0 analogues of the sum and duality formulas, not just convergent cases.
- Because the identity is a generating function in $T$ with two extra parameters, one computation packages infinitely many Ohno-type relations of all weights.
- The explicit gamma factors suggest the relation admits analytic continuation in $A$ and $B$, so it can be specialized outside the formal-power-series setting.
Reading between the lines
- A direct check of the identity $\rho(w(1-xT))=\tilde{\rho}(w)(1-(x+y)T)$ at order $T^2$ for $w=y$ is not included in the paper; this coefficient-level test would settle whether the proof of Lemma 3.3, and hence the main theorem, survives as written.
- One could test the theorem numerically for small words such as $w=yxy$ by comparing both sides as power series in $A,B,T$ against known values of refined symmetric multiple zeta values; the paper contains no numerical sample.
- The loop-integral description of $Z_{\mathrm{RS}}$ suggests the same relation may transport to cyclotomic or $t$-adic refinements, since the proof uses only the symmetric harmonic product and duality structure.
- If the gamma-factor shape is not an artifact of the regularization, then specializations such as $A=B=1/2$ would yield identities among regularized refined symmetric zeta values at shifted integer weights, a consequence the authors do not spell out.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a generalization of Takeyama's Ohno relation for refined symmetric multiple zeta values to the regularized setting. The main theorem (Theorem 1.14) asserts an identity for the regularized refined symmetric multiple zeta value map ZRS evaluated at a generating series involving the maps σ~ and ρ~. The proof is algebraic: it introduces an anti-automorphism φ, a symmetric harmonic product, and reduces the main identity to two lemmas about the evaluation of ZRS on certain noncommutative generating series.
Significance. If the main theorem were established, it would be a natural and interesting extension of both the authors' earlier regularized Ohno relation and Takeyama's refined symmetric Ohno relation, with a clean generating-function formulation. The paper is careful about the underlying noncommutative algebra and connects to prior published work. However, the proof as written contains false identities in load-bearing lemmas, so the central claim is not proven by this manuscript.
major comments (3)
- [Lemma 3.3] Lemma 3.3 is false. Taking w=y, we have σ~(y)=y, φ(σ~(y))=φ(y)=-y, and hence the right-hand side of the lemma equals φ((-y/(1+yT)) *~ (-y)) = φ(y/(1+yT)) = -y(1-yT)^{-1}. But by definition ρ~(y)=ρ(y)(1-yT)^{-1}=y(1-yT)^{-1}. The two sides differ by the sign of y(1-yT)^{-1}. The error enters in the proof when expanding φ(( -y/(1+yT)+y) *~ A): the contribution φ(y *~ A) equals φ(A)=σ~(w), not -φ(φ(σ~(w)))=-σ~(w). This sign error invalidates the proof of Lemma 3.3 and therefore also the proof of Lemma 3.4, which is derived directly from Lemma 3.3.
- [Lemma 3.5 vs Theorem 1.14] The factor stated in Lemma 3.5 is (e^{2πiT}-1)/(2πiT), whereas Theorem 1.14 requires (1-e^{-2πiT})/(2πiT). These differ by the multiplicative factor e^{2πiT}. The theorem's factor is the one needed to recover Takeyama's Theorem 1.8 at A=B=0. Moreover, the proof of Lemma 3.5 itself contains a sign inconsistency: the third displayed equation changes -1/(2πi) to 1/(2πi) without explanation. Direct evaluation using Definition 1.13 gives ZRS(-y/(1+yT)) = (1-e^{2πiT})/(2πiT), which is not the lemma's stated value and also not the value required by Lemma 3.4 and Theorem 1.14 for w=y. Thus the final step of the proof does not establish the stated theorem.
- [Overall proof of Theorem 1.14] Because Lemma 3.3 is false and Lemma 3.5 does not match the theorem, the derivation of Theorem 1.14 as stated fails at two independent points. These are not typographical slips: the sign error changes the content of Lemma 3.3, and the exponential factor in Lemma 3.5 changes the generating series. The main theorem might be true, but it is not proved by the arguments in this manuscript.
minor comments (2)
- [Section 2.2] The proof of Proposition 2.2 uses paths β and β' but the notation is compressed; labeling the path composition in a displayed equation would improve readability.
- [Section 3] The manuscript uses both H0 and h0 for the same space; the proof of Lemma 3.4 introduces H0 without defining it, though the intended identification with h0 is clear from context.
Circularity Check
No significant circularity: Theorem 1.14 is derived from independent prior theorems and a direct computation, not from its own conclusion.
full rationale
The derivation of Theorem 1.14 proceeds through Lemma 3.3, Lemma 3.4, and Lemma 3.5. Lemma 3.3 uses Proposition 3.1 from the authors' prior paper [4] to rewrite ~ρ in terms of ~σ and the symmetric harmonic product; Lemma 3.4 combines this with Proposition 2.2 (proved in the present paper) and Theorem 2.4 from [3] to factor ZRS(~ρ(...)) into a universal factor and ZRS(~σ(...)); Lemma 3.5 evaluates the universal factor directly from Definition 1.13 of ZRS. No step defines the left-hand side to be the right-hand side, no fitted parameter is renamed as a prediction, and no uniqueness claim is imported to forbid alternatives. The cited results [3] and [4] are independent published theorems with their own stated assumptions and proofs, and neither has Theorem 1.14 as an assumption; under the review rules they are real evidence and do not raise the circularity score. The skeptical observation that Lemma 3.5 yields (e^{2πiT}-1)/(2πiT) while Theorem 1.14 states (1-e^{-2πiT})/(2πiT) is a possible internal inconsistency or sign error in the proof, which is a correctness concern, not a circularity concern, and is therefore outside the circularity score.
Assumptions & free parameters
assumptions (5)
- standard math Shuffle regularization and the map Z_x satisfy the regularization theorem of Ihara-Kaneko-Zagier.
- standard math Path composition formula for regularized iterated integrals.
- standard math Proposition 3.1 of [4] gives rho(w) = sigma(w) + phi( yT/(1+yT) z * phi(sigma(w)) ).
- standard math Theorem 2.4 (symmetric harmonic relation for regularized RSMZVs) from [3, Remark 5.2].
- domain assumption Gamma identity Z_x(1/(1-yC)1/(1-xD)) = 2 - Gamma(1-C)Gamma(1-D)/Gamma(1-C-D).
invented entities (1)
-
Regularized refined symmetric multiple zeta values, realized as the linear map ZRS on the noncommutative algebra h.
independent evidence
Cite this review
Pith. "Pith review of Ohno relation for regularized refined symmetric multiple zeta values." pith.science (2026). https://pith.science/paper/PS3VZGIV
@misc{pith2026241115431,
author = {Pith},
title = {Pith review of: Ohno relation for regularized refined symmetric multiple zeta values},
year = {2026},
howpublished = {\url{https://pith.science/paper/PS3VZGIV}},
note = {Machine review of arXiv:2411.15431}
}
abstract
The Ohno relation is one of the most celebrated results in the theory of multiple zeta values, which are iterated integrals from $0$ to $1$. In a previous paper, the authors generalized the Ohno relation to regularized multiple zeta values, which are non-admissible iterated integrals from $0$ to $1$. Meanwhile, Takeyama proved an analogue of the Ohno relation for refined symmetric multiple zeta values, which are iterated integrals from $0$ to $0$. In this paper, we generalize Takeyama's result to regularized refined symmetric multiple zeta values, which are non-admissible iterated integrals from $0$ to $0$.
Reference graph
Works this paper leans on
-
[1]
Henrik Bachmann, Yoshihiro Takeyama, and Koji Tasaka, Cyclotomic analogues of finite multiple zeta values , Compos. Math. 154 (2018), no. 12, 2701–2721
work page 2018
-
[2]
Minoru Hirose, Double shuffle relations for refined symmetric multiple zeta v alues, Doc. Math. 25 (2020), 365–380
work page 2020
-
[3]
On a lifting of $t$-adic symmetric multiple zeta values
Minoru Hirose and Hanamichi Kawamura, On a lifting of t-adic symmetric multiple zeta values , 2023. arXiv:2311.00473 [math.NT]
work page Pith review arXiv 2023
-
[4]
Minoru Hirose, Hideki Murahara, and Shingo Saito, Ohno relation for regularized multiple zeta values , J. Math. Soc. Japan 75 (2023), no. 4, 1177–1193
work page 2023
-
[5]
Kentaro Ihara, Masanobu Kaneko, and Don Zagier, Derivation and double shuffle relations for multiple zeta val ues, Compos. Math. 142 (2006), no. 2, 307–338
work page 2006
-
[6]
Adjoint cyclotomic multiple zeta values and cyclotomic multiple harmonic values
David Jarossay, Adjoint cyclotomic multiple zeta values and cyclotomic mul tiple harmonic values , 2019. arXiv:1412.5099 [math.NT]
work page Pith review arXiv 2019
-
[7]
Masanobu Kaneko and Don Zagier, Finite multiple zeta values . in preparation
-
[8]
Yasuo Ohno, A generalization of the duality and sum formulas on the multi ple zeta values , J. Number Theory 74 (1999), no. 1, 39–43
work page 1999
Show all 10 references
-
[9]
Kojiro Oyama, Ohno-type relation for finite multiple zeta values , Kyushu J. Math. 72 (2018), no. 2, 277–285
2018
-
[10]
52 (2020), no
Yoshihiro Takeyama, Derivations on the algebra of multiple harmonic q-series and their applications , Ramanujan J. 52 (2020), no. 1, 41–65. OHNO RELATION FOR REGULARIZED REFINED SYMMETRIC MULTIPLE Z ETA V ALUES 10 (Minoru Hirose) Graduate School of Science and Engineering, Kag...
2020
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.