de La Harpe、Pache和Venkov在2005年左右通过$E_8$格壳层中的球形设计推导出了Lehmer猜想的一个判据。我们通过结合球形设计、调和多项式、加权theta级数以及Deligne关于$\tau$函数模数的界来验证此判据成立。

A criterion for Lehmer's conjecture in terms of the spherical designs held in the shells of the lattice $E_8$ was derived by de La Harpe, Pache and Venkov circa 2005. We check that this criterion is satisfied by combining spherical designs, harmonic polynomials, weighted theta series, and Deligne's bound on the modulus of the $\tau$ function.