[论文解读] 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

一句话总结

本文将迈克尔·赫施霍恩（Michael Hirschhorn）针对分拆同余式的初等、拉马努金风格证明技巧，推广至模形式与雅可比θ函数恒等式框架。该研究引入了一套计算算法，通过Maple工具包HIRSCHHORN与BOYLAN实现，可自动证明模素数下的拉马努金型同余式。该方法扩展了赫施霍恩的方法，覆盖所有已知同余式，并借助格罗布纳基（Gröbner bases）与有限域上的特殊化技术，实现新同余式的自动发现与验证。

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) $ 拉马努金型同余式。
• 证明所有可通过拉杜（Radu）模函数算法证明的已知拉马努金型同余式，亦可仅通过麦克唐纳恒等式（Macdonald identities）与温奎斯特恒等式（Winquist identities）的初等恒等式重新证明。
• 提供一种系统化、计算机辅助的方法，用于发现新的无限同余族。
• 实现并分发HIRSCHHORN与BOYLAN Maple工具包，用于自动生成分拆同余式的证明与定理。

提出的方法

• 利用欧拉与雅可比的无限乘积恒等式，针对 $ E(q) = \textstyle\bigprod_{i=1}^\infty\frac{1}{1-q^i} $，特别是 $ E(q)^3 = \textstyle\bigsum_{n=0}^\infty (-1)^n (2n+1) q^{(n^2+n)/2} $，将 $ E(q)^3 $ 模素数 $ \ell $ 分解为基于指数模 $ \ell $ 的分量 $ J_i $。
• 应用恒等式 $ f(q)^\ell \equiv f(q^\ell) \pmod{\ell} $，适用于任意形式幂级数 $ f(q) $，从而将 $ 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 $ 上运用格罗布纳基技术，验证理想成员关系：证明问题系数 $ POL $（对应 $ q^{\ell n + r} $）属于由 $ (J_0 + J_1 t + \cdots)^4 \pmod{\ell} $ 导出的 $ Q_m $ 多项式生成的理想。
• 通过如 TerseMikeProofGviaSC 等过程，对变量 $ J_i $ 进行特殊化，以降低大素数 $ \ell > 11 $ 时的复杂度，此时完整格罗布纳基计算会失败。
• 利用Maple工具包HIRSCHHORN自动化整个流程，可在数秒内生成证明与定理，并通过BOYLAN工具包将方法扩展至 $ a $ 最大为399的 $ p_{-a}(n) $。

实验结果

研究问题

• RQ1 赫施霍恩针对 $ p(11n+6) \equiv 0 \pmod{11} $ 的初等证明方法，能否推广为系统化、算法化的框架，以证明所有拉马努金型分拆同余式？
• RQ2 所有可通过拉杜模函数算法证明的拉马努金型同余式，是否均可仅通过麦克唐纳与温奎斯特的初等恒等式重新证明，而无需使用高级模形式理论？
• RQ3 是否可利用如Maple等计算代数系统，自动化发现与验证新的拉马努金型同余式？
• RQ4 能否通过赫施霍恩风格的证明构造出此类同余式的无限族？哪些关于 $ \ell $ 与 $ a $ 的结构条件可确保此类同余式存在？
• RQ5 在大素数 $ \ell $ 下，如何通过有限域上的特殊化与格罗布纳基技术克服计算限制，同时保持证明的严格性？

主要发现

• HIRSCHHORN Maple工具包成功在三秒内生成所有已知拉马努金型同余式的证明，包括 $ p(5n+4) \equiv 0 \pmod{5} $、$ p(7n+5) \equiv 0 \pmod{7} $ 与 $ p(11n+6) \equiv 0 \pmod{11} $。
• 对于 $ \ell = 17 $，标准赫施霍恩设置无法证明 $ p_{-3}(17n+15) \equiv 0 \pmod{17} $，但此失败源于 $ POL $ 不在 $ Q_m $ 生成的理想中，表明需使用更高阶恒等式。
• 当使用下一个麦克唐纳恒等式（即温奎斯特恒等式）时，该方法成功证明了 $ p_{-3}(17n+15) \equiv 0 \pmod{17} $，证实此类证明存在，但需超越前两个恒等式。
• BOYLAN工具包在两秒内重现了马修·博伊兰（Matthew Boylan）定理1.3（适用于 $ a \leq 47 $），并将其扩展至 $ a = 399 $，生成数百条新同余式。
• 本文提供了一个拉马努金风格证明的概要，针对无限同余族：$ p_{-(\ell-6)}(\ell n + r) \equiv 0 \pmod{\ell} $，其中 $ \ell \equiv 7,11 \pmod{12} $，且 $ r = (\ell - 6)/24 \pmod{\ell} $，其基础为模 $ \ell $ 上和集的组合引理。
• 作者证明，$ POL $ 属于 $ Q_m $-理想的关系并非事先保证，但可通过格罗布纳基或特殊化技术进行计算验证；当成功时，此类证明完全严谨。