Nonnegative qq-series product conjectures

From papers

Suppose q<1|q|<1 and z0z\ne0. Here E(q):=n=1(1qn)E(q):=\prod_{n=1}^{\infty}(1-q^n) and (x;q):=n=0(1xqn)(x;q)_\infty:=\prod_{n=0}^{\infty}(1-xq^n). Write F(q,z)0F(q,z)\succeq0 to mean that the relevant Laurent series in qq and zz has nonnegative coefficients.

Nonnegative product conjecture.

(i) If p1p\ge1, then

E(q)(z;q)(qzp;q)0.\frac{E(q)}{(z;q)_\infty(qz^{-p};q)_\infty}\succeq0.

(ii) If a,b,m,n1a,b,m,n\ge1, then

E(qma+nb)(qa;qma+nb)(qb;qma+nb)0.\frac{E(q^{ma+nb})}{(q^a;q^{ma+nb})_\infty(q^b;q^{ma+nb})_\infty}\succeq0.

(iii) For a1a\ge1,

[za;q]E(q)[z;q][za+1;q]0.\frac{[z^a;q]_\infty E(q)}{[z;q]_\infty[z^{a+1};q]_\infty}\succeq0.

These are further positivity conjectures for qq-products, following preceding propositions on analogous inequalities. The supplied text gives no evidence that any of the three assertions has been resolved.

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

Alexander Berkovich and Frank G. Garvan, “K. Saito's Conjecture for Nonnegative Eta Products”, arXiv:math/0607606 (2006).

Solutions 0

No solutions have been posted yet.