The modulus-seven Borwein sign-pattern conjecture

For a positive integer nn, define

(q;q)7n(q7;q7)n=m=021n2dm(n)qm.\frac{(q;q)_{7n}}{(q^7;q^7)_n}=\sum_{m=0}^{21n^2}d_m(n)q^m.

Modulus-seven Borwein conjecture. For all mm and nn, d7m(n)0d_{7m}(n)\ge0 and d7m+1(n),d7m+3(n),d7m+4(n),d7m+6(n)0d_{7m+1}(n),d_{7m+3}(n),d_{7m+4}(n),d_{7m+6}(n)\le0. Further, d7m+5(n)0d_{7m+5}(n)\ge0 when m3α(n)n2m\le3\alpha(n)n^2 and d7m+5(n)0d_{7m+5}(n)\le0 when m>3α(n)n2m>3\alpha(n)n^2, where α(n)\alpha(n) appears to stabilize around 0.3020.302.

Sources & referencesView supporting material

Primary source

Chen Wang and Christian Krattenthaler, “An asymptotic approach to Borwein-type sign pattern theorems”, arXiv:2201.12415 (2022).

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.