Pith. sign in

REVIEW 2 minor 1 cited by

A combinatorial proof for the positivity of the normalized Jacobi triple product tails

T0 review · 0 major / 2 minor · reviewed 2026-06-29 · grok-4.3

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

Pith's one-line read The normalized Jacobi triple product tails J_k(z,q) have all coefficients nonnegative for k ≥ 1.

desk verdict The paper gives a direct combinatorial proof via sign-reversing involution and explicit injection that settles Merca's conjecture on the normalized Jacobi tails in full. read the letter →

arxiv 2606.27507 v1 pith:FJISJHA2 submitted 2026-06-25 math.CO

Xiangyu Ding , Lisa Hui Sun This is my paper · ORCID
classification math.CO
keywords Jacobitripleproductpositivitycombinatorialproofsign-reversinginvolutionminimal-excludantpartitionstruncatedseriestwo-colored
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 that every coefficient in the Laurent series expansion of the normalized Jacobi triple product tails is nonnegative. This establishes Merca's stronger nonnegativity conjecture on the truncated Jacobi series in complete generality. The same nonnegativity produces infinite families of linear inequalities satisfied by the generating functions of two-colored partitions and of partitions whose parts lie in specified residue classes modulo R. The argument relies on a sign-reversing involution that isolates the invariant subsets classified by the generalized minimal-excludant, followed by explicit injections between consecutive invariant subsets.

What carries the argument

Sign-reversing involution reducing the tails to generalized-minimal-excludant invariant subsets, followed by injections between consecutive invariants built from the lift operator on Frobenius arms and Konan's bijection.

What would settle it

An explicit choice of k, n, and s for which the coefficient [q^n z^s] extracted from J_k(z,q) is negative.

Watch

Extended reading notes

Core claim

For each k ≥ 1 the function J_k(z,q), defined as the indicated normalized sum of the Jacobi triple product tails, expands with every coefficient [q^n z^s] nonnegative. The proof first applies a sign-reversing involution that cancels all non-invariant terms, leaving only the subsets fixed by the generalized minimal-excludant; it then constructs an order-preserving injection from each such subset into the next by combining an invertible lift operator on Frobenius arms with Konan's size- and length-preserving bijection.

Load-bearing premise

The sign-reversing involution reduces the normalized tails exactly to the invariant subsets classified by the generalized minimal-excludant, and the injection between consecutive invariant subsets is well-defined and order-preserving.

Editorial extensions

If this is right

  • Merca's stronger nonnegativity conjecture on truncated Jacobi triple product series holds in full generality.
  • Infinite families of linear inequalities hold among the generating functions of two-colored partitions.
  • Infinite families of linear inequalities hold among the generating functions of partitions with parts restricted to residue classes ±S modulo R.

Reading between the lines

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

  • The same reduction-to-invariants-plus-injection pattern may organize positivity proofs for other families of q-series with similar tail structures.
  • The generalized minimal-excludant may serve as a uniform indexing device for coefficientwise inequalities in additional classes of partition generating functions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The paper claims a combinatorial proof that the coefficients [q^n z^s] J_k(z,q) are nonnegative for all k≥1, n≥0 and s∈Z, where J_k is the normalized tail of the Jacobi triple product obtained by dividing the partial alternating sum starting at j=k by the infinite product (zq, q/z; q)_∞. The argument proceeds by exhibiting a sign-reversing involution on the underlying generating functions whose fixed points are precisely the subsets classified by the generalized minimal-excludant; an explicit injection between consecutive such invariant sets is then constructed by composing an invertible lift operator on Frobenius arms with Konan's size- and length-preserving bijection. The result implies Merca's stronger nonnegativity conjecture for truncated Jacobi series in full generality and supplies infinite families of linear inequalities for two-colored partitions and partitions with parts in residue classes ±S mod R.

Significance. If correct, the result supplies the first combinatorial proof of coefficientwise positivity for these normalized tails, thereby confirming Merca's conjecture without analytic or algebraic machinery. The explicit sign-reversing involution and the lift-plus-Konan injection constitute concrete, parameter-free constructions that directly yield the claimed inequalities for two-colored partitions; such bijective proofs are a recognized strength in partition theory.

