Pith. sign in

REVIEW 4 minor 12 references

Positivity and tails of Jacobi theta series

T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Tails of the Jacobi theta series have strictly positive coefficients in a symmetric band of width 2(k+n).

desk verdict Solid elementary proof of the d=∞ case of Zhou’s own positivity conjecture for Jacobi tails; implies Merca’s conjecture and is ready for referees. read the letter →

arxiv 2607.10968 v1 pith:GYPJJB6M submitted 2026-07-13 math.NT math.CO

Nian Hong Zhou This is my paper · ORCID
classification math.NTmath.CO MSC 11P8211B8305A16
keywords positivityJacobithetaseriespartialq-seriestruncatedationsbasichypergeometric
topics The Collatz Conjecture
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 proves a positivity property for the infinite tails of Jacobi’s triple-product (theta) series. After normalizing by the usual infinite products, the remaining series, expanded as a double power series in z and q, has coefficients J_{k,n}(m) that are strictly positive whenever the exponent m of z lies between -(k+n) and k+n. The result settles the limiting case of a two-variable positivity conjecture previously stated by the author and, as a corollary, confirms Merca’s conjecture on non-negative coefficients of truncated Jacobi triple-product series. The argument is purely algebraic: elementary identities for basic hypergeometric series are used to rewrite the tail as an explicit positive main term plus a remainder series whose non-negativity is visible term-by-term. A sympathetic reader cares because positivity of such tails supplies uniform lower bounds on partial theta series and sharpens several classical truncation results that appear throughout partition theory and q-series.

What carries the argument

The explicit q-series identity of Theorem 1.5 that rewrites the Jacobi tail in terms of three families of basic hypergeometric series f_a and g_a; once these series are expanded, every coefficient is visibly non-negative and the main term already supplies the claimed positivity band.

What would settle it

Expand the remainder N_k(z,q) for a fixed small k (say k=1 or 2) up to moderate total degree in z and q and check whether any coefficient is negative; a single negative coefficient would refute the claim.

Watch

Extended reading notes

Core claim

For every integer k≥1 and every n≥0 the Laurent coefficients J_{k,n}(m) of the normalized Jacobi tail are positive for all integers m with -(k+n)≤m≤k+n. Equivalently, the generating function of the tail equals z^{-k}(1+z+⋯+z^{2k})/((1-qz)(1-z^{-1}q))+z^{-k}N_k(z,q), where N_k has exclusively non-negative coefficients.

Load-bearing premise

That the three auxiliary series f1, f2 and g2 expand with only non-negative coefficients once the reciprocal q-Pochhammer symbols are written as power series.

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

0 major / 4 minor

Summary. The paper proves a positivity property for the tails of the Jacobi theta series. For integers k≥1 and n≥0 it defines coefficients J_{k,n}(m) via the two-variable generating function in the abstract (equivalently the left-hand side of (1.4)), and shows that J_{k,n}(m)>0 for every integer m with -(k+n)≤m≤k+n. The argument proceeds by establishing an explicit identity (Theorem 1.5) that rewrites the truncated series in terms of the auxiliary series f_a and g_a of (1.3). After algebraic rearrangement the identity yields Corollary 1.6, in which the target generating function equals an elementary positive term plus a remainder N_k(z,q) whose Laurent coefficients are non-negative. The non-negativity of N_k follows at once from the series definitions of f_1, f_2 and g_2 together with the ordinary partition expansions of the reciprocal q-Pochhammer symbols. As a consequence the limiting case d=∞ of the author’s earlier Conjecture 1.3 is settled, and Merca’s Conjecture 1.2 is recovered.

Significance. The result settles the d=∞ case of a natural two-variable refinement of Merca’s conjecture on truncated Jacobi triple products, and thereby recovers that conjecture itself. The proof is entirely elementary (Heine’s second transformation, a short recursion for f_a/g_a, and a partial-theta decomposition), self-contained, and free of circularity. The explicit identity of Theorem 1.5 supplies a concrete positive expansion that may be useful for further refinements or for combinatorial interpretations. The work therefore constitutes a clean and substantial advance in the theory of truncated theta series and positivity of q-series coefficients.

minor comments (4)
  1. In the abstract and in the definition preceding Corollary 1.6 the factor (q/z)_∞ appears, while the body of Theorem 1.5 and Lemma 2.3 write (z^{-1}q)_∞; the two are identical, but a uniform choice of notation would improve readability.
  2. The final counting argument in the proof of Corollary 1.6 (the double sum over h and r that produces the lower bound 1) is correct but slightly compressed; a one-sentence reminder that every residue class t mod 2 is hit at least once for 0≤t≤2(n+k) would make the strict positivity completely transparent.
  3. References [3] and [12] are cited as preprints with arXiv numbers; if they have since appeared or been updated, the bibliographic data should be refreshed before publication.
  4. A short remark after Corollary 1.6 noting that the same argument yields the non-negativity claimed in Merca’s Conjecture 1.2 (by the specialisation indicated in Remark 1.4) would make the logical dependence fully explicit for the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the positivity follows from an independent elementary identity and non-negative series expansions.

full rationale

