[论文解读] Newer sums of three cubes

Sander G. Huisman|arXiv (Cornell University)|Apr 26, 2016

Analytic Number Theory Research参考文献 7被引用 3

一句话总结

本论文通过计算方法在 $10^{15}$ 的范围内搜索了丢番图方程 $x^3 + y^3 + z^3 = k$ 的整数解，扩展了先前的工作。报告了 $k = 74$ 的首个解，并发现了 966 个新解，使得 $k < 1000$ 中仍未解决的值减少至 13 个，其中包括 $k = 33$ 和 $k = 42$。该方法利用格约化和三次曲线上的有理点逼近，高效地探索了接近 $X^3 + Y^3 = 1$ 的解空间。

ABSTRACT

The search of solutions of the Diophantine equation $x^3 + y^3 + z^3 = k$ for $k&lt;1000$ has been extended with bounds of $|x|$, $|y|$ and $|z|$ up to $10^{15}$. The first solution for $k=74$ is reported. This only leaves $k=33$ and $k=42$ for $k&lt;100$ for which no solution has yet been found. A total of 966 new solutions were found.

研究动机与目标

• 解决长期悬而未决的公开问题：确定哪些自然数 $k$ 可表示为三个整数立方和。
• 将 $x$、$y$ 和 $z$ 的搜索范围扩展至先前限制之外，达到 $10^{15}$，以发现此前未知的解。
• 提供计算证据，支持如下猜想：所有满足 $k \not\equiv \pm 4 \pmod{9}$ 且 $k \neq 0$ 的 $k$ 均可表示为三个立方数之和。
• 识别出此前仅有少量或无已知解的 $k$ 值的新解，包括某些 $k$ 存在多个解的情况。
• 增进对立方丢番图方程中解的密度与分布规律的理解。

提出的方法

• 搜索方法基于 Elkies 的算法，将方程重述为 $X^3 + Y^3 = 1 + (k/z)^3$，其中 $X = x/z$，$Y = y/z$，以在曲线 $X^3 + Y^3 = 1$ 附近定位有理点。
• 应用格基约化，将搜索空间转换为更利于在金字塔形区域内高效迭代整数格点的几何结构。
• 通过在三次曲线上方铺设小平行四边形状的“石板”来识别解候选，这些石板可铺满曲线邻域，确保不遗漏任何解。
• 石板的尺寸根据搜索边界 $B$ 和最大 $k$ 值确定，从而实现对边界内潜在解的系统性覆盖。
• 利用对称性将搜索范围限制在 $0 < X < \sqrt[3]{1/2}$，使计算量减少一半。
• 在里昂高等师范学院的 PSMN 计算集群上进行高性能计算，累计执行超过 $10^5$ 小时的计算，最终获得结果。

实验结果

研究问题

• RQ1 在本工作之前，$k = 74$ 尚无已知解，该方程是否可解？
• RQ2 对于 $k < 1000$，是否存在此前未知的新解，特别是那些仅有 1 个或 2 个已知解的值？
• RQ3 将搜索边界扩展至 $10^{15}$ 是否显著增加了已知解的数量？与理论预期相比如何？
• RQ4 该计算方法能否高效地发现 $x$、$y$ 和 $z$ 的绝对值非常大的解？
• RQ5 在本次扩展搜索后，$k < 1000$ 中仍有哪些值未解决？这对该方程可解性的一般性猜想有何启示？

主要发现

• 首次发现 $k = 74$ 的解：$74 = (-284650292555885)^3 + 66229832190556^3 + 283450105697727^3$。
• 共发现 966 个 $k < 1000$ 的新解，显著扩展了已知解集。
• 发现 $k = 606$、$k = 830$ 和 $k = 966$ 的两个新解，表明这些值存在多个解。
• 九个此前仅有两个已知解的 $k$ 值现在获得了额外解，包括 $k = 30, 87, 327, 402, 483, 735, 758, 786, 831$。
• 尽管搜索边界已扩展至 $10^{15}$，仍有 13 个 $k < 1000$ 未解决：$33, 42, 114, 165, 390, 579, 627, 633, 732, 795, 906, 921, 975$。
• 解的密度与预期的 $\log(B)$ 规律一致，支持如下猜想：所有满足 $k \not\equiv \pm 4 \pmod{9}$ 且 $k \neq 0$ 的 $k$ 均存在解。搜索结果与这些方程的 Brauer–Manin 障碍为平凡的猜想一致。