REVIEW 3 major objections 4 minor 29 references
Evaluations of multiple polylogarithm functions, multiple zeta values and related zeta values
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read One integral method proves six zeta-value conjectures.
desk verdict Standard-technique proofs of several Borwein–Bradley–Broadhurst conjectures, but (1.13)–(1.14) as printed use divergent first-exponent-1 zeta values and a missing bar appears to be the cause. 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 central machinery is the iterated-integral representation (2.1) of the multiple polylogarithm function—a nested series whose partial sums are multiple harmonic sums—combined with the change-of-variables identity (2.2). That identity rewrites the integral, after setting all parameters equal to $a$, as a sum over $2^{p_k}$ sign choices σ_j ∈ {1,a}, weighted by η(1)=1 and η(a)=−a. When $a=1/2$, equation (2.4) gives a one-to-one correspondence between these polylogarithm values and unit-exponent alternating multiple zeta values, and when $a=-1$, the same identity produces alternating-multiple-zeta-value relations directly. This single substitution rule is what carries every later evaluation in the paper.
What would settle it
Take identity (1.11) with $m=n=0$ and compute both sides as partial sums of their defining multiple harmonic series up to $N=10^6$ terms: the left side is $\zeta(\bar{1},2,2)$ and the right side is an explicit combination of unit-exponent alternating values, so a mismatch beyond truncation error would refute the central identity.
Extended reading notes
Core claim
The paper's central discovery is that the alternating multiple zeta value ζ(¯1, {1}ᵀ₁⁻¹, p₁+1, {1}ᵀ₂⁻¹, …, p_k+1, {1}ᵀ_{k+1}⁻¹) is a finite -linear combination of ordinary multiple zeta values and unit-exponent alternating multiple zeta values. This is Theorem 3.4 together with the correspondence at $1/2$; in the special case where all $p_i=1$ it gives Theorem 4.1, from which the six identities (1.9)--(1.14) follow as corollaries. The paper further proves that certain circled-product multiple zeta values, such as ζ(({2}ᵃ,3,{2}ᵇ) ⊛ (0,{2}ᵅ)⋆), lie in the ring [ζ(2),ζ(3),ζ(4),…] generated by ordinary single zeta values, and it closes with a general linear-relation identity for alternating multiple zeta values obtained from an extended poset integral.
Load-bearing premise
The entire reduction rests on the iterated-integral change-of-variables identity (2.2), whose proof is condensed into a 'direct calculation'; if that step is wrong, every later evaluation of an alternating multiple zeta value inherits the error.
Editorial extensions
If this is right
- Every alternating multiple zeta value of the shape ζ(¯1, {1}ᵀ₁⁻¹, p₁+1, {1}ᵀ₂⁻¹, …, p_k+1, {1}ᵀ_{k+1}⁻¹) can be evaluated in terms of ordinary multiple zeta values and unit-exponent alternating values, so no genuinely new class of constants is needed for these values.
- The six conjectured identities (1.9)--(1.14) hold for all nonnegative integers $m,n$; for instance, ζ(¯1, {1}ᵀ, 2, {1}ⁿ) = ζ(¯1, {1}ⁿ, ¯1, ¯1, {1}ᵀ) − ζ(¯1, {1}ᵀ+ⁿ+²).
- Several families of circled-product multiple zeta values, including ζ(({2}ᵃ,3,{2}ᵇ) ⊛ (0,{2}ᵅ)⋆), are shown to lie in [ζ(2),ζ(3),ζ(4),…], with explicit rational-linear formulas such as the displayed evaluation of ζ((3,2) ⊛ (0,2,2)⋆).
- The (p+2)-poset integral picture yields a family of linear relations among alternating multiple zeta values, with explicit small cases exhibited as equation (6.11).
- The method proves the six conjectures uniformly, replacing a situation in which one of the identities had previously required a separate, later proof.
Reading between the lines
- The reduction in Theorem 2.2 is algorithmic: the sign-sum expansion and the $1/2$ correspondence could be implemented as a normal-form procedure that rewrites any alternating multiple zeta value of the stated shape into a basis expression, giving a practical way to compute the -span at fixed weight without case-by-case guessing.
- Because the key change of variables works for a general real parameter $a$, the same proof scheme should produce analogous reduction identities for colored multiple zeta values at roots of unity, provided convergence conditions are handled; the paper does not itself make that extension.
- The poset integral identity of Section 6 is strong enough to suggest a conjectural complete set of linear relations for alternating multiple zeta values, parallel to the conjecture for ordinary multiple zeta values that one integral-series identity generates all relations; the paper stops short of stating that conjecture.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops iterated-integral identities for multiple polylogarithm functions and applies them to alternating multiple zeta values. Section 2 proves a transformation theorem (Theorem 2.2) and an integration-by-parts identity (Theorem 2.4). Section 3 derives a general reduction (Theorem 3.4) expressing alternating MZVs of the form ζ(\bar1,{1}^{m1-1},p1+1,{1}^{m2-1},...,pk+1,{1}^{mk+1-1}) in terms of ordinary MZVs and infinite sums involving multiple harmonic star sums. Section 4 applies these results to prove the six Borwein-Bradley-Broadhurst conjectures numbered (1.9)-(1.14). Section 5 extends the method to Kaneko-Yamamoto multiple zeta values, and Section 6 gives general linear relations via (p+2)-posets.
Significance. If the statements are corrected as indicated below, the paper offers explicit, checkable identities and a uniform method that proves several long-standing conjectures. The approach is not circular: the identities are derived from the iterated integral representation, and the intermediate known identities such as (4.2) and (2.4) are cited from published sources. The paper is systematic and gives many concrete examples and corollaries. However, the displayed BBB identities (1.13)-(1.14) are not well-defined as written, and this directly affects the central claim that those conjectures are proved.
major comments (3)
- [Eqs. (1.13)-(1.14) and Section 4 (Eqs. (4.9), (4.14))] As printed, equations (1.13) and (1.14) are not identities among convergent multiple zeta values under the paper's own convergence criterion ℜ(s1+...+sj)>j quoted for (1.3). In (1.13), every summand ζ(1,{1}^n,S_k) has first exponent +1, so its defining series over n1 is a sum of a term that does not tend to zero divided by n1, which diverges; the alternating signs in S_k do not affect the first summation variable. Similarly, the left-hand side of (1.14) is ζ(1,m+1,{1}^n), which also has first exponent +1 and diverges. The derivation in Section 4 indicates that barred exponents are intended: Eq. (4.9) is obtained from Li_{m+1,{1}^n}(-1), which is ζ(\bar{m+1},{1}^n), and its right-hand side is a sum of Li(-1,{1}^n,...)=ζ(\bar1,{1}^n,...), not ζ(1,{1}^n,...). Thus either a bar (and in (4.10) also a sign) has been lost in transcription, or the identities are asserted for a regularized value that is never defined. Since Theorem 3.4 and Theorem 4.1 are advertised as proofs of (1.13)-(1.14), this must be corrected and the corrected statements verified before the central claim can be accepted.
- [Theorem 2.2, Eq. (2.2)] The proof of Theorem 2.2, which is the foundation for Theorem 4.1 and for equations (4.9) and (4.14), is compressed into the sentence "by a direct calculation." The summation over σ_j∈{1,a} with η(1)=1 and η(a)=-a, the product ∏ η(σ_j)/σ_j, and the bookkeeping of the Cat blocks are exactly the steps that produce the exponent sequences in (2.2). Please provide the full expansion, including the degenerate cases m1=0 and p_i=0, because the one-to-one correspondence in (2.4) and the later reductions depend on the precise placement of the arguments a/σ_i and σ_i/σ_{i-1}.
- [Theorem 3.4, Eq. (3.9)] The proof of Theorem 3.4 says "Continuing this process k times," and the notation E_i, F_i with the □ operation is intricate. The step in which products of harmonic sums are expanded via the stuffle product is asserted in a paragraph rather than shown. Since Theorem 3.4 is the main reduction result underlying Theorem 4.1 and the BBB identities, please supply the induction in detail and state exactly how the ζ(E_i,{1}^{p_i-j}) factors and the infinite harmonic-star sums in (3.9) are obtained, especially in degenerate cases where some p_i=0 or m_i=1.
minor comments (4)
- [Proposition 2.1] The convention for m1=0 is explained only after the statement of Proposition 2.1, but the symbol {1}^{-1} appears inside the displayed formula before that convention is introduced. Please state the convention before the proposition.
- [References] Reference [18] is incomplete: it gives authors and a title but no journal, year, arXiv number, or DOI. Please supply the full publication data.
- [Theorems 5.1 and 5.2] The proofs of Theorems 5.1 and 5.2 are described as "similar" to earlier proofs. Because these theorems are used for Corollary 5.6, please include enough detail (or a supplement) to make the derivations verifiable.
- [Throughout] The manuscript contains numerous typographical and OCR artifacts, such as "pol ylogarithm" in the abstract, malformed diagrams in Section 6, and inconsistent spacing in several displayed equations. A careful proofread is needed.
Circularity Check
No circular reduction of the central claims; only minor, non-load-bearing self-citations.
full rationale
Walking the derivation chain, the central reduction theorems are not circular: Theorem 2.2 is obtained by a change of variables in the iterated-integral representation (2.1), Theorem 3.4 follows from (2.1) plus Lemma 3.3, and Theorem 4.1 follows from (2.2). The Borwein-Bradley-Broadhurst identities (1.9)-(1.14) are external targets, and their right-hand sides are not fitted to the left-hand sides; the unit-exponent alternating MZVs on the right are produced by the integral transformations, not assumed. The one-to-one dictionary (2.4) between Li(1/2) values and unit-exponent alternating MZVs is quoted from Borwein et al. and Zlobin, not from the author's own work, and it is used as a stated input rather than as the conclusion being proved. The author's self-citations are peripheral: (4.2) is also derived in the paper from (2.8), and the cited identity Li_{1^j}(1/2) = -ζ(\bar{j}) is a parameter-free special value used in one intermediate step of the proof of (1.14), not the target identity. I do flag, outside the circularity rubric, that Theorem 2.2's proof is compressed as 'by a direct calculation' and that the apparent sign/convergence issues around (1.13)-(1.14) are correctness or rigor risks rather than evidence that the claims reduce to their inputs. Because the paper contains minor self-citations that are not load-bearing, I set the score at the low end of the normal range; no circular step was identified.
Assumptions & free parameters
assumptions (5)
- domain assumption Convergence and admissibility of iterated integrals and multiple polylogarithm series on the specified domains (a ∈ [-1,0)∪(0,1) etc.)
- standard math Stuffle (harmonic) product relations for multiple harmonic sums and star sums
- domain assumption Correspondence between multiple polylogarithms at 1/2 and unit-exponent alternating MZVs, Eq. (2.4)
- domain assumption Evaluations of ζ({2}a,3,{2}b) and ζ({2}a,1,{2}b) as rational linear combinations of products of Riemann zeta values
- domain assumption The (p+2)-poset integral identity (6.10) and Proposition 6.1 hold when the poset is admissible
Cite this review
Pith. "Pith review of Evaluations of multiple polylogarithm functions, multiple zeta values and related zeta values." pith.science (2026). https://pith.science/paper/74BER5OG
@misc{pith2026190803065,
author = {Pith},
title = {Pith review of: Evaluations of multiple polylogarithm functions, multiple zeta values and related zeta values},
year = {2026},
howpublished = {\url{https://pith.science/paper/74BER5OG}},
note = {Machine review of arXiv:1908.03065}
}
read the original abstract
In this paper we consider iterated integrals of multiple polylogarithm functions and prove some explicit relations of multiple polylogarithm functions. Then we apply the relations obtained to find numerous formulas of alternating multiple zeta values in terms of unit-exponent alternating multiple zeta values. In particular, we prove several conjectures given by Borwein-Bradley-Broadhurst \cite{BBBL1997}, and give some general results. Furthermore, we discuss Kaneko-Yamamoto multiple zeta values, and establish some relations between it and multiple zeta values. Finally, we establish a linear relation identity of alternating multiple zeta values.
Reference graph
Works this paper leans on
-
[1]
T. Arakawa, M. Kaneko, Multiple zeta values, poly-Bernoulli numb ers, and related zeta functions, Nagoya Math. J., 153(1999), 189-209
work page 1999
- [2]
-
[3]
J.M. Borwein, D.M. Bradley and D.J. Broadhurst. Evaluations of k-fold Euler/Zagier sums: a com- pendium of results for arbitrary k . Electron. J. Combin., 1997, 4(2): 1-21. 25
work page 1997
-
[4]
J.M. Borwein, D.M. Bradley, D.J. Broadhurst and Petr. Lison˘ ek. Special values of multiple polylog- arithms. Trans. Amer. Math. Soc., 2001, 353(3): 907-941
work page 2001
- [5]
- [6]
-
[7]
D.J. Broadhurst. Exploiting the 1,440-fold symmetry of the master two-loop diagram . Z. Phys. C Part. Fields, 1986, 32: 249-253
work page 1986
- [8]
Show all 29 references
-
[9]
Hoffman, Multiple harmonic series, Pacific J
M.E. Hoffman, Multiple harmonic series, Pacific J. Math., 152(1992), 275-290
1992
-
[10]
Ito, On analogues of Arakawa-Kaneko zeta functions of Mo rdell-Tornheim type, arXiv:1603.04145v1
T. Ito, On analogues of Arakawa-Kaneko zeta functions of Mo rdell-Tornheim type, arXiv:1603.04145v1
-
[11]
Kaneko, H
M. Kaneko, H. Tsumura, Multi-poly-Bernoulli numbers and relat ed zeta functions, Nagoya Math. J., 232(2018), 19-54
2018
-
[12]
Kaneko, H
M. Kaneko, H. Tsumura, Zeta functions connecting multiple zet a values and poly-Bernoulli numbers, arXiv: 1811.07736v1
-
[13]
Kaneko, S
M. Kaneko, S. Yamamoto, A new integral-series identity of multip le zeta values and regularizations, Selecta Math., 24(2018), 2499–2521
2018
-
[14]
Kawasaki, Y
N. Kawasaki, Y. Ohno, Combinatorial proofs of identities for sp ecial values of Arakawa-Kaneko multiple zeta functions, Kyushu J. Math., 72(2018), 215-222
2018
-
[15]
Kuba, On functions of Arakawa and Kaneko and multiple zeta v alues, Appl
M. Kuba, On functions of Arakawa and Kaneko and multiple zeta v alues, Appl. Anal. Discrete Math., 4(2010), 45-53
2010
-
[16]
Nakasuji, O
M. Nakasuji, O. Phuksuwan, Y. Yamasaki. On Schur multiple zeta functions: A combinatoric gen- eralization of multiple zeta functions . Adv. Math., 2018, 333: 570-619
2018
-
[17]
Hessami Pilehrood, T
Kh. Hessami Pilehrood, T. Hessami Pilehrood and R. Tauraso, N ew properties of multiple harmonic sums modulo p and p-analogues of Leshchiner’s series, Trans. Amer. Math. Soc., 366(2014), 3131- 3159
2014
-
[18]
W. Wang, H. Liu, Y. Chen. Multiple polylogarithms, multiple zeta values and Euler sums involving powers of two
-
[19]
C. Xu. Identities for the multiple zeta (star) values . Results Math., 2018, 73(3): 1-22
2018
-
[20]
C. Xu. Integrals of logarithmic functions and alternating multiple zeta value s. Math. Slovaca., 2019, 69(2): 339-356
2019
-
[21]
C. Xu. Evaluations of Euler type sums of weight ≤ 5. Bull. Malays. Math. Sci. Soc., 2019, https://doi.org/10.1007/s40840-018-00715-3
2019 doi
-
[22]
Yamamoto, Multiple zeta-star values and multiple integrals, to appear in RIMS Kˆ okyˆ uroku Bessatsu, arXiv:1405.6499
S. Yamamoto, Multiple zeta-star values and multiple integrals, to appear in RIMS Kˆ okyˆ uroku Bessatsu, arXiv:1405.6499
-
[23]
Young, Symmetries of Bernoulli polynomial series and Araka wa-Kaneko zeta functions, J
P.T. Young, Symmetries of Bernoulli polynomial series and Araka wa-Kaneko zeta functions, J. Num- ber Theory, 143(2014), 142-161
2014
-
[24]
Young, The p-adic Arakawa-Kaneko zeta functions and p-adic Lerch transcendent, J
P.T. Young, The p-adic Arakawa-Kaneko zeta functions and p-adic Lerch transcendent, J. Number Theory, 155(2015), 13-35
2015
-
[25]
Zagier, Values of zeta functions and their applications, First European Congress of Mathematics, Volume II, Birkhauser, Boston, 120(1994) 497-512
D. Zagier, Values of zeta functions and their applications, First European Congress of Mathematics, Volume II, Birkhauser, Boston, 120(1994) 497-512. 26
1994
-
[26]
D. Zagier. Evaluation of the multiple zeta values ζ(2, ..., 2, 3, 2, ..., 2). Ann. Math., 2(2012), 977-1000
2012
-
[27]
J. Zhao. On a conjecture of Borwein, Bradley and Broadhurst . J. reine angew. Math. 639(2010): 223-233
2010
-
[28]
J. Zhao. Identity families of multiple harmonic sums and multiple (star) zeta valu es. J. Math. Soc. Japan, 2016, 68: 1668-1684
2016
-
[29]
S.A. Zlobin. Special values of generalized polylogarithms . J. Math. Sci. (N. Y.), 2012, 182(4): 484- 504. 27
2012
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.