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

数列 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（数論）、math.CO（組合論）
  • 発表日時: 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. **4つの具体的な超合同式予想を解決**：特殊なパラメータ値を含む予想1.1を確認した（系1.1） 4. **重要な組合せ恒等式を発見**：2つの二重和の閉形式を確立し、これらの結果は独立した価値を有する ## 方法の詳細説明 ### タスク定義 研究タスクは、数列 $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. 組合せ恒等式の確立 ベータ関数積分表現と 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$ の関係に基づいて、証明を3つの場合に分ける： - **場合1**：$m < (p-1)/2$ - **場合2**：$m > (p-1)/2$ - **場合3**：$m = (p-1)/2$ ### 技術的革新点 1. **巧妙な和の分解**：複雑な二重和を9つの部分和 $\sigma_1, \ldots, \sigma_9$ に分解し、対称性と $p$-進性質を利用して計算を簡略化 2. **ベータ関数積分法**：二項係数の逆数を含む和を処理するために、ベータ関数積分表現を創新的に使用 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の4つの具体的な場合を検証した： 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. **計算技術を発展**：ベータ関数積分法と $p$-進展開技術は広く適用可能 3. **異なる数学分野を連結**：組合論、数論、特殊関数理論を有機的に結合 ### 将来の方向 1. **高階模への拡張**：法 $p^3, p^4$ の超合同式を研究 2. **より一般的なパラメータの場合**：$S_n(x,y)$ の他の特殊値を考慮 3. **アルゴリズム実装**：より大きな素数の場合を検証する効率的な計算方法を開発 ## 深い評価 ### 利点 1. **理論的貢献が重大**：孫智伟が提出した重要な予想を完全に解決し、超合同式理論の発展を推進 2. **方法の革新性が強い**：ベータ関数積分法と精巧な和の分解技術は高度な数学的技巧を示す 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）：関連超合同式の最新研究成果 これらの参考文献は、本研究がこの分野の発展過程における重要な地位と、前を受け継ぎ後に続く役割を体現している。