A unified proof of conjectures on the spaces of multiple $q$-zeta values

Minoru Hirose; Taiki Watanabe; Takumi Maesaka

arxiv: 2605.28584 · v1 · pith:UXZPAKQHnew · submitted 2026-05-27 · 🧮 math.NT

A unified proof of conjectures on the spaces of multiple q-zeta values

Minoru Hirose , Takumi Maesaka , Taiki Watanabe This is my paper

Pith reviewed 2026-06-29 09:55 UTC · model grok-4.3

classification 🧮 math.NT

keywords multiple q-zeta valuesq-analoguesgenerating seriesinteger coefficientsvector spacesconjecturesfinite approximations

0 comments

The pith

The o-subspaces generate the full spaces of multiple q-zeta values with explicit integer-coefficient expressions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that the spaces Z_q^o and Z_{q,1}^o generate the larger spaces Z_q and Z_{q,1} of multiple q-zeta values. For every generator in the larger spaces, it constructs an explicit expression using integer coefficients in terms of the smaller families. This is achieved by first establishing the formulas at the finite level using recursive descriptions through generating series, and then passing to the infinite limit. This strengthens the conjectures by providing concrete integer relations rather than mere equality of vector spaces over the rationals.

Core claim

The spaces Z_q^o and Z_{q,1}^o already generate Z_q and Z_{q,1} respectively, with every element in the larger spaces expressible as an integer linear combination of generators from the smaller spaces, proven by constructing explicit formulas first for finite q-analogues via generating series recursions and then taking the limit.

What carries the argument

Finite q-analogues admitting recursive descriptions through generating series, used to construct the integer-coefficient relations before the infinite limit.

If this is right

Every multiple q-zeta value belongs to the integer span of the o-generators.
The dimension over Q of the spaces is determined by the o-subspaces alone.
Explicit integer relations allow computation of any element from the smaller set.
The conjectures on dimensions are resolved with stronger integral structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the q to 1 limit preserves the integer relations, this could imply similar generation properties for ordinary multiple zeta values.
The method of finite approximations with generating series may apply to other q-analogues in number theory.
Such explicit expressions could lead to new algorithms for reducing multiple q-zeta values.

Load-bearing premise

Suitable finite q-analogues admit recursive descriptions through generating series that permit the construction of explicit integer-coefficient relations before passing to the infinite limit.

What would settle it

A specific multiple q-zeta value that cannot be expressed as an integer combination of the generators from Z_q^o or Z_{q,1}^o.

read the original abstract

We prove two conjectures on the spaces generated by multiple $q$-zeta values. More precisely, we show that the spaces $Z_q^{\mathrm{o}}$ and $Z_{q,1}^{\mathrm{o}}$ already generate the larger spaces $Z_q$ and $Z_{q,1}$, respectively. Our result is stronger than the equality of $\mathbb{Q}$-vector spaces: for every generator in the larger spaces, we construct an explicit expression with integer coefficients in terms of the smaller generating families. We first establish these formulas at the finite level, where suitable finite $q$-analogues admit recursive descriptions through generating series, and then pass to the infinite limit.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper supplies the first explicit integer-coefficient constructions proving that the smaller spaces generate the larger ones for multiple q-zeta values.

read the letter

The core advance is the explicit relations: for each generator in the bigger spaces Z_q and Z_{q,1}, they give an integer-coefficient expression in terms of the smaller families Z_q^o and Z_{q,1}^o. They reach this by building recursive generating-series descriptions at the finite q-level first, then passing to the limit. That constructive step is what was missing from earlier non-constructive arguments in the literature.

The method is direct and parameter-free, which is a clear plus. The finite-level recursions appear to be set up cleanly enough to carry the integer coefficients through, and the abstract indicates the limit is taken after the relations are already in hand. If the full write-up justifies the convergence and the preservation of the coefficients without extra assumptions, the result is stronger than a plain dimension count.

One possible soft spot is whether the finite-to-infinite passage requires any hidden uniformity or growth control that is not automatic from the recursions; the stress-test note suggests the outline avoids obvious gaps, but that still needs checking in the details. No circularity or fitting is involved.

This is specialized work inside the algebraic study of q-zeta values and their motives. A reader already following the conjectures on these spaces will get concrete new formulas and a proof strategy they can try to adapt. It is not broad enough to interest people outside that subfield.

