[論文レビュー] Every odd number greater than 1 is the sum of at most five primes

Terence Tao|arXiv (Cornell University)|Jan 31, 2012

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

ひとこと要約

テレンス・タオは、1より大きいすべての奇数が5つの素数の和として表現可能であることを証明した。これは、奇数のゴールドバッハ予想を前進させるものである。滑らかな指数和、最適化されたヴォーン恒等式のパラメータ、複数スケール、モンゴメリーの不確実性原理を用いた改良されたハーディ＝リトルウッドの円周法を用いて、微小領域の推定値を改善し、リーマン仮説および偶数のゴールドバッハ予想の数値的検証を活用することで、既知の境界との差を埋めた。

ABSTRACT

We prove that every odd number $N$ greater than 1 can be expressed as the sum of at most five primes, improving the result of Ramaré that every even natural number can be expressed as the sum of at most six primes. We follow the circle method of Hardy-Littlewood and Vinogradov, together with Vaughan's identity; our additional techniques, which may be of interest for other Goldbach-type problems, include the use of smoothed exponential sums and optimisation of the Vaughan identity parameters to save or reduce some logarithmic losses, the use of multiple scales following some ideas of Bourgain, and the use of Montgomery's uncertainty principle and the large sieve to improve the $L^2$ estimates on major arcs. Our argument relies on some previous numerical work, namely the verification of Richstein of the even Goldbach conjecture up to $4 imes 10^{14}$, and the verification of van de Lune and (independently) of Wedeniwski of the Riemann hypothesis up to height $3.29 imes 10^9$.

研究の動機と目的

• 1より大きいすべての奇数が5つの素数の和として書けることを確立し、ラマレの結果（すべての偶数が6つの素数の和として書ける）を改善すること。
• 解析的数論とリーマン仮説および偶数のゴールドバッハ予想の数値的検証を組み合わせることで、奇数のゴールドバッハ予想に関する既知の有効な境界の差を埋めること。
• ヴォーン恒等式のパラメータを最適化することで対数的損失を低減し、大篩と不確実性原理を用いた改善された$L^2$境界を用いて、円周法における微小領域の推定値を精緻化すること。
• ブルガインにインspiredされた滑らかな指数和と多スケール解析を活用することで、円周法を奇数に適用可能にする。
• 解析的技法と数値的検証の組み合わせが、すべての1より大きい奇数について5素数ゴールドバッハ問題を完全に解決可能であることを示すこと。

提案手法

• 奇数$x$の素数の和としての表現の数を、積分$\int_{\mathbb{R}/\mathbb{Z}} S(x,\alpha)^3 e(-x\alpha)\,d\alpha$を用いて表現する。ここで$S(x,\alpha) = \sum_{n\leq x} \Lambda(n) e(n\alpha)$である。
• 微小領域を扱うために、ヴォーンの恒等式を用いて指数和$S(x,\alpha)$をタイプIおよびタイプII和に分解し、対数的損失を最小化するように最適化されたパラメータを用いる。
• コンパクトに台を持つカットオフ$\eta$を用いた滑らかな指数和$S_{\eta, R\sharp}(x,\alpha)$を用い、主要領域における$L^2$推定値を改善し、誤差項を低減する。
• 大篩とモンゴメリーの不確実性原理を適用し、特に有理数近似$a/q$の近くの$\alpha$における主要領域における$L^2$境界を強化する。
• 特に$K=10^3$でスケーリングすることにより、弱いおよび強い微小領域を含む、さまざまな周波数領域における指数和を制御するための複数スケールの分析を用いる。
• リーマン仮説の高さ$3.29 \times 10^9$までの数値的検証および偶数のゴールドバッハ予想の$4 \times 10^{14}$までの数値的検証に依存し、小さな奇数を直接処理する。

実験結果

リサーチクエスチョン

• RQ1 解析的技法と数値的検証を組み合わせることで、1より大きいすべての奇数について奇数のゴールドバッハ予想を証明できるか？
• RQ2 ヴォーン恒等式のパラメータを最適化することで、微小領域推定値における対数的損失をどの程度低減できるか？
• RQ3 円周法をどのように変更すれば、特に微小領域領域において、奇数の5素数表現に関する有効な境界を得られるか？
• RQ4 大篩と不確実性原理を用いることで、主要領域における$L^2$および$L^\infty$推定値にどのような改善が得られるか？
• RQ5 多スケール解析と滑らかな指数和は、ゴールドバッハ型問題における微小領域推定値の精度を著しく向上させられるか？

主な発見

• 1より大きいすべての奇数が5つの素数の和として表現可能であることが証明され、奇数のゴールドバッハ予想の強い定量的バージョンが確認された。
• 微小領域推定値が$|S(x,\alpha)| \ll \left(\frac{x}{\sqrt{q}} + \frac{x}{\sqrt{x/q}} + x^{4/5}\right)\log^3 x$に改善され、 refined parameters により対数的損失が低減された。
• 滑らかな和の使用と最適化されたヴォーン恒等式のパラメータにより、主要領域における$L^2$推定値の誤差が低減され、より緊密な境界が得られた。
• 微小領域における$L^\infty$推定値が、臨界領域で$0.078x$以下であることが示され、$L^2$制御と組み合わせることで議論を完結させるのに十分であった。
• 証明は有効であり、リーマン仮説の高さ$3.29 \times 10^9$までの数値的データおよび偶数のゴールドバッハ予想の$4 \times 10^{14}$までの数値的データに依存している。
• 最終的な境界は、主要領域を弱いおよび強い微小領域に分割し、すべてのケースが余裕を持って必要な$L^\infty$条件を満たしていることを示すことによって達成された。