[論文レビュー] The elementary symmetric functions of reciprocal arithmetic progressions

Chunlin Wang, Shaofang Hong|arXiv (Cornell University)|Nov 6, 2013

Analytic Number Theory Research被引用数 5

ひとこと要約

この論文は、$1/b, 1/(a+b), \dots, 1/(an-a+b)$ の初項が $b$、公差が $a$ である等差数列の逆数の初等対称関数が、2つの例外を除いては常に整数でないことを証明することで、Erd𝔀s-Nivenの定理を強化している。2つの例外とは、$b=n=k=1$ かつ $a\ge1$ の場合、または $a=b=1$, $n=3$, $k=2$ の場合である。この結果は、ChenとTang（2012年）が提起した未解決問題を解決し、このような対称関数の整数性に関する完全な分類を確立する。

ABSTRACT

Let $a$ and $b$ be positive integers. In 1946, Erd\H{o}s and Niven proved that there are only finitely many positive integers $n$ for which one or more of the elementary symmetric functions of $1/b, 1/(a+b),..., 1/(an-a+b)$ are integers. In this paper, we show that for any integer $k$ with $1\le k\le n$, the $k$-th elementary symmetric function of $1/b, 1/(a+b),..., 1/(an-a+b)$ is not an integer except that either $b=n=k=1$ and $a\ge 1$, or $a=b=1, n=3$ and $k=2$. This strengthens the Erd\H{o}s-Niven theorem and answers an open problem raised by Chen and Tang in 2012.

研究の動機と目的

• 逆数の等差数列の初等対称関数の整数性に関するErd𝔀ｓ-Nivenの定理を拡張すること。
• ChenとTang（2012年）が提起した、これらの対称関数の整数性に関する未解決問題を解決すること。
• $1/b, 1/(a+b), \dots, 1/(an-a+b)$ の $k$-番目の初等対称関数が整数となるすべてのケースを完全に分類すること。

提案手法

• $1 \leq k \leq n$ の範囲で、列 $1/b, 1/(a+b), \dots, 1/(an-a+b)$ の $k$-番目の初等対称関数を分析すること。
• 数論的技法を用いて、等差数列の逆数の和の整数性を研究すること。
• 有界性と可除性の議論を適用し、特定の例外的ケースを除いて整数性が成立しないことを除外すること。
• 有理数体上の対称多項式の構造的解析を用いて、整数性の必要条件を同定すること。
• 直接計算と構造的一致性の検証により、2つの例外ケースを検証すること。
• Erd𝔀ｓ-Niven（1946年）およびChenとTang（2012年）の先行研究と比較することで、新しい分類の鋭さを確立すること。

実験結果

リサーチクエスチョン

• RQ1 $1 \leq k \leq n$ の範囲で、$1/b, 1/(a+b), \dots, 1/(an-a+b)$ の $k$-番目の初等対称関数が整数となる条件は何か？
• RQ2 既知のものとは異なる非自明なケースで、このような対称関数が整数となるものがあるか？
• RQ3 Erd𝔀ｓ-Nivenの定理は、これらの対称関数の整数性に関するすべてのケースを完全に分類できるように強化できるか？
• RQ4 整数性が成立するための $a$, $b$, $n$, $k$ の正確な値は何か？
• RQ5 $a=b=1$, $n=3$, $k=2$ は、$b=n=k=1$ を除いて唯一の非自明な解であるか？

主な発見

• $1/b, 1/(a+b), \dots, 1/(an-a+b)$ の $k$-番目の初等対称関数は、$b=n=k=1$ かつ $a \geq 1$ の場合を除いては、常に整数でない。
• 整数性が成立する唯一の他のケースは、$a=b=1$, $n=3$, および $k=2$ の場合である。
• $1 \leq k \leq n$ の範囲で、$a$, $b$, $n$, $k$ の他のすべての組み合わせでは、対称関数は非整数となる。
• この結果は、逆数の等差数列の対称関数の整数性に関する完全かつ鋭い分類を提供する。
• 証明により、特定された2つのケース以外にさらなる例外ケースは存在しないことが確認され、2012年の未解決問題が解決された。
• この研究は、2つの指定されたケース以外にすべての可能性を除外することで、Erd𝔀ｓ-Nivenの定理をより強くしている。