[論文レビュー] Counting sum-free sets in Abelian groups

Noga Alon, József Balogh+2 more|arXiv (Cornell University)|Jan 31, 2012

Limits and Structures in Graph Theory参考文献 24被引用数 5

ひとこと要約

本稿は、有限アーベル群における和自由集合のグリーンとルツァの定理のスパース版を確立し、$ q \equiv 2 \pmod{3} $ である素数で割り切れる位数 $ n $ の群に対して、$ m \geq C(q)\sqrt{n\log n} $ のサイズをもつ和自由部分集合のほとんどが、最大サイズの和自由部分集合に含まれることを証明する。著者らは、3部グラフとスペクトル法を用いた一般枠組みを構築し、密度の高い安定性結果からスパースな構造的結果を導出し、このような集合の正確な漸近的数え上げと典型的な構造を明らかにする。

ABSTRACT

In this paper we study sum-free sets of order $m$ in finite Abelian groups. We prove a general theorem on 3-uniform hypergraphs, which allows us to deduce structural results in the sparse setting from stability results in the dense setting. As a consequence, we determine the typical structure and asymptotic number of sum-free sets of order $m$ in Abelian groups $G$ whose order is divisible by a prime $q$ with $q \equiv 2 \pmod 3$, for every $m \ge C(q) \sqrt{n \log n}$, thus extending and refining a theorem of Green and Ruzsa. In particular, we prove that almost all sum-free subsets of size $m$ are contained in a maximum-size sum-free subset of $G$. We also give a completely self-contained proof of this statement for Abelian groups of even order, which uses spectral methods and a new bound on the number of independent sets of size $m$ in an $(n,d,λ)$-graph.

研究の動機と目的

• 有限アーベル群における和自由集合のグリーンとルツァの構造的結果のスパース版を確立すること。
• 位数が素数 $ q \equiv 2 \pmod{3} $ で割り切れるアーベル群 $ G $ において、サイズ $ m $ の和自由集合の典型的な構造と漸近的数え上げを特定すること。
• 加法的組合せ論におけるスパースな構造的結果を密度の高い安定性結果から導出する一般的手法を開発すること。
• $ m \geq C(q)\sqrt{n\log n} $ の場合、サイズ $ m $ のほとんどすべての和自由部分集合が最大サイズの和自由部分集合に含まれることを証明すること。

提案手法

• 3部グラフに関する一般定理を構築し、密度の高い安定性結果とスパースな構造的結果を結びつける。
• $ (n,d,\lambda) $-グラフにおけるサイズ $ m $ の独立集合の数を評価するためのスペクトル法を適用する。
• キャラクター理論と固有値の評価を用いて、和自由集合に関連するカイリー・グラフを分析する。
• チェルノフの不等式と和集合の上限を用いて、ランダム部分集合における固有値の集中を制御する。
• 有限アーベル群のキャラクターがカイリー・グラフの隣接行列の固有ベクトルとしての構造を活用する。
• ハイパーグラフの正則性とスペクトル技法を組み合わせ、スパースなグラフにおける大きな独立集合が、全体のグラフにおける大きな独立集合に含まれることを証明する。

実験結果

リサーチクエスチョン

• RQ1 サイズ $ m $ が大きくても線形より小さい有限アーベル群において、和自由部分集合の典型的な構造は何か？
• RQ2 タイプI（すなわち、$ q \equiv 2 \pmod{3} $ を満たす素数因子をもつ）のアーベル群において、サイズ $ m $ の和自由部分集合はいくつ存在するか？
• RQ3 このような群において、サイズ $ m $ の和自由集合のほとんどが最大サイズの和自由部分集合に含まれるか？
• RQ4 密度の高い設定における安定性結果を、スパースな設定における和自由集合の構造的結果を導出するために利用できるか？

主な発見

• 位数 $ n $ が素数 $ q \equiv 2 \pmod{3} $ で割り切れるアーベル群 $ G $ に対して、$ m \geq C(q)\sqrt{n\log n} $ のサイズをもつ和自由部分集合のほとんどは、$ G $ の最大サイズの和自由部分集合に含まれる。
• このような群におけるサイズ $ m $ の和自由集合の漸近的数え上げは、指数的要因を除けば $ \binom{n/2}{m} $ に等しく、主な寄与は最大サイズの和自由部分集合内にある集合に由来する。
• 本稿では、$ (n,d,\lambda) $-グラフにおけるサイズ $ m $ の独立集合の数に対する新しいスペクトル評価を確立し、これが証明の中心的役割を果たす。
• 偶数位数の群に対しては、スペクトル法と新しい独立集合評価を組み合わせた自己完備的な証明が提供される。
• 本フレームワークにより、ハイパーグラフおよびスペクトル技法を用いて、加法的組合せ論における密度の高い設定からスパースな設定への構造的安定性結果の転送が可能になる。