[論文レビュー] Long arithmetic progressions of primes

Ben Green|ArXiv.org|Aug 2, 2005

Limits and Structures in Graph Theory参考文献 23被引用数 13

ひとこと要約

この論文は、素数の集合が任意の長さの等差数列を含むことを確立し、長年の予想を証明した。著者たちは、素数に特化した擬似ランダム測度と組み合わせた新規の相対的 Szemerédi 定理を用い、深いつまりの数論的解析を回避した。代わりに加法的組合せ論の組合せ的道具を活用し、適切な測度に関して密な素数の部分集合が長大な等差数列を含むことを示した。定量的下界は、Hardy-Littlewood の予想と定数因子を除いて一致する。

ABSTRACT

This is an article for a general mathematical audience on the author's work, joint with Terence Tao, establishing that there are arbitrarily long arithmetic progressions of primes. It is based on several one hour lectures, chiefly given at British universities.

研究の動機と目的

• 素数の集合に任意の有限長さの等差数列が存在することを確立すること。
• 素数の等差数列における分布に関する数論における長年の予想を解決すること。
• 擬似ランダム測度と組合せ的道具を用いて、スパarsな集合に長大な等差数列を見つける一般的手法を開発すること。
• 素数のk項等差数列の数に対する定量的下界を提示すること。この下界は、定数因子を除いて Hardy-Littlewood の予想と一致する。
• 素数に関する深い数論的事実を必要とせず、代わりに組合せ的構造と Szemerédi の定理の相対的版に依存することを示すこと。

提案手法

• 擬似ランダム集合の部分集合に等差数列を見つけることを可能にする相対的 Szemerédi 定理の枠組みを採用すること。
• Goldston-Yıldırım 篩に基づく、素数の分布をモデル化し、必要な線形および高次一様性条件を満たす擬似ランダム測度を構築すること。
• Gowers 一様性ノルムと双対関数を用いて「ソフト障害」を定義する——明示的な多項式位相関数を必要としないが、関数内の構造的バイアスを捉える一般化されたキャラクター。
• 明示的な二次または高次関数の代わりに、$\mathcal{D}_2(f)$ や $\mathcal{D}_3(f)$ のような双対関数を用い、反復的解析に適しており、より長い数列へ自然に一般化できる。
• von Mangoldt 関数を擬似ランダム測度で正規化した場合、正の密度を示し、必要な一様性条件を満たすことを示すことにより、素数に相対的 Szemerédi 定理を適用する。
• リーマンゼータ関数が $s=1$ に単純極を持ち、古典的零点自由領域内で他の零点を持たないという事実を用いることで、深いつまりの解析的数論を回避する。

実験結果

リサーチクエスチョン

• RQ1 素数は任意の有限長さの等差数列を含むか？
• RQ2 深いつまりの解析的数論に依存せずに、素数に長い等差数列が存在することを示せるか？
• RQ3 擬似ランダムな設定における Szemerédi の定理の相対的版を用いて、このような結果を証明できるか？
• RQ4 素数のk項等差数列の数に対する定量的下界は、Hardy-Littlewood の予想からどの程度近いか？
• RQ5 「ソフト」障害（双対関数）は、長大な等差数列の解析において、明示的な一般化二次位相関数の代わりに使用可能か？

主な発見

• 素数は任意の長さの等差数列を含むことが確認され、数論における主要な予想が証明された。
• 定量的下界が確立された：$N$ 以下の素数のk項等差数列の数は、すべての $N > N_0(k)$ に対して $\gamma'_k N^2 / (\log N)^k$ 以上である。ここで $\gamma'_k > 0$ である。
• この下界は、定数因子を除いて Hardy-Littlewood の予想の予測と一致し、$k$ が大きいほど $\gamma'_k$ は極めて小さくなる。
• 証明は、リーマンゼータ関数の古典的零点自由領域と $s=1$ における極の存在以外に、深い数論的入力を必要としない。
• 慎重に構築された擬似ランダム測度を用いて、相対的 Szemerédi 定理を素数に成功裏に適用し、スパarsな設定でも組合せ的道具を用いることが可能になった。
• 双対関数 $\mathcal{D}_2(f)$ や $\mathcal{D}_3(f)$ といった「ソフト障害」の使用により、明示的な高次多項式位相関数に依存せず、より長い数列へ一般化することができた。