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

一句话总结

本文通过基于BOINC的分布式计算项目，实现了对整数 a, b, c, d, e, f, g < 250,000 的丢番图方程 a⁶ + b⁶ = c⁶ + d⁶ + e⁶ + f⁶ + g⁶ 的所有解的完整枚举。作者采用了模运算优化技术，特别是模 7⁶ 和模 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.

研究动机与目标

• 系统性地搜索所有满足 a⁶ + b⁶ = c⁶ + d⁶ + e⁶ + f⁶ + g⁶ 且所有变量小于 250,000 的整数解。
• 扩展此前已知解的搜索范围，特别关注 (6,2,5) 系统，这是欧拉幂和猜想的一个特例。
• 开发并部署一种高效、内存优化的算法，用于在 BOINC 平台上进行分布式计算。
• 利用数论模约束（模 7⁶、模 9、模 8）加速搜索过程并减少误报。
• 为未来的数学分析和欧拉推广猜想的验证，提供一个全面的解数据库。

提出的方法

• 采用模运算策略，使用模数 p ≈ N¹·⁵，将内存使用量从 O(N³) 降低至 O(N¹·⁵)，同时保持 O(N⁴ log N) 的时间复杂度。
• 使用预先计算的模 p 下的六次剩余表，高效生成满足 a⁶ + b⁶ ≡ w (mod p) 和 c⁶ + d⁶ ≡ w − rₚ (mod p) 的候选对 (a,b) 和 (c,d)。
• 应用深层模约束：解要求 c,d,e,f,g 中至少三个能被 7 整除，至少一个能被 3 整除，且至少一个为偶数，从而显著减少搜索空间。
• 通过固定 v = (a⁶ + b⁶) mod 7⁶，并将 (a,b) 对按 s = (a⁶ + b⁶) mod p 索引存储在查找表中，实现与 (c,d) 对的快速匹配。
• 使用基于 BOINC 的分布式架构，将计算并行化到数千台客户端机器上，每个节点处理部分模剩余类。
• 采用混合方法，结合模过滤与对预计算的 e⁶ + f⁶ + g⁶ 值表的二分查找，高效验证候选解。

实验结果

研究问题

• RQ1 对于所有小于 250,000 的变量，丢番图方程 a⁶ + b⁶ = c⁶ + d⁶ + e⁶ + f⁶ + g⁶ 的完整解集是什么？
• RQ2 模运算约束（模 7⁶、模 9、模 8）是否能有效加速高次丢番图方程解的搜索？
• RQ3 是否可行通过内存高效的算法，将分布式计算项目扩展至 250,000 范围内，实现解的穷尽搜索？
• RQ4 (6,2,5) 系统是否在已知最小解之外存在其他解？若存在，在 250,000 的限制下共有多少个？
• RQ5 本文所用的模过滤技术能否推广至其他欧拉型丢番图系统（例如 (6,1,5) 或 (5,2,3)）？

主要发现

• 该项目共发现了 377 个不同的解，满足 a⁶ + b⁶ = c⁶ + d⁶ + e⁶ + f⁶ + g⁶ 且所有变量小于 250,000。
• 发现的最大解为 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⁶，其中一个项极小。
• 结果已通过完整客户端日志和校验和进行验证，确保了搜索的完整性和可重现性。