[論文レビュー] 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の倍数が、7つの非負の立方数の和として表現可能であることを証明している。著者らは、二次形式と算術級数内の素数に関する新しい恒等式を用い、$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.

研究の動機と目的

• 212, 364, 420, 428を除くすべての4の倍数が、7つの非負の立方数の和として表現可能であることを証明すること。
• これまでの$2.5 \times 10^{26}$の閾値を超えて、七立方数予想の有効範囲を拡大すること。
• サイズの上限に依存しない合同条件に基づく結果を提示し、算術級数内の素数の分布といった数論的道具を用いること。
• 七立方数問題における例外集合が、特定のモジュラー条件下で有限かつ完全に特徴付け可能であることを示すこと。

提案手法

• 6つの立方数の和を二次形式$ Q = \sum_{i=1}^3 c_i X_i^2 $を用いて表現する立方恒等式（式4）を活用し、ここで$ c_i $はすべてが1でない正の整数である。
• ある小さな$ x_0 $に対して$ N - x_0^3 $を割り切る素数$ p \equiv 2 \pmod{3} $が区間$ (AN^{1/3}, BN^{1/3}) $に存在することを要請する基準（命題1）を適用する。
• RamaréとRumely（1996）が得た、72を法とする算術級数内の素数分布に関する明示的評価を用い、$ N > 10^{18} $に対してそのような素数の存在を保証する。
• 各関連する72を法とする合同類において素数鎖の有限計算を実施し、必要な区間内に素数が存在することを確認する。$ \delta = 0.01 $により、十分な密度が保証される。
• 特定の算術級数に属する整数を表す二次形式$ 2X_1^2 + 2X_2^2 + 3X_3^2 $を構築し、mod 9での表現可能性テストに合格する。
• 残りのケースを$ 10^{18} $未満で計算的に検証し、212, 364, 420, 428以外の4の倍数はすべて7つの非負の立方数の和として表現可能であることが確認された。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな4の倍数は、有限個の例外を除き、7つの非負の立方数の和として表現可能か？
• RQ2 非一様係数をもつ二次形式は、立方数の和としての整数表現にどのような役割を果たすか？
• RQ3 算術級数内の素数分布は、ワーリング型問題における表現可能性の証明にどのように活用可能か？
• RQ4 $ N \equiv 0 \pmod{4} $のような合同条件は、立方数の和としての表現探索をどの程度簡略化できるか？
• RQ5 七立方数問題における既知の例外値（例：212, 364, 420, 428）は、4の倍数において唯一のものか？

主な発見

• 10^{18}を超える4の倍数のうち、212, 364, 420, 428を除くすべての数は、7つの非負の立方数の和として表現可能である。
• 証明は、$ A = \beta^{-1}/\sqrt[3]{1072} $、$ B = \beta^{-1}/\sqrt[3]{904} $（$ \beta \in \{1,5\} $）で定義される区間$ (AN^{1/3}, BN^{1/3}) $内に$ p \equiv 2 \pmod{3} $である素数$ p $が存在することに依存しており、これにより立方恒等式による表現可能性が保証される。
• 72を法とする各$ l $について、$ l \equiv 2 \pmod{3} $かつ$ \gcd(l,72)=1 $を満たすものに対して、素数鎖の有限計算により、すべての$ N > 10^{18} $に対してそのような素数が存在することが確認された。$ \delta = 0.01 $により、必要なギャップ比が$ < 1.0584 $未満となることが保証された。
• 212, 364, 420, 428という例外値は、7つの非負の立方数の和として表現可能でないことが確認され、$ 10^{18} $未満の他の4の倍数ではそのような例外は存在しない。
• $ N > 10^{18} $の場合、表現には正の立方数のみが使われるため、すべてのこのような$ N $は7つの正の立方数の和である。
• 10^{18}未満の残りのケースを検証する計算は、標準的なデスクトップPCでPARI/GPを用いて1分未満で完了した。