[論文レビュー] A connection between matchings and removal in abelian groups

James Aaronson|arXiv (Cornell University)|Dec 13, 2016

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

ひとこと要約

この論文は、巡回群における加法的マッチング（三色和自由集合）の最大サイズと、有限アーベル群、特に巡回群におけるグリーンの算術的除去補題の境界との間の関係を確立する。フォックスとロヴァーシュの手法を応用することで、加法的マッチングに多項式的または超指数的境界が存在するならば、それに対応する超指数的境界が除去補題に対しても成立することを示し、マッチング密度と除去効率を制御する関数 f と g を用いた明示的な定量的トレードオフを示す。

ABSTRACT

In a finite abelian group $G$, define an additive matching to be a collection of triples $(x_i, y_i, z_i)$ such that $x_i + y_j + z_k = 0$ if and only if $i = j = k$. In the case that $G = \mathbb{F}_2^n$, Kleinberg, building on work of Croot-Lev-Pach and Ellenberg-Gijswijt, proved a polynomial upper bound on the size of an additive matching. Fox and Lovász used this to deduce polynomial bounds on Green's arithmetic removal lemma in $\mathbb{F}_2^n$. If $G$ is taken to be an arbitrary finite abelian group, the questions of bounding the size of an additive matching and giving bounds for Green's arithmetic removal lemma are much less well understood. In this note, we adapt the methods of Fox and Lovász to prove that, provided we can assume a sufficiently strong bound on the size of an additive matching in cyclic groups, a similar bound should hold in the case of removal.

研究の動機と目的

• 巡回群における加法的マッチングの最大密度とグリーンの算術的除去補題の境界との間の定量的関係を確立すること。
• F₂ⁿにおける除去の多項式的境界を、特に Z/NZ におけるマッチングサイズ制約を用いて、一般の有限アーベル群へ拡張すること。
• 加法的マッチング密度の減衰率に基づいて、超指数的除去境界が達成可能な条件を形式化すること。
• 還元と構造的解析を用いて、素数位数の群から任意の巡回群へのフォックス＝ロヴァーシュ法の一般化。
• 除去境界がマッチングサイズ境界を示す逆の関係を示し、関係のタイトさを確認すること。

提案手法

• フォックスとロヴァーシュのフーリエ解析的および組合的枠組みを、加法的マッチング密度を主要パラメータとする巡回群に適応する。
• 入力集合 A, B, C に含まれる互いに素な三角形の集合を特定するためのグリーディーな三角形パッキングの議論を用い、εN 個未満の要素を削除してもすべての三角形を消去できないことを保証する。
• 三角形構造を保存するように、一般の Z/NZ を素数位数の群に還元する。具体的には、N ≈ 2M となる素数 N を選び、N を法とする還元写像を用いる。
• 補題 2.1 を適用し、三角形の数と群内での加法的マッチングの密度に基づいて、集合 X, Y, Z のサイズを評価する。
• 関数 f(N) を用いて Z/NZ における加法的マッチングの最大密度を制限し、関数 g(ρ) を用いて δ（三角形密度）と ε（除去コスト）の間のトレードオフを制御する。
• グリーディーな三角形パッキングとマッチング密度の仮定、および f と g の単調性条件を組み合わせることで、重要な不等式 ε ≲ g(δ)√f(1/(g(δ)δ)) を導出する。

実験結果

リサーチクエスチョン

• RQ1 Z/NZ における加法的マッチング密度にどのような条件下で、グリーンの算術的除去補題に対する強い境界を導出できるか？
• RQ2 最大マッチング密度 f(N) の減衰率が、δ に依存する最良の除去境界 ε にどのように影響するか？
• RQ3 F_p^n におけるフォックス＝ロヴァーシュ法を、特に巡回群を含む一般の有限アーベル群へ拡張できるか？
• RQ4 加法的マッチングサイズとアーベル群における三角形除去の効率との間の定量的関係は何か？
• RQ5 除去境界がマッチングサイズの境界を示す逆の関係が存在するか？

主な発見

• 論文は、Z/NZ における加法的マッチングの最大密度が f(N) で抑えられるならば、除去補題の境界が ε ≲ g(δ)√f(1/(g(δ)δ)) を満たすことを証明する。
• ベレンド型の境界 f(N) ≲ exp(−c√log N) を仮定すると、ε ≲ exp(−c₁√log(1/δ)) が得られ、タワー型の境界よりも超指数的改善が達成される。
• より弱い仮定 f(N) ≲ log⁻²⁻ᵞN（γ > 0）のもとでは、境界は ε ≲ log(1/δ)⁻ᴼ⁽¹⁾ となり、多項式的除去コストを示す。
• 反復的議論が成立するためには、収束条件 ∑ᵢ 1/g(2⁻ⁱ) ≤ 1/4 が必須であり、この条件を満たさない場合、非自明な境界は得られない。
• 還元法（素数 N ≈ 2M を用いた N を法とする還元）により、素数位数の群から任意の巡回群への一般化が可能であり、三角形構造が保存され、結果の拡張が可能になる。
• 逆の関係が確立された：もし除去境界が ε ≲ f(1/δ) を満たすならば、加法的マッチングの密度は f(N) を超えることはできない。これは、関係のタイトさを確認する。