[論文レビュー] Some congruences for the second-order Catalan numbers

Lilu Zhao, Hao Pan+1 more|ArXiv.org|Sep 21, 2009

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

ひとこと要約

この論文は、奇素数 $ p > 5 $ における第二順序カタラン数 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $ を含む新しい合同式を確立する。二項恒等式とルーカスの合同式を用いて、$ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \equiv 2((-1)^{(p-1)/2} - 1) \pmod{p} $ および $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \equiv 4(1 - (-1)^{(p-1)/2}) \pmod{p} $ を証明し、素数を法とするカタラン数の和に関する先行研究を拡張する。

ABSTRACT

Let p be any odd prime. We mainly show that $$\sum_{k=1}^{p-1}binomial(3k,k)*2^k/k=0 (mod p)$$ and $$\sum_{k=1}^{p-1}2^{k-1}C_k^{(2)}=(-1)^{(p-1)/2}-1 (mod p),$$ where $C_k^{(2)}=binomial(3k,k)/(2k+1)$ is the $k$th Catalan number of order 2.

研究の動機と目的

• 奇素数を法とする第二順序カタラン数 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $ を含む和に関する新しい合同式を導出すること。
• 2の累乗を係数とする重み付き和を組み込んだことで、素数を法とするカタラン数の和に関する先行結果を拡張すること。
• 二項係数の変形を用いて、$ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \pmod{p} $ および $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \pmod{p} $ のモジュラー恒等式を確立すること。
• $ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \equiv 0 \pmod{p} $ が成り立つことを証明すること。これは中間的な重要な結果である。
• 高度な組合せ的恒等式とモジュラー算術の技法を用いて、先行のカタラン関連の和に関する合同式を一般化すること。

提案手法

• 第二順序カタラン数 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $ の定義を用い、二項係数 $ \binom{3k}{k} $ および $ \binom{3k+1}{k} $ と関連付ける。
• 生成関数と係数抽出を用いて、$ \sum_{k=0}^{p-1} 2^k \binom{3k}{k} $ および $ \sum_{k=0}^{p-1} 2^k \binom{3k+1}{k} $ を $ p $ を法として表現するための二項恒等式を適用する。
• ルーカスの合同式 $ \binom{pn+s}{pk+t} \equiv \binom{n}{k}\binom{s}{t} \pmod{p} $ を用いて、大きな添え字を持つ二項係数を $ p $ を法として簡約する。特に、$ p $ に近い添え字に対して有効である。
• フェルマーの小定理と幾何級数の性質を用いて、$ s $ および $ t $ を法とする和を簡約する。特に、$ (-1)^s $ および $ 2^t $ を含む二重和において有効である。
• ウォルステンホルムの合同式 $ \binom{2p}{p} \equiv 2 \pmod{p^3} $ を用いて、$ p^2 $ を法とする二項係数の高次の項を扱う。
• これらの道具を統合し、再帰的およびモジュラー簡約を導出し、最終的に定理1.3：$ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \equiv 0 \pmod{p} $ を証明する。この結果は主定理の導出に不可欠である。

実験結果

リサーチクエスチョン

• RQ1 奇素数 $ p $ に対して、$ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \pmod{p} $ に対して成り立つ合同式は何か？
• RQ2 奇素数 $ p $ に対して、和 $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \pmod{p} $ はどのように振る舞うか？
• RQ3 $ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \pmod{p} $ が $ p $ を法として消えることを示せるか？
• RQ4 二項恒等式とルーカスの合同式は、カタラン関連の和に関するモジュラー恒等式の証明において果たす役割は何か？
• RQ5 第二順序カタラン数に関する結果は、標準的カタラン数に関する既存の合同式をどのように拡張または一般化するか？

主な発見

• 任意の奇素数 $ p > 5 $ に対して、$ \sum_{k=0}^{p-1} 2^k \binom{3k}{k} \equiv \frac{6(-1)^{(p-1)/2} - 1}{5} \pmod{p} $ が成り立つ。
• 任意の奇素数 $ p > 5 $ に対して、$ \sum_{k=0}^{p-1} 2^k \binom{3k+1}{k} \equiv \frac{4(-1)^{(p-1)/2} + 1}{5} \pmod{p} $ が成り立つ。
• 任意の素数 $ p $ に対して、$ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \equiv 0 \pmod{p} $ が成り立つ。これは主定理の導出に用いられる中心的な結果である。
• 和 $ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \equiv 2((-1)^{(p-1)/2} - 1) \pmod{p} $ が成り立つ。ここで $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $ である。
• 和 $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \equiv 4(1 - (-1)^{(p-1)/2}) \pmod{p} $ が成り立ち、$ p \equiv 1 \pmod{4} $ のときには 0 に等しい。
• 証明は、特に $ p $ に近い添え字に対して、ルーカスの合同式とフェルマーの小定理を用いた二項係数のモジュラー簡約に依存している。