Xiangyu Ding, Lisa Hui Sun
The study of truncated theta series has regained vitality since Andrews and Merca's work on the truncated version of Euler's pentagonal number theorem in 2012. In 2021, Merca proposed a stronger version of the conjecture for the truncated Jacobi triple product series. In this paper, for any given $R, S$ and $k$, we provide a systematic method to determine the lower bound $N$ of $n$ such that when $n\geq N$, Merca's stronger conjecture holds. More precisely, we first treat the infinite $q$-shift factorial in the denominator of the above theta series as the product of the following two parts
\[ \frac{1}{\left(q^s, q^{r-s}; q^r\right)_{2}}\cdot \frac{1}{\left(q^{2r+s}, q^{3r-s}; q^r\right)_{\infty}}:=\sum_{n=0}^{\infty} p_{4}(n)q^n\cdot \sum_{n=0}^{\infty} g_{s,r}(n)q^n,\]
where $s=S/(S,R),r=R/(S,R)$ are coprime. The first part can be interpreted in terms of partition functions $p_{4}(n) $ which are the number of partitions of $n$ only with parts $s, r+s, r-s, 2r-s$. The second part can be seen as a nonmodular infinite product. For $p_{4}(n)$, we obtained the general upper and lower bounds by using the residue theorem and the properties for partition functions. Further multiplied by the numerator of the theta series, we derive a lower bound of $n$ which satisfies that the coefficients of the subsequent terms are all nonnegative. For $g_{s,r}(n)$, we obtain the lower and upper bounds by applying the circle method on nonmodular infinite products, from which we also deduce an asymptotic formula for $g_{s,r}(n)$. Then, by considering the convolution of these two parts, we confirm Merca's stronger conjecture when $n\geq N $. Consequently, we show that when $k$ is sufficiently large, it only needs to deal with the first part to provide the bound $N $ and Merca's stronger conjecture holds directly for any $S$ and $R$.