[論文レビュー] All solutions of the Diophantine equation a^6+b^6=c^6+d^6+e^6+f^6+g^6 for a,b,c,d,e,f,g < 250000 found with a distributed Boinc project

Robert Gerbicz, Jean-Charles Meyrignac+1 more|arXiv (Cornell University)|Aug 2, 2011

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

この論文は、整数 a, b, c, d, e, f, g < 250,000 に対して、ディオファントス方程式 a⁶ + b⁶ = c⁶ + d⁶ + e⁶ + f⁶ + g⁶ のすべての解を完全に列挙した。これは BOINC を用いた分散コンピューティングプロジェクトによって達成された。著者らは、特に mod 7⁶ および mod 9 を用いたモジュラ算術の最適化を採用し、探索空間を著しく削減した。その結果、377個の異なる解が発見され、その中には 200,000 を超える項を含む最初の既知の解も含まれる。

ABSTRACT

The above equation is also called as Euler(6,2,5) system. By computational aspect these systems are very interesting. And we can also apply these methods to other Diophantine equations. We give a brief history of these systems and how we searched for these big solutions on Boinc. Our two Boinc projects ran from April of 2010 to July of 2011.

研究の動機と目的

• すべての変数が 250,000 未満である整数解を、ディオファントス方程式 a⁶ + b⁶ = c⁶ + d⁶ + e⁶ + f⁶ + g⁶ に対して体系的に探索すること。
• これまでに知られていた解の範囲を超えて探索を拡張し、特にオイラーの累乗和予想の特殊ケースである (6,2,5) システムを対象とすること。
• BOINC プラットフォームを用いた分散計算に適した、メモリ最適化された効率的アルゴリズムの開発およびデプロイメント。
• 数論的モジュラー制約（mod 7⁶、mod 9、mod 8）を活用して探索を加速し、誤検出を低減すること。
• 今後の数学的解析やオイラーの拡張予想の検証のため、解の包括的データベースを提供すること。

提案手法

• 変数 N の近似値として p ≈ N¹·⁵ を用いたモジュラー算術戦略を採用し、メモリ使用量を O(N³) から O(N¹·⁵) に削減しながら、時間計算量を O(N⁴ log N) に維持した。
• 素数 p における 6 乗剰余の事前計算テーブルを用い、a⁶ + b⁶ ≡ w (mod p) および c⁶ + d⁶ ≡ w − rₚ (mod p) を満たす候補ペア (a,b) および (c,d) を効率的に生成した。
• 深いモジュラー制約を適用：解が少なくとも 3 つの c,d,e,f,g のうち 7 で割り切れるもの、少なくとも 1 つが 3 で割り切れるもの、少なくとも 1 つが偶数である必要がある。これにより探索空間が著しく削減された。
• v = (a⁶ + b⁶) mod 7⁶ を固定し、s = (a⁶ + b⁶) mod p をインデックスとする照会テーブルに (a,b) ペアを格納することで、(c,d) ペアとの高速一致を可能にした。
• 数千台のクライアントマシンに分散化された BOINC アーキテクチャを用い、各ノードがモジュラー剰余クラスのサブセットを処理するようにした。
• モジュラーフィルタリングと、e⁶ + f⁶ + g⁶ 値の事前計算テーブルに対する二分探索を組み合わせたハイブリッド手法を実装し、候補解の検証を効率的に行った。

実験結果

リサーチクエスチョン

• RQ1 すべての変数が 250,000 未満である整数解を、ディオファントス方程式 a⁶ + b⁶ = c⁶ + d⁶ + e⁶ + f⁶ + g⁶ に対して完全に特定できるか？
• RQ2 モジュラー算術制約（mod 7⁶、mod 9、mod 8）は、高次ディオファントス解の探索を効果的に加速できるか？
• RQ3 250,000 範囲で、メモリ効率の良いアルゴリズムを用いて、分散コンピューティングプロジェクトを完全に列挙可能にスケーリングできるか？
• RQ4 (6,2,5) システムは、既知の最小解を超える解を含むか？ もし含むならば、250,000 の制限内にいくつ存在するか？
• RQ5 本研究で用いられたモジュラーフィルタリング技術は、他のオイラー型ディオファントス系（例：(6,1,5) や (5,2,3)）へ一般化可能か？

主な発見

• 本プロジェクトでは、すべての変数が 250,000 未満である方程式 a⁶ + b⁶ = c⁶ + d⁶ + e⁶ + f⁶ + g⁶ に対して、合計で 377 個の異なる解が発見された。
• 最大の解は 247,449⁶ + 98,411⁶ = 246,708⁶ + 129,549⁶ + 80,532⁶ + 36,543⁶ + 3,892⁶ であり、240,000 を超える項を含む最初の解として記録された。
• 計算は 11 年にわたり実施され、合計で約 310 年分の CPU 時間を要したが、すべての解はメモリ最適化されたモジュラーアルゴリズムを用いて得られた。
• 特に 7⁶ および 3 や 2 での割り切れる制約が、探索空間を複数桁のオーダーで削減し、分散ハードウェア上で実行可能にした。
• 非常に不均衡な項を含む解の存在が確認された。例：243,781⁶ + 4,509⁶ = 238,308⁶ + 170,532⁶ + 111,588⁶ + 76,979⁶ + 16,107⁶ では、1 つの項が非常に小さい。
• 結果は完全に検証され、全クライアントログとチェックサムとともに公開され、探索の包括性と信頼性が保証された。