Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

Multiple q-zeta values and traces

T0 review · 3 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The paper proves that products of q-Pochhammer symbols constrained by $x_1\cdots x_r=y_1\cdots y_r$ have coefficients that are multiple q-zeta values, with weight equal to total degree.

desk verdict Theorem 1.1 is a clean, checkable generalization of Bloch–Okounkov; Theorem 1.3 has sketched combinatorial steps that a referee will need to expand before the paper is fully certified. read the letter →

arxiv 2505.14614 v1 pith:FXGOZUIQ submitted 2025-05-20 math.NT math.AGmath.RT

Zhenbo Qin This is my paper · ORCID
classification math.NTmath.AGmath.RT MSC 11M3214C05
keywords multipleq-zetavaluesq-Pochhammersymbolsbi-bracketsquasi-modularformstracesHilbertschemesofpointsq-seriesidentities
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 a structural statement about certain infinite products $(a)_\infty=\prod_{n\ge0}(1-aq^n)$ that appear as traces in representation theory and geometry. Writing $x_j=e^{z_j}$ and $y_j=e^{w_j}$, and assuming $x_1\cdots x_r=y_1\cdots y_r$, the paper shows that $\prod_{j=1}^r (x_jq)_\infty/(y_jq)_\infty$ is a power series in the $z_j$ and $w_j$ whose every coefficient lies in the algebra of multiple q-zeta values, with weight equal to the total degree of the monomial. The simplest nontrivial case says that the coefficient of $z^m w^n$ in $(xq)_\infty(yq)_\infty/((q)_\infty(xyq)_\infty)$ is a multiple q-zeta value of weight $m+n$. Because quasi-modular forms sit inside the multiple-q-zeta algebra, this generalizes the classical one-variable result expressing $(xq)_\infty(x^{-1}q)_\infty/(q)_\infty^2$ as a generating function of quasi-modular forms. A second theorem gives analogous, though weaker, bracket and bi-bracket coefficient statements for a larger family of traced products $P^{a,b}_N$, and connects them to conjectured equalities among these algebras.

What carries the argument

The load-bearing mechanism is a standard exponential-derivative identity, quoted as (3.1), expressing $d^m/dz^m e^{f(z)}$ as $e^{f(z)}$ times a universal polynomial in the derivatives of $f$; with the operator $D_x=x\frac{d}{dx}$ it turns logarithmic derivatives of q-Pochhammer ratios into the bracket series $[s]=\frac{1}{(s-1)!}\sum_{n,d\ge1}d^{s-1}q^{nd}$. Because $qMZV$ is a $\mathbb{Q}$-algebra, products of such series stay inside $qMZV[[w]]$, which is what makes the induction work. For the $P^{a,b}_N$ family, a second mechanism eliminates summation variables by induction on the number of constraints, using Faulhaber-type polynomial identities to rewrite constrained sums as finite linear combinations of bi-brackets with controlled weight.

What would settle it

Compute the coefficient of $z^3 w^3$ (or any higher total degree) in $(xq)_\infty(yq)_\infty/((q)_\infty(xyq)_\infty)$ with $x=e^z$, $y=e^w$, expand it as a $q$-series, and compare it with finite $\mathbb{Q}$-linear combinations of the defining $q$-series for the multiple q-zeta values $Z(s_1,\ldots,s_k)$ with all $s_i\ge2$; a single coefficient outside that span would refute Theorem 1.1. The paper's displayed expansion up to total degree $4$ gives the starting data for such a check.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1. Fix $r\ge1$, put $x_j=e^{z_j}$ and $y_j=e^{w_j}$, and assume $x_1\cdots x_r=y_1\cdots y_r$. Then $\prod_{j=1}^r (x_jq)_\infty/(y_jq)_\infty$ belongs to $qMZV[[z_1,\ldots,z_r,w_1,\ldots,w_{r-1}]]$: the constant term is $1$, and the coefficient of $z_1^{m_1}\cdots z_r^{m_r}w_1^{n_1}\cdots w_{r-1}^{n_{r-1}}$ has weight $m_1+\cdots+m_r+n_1+\cdots+n_{r-1}$. Here $qMZV$ is the $\mathbb{Q}$-vector space spanned by the multiple q-zeta values $Z(s_1,\ldots,s_k)$ with all indices at least $2$. The proof reduces the general $r$-variable statement to the two-variable ratio $(q)_\infty(xyq)_\infty/((xq)_\infty(yq)_\infty)$, and Lemma 3.1 shows that this ratio lies in $1+qMZV[[z,w]]\cdot zw$ by expanding logarithmic derivatives into the bracket series $[s]$. The paper also proves Theorem 1.3: for the larger traced family $P^{a,b}_N$, after taking the constant term in the $y_i$, every coefficient in the deformation parameters is a finite $\mathbb{Q}$-linear combination of bi-brackets in $BD[a,b]$ with the stated weight bound, and lies in $qBD$ when $a=b=0$.

