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

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

Advanced Mathematical Identities被引用 1

一句话总结

本文提出了一种用于计算权为1的模形式系数的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进方法计算模形式的系数，利用Hecke代数的结构。
• 它使用概率框架以减少计算开销，同时保持正确性。
• 该方法依赖于模形式及其傅里叶系数的p进插值。
• 通过p进精度估计和模符号计算进行复杂度分析。
• 该算法在实践中设计高效，尤其适用于τ函数的大索引计算。

实验结果

研究问题

• RQ1 如何使用p进技术高效计算权为1的模形式系数？
• RQ2 使用该方法计算拉马努金的τ函数的显式计算复杂度是多少？
• RQ3 概率方法是否能在降低计算成本的同时保持准确性，用于模形式系数的计算？
• RQ4 p进框架如何提升大规模系数计算的可行性？

主要发现

• 该算法提供了一种用于计算权为1的模形式系数的概率方法，具有可证明的正确性。
• 推导出明确的复杂度界，表明该方法在实际应用中具有高效性。
• 该方法在计算大索引下拉马努金的τ函数时尤为有效。
• p进框架实现了稳定且精确的系数计算，且精度损失可控。