[论文解读] Supercongruences concerning truncated hypergeometric series

Chen Wang, Hao Pan|arXiv (Cornell University)|Jun 7, 2018

Advanced Mathematical Identities参考文献 12被引用 6

一句话总结

本文在 $ p cong 1 \pmod{n} $ 的条件下，证明了涉及截断超几何级数与 $ p $-进伽马函数的两个超同余式。利用 $ p $-进伽马函数的性质与组合恒等式，作者验证了两个猜想：$ {}_nF_{n-1}\big[\frac{n-1}{n},\dots,\frac{n-1}{n}; 1,\dots,1 \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $ 与 $ p^n \cdot {}_{n+1}F_n[1,\dots,1; \frac{n+1}{n},\dots,\frac{n+1}{n} \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $。

ABSTRACT

Let $n\geq 3$ be an integer and $p$ be a prime with $p\equiv 1\pmod{n}$. In this paper, we show that $${}_nF_{n-1}\bigg[\begin{matrix} \frac{n-1}{n}&\frac{n-1}{n}&\ldots&\frac{n-1}{n}\\ &1&\ldots&1\end{matrix}\bigg | \, 1\bigg]_{p-1}\equiv -Γ_p\bigg(\frac{1}{n}\bigg)^n\pmod{p^3}, $$ where the truncated hypergeometric series $$_nF_{n-1} \bigg[\begin{matrix} x_1&x_2&\ldots&x_n\\ &y_1&\cdots&y_{n-1}\end{matrix}\bigg | \, z\bigg]_m=\sum_{k=0}^{m}\frac{z^k}{k!}\prod_{j=0}^{k-1}\frac{(x_1+j)\cdots(x_{n}+j)}{(y_1+j)\cdots(y_{n-1}+j)} $$ and $Γ_p$ denotes the $p$-adic gamma function. This confirms a conjecture of Deines, Fuselier, Long, Swisher and Tu. Furthermore, under the same assumptions, we also prove that $$p^n\cdot {}_{n+1} F_n \bigg[ \begin{matrix} 1 &1 &\ldots &1\\ &\frac{n+1}{n} &\ldots &\frac{n+1}{n} \end{matrix}\bigg | \, 1\bigg]_{p-1} \equiv -Γ_p \Bigl(\frac{1}{n} \Bigr)^n \quad(\mathrm{mod}\ {p^3}),$$ which solves another conjecture of Deines, Fuselier, Long, Swisher and Tu.

研究动机与目标

• 证明 Deines 等人提出的关于截断超几何级数与 $ p $-进伽马函数模 $ p^3 $ 的猜想。
• 建立一个涉及缩放截断超几何级数与 $ p $-进伽马函数的第二个超同余式。
• 将先前在模 $ p^2 $ 水平建立的同余式结果推广至更强的 $ p^3 $ 水平。
• 利用 $ p $-进分析与组合恒等式，推导出特殊超几何值的精确同余式。
• 验证超几何级数、$ p $-进特殊函数与算术同余式之间深层的联系。

提出的方法

• 使用 $ p $-进伽马函数 $ \Gamma_p(x) $，其通过与 $ p $ 互素的整数乘积定义，并将其扩展至 $ p $-进整数。
• 应用 Karlsson-Minton 恒等式，将广义超几何级数与含上升阶乘的有限和关联起来。
• 采用 $ p $-进展开式及 $ \Gamma_p $ 的对数导数，记作 $ G_1(x) = \Gamma_p'(x)/\Gamma_p(x) $ 与 $ G_2(x) = \Gamma_p''(x)/\Gamma_p(x) $，以分析模 $ p^2 $ 与模 $ p $ 的级数。
• 推导出一个关键的辅助同余式（命题 2.1），涉及倒数平方和与 $ p $-进伽马函数导数的和。
• 利用生成函数与对称和恒等式，在模 $ p^3 $ 下操纵截断超几何项，特别关注 $ \sum_{k=0}^{p-1} \frac{(1 - n^{-1})_k^n}{(1)_k^n} \sum_{j=1}^k \frac{1}{(j - n^{-1})^2} $。
• 应用变换 $ \binom{k+s}{s}^n \equiv \binom{p-1-k+m}{m}^n \pmod{p^2} $，并利用对称性与调和和恒等式，简化复杂求和。

实验结果

研究问题

• RQ1 在 $ p \equiv 1 \pmod{n} $ 条件下，截断超几何级数 $ {}_nF_{n-1}\big[\frac{n-1}{n},\dots,\frac{n-1}{n}; 1,\dots,1 \big| 1\big]_{p-1} $ 是否满足超同余式 $ \equiv -\Gamma_p(1/n)^n \pmod{p^3} $？
• RQ2 在相同条件下，缩放超几何级数 $ p^n \cdot {}_{n+1}F_n[1,\dots,1; \frac{n+1}{n},\dots,\frac{n+1}{n} \big| 1\big]_{p-1} $ 是否与 $ -\Gamma_p(1/n)^n \pmod{p^3} $ 同余？
• RQ3 能否利用 $ p $-进伽马函数的对数导数推导出超几何和的高阶同余式？
• RQ4 参数为 $ \frac{n-1}{n} $ 与 $ 1 $ 的截断超几何级数在 $ p^3 $ 水平下的精确行为是什么？
• RQ5 在 $ p $-进同余式的背景下，涉及 $ \frac{1}{j - n^{-1}} $ 与 $ \frac{1}{j} $ 的对称和如何相互作用？

主要发现

• Deines 等人的第一个猜想得到证实：对于 $ n \geq 3 $ 且 $ p \equiv 1 \pmod{n} $，有 $ {}_nF_{n-1}\big[\frac{n-1}{n},\dots,\frac{n-1}{n}; 1,\dots,1 \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $。
• 第二个猜想得到证明：在相同条件下，有 $ p^n \cdot {}_{n+1}F_n[1,\dots,1; \frac{n+1}{n},\dots,\frac{n+1}{n} \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $。
• 建立了一个关键的辅助同余式：$ \sum_{k=0}^{p-1} \frac{(1 - n^{-1})_k^n}{(1)_k^n} \sum_{j=1}^k \frac{1}{(j - n^{-1})^2} \equiv \Gamma_p(1/n)^n \left( G_2(1/n) - G_1(1/n)^2 \right) \pmod{p} $，其中 $ G_1, G_2 $ 为 $ \Gamma_p $ 的对数导数。
• 证明依赖于 $ \Gamma_p $ 及其导数的 $ p $-进展开式，特别是对 $ G_1 $ 模 $ p^2 $ 与对 $ G_2 $ 模 $ p $ 的处理，使用了 $ \Gamma_p(x) $ 的极限定义。
• 作者证明了涉及 $ i $ 与 $ i - n^{-1} $ 的调和型和之间的差在模 $ p $ 下消失，从而在关键同余式中实现抵消。
• 该结果将先前在 $ p^2 $ 水平的同余式推广至 $ p^3 $ 水平，确认了有限域上超几何级数中更深层次的算术结构。