The derivation chain begins from the classical Jacobi triple product and Heine’s second transformation (both external standard identities), defines the auxiliary series f_a and g_a by (1.3), and proves all intermediate lemmas (2.1–2.3 and Prop. 2.4) by direct expansion and rearrangement without presupposing the target positivity of the J_{k,n}(m). Theorem 1.5 is obtained by substitution of those lemmas into the decomposition of Lemma 2.3; Corollary 1.6 then rewrites the identity so that the remainder N_k(z,q) is visibly a combination of series whose Laurent coefficients are non-negative by the ordinary partition generating function (reciprocals of q-Pochhammers) together with the constant-term-1 property of f_1 and f_2. Self-citations ([11], [12], [3]) appear only for motivational context or to note that a lemma is equivalent to an independent combinatorial argument; each cited statement that is used is re-proved in full inside the paper. There is therefore no self-definitional loop, no fitted parameter renamed as a prediction, and no load-bearing uniqueness claim imported from the author’s prior work. The argument is self-contained against external benchmarks.

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

The paper works entirely inside the classical theory of basic hypergeometric series. No free parameters are fitted, no new physical or combinatorial entities are postulated, and the only background results used are standard identities (Jacobi triple product, Heine transformation, elementary recursions for q-series) that are either classical or re-proved in the text.

assumptions (3)
  • standard math Jacobi's triple product identity (1.2)
    Used as the starting point for the partial-theta expansions; classical and independently verified.
  • standard math Heine's second transformation (Appendix III.2 of Gasper-Rahman)
    Invoked in Lemma 2.2 to convert a partial theta series into a basic hypergeometric series; standard textbook identity.
  • standard math Non-negativity of the series expansions of 1/(q)_n and 1/(x)_n for |q|<1
    Used implicitly when claiming that f_a and g_a have non-negative coefficients; follows at once from the geometric series.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Positivity and tails of Jacobi theta series." pith.science (2026). https://pith.science/paper/GYPJJB6M

@misc{pith2026260710968,
  author       = {Pith},
  title        = {Pith review of: Positivity and tails of Jacobi theta series},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GYPJJB6M}},
  note         = {Machine review of arXiv:2607.10968}
}
abstract

Using elementary $q$-series manipulations, we establish a positivity property for the tails of the Jacobi theta series. Specifically, for integers $k\ge 1$ and $n\ge 0$, define \[ \sum_{n\ge0}\sum_{m\in\mathbb{Z}}J_{k,n}(m)z^m q^{n} = \frac{(-1)^k q^{-\binom{k+1}{2}}}{(z)_{\infty}(q/z)_\infty} \sum_{j\ge k}(-1)^jq^{\binom{j+1}{2}}z^{-j}(1-z^{2j+1}), \] where $(a)_\infty:=\prod_{n\ge0}(1-aq^n)$ denotes the $q$-shifted factorial. We prove that for all integers $k\ge 1$ and $n\ge 0$, the coefficients $J_{k,n}(m)$ are positive for all integers $-(k+n)\le m\le k+n$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 2 linked inside Pith

  1. [1]

    G. E. Andrews and M. Merca. The truncated pentagonal number theorem.J. Combin. Theory Ser. A, 119(8):1639–1643, 2012

    2012

  2. [2]

    Gasper and M

    G. Gasper and M. Rahman.Basic hypergeometric series, volume 96 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, second edition, 2004. With a foreword by Richard Askey

    2004

  3. [3]

    Ding and L

    C. Ding and L. Sun,A combinatorial proof for the positivity of the normalized Jacobi triple product tails, preprint, arXiv:2606.27507

    arXiv

  4. [4]

    V. J. W. Guo and J. Zeng. Two truncated identities of Gauss.J. Combin. Theory Ser. A, 120(3):700–707, 2013

    2013

  5. [5]

    T. Y. He, K. Q. Ji, and W. J. T. Zang. Bilateral truncated Jacobi’s identity.European J. Combin., 51:255–267, 2016

    2016

  6. [6]

    R. Mao. Proofs of two conjectures on truncated series.J. Combin. Theory Ser. A, 130:15–25, 2015

    2015

  7. [7]

    M. Merca. Truncated theta series and Rogers-Ramanujan functions.Exp. Math., 30(3):364–371, 2021

    2021

  8. [8]

    M. J. Schlosser and N. H. Zhou. Expansions of averaged truncations of basic hypergeometric series.Proc. Amer. Math. Soc., 152(11):4659–4673, 2024

    2024

Show all 12 references
  1. [9]

    Wang and A

    C. Wang and A. J. Yee. Truncated Jacobi triple product series.J. Combin. Theory Ser. A, 166:382–392, 2019

    2019

  2. [10]

    A. J. Yee. A truncated Jacobi triple product theorem.J. Combin. Theory Ser. A, 130:1–14, 2015

    2015

  3. [11]

    N. H. Zhou. Positivity and tails of pentagonal number series.J. Combin. Theory Ser. A, 208:Paper No. 105933, 21, 2024

    2024

  4. [12]

    N. H. Zhou,Monotonicity of rank functions for concave compositions, preprint, arXiv:2606.13274. School of Mathematics and Statistics, The Center for Applied Mathematics of Guangxi, Guangxi Normal University, Guilin, 541006, Guangxi, PR China Email address:nianhongzhou@outlook....

    arXiv

Pith tools

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