Conjecture on positivity of coefficients of the quasimodular forms fwf_w

For even ww, let fwf_w be the quasimodular form defined by the paper's Propositions equivariant to weights 00 and 22, with Fourier expansion

fw=m=w41aw(m)qm.f_w=\sum_{m=\left\lfloor\frac{w}{4}\right\rfloor-1}^{\infty}a_w(m)q^m.

Coefficient-positivity conjecture. Every coefficient in this expansion is positive:

aw(m)>0for mw41.a_w(m)>0\qquad\text{for }m\geq\left\lfloor\frac{w}{4}\right\rfloor-1.

The conjecture is motivated by numerical experiments and positivity has been checked for even ww from 88 through 9494, corresponding to dimensions 44 through 312312 divisible by 44. It remains open in general.

Sources & referencesView supporting material

Primary source

Ahram S. Feigenbaum, Peter J. Grabner and Douglas P. Hardin, “Eigenfunctions of the Fourier Transform with specified zeros”, arXiv:1907.08558 (2020).

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.