Load-bearing premise

The proof rests on a previously established algebraic fact: the collection of multiple q-zeta values that appear here is closed under multiplication and coincides with a certain bracket algebra. If that fact were false, the chain of derivative expansions and products used to show every coefficient stays in $qMZV$ would break down.

Editorial extensions

If this is right

  • The deformed one-point function $(xq)_\infty(yq)_\infty/((q)_\infty(xyq)_\infty)$ has a multiple-q-zeta generating function: the coefficient of $z^m w^n$ lies in $qMZV$ and has weight $m+n$.
  • The same conclusion holds for every product $\prod_{j=1}^r (x_jq)_\infty/(y_jq)_\infty$ whose $x$- and $y$-variables satisfy $\prod x_j=\prod y_j$, so all traced ratios of this shape acquire qMZV coefficients.
  • For the traced family $P^{a,b}_N$, the constant-$y$ coefficients are finite linear combinations of bi-brackets in $BD[a,b]$ with bounded weight, and setting $a=b=0$ moves them into $qBD$.
  • The explicit low-degree expansion given in the paper (coefficients $-[2]$, $-[3]$, $-[4]$, $\tfrac12[2]^2-\tfrac32[4]$, and so on) provides concrete multiple-q-zeta identities that can be checked directly.

Reading between the lines

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

  • An extension the paper does not undertake: the same derivative-expansion method should work for any q-Pochhammer ratio whose exponent vectors satisfy a linear relation, because the only role of the product constraint is to eliminate one variable before expanding.
  • The paper explicitly leaves open whether Theorem 1.3 can be strengthened from $BD/qBD$ to $qMZV$; checking the first few coefficients of $P^{0,0}_2$ against known multiple q-zeta values would be a cheap way to test whether such a strengthening is plausible.
  • Since quasi-modular forms embed into $qMZV$, the classical one-variable character formula becomes the $x=y^{-1}$ slice of a larger qMZV-valued function; one could look at other slices to find new quasi-modular or modular generating functions.
  • Conjecture 1.4, if true, would imply that the weaker Theorem 1.3 outputs actually belong to $qMZV$ in the $a=b=0$ case, so the results here supply a natural computational testbed for that conjecture.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 6 minor

Summary. The paper studies q-deformations of multiple zeta values and their appearance in traces of q-Pochhammer products. Theorem 1.1 (restated as Theorem 3.3) asserts that, for x_j = e^{z_j} and y_j = e^{w_j} with ∏ x_j = ∏ y_j, the product ∏_{j=1}^r (x_j q)_∞ / (y_j q)_∞ belongs to qMZV[[z_1,...,z_r,w_1,...,w_{r-1}]], has constant term 1, and its degree-d coefficient has weight d. The proof of this theorem is based on Lemma 3.1, which uses the Bloch–Okounkov derivative formula [BO, (6.9)] and the identification (2.7) from [BK3] to express the relevant derivatives in qMZV, followed by an induction on r. The paper also proves Theorem 1.3 (restated as Theorem 5.4) for the more complicated trace P^{a,b}_N, showing that certain coefficients lie in BD[a,b] or qBD with explicit weight bounds, via technical summation lemmas in Sections 4 and 5.

Significance. If correct, Theorem 1.1 is a meaningful generalization of the Bloch–Okounkov result on (xq)_∞(x^{-1}q)_∞/(q)_∞^2, placing deformed p-point functions in the algebra of multiple q-zeta values and giving further evidence for Okounkov's conjecture. Lemma 3.1 and the induction in Theorem 3.3 are clean and essentially self-contained given the cited results, and the paper explicitly identifies its main external input, the equality qMZV = Z({Q^E_s}_{s>1}, N_{>1}) from [BK3]. The elementary summation lemmas in Section 4 are intricate and, where written in detail, plausible. However, the proof of Theorem 1.3 is not complete as written: the multidimensional Lemma 5.2 is only sketched, and Theorem 5.4(ii) is dismissed with a sentence referring to a simplified version of (i). Since Theorem 1.3 is one of the paper's advertised results, this incompleteness prevents acceptance in the current form.

