[论文解读] 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.

研究动机与目标

• 解决长期存在的Erd–Moser猜想：S_n(m) = (m+1)^n 的唯一解为(m,n) = (2,1)。
• 通过幂和的p进赋值视角分析该问题及其可除性性质。
• 将丢番图方程与涉及2^n − 1及m−1因子的埃及分数方程联系起来。
• 利用p进与数论工具，推导伯努利数及潜在解结构的约束条件。
• 通过代数与算术结构，解释并阐明Moser原始的“数学魔术兔子”方法的动机。

提出的方法

• 使用p进赋值v_p及导出函数V_p，分析基数p展开中末尾相同数字的个数。
• 在特定同余条件下，应用限制性幂和S_n^*(m)模p^d，推导其线性性质。
• 将Erd–Moser方程转化为埃及分数同余式：∑_{p|m-1, p-1∤n} 1/p + (2^n − 1 − X)/m ≡ 1 mod 1。
• 利用已知的伯努利数结果及Kellner定理，将S_{φ(n)}(n)与nB_{φ(n)}模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 为何Moser的“数学魔术兔子”——即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的对(n,d)，有埃及分数同余式：∑_{p|m−1, p−1∤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整除。