[論文レビュー] Quantitative structure of stable sets in finite abelian groups

C. Terry, Jason B. Wolf|arXiv (Cornell University)|May 17, 2018

Limits and Structures in Graph Theory参考文献 11被引用数 6

ひとこと要約

本稿では、有限アーベル群のk-安定部分集合に対して、有限体上のベクトル空間における先行研究を一般化した定量的算術正則化補題を確立する。算術組合せ論の技術——特にSisaskにインspiredされた精緻化されたほぼ周期性の議論——を用いて、このような集合が有界ランクおよび幅のボール集合に関して一様に分布することを示し、明示的な定量的境界を伴う効率的な正則化をもたらす。

ABSTRACT

We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was recently obtained by the first author in joint work with Conant and Pillay, using model-theoretic techniques. In contrast, the approach in the present paper is highly quantitative and relies on several key ingredients from arithmetic combinatorics.

研究の動機と目的

• 有限アーベル群における安定集合の定性的算術正則化補題を、明示的な定量的境界を伴うバージョンに拡張すること。
• 先行研究におけるモデル理論的アプローチを、算術組合せ論に基づく定量的・解析的アプローチに置き換えること。
• 有限アーベル群における安定集合を正則化するボール集合および部分群のサイズと構造に関する明示的境界を確立すること。
• 素数位数の巡回群における安定集合が本質的に自明であることを示し、算術組合せ論におけるその困難さを正当化すること。
• 安定集合が低余次元部分群の陪集合の和集合に近似可能であるという構造的帰結を導出すること。

提案手法

• Croot-Sisaskのほぼ周期性技法の精緻化されたバージョンを用いて、制御されたパラメータを持つボール集合の平行移動上に安定集合が密度を示すことを示す。
• Bourgain風の「Bourgain化」プロセスを適用して、有限体上のベクトル空間からの議論を一般の有限アーベル群へと移行する。
• 不正則性の失敗を示すために、モデル理論的不安定木を構築し、[19]および[12]の近似版議論を用いる。
• ランクが有界で、幅が少なくとも ǫ^{O_k(1)} であるボール集合が、k-安定集合を正則化できることを確立する。すべての陪集合において一様性が保たれる。
• 木の議論を再帰的に適用することで、ボール集合正則化結果を部分群正則化バージョンに高める。その結果、Gにおける指数が exp(µ^{-O_k(1)}) 未満である部分群が得られる。
• 有限アーベル群におけるフーリエ解析の逆変換公式およびParsevalの等式を用いて、フーリエ係数を制御し、正則化議論を支える。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群における安定集合の定性的算術正則化補題を、明示的な境界を伴う定量的バージョンにできるか？
• RQ2 安定性、ボール集合のパラメータ、および有限アーベル群における正則化の間の最適な定量的関係は何か？
• RQ3 素数位数の巡回群における安定集合は、部分群の陪集合の和集合にどの程度類似しているか？
• RQ4 モデル理論的不安定木の議論を、算術正則化の文脈で定量的境界を得るために適応可能か？
• RQ5 ボール集合正則化を、効率的な定量的制御を伴う部分群正則化に高めることは可能か？

主な発見

• 任意の k ≥ 2 および 0 < ǫ < 1 に対して、N₀ = N₀(k, ǫ) が存在し、|G| ≥ N₀ かつ A ⊆ G が k-安定であるならば、幅が少なくとも ǫ^{O_k(1)} でランクが ǫ^{-O_k(1)} 未塔であるようなボール集合 B が存在し、任意の g ∈ G に対して、| (A − g) ∩ B | ≤ ǫ|B| または | B \backslash (A − g) | ≤ ǫ|B| のいずれかが成り立つ。
• 正則化するボール集合のランクは ǫ^{-O_k(1)} 未塔、幅は少なくとも ǫ^{O_k(1)} であり、G におけるボール集合の指数は exp(ǫ^{-O_k(1)}) で有界である。
• 構造的帰結として、任意の k-安定集合 A ⊆ G は、指数が exp(ǫ^{-O_k(1)}) 未塔である部分群 H ≤ G の陪集合の和集合と、密度 ǫ の対称差をとる。
• 本稿では、素数位数の巡回群には本質的に非自明な安定集合が存在しないことを証明し、算術組合せ論におけるその困難さをモデル理論的根拠で裏付ける。
• 主結果は、部分群正則化バージョンに強化されている：任意の µ ∈ (0,1) に対して、G の部分群 H ≤ G で、指数が exp(µ^{-O_k(1)}) 未塔であるものが存在し、任意の g ∈ G に対して、| (A − g) ∩ H | ≤ µ|H| または | H \backslash (A − g) | ≤ µ|H| のいずれかが成り立つ。
• 証明は、Sisask [17] の精緻化されたほぼ周期性結果を用いて、モデル理論的局在化に依存しない定量的制御を伴う不安定木議論の再実装に依存している。