Abstract:The truncated series start off with Andrews and Merca's truncated version of Euler's pentagonal number theorem in 2012. Moreover, Andrews--Merca and Guo--Zeng independently conjectured that the truncated Jacobi triple product series has nonnegative coefficients, which has been proved analytically by Mao and combinatorially by Yee. In 2021, Merca gave a stronger version for the truncated Jacobi triple product series(JTPS). Some very spcial cases of the conjecture have been proved by Ballantine--Feigon, Ding-Sun and Zhou. On the one hand, we consider the partial finite denomintor of the stronger truncated JTPS series with Residue theorem and prove that the coefficients of $ q^{n} $ in the series are positive when $ n $ greater than a finite constant. On the other hand, for the infinte denomintor, we deduce an asymptotic of nonmodular infinite products and therefore prove Merca's conjecture when $ n $ greater than a constant. We also show than when $ k $ is large enough, the infinte denomintor can be ignored and the Conjecture holds as a corollary.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to prove the correctness of Merca's conjecture about a stronger version of the Truncated Jacobi Triple Product Series (JTPS). Specifically, the authors aim to prove that for a sufficiently large $n$, when $1\leq S < R/2$ and $k\geq1$, the coefficients of the truncated JTPS in the following form are non - negative: \[ (−1)^k \sum_{j = k}^{\infty} (−1)^j q^{Rj(j + 1)/2}\left(q^{-Sj}-q^{(j + 1)S}\right)\frac{1}{(q^S,q^{R - S};q^R)_{\infty}} \] To achieve this goal, the authors divide the denominator into a finite part and an infinite part, and apply the residue theorem and the circle method to deal with these two parts respectively. By combining these two methods, the authors finally prove that under certain conditions, the coefficients of the above series are indeed non - negative. In addition, the paper also explores the asymptotic behavior of nonmodular infinite products and gives their asymptotic formulas. These results are helpful for further verifying Merca's stronger - version conjecture and provide a theoretical basis for future research. In summary, the core problem of this paper is to prove the correctness of Merca's stronger - version conjecture about the truncated Jacobi triple product series through strict mathematical analysis and combinatorial methods, thereby promoting the research progress in related fields.

Proof of Merca's stronger conjecture on truncated Jacobi triple product series

Truncated Theta Series Related to the Jacobi Triple Product Identity

Truncated theta series from the Bailey lattice

Asymptotic formulas for the coefficients of the truncated theta series

Two conjectures of Andrews, Merca and Yee on truncated theta series

Truncated sums for the partition function and a problem of Merca

Proof of a conjecture of Ballantine and Merca on truncated sums of 6-regular partitions

A general positivity result on coefficients of certain $q$-series

Proof of two supercongruences of truncated hypergeometric series ${}_4F_3$

Proof of conjectures on series with summands involving 2kk8^k/(3kk6k3k)

A variety of Euler’s sum of powers conjecture

A Unified Combinatorial Treatment for Three Classical Truncated Theta Series

Proof of a congruence concerning truncated hypergeometric series ${}_6F_5$.

A proof of a Dumortier-Roussarie's conjecture

Proof of conjectures on series with summands involving $ \binom{2k}{k}8^k/(\binom{3k}{k}\binom{6k}{3k})$

Proof of the Kresch-Tamvakis Conjecture

Expansions of averaged truncations of basic hypergeometric series

Positivity and tails of pentagonal number series

Ternary cyclotomic numbers and ternary Jacobi sums

Proofs of conjectures on Ramanujan-type series of level 3

The convergence of an alternating series of Erdős, assuming the Hardy--Littlewood prime tuples conjecture