[論文レビュー] About the Non-Integer Property of Hyperharmonic Numbers

István Mező|arXiv (Cornell University)|Oct 31, 2008

Holomorphic and Operator Theory参考文献 1被引用数 6

ひとこと要約

この論文は、調和数の一般化であるハイパーハーモニック数が、いつでも整数になり得るかを調査している。これは、1915年にタイジンガーが、通常の調和数が整数でないことを示した結果を拡張するものである。2進ノルムと二項係数の性質を用いて、2階ハイパーハーモニック数 $ H_n^{(2)} $ が $ n > 1 $ のとき常に整数でないことを証明し、$ r, n \geq 2 $ のすべてのハイパーハーモニック数 $ H_n^{(r)} $ が整数でないという予想を提示している。

ABSTRACT

It was proven in 1915 by Leopold Theisinger that the $H_n$ harmonic numbers are never integers. In 1996 Conway and Guy have defined the concept of hyperharmonic numbers. The question naturally arises: are there any integer hyperharmonic numbers? The author gives a partial answer to this question and conjectures that the answer is "no".

研究の動機と目的

• ハイパーハーモニック数 $ H_n^{(r)} $ が、調和数の反復和として定義されるが、いつでも整数になり得るかを特定すること。
• 1915年にタイジンガーが示した通常の調和数 $ H_n $ の非整数性に関する結果を、高階のハイパーハーモニック数へ拡張すること。
• 2進ノルムを用いて整数性を検出する手法として、$ |x|_2 > 1 $ ならば $ x \notin \mathbb{Z} $ であるという性質を活用すること。
• 部分的に $ H_n^{(2)} $ が整数でないことを証明し、$ r, n \geq 2 $ のすべてのケースに同様の性質が成り立つと予想すること。
• 二項係数の恒等式と $ p $-進付値の技法を用いて、ハイパーハーモニック数の構造的性質を分析すること。

提案手法

• 有理数に2進ノルム $ |\cdot|_2 $ を適用し、$ |x|_2 > 1 $ ならば $ x $ が整数でないという性質を用いる。
• ハイパーハーモニック数を二項係数と調和数の差の形に表す公式 $ H_n^{(r)} = \binom{n+r-1}{r-1}(H_{n+r-1} - H_{r-1}) $ を用いる。
• ファイバーマンの公式を用いて階乗の $ p $-進付値を計算する：$ |n!|_p = p^{(A_p(n) - n)/(p-1)} $、ここで $ A_p(n) $ は $ n $ の $ p $-進展開における数の和である。
• 2進ノルムの二項係数 $ \binom{n+r-1}{r-1} $ を、数の和の公式を用いて分析し、調和数の差 $ H_{n+r-1} - H_{r-1} $ の2進ノルムと比較する。
• 2進距離における強い三角不等式を用いて、特に分母に含まれる最大の2の冪に注目し、逆数の和のノルムを評価する。
• 再帰的に $ H_n^{(r)} $ を分解し、$ \frac{1}{2} $ を繰り返し因数として取り出し、特に $ \mathop{\textup{Ord}}_2(n+r-1) > \mathop{\textup{Ord}}_2(r-1) $ の場合に注目してノルムを分析する。

実験結果

リサーチクエスチョン

• RQ1 $ r, n \geq 2 $ のとき、ハイパーハーモニック数 $ H_n^{(r)} $ が整数になることはあるか？
• RQ2 通常の調和数に用いられる2進ノルム法を、高階のハイパーハーモニック数の非整数性の証明に拡張できるか？
• RQ3 $ n $ と $ r $ がどのような条件下で $ |H_n^{(r)}|_2 = 1 $ となり、これは整数性にどのような意味を持つのか？
• RQ4 $ |H_n^{(r)}|_2 = 1 $ の場合でも、なぜ $ H_n^{(r)} $ が整数でない構造的要因があるのか？
• RQ5 $ (n_1, r_1) \neq (n_2, r_2) $ のどのペアに対してハイパーハーモニック数が一致するか、すなわち $ H_{n_1}^{(r_1)} = H_{n_2}^{(r_2)} $ となるか？”

主な発見

• 2階ハイパーハーモニック数 $ H_n^{(2)} $ の2進ノルムは、$ |H_n^{(2)}|_2 = 2^{A_2(n+1) - A_2(n) - A_2(1) + \mathop{\textup{Ord}}_2(n+1)} $ を満たし、これは $ n = 2^m - 1 $ でない限り1より大きい。
• $ n = 2^m - 1 $ の場合、ノルムはちょうど1であるが、$ H_n^{(2)} $ は依然として整数でない。これは $ H_n^{(2)} = 2^m(H_{n+1} - 1) $ に簡略化され、調和数の構造上整数でないからである。
• 論文は、すべての $ n > 1 $ に対して $ H_n^{(2)} \notin \mathbb{N} $ を証明しており、タイジンガーの結果を2階の場合に拡張している。
• $ r = 3 $ の場合、この方法によりすべての $ n > 1 $ に対して $ H_n^{(3)} \notin \mathbb{N} $ であることが示され、$ r = 2 $ を超えるパターンが存在することが示唆されている。
• $ |H_n^{(r)}|_2 = 1 $ の場合があるにもかかわらず、著者は $ r, n \geq 2 $ のハイパーハーモニック数 $ H_n^{(r)} $ が整数でないという予想を提示している。
• 例として計算した結果、$ |H_{18}^{(8)}|_2 = 4 $ であり、直接計算と公式 $ |H_n^{(r)}|_2 = 2^{A_2(n+r-1) - A_2(n) - A_2(r-1) + \mathop{\textup{Ord}}_2(n+r-1)} $ の両方で確認され、手法の妥当性が裏付けられている。