Linear growth of strong prime-to-p weight bounds
Determine whether, for every prime p, there exists a constant C_p greater than zero such that the least strong prime-to-p weight bound B^(p)(1,p,m) for level-one eigenforms satisfies B^(p)(1,p,m) ≤ C_p φ(p^m) for every integer m ≥ 1.
References
Question. Does there exist, for every prime p, a constant C_p>0 such that B{(p)}(1,p,m)\leq C_p\varphi(pm) for every m\geq1?
— Prime-power congruences for level-one eigenforms
(2609.16750 - Rustom, 15 Sep 2026) in Section 5, “Strong prime-to-p weight bounds,” paragraph following Table 1, Question