[論文レビュー] Distribution of the partition function modulo m

Ken Ono|ArXiv.org|Aug 17, 2000

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

ひとこと要約

本稿では、任意の素数 m ≥ 5 に対して、p(n) の分割関数がすべての ℓ と互いに素な n に対して p(mℓ³n + 1/24) ≡ 0 (mod m) を満たす正の密度を持つ素数 ℓ が存在することを確立している。モジュラー形式と志村対応を用いて、Erdős の予想（ある p(n) を割り切る素数が無数に存在する）を証明し、Ramanujan サイクルと呼ばれる「最終的周期的生成関数」の発見により、m < 1000 のすべての素数（おそらく m = 3 を除く）に対して Newman の予想を確認した。

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) を満たす Ramanujan 型合同式が有限個か無限個かという長年の議論を解決すること。
• Erdős の予想、すなわち任意の素数 m に対して、p(n) ≡ 0 (mod m) を満たす少なくとも一つの n が存在することを証明すること。
• Newman の予想、すなわち任意の素数 m に対して、p(n) mod m の各剰余類が無限回現れることを検証すること。
• 分割関数のモジュラー m における「Ramanujan サイクル」— すなわち、最終的に周期的になる生成関数—の存在を確立すること。
• p(n) mod m の分布を一貫的かつ体系的に分析するための、モジュラー形式に基づく統一的枠組みを構築すること。

提案手法

• 半整数重みモジュラー形式の理論とその素数 m における還元を活用し、F(m,k;z) が F_m 上の有限次元空間に属することを示した。
• 志村対応を用いて、m における分割関数を、特性が (m²−m−1)/2 で、Nebentypus 指標を伴う尖点形式と関連づけた。
• Sturm の定理を用いて、フーリエ係数の有限計算によりモジュラー形式間の合同関係を検証した。
• U 演算子と T 演算子の作用を用いて、k の増加に伴う F(m,k;z) の列の周期性を分析した。
• 特定の初期条件が m における剰余類の完全カバーを保証する「良い素数」m の概念を導入した。
• Haglund と Haynal が開発した計算ツールを用いて、m < 1000 のすべての素数（おそらく m = 3 を除く）が良い素数であることを確認し、Newman の予想を裏付けた。

実験結果

リサーチクエスチョン

• RQ1 p(n) ≡ 0 (mod m) を満たす n が存在するような素数 m が無数に存在するか？
• RQ2 与えられた素数 m に対して、p(n) mod m の各剰余類 r (mod m) が無限回現れるか？
• RQ3 生成関数 F(m,k;z) = ∑ p(mᵏn + 1/24) qⁿ mod m は k に対して周期的になるか？
• RQ4 分割関数を支配するモジュラー形式の空間の構造は何か？
• RQ5 Ramanujan 型合同式の存在は、モジュラー形式とヘッケ作用素を用いて体系的に説明可能か？

主な発見

• 任意の素数 m ≥ 5 に対して、p(mℓ³n + 1/24) ≡ 0 (mod m) をすべての ℓ と互いに素な n に対して満たす正の密度を持つ素数 ℓ が存在する。
• Erdős の予想が確認された：任意の素数 m に対して、p(n) ≡ 0 (mod m) を満たす少なくとも一つの n が存在し、m ≥ 5 の場合、X 未満のこのような n の個数は ≫ X である。
• Newman の予想は m < 1000 のすべての素数（おそらく m = 3 を除く）で成り立つ。各剰余類 r mod m に対して、n ≤ X を満たす解の個数は、1 ≤ r ≤ m−1 の場合 ≫ √X / log X、r = 0 の場合 ≫ X である。
• 生成関数 F(m,k;z) は k に対して最終的に周期的であり、これが「Ramanujan サイクル」としての重要な構造的発見となった。
• 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 に対して、整数 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) が成り立つ。