[論文レビュー] Generalizing and Implementing Michael Hirschhorn's Amazing Algorithm for Proving Ramanujan-Type Congruences

Edinah K. Gnang, Doron Zeilberger|arXiv (Cornell University)|Jun 27, 2013

Advanced Mathematical Identities参考文献 2被引用数 3

ひとこと要約

この論文は、モジュラー形式とヤコビのシータ関数恒等式を用いて、マイケル・ヒルシュホルンの初等的でラマヌジャン風の分割合同式の証明技法を一般化する。HirschhornおよびBoylanのMapleパッケージを用いて、素数を法とする分割関数 $ p_{-a}(n) $ のラマヌジャン型合同式を自動的に証明する計算アルゴリズムを導入し、ヒルシュホルンの手法をすべての既知の合同式に拡張し、グレブナー基底と有限体上の特殊化を用いて新規合同式の自動発見と検証を可能にする。

ABSTRACT

When Mike Hirschhorn showed us his lovely gem, that gives the simplest-to-date proof of Ramanujan's famous result that p(11n+6) is divisible by 11, we realized that his amazing method can be extended, and taught to a computer, and can prove even deeper identities. We would have done much more if not for the existence of Silviu Radu's powerful algorithm that handle any Ramanujan type congruence for any modular form (of a very general type), but it is still nice to know that in order to prove such simply stated results, that can be explained to a seven-year-old, one does not need the intimidating edifice of the "web of modularity", that Ramanujan never mastered, and probably would not have liked.

研究の動機と目的

• マイケル・ヒルシュホルンの初等的でラマヌジャン風の分割合同式証明法を、すべてのラマヌジャン型合同式を網羅的に証明可能な一般的でアルゴリズム的枠組みに拡張すること。
• 素数を法とする $ p_{-a}(n) $ のラマヌジャン型合同式を自動生成・検証する計算ツールを開発すること。
• ラマヌジャンのモジュラー関数アルゴリズムにより証明可能なすべての既知の合同式が、マクドナルド恒等式に基づくヒルシュホルン風恒等式を用いても証明可能であることを示すこと。
• 新しい無限族のこのような合同式を体系的かつコンピュータ支援で発見するための方法を提供すること。
• HIRSCHHORNおよびBOYLANのMapleパッケージを実装・公開し、分割合同式に関する証明と定理の自動生成を可能にすること。

提案手法

• Eulerおよびヤコビの無限積恒等式 $ E(q) = \textstyle\bigprod_{i=1}^\f\frac{1}{1-q^i} $ を活用し、特に $ E(q)^3 = \textstyle\bigsum_{n=0}^\f (-1)^n (2n+1) q^{(n^2+n)/2} $ を用いて、$ E(q)^3 $ を素数 $ \ell $ を法として、指数が $ \ell $ を法として $ 0,1,\dots,\ell-1 $ に属する各類に応じて $ J_i $ に分解する。
• 任意の形式的冪級数 $ f(q) $ に対して $ f(q)^\ell \equiv f(q^\ell) \pmod{\ell} $ が成り立つことを応用し、$ E(q)^{-1} $ を $ \ell $ を法として有理関数に還元し、$ J_0 + J_1 + \cdots $ の累乗を含む分子を得る。
• 生成関数と $ \text{Coeff}_{t^r} $ を用いた多項式係数抽出により、$ (J_0 + J_1 t + J_3 t^3 + \cdots)^k \pmod{t^\ell - 1} $ の中で指数が $ \equiv r \pmod{\ell} $ となる項を特定する。
• 有限体 $ \mathbb{F}_\ell $ 上のグレブナー基底技術を用いて、理想への属性を検証する：$ q^{\ell n + r} $ に対応する問題のある係数 $ POL $ が、$ (J_0 + J_1 t + \cdots)^4 \pmod{\ell} $ から得られる $ Q_m $ 多項式によって生成される理想に属していることを示す。
• $ \ell > 11 $ のような大きな素数では、完全なグレブナー基底計算が失敗するため、変数 $ J_i $ の特殊化を用いて複雑性を低減する。これには TerseMikeProofGviaSC などの手続きが用いられる。
• HIRSCHHORN パッケージを用いて、証明生成と定理生成を数秒で自動化し、BOYLAN パッケージにより $ a \leq 399 $ の $ p_{-a}(n) $ へも拡張する。

実験結果

リサーチクエスチョン

• RQ1 ヒルシュホルンの初等的証明法（例：$ p(11n+6) \equiv 0 \pmod{11} $）を、すべてのラマヌジャン型分割合同式を証明可能な体系的でアルゴリズム的枠組みに一般化できるか？
• RQ2 ラマヌジャンのモジュラー関数アルゴリズムで証明可能なすべてのラマヌジャン型合同式が、高度なモジュラー形式を用いずに、マクドナルドおよびウィンクイストの初等的恒等式のみで再証明可能か？
• RQ3 Maple などの計算代数システムを用いて、新しいラマヌジャン型合同式の発見と検証を自動化できるか？
• RQ4 ヒルシュホルン風証明を用いて、このような合同式の無限族を構成可能か？また、$ \ell $ と $ a $ にどのような構造的条件が満たされると、このような合同式が存在するか？
• RQ5 計算制限が大きな素数 $ \ell $ に対して生じるが、特殊化と有限体上のグレブナー基底を用いて、厳密性を保ちながらそれを克服できるか？

主な発見

• HIRSCHHORN パッケージは、$ p(5n+4) \equiv 0 \pmod{5} $、$ p(7n+5) \equiv 0 \pmod{7} $、$ p(11n+6) \equiv 0 \pmod{11} $ など、すべての既知のラマヌジャン型合同式を3秒未塔で証明を生成する。
• $ \ell = 17 $ の場合、標準的なヒルシュホルン設定では $ p_{-3}(17n+15) \equiv 0 \pmod{17} $ を証明できないが、これは $ POL $ が $ Q_m $ によって生成される理想に属していないためであり、より高次の恒等式の必要性を示唆する。
• 次のマクドナルド恒等式（ウィンクイストの恒等式）を用いることで、$ p_{-3}(17n+15) \equiv 0 \pmod{17} $ が正当に証明可能であることが確認され、このような証明は存在するが、最初の2つの恒等式を超える拡張が必要であることが示された。
• BOYLAN パッケージは、Matthew Boylan の定理 1.3（$ a \leq 47 $）を2秒未塔で再現し、$ a = 399 $ まで拡張し、数百の新しい合同式を生成した。
• 本論文は、$ \ell \equiv 7,11 \pmod{12} $ である素数 $ \ell $ に対して、$ p_{-(\ell-6)}(\ell n + r) \equiv 0 \pmod{\ell} $（$ r = (\ell - 6)/24 \pmod{\ell} $）という無限族の合同式について、ラマヌジャン風証明のスケッチを提示した。これは、$ \ell $ を法とする和集合に関する組合せ論的補題に基づく。
• 著者らは、$ POL $ が $ Q_m $-理想に属するとは *事前に保証されない* が、グレブナー基底や特殊化を用いた計算により検証可能であり、成功した場合には完全に厳密な証明が得られることを示した。