Complete positivity conjecture for the quasimodular forms Yw,2Y_{w,2}

Let Xw,2(z)X_{w,2}(z) be the depth-two extremal quasimodular form of weight ww, and define

Yw,2(z)=Xw,2(z)2w2Xw,2(2z).Y_{w,2}(z) = X_{w,2}(z) - 2^{w-2} X_{w,2}(2z).

A quasimodular form is completely positive when all coefficients in the relevant complete-positivity sense are positive. Complete positivity conjecture. For all w6w \ne 6, Yw,2(z)=Xw,2(z)2w2Xw,2(2z)Y_{w,2}(z) = X_{w,2}(z) - 2^{w-2} X_{w,2}(2z) is completely positive. The paper establishes complete positivity in some cases, including forms used in its applications, but the assertion for every w6w \ne 6 remains open.

Sources & referencesView supporting material

Primary source

Seewoo Lee, “Inequalities involving polynomials and quasimodular forms”, arXiv:2602.10536 (2026).

Additional references

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

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.