The Eisenstein-space conjecture for prime-detecting quasimodular forms

Let E\mathcal{E} be the quasimodular Eisenstein space, generated additively by the even-weight Eisenstein series and their derivatives. Let Ω\Omega be the space of prime-detecting quasimodular forms: a quasimodular form f=n0bn(f)qnf=\sum_{n\geq0}b_n(f)q^n belongs to Ω\Omega when bn(f)0b_n(f)\geq0 for positive nn, and bn(f)=0b_n(f)=0 for n2n\geq2 if and only if nn is prime. The Eisenstein-space conjecture. We have

Ω=EΩ.\Omega=\mathcal{E}\cap\Omega.

Equivalently, every prime-detecting quasimodular form should lie in the quasimodular Eisenstein space. The claim is based on numerical evidence, and the supplied text gives no proof or resolution.

Sources & referencesView supporting material

Primary source

William Craig, Jan-Willem van Ittersum and Ken Ono, “Integer partitions detect the primes”, arXiv:2405.06451 (2024).

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.