[论文解读] Every multiple of 4 except 212, 364, 420, and 428 is the sum of seven cubes

Kent D. Boklan, Noam D. Elkies|ArXiv.org|Mar 26, 2009

Analytic Number Theory Research参考文献 6被引用 5

一句话总结

该论文证明了除了 212、364、420 和 428 之外，所有能被 4 整除的数都可以表示为七个非负立方数之和。作者利用涉及二次型和等差数列中素数的新型恒等式，证明了所有大于 $10^{18}$ 的整数均满足该结论，并通过计算验证了其余情况，显著推进了在同余条件下关于七立方和猜想的研究。

ABSTRACT

It is conjectured that every integer N>454 is the sum of seven nonnegative cubes. We prove the conjecture when N is a multiple of 4.

研究动机与目标

• 证明除了四个特定例外值外，所有 4 的倍数均可表示为七个非负立方数之和。
• 将七立方和猜想的已知有效范围扩展至此前确立的 $2.5 \times 10^{26}$ 阈值以上。
• 提供一种基于同余条件的结果，避免依赖大小界限，使用素数在等差数列中分布等数论工具。
• 表明在特定模运算条件下，七立方和问题的例外集合很可能是有限的，并且可完全刻画。

提出的方法

• 利用一个立方恒等式（公式 4），通过二次型 $ Q = \sum_{i=1}^3 c_i X_i^2 $ 表示六个立方数的和，其中 $ c_i $ 为正整数且不全为 1。
• 应用一个判别准则（命题 1），要求在区间 $ (AN^{1/3}, BN^{1/3}) $ 内存在一个素数 $ p \equiv 2 \pmod{3} $，且 $ p $ 整除 $ N - x_0^3 $，其中 $ x_0 $ 为较小的整数。
• 使用 Ramaré 和 Rumely（1996）关于模 72 的等差数列中素数分布的显式界限，确保当 $ N > 10^{18} $ 时此类素数的存在性。
• 在模 72 的每个相关同余类中，通过有限计算素数链，验证了所需区间内素数的存在性，其中 $ \delta = 0.01 $ 确保了足够的密度。
• 构造一个二次型 $ 2X_1^2 + 2X_2^2 + 3X_3^2 $，使其能表示某些等差数列中的整数，并通过模 9 可表示性检验。
• 通过计算验证了所有小于 $ 10^{18} $ 的剩余情况，确认仅有四个例外值无法表示为七个非负立方数之和。

实验结果

研究问题

• RQ1 所有足够大的 4 的倍数是否都可以表示为七个非负立方数之和，仅排除有限个例外值？
• RQ2 具有非均匀系数的二次型在将整数表示为立方和中起什么作用？
• RQ3 如何利用等差数列中素数的分布来证明 Waring 型问题中的可表示性结果？
• RQ4 同余条件如 $ N \equiv 0 \pmod{4} $ 在寻找立方和表示时能将问题简化到何种程度？
• RQ5 目前已知的七立方和问题的例外值（如 212、364、420、428）是否为 4 的倍数中唯一的例外？

主要发现

• 所有大于 $ 10^{18} $ 的 4 的倍数，除了 212、364、420 和 428 外，均可表示为七个非负立方数之和。
• 该证明依赖于在区间 $ (AN^{1/3}, BN^{1/3}) $ 内存在一个素数 $ p \equiv 2 \pmod{3} $，其中 $ A = \beta^{-1}/\sqrt[3]{1072} $，$ B = \beta^{-1}/\sqrt[3]{904} $，且 $ \beta \in \{1,5\} $，以确保通过立方恒等式实现可表示性。
• 对每个满足 $ l \equiv 2 \pmod{3} $ 且 $ \gcd(l,72)=1 $ 的 $ l \bmod 72 $，进行有限的素数链计算，确认了所有 $ N > 10^{18} $ 下此类素数的存在性，其中 $ \delta = 0.01 $ 确保了所需的间隙比 $ < 1.0584 $。
• 确认例外值 212、364、420 和 428 无法表示为七个非负立方数之和，且在 $ 10^{18} $ 以下不存在其他 4 的倍数不满足该表示。
• 对于 $ N > 10^{18} $，该表示仅使用正立方数，因此每个这样的 $ N $ 都是七个正立方数之和。
• 验证 $ 10^{18} $ 以下剩余情况的计算（包括 $ N = 2408 $）在标准台式机上使用 PARI/GP 用时不足一分钟。