[論文レビュー] Two new kinds of numbers and their arithmetic properties

Zhi‐Wei Sun|arXiv (Cornell University)|Aug 21, 2014

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

ひとこと要約

本稿は、有理数係数を伴う二項係数の和で定義される二つの新しい整数列 $ R_n $ と $ S_n $ を導入する。深いつながりを持つ算術的性質を確立し、特に $ p \equiv 1 \pmod{4} $ である素数 $ p $ に対して $ R_{(p-1)/2} $ が $ p^2 $ を法として合同であることを示し、Guo と Zeng が提起した、$ S_k $ のある重み付き平均の整数性に関する予想を解決する。

ABSTRACT

We mainly introduce two new kinds of numbers given by $$R_n=\sum_{k=0}^n\binom nk\binom{n+k}k\frac1{2k-1}\quad (n=0,1,2,...)$$ and $$S_n=\sum_{k=0}^n\binom nk^2\binom{2k}k(2k+1)\quad (n=0,1,2,...).$$ We find that such numbers have many interesting arithmetic properties. For example, if $p\equiv1\pmod 4$ is a prime with $p=x^2+y^2$ (where $x\equiv1\pmod 4$ and $y\equiv0\pmod 2$), then $$R_{(p-1)/2}\equiv p-(-1)^{(p-1)/4}2x\pmod{p^2}.$$ Also, $$\frac1{n^2}\sum_{k=0}^{n-1}S_k\in\mathbb Z \frac1n\sum_{k=0}^{n-1}S_k(x)\in\mathbb Z[x]\quad ext{for all} n=1,2,3,...,$$ where $S_k(x)=\sum_{j=0}^k\binom kj^2\binom{2j}j(2j+1)x^j$. For any positive integers $a$ and $n$, we show that, somewhat surprisingly, $$\frac1{n^2}\sum_{k=0}^{n-1}(2k+1)\binom{n-1}k^a\binom{-n-1}k^a\in\mathbb Z {and} \frac 1n\sum_{k=0}^{n-1}\frac{\binom{n-1}k^a\binom{-n-1}k^a}{4k^2-1}\in\mathbb Z.$$ We also solve a conjecture of V.J.W. Guo and J. Zeng, and pose several conjectures for further research.

研究の動機と目的

• 二項係数の和に有理数係数を用いて、$ R_n $ と $ S_n $ という二つの新しい数のクラスを定義し、それらを研究すること。
• これらの数列の算術的構造、特に素数のべきを法とした挙動を調査すること。
• V.J.W. Guo と J. Zeng が提起した、$ S_k $ のある重み付き和の整数性に関する予想を解決すること。
• より深い数論的性質、特に平方和としての素数表現との関係を探索すること。
• 今後の研究のための、関連する二項係数の和と整数性条件に関する新たな予想を提示すること。

提案手法

• 中央二項係数と有理数係数を含む和として $ R_n = \sum_{k=0}^n \binom{n}{k} \binom{n+k}{k} \frac{1}{2k-1} $ を定義する。
• 二次の二項係数の和に多項式係数を含む形として $ S_n = \sum_{k=0}^n \binom{n}{k}^2 \binom{2k}{k} (2k+1) $ を定義する。
• 重み付き和を分析するために、生成関数の変種 $ S_k(x) = \sum_{j=0}^k \binom{k}{j}^2 \binom{2j}{j} (2j+1) x^j $ を導入する。
• 組合せ的恒等式と合同算術を用いて、特に $ p \equiv 1 \pmod{4} $ である素数 $ p $ に対して $ p^2 $ を法とした合同式を導出する。
• 既知の二項係数積や超幾何型和に関する結果を応用し、重み付き平均の整数性を証明する。
• 二項係数の対称性と変換技術を活用し、$ \frac{1}{n^2} \sum_{k=0}^{n-1} S_k \in \mathbb{Z} $ および類似の式が整数であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 素数 $ p \equiv 1 \pmod{4} $ に対して、特に $ p^2 $ を法としたとき、$ R_n = \sum_{k=0}^n \binom{n}{k} \binom{n+k}{k} \frac{1}{2k-1} $ の算術的性質は何か？
• RQ2 $ \frac{1}{n^2} \sum_{k=0}^{n-1} S_k $ が $ \mathbb{Z} $ に属する条件は何か？ これは $ S_k(x) $ にどのように一般化されるか？
• RQ3 Guo と Zeng が提起した予想、すなわち $ \frac{1}{n^2} \sum_{k=0}^{n-1} (2k+1) \binom{n-1}{k}^a \binom{-n-1}{k}^a \in \mathbb{Z} $ がすべての $ a, n \in \mathbb{N} $ に対して成り立つかを証明できるか？
• RQ4 $ R_{(p-1)/2} \mod p^2 $ の値と、$ x \equiv 1 \pmod{4} $、$ y \equiv 0 \pmod{2} $ を満たす整数 $ x, y $ を用いた $ p = x^2 + y^2 $ の表現との間にどのような関係があるか？
• RQ5 $ \frac{1}{n} \sum_{k=0}^{n-1} \frac{\binom{n-1}{k}^a \binom{-n-1}{k}^a}{4k^2 - 1} $ の整数性の背後にあるより深い構造的根拠は何か？

主な発見

• 素数 $ p \equiv 1 \pmod{4} $ で $ p = x^2 + y^2 $ を満たし、$ x \equiv 1 \pmod{4} $、$ y \equiv 0 \pmod{2} $ であるとき、$ R_{(p-1)/2} \equiv p - (-1)^{(p-1)/4} 2x \pmod{p^2} $ が成り立つ。
• $ \frac{1}{n^2} \sum_{k=0}^{n-1} S_k \in \mathbb{Z} $ がすべての正の整数 $ n $ に対して成り立つ。これは、$ S_k $ の最初の $ n-1 $ 項の平均が整数であることを確認する。
• $ \frac{1}{n} \sum_{k=0}^{n-1} S_k(x) \in \mathbb{Z}[x] $ がすべての $ n \geq 1 $ に対して成り立つ。これは、$ S_k(x) $ の重み付き和が整数係数の多項式であることを示している。
• $ \frac{1}{n^2} \sum_{k=0}^{n-1} (2k+1) \binom{n-1}{k}^a \binom{-n-1}{k}^a \in \mathbb{Z} $ がすべての正の整数 $ a $ および $ n $ に対して成り立つ。これは、Guo と Zeng の予想を解決する。
• $ \frac{1}{n} \sum_{k=0}^{n-1} \frac{\binom{n-1}{k}^a \binom{-n-1}{k}^a}{4k^2 - 1} \in \mathbb{Z} $ がすべての正の整数 $ a $ および $ n $ に対して成り立つ。これは、二項係数積の背後にある新しい整数性結果を確立する。
• 本稿は、これらの重み付き和の整数性を完全に証明し、二項係数積に潜む隠れた代数的構造を明らかにする。