[論文レビュー] Progression-free sets in Z_4^n are exponentially small

Ernie Croot, Vsevolod F. Lev+1 more|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|May 5, 2016

Limits and Structures in Graph Theory参考文献 9被引用数 98

ひとこと要約

著者らは Z_4^n の進行がない部分集合の大きさが最大で 4^{γ n}、γ ≈ 0.926 であることを証明し、ポリノミアル法を用いて従来の境界を改善した。

ABSTRACT

We show that for integer $n>0$, any subset $A \subset Z_4^n$ free of three-term arithmetic progressions has size $|A| < 4^{c n}$, with an absolute constant $c \approx 0.926$.

研究の動機と目的

• 有限アーベル群における進行がない集合の研究に動機づけ、Roth型の問題を Z_4^n および関連する群へ拡張する。
• Z_4^n における進行がない部分集合の最大サイズに関する定量的界を、以前の結果を超えて改善する。
• フーリエ解析的密度増分戦略を回避する新規の方法（多項式的方法）を示す。
• rk_4(G) に基づく一般的な有限アーベル群の系を提供する。

提案手法

• もし P(a−b)=0 が A のすべての異なる a,b に対して成り立ち、deg P ≤ d なら、サイズ制約の下で P(0)=0 を強制する多項式の補助LEMMA を導入する。これにより A が小さくない限り矛盾が生じる。
• |A| > 2 ∑_{i≤d/2} binom(n,i) によって大きな F_n 共族を含む個数を制御するカウント/エントロピー境界を用いる。
• Z_4^n への還元を適用し、F_n（反復生成部分群）を考慮して A を分割し共族の数を境界付けする。
• 固定 n の境界から全ての n に対する境界へ移すテンソルべき演算を用い、所望の 4^{γ n} という指数境界を達成する。
• 有限アーベル群に対する rk_4(G) を、有限アーベル群の r_3(G) の境界に関する還元としてのコロラリを示す。

実験結果

リサーチクエスチョン

• RQ1 進行がない部分集合の最大サイズ r_3(Z_4^n) はいくつか。
• RQ2 多項式法は偶次数群における Fourier ベースの密度増分アプローチを指数的に上回ることができるのか。
• RQ3 rk_4(G) パラメータは一般の有限アーベル群における r_3(G) にどう影響するか。
• RQ4 進行がない A ⊆ Z_4^n に対して |A| ≤ 4^{γ n} で達成可能な明示的 γ はどれか。

主な発見

• 彼らはすべての progression-free A ⊆ Z_4^n に対して |A| ≤ 4^{γ n} を証明し、γ ≈ 0.926。
• P(a−b)=0 がすべての異なる a,b に対して成り立つことを、サイズ制約の下で P(0)=0 に強制する多項式ベースのLEMMA を確立。
• A の多くの要素を含む F_n 共族の数が厳密に制限されることを示し、主要な指数境界へとつながる。
• 有限アーベル群 G のコロラリとして r_3(G) ≤ 4^{-(1−γ)n}|G| が成り立つ，ここで n = rk_4(G)。
• これらの結果は伝統的な Fourier/密度増分戦略の代わりに多項式法を用いており、この文脈で新しい技術を示している。