[論文レビュー] 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

ひとこと要約

この論文は、エラトステネスの篩の高度最適化アルゴリズムを用いて、エルドシュ＝ストラウス予想を進展させた。7つのモジュラス方程式（うち3つが新規）を完全に導入し、C++で実装されたアルゴリズムにより、$N = 10^{17}$ までに予想が成立することを確認した。計算時間はスウェット（2000年）の150時間から、標準の64ビットAMD Turion IIプロセッサ上では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}$.

研究の動機と目的

• エルドシュ＝ストラウス予想の拡張的・最適化された検証を図ること。この予想は、すべての整数$n > 1$ に対して$4/n$ が3つの単位分数の和として表せるとするものである。
• 4/n が3エジプト数である場合にすべてのケースをカバーするモジュラス条件の完全な集合を同定することで、より効率的な計算的篩を構築すること。
• 従来の境界を超えて、具体的には$N = 10^{17}$ までに予想の検証を拡張すること。モジュラス算術とアルゴリズムの改善を用いて実現する。
• 再利用可能または拡張可能な実用的で高性能な計算フレームワークを提供すること。これにより、今後の予想の検証や理論的探求が可能になる。

提案手法

• 本論文は、素数$p \equiv 1 \pmod{24}$ に対して$4/p$ の3エジプト数表現を特徴付ける、7つのモジュラス方程式（うち3つが新規）の完全な集合を導入した。
• 整数$A, B, C, D$ が$4ABCD = p(A + B) + C$ を満たし、$ gcd(ABCD, p) = 1$ であるという代数的恒等式を用いて、予想を再定式化した。これにより、モジュラス制約下でのディオファントス方程式の解法に問題を還元した。
• 補助変数$E = (A + B)/C$ と$F = 4BCD - p$ を導入し、解空間を保ちながら等価な方程式系に変換することで、効率的なモジュラス篩の実現を可能にした。
• C++で実装された篩アルゴリズムを採用し、7つのモジュラス方程式を活用して$n$ の候補値を効率的にフィルタリングし、探索空間を顕著に削減した。
• すべての$n \leq 10^{17}$ を検証するために、$G_7 = 24\times7!$ での剰余類を走査し、事前に計算されたモジュラス条件を用いて各$n$ を$O(1)$ 時間で検証した。
• この篩は、16.5兆個の整数（うち5170万個の完全平方数を含む）を処理できるように最適化されており、標準の64ビットAMD Turion IIプロセッサ上での性能は約16時間であった。

実験結果

リサーチクエスチョン

• RQ1 エルドシュ＝ストラウス予想の解を完全かつ最小限に特徴付けるモジュラス方程式の完全集合を導出可能か？
• RQ2 これらのモジュラス方程式を用いて、$10^{17}$ までに予想を検証する計算的に効率的な篩を設計可能か？
• RQ3 スウェットの先行研究における単一方程式と比較して、複数のモジュラス方程式を用いることで、計算時間にどの程度の向上が得られるか？
• RQ4 $n \leq 10^{17}$ の整数のうち、何個が予想を満たし、それらはモジュラス剰余類にどのように分布しているか？
• RQ5 アルゴリズム的および数学的最適化を用いて、予想の検証コストを150時間から16時間未塔に削減可能か？

主な発見

• 本論文は、3つの新規方程式も含む7つのモジュラス方程式の完全集合の存在を証明し、エルドシュ＝ストラウス予想の解を完全に特徴づけることを示した。
• 最適化された篩アルゴリズムにより、$N = 10^{14}$ の検証時間が数分に短縮され、$N = 10^{17}$ では標準の64ビットAMD Turion IIプロセッサ上ですでに約16時間で完了した。
• アルゴリズムは、すべての$n \leq 10^{17}$ について予想を正当化した。処理対象は16兆5127億834万82880個の整数であり、うち5173万2427個が完全平方数であった。
• モジュラス$G_7 = 24 \times 7!$ における480個の剰余類にわたる確認済み整数の分布は明示的に表にまとめられており、最大の頻度（9兆2200億）は$G_7$ における剰余類7に見られた。
• この方法により、$n \leq 10^{17}$ のすべての整数について、反例は見つからず、従来の$10^{14}$ の境界を顕著に超えた。
• 計算フレームワークは効率的かつスケーラブルであり、モジュラス篩と事前計算された剰余チェックの活用により、実行時間は線形以下に増加する。