[論文レビュー] Supercongruences and hypergeometric transformations

Chen Wang|arXiv (Cornell University)|Mar 22, 2020

Advanced Mathematical Identities被引用数 2

ひとこと要約

この論文は、二つの孫の予想される超合同式を、二項係数の二乗の積の和を有理超幾何級数に結びつける ${}_4F_3$ 超幾何変換恒等式を用いて証明する。$p > 3$ である素数 $p$ に対して、これらの和が $p^4$ を法としてオイラー数 $E_{p-3}$ およびリーマン記号 $(-1)^{(p-1)/2}$ と関連する合同式を確立し、超幾何型和の深い算術的性質を確認する。

ABSTRACT

In this paper, we mainly prove two conjectural supercongruences of Sun by using the following identity $$ \sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2=16^n\sum_{k=0}^n\frac{\binom{n+k}{k}\binom{n}{k}\binom{2k}{k}^2}{(-16)^k} $$ which arises from a ${}_4F_3$ hypergeometric transformation. For any prime $p>3$, we prove that \begin{gather*} \sum_{n=0}^{p-1}\frac{n+1}{8^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2\equiv(-1)^{(p-1)/2}p+5p^3E_{p-3}\pmod{p^4}, \sum_{n=0}^{p-1}\frac{2n+1}{(-16)^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2\equiv(-1)^{(p-1)/2}p+3p^3E_{p-3}\pmod{p^4}, \end{gather*} where $E_{p-3}$ is the $(p-3)$th Euler number.

研究の動機と目的

• 孫が提示した、二乗中心二項係数の積の和を含む二つの予想される超合同式を証明すること。
• $p > 3$ である素数に対して、これらの和の $p^4$ を法とした算術的合同式を確立すること。
• 得られた合同式をオイラー数 $E_{p-3}$ およびリーマン記号 $(-1)^{(p-1)/2}$ に結びつけること。

提案手法

• ${}_4F_3$ 変換を用いて、$\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2$ を有理超幾何級数に結びつける重要な恒等式を導出する。
• 導出した恒等式を用いて、和を $\sum_{k=0}^n\frac{\binom{n+k}{k}\binom{n}{k}\binom{2k}{k}^2}{(-16)^k}$ の形に表現する。
• $p$-進解析および $p^4$ を法とした二項係数の既知の性質を用いて、$n = 0$ から $p-1$ までの和を評価する。
• 調和和およびベルヌーイ数の既知の合同式を活用し、結果をオイラー数 $E_{p-3}$ に結びつける。
• リーマン記号 $(-1)^{(p-1)/2}$ を用いて、最終的な合同式における $p \mod 4$ による符号依存性を捉える。
• 代数的変形および超幾何級数の既知の $p$-進恒等式を用いて、合同式が $p^4$ を法として成立することを検証する。

実験結果

リサーチクエスチョン

• RQ1 超幾何変換恒等式は、二乗中心二項係数の和を含む超合同式を証明するためにどのように利用可能か？
• RQ2 $\sum_{n=0}^{p-1}\frac{n+1}{8^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2$ の $p^4$ を法とした $p$-進的性質は何か？
• RQ3 オイラー数 $E_{p-3}$ は、$p > 3$ である素数に対して、これらの超幾何和の合同構造にどのように現れるか？
• RQ4 合同式の符号は、$(-1)^{(p-1)/2}$ を用いて表せるか？ これは $p$ の二次非剰剰剰の性質を反映している。
• RQ5 分母が $(-16)^n$ である和の交項版の正確な超合同式の形は何か？

主な発見

• 任意の素数 $p > 3$ に対して、和 $\sum_{n=0}^{p-1}\frac{n+1}{8^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2$ は、$p^4$ を法として $(-1)^{(p-1)/2}p + 5p^3E_{p-3}$ と合同である。
• 和 $\sum_{n=0}^{p-1}\frac{2n+1}{(-16)^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2$ は、$p^4$ を法として $(-1)^{(p-1)/2}p + 3p^3E_{p-3}$ と合同である。
• オイラー数 $E_{p-3}$ は、両方の超合同式に明示的に現れ、和をベルヌーイ数およびオイラー数の算術的性質に結びつける。
• $p$ の一次項の符号は $(-1)^{(p-1)/2}$ によって支配され、$p$ が $4$ を法として平方剰剰かどうかの性質を反映している。
• これらの結果は、同じ和の二つの異なる表現を結びつける非自明な ${}_4F_3$ 超幾何変換恒等式を用いて得られている。
• 合同式は $p^4$ を法として成立しており、$p$ や $p^2$ を超える深い算術的構造を示している。