Truncated theta series from the Bailey lattice
Xiangyu Ding, Lisa Hui Sun
TL;DR
The article develops truncated theta-series identities via the Bailey lattice to obtain a truncated Jacobi triple product with odd basis, unifying and extending the Andrews–Gordon framework. It yields new truncations for Euler's pentagonal number theorem and Gauss theta-series on triangular and square numbers, with consequent partition-inequality results for pod, overpartitions, and ell-regular partitions. The work also verifies Ballantine–Merca conjectures in the 6-regular and related cases, notably proving the stronger conjecture when $R=3S$, and provides a cohesive narrative tying truncated theta series to Bailey pairs and lattice techniques. These results deepen understanding of truncated $q$-series and their combinatorial consequences, with potential further extensions through alternative Bailey hierarchies. $p(n)$, pod$(n)$, overline$p(n)$, $b_\\ell(n)$, and truncations of the Jacobi theta framework are given explicit nonnegativity implications via the derived identities.
Abstract
In 2012, Andrews and Merca obtained a truncated version of Euler's pentagonal number theorem and showed the nonnegativity related to partition functions. Meanwhile, Andrews-Merca and Guo-Zeng independently conjectured that the truncated Jacobi triple product series has nonnegative coefficients, which has been confirmed analytically and also combinatorially. In 2022, Merca proposed a stronger version for this conjecture. In this paper, by applying Agarwal, Andrews and Bressoud's Bailey lattice, we derive a truncated version for the Jacobi triple product series with odd basis which reduces to the Andrews-Gordon identity as a special instance. As consequences, we obtain new truncated forms for Euler's pentagonal number theorem, Gauss'theta series on triangular numbers and square numbers, which lead to inequalities for certain partition functions. Moreover, by considering a truncated theta series involving $\ell$-regular partitions, we confirm a conjecture proposed by Ballantine and Merca about 6-regular partitions and show that Merca's stronger conjecture on truncated Jacobi triple product series holds when $R = 3S$ for $S \geq 1.$
