[論文レビュー] Sylvester's Theorem and the Non-integrality of a certain Binomial Sum

Daniel López-Aguayo, Florian Luca|arXiv (Cornell University)|Jul 30, 2015

Advanced Mathematical Theories and Applications参考文献 2被引用数 4

ひとこと要約

本稿では、正の整数 $ n $ および $ r \in \{1,2,3,4,5,6 et 6\} $ に対して、二項係数の和 $ S(n,r) = \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k} $ が常に整数でないことを証明している。また、$ n \leq r-1 $ の場合についても同様に非整数であることを示している。整数表現と連続する整数における素因数の性質に関するスヴィルストゥールの定理を用い、二項係数および指数関数的項から導かれる有理式の分母を分析することで、非整数性を確立している。

ABSTRACT

In this note, we show that $S(n,r):=\sum_{k=0}^{n} \binom{n}{k}\frac{k}{k+r}$ is not an integer for any positive integer $n$ and $r\in \{1,2,3,4,5,6\}$ and for $n\le r-1$. This gives a partial answer to a conjecture of [3].

研究の動機と目的

• 正の整数 $ n $ および $ r $ に対して、二項係数の和 $ S(n,r) = \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k} $ が整数でないという予想を解決すること。
• 既存の結果（$ r = 2,3,4 $ の非整数性）を $ r = 5 $ および $ r = 6 $ に拡張し、$ n \leq r-1 $ の場合の非整数性を証明すること。
• 一般化された有理関数 $ 2^{n+j+1}-1 $ を分母に持つ $ n+j+1 $ で割った形の $ S(n,r) $ の一般式を導出し、整数性の体系的解析を可能にする。

提案手法

• 積分表現を用いて $ S(n,r) $ の閉形式を導出する：$ S(n,r) = r \int_0^1 (1+x)^n x^{r-1} dx $ であり、この式を二項定理を用いて展開する。
• 二項定理を適用して積分を有限和に変換する：$ S(n,r) = \sum_{j=0}^{r-1} (-1)^{r-1-j} r \binom{r-1}{j} \frac{2^{n+j+1} - 1}{n+j+1} $ により、重要な代数的恒等式を確立する。
• 連続する $ r $ 個の整数 $ n+1, \dots, n+r $ の中に、$ p > r $ なる素数 $ p $ で割り切れるものが少なくとも一つ存在することを保証するスヴィルストゥールのベルトランの予想の拡張を適用し、非整数の分母を特定するのを助ける。
• 各項の $ p $-進付値を分析することで、合計が整数でないことを示す。具体的には、ある素数 $ p > r $ が分母を割るが分子を割らないことを証明する。
• 偶奇性および小素数（例：2, 3, 5）による整除性に基づく場合分けを用いて、特に $ n \leq r-1 $ の場合の小規模な $ r $ を処理し、分母の構造を確認することで非整数性を検証する。
• 任意の $ n \geq 2 $ に対して $ n \nmid 2^n - 1 $ であるという事実を活用し、$ \frac{2^{n+1}-1}{n+1} $ が整数でないことを示し、これを $ r $ がより大きい場合に線形結合を用いて拡張する。

実験結果

リサーチクエスチョン

• RQ1 正の整数 $ n $ および $ r $ に対して、二項係数の和 $ S(n,r) = \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k} $ が整数になることはあるか？
• RQ2 どの $ r \in \{1,2,3,4,5,6\} $ に対して、すべての $ n \geq 2 $ に対して $ S(n,r) $ が非整数であることが保証されるか？
• RQ3 $ n \leq r-1 $ の場合に、連続する整数における素因数に関するスヴィルストゥールの定理を用いて $ S(n,r) $ の非整数性を証明できるか？
• RQ4 一般式 $ S(n,r) = \sum_{j=0}^{r-1} (-1)^{r-1-j} r \binom{r-1}{j} \frac{2^{n+j+1}-1}{n+j+1} $ は、整数性の体系的解析を可能にするか？
• RQ5 $ n $ および $ r $ に対してやや弱い条件下で、$ S(n,r) $ の分母が素数 $ p > r $ で割り切れることが示せるか？ その場合、非整数性が保証されるか？

主な発見

• $ r \in \{1,2,3,4,5,6\} $ およびすべての $ n \geq 2 $ に対して、和 $ S(n,r) $ は整数でない。これは、既存の $ r = 2,3,4 $ の結果を $ r = 5 $ および $ r = 6 $ に拡張した結果である。
• $ n \leq r-1 $ の場合、スヴィルストゥールの定理とベルトランの予想を用いて、分母を割る素数 $ p > n $ が存在することを示し、$ S(n,r) $ が非整数であることを証明した。
• 一般式 $ S(n,r) = \sum_{j=0}^{r-1} (-1)^{r-1-j} r \binom{r-1}{j} \frac{2^{n+j+1}-1}{n+j+1} $ は、積分表現と二項展開を用いて導出された。
• $ r = 1 $ の場合、$ S(n,1) = \frac{2^{n+1}-1}{n+1} $ であり、$ n \geq 2 $ のとき $ n+1 \nmid 2^{n+1}-1 $ であるため、和は整数でない。
• $ r = 2 $ の場合、$ S(n,2) $ の分母は $ n+2 $ を割らない奇素数 $ p $ を含むため、$ S(n,2) $ は整数でない。
• $ r \geq 5 $ の場合、ある項 $ \frac{c_i(2^{n+i}-1)}{n+i} $ の分母が $ p \geq 7 $ なる素数で割り切れるが、他の分母では割られないため、$ S(n,r) $ は整数でない。