The paper deserves a serious referee. The claim is precise, the approach is constructive, and the conjectures were open, so the work should go through peer review rather than a desk reject.

Referee Report

0 major / 1 minor

Summary. The manuscript proves two conjectures on the spaces of multiple q-zeta values. It shows that the subspaces Z_q^o and Z_{q,1}^o generate the full spaces Z_q and Z_{q,1} respectively, and that every generator of the larger spaces admits an explicit expression with integer coefficients in terms of the smaller generating families. The argument proceeds in two steps: first establishing the required relations at the finite level, where suitable q-analogues are shown to admit recursive descriptions via generating series, and then passing to the infinite limit.

Significance. If the constructions hold, the result is significant: it supplies a stronger, explicit integer-coefficient statement rather than mere equality of Q-vector spaces, and the method is direct and parameter-free, relying on recursive finite-level relations rather than self-referential fitting. The explicitness and the avoidance of circularity constitute a clear advance for the algebraic structure of multiple q-zeta values.

minor comments (1)

The abstract states that the formulas are established 'at the finite level' before the limit; a brief sentence in the introduction clarifying the precise notion of 'finite q-analogue' used would help readers locate the relevant definitions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report contains no major comments requiring response or revision.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation proceeds by direct construction: explicit integer-coefficient relations are obtained at the finite level from recursive generating-series descriptions of suitable q-analogues, then passed to the infinite limit. No step reduces by definition to its own output, no fitted parameter is relabeled as a prediction, and no load-bearing premise rests on a self-citation chain. The method is parameter-free and produces the claimed expressions independently of the target statement, making the argument self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of recursive generating-series descriptions for the finite q-analogues and on the well-definedness of the passage to the infinite limit; these are domain assumptions in the theory of q-series rather than new postulates.

axioms (2)

domain assumption Finite q-analogues of multiple zeta values admit recursive descriptions through generating series.
Invoked in the abstract as the starting point for constructing the explicit relations at the finite level.
domain assumption The infinite limit of the finite-level relations exists and preserves the integer coefficients.
Required to transfer the finite-level identities to the spaces Z_q and Z_{q,1}.

pith-pipeline@v0.9.1-grok · 5644 in / 1338 out tokens · 23931 ms · 2026-06-29T09:55:01.029755+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 3 canonical work pages · 1 internal anchor

[1]

Bradley,Multipleq-zeta values, J

David M. Bradley,Multipleq-zeta values, J. Algebra283(2005), no. 2, 752–798

2005
[2]

A6, 41 pp

Benjamin Brindle,A unified approach toqMZVs, Integers24(2024), Paper No. A6, 41 pp

2024
[3]

A UNIFIED PROOF OF CONJECTURES ON THE SPACES OF MULTIPLEq-ZETA VALUES 17

Benjamin Brindle,Dualities for q-analogues of multiple zeta values, Master’s thesis, Universit¨ at Hamburg, 2021. A UNIFIED PROOF OF CONJECTURES ON THE SPACES OF MULTIPLEq-ZETA VALUES 17

2021
[4]

Number Theory 200(2019), 260–294

Henrik Bachmann,The algebra of bi-brackets and regularized multiple Eisenstein series, J. Number Theory 200(2019), 260–294

2019
[5]

Henrik Bachmann and Annika Burmester,Combinatorial multiple Eisenstein series, Res. Math. Sci.10 35 (2023)

2023
[6]

Henrik Bachmann and Jan-Willem van Ittersum,Partitions, multiple zeta values and theq-bracket, Sel. Math. New Ser.303 (2024)

2024
[7]

Springer, Cham: 2020, pp

Henrik Bachmann and Ulf K¨ uhn,A dimension conjecture forq-analogues of multiple zeta values, Periods in quantum field theory and arithmetic. Springer, Cham: 2020, pp. 237–258

2020
[8]

Minoru Hirose, Takumi Maesaka, Shin-ichiro Seki, and Taiki Watanabe,TheZ-module of multiple zeta values is generated by ones for indices without ones, Preprint, arXiv:2505.07221 [math.NT], 2025

work page arXiv 2025
[9]

Takumi Maesaka, Shin-ichiro Seki, and Taiki Watanabe,Deriving two dualities simultaneously from a family of identities for multiple harmonic sums, Preprint, arXiv:2402.05730 [math.NT], 2024

work page arXiv 2024
[10]

