[論文レビュー] 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のモジュラー形式の係数を効率的に計算するアルゴリズムの開発。特にラマヌジャンのタウ関数に焦点を当てる。
• 既存の多項式時間アルゴリズムにおける明示的な計算量解析と実装戦略の欠如を是正すること。
• mod p での還元と中国剰余定理を活用し、モジュラー形式に関連するガロア表現を再構成すること。
• レーマンの非零性予想に関するτ(n)の既知の境界を改善すること。
• 明示的な時間計算量を伴う実用的で解析可能なτ(p)の計算手法を提供すること。

提案手法

• 本アルゴリズムは、判別形式Δ(q)に関連するmod-ℓガロア表現ρℓを用いて、すべての素数ℓ ≤ O(log p)についてτ(p) mod ℓを計算する。
• ρℓはモジュラー曲線X1(ℓ)のヤコビアンJ1(ℓ)のℓ-torsionにおけるラマヌジャン部分空間Vℓを介して実現される。
• Vℓは小さな素数pを法として、Fp上のX1(ℓ)のゼータ関数とヘスのヤコビアン算術アルゴリズムを用いて計算される。
• 関数体の点におけるヘッケ作用素の作用は、特異点との対応関係を介して計算され、Vℓ mod pの明示的計算が可能になる。
• 複数の小さな素数での結果を中国剰余定理を用いて統合することで、Vℓが再構成され、結果としてτ(p)が得られる。
• 時間計算量の低減には、ヘッケ代数の有界高さ生成子と有限体上での効率的な同種計算に依存する。

実験結果

リサーチクエスチョン

• RQ1 レベル1のモジュラー形式の係数は、明示的な計算量の境界を伴って効率的に計算可能か？
• RQ2 mod p での還元アプローチを用いて、ラマヌジャンのタウ関数に関連するガロア表現をどのように計算できるか？
• RQ3 有限体上でのモジュラー形式とヤコビアン算術を用いてτ(p)を決定する計算量は何か？
• RQ4 小さな素数での還元からラマヌジャン部分空間Vℓをどのように再構成できるか？
• RQ5 τ(n) ≠ 0となる最大のnは何か？計算的手法を用いてこの境界を改善できるか？

主な発見

• 本アルゴリズムは、τ(p)をO(log⁶⁺²⁰⁺δ⁺ε 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を計算した。