[論文レビュー] Random sum-free subsets of Abelian groups

József Balogh, Robert Morris+1 more|arXiv (Cornell University)|Mar 10, 2011

Limits and Structures in Graph Theory参考文献 20被引用数 4

ひとこと要約

本稿は、アーベル群のランダム部分集合における最大サイズの和自由集合の構造を特徴づけ、$ G $ が素数 $ q \equiv 2 \pmod{3} $ で割り切れる場合、密度が十分に高いランダム部分集合では、このような集合が通常、$ G $ の最大和自由集合に含まれることを示している。$ \mathbb{Z}_{2n} $ に関しては、加法的組合せ論における転送定理と安定性結果を用いて、この性質の鋭い閾値を確立している。

ABSTRACT

We characterize the structure of maximum-size sum-free subsets of a random subset of an Abelian group $G$. In particular, we determine the threshold $p_c \approx \sqrt{\log n / n}$ above which, with high probability as $|G| o \infty$, each such subset is contained in a maximum-size sum-free subset of $G$, whenever $q$ divides $|G|$ for some (fixed) prime $q$ with $q \equiv 2 \pmod 3$. Moreover, in the special case $G = \ZZ_{2n}$, we determine a sharp threshold for the above property. The proof uses recent 'transference' theorems of Conlon and Gowers, together with stability theorems for sum-free subsets of Abelian groups.

研究の動機と目的

• ランダムアーベル群 $ G $ の部分集合において、最大サイズの和自由集合が、高確率で $ G $ のある最大サイズの和自由集合に含まれるようになる閾値密度を特定すること。
• 特に $ |G| $ が素数 $ q \equiv 2 \pmod{3} $ で割り切れる場合に、この構造的包含性のための閾値関数の存在と正確な値を確立すること。
• $ \mathbb{Z}_{2n} $ に対して、この性質の鋭い閾値結果を証明すること。ここでは、非包含から包含への遷移が正確に臨界密度で発生する。
• 和自由集合に関する転送原理と安定性定理を組み合わせることで、極値加法的組合せ論問題のランダム版の理解を拡張すること。
• 最近のランダム組合せ論の進展を基盤として、$ \mathbb{Z}_n $ のランダム部分集合における最大和自由集合の構造に関する長年の未解決問題を解決すること。

提案手法

• コンロンとガウアーズの最近の転送定理を用いて、アーベル群における稠密な集合からランダムなスパース集合へ結果を拡張する。
• グリーンとルツァのアーベル群における和自由集合の安定性定理を適用し、極値的和自由集合の構造を分析する。
• ジャンソンの不等式を用いて、候補となる和自由集合に関連するランダムグラフがエッジを持たない確率を抑え、例外的配置の期待値を制御する。
• 潜在的な和自由配置を表す三つ組 $ (S, T, U) $ における洗練された数え上げ議論を導入し、指数的モーメント推定を用いてその期待値を抑え込む。
• モーメントの有界性と尾確率の推定を用いた確率的技法を用い、$ \mu' $ と $ \Delta' $ の相対的サイズに基づく場合分けにより、非構造的和自由集合の数の期待値を制御する。
• 二項係数の漸近的推定と対数的有界性を用いて、配置の数の成長を制御し、悪い配置の総期待値が 0 に収束することを保証する。

実験結果

リサーチクエスチョン

• RQ1 アーベル群 $ G $ に対して、$ q \mid |G| $ かつ $ q \equiv 2 \pmod{3} $ のとき、どの密度 $ p $ に対して、高確率で $ G $ の $ p $-ランダム部分集合の最大サイズの和自由集合が、$ G $ のある最大サイズの和自由集合に含まれるか？
• RQ2 $ \mathbb{Z}_{2n} $ のランダム和自由部分集合における構造的包含性のための正確な閾値関数 $ p_c(n) $ は何か？ そしてそれは鋭いか？
• RQ3 稠密な設定からランダムな設定への転送定理は、アーベル群における和自由集合の問題にどのように適用可能か？ また、どのような構造的制約が生じるか？
• RQ4 $ n \to \infty $ のとき、任意の最大和自由集合に含まれない「悪い」和自由配置の期待数が 0 に収束することは示せるか？ どのような条件下で成立するか？
• RQ5 和自由集合の安定性定理は、ランダム和自由集合がその周囲となる群の極値的和自由集合の構造をどのように継承するかを証明する上で果たす役割は何か？

主な発見

• アーベル群 $ G $ で $ |G| $ が素数 $ q \equiv 2 \pmod{3} $ で割り切れる場合、ある閾値 $ p_c $ が存在し、$ p \gg p_c $ のとき、高確率で $ G $ の $ p $-ランダム部分集合の最大サイズの和自由集合は、$ G $ のある最大サイズの和自由集合に含まれる。
• $ G = \mathbb{Z}_{2n} $ の特別な場合、上記の構造的包含性の閾値は鋭い。つまり、非包含から包含への遷移が正確に臨界密度で発生する。
• $ \mathbb{Z}_{2n} $ の閾値関数は鋭く、任意の固定された $ \varepsilon > 0 $ に対して、$ p > (1+\varepsilon)p_c $ では性質が成り立ち、$ p < (1-\varepsilon)p_c $ では成り立たない。
• 最大和自由集合に含まれないサイズ $ k $ の和自由集合の期待数は、$ n^{-\varepsilon k} $ 以下で減少し、これにより、このような配置は漸近的に消える。
• 証明はジャンソンの不等式とモーメント推定を用いて、悪い配置の期待値を抑え込み、$ n \to \infty $ のときその総期待値が 0 に収束することを示している。
• 著者らは、$ p \gg n^{-1/2} $ のとき、$ \mathbb{Z}_{2n} $ のランダム部分集合における最大和自由集合の構造は、元の群と漸近的に同一であることを確立した。これは、予想された構造的安定性を確認するものである。