major comments (3)
  1. [Section 5, Lemma 5.2] The proof of Lemma 5.2 is a sketch rather than a complete proof. The reduction from expression (5.5) to (5.9) is described informally, and the final sentence, 'Now repeating the above arguments, we complete the proof of the lemma,' does not specify the induction measure, verify that the process terminates, or check that the weight bounds and the qBD condition are preserved at each step. This is load-bearing, because Proposition 5.3 and hence Theorem 5.4 (Theorem 1.3) depend on Lemma 5.2. The author should either write out a fully detailed induction or explicitly restate Theorem 1.3 as conditional on the completion of this argument.
  2. [Theorem 5.4(ii), proof] The proof of part (ii) ends with 'Now (ii) follows from a simplified version (with a=b=0) of the proof of (i).' This is not a proof as it stands: part (ii) concerns coefficients in qBD and involves only the N−1 equations (the N-th equation is redundant when a=b=0), so it must be shown that the simplification preserves the qBD conclusion and the weight bound. The author should spell out this simplified version or indicate precisely how Proposition 5.3 applies to the reduced system.
  3. [Remark 4.4] Remark 4.4 explicitly states 'we sketch the process' for the alternative induction on r in Lemma 4.3. If that alternative is not needed, it should be omitted or marked as heuristic; if it is intended to justify the 'repeating the above arguments' step in Lemma 5.2, then a sketch is not sufficient for a proof of Theorem 1.3. Please clarify the logical role of this remark and make the proof of Lemma 5.2 independent of sketched arguments.
minor comments (6)
  1. [Title] The title contains a spacing error: 'V ALUES' should read 'VALUES'.
  2. [Abstract] The phrase 'is a multiple q-zeta value' should be read as 'belongs to qMZV', since the coefficients are generally Q-linear combinations of multiple q-zeta values; see Remark 3.2, where the coefficient of z^2w^2 is (1/2)[2]^2 − (3/2)[4].
  3. [Section 2, equation (2.7)] The equality qMZV = Z({Q^E_s}_{s>1}, N_{>1}) together with the Q-algebra property is imported from [BK3] and is the single load-bearing external input for Theorem 1.1. It would be helpful to state explicitly in Section 3 that all conclusions of Theorem 3.3 are conditional on this cited identification.
  4. [Section 3, proof of Theorem 3.3] After the factorization, the variables w_2,...,w_r are not independent in the original product; the final step should state that one expands in the independent variables z_1,...,z_r,w_1,...,w_{r-1} and then substitutes w_r = z_1+...+z_r−w_1−...−w_{r-1}, and that this linear substitution preserves the total-degree bookkeeping used in the induction.
  5. [Lemma 4.3, proof] The term 0^a with 0^0=1 is introduced abruptly in the passage following (4.12); a sentence explaining that this term accounts for the n_r=0 slice would make the argument much more readable.
  6. [Theorem 5.4(ii), proof] When a=b=0, the equation indexed by i=N in (5.4) is redundant because the sum of all N equations is an identity; this should be stated explicitly before invoking Proposition 5.3 in the simplified version.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.1 reduces to independent cited results [BK3] and [BO], not to its own conclusion.

full rationale

The main derivation chain is self-contained given standard external inputs. Lemma 3.1 expands the logarithmic derivative using the cited formula [BO, (6.9)] and computes D_x^t f at x = 1 as a series in w whose coefficients are the brackets [t + j] defined in (2.2). The step “D_t f|_{x=1} ∈ qMZV[[w]]·w” uses only equation (2.7), the cited identification qMZV = Z({Q^E_s}_{s>1}, N>1) from [BK3], together with the cited Q-algebra property of qMZV. No parameter is fitted, no target ring is defined in terms of the expanded coefficients, and no load-bearing assertion is sourced to the author’s own prior work. The induction in Theorem 3.3 is an algebraic rearrangement of the product followed by Lemma 3.1 and closure of qMZV under products and inverses of constant-term-1 series; the weight bookkeeping follows directly from the bracket weight convention. The author’s self-citations [AQ1, AQ2, Qin1, Qin2, QY, LQW] appear only as context, motivation, or announced applications, not as premises of the proof. The only element not certified inside this paper is the imported equality (2.7), together with the Q-algebra property of qMZV; that is an externally stated theorem from Bachmann and Kühn, and reliance on it is a correctness risk rather than circularity. Accordingly, no circular step is present.

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

