[論文レビュー] Congruences for truncated hypergeometric series ${}_2F_1$

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

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

ひとこと要約

この論文は、パラメータ $x = \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \frac{1}{6}$ の切り捨て超幾何級数 ${}_2F_1$ に対する一般化された超合同式を証明し、素数 $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.

研究の動機と目的

• 切り捨て超幾何級数 ${}_2F_1$ の Rodriguez-Villegas の四つの超合同式を、インデックス $p$ からインデックス $np$ へ一般化すること。
• ${}_2F_1[\frac{x,1-x}{1};1]_p \equiv (-1)^{\langle -x\rangle_p} \pmod{p^2}$ という Sun の結果を、より高いインデックス $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$ 長のブロックに分割し、各ブロック $ \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$ が正の整数であるとき、$x = \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \frac{1}{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} $ が成り立つことを証明しており、定理 1.1 を一般化している。
• この結果は $n=1$ のとき定理 1.1 に還元され、$n=1$ かつ $x$ が $p$-進整数であるとき定理 1.2 に還元される。
• 系 1.4 は、$r \geq 1$ に対して $ {}_2F_1[\frac{x,1-x}{1};1]_{p^r} \equiv (-1)^{\langle -x\rangle_p \cdot r} \pmod{p^2} $ を示しており、指数に指数的挙動が現れることを示している。
• 証明は、和を $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$-予想を証明するには拡張できないことを示しており、新たな技術の必要性を示唆している。