minor comments (2)
  1. [proof of the injection (after the definition of the lift operator)] The statement of Konan's bijection is invoked in the injection construction without an explicit reference or a self-contained one-paragraph recap of its domain and range; adding a short reminder would improve readability for readers outside the immediate subfield.
  2. [introduction, paragraph on applications] In the definition of the generalized minimal-excludant, the notation for the residue classes ±S mod R is introduced only in the final paragraph; moving the definition to the preliminary section on partitions would make the application to linear inequalities self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. The referee's description accurately reflects the combinatorial approach via the sign-reversing involution and the lift-plus-Konan injection.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; direct combinatorial construction

full rationale

The derivation consists of an explicit sign-reversing involution that reduces the normalized tails exactly to the fixed subsets under the generalized minimal-excludant, followed by an injection between consecutive such subsets constructed from an invertible lift operator on Frobenius arms together with Konan's size- and length-preserving bijection. None of these steps invoke fitted parameters, self-referential definitions, or load-bearing self-citations; the target nonnegativity is obtained by direct counting and order-preserving injection rather than by reduction to quantities defined by the same result. The argument is therefore self-contained against external benchmarks and receives the default non-circularity finding.

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

The paper relies on standard facts about q-Pochhammer symbols, generating functions, and partition bijections already established in the literature; no new free parameters, ad-hoc axioms, or invented entities are introduced.

assumptions (1)
  • standard math Standard algebraic properties of the q-Pochhammer symbol and the Jacobi triple product identity
    Invoked to define the normalized tail J_k(z,q) in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A combinatorial proof for the positivity of the normalized Jacobi triple product tails." pith.science (2026). https://pith.science/paper/FJISJHA2

@misc{pith2026260627507,
  author       = {Pith},
  title        = {Pith review of: A combinatorial proof for the positivity of the normalized Jacobi triple product tails},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FJISJHA2}},
  note         = {Machine review of arXiv:2606.27507}
}
abstract

For $k\geq 1$, we prove that \[ [q^n z^s]J_k(z,q)\geq 0, \qquad (n\geq 0,\ s\in\mathbb Z) \] for the normalized Jacobi triple product tails \[ J_k(z,q) = \frac{ \sum_{j=k}^{\infty}(-1)^{j-k} q^{\binom{j+1}{2}}(z^{-j}+\cdots+z^j)} {(zq,q/z;q)_\infty}. \] This result not only implies Merca's stronger nonnegativity conjecture on truncated Jacobi triple product series in full generality, but also yields infinite families of linear inequalities for two-colored partitions and partitions with parts in the residue classes $\pm S \pmod{R}$. We present a combinatorial proof wherein a sign-reversing involution reduces the normalized Jacobi triple product tails to the invariant subsets according to the generalized minimal-excludant of partitions. Furthermore, by combing an invertible lift operator on Frobenius arms with Konan's size- and length-preserving bijection, an injection is constructed between the consecutive invariant subsets, which implies the coefficientwise positivity of the normalized Jacobi triple product tails.

Figures

Figures reproduced from arXiv: 2606.27507 by the authors.

