[論文レビュー] Popular progression differences in vector spaces II

Jacob Fox, Huy Tuan Pham|arXiv (Cornell University)|Aug 28, 2017

Limits and Structures in Graph Theory被引用数 5

ひとこと要約

この論文は、有限体上のベクトル空間における一般的な等差数列の差の次元の塔の高さを決定し、p ≥ 19 および β = α³/2 の場合にそれが Θ((log p) log log(1/α)) であることを示している。算術正則性と密度増加の議論を用いてタイトな境界を確立し、nₚ(α, β) の漸近的構造を定数および p に依存する加法的要因を除き解明した。

ABSTRACT

Green used an arithmetic analogue of Szemerédi's celebrated regularity lemma to prove the following strengthening of Roth's theorem in vector spaces. For every $α>0$, $β

研究の動機と目的

• F_p^n の部分集合が密度 α を持つとき、密度が少なくとも β である共通差 d を持つ三項等差数列を含むために必要な最小次元 nₚ(α, β) の漸近的成長率を特定すること。
• 有限体上のベクトル空間におけるグリーンの算術正則性補題に基づくロスの定理の強化を精緻化すること。
• nₚ(α, β) が α, β, p にどのように依存するかを分析すること、特に β が乱数の境界 α³ に近い場合に注目すること。
• α および β の異なる領域における nₚ(α, β) の塔の高さについて、タイトな上界および下界を確立すること。

提案手法

• グリーンの算術正則性補題を用いて、F_p^n における稠密な部分集合の構造を分析し、三項等差数列の共通差 d として一般的なものを同定する。
• 差 d についての平均化に基づく密度増加の議論を適用し、その差 d に対して三項等差数列の数が最大になるものを選ぶ。
• 次元に関する再帰的帰納法を用い、ある好ましい方向 d を選んで超平面に含まれない場合に、次元を n から n−1 に削減する。
• 成長する次元および密度パラメータを制御するため、階層的な定数 r_i, u_i, m_i, R_i を導入し、それらを分析する。
• 確率的および極値的組合せ論的道具（特にラヴェシュの局所補題と変更法）を用いて、m 次元部分空間を含まない集合のサイズを評価する。
• シュールの不等式および A_{p,r} のサイズの推定値を用いて、|A_{p,r}| の下界を導出し、連続する段階における密度の減少を制御する。

実験結果

リサーチクエスチョン

• RQ1 F_p^n の部分集合が密度 α を持つとき、共通差 d が密度少なくとも β である三項等差数列を含むために必要な最小次元 nₚ(α, β) の漸近的成長率は何か？
• RQ2 nₚ(α, β) の塔の高さは、素数 p およびパラメータ α, β にどのように依存するか。特に β が乱数の境界 α³ に近い場合に注目する。
• RQ3 一般的な等差数列の差に必要な次元の上界および下界を、定数および p に依存する加法的要因を除きタイトにできるか？
• RQ4 α と β の相対的な大きさに応じて、極値的構成にどのような構造的差が現れ、それが必要な次元にどのように影響するか？
• RQ5 下界 r(n,m) ≥ N^{1−(m+1)3^{−m}} における指数的定数 3 は最適か。より強い密度増加または正則性の議論により改善可能か？

主な発見

• p ≥ 19 および β = α³/2 の場合、必要な次元 nₚ(α, β) は 2 のべきの塔であり、その高さは Θ((log p) log log(1/α)) である。
• nₚ(α, β) の塔の高さは α および β の異なる領域で変化し、上界および下界の証明にそれぞれ異なる議論が必要となる。
• 上界の構成は、一般的な差 d を選ぶ密度増加の議論を用い、次元の再帰的削減を実現する。
• 下界は、段階を跨いで密度を維持する再帰的構成により確立され、塔の高さが定数および p に依存する加法的要因を除きタイトであることが示された。
• 本論文では、F_3^n に m 次元アフィン部分空間を含まない最大の部分集合のサイズ r(n,m) に対して、上界 r(n,m) ≤ (1+o(1))N^{1−C^{−m}}（C ≈ 13.901）を証明した。
• 下界の構成により r(n,m) ≥ N^{1−(m+1)3^{−m}} が得られ、下界における指数的定数 3 が、ランダムまたは単純な確率的手法では改善できないことが示された。