🔢 mathematics

A supercongruence related to Whipple's ${}_5F_4$ formula and Dwork's dash operation

本文通过构造新的参数化 WZ 对并结合 Dwork 的撇运算性质，建立了一个与惠普尔 ${}_5F_4$ 公式相关的参数超同余式，从而证明了当 $p\equiv3\pmod4$ 且 $r$ 为奇数时，特定超几何级数模 $p^{r+3}$ 的同余公式，证实了 Guo 和 Zhao 的一个猜想。

原作者： Chen Wang, He-Xia Ni

发布于 2026-02-16

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Chen Wang, He-Xia Ni

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文听起来充满了高深的数学符号，但如果我们把数学概念想象成日常生活中的故事，它的核心思想其实非常有趣。简单来说，这是一篇关于**“寻找数字规律”和“破解密码”**的数学侦探故事。

以下是用通俗语言和比喻对这篇论文的解读：

1. 故事的背景：拉马努金的“神秘配方”

想象一下，100 多年前，一位叫拉马努金（Ramanujan）的天才数学家，像变魔术一样扔出了几个神奇的公式。这些公式能把一堆无穷无尽的数字加起来，最后算出一个非常精确的数值（比如跟 $\pi$ 有关）。

比喻：这就像他给了你一个无限长的食谱，告诉你只要按步骤加下去，就能做出完美的蛋糕。但他没告诉你为什么这个食谱有效，也没告诉你如果只切掉一半食谱（只加有限项），会发生什么。

后来，另一位数学家范·哈梅（Van Hamme）发现，如果你只取食谱的前一部分（比如前 $p$ 项，其中 $p$ 是个质数），这些数字的加法结果竟然和 $p$ 有某种神奇的“余数”关系。这就像你切蛋糕切到一半时，发现切面的形状竟然和蛋糕模具的编号有某种神秘的对应关系。

2. 本次任务：破解更难的“超级密码”

这篇论文的作者（陈旺和倪合夏）接到了一个挑战。

之前的谜题：以前的数学家已经破解了一些简单的“余数规律”（称为同余式）。
新的谜题：最近，Guo 和 Zhao 两位学者提出了一个更难的猜想。他们发现，对于某些特定的质数（比如除以 4 余 3 的数），如果加法的项数更多、更复杂，结果不仅有一个简单的余数，还会多出一项“修正值”。
比喻：这就好比以前的密码锁只需要转一圈就能打开（简单的余数），但 Guo 和 Zhao 发现，现在的锁需要转两圈，而且第二圈转多少，取决于一个非常复杂的“谐波”（数学上叫二阶调和数， $H_n^{(2)}$ ）。他们猜出了密码，但还没证明为什么是这个密码。

这篇论文的目标就是：证明 Guo 和 Zhao 的猜想是真的！

3. 作者的工具箱：两把“万能钥匙”

为了证明这个猜想，作者没有硬算（因为数字太大了，根本算不过来），而是发明了两把神奇的“钥匙”：

钥匙一：WZ 对（像“移花接木”的魔术）

原理：作者找到了一对特殊的函数（叫 WZ 对），它们就像一对双胞胎。当你把其中一个函数在某个范围内求和时，另一个函数会像影子一样出现，并且两者之间有一个完美的抵消关系。
比喻：想象你在数一堆乱糟糟的积木。直接数很难，但你发现如果你把积木按某种规则重新排列（利用 WZ 对），大部分积木会互相抵消消失，最后只剩下几块关键的积木。这样，原本复杂的求和问题，瞬间变成了几个简单的数字计算。

钥匙二：Dwork 的“划掉操作”（Dash Operation）

原理：这是一个处理 $p$ 进数（一种特殊的数字系统）的技巧。它就像是一个“数字过滤器”或“取余操作”。
比喻：想象你在处理一串长长的数字项链。Dwork 的“划掉操作”就像一把特殊的剪刀，它不是简单地剪断，而是根据数字的特定规则，把项链上的某些珠子“标记”出来，并告诉你剩下的珠子之间有什么规律。作者利用这个操作，把原本看起来毫无头绪的复杂公式，转化成了可以计算的“余数形式”。

4. 破案过程：从“不可能”到“完美证明”

