Eventual positivity conjecture for D(k,m,n)D'(k,m,n)

Let D(k,m,n)D'(k,m,n) be defined by

n0D(k,m,n)qn=qmn0C(k,m,n)qn(q2,q2k;q2)(q;q2)2,\sum_{n\geq 0}D'(k,m,n)q^n=q^{-m}\sum_{n\geq 0}C'(k,m,n)q^n-\frac{(q^2,q^{2k};q^2)_\infty}{(q;q^2)_\infty^2},

where kk and mm are positive integers. A series is eventually positive when all coefficients are nonnegative from some index onward. The eventual positivity conjecture for D(k,m,n)D'(k,m,n). If k>mk>m, then

n0D(k,m,n)qn\sum_{n\geq 0}D'(k,m,n)q^n

is eventually positive. The paper gives no proof of this general assertion, leaving it as an open conjecture.

Sources & referencesView supporting material

Primary source

George E. Andrews and Mohamed El Bachraoui, “Certain positive q-series and inequalities for two-color partitions”, arXiv:2507.09276 (2025).

Additional references

2 papers in this index state this conjecture (2017–2025). The statement above is taken from the most recent of them; the others are arXiv:1708.01957.

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.