2025-11-25T06:40:17.532535

On some conjectural supercongruences involving the sequence $t_n(x)$

Han, Wang
In this paper, we study some supercongruences involving the sequence $$ t_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k $$ and solve some open problems. For any odd prime $p$ and $p$-adic integer $x$, we determine $\sum_{n=0}^{p-1}t_n(x)^2$ and $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ modulo $p^2$; for example, we establish that \begin{align*} \sum_{n=0}^{p-1}t_n(x)^2\equiv\begin{cases} \left(\dfrac{-1}{p}\right)\pmod{p^2},&\text{if }2x\equiv-1\pmod{p},\\[8pt] (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^2},&\text{otherwise,} \end{cases} \end{align*} where $\langle x\rangle_p$ denotes the least nonnegative residue of $x$ modulo $p$. This confirms a conjecture of Z.-W. Sun.
academic

On some conjectural supercongruences involving the sequence tn(x)t_n(x)

基本信息

  • 论文ID: 2510.11338
  • 标题: On some conjectural supercongruences involving the sequence tn(x)t_n(x)
  • 作者: Hui-Li Han, Chen Wang
  • 分类: math.NT (Number Theory), math.CO (Combinatorics)
  • 发表时间: 2025年10月13日
  • 论文链接: https://arxiv.org/abs/2510.11338

摘要

本文研究涉及序列 tn(x)=∑k=0n(nk)(xk)(x+kk)2kt_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k 的超同余式，并解决了一些开放问题。对于任意奇素数 pp 和 pp-进整数 xx，作者确定了 ∑n=0p−1tn(x)2\sum_{n=0}^{p-1}t_n(x)^2 和 ∑n=0p−1(n+1)tn(x)2\sum_{n=0}^{p-1}(n+1)t_n(x)^2 模 p2p^2 的值。特别地，证明了：