Karl-Georg Schlesinger,Some remarks on q-deformed multiple polylogarithms, Preprint, arXiv:math/0111022 [math.QA], 2001

work page internal anchor Pith review Pith/arXiv arXiv 2001
[11]

Number Theory276 (2025), 270–285

Yuto Tsuruta,Maesaka-Seki-Watanabe’s formula for multiple harmonicq-sums, J. Number Theory276 (2025), 270–285

2025
[12]

Approximatio, Comment

Shuji Yamamoto,Explicit evaluation of certain sums of multiple zeta-star values, Funct. Approximatio, Comment. Math.49(2013), no. 2, 283–289

2013
[13]

2, 189–221

Jianqiang Zhao,Multipleq-zeta functions and multipleq-polylogarithms, Ramanujan J.14(2007), no. 2, 189–221

2007
[14]

W. V. Zudilin,Algebraic relations for multiple zeta values., Russ. Math. Surv.58(2003), no. 1, 1–29. 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 aculty of Mathematics, Kyushu University, Motooka 744, Nishi-ku, Fukuoka, 819-0395, Japan ...

2003

[1] [1]

Bradley,Multipleq-zeta values, J

David M. Bradley,Multipleq-zeta values, J. Algebra283(2005), no. 2, 752–798

2005

[2] [2]

A6, 41 pp

Benjamin Brindle,A unified approach toqMZVs, Integers24(2024), Paper No. A6, 41 pp

2024

[3] [3]

A UNIFIED PROOF OF CONJECTURES ON THE SPACES OF MULTIPLEq-ZETA VALUES 17

Benjamin Brindle,Dualities for q-analogues of multiple zeta values, Master’s thesis, Universit¨ at Hamburg, 2021. A UNIFIED PROOF OF CONJECTURES ON THE SPACES OF MULTIPLEq-ZETA VALUES 17

2021

[4] [4]

Number Theory 200(2019), 260–294

Henrik Bachmann,The algebra of bi-brackets and regularized multiple Eisenstein series, J. Number Theory 200(2019), 260–294

2019

[5] [5]

Henrik Bachmann and Annika Burmester,Combinatorial multiple Eisenstein series, Res. Math. Sci.10 35 (2023)

2023

[6] [6]

Henrik Bachmann and Jan-Willem van Ittersum,Partitions, multiple zeta values and theq-bracket, Sel. Math. New Ser.303 (2024)

2024

[7] [7]

Springer, Cham: 2020, pp

Henrik Bachmann and Ulf K¨ uhn,A dimension conjecture forq-analogues of multiple zeta values, Periods in quantum field theory and arithmetic. Springer, Cham: 2020, pp. 237–258

2020

[8] [8]

Minoru Hirose, Takumi Maesaka, Shin-ichiro Seki, and Taiki Watanabe,TheZ-module of multiple zeta values is generated by ones for indices without ones, Preprint, arXiv:2505.07221 [math.NT], 2025

work page arXiv 2025

[9] [9]

Takumi Maesaka, Shin-ichiro Seki, and Taiki Watanabe,Deriving two dualities simultaneously from a family of identities for multiple harmonic sums, Preprint, arXiv:2402.05730 [math.NT], 2024

work page arXiv 2024

[10] [10]

Karl-Georg Schlesinger,Some remarks on q-deformed multiple polylogarithms, Preprint, arXiv:math/0111022 [math.QA], 2001

work page internal anchor Pith review Pith/arXiv arXiv 2001

[11] [11]

Number Theory276 (2025), 270–285

Yuto Tsuruta,Maesaka-Seki-Watanabe’s formula for multiple harmonicq-sums, J. Number Theory276 (2025), 270–285

2025

[12] [12]

Approximatio, Comment

Shuji Yamamoto,Explicit evaluation of certain sums of multiple zeta-star values, Funct. Approximatio, Comment. Math.49(2013), no. 2, 283–289

2013

[13] [13]

2, 189–221

Jianqiang Zhao,Multipleq-zeta functions and multipleq-polylogarithms, Ramanujan J.14(2007), no. 2, 189–221

2007

[14] [14]

W. V. Zudilin,Algebraic relations for multiple zeta values., Russ. Math. Surv.58(2003), no. 1, 1–29. 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 aculty of Mathematics, Kyushu University, Motooka 744, Nishi-ku, Fukuoka, 819-0395, Japan ...

2003