[論文レビュー] An elementary proof of a Rodriguez-Villegas supercongruence

Roberto Tauraso|ArXiv.org|Nov 22, 2009

Analytic Number Theory Research参考文献 3被引用数 15

ひとこと要約

この論文は、Rodriguez-Villegasが提起した超合同式について、初等的な証明を提示している。任意の奇素数 $ p $ に対して、和 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 16^{-k} \equiv (-1)^{(p-1)/2} \pmod{p^2} $ が成り立つ。証明は、二項係数の $ p^2 $ を法とする性質と、新しい組合せ的恒等式を用い、フィボナッチ数列およびラウス数列に関連する新しい結果と、Zhi-Wei Sunの予想を含む。

ABSTRACT

We give a short proof of the following known congruence: for every odd prime $p$ $$\sum_{k=0}^{p-1}{2k\choose k}^2 16^{-k}\equiv (-1)^{p-1\over 2}\pmod{p^2}.$$ Moreover, we provide some new results connected with the above congruence.

研究の動機と目的

• 中心二項係数に関する既知の超合同式を、$ p^2 $ を法として初等的な方法で証明すること。
• 対称的恒等式におけるパラメータ $ \alpha $ と $ \beta $ を用いた元の合同式の一般化。
• 超合同式とフィボナッチ数列やラウス数列などの既知の整数列との関連を確立すること。
• Zhi-Wei Sunが提起した予想、すなわち $ p \equiv 3 \pmod{4} $ のとき $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} \equiv 0 \pmod{p^2} $ を証明すること。
• $ p \equiv 1 \pmod{4} $ のとき、和 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} $ に対して明示的な合同式を導出し、二項係数の平方の和および $ p $ を二乗和として表す方法と関連付けること。

提案手法

• 既知の組合せ的恒等式の使用：$ \sum_{k=0}^{n} \binom{n}{k}^2 \alpha^{n-k} \beta^k = \sum_{k=0}^{n} \binom{n+k}{k} \binom{n}{k} (\alpha - \beta)^{n-k} \beta^k $、これは母関数を用いて再証明される。
• 恒等式の変形：関係式 $ \binom{n+k}{k} \binom{n}{k} = \binom{n+k}{2k} \binom{2k}{k} $ を用い、モジュラス簡約を可能にする。
• 鍵となる合同式の適用：$ \binom{n+k}{2k} \equiv \binom{2k}{k} (-16)^{-k} \pmod{p^2} $（$ n = (p-1)/2 $ のとき）、これは二項係数の $ p $-進性質から導かれる。
• $ \binom{2k}{k}^2 \equiv 0 \pmod{p^2} $ が $ (p-1)/2 < k < p-1 $ のとき成り立つことを利用し、和を最初の $ (p-1)/2 $ 項に簡約する。
• 対称性の性質の利用：$ T(\alpha, \beta) \equiv T(\beta, \alpha) \equiv (-1)^{(p-1)/2} T(-\alpha, -\beta) \pmod{p^2} $、これにより特殊な $ \alpha, \beta $ 値に対する新たな合同式が得られる。
• $ \alpha = 1-t, \beta = -t $ の代入により、和をフィボナッチ数列およびラウス数列に関連させ、$ p \mod 4 $ に応じた $ p^2 $ を法とする合同式が得られる。

実験結果

リサーチクエスチョン

• RQ1 $ p $-進 $ \Gamma $-関数や超幾何級数に依存せずに、Rodriguez-Villegasの超合同式を初等的手法で証明できるか？
• RQ2 二つのパラメータ $ \alpha $ と $ \beta $ を用いた超合同式の一般化は可能か？ また、どのような対称性が現れるか？
• RQ3 超合同式を既知の整数列（フィボナッチ数列やラウス数列）とどのように結びつけることができるか？
• RQ4 Zhi-Wei Sunの予想が正しいか、すなわち $ p \equiv 3 \pmod{4} $ のとき $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} \equiv 0 \pmod{p^2} $ が成り立つか？
• RQ5 $ p \equiv 1 \pmod{4} $ のとき、和 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} $ は、$ p = x^2 + y^2 $ の表記を用いて表現できるか？

主な発見

• すべての奇素数 $ p $ に対して、超合同式 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 16^{-k} \equiv (-1)^{(p-1)/2} \pmod{p^2} $ が、二項係数の恒等式とモジュラス算術を用いた初等的証明により成り立つ。
• 一般化された恒等式が成り立つ：$ \sum_{k=0}^{(p-1)/2} \binom{2k}{k}^2 \frac{(-\beta)^k (\beta - \alpha)^{(p-1)/2 - k}}{16^k} \equiv \sum_{k=0}^{(p-1)/2} \binom{(p-1)/2}{k}^2 \alpha^{(p-1)/2 - k} \beta^k \pmod{p^2} $。
• $ p \equiv 1 \pmod{4} $ のとき、和 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 \frac{F_k}{16^k} \equiv 0 \pmod{p^2} $ が成り立ち、ここで $ F_k $ は $ k $ 番目のフィボナッチ数である。
• $ p \equiv 3 \pmod{4} $ のとき、和 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 \frac{L_k}{16^k} \equiv 0 \pmod{p^2} $ が成り立ち、ここで $ L_k $ は $ k $ 番目のラウス数である。
• $ p \equiv 3 \pmod{4} $ のとき、和 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} \equiv 0 \pmod{p^2} $ が成り立ち、Zhi-Wei Sunの予想が確認された。
• $ p \equiv 1 \pmod{4} $ のとき、$ f = (p-1)/4 $ および $ p = x^2 + y^2 $ とすると、和 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} \equiv 2x - \frac{p}{2x} \pmod{p^2} $ が成り立ち、これは二項係数の平方の有限和から導かれる。