No free parameters are fitted in this pure mathematics paper. The paper imports standard background theorems from the multiple q-zeta literature and the Bloch-Okounkov derivative formula; it does not introduce new entities. The main external assumption is the algebra identification for qMZV.

assumptions (3)
  • domain assumption qMZV is a Q-algebra and equals the span of brackets [s_1,...,s_l] with all s_i >= 2 (from [BK3]).
    Used in Section 3, Lemma 3.1, to assert D_x^t f|_{x=1} is in qMZV[[w]] and to multiply such series. See equation (2.7).
  • domain assumption BD and qBD are Q-algebras containing MD and qMD (from [Bac], [BK1], [BK2], [BK3]).
    Used for Theorem 1.3 to conclude products of bi-brackets remain in BD and qBD. See inclusions (2.11).
  • standard math Bloch-Okounkov derivative formula [BO, (6.9)] expresses higher derivatives of e^(f(z)) in terms of derivatives of f(z).
    Used in Lemma 3.1 and Theorem 4.6 to extract coefficients of z-monomials. It is a known external identity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Multiple q-zeta values and traces." pith.science (2026). https://pith.science/paper/FXGOZUIQ

@misc{pith2026250514614,
  author       = {Pith},
  title        = {Pith review of: Multiple q-zeta values and traces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FXGOZUIQ}},
  note         = {Machine review of arXiv:2505.14614}
}
abstract

Let $(a)_\infty = (a; q)_\infty = \prod_{n=0}^\infty (1-aq^n)$. An elegant result of Bloch and Okounkov [BO] states that if $x = e^z$, then $$ \frac{(xq)_\infty (x^{-1}q)_\infty}{(q)_\infty^2}, $$ which appears in various traces in representation theory and algebraic geometry, is a formal power series in $z^2$ whose coefficient for $z^{2k}$ is a quasi-modular form of weight $2k$. Quasi-modular forms are special types of multiple $q$-zeta values. In this paper, we generalize this result of Bloch and Okounkov and prove that certain other traces are related to multiple $q$-zeta values. A simple case of our main results asserts that if $x = e^z$ and $y = e^w$, then $$ \frac{(xq)_\infty (yq)_\infty}{(q)_\infty (xyq)_\infty}, $$ which appears in [CW, Theorem 5] as a trace (the deformed Bloch-Okounkov $1$-point function), is a formal power series in $z$ and $w$ whose coefficient for $z^mw^n$ is a multiple $q$-zeta value (in the sense of [BK3, Oko]) of weight $(m+n)$.

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. Multiple Zeta Values

    math.NT 2026-08 unverdicted novelty 1.0 of 10

    An extensive expository survey of multiple zeta values, their finite/symmetric and q-analogue variants, and their modular-form connections, proving no new theorem.

Reference graph

Works this paper leans on

23 extracted references · 1 canonical work pages · cited by 1 Pith paper

  1. [1]

    M. M. Alhwaimel, Toward Qin's Conjecture on Hilbert schemes of points and quasi-modular forms . Manuscripta Math. 176 , 31 (2025). https://doi.org/10.1007/s00229-025-01630-1

    doi:10.1007/s00229-025-01630-1 2025

  2. [2]

    M. M. Alhwaimel, Z. Qin, Hilbert schemes of points on surfaces and multiple q -zeta values . Pure Appl. Math. Q. 20 (2024), 2615-2646

    2024

  3. [3]

    M. M. Alhwaimel, Z. Qin, Equivariant Chern character operators and Okounkov's conjecture . Preprint

    work page

  4. [4]

    Bachmann, The algebra of bi-brackets and regularized multiple Eisenstein series

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

    2019

  5. [5]

    Bachmann, U

    H. Bachmann, U. K\" uhn, The algebra of generating functions for multiple divisor sums and applications to multiple zeta values . Ramanujan J. 40 (2016), 605-648

    2016

  6. [6]

    Bachmann, U

    H. Bachmann, U. K\" uhn, A dimension conjecture for q -analogues of multiple zeta values . Periods in Quantum Field Theory and Arithmetic, Springer Proceedings in Mathematics & Statistics 314 (2020), 237-258

    2020

  7. [7]

    Bachmann, U

    H. Bachmann, U. K\" uhn, A short note on a conjecture of Okounkov about a q -analogue of multiple zeta values . arXiv:1407.6796

    arXiv

  8. [8]

    Bloch, A

    S. Bloch, A. Okounkov, The character of the infinite wedge representation . Adv. Math. 149 (2000), 1-60

    2000

