[论文解读] Mosaic supercongruences of Ramanujan-type

Jesús Guillera|arXiv (Cornell University)|Jul 14, 2010

Advanced Mathematical Identities参考文献 3被引用 4

一句话总结

本文引入了'镶嵌超同余'（mosaic supercongruences）——这是对包含代数数（包括平方根）的超几何级数中拉马努金型超同余的推广，这些代数数同时出现在求和项和级数参数中。研究证明，模 $ p^3 $ 的部分和表现出与雅克比符号和有理系数相关的同余关系，将祖迪林（Zudilin）和范·哈姆（Van Hamme）的模式推广至多重二次域。

ABSTRACT

We generalize the patterns of supercongruences of Ramanujan-type observed by L. Van Hamme and W. Zudilin to series involving simple square roots anywhere and not only in the result of the sum. To support our observations we give some examples.

研究动机与目标

• 将范·哈姆与祖迪林观察到的超同余模式推广至拉马努金型级数，其中代数数（包括平方根）不仅出现在求和结果中，也出现在求和项中。
• 建立一个统一的框架，用于描述涉及多个平方根 $ \sqrt{d_1}, \dots, \sqrt{d_j} $ 及有理系数的超几何级数中的超同余。
• 提出并支持关于涉及 $ 1/\pi^2 $ 的拉马努金类级数的类比镶嵌超同余，将祖迪林的模式推广至更高阶的 $ p $ 幂次。

提出的方法

• 在域 $ \mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_j}) $ 中定义拉马努金-萨托型级数的部分和，将其表示为有理系数 $ \alpha_i(p) $ 与平方根的线性组合。
• 提出一种新的超同余模式：对所有素数 $ p > p_0 $，每个系数满足 $ \alpha_i(p) \equiv a_i \genfrac{(}{)}{0.8pt}{}{-d_i}{p} p \pmod{p^3} $，其中 $ a_i $ 是常数项中 $ \sqrt{d_i} $ 的有理系数。
• 将该框架应用于已知的拉马努金型级数，其参数包含复代数数，如 $ \sqrt{7}, \sqrt{-1}, \sqrt{5} $，以及 $ \sqrt{6} = \sqrt{2} \cdot \sqrt{3} $ 等乘积形式，通过数值计算验证该模式。
• 利用祖迪林的变换方法和模形式，从已知级数生成新级数，同时保持超同余结构。
• 对多个示例（包括阿佩里、多姆和阿尔姆克维斯特-祖迪林序列）在不同代数数域中，通过数值方法验证同余关系。
• 将该模式推广至 $ 1/\pi^2 $-型级数，其中同余关系模 $ p^5 $ 成立，且系数与级数展开中的常数项和一次项一致。

实验结果

研究问题

• RQ1 能否将拉马努金型级数中 $ 1/\pi $ 的超同余模式扩展到代数数（如平方根）不仅出现在求和结果中，也出现在求和项中的情形？
• RQ2 位于多重二次域 $ \mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_j}) $ 中的此类级数的部分和，是否在模 $ p^3 $ 下满足涉及雅克比符号和有理系数的同余关系？
• RQ3 能否将祖迪林型的 $ 1/\pi^2 $-型级数的超同余模式推广至包含代数参数的情形，使同余关系模 $ p^5 $ 成立？
• RQ4 是否存在一种统一的代数结构（如伽罗瓦不变或基于模形式的机制），能够解释为何这些镶嵌超同余在不同数域中均成立？
• RQ5 该方法能否扩展至包含更高次代数数（如 $ \sqrt[3]{d} $）或更复杂的代数整数的级数？

主要发现

• 对于含 $ \sqrt{15} $ 的级数，部分和模 $ p^3 $ 满足 $ \alpha_p \equiv 263 \genfrac{(}{)}{0.8pt}{}{-15}{p} p \pmod{p^3} $，与祖迪林的已知结果一致。
• 在基于 $ \sqrt{7} $ 的级数中，系数满足 $ \alpha_p \equiv -10 \genfrac{(}{)}{0.8pt}{}{-1}{p} p $ 和 $ \beta_p \equiv 7 \genfrac{(}{)}{0.8pt}{}{-7}{p} p \pmod{p^3} $，证实了镶嵌模式。
• 对于含 $ \sqrt{3} $ 和 $ \sqrt{15} $ 的阿佩里型级数，当 $ p > 5 $ 时，同余关系 $ \alpha_p \equiv -134 \genfrac{(}{)}{0.8pt}{}{-3}{p} p $ 和 $ \beta_p \equiv 60 \genfrac{(}{)}{0.8pt}{}{-15}{p} p \pmod{p^3} $ 成立。
• 在含 $ \sqrt{2}, \sqrt{3}, \sqrt{6} $ 的四重平方根级数中，系数满足 $ \alpha_p \equiv 73 \genfrac{(}{)}{0.8pt}{}{-1}{p} p $，$ \beta_p \equiv 52 \genfrac{(}{)}{0.8pt}{}{-2}{p} p $，$ \gamma_p \equiv -42 \genfrac{(}{)}{0.8pt}{}{-3}{p} p $，以及 $ \delta_p \equiv -30 \genfrac{(}{)}{0.8pt}{}{-6}{p} p \pmod{p^3} $。
• 对于含 $ \sqrt{-1} $ 和 $ \sqrt{7} $ 的复级数，通过数值计算验证了同余关系 $ \alpha_p \equiv -13p $ 和 $ \beta_p \equiv 7 \genfrac{(}{)}{0.8pt}{}{-7}{p} p \pmod{p^3} $。
• 对于含 $ \sqrt{5} $ 的 $ 1/\pi^2 $-型级数，系数满足 $ \alpha_p \equiv 56p^2 \pmod{p^5} $ 和 $ \beta_p \equiv -25 \genfrac{(}{)}{0.8pt}{}{5}{p} p^2 \pmod{p^5} $，推广了祖迪林的 $ p^5 $-型模式。