[論文レビュー] The $p$-adic Order of Power Sums, the Erdös-Moser Equation, and Bernoulli Numbers

Jonathan Sondow, Emmanuel Tsukerman|arXiv (Cornell University)|Jan 1, 2014

advanced mathematical theories参考文献 19被引用数 3

ひとこと要約

この論文はp進解析とエジプト分数方程式を用いて、Erd–Moserディオファントス方程式を調査し、解に強い可除性制約を確立する。非自明な解が存在する場合、べき和およびベルヌーイ数におけるp進位の厳しい条件を満たす必要があることが証明され、2^n − 1とm−1の約数を含む制限的なエジプト分数条件が導かれる。

ABSTRACT

The Erdös-Moser equation is a Diophantine equation proposed more than 60 years ago which remains unresolved to this day. In this paper, we consider the problem in terms of divisibility of power sums and in terms of certain Egyptian fraction equations. As a consequence, we show that solutions must satisfy strong divisibility properties and a restrictive Egyptian fraction equation. Our studies lead us to results on the Bernoulli numbers and allow us to motivate Moser's original approach to the problem.

研究の動機と目的

• S_n(m) = (m+1)^n の唯一の解が (m,n) = (2,1) であるという長年のErd–Moser予想を解決すること。
• べき和のp進付値の観点から問題を分析すること。
• ディオファントス方程式を2^n − 1とm−1の約数を含むエジプト分数方程式に関連付けること。
• p進および数論的道具を用いてベルヌーイ数の制約と潜在的解の構造を導出すること。
• 代数的・算術的構造を用いて、モーザーが提唱した「マジカルなラビット」のアプローチを説明し、動機づけ直すこと。

提案手法

• p進付値v_pと導出された関数V_pを用いて、p進展開における末尾の同一桁の個数を分析する。
• 特定の合同条件下で、制限されたべき和S_n^*(m)をp^dで割ったものに線形性の性質を導く。
• Erd–Moser方程式をエジプト分数合同式に翻訳する：sum_{p|m-1, p-1 mid n} 1/p + (2^n - 1 - X)/m ≡ 1 mod 1。
• 既知のベルヌーイ数の結果とケラーの定理を用いて、S_{φ(n)}(n) を nB_{φ(n)} と modulo n で関連付ける。
• ベルヌーイ数によるべき和の多項式補間を用い、Q_n(x) = L_n P_n(x) を構成して可除性条件を導出する。
• von Staudt–Clausenの定理と超合同式の恒等式を適用し、p > 3 に対して S_{p-1}(p) ≡ pB_{p-1} mod p^3 を証明する。

実験結果

リサーチクエスチョン

• RQ1 Erd–Moser方程式の解 (m,n) が満たすべきp進付値の制約は何か？
• RQ2 2^n - 1とm−1の約数を含むエジプト分数方程式が、潜在的解をどのように制約するか？
• RQ3 得られた結果がベルヌーイ数の構造とその分母に与える影響は何か？
• RQ4 なぜモーザーの「マジカルなラビット」—数m, m+2, 2m+1, 2m+3 — がべき和の多項式補間の分母に現れるのか？
• RQ5 L_n = (n+1)lcm(R_1,...,R_n) がmを割ることから、mの平方自由性を導出できるか？

主な発見

• 一般化されたErd–Moser方程式においてp | m+1 ならば、p-1 は n を割らない。
• Erd–Moser方程式においてp | m ならば、p-1 | n かつ p^2 | m + p である。
• p | m - (p-1)/2 ならば、p-1 | n かつ m ≡ -(p + 1/2) mod p^2 である。
• 任意の解 (m,n) に対して、d = 2^n - 1 - X とおくと、エジプト分数合同式 sum_{p|m-1, p-1 mid n} 1/p + d/m ≡ 1 mod 1 が成り立つ。
• p | m-1 かつ p^e || m-1 ならば、p^{e-1} | 2^n - 1 である。
• p | m-1、p-1 | n かつ p^e | 2^n - 1 ならば、p^{e+1} | m-1 である。よってm-1はp^2で割り切れる。