Show all 23 references
  1. [9]

    Bradley, Multiple q -zeta values

    D. Bradley, Multiple q -zeta values . J. Algebra 283 (2005), 752-798

    2005

  2. [10]

    Bradley, On the sum formula for multiple q -zeta values

    D. Bradley, On the sum formula for multiple q -zeta values . Rocky Mountain J. Math. 37 (2007), 1427-1434

    2007

  3. [11]

    Carlsson, Vertex operators and moduli spaces of sheaves

    E. Carlsson, Vertex operators and moduli spaces of sheaves . Ph.D thesis, Princeton University, 2008. arXiv:0906.1825v1

    2008 arXiv

  4. [12]

    Carlsson, Vertex operators and quasimodularity of Chern numbers on the Hilbert scheme

    E. Carlsson, Vertex operators and quasimodularity of Chern numbers on the Hilbert scheme . Adv. Math. 229 (2012), 2888-2907

    2012

  5. [13]

    Carlsson, A

    E. Carlsson, A. Okounkov, Exts and Vertex Operators . Duke Math. J. 161 (2012), 1797-1815

    2012

  6. [14]

    Cheng, W

    S.-J. Cheng, W. Wang, The correlation functions of vertex operators and Macdonald polynomials . J. Algebraic Comb. 25 (2007), 43-56

    2007

  7. [15]

    W.-P. Li, Z. Qin, W. Wang, Hilbert schemes, integrable hierarchies, and Gromov-Witten theory . Intern. Math. Res. Notices 40 (2004), 2085-2104

    2004

  8. [16]

    Okounkov, Hilbert schemes and multiple q -zeta values

    A. Okounkov, Hilbert schemes and multiple q -zeta values . Funct. Anal. Appl. 48 (2014), 138-144

    2014

  9. [17]

    Okuda, Y

    J. Okuda, Y. Takeyama, On relations for the multple q -zeta values . Ramanujan J. 14 (2007), 379-387

    2007

  10. [18]

    Qin, Hilbert schemes of points and infinite dimensional Lie algebras

    Z. Qin, Hilbert schemes of points and infinite dimensional Lie algebras . Mathematical Surveys and Monographs 228 , American Mathematical Society, Providence, RI, 2018

    2018

  11. [19]

    Qin, A quick survey from S-duality conjecture of Vafa-Witten to a conjecture of Okounkov

    Z. Qin, A quick survey from S-duality conjecture of Vafa-Witten to a conjecture of Okounkov . Presentation at the SQuaRE Workshop ``Moduli of sheaves on surfaces via Bridgeland stability", American Institute of Mathematics, San Jose, CA, 2022

    2022

  12. [20]

    Z. Qin, F. Yu, On Okounkov's conjecture connecting Hilbert schemes of points and multiple q -zeta values . Intern. Math. Res. Notices 2018 , 321-361

    2018

  13. [21]

    Zhao, Uniform approach to double shuffle and duality relations of various q -analogs of multiple zeta values via Rota-Baxter algebras

    J. Zhao, Uniform approach to double shuffle and duality relations of various q -analogs of multiple zeta values via Rota-Baxter algebras . in: Periods in Quantum Field Theory and Arithmetic, J.\ I.\ B.\ Gil, K.\ Ebrahimi-Fard and H.\ Gangl (eds.), ICMAT, Madrid, pp. 259-292, 2...

    2020 doi

  14. [22]

    Zhou, On quasimodularity of some equivariant intersection numbers on the Hilbert schemes

    J. Zhou, On quasimodularity of some equivariant intersection numbers on the Hilbert schemes . Preprint. arXiv:1801.09090

    arXiv

  15. [23]

    Zudilin, Algebraic relations for multiple zeta values

    W. Zudilin, Algebraic relations for multiple zeta values . Russian Math. Surveys 58 (2003), 1-29

    2003

Pith tools

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