遇到障碍：作者一开始发现，直接套用以前的公式行不通，因为有些数字在数学上看起来是“坏掉的”（不是整数），但加在一起却又是“好的”（是整数）。这就像一堆破碎的镜片，单独看是碎的，拼起来却是一面完整的镜子。
巧妙转化：作者利用上面的“移花接木”（WZ 对），把那个“破碎”的求和公式，转化成了一个“完整”且容易计算的公式。
应用规则：接着，他们利用“划掉操作”（Dwork 的钥匙），仔细分析了公式中每一项在模 $p$ 意义下的行为。
得出结论：经过一系列严密的推导，他们发现，Guo 和 Zhao 猜想的那个复杂的“修正值”（包含 $H_n^{(2)}$ 的项）确实存在，而且数值完全吻合。

5. 最终成果：确认猜想

论文最后证明了：
对于任何满足条件的质数 $p$ 和特定的项数，那个复杂的加法公式的结果，确实等于：

一个主项 + 一个修正项

这个修正项正是 Guo 和 Zhao 猜想的那个样子。这不仅确认了猜想，还推广到了一个更广泛的数学公式（Whipple 的 5F4 公式）上，就像不仅解开了一个具体的密码锁，还找到了打开这一类锁的通用钥匙。

总结

这篇论文就像是一次数学界的“寻宝”。

宝藏：一个关于数字加法的深层规律（超同余式）。
藏宝图：Guo 和 Zhao 的猜想。
探险工具：WZ 对（移花接木术）和 Dwork 划掉操作（数字过滤器）。
结果：作者成功找到了宝藏，并证明了藏宝图上的路线是完全正确的。

这对数学界来说很重要，因为它加深了我们对数字之间深层联系的理解，这些联系在密码学、物理学等领域可能都有意想不到的应用。

这篇论文《与惠普尔（Whipple）5F4 公式及 Dwork 撇运算相关的超同余》由陈王（Chen Wang）和倪合夏（He-Xia Ni）撰写。文章主要解决了数论领域中关于超同余（supercongruence）的一个猜想，并建立了一个更广泛的参数化超同余公式。

以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

背景：
- 拉马努金（Ramanujan）在 20 世纪初提出了一系列关于 $1/\pi$ 的超几何级数恒等式。
- 范·哈梅（Van Hamme）在 1997 年观察到这些级数的截断形式具有极好的模 $p$ 同余性质，提出了著名的“范·哈梅猜想”。
- 近年来，Guo 和 Zhao 利用“创造性微观法”（creative microscoping method）研究了一些 $q$ -超同余，并针对特定形式的超几何级数提出了新的猜想。
核心问题：
- Guo 和 Zhao 猜想：对于素数 $p \equiv 3 \pmod 4$ 和奇数 $r \ge 1$ ，以下超几何级数的截断和满足特定的模 $p^{r+3}$ 同余关系：
  $\sum_{k=0}^{p^r-1} \frac{(8k+1)(\frac{1}{4})_k^3 (\frac{1}{2})_k}{(1)_k^3 (\frac{3}{4})_k} \equiv 3p^r + \frac{27}{4}p^{3r} H_{(p^r-3)/4}^{(2)} \pmod{p^{r+3}}$
  其中 $H_n^{(2)}$ 是二阶调和数。
- 该猜想是惠普尔（Whipple）5F4 超几何公式的 $p$ -进模拟的一个特例。作者旨在证明这一猜想，并寻找其参数化推广。

2. 方法论 (Methodology)

作者采用了一种结合**WZ 对（WZ pair）与Dwork 撇运算（Dwork's dash operation）**性质的创新证明策略。