\left(\dfrac{-1}{p}\right)\pmod{p^2},&\text{if }2x\equiv-1\pmod{p},\\[8pt] (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^2},&\text{otherwise,} \end{cases}$$ 其中 $\langle x\rangle_p$ 表示 $x$ 模 $p$ 的最小非负剩余。这证实了孙智伟的一个猜想。 ## 研究背景与动机 1. **问题来源**：研究起源于Kimoto和Wakayama在2006年研究谱ζ函数特殊值时引入的Apéry型数： $$J̃_2(n) := \sum_{k=0}^n \binom{n}{k}(-1)^k\binom{-1/2}{k}^2$$ 2. **理论重要性**：超同余式是数论中的重要研究对象，特别是涉及二项式系数的超同余式与特殊函数、模形式等理论有深刻联系。 3. **现有工作的局限性**：虽然Long, Osburn和Swisher在2016年证实了Kimoto-Wakayama猜想，但对于更一般的多项式序列 $S_n(x,y)$ 的超同余式性质仍有许多未解决的问题。 4. **研究动机**：孙智伟引入了多项式序列 $S_n(x,y) := \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{-1-x}{k}y^k$，并提出了关于特殊情况 $t_n(x) = S_n(x,-2)$ 的多个猜想。本文旨在解决这些开放问题。 ## 核心贡献 1. **证明了孙智伟的主要猜想**：完全确定了 $\sum_{n=0}^{p-1}t_n(x)^2$ 模 $p^2$ 的值（定理1.1） 2. **建立了加权和的超同余式**：给出了 $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ 模 $p^2$ 的精确公式（定理1.2） 3. **解决了四个具体的超同余式猜想**：证实了涉及特殊参数值的猜想1.1（推论1.1） 4. **发现了重要的组合恒等式**：建立了两个双重求和的闭合公式，这些结果本身具有独立的价值 ## 方法详解 ### 任务定义 研究任务是确定涉及序列 $t_n(x) = \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k$ 的和式 $\sum_{n=0}^{p-1}t_n(x)^2$ 和 $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ 在模 $p^2$ 意义下的精确值，其中 $p$ 是奇素数，$x$ 是 $p$-进整数。 ### 核心技术方法 #### 1. p-进展开技术 关键引理2.1给出了 $\binom{x}{k}\binom{x+k}{k}$ 的 $p$-进展开： 对于 $m = \langle x \rangle_p \leq (p-1)/2$： - 当 $0 \leq k \leq m$ 时：$\binom{x}{k}\binom{x+k}{k} \equiv \binom{m}{k}\binom{m+k}{k}(1 + ptH_{m+k} - ptH_{m-k}) \pmod{p^2}$ - 当 $p-m \leq k \leq p-1$ 时：$\binom{x}{k}\binom{x+k}{k} \equiv 0 \pmod{p^2}$ #### 2. 组合恒等式的建立 通过Beta函数积分表示和Pfaff变换，证明了关键的双重求和公式： **引理2.2**： $$\sum_{k=0}^n\sum_{l=0}^n\binom{n}{k}\binom{n+k}{k}\binom{n}{l}\binom{n+l}{l}\frac{(-2)^{k+l}}{(k+l+1)\binom{k+l}{k}} = \frac{(-1)^n}{2n+1}$$ **引理3.2**： $$\sum_{k=0}^n\sum_{l=0}^n\binom{n}{k}\binom{n+k}{k}\binom{n}{l}\binom{n+l}{l}\frac{(-2)^{k+l}}{\binom{k+l+2}{k+1}} = \frac{1}{4} - \frac{(-1)^n(2n^2+2n-1)}{8n+4}$$ #### 3. 分情况讨论策略 根据 $m = \langle x \rangle_p$ 与 $(p-1)/2$ 的关系，将证明分为三种情况： - **情况1**：$m < (p-1)/2$ - **情况2**：$m > (p-1)/2$ - **情况3**：$m = (p-1)/2$ ### 技术创新点 1. **精妙的求和分解**：将复杂的双重求和分解为9个子和 $\sigma_1, \ldots, \sigma_9$，利用对称性和 $p$-进性质简化计算 2. **Beta函数积分方法**：创新性地使用Beta函数积分表示来处理涉及二项式系数倒数的求和 3. **调和数的巧妙处理**：在 $p$-进展开中引入调和数 $H_n = \sum_{k=1}^n 1/k$，有效控制高阶项 ## 实验设置 ### 理论验证方法 由于这是纯数学理论研究，"实验"主要体现在： 1. **特殊值验证**：通过计算具体的小素数情况验证一般公式 2. **极限情况检验**：验证边界条件下公式的正确性 3. **已知结果的一致性**：确保新结果与已知的相关超同余式一致 ### 关键参数设置 - 素数 $p$：奇素数（$p \geq 3$） - $p$-进整数 $x$：表示为 $x = m + pt$，其中 $m = \langle x \rangle_p \in \{0,1,\ldots,p-1\}$ - 特殊值：$x = -1/2, -1/3, -1/4, -1/6$ ## 实验结果 ### 主要定理结果 **定理1.1**（孙智伟猜想的证明）： $$\sum_{n=0}^{p-1}t_n(x)^2 \equiv \begin{cases} \left(\dfrac{-1}{p}\right) \pmod{p^2}, & \text{if } 2x \equiv -1 \pmod{p} \\ (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1} \pmod{p^2}, & \text{otherwise} \end{cases}$$ **定理1.2**（加权和公式）： 对于 $x \not\equiv -1/2 \pmod{p}$： $$\sum_{n=0}^{p-1}(n+1)t_n(x)^2 \equiv \frac{p}{4} - \frac{(-1)^{\langle x\rangle_p}(2x^2+2x-1)(p+2(x-\langle x\rangle_p))}{8x+4} \pmod{p^2}$$ 对于 $x \equiv -1/2 \pmod{p}$： $$\sum_{n=0}^{p-1}(n+1)t_n(x)^2 \equiv \frac{p}{4} + \frac{3}{8}\left(\dfrac{-1}{p}\right) \pmod{p^2}$$ ### 具体应用验证 **推论1.1**验证了孙智伟猜想1.1的四个具体情况： 1. $\sum_{n=0}^{p-1}(8n+5)t_n(-1/2)^2 \equiv 2p \pmod{p^2}$ 2. $\sum_{n=0}^{p-1}(32n+21)t_n(-1/4)^2 \equiv 8p \pmod{p^2}$ 3. $\sum_{n=0}^{p-1}(18n+7)t_n(-1/3)^2 \equiv 0 \pmod{p^2}$ (当 $p > 3$) 4. $\sum_{n=0}^{p-1}(72n+49)t_n(-1/6)^2 \equiv 18p \pmod{p^2}$ ## 相关工作 ### 历史发展脉络 1. **Apéry型数的研究**：始于Kimoto-Wakayama (2006)对非交换调和振子谱ζ函数的研究 2. **超同余式理论**：Long, Osburn, Swisher (2016)证明了原始的Kimoto-Wakayama猜想 3. **孙智伟的贡献**：引入了更一般的多项式序列框架，提出了系统的猜想 4. **近期进展**：Wang-Wang证明了 $s_n(x)$ 序列的模 $p^3$ 超同余式，Liu证明了模 $p^4$ 扩展 ### 本文的创新之处 1. **首次完全解决** $t_n(x)$ 序列的基本超同余式问题 2. **建立了统一的理论框架**，涵盖了多种特殊情况 3. **发展了新的技术方法**，特别是双重求和的处理技巧 ## 结论与讨论 ### 主要结论 1. **完全确定了基本超同余式**：给出了 $\sum_{n=0}^{p-1}t_n(x)^2$ 模 $p^2$ 的精确公式 2. **建立了加权和理论**：解决了涉及 $(n+1)$ 权重的超同余式 3. **验证了多个具体猜想**：为Apéry型数理论提供了新的实例 ### 理论意义 1. **丰富了超同余式理论**：为这一活跃的研究领域增加了重要的新结果 2. **发展了计算技术**：Beta函数积分方法和 $p$-进展开技术具有广泛适用性 3. **连接了不同数学分支**：将组合数学、数论和特殊函数理论有机结合 ### 未来方向 1. **高阶模的扩展**：研究模 $p^3, p^4$ 的超同余式 2. **更一般参数的情况**：考虑 $S_n(x,y)$ 的其他特殊值 3. **算法实现**：开发高效的计算方法验证更大素数的情况 ## 深度评价 ### 优点 1. **理论贡献重大**：完全解决了孙智伟提出的重要猜想，推进了超同余式理论的发展 2. **方法创新性强**：Beta函数积分方法和精巧的求和分解技术展现了高超的数学技巧 3. **证明严谨完整**：通过细致的分情况讨论和精确的 $p$-进分析，给出了完全严格的证明 4. **结果具有普遍性**：建立的公式适用于所有奇素数和一般的 $p$-进整数参数 ### 技术亮点 1. **双重求和的闭合公式**：引理2.2和3.2的证明展现了深刻的组合洞察 2. **对称性的巧妙利用**：通过 $t_n(x) = t_n(-1-x)$ 的对称性简化了 $m > (p-1)/2$ 情况的处理 3. **调和数的精确控制**：在 $p$-进展开中对调和数项的处理体现了高超的技术水平 ### 局限性 1. **仅限于奇素数**：方法对素数2不适用，需要单独处理 2. **模 $p^2$ 的限制**：虽然解决了基本问题，但更高阶模的情况仍待研究 3. **计算复杂性**：对于大素数，实际计算验证仍有一定困难 ### 影响力评估 1. **学术价值高**：解决了该领域的重要开放问题，必将引起广泛关注 2. **方法可推广**：发展的技术方法对相关问题具有启发意义 3. **理论完整性**：为Apéry型数的超同余式理论提供了重要的理论补充 ### 适用场景 1. **数论研究**：为研究二项式系数超同余式提供了新的工具和实例 2. **组合数学**：双重求和的处理方法对组合恒等式研究有参考价值 3. **特殊函数理论**：与超几何函数和模形式的研究有潜在联系 ## 参考文献 论文引用了16篇重要参考文献，包括： 1. Andrews, Askey, Roy: 《Special Functions》- 特殊函数理论的经典教材 2. Kimoto, Wakayama (2006): 引入Apéry型数的原始工作 3. Long, Osburn, Swisher (2016): 证明Kimoto-Wakayama猜想的重要论文 4. Sun (2017): 提出本文所解决猜想的原始论文 5. Wang, Wang (2025): 相关超同余式的最新研究成果 这些参考文献体现了本研究在该领域发展脉络中的重要地位和承前启后的作用。