Non-negativity conjecture for the R=2R=2, S=1S=1 truncated theta series

From papers

Let kk be a positive integer. Consider the formal power series

(1)k1(q;q2)j=0k1(1)jqj2(1q2j+1)(1)k1(q;q).\frac{(-1)^{k-1}}{(q;q^{2})_\infty}\sum_{j=0}^{k-1}(-1)^jq^{j^2}(1-q^{2j+1})-(-1)^{k-1}(q;q)_\infty.

Non-negativity conjecture. This series has non-negative coefficients.

The series is the R=2R=2, S=1S=1 specialization arising in the proof of the main theorem. The source says that the cases k=1,2,3k=1,2,3 follow from stronger results, while the general statement is left open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Cristina Ballantine and Brooke Feigon, “Truncated Theta Series Related to the Jacobi Triple Product Identity”, arXiv:2401.04019 (2024).

Solutions 0

No solutions have been posted yet.