[論文レビュー] Some supercongruences occurring in truncated hypergeometric series

Линг Лонг, Ravi Ramakrishna|arXiv (Cornell University)|Mar 20, 2014

Advanced Mathematical Identities参考文献 14被引用数 8

ひとこと要約

この論文は、古典的超幾何変換恒等式を用いて、切断された超幾何級数とp進ガンマ関数の積の間の新しい超合同式を証明する。終結する超幾何級数をガンマ関数の比として表現し、それらをp進ガンマ関数の商に還元することで、可換形式的群法が予測するよりも強い合同式を確立する。これには、Kibelbekの予想の証明と、p ≡ 1 mod 4 に対するvan Hammeの予想の強化版が含まれる。

ABSTRACT

For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We prove a number of such supercongruences by using classical hypergeometric transformation formulae. These formulae (see the appendix), most of which are decades or centuries old, allow us to write the terminating series as the ratio of products of of $Γ$-values. At this point sums have become quotients. Writing these $Γ$-quotients as $Γ_p$-quotients, we are in a situation that is well-suited for proving $p$-adic congruences. These $Γ_p$-functions can be $p$-adically approximated by their Taylor series expansions. Sometimes there is cancelation of the lower order terms, leading to stronger congruences. Using this technique we prove, among other things, a conjecture of Kibelbek and a strengthened version of a conjecture of van Hamme.

研究の動機と目的

• 可換形式的群法が示唆するよりも強い、切断された超幾何級数とp進ガンマ関数の商の間の超合同式を確立すること。
• Kibelbekが提起した特定の超幾何超合同式に関する予想を証明すること。
• p ≡ 1 mod 4 である素数pに対して、van Hammeの超幾何超合同式に関する予想を強化すること。
• 古典的超幾何変換公式が、ガンマ関数の恒等式とp進展開を介して、p進合同式を効果的に導出できるかを示すこと。

提案手法

• クラウゼンの公式やピッフの変換を含む、古典的超幾何変換公式を用いて、終結する超幾何級数をガンマ関数の積に変換する。
• 得られたガンマ関数の比を、p進ガンマ関数 Γp の商として表現する。
• Γp のp進テイラー展開を適用して、p のより高いべき乗を法とする合同式を導出する。
• クメールの2次変換とガウスの和公式を用いて、異なる引数における超幾何級数を関連付ける。
• p進ガンマ関数の相反性および乗法性の性質を用いて、Γp 表現を簡約・比較する。
• ウィルフ＝ザイレッバー法を恒等式の検証を通じて暗黙的に用い、特にカールソンの表に記載された変換の検証に特化する。

実験結果

リサーチクエスチョン

• RQ1 古典的超幾何恒等式を用いて、可換形式的群法が予測するよりも強い超合同式を導出できるか？
• RQ2 Kibelbekの予想が、λ = -1/8 において p^{2r} を法として成り立つか？
• RQ3 ガンマ関数の恒等式を用いて、p ≡ 1 mod 4 に対するvan Hammeの超合同式を、より高いpのべき乗を法とするものに強化できるか？
• RQ4 p進展開におけるΓp のキャンセル効果が、切断された超幾何級数におけるより強い合同式をもたらす程度はどの程度か？
• RQ5 超幾何関数の変換理論を、特定のパrameter選択に対してp進合同式を証明するためにどのように活用できるか？

主な発見

• 著者らは、van Hammeの予想の強化版を証明し、p ≡ 1 mod 4 に対して、超合同式が従来の p^r ではなく p^{2r} を法として成り立つことを示した。
• Kibelbekの予想が確認された：p ≡ 1 mod 4 かつ a = (1-p)/2 のとき、λ = -1/8 における超幾何級数 3F2 は、p進ガンマ関数の積と超合同式を満たす。
• 恒等式 3F2[ (3a-1,a,1-a); (2a,a+1/2); -1/8 ] = 2^{3a} (Γ(a+1/2)Γ(a/2)/(Γ(3a/2)Γ(1/2)))^2 が、a = (1-p)/2 のときp進的設定で成り立つことが示され、これによりp進合同式が得られた。
• p ≡ 1 mod 4 のとき、λ = -1/8 における 3F2 級数の値は、-2^{3(p-1)/2} (Γp(1-p)Γp((1+3p)/4)Γp((1+p)/4))^2 を法として p^{2r} と合同であることが示された。
• 変換後にΓp-商に還元した後、p進ガンマ関数のテイラー展開におけるキャンセルを活用することで、高次のp進合同式が効果的に導出された。
• 証明技法は、古典的超幾何恒等式とp進解析を組み合わせることで、形式的群法の手法だけでは得られないより強い合同式が得られることを示した。