[論文レビュー] Supercongruences concerning truncated hypergeometric series

Chen Wang, Hao Pan|arXiv (Cornell University)|Jun 7, 2018

Advanced Mathematical Identities参考文献 12被引用数 6

ひとこと要約

本稿は、整数 $ n \geq 3 $ に対して $ p \equiv 1 \pmod{n} $ を満たす場合に、切り捨てられた超幾何級数と $ p $-進ガンマ関数を含む2つの超合同関係を証明する。$ p $-進ガンマ関数の性質と組み合わせ的恒等式を用いて、2つの予想が検証される：$ {}_nF_{n-1}\big[\frac{n-1}{n},\dots,\frac{n-1}{n}; 1,\dots,1 \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $ および $ p^n \cdot {}_{n+1}F_n[1,\dots,1; \frac{n+1}{n},\dots,\frac{n+1}{n} \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $。

ABSTRACT

Let $n\geq 3$ be an integer and $p$ be a prime with $p\equiv 1\pmod{n}$. In this paper, we show that $${}_nF_{n-1}\bigg[\begin{matrix} \frac{n-1}{n}&\frac{n-1}{n}&\ldots&\frac{n-1}{n}\\ &1&\ldots&1\end{matrix}\bigg | \, 1\bigg]_{p-1}\equiv -Γ_p\bigg(\frac{1}{n}\bigg)^n\pmod{p^3}, $$ where the truncated hypergeometric series $$_nF_{n-1} \bigg[\begin{matrix} x_1&x_2&\ldots&x_n\\ &y_1&\cdots&y_{n-1}\end{matrix}\bigg | \, z\bigg]_m=\sum_{k=0}^{m}\frac{z^k}{k!}\prod_{j=0}^{k-1}\frac{(x_1+j)\cdots(x_{n}+j)}{(y_1+j)\cdots(y_{n-1}+j)} $$ and $Γ_p$ denotes the $p$-adic gamma function. This confirms a conjecture of Deines, Fuselier, Long, Swisher and Tu. Furthermore, under the same assumptions, we also prove that $$p^n\cdot {}_{n+1} F_n \bigg[ \begin{matrix} 1 &1 &\ldots &1\\ &\frac{n+1}{n} &\ldots &\frac{n+1}{n} \end{matrix}\bigg | \, 1\bigg]_{p-1} \equiv -Γ_p \Bigl(\frac{1}{n} \Bigr)^n \quad(\mathrm{mod}\ {p^3}),$$ which solves another conjecture of Deines, Fuselier, Long, Swisher and Tu.

研究の動機と目的

• Deines らの予想を、切り捨てられた超幾何級数と $ p $-進ガンマ関数の間の $ p^3 $ を法とする合同関係として証明すること。
• スケーリングされた切り捨てられた超幾何級数と $ p $-進ガンマ関数を含む第二の超合同関係を確立すること。
• 従来の $ p^2 $ を法とする合同関係の結果を、より強い $ p^3 $ のレベルにまで拡張すること。
• $ p $-進解析と組み合わせ的恒等式を用いて、特殊な超幾何級数の値に対する正確な合同関係を導出すること。
• 超幾何級数、$ p $-進特殊関数、算術的合同関係の間の深い関係を検証すること。

提案手法

• $ p $-進ガンマ関数 $ \Gamma_p(x) $ を、$ p $ と互いに素な整数の積によって定義し、$ p $-進整数へと拡張する。
• 一般化された超幾何級数と上昇階乗を含む有限和を関連付けるために、Karlsson-Minton 恒等式を適用する。
• $ p $-進展開と $ \Gamma_p $ の対数的導関数、すなわち $ G_1(x) = \Gamma_p'(x)/\Gamma_p(x) $ および $ G_2(x) = \Gamma_p''(x)/\Gamma_p(x) $ を用いて、$ p^2 $ および $ p $ を法とする級数の解析を行う。
• 逆数の平方和と $ p $-進ガンマ関数の導関数を含む、重要な補助的合同関係（命題 2.1）を導出する。
• 母関数と対称和の恒等式を用いて、$ p^3 $ を法とする切り捨てられた超幾何級数の項を操作し、特に $ \sum_{k=0}^{p-1} \frac{(1 - n^{-1})_k^n}{(1)_k^n} \sum_{j=1}^k \frac{1}{(j - n^{-1})^2} $ に注目する。
• 変換 $ \binom{k+s}{s}^n \equiv \binom{p-1-k+m}{m}^n \pmod{p^2} $ を適用し、対称性と調和和の恒等式を活用して、複雑な和を簡約する。

実験結果

リサーチクエスチョン

• RQ1 切り捨てられた超幾何級数 $ {}_nF_{n-1}\big[\frac{n-1}{n},\dots,\frac{n-1}{n}; 1,\dots,1 \big| 1\big]_{p-1} $ は、$ p \equiv 1 \pmod{n} $ の下で、超合同関係 $ \equiv -\Gamma_p(1/n)^n \pmod{p^3} $ を満たすか？
• RQ2 スケーリングされた超幾何級数 $ p^n \cdot {}_{n+1}F_n[1,\dots,1; \frac{n+1}{n},\dots,\frac{n+1}{n} \big| 1\big]_{p-1} $ は、同じ条件下で $ -\Gamma_p(1/n)^n \pmod{p^3} $ と合同か？
• RQ3 対数的導関数 $ \Gamma_p $ を用いて、超幾何和の高次の合同関係を導出できるか？
• RQ4 パラメータが $ \frac{n-1}{n} $ および $ 1 $ である切り捨てられた超幾何級数の $ p^3 $ 水準での正確な挙動は何か？
• RQ5 調和和の恒等式を用いた $ \frac{1}{j - n^{-1}} $ および $ \frac{1}{j} $ を含む対称和は、$ p $-進合同関係の文脈でどのように相互作用するか？

主な発見

• Deines らの最初の予想が確認された：$ n \geq 3 $、$ p \equiv 1 \pmod{n} $ の下で、$ {}_nF_{n-1}\big[\frac{n-1}{n},\dots,\frac{n-1}{n}; 1,\dots,1 \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $。
• 第二の予想が証明された：同じ条件下で、$ p^n \cdot {}_{n+1}F_n[1,\dots,1; \frac{n+1}{n},\dots,\frac{n+1}{n} \big| 1\big]_{p-1} \equiv -\Gamma_p(1/n)^n \pmod{p^3} $。
• 重要な補助的合同関係が確立された：$ \sum_{k=0}^{p-1} \frac{(1 - n^{-1})_k^n}{(1)_k^n} \sum_{j=1}^k \frac{1}{(j - n^{-1})^2} \equiv \Gamma_p(1/n)^n \left( G_2(1/n) - G_1(1/n)^2 \right) \pmod{p} $、ここで $ G_1, G_2 $ は $ \Gamma_p $ の対数的導関数である。
• 証明は、$ \Gamma_p $ 及びその導関数の $ p $-進展開に依拠しており、特に $ G_1 $ については $ p^2 $ を法とし、$ G_2 $ については $ p $ を法とする。$ \Gamma_p(x) $ の極限定義が用いられる。
• 整数 $ i $ と $ i - n^{-1} $ を含む調和的類似和の差が $ p $ を法として消えることを示し、重要な合同関係におけるキャンセルを可能にする。
• 従来の $ p^2 $ 水準の合同関係を $ p^3 $ にまで拡張し、有限体上の超幾何級数におけるより深い算術的構造を確認した。