[論文レビュー] An improvement to the Kelley-Meka bounds on three-term arithmetic progressions

Thomas F. Bloom, Olof Sisask|arXiv (Cornell University)|Sep 5, 2023

Limits and Structures in Graph Theory被引用数 4

ひとこと要約

この論文は、加法的組合せ論とボール集合の文脈で、修正されたブートストラップ技法を用いて、非自明な3項等差数列を含まない{1,…,N}の部分集合の密度に関するケリー＝ミーカーの上限を精緻化することで、その定量的指数を改善した。集合のサイズは、あるc>0に対してexp(−c(log N)^{1/9})N以下であることが示され、元の1/12指数に対する定量的改善を達成した。

ABSTRACT

In a recent breakthrough Kelley and Meka proved a quasipolynomial upper bound for the density of sets of integers without non-trivial three-term arithmetic progressions. We present a simple modification to their method that strengthens their conclusion, in particular proving that if $A\subset\{1,\ldots,N\}$ has no non-trivial three-term arithmetic progressions then \[\lvert A vert \leq \exp(-c(\log N)^{1/9})N\] for some $c>0$.

研究の動機と目的

• 非自明な3項等差数列を含まない{1,…,N}の部分集合のサイズに関するケリー＝ミーカーの上限における定量的指数の改善を図ること。
• ケリー＝ミーカー法における準周期性のブートストラップ手続きを精緻化し、対数的依存性における指数をより良くすること。
• 改善された手法が整数環（Z/NZ）とベクトル空間（F_q^n）の両設定において、より強い上限をもたらすことを示すこと。
• ケリー＝ミーカー枠組みに対するより明快で透明性の高い修正を提供し、過剰な技術的負担を伴わずに指数を向上させること。
• 改善された解析を、A+A+Aにおける長い等差数列の存在やアフィン部分空間における密度増加といった関連問題へと拡張すること。

提案手法

• ボール集合の文脈における準周期性の応用を強化することで、ケリー＝ミーカーのブートストラップステップを修正する。
• 差分畳み込みと畳み込みノルムの制御において、ランクおよび余次元における対数的要因への依存性を改善する精緻な推定を導入する。
• 改善された準周期性を適用して、ランクの増加がO(𝒫(α)^4 p^2)で抑えられるボール集合におけるより強い密度増加を導出する。
• 改善された上限を用いて、ランクO(𝒫(α)^7)で密度がexp(−O(𝒫(α)^9))|G|であるようなボール集合が、期待される数の3項等差数列を含むことを示す。
• モデル設定F_q^nにこの手法を適用し、アフィン部分空間における密度増加の余次元をO(𝒫(α)^5 𝒫(γ)^2)まで制限する。
• A+A+Aにおける長い等差数列への解析を拡張し、下界としてexp(−O(𝒫(α)^2))N^{Ω(1/𝒫(α)^7)}の長さの等差数列が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 ケリー＝ミーカーの上限における、{1,…,N}における3項等差数列を含まない集合の指数を1/12を超えて改善できるか？
• RQ2 準周期性のブートストラップ手続きの精緻化が、加法的組合せ論における対数的要因への定量的依存性にどのように影響するか？
• RQ3 改善された手法は、F_q^nや部分空間における密度増加といった他の設定へ、どの程度まで適用可能か？
• RQ4 改善された手法のもとで、A+A+Aにおける等差数列の長さの下界における最良の指数は何か？
• RQ5 改善された議論は、F_2^nにおける2色塗り分けにおける単色部分空間といったラマジー理論的設定へ拡張可能か？

主な発見

• 本論文は、非自明な3項等差数列を含まない任意の部分集合A ⊆ {1,…,N}が、あるc>0に対して|A| ≤ exp(−c(log N)^{1/9})Nを満たすことを確立した。これは元のケリー＝ミーカーの上限における1/12指数に対する定量的改善である。
• モデル設定F_q^nにおいて、改善された手法により、非自明な3項等差数列を含まない集合に対して|A| ≪ q^{n − c n^{1/7}}の上限が得られ、元の指数における1/9の改善が達成された。
• 改善された準周期性議論により、アフィン部分空間における密度増加の余次元がO(𝒫(α)^5 𝒫(γ)^2)まで制限され、元のケリー＝ミーカーの上限における𝒫(γ)^4よりも改善された。
• 密度αのA ⊆ {1,…,N}に対して、和集合A+A+Aは、長さが少なくともexp(−O(𝒫(α)^2))N^{Ω(1/𝒫(α)^7)}の等差数列を含むことが示され、以前の指数9から7に改善された。
• フレイマン、ハルバースタム、ルズァの構成により、指数1/𝒫(α)は定数を除き最良であることが示され、新しい上限はほぼ最適であることが示唆される。
• この手法は頑健であり、F_2^nにおけるラマジー理論的境界など、他の問題へも適用可能であることが、ハンターとポホアータによる単色部分空間への応用によって示された。