WZ 对方法：
- 作者构造了一对新的参数化 WZ 函数 $F(x, k)$ 和 $G(x, k)$ 。
- 利用 WZ 对的性质 $F(x+1, k) - F(x, k) = G(x, k+1) - G(x, k)$ ，将原始求和转化为可计算的形式。
- 通过 telescoping sum（裂项求和）技巧，将原级数 $\sum F(\alpha, k)$ 转化为边界项 $\sum F(\alpha^* p^r, k)$ 与另一项 $\sum G(\alpha+l, p^r)$ 的差。
Dwork 撇运算（Dash Operation）：
- 引入 Dwork 的撇运算 $x^* = (x + \langle -x \rangle_p)/p$ 及其迭代 $x^{*r}$ 。
- 利用该运算的性质处理 Pochhammer 符号 $(x)_n$ 在 $p$ -进意义下的展开，特别是处理 $(x)_{p^r}$ 与 $\Gamma_p$ 函数（ $p$ -进 Gamma 函数）的关系。
- 证明了关于 $x^{*r}$ 的精确值公式，这对于处理求和上限和模运算至关重要。
同余分析：
- 详细分析了调和数 $H_n^{(2)}$ 在模 $p^3$ 下的性质。
- 利用引理处理了求和项中分母含有 $p$ 的倍数时的阶数（valuation）问题，确保同余式的合法性。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 主定理 (Theorem 1.1)

作者建立了一个通用的参数化超同余公式。设 $c, d, s$ 为正整数， $d \ge 2$ ， $1 \le c, s \le d$ ， $\gcd(cs, d)=1$ ，且素数 $p \ge 5$ 满足 $p \equiv s \pmod d$ 。令 $\alpha = c/d$ 。
对于满足特定条件的 $r$ ，有：
$\sum_{k=0}^{p^r-1} \frac{(2k+\alpha)(\alpha)_k^3 (\frac{1}{2})_k}{(1)_k^3 (\frac{1}{2}+\alpha)_k} \equiv \alpha^{*r} p^r - \frac{(\alpha^{*r})^3}{(\frac{1}{2}+\alpha)^{*r}} p^{r+2} H_{\alpha^{*r}p - \alpha^{*r} - 1}^{(2)} \pmod{p^{r+3}}$
其中 $\alpha^{*r}$ 表示 $\alpha$ 进行 $r$ 次撇运算后的结果。

技术难点突破：
论文指出，当 $\langle -1/2-\alpha \rangle_p < \min\{\langle -\alpha \rangle_p, (p-1)/2\}$ 时，求和项中的某些项不是 $p$ -进整数，但它们的总和是。这使得直接应用惠普尔公式和传统同余技术变得困难。作者通过构造新的 WZ 对成功克服了这一障碍。

3.2 验证 Guo-Zhao 猜想 (Corollary 1.1)

作为主定理的直接推论，作者证明了 Guo 和 Zhao 的猜想（即摘要中提到的公式）成立：
对于 $p \equiv 3 \pmod 4$ 和奇数 $r \ge 1$ ：
$\sum_{k=0}^{p^r-1} \frac{(8k+1)(\frac{1}{4})_k^3 (\frac{1}{2})_k}{(1)_k^3 (\frac{3}{4})_k} \equiv 3p^r + \frac{27}{4}p^{3r} H_{(p^r-3)/4}^{(2)} \pmod{p^{r+3}}$
此外，作者还给出了 $p=3$ 时的具体验证过程。

3.3 其他结果

当取特定参数（ $d=2, s=1, c=1$ ）时，得到了另一个超同余结果，这是 Van Hamme 猜想 (C.2) 的更强版本。
文章提供了参数表（Table 1），展示了不同 $d, s$ 组合下 $\alpha^{*r}$ 的具体形式，为未来研究提供了便利。

4. 意义与影响 (Significance)

解决开放猜想：成功证实了 Guo 和 Zhao 在 2022 年提出的关于特定超几何级数模 $p^{r+3}$ 的猜想，填补了该领域的空白。
理论推广：将具体的超同余结果推广到了参数化形式（Theorem 1.1），揭示了惠普尔 5F4 公式与 $p$ -进分析之间更深层的联系。
方法创新：展示了如何将 WZ 对方法与 Dwork 撇运算结合，用于处理涉及非 $p$ -进整数项的求和问题。这种方法为未来研究更复杂的超几何级数超同余提供了新的工具。
连接经典与现代：文章将 Ramanujan 的级数、Van Hamme 的猜想、Dwork 的 $p$ -进理论以及现代的 WZ 方法有机地结合在一起，丰富了数论中关于超同余的研究体系。

总结

该论文通过构造巧妙的参数化 WZ 对，结合 Dwork 撇运算的精细性质，不仅证明了 Guo-Zhao 猜想，还建立了一个更广泛的超同余定理。这项工作展示了现代组合数学与 $p$ -进分析在解决经典数论问题中的强大威力。