Figure 1
Figure 1. The Young diagram of a partition and its Frobenius symbol. For λ ∈ P, define the ordinary and shifted minimal excludants by mex(λ) = min{t ≥ 1 : mt(λ) = 0}, mexr(λ) = min{t > r : mt(λ) = 0}. For example, if λ = (7, 5, 4, 2, 1), then mex1(λ) = mex2(λ) = 3. Recall that Mr = {λ ∈ P : mexr(λ) − r is odd}, Fr = {λ ∈ P : r /∈ Top(λ)}. 4 [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. illustrates this operation. (7, 5, 4, 2, 1) Top = {6, 3, 1} U4: 3 7→ 4 (7, 6, 4, 2, 1) Top = {6, 4, 1} [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. A one-step instance of Konan’s K1 move. The operation preserves size and length while removing the forbidden Frobenius arm 2. We further consider a more involved example. Take r = 2, γ = (6, 5, 4, 3). Since mex2(γ) = 7 = 2 + 2 · 2 + 1, we have t = 2, and the initial decomposition is γ = ∆2,4 ⊔ ∅, ∆2,4 = (6, 5, 4, 3). At the initial state, s = r + 2t = 6 and d6(∅) = 0. Since 6 ∈/ Top(∅), K2 removes the two largest pa… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: The complete orbit of Konan’s forward map for r = 2 and γ = (6, 5, 4, 3). Acknowledgments This work is supported by the National Natural Science Foundation of China (Grant No. 12571351, 12071235), Tianjin Natural Science Foundation (No. 24JCZDJC01390) and the Fundament…

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. Positivity and tails of Jacobi theta series

    math.NT 2026-07 accept novelty 6.0 of 10

    For every k≥1 and n≥0 the coefficients J_{k,n}(m) of the Jacobi theta tails are positive whenever |m|≤k+n.

Reference graph

Works this paper leans on

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

  1. [1]

    Alvarez-Gaumé, G

    L. Alvarez-Gaumé, G. Moore, C. Vafa, Theta functions, modular invariance, and strings, Comm. Math. Phys. 106 (1) (1986) 1–40

    1986

  2. [2]

    Andrews, The Theory of Partitions, Cambridge University Press, Cambridge, 1998

    G.E. Andrews, The Theory of Partitions, Cambridge University Press, Cambridge, 1998

    1998

  3. [3]

    G.E.Andrews, R.J.Baxter, P.J.Forrester, Eight-vertexSOSmodelandgeneralizedRogers–Ramanujan- type identities, J. Stat. Phys. 35 (3–4) (1984) 193–266

    1984

  4. [4]

    Andrews, M

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

    2012

  5. [5]

    Andrews, M

    G.E. Andrews, M. Merca, Truncated theta series and a problem of Guo and Zeng, J. Combin. Theory Ser. A 154 (2018) 610–619

    2018

  6. [6]

    Andrews, D

    G.E. Andrews, D. Newman, Partitions and the minimal excludant, Ann. Comb. 23 (2) (2019) 249–254

    2019

  7. [7]

    Andrews, D

    G.E. Andrews, D. Newman, The minimal excludant in integer partitions, J. Integer Seq. 23 (2020) 20.2.3

    2020

  8. [8]

    Ballantine, B

    C. Ballantine, B. Feigon, Truncated theta series related to the Jacobi triple product identity, Discrete Math. 348 (2025) 114319

    2025

Show all 37 references
  1. [9]

    Ballantine, M

    C. Ballantine, M. Merca, Combinatorial proof of the minimal excludant theorem, Int. J. Number Theory 17 (8) (2021) 1765–1779

    2021

  2. [10]

    Chapman, Partition identities arising from involutions, Australas

    R. Chapman, Partition identities arising from involutions, Australas. J. Combin. 27 (2003) 285–291

    2003

  3. [11]

    Di Francesco, P

    P. Di Francesco, P. Mathieu, D. Sénéchal, Conformal Field Theory, Graduate Texts in Contemporary Physics, Springer-Verlag, New York, 1997

    1997

  4. [12]

    Ding, L.H

    X. Ding, L.H. Sun, Truncated theta series from the Bailey lattice, Adv. Appl. Math. 167 (2025) 102884

    2025

  5. [13]

    Ding, L.H

    X. Ding, L.H. Sun, Proof of Merca’s stronger conjecture on truncated Jacobi triple product series, arXiv:2411.13818v3, 2025

    2025

  6. [14]

    Fraenkel, U

    A.S. Fraenkel, U. Peled, Harnessing the unwieldy MEX function, in: Games of No Chance 4, Math. Sci. Res. Inst. Publ. 63, Cambridge University Press, New York, 2015, pp. 77–94

    2015

  7. [15]

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

    2013

  8. [16]

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

    2016

  9. [17]

    Hopkins, J.A

    B. Hopkins, J.A. Sellers, D. Stanton, Dyson’s crank and the mex of integer partitions, J. Combin. Theory Ser. A 185 (2022) 105523

    2022

  10. [18]

    Hopkins, J.A

    B. Hopkins, J.A. Sellers, A.J. Yee, Combinatorial perspectives on the crank and mex partition statistics, Electron. J. Combin. 29 (2) (2022) P2.11

    2022

  11. [19]

    Jin, E.H

    J. Jin, E.H. Liu, E.X.W. Xia, New combinatorial interpretations of two truncated sums of theta series, Ramanujan J. 68 (2025) 11

    2025

  12. [20]

    Kolitsch, M

    L.W. Kolitsch, M. Burnette, Interpreting the truncated pentagonal number theorem using partition pairs, Electron. J. Combin. 22 (2) (2015) P2.55

    2015

  13. [21]

    Konan, A bijective proof of a generalization of the non-negative crank–odd mex identity, Electron

    I. Konan, A bijective proof of a generalization of the non-negative crank–odd mex identity, Electron. J. Combin. 30 (1) (2023) P1.41

    2023

  14. [22]

    Liu, On theq-partial differential equations andq-series, Ramanujan Math

    Z.-G. Liu, On theq-partial differential equations andq-series, Ramanujan Math. Soc. Lect. Notes Ser. 20 (2013) 213–250

    2013

  15. [23]

    Mao, Asymptotics for the coefficients of the truncated theta series, Appl

    R. Mao, Asymptotics for the coefficients of the truncated theta series, Appl. Math. Comput. 507 (2025) 129592

    2025

  16. [24]

    Mao, Proofs of two conjectures on truncated series, J

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

    2015

  17. [25]

    Melzer, Fermionic character sums and the corner transfer matrix, Internat

    E. Melzer, Fermionic character sums and the corner transfer matrix, Internat. J. Modern Phys. A 9 (7) (1994) 1115–1136

    1994

  18. [26]

    Merca, Truncated theta series and Rogers–Ramanujan functions, Exp

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

    2021

  19. [27]

    Merca, On two truncated quintuple series theorems, Exp

    M. Merca, On two truncated quintuple series theorems, Exp. Math. 31 (2) (2022) 606–610

    2022

  20. [28]

    Schlosser, N.H

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

    2024

  21. [29]

    Shanks, A short proof of an identity of Euler, Proc

    D. Shanks, A short proof of an identity of Euler, Proc. Amer. Math. Soc. 2 (1951) 747–749

    1951

  22. [30]

    Warnaar, Partial-sum analogues of the Rogers–Ramanujan identities, J

    S.O. Warnaar, Partial-sum analogues of the Rogers–Ramanujan identities, J. Combin. Theory Ser. A 99 (2002) 143–161

    2002

  23. [31]

    Wang, A.J

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

    2019

  24. [32]

    Wang, A.J

    C. Wang, A.J. Yee, Truncated Hecke–Rogers type series, Adv. Math. 365 (2020) 107051. 16

    2020

  25. [33]

    E.X.W. Xia, X. Zhao, Truncated sums for the partition function and a problem of Merca, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 116 (2022) 22

    2022

  26. [34]

    Xia, A.J

    E.X. Xia, A.J. Yee, X. Zhao, New truncated theorems for three classical theta function identities, European J. Combin. 101 (2022) 103470

    2022

  27. [35]

    Yao, Combinatorial interpretations of truncated series from the Jacobi triple product identity, European J

    O.X.M. Yao, Combinatorial interpretations of truncated series from the Jacobi triple product identity, European J. Combin. 128 (2025) 104176

    2025

  28. [36]

    Yee, A truncated Jacobi triple product theorem, J

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

    2015

  29. [37]

    Zhou, Positivity and tails of pentagonal number series, J

    N.H. Zhou, Positivity and tails of pentagonal number series, J. Combin. Theory Ser. A 208 (2024) 105933. Center for Combinatorics, LPMC, Nankai University, Tianjin 300071, P. R. China Email address:dingmath@mail.nankai.edu.cn Center for Combinatorics, LPMC, Nankai University, ...

    2024

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.