[論文レビュー] New bounds for Szemeredi's theorem, Ia: Progressions of length 4 in finite field geometries revisited

Ben Green, Terence Tao|arXiv (Cornell University)|May 7, 2012

Limits and Structures in Graph Theory参考文献 14被引用数 7

ひとこと要約

この論文は、$\ mathbb{F}_p^n$ の中で4項等差数列を含まない部分集合の最大サイズに対する新しい定量的評価を確立し、それが$O(N(\log N)^{-2^{-22}})$であることを証明している。ここで$N = p^n$である。著者らは、$U^3$ノルムにおける高ランクの2次的分解を用いた、修正され簡略化された議論を提供し、以前に主張されたが証明に穴があった同様の評価を回復するとともに、加法的組合せ論における多項式の均一性の理解を向上させた。

ABSTRACT

Let p > 4 be a prime. We show that the largest subset of F_p^n with no 4-term arithmetic progressions has cardinality << N(log N)^{-c}, where c = 2^{-22} and N := p^n. A result of this type was claimed in a previous paper by the authors and published in Proc. London Math. Society. Unfortunately the proof had a gap, and we issue an erratum for that paper here. Our new argument is different and significantly shorter. In fact we prove a stronger result, which can be viewed as a quantatitive version of some previous results of Bergelson-Host-Kra and the authors.

研究の動機と目的

• 有限体幾何における4項等差数列を含まない集合の多項式型評価に関する、以前に主張されたが欠陥を含む証明の穴を埋めること。
• 以前の論文で主張されたが後に欠陥が発覚した、$r_4(F^n) \ll_F N(\log N)^{-c_F}$ の評価を、正しく簡潔に再構築する議論を提供すること。
• 有限体設定における$U^3$-均一性のバーグェルソン＝ホスト＝クライ構造定理の定量的版を確立すること。
• $\mathbb{F}_p^n$ の稠密な部分集合が、明示的な余次元の上限を伴って大きなアフィン部分空間に4項等差数列を含むことを証明すること。
• $U^3$-逆定理を高ランクの因子を出力する形に強化することで、明確な密度増加議論が可能になることを示すこと。

提案手法

• 密度増加戦略に必要なランク分離条件を満たすように、高ランクの2次的因子$\mathcal{B}$ を出力する修正されたクープマン＝フォン・ノイマン定理を用いる。
• 各反復でランクの精錬ステップを含むエネルギー増加議論を用いて、$F^n$ の部分空間$W'$上に高ランク因子$\mathcal{B}$ を構成する。
• 稠密な集合$A$ の特性関数$1_A$ を、その条件付き期待値$\mathbb{E}(1_A|\mathcal{B})$ に分解し、$U^3$ノルムにおいて$1_A$ を近似する。
• Gowersの$U^3$-均一性ノルムと因子$\mathcal{B}$ の構造を用いて、$A$ に含まれる4項等差数列の数を評価し、非均一性が密度増加を意味することを示す。
• 集合$A$ が等差数列を含まない場合、$A$ に含まれる4項等差数列の数は$|W|$未満であるが、密度$\alpha$ のランダム集合では期待値が$\alpha^4|W|^2$ となることから、$\alpha$ が十分に大きくなければ矛盾が生じることを導く。
• 部分空間$W'$ の余次元の上限と等差数列の数の制約を組み合わせることで、最終的な評価$\alpha \gg_F (\log N)^{-2^{-22}}$ を得る。

実験結果

リサーチクエスチョン

• RQ1 以前に主張された$F^n$における4項等差数列を含まない集合の評価$r_4(F^n) \ll_F N(\log N)^{-c_F}$ は、正しく修正された議論により、厳密に回復可能か？
• RQ2 $r_4(F^n)$ の対数的改善の最適指数は何か？ また、$U^3$ノルムの精錬された逆定理を用いて改善可能か？
• RQ3 クープマン＝フォン・ノイマン型分解を、高ランクの2次的因子を出力する形に強化できるか？ これにより、4項等差数列の文脈で明確な密度増加議論が可能になるか？
• RQ4 4項等差数列の正の密度を含む部分空間の余次元は、元の集合の密度とどのように関係するか？
• RQ5 高ランク因子に制限した$U^3$-逆定理の定量的強度は何か？ そして、これにより等差数列を含まない集合の評価にどのような影響を与えるか？

主な発見

• 本論文は、$\mathbb{F}_p^n$ の中で4項等差数列を含まない部分集合の最大サイズについて、$r_4(F^n) \ll_F N(\log N)^{-2^{-22}}$ の評価を確立した。ここで$F = \mathbb{F}_p$、$p \geq 5$、$N = p^n$ である。
• 著者らは、密度$\alpha$ の稠密な部分集合$A \subseteq \mathbb{F}_p^n$ が、余次元が$C_F \varepsilon^{-2^{20}}$ 未満の大きなアフィン部分空間$W$ に、少なくとも$(\alpha^4 - \varepsilon)|W|^2$ 個の4項等差数列を含むことを証明した。
• 主な技術的進歩は、部分空間$W'$ 上で高ランクの2次的因子$\mathcal{B}$ を出力する$U^3$-逆定理であり、これにより近似$\mathbb{E}(1_A|\mathcal{B})$ が密度増加に必要な均一性と構造を保つ。
• 著者らの以前の研究[9]における欠陥を是正した。その際、2次的因子の高ランク化を施す際に$U^3$-近似を保証しなかったため、元の議論に穴が生じていた。
• 指数に現れる$2^{-22}$ は、$U^3$ノルムの逆定理における$2^{16}$ の指数に起因するが、最適ではないが、以前の評価より顕著な改善である。
• この結果は、$\mathbb{F}_p^n$ における等差数列を含まない集合は、必ず密度$\gg_F (\log N)^{-2^{-22}}$ を持つことを示しており、有限体幾何における4項等差数列を含まない集合に対する、現在までで最も強い定量的評価である。