[论文解读] Congruences for truncated hypergeometric series ${}_2F_1$

Ji-Cai Liu|arXiv (Cornell University)|May 21, 2016

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

一句话总结

本文证明了截断超几何级数 ${}_2F_1$ 的广义超同余式，参数为 $x = \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \frac{1}{6}$，表明对于素数 $p \geq 5$ 和正整数 $n$，有 ${}_2F_1\bigl[\genfrac{}{}{0pt}{}{x\;1-x}{1};1\bigr]_{np} \equiv (-1)^{\langle -x\rangle_p} \cdot {}_2F_1\bigl[\genfrac{}{}{0pt}{}{x\;1-x}{1};1\bigr]_n \pmod{p^2}$。该结果扩展了 Rodriguez-Villegas 的原始超同余式，并通过在级数指标的 $n$ 重缩放下引入乘法因子，推广了 Sun 的早期工作。

ABSTRACT

Rodriguez-Villegas conjectured four supercongruences associated to certain elliptic curves, which were first confirmed by Mortenson by using the Gross-Koblitz formula. In this paper, we aim to prove four supercongruences between two truncated hypergeometric series ${}_2F_1$. This generalizes these four Rodriguez-Villegas supercongruences.

研究动机与目标

• 将 Rodriguez-Villegas 对截断超几何级数 ${}_2F_1$ 的四个超同余式从指标 $p$ 推广至指标 $np$。
• 将 Sun 关于 $ {}_2F_1[\frac{x,1-x}{1};1]_p \equiv (-1)^{\langle -x\rangle_p} \pmod{p^2} $ 的结果推广至更高指标 $np$。
• 在上界指标按 $n$ 缩放下，建立超同余式中的乘法结构，同时保持模 $p^2$ 的同余关系。
• 使用调和数恒等式与费马商性质，为定理 1.2 提供新的组合证明。
• 为未来推广至模 $p^3$ 的更深层次同余式奠定基础，如近期猜想所建议。

提出的方法

• 证明使用了涉及调和数与二项式系数的组合恒等式，特别是形如 $ \sum_{k=0}^n (-1)^k \binom{n}{k} \binom{n+k}{k} = (-1)^n $ 的恒等式及其与调和数相关的推广形式。
• 应用了费马商 $ q_p(a) = \frac{a^{p-1}-1}{p} $ 的性质，尤其是其加法性及在幂运算下的缩放性。
• 该方法涉及将截断超几何和按大小为 $p$ 的块进行分割，以 $r$ 为索引，分析每个块 $ \sum_{k=rp}^{(r+1)p-1} \frac{(x)_k(1-x)_k}{(1)_k^2} \pmod{p^2} $。
• 使用恒等式 $ \sum_{i=0}^{k-1} \left( \frac{1}{x+i} + \frac{1}{1-x+i} \right) = \sum_{i=0}^{k-1} \frac{(x)_i(1-x)_i}{(1)_i^2} \cdot \frac{1}{k-i} $，将包含倒数项的和与超几何项联系起来。
• 证明依赖于同余式 $ H_{\lfloor p/m \rfloor} \equiv -c \cdot q_p(m) \pmod{p} $，其中 $ m=2,3,4,6 $，将调和数与费马商联系起来。
• 通过块内同余与数学归纳法结合，推导出完整结果 $ {}_2F_1[\frac{x,1-x}{1};1]_{np} \equiv (-1)^{\langle -x\rangle_p} \cdot {}_2F_1[\frac{x,1-x}{1};1]_n \pmod{p^2} $。

实验结果

研究问题

• RQ1 Rodriguez-Villegas 对 ${}_2F_1$ 在指标 $p$ 处的四个超同余式能否推广至任意正整数 $n$ 的指标 $np$？
• RQ2 同余式 $ {}_2F_1[\frac{x,1-x}{1};1]_{np} \equiv (-1)^{\langle -x\rangle_p} \cdot {}_2F_1[\frac{x,1-x}{1};1]_n \pmod{p^2} $ 是否对 $x = \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \frac{1}{6}$ 成立？
• RQ3 在上界指标按 $n$ 缩放下，超几何和中是否存在模 $p^2$ 的乘法结构？
• RQ4 用于证明定理 1.2 的方法能否推广以证明 $np$ 情况下的广义超同余式？
• RQ5 如近期猜想所提示，是否存在更深层次的模 $p^3$ 同余式可推广本结果？

主要发现

• 本文证明了对于素数 $p \geq 5$ 和正整数 $n$，有 $ {}_2F_1[\frac{x,1-x}{1};1]_{np} \equiv (-1)^{\langle -x\rangle_p} \cdot {}_2F_1[\frac{x,1-x}{1};1]_n \pmod{p^2} $，其中 $x = \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \frac{1}{6}$，推广了定理 1.1。
• 当 $n=1$ 时，该结果退化为定理 1.1；当 $n=1$ 且 $x$ 为 $p$-进整数时，退化为定理 1.2。
• 推论 1.4 建立了 $ {}_2F_1[\frac{x,1-x}{1};1]_{p^r} \equiv (-1)^{\langle -x\rangle_p \cdot r} \pmod{p^2} $，其中 $r \geq 1$，表明指数中存在指数行为。
• 证明依赖于将和分解为长度为 $p$ 的区间块，并使用模 $p^2$ 下的调和数与二项式系数恒等式。
• 该方法使用了费马商恒等式及同余式 $ H_{\lfloor p/m \rfloor} \equiv -c \cdot q_p(m) \pmod{p} $，其中 $m=2,3,4,6$，将调和和与 $p$-进算术联系起来。
• 本文表明，此处使用的方法无法推广以证明 Z.-W. Sun 的近期 $p^3$-猜想，提示需要新的技术。