2025-11-19T06:10:12.873518

Streamlined WZ method proofs of Van Hamme supercongruences

Valloud

Using the WZ method to prove supercongruences critically depends on an inspired WZ pair choice. This paper demonstrates a procedure for finding WZ pair candidates to prove a given supercongruence. When suitable WZ pairs are thus obtained, coupling them with the $p$-adic approximation of $Î_p$ by Long and Ramakrishna enables uniform proofs for the Van Hamme supercongruences B.2, C.2, D.2, E.2, F.2, G.2, and H.2. This approach also yields the known extensions of G.2 modulo $p^4$, and of H.2 modulo $p^3$ when $p$ is $3$ modulo $4$. Finally, the Van Hamme supercongruence I.2 is shown to be a special case of the WZ method where Gosper's algorithm itself succeeds.

academic

Van Hamme超同余式の流線化WZ方法による証明

基本情報

論文ID: 2508.00343
タイトル: Streamlined WZ method proofs of Van Hamme supercongruences
著者: Andrés Valloud
分類: math.NT（数論）
発表日: 2025年10月10日
論文リンク: https://arxiv.org/abs/2508.00343

要約

本論文は、WZ方法を用いて超同余式を証明する際に、WZ対の巧妙な選択に依存するという重要な問題を解決している。論文は、与えられた超同余式を証明するためのWZ対候補を見つけるための手順を提示している。適切なWZ対が得られた場合、LongとRamakrishnaの $\Gamma_p$ の $p$ -進近似と組み合わせることで、Van Hamme超同余式(B.2)、(C.2)、(D.2)、(E.2)、(F.2)、(G.2)、(H.2)に対する統一的な証明が得られる。この方法はさらに、(G.2)の既知の $p^4$ 法による拡張と、 $p \equiv 3 \pmod{4}$ のときの(H.2)の $p^3$ 法による拡張をもたらす。最後に、Van Hamme超同余式(I.2)はWZ方法の特殊な場合であり、Gosperアルゴリズム自体が成功することが証明されている。

研究背景と動機

問題背景

1997年、Van Hammeは13個のRamanujan超幾何級数 $1/\pi$ 公式の $p$ -進類似物を提案した。これらの類似物は、特定の切断された超幾何級数が予期しない大きな素数べきの下で成立する同余式を満たすことを主張している。この現象は超同余式と呼ばれている。

核心問題

WZ方法を用いて超同余式を証明する主な障害は、必要な因子を見つけることが常に臨時的な方法に依存しており、適切なWZ対を選択するための体系的な手順が欠けていることである。これはWZ方法の広範な応用を制限している。

研究動機

Van Hammeの元の超同余式の証明方法は多様であり、統一的な方法論が欠けている
Sunの99ページの論文には100個の超同余式予想が含まれており、他の学者による様々な超同余式予想とともに、より一般的な証明方法が必要である
WZ方法はアルゴリズム化の利点を持つが、因子選択の体系的な問題を解決する必要がある

核心的貢献

WZ対候補を見つけるための体系的な手順の提案：定理1.1により、一般化されたWZ対から標準WZ対を構成する方法を確立した
7つのVan Hamme超同余式に対する統一的な証明の提供：(B.2)～(H.2)はすべて同じ証明構造で処理できる
既知の結果の拡張：(G.2)の $p^4$ 法による拡張と(H.2)の $p^3$ 法による拡張（ $p \equiv 3 \pmod{4}$ のとき）を証明した
WZデバイス概念の導入：WZアルゴリズムの出力から適切なWZ対を機械的に復元する方法を体系化した
(I.2)の特殊性の証明：(I.2)がGosperアルゴリズムが直接成功する特殊な場合であることを示した

方法の詳細

タスク定義

Van Hamme超同余式の形式が与えられたとき： $\sum_{n=0}^{d} u(n)c^n \cdot \frac{(1/a)_n^m}{(1)_n^m} \equiv f(p) \pmod{p^r}$

目標は、これらの超同余式を証明するための適切なWZ対を見つけることである。

核心的な理論的枠組み

定理1.1（主要定理）

特性がゼロの体 $F$ に対して、 $F(n,k), G(n,k): \mathbb{Z}^2 \to F$ が $n$ と $k$ の両方で超幾何的であるとする。多項式 $p_0, p_1 \in F[k]$ が存在して以下を満たすとき： $p_1(k)F(n,k+1) + p_0(k)F(n,k) = G(n+1,k) - G(n,k)$

かつ $p_0, p_1$ が $F$ 上で線形因子に分解される場合、関数 $\tilde{F}(n,k), \tilde{G}(n,k)$ が存在して標準WZ対を形成する： $\tilde{F}(n,k+1) - \tilde{F}(n,k) = \tilde{G}(n+1,k) - \tilde{G}(n,k)$

構成方法

以下により定義される： $q(k) = (-1)^k \cdot \frac{\phi_{p_1}(k)}{\phi_{p_0}(k)}$

ここで $\phi_r(k)$ は多項式 $r(k)$ の線形因子分解により決定される。

技術的な革新点

1. 次数の縮小（Degree Collapse）

WZアルゴリズムが次数が1より大きい差分演算子を返す場合、 $F(n,k)$ を修正することにより： $\tilde{F}(n,k) = \frac{F(n,k)}{(1/a)_k^{m-1}}$ 新しい差分演算子が線形になる。

2. WZデバイス概念

WZデバイス $w(n,k)$ を以下を満たすように定義する：

$n$ と $k$ で超幾何的
$w(n,0) = 1$
$F(n)w(n,k)$ のWZアルゴリズムが線形差分演算子を返すようにする

3. 統一的な証明構造

すべての証明は同じパターンに従う：

適切な $F(n,k)$ を構成する
WZアルゴリズムを適用して差分演算子を得る
定理1.1を使用して標準WZ対を構成する
望遠鏡和を通じて簡略化する
Long-Ramakrishnaの $\Gamma_p$ 近似を使用して余項を分析する

実験設定

検証方法

論文は以下の方法で方法の有効性を検証している：

記号計算：WZアルゴリズム、Gosperアルゴリズム、多項式因数分解などの計算にMapleを使用
具体的な証明：各Van Hamme超同余式に対して完全な証明を提供
境界ケースの確認：小さな素数の場合（例えば $p=3$ ）を検証

比較方法

既存の証明方法との比較：

Van Hammeの元の証明
Swisher、Long、Mortensonなど学者による様々な方法
ZudilinとOsburnのWZ方法による証明

実験結果

主要な結果

定理1.2（主要定理）

Van Hamme超同余式(B.2)～(H.2)はすべて、定理1.1とLong-Ramakrishnaの定理2.1を組み合わせた流線化WZ方法で証明できる。特に：

(G.2)は $p^4$ 法で成立する
(H.2)は $p \equiv 3 \pmod{4}$ のとき $p^3$ 法に拡張可能である

命題1.3

Van Hamme超同余式(I.2)はGosperアルゴリズムの直接的な応用から導出される。

具体的な証明例

(H.2)の証明構造

WZデバイスの構成： $w(n,k) = \frac{(-1)^k(3/4)_k}{(1/4)_k(1/2)_k^2}$
望遠鏡和の適用： $\sum_{n=0}^{\lambda_2} \tilde{F}(n,k+1) - \sum_{n=0}^{\lambda_2} \tilde{F}(n,k) = \tilde{G}(\lambda_2+1,k)$
$\Gamma_p$ 分析：Long-Ramakrishna近似を使用して $\tilde{G}(\lambda_2+1,k)$ の $p$ -進賦値を分析