[论文解读] The Erdős-Straus conjecture New modular equations and checking up to $N=10^{17}$

Serge E. Salez|arXiv (Cornell University)|Jun 24, 2014

Computability, Logic, AI Algorithms参考文献 1被引用 4

一句话总结

本文通过引入一组完整的七组同余方程（其中包含三个新方程），推进了Erdős-Straus猜想的研究，实现了C++中的高度优化的筛法算法。该方法在标准64位AMD Turion II处理器上，将验证范围扩展至$N = 10^{17}$，运行时间从Swett（2000年）的150小时减少至16小时以内，确认了该猜想对所有$n \leq 10^{17}$均成立。

ABSTRACT

In 1999 Allan Swett checked (in 150 hours) the Erdős-Straus conjecture up to $N=10^{14}$ with a sieve based on a single modular equation. After having proved the existence of a "complete" set of seven modular equations (including three new ones), this paper offers an optimized sieve based on these equations. A program written in C++ (and given elsewhere) allows then to make a checking whose running time, on a typical computer, range from few minutes for $N=10^{14}$ to about 16 hours for $N=10^{17}$.

研究动机与目标

• 扩展并优化Erdős-Straus猜想的验证，该猜想断言：对所有整数$n > 1$，$4/n$均可表示为三个单位分数之和。
• 通过识别一组完整且覆盖所有$4/n$为3-Egyptian（三重埃及分数）情况的同余条件，开发出更高效的计算筛法。
• 利用优化的同余算术与算法改进，将猜想的验证极限推进至$N = 10^{17}$，超越先前的界限。
• 提供一个实用且高性能的计算框架，可供后续验证或理论探索进一步复用或扩展。

提出的方法

• 本文引入了一组完整的七组同余方程，包括三个新方程，用于刻画所有满足$4/p$为三重埃及分数表示的素数$p \equiv 1 \pmod{24}$的解。
• 通过涉及整数$A, B, C, D$的代数恒等式重新表述该猜想，其中满足$4ABCD = p(A + B) + C$且$\gcd(ABCD, p) = 1$，将问题转化为在同余约束下求解丢番图方程。
• 引入辅助变量$E = (A + B)/C$和$F = 4BCD - p$，将原系统转化为等价方程，保持解空间不变，并支持高效的模筛法。
• 实现了一种基于C++的筛法算法，利用七组同余方程高效过滤$n$的候选值，显著缩小搜索空间。
• 通过遍历模$G_7 = 24\times7!$的剩余类，检查所有$n \leq 10^{17}$，利用预计算的同余条件实现在每个剩余类上$O(1)$时间的验证。
• 该筛法处理了16.5万亿个整数，包括5170万个完全平方数，性能在标准64位AMD Turion II处理器上达到约16小时。

实验结果

研究问题

• RQ1 能否推导出一组完整且最小的同余方程，以完全刻画Erdős-Straus猜想的解？
• RQ2 这些同余方程能否用于设计一种计算高效的筛法，以验证该猜想至$10^{17}$？
• RQ3 相较于Swett早期工作中仅使用单一同余方程的方法，使用多组同余方程带来的性能提升为何？
• RQ4 在$n \leq 10^{17}$范围内，有多少个整数满足该猜想？它们在模$G_7 = 24 \times 7!$的480个剩余类中如何分布？
• RQ5 能否通过算法与数学优化，将验证该猜想的计算成本从150小时降低至16小时以内？

主要发现

• 本文证明了存在一组完整的七组同余方程（包括三个新方程），可完全刻画Erdős-Straus猜想的解。
• 优化后的筛法算法将$N = 10^{14}$的验证时间缩短至数分钟，而$N = 10^{17}$的验证时间约为16小时（在标准64位AMD Turion II处理器上）。
• 该算法成功验证了所有$n \leq 10^{17}$的猜想，覆盖了16,512,783,482,880个整数，其中包括51,732,427个完全平方数。
• 在模$G_7 = 24 \times 7!$的480个剩余类中，已明确列出验证整数的分布情况，其中最大数量（9.22万亿）出现在模$G_7$的剩余类7中。
• 该方法确认了该猜想对所有$n \leq 10^{17}$均成立，未发现任何反例，显著扩展了此前$10^{14}$的验证边界。
• 计算框架高效且可扩展，由于采用模筛法和预计算的剩余类检查，运行时间呈次线性增长。