[论文解读] Distribution of the partition function modulo m

Ken Ono|ArXiv.org|Aug 17, 2000

Advanced Mathematical IdentitiesMathematics参考文献 16被引用 18

一句话总结

该论文证明了对于每个满足 m ≥ 5 的素数 m，存在正密度的素数 ℓ，使得对所有与 ℓ 互素的 n，有 p(mℓ³n + 1/24) ≡ 0 (mod m)。通过模形式与志村对应，该研究证明了埃尔德什关于存在无穷多个素数整除某个 p(n) 的猜想，并通过发现“拉马努金环”——模 m 下的最终周期生成函数，证实了所有小于 1000 的素数 m（除可能的 m = 3 外）的新曼猜想。

ABSTRACT

Ramanujan (and others) proved that the partition function satisfies a number of striking congruences modulo powers of 5, 7 and 11. A number of further congruences were shown by the works of Atkin, O'Brien, and Newman. In this paper we prove that there are infinitely many such congruences for every prime modulus exceeding 3. In addition, we provide a simple criterion guaranteeing the truth of Newman's conjecture for any prime modulus exceeding 3 (recall that Newman's conjecture asserts that the partition function hits every residue class modulo a given integer M infinitely often).

研究动机与目标

• 解决关于是否存在有限或无穷多个拉马努金型同余式 p(an + b) ≡ 0 (mod m) 的长期争议。
• 证明埃尔德什猜想：对每个素数 m，存在至少一个 n 使得 p(n) ≡ 0 (mod m)。
• 验证新曼猜想：对每个素数 m，模 m 下的每个剩余类在序列 p(n) mod m 中均无限次出现。
• 建立“拉马努金环”的存在性——即对分拆函数而言，模 m 下的最终周期生成函数。
• 提供一个统一、系统的框架，利用模形式分析 p(n) 模 m 的分布。

提出的方法

• 利用权为半整数的模形式理论及其模素数 m 的约化，证明生成函数 F(m,k;z) 属于 F_m 上的有限维空间。
• 应用志村对应，将模 m 下的分拆函数与权为 (m²−m−1)/2、具有字节特征的尖点形式联系起来。
• 使用斯图姆定理，通过傅里叶系数的有限计算验证模形式之间的同余式。
• 利用 U-算子与 T-算子在模形式上的作用，分析当 k 增大时序列 F(m,k;z) 的周期性。
• 引入“好素数” m 的概念，即在满足某些初始条件时，可确保模 m 下所有剩余类被完全覆盖。
• 使用哈格兰德与海纳尔开发的计算工具，验证所有小于 1000 的素数 m（除可能的 m = 3 外）均为好素数，从而证实新曼猜想。

实验结果

研究问题

• RQ1 是否存在无穷多个素数 m，使得存在至少一个 n 满足 p(n) ≡ 0 (mod m)？
• RQ2 对给定素数 m，模 m 下的每个剩余类 r 是否在序列 p(n) mod m 中无限次出现？
• RQ3 生成函数 F(m,k;z) = ∑ p(mᵏn + 1/24) qⁿ mod m 在 k 上是否表现出周期行为？
• RQ4 控制分拆函数的模 m 下模形式空间的结构是什么？
• RQ5 拉马努金型同余式的存在性能否通过模形式与赫克算子系统地解释？

主要发现

• 对每个满足 m ≥ 5 的素数 m，存在正密度的素数 ℓ，使得对所有与 ℓ 互素的 n，有 p(mℓ³n + 1/24) ≡ 0 (mod m)。
• 埃尔德什猜想已确认：对每个素数 m，存在至少一个 n 满足 p(n) ≡ 0 (mod m)，且满足条件的 n ≤ X 的数量为 ≫ X（当 m ≥ 5 时）。
• 新曼猜想对所有小于 1000 的素数 m（除可能的 m = 3 外）成立，对每个模 m 剩余类 r（1 ≤ r ≤ m−1），满足条件的解 n ≤ X 的数量为 ≫ √X / log X，而对 r = 0 的情况为 ≫ X。
• 生成函数 F(m,k;z) 在 k 上模 m 下最终呈现周期性，形成“拉马努金环”——一项关键的结构性发现。
• 对 m = 13, 17, 19, 23 推导出显式同余式，例如 p(594·13ⁿ + 111247) ≡ 0 (mod 13)，以及 p(23²ᵏ⁺¹(24n+1)+1)/24 ≡ 5ᵏg(n) (mod 23)。
• 对每个满足 m ≥ 5 的素数 m，存在整数 N(m) 和 P(m) ≤ 48(m³−2m−1)，使得对所有 i > N(m) 和所有 n ≥ 0，有 p(mⁱn + 1/24) ≡ p(mⁱ⁺ᴾ⁽ᵐ⁾n + 1/24) (mod m)。