[论文解读] On the computation of coefficients of modular forms: the reduction modulo p approach

Jinxiang Zeng, Linsheng Yin|arXiv (Cornell University)|Nov 6, 2012

Analytic Number Theory Research参考文献 17被引用 4

一句话总结

本文提出了一种用于计算权为1的模形式系数的概率算法，重点针对拉马努金的τ函数。通过模小素数约简并利用中国剩余定理重构，该算法使用赫斯算法在模形式曲线的雅可比簇上计算与模形式相关的伽罗华表示，对τ(p)的时间复杂度为O(log⁶⁺²⁰⁺δ⁺ε p)。

ABSTRACT

In this paper we present a probabilistic algorithm to compute the coefficients of modular forms of level one. Focus on the Ramanujan's tau function, we give out the explicit complexity of the algorithm. From a practical viewpoint, the algorithm is particularly well suited for implementations.

研究动机与目标

• 开发一种高效算法以计算权为1的模形式系数，特别是拉马努金的τ函数。
• 解决现有多项式时间算法缺乏显式复杂度分析和实际实现策略的问题。
• 利用模p约简和中国剩余定理重构与模形式相关的伽罗华表示。
• 改进关于τ(n)非零性的莱赫默猜想的已知界。
• 提供一种实用且可分析的τ(p)计算方法，具有显式的时间复杂度。

提出的方法

• 该算法通过与判别模形式Δ(q)相关的模ℓ伽罗华表示ρℓ，计算所有满足ℓ ≤ O(log p)的素数ℓ下的τ(p) mod ℓ。
• 通过模形式曲线X1(ℓ)的雅可比簇J1(ℓ)的ℓ torsion中的拉马努金子空间Vℓ实现ρℓ。
• 使用Fp上X1(ℓ)的zeta函数和赫斯算法进行雅可比簇算术，模小素数p计算Vℓ。
• 通过与尖点的对应关系，计算函数域上点的Hecke算子作用，从而显式计算Vℓ mod p。
• 将多个小素数模下的结果通过中国剩余定理组合，重构Vℓ，从而得到τ(p)。
• 该方法依赖于Hecke代数的有界高度生成元和有限域上高效的同源计算，以降低复杂度。

实验结果

研究问题

• RQ1 能否以显式复杂度界高效计算权为1的模形式系数？
• RQ2 如何利用模p约简方法计算与拉马努金τ函数相关的伽罗华表示？
• RQ3 使用模形式和有限域上的雅可比簇算术计算τ(p)的计算复杂度是多少？
• RQ4 如何从其模小素数的约简中重构拉马努金子空间Vℓ？
• RQ5 τ(n) ≠ 0的最大n值是多少？能否通过计算方法改进该界？

主要发现

• 该算法以O(log⁶⁺²⁰⁺δ⁺ε p)的时间复杂度计算τ(p)，首次为该计算提供了显式复杂度界。
• Vℓ的计算时间复杂度为O(ℓ⁵⁺²⁰⁺δ⁺ε)，这是对完整子空间首次给出此类复杂度估计。
• τ(n)的非零性在所有n < 9.82 × 10²⁰范围内得到验证，显著优于此前2 × 10¹⁹的界限。
• 对于权13，Q₁₃(X)的计算耗时数分钟，使用了52位数字的好素数乘积，ΓC(X)的重构耗时数小时。
• 对于权31，多项式f₃₁被简化为一个系数较小的32次多项式，其分裂域的伽罗华群为PGL₂(F₃₁)，证实了其正确性。
• 该算法成功纠正了文献[13]中先前表格中缺失的符号，并计算出τ(10¹⁰⁰⁰ + 1357) ≡ ±18 mod 31。