[論文レビュー] On Erd\H{o}s-Ko-Rado for random hypergraphs II

Arran Hamm, Jeff Kahn|arXiv (Cornell University)|Jun 23, 2014

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

ひとこと要約

本稿は、$n = 2k+1$ およびエッジ確率 $p > 1 - \varepsilon$（固定された $\varepsilon > 0$）であるランダムな $k$-一様超グラフ $\mathcal{H}_k(n,p)$ に対して、Erdős-Ko-Rado 性質が高確率に成り立つことを確立している。つまり、最大の交叉族は高確率でスターファミリーである。証明は大偏差評価と Sapozhenko にインspiredされた漸近的数え上げ技法を組み合わせており、高エッジ密度下で非スターチャンクルが最大サイズを達成することはまれであることを示している。

ABSTRACT

Denote by $\\mathcal{H}_k (n,p)$ the random $k$-graph in which each $k$-subset of $\\{1... n\\}$ is present with probability $p$, independent of other choices. More or less answering a question of Balogh, Bohman and Mubayi, we show: there is a fixed $\\varepsilon >0$ such that if $n=2k+1$ and $p> 1-\\varepsilon$, then w.h.p. (that is, with probability tending to 1 as $k\ ightarrow \\infty$), $\\mathcal{H}_k (n,p)$ has the "Erd\\H{o}s-Ko-Rado property." We also mention a similar random version of Sperner's Theorem.

研究の動機と目的

• ランダム $k$-一様超グラフ $\mathcal{H}_k(n,p)$ が高確率で Erdős-Ko-Rado (EKR) 性質を満たすための閾値 $p_0(n,k)$ を特定すること。
• Balrog, Bohman, および Mubayi が提起した問題、すなわち $k \in (n/2 - \sqrt{n}, n/2)$ かつ $p = 0.99$ の場合に EKR 性質が高確率で成り立つかどうかを、特に $n = 2k+1$ に近い高密度領域で解明すること。
• 極値組合せ論的性質をランダム超グラフへと拡張し、$k$ が大きくエッジ密度が高い領域での理解を深めること。
• Sperner の定理の確率的双対を提供し、$p > 1 - \varepsilon$ のとき、べき集合のランダム部分集合における最大の反鎖は高確率で中央層に集中することを示すこと。

提案手法

• Erdős-Ko-Rado 性質が $\mathcal{H}_k(n,p)$ で成り立つことを、大規模でない非スターチャンクルの存在に関する構造的条件に還元し、確率的および極値的組合せ論的議論を用いる。
• 稀な構成が EKR 性質を破る可能性を制御するため、大偏差評価を適用する。
• A.A. Sapozhenko のブール格子における大規模族の構造に関する研究にインspiredされた漸近的数え上げ技法を用いる。
• 特に上層および下層のシャドウを分析することで、高エッジ密度下では非スターファミリーが最大サイズに達することはできないことを示す。
• Sperner の設定に適応するため、べき集合のランダム部分集合の幅を分析し、最大反鎖が高確率で中央層に集中することを示す。
• 変換論法を用いて $n=2k+1$ の場合を、既知の超グラフシャドウに関する結果が直接適用可能なバランスの取れた設定に還元する。

実験結果

リサーチクエスチョン

• RQ1 $n = 2k+1$ のとき、ランダム $k$-一様超グラフ $\mathcal{H}_k(n,p)$ が高確率で Erdős-Ko-Rado 性質を満たすエッジ確率 $p$ はどれか？
• RQ2 エッジ密度が 1 に近い場合、$k$ が $n/2$ に非常に近い場合でも、完全超グラフ内に大規模な非スターファミリーが存在するにもかかわらず、EKR 性質が成り立つ可能性は高いか？
• RQ3 Erdős-Ko-Rado 問題に用いられた手法を、ランダム設定における Sperner の定理に対しても同様の結果が得られるように適応可能か？
• RQ4 べき集合 $2^{[n]}$ のランダム部分集合における最大反鎖が高確率で中央層 $\Gamma_{\lfloor n/2\rfloor}$ および $\Gamma_{\lceil n/2\rceil}$ に含まれるという性質の閾値は何か？
• RQ5 $p > 1 - \varepsilon$ のとき、$\mathcal{H}_k(n,p)$ に大規模な非スターチャンクルが存在しないことは、高確率でスターチャンクルが唯一の最大クラインであることを示唆するか？

主な発見

• 固定された $\varepsilon > 0$ が存在し、$n = 2k+1$ かつ $p > 1 - \varepsilon$ のとき、ランダム $k$-一様超グラフ $\mathcal{H}_k(n,p)$ は高確率で Erdős-Ko-Rado 性質を満たす。
• 証明は、高エッジ密度下では非スターファミリーが最大サイズに達できないことを示しており、それは最大クラインである可能性が低いからである。
• 非スターファミリーがサイズ $\binom{n-1}{k-1}$ を持つ確率を、シャドウおよび次数の議論を用いて評価することで、この主張を裏付ける。
• Sperner の双対に対しては、高確率で $2^{[n]}$ のランダム部分集合における最大反鎖が中央層 $\Gamma_{\lfloor n/2\rfloor}$ および $\Gamma_{\lceil n/2\rceil}$ に含まれることを示した。
• この議論は、$n = 2k+1$ の場合をバランスの取れた設定に還元することで、シャドウ不等式および漸近的数え上げが適用可能になるため、頑健である。
• 結果から、$k$ が $n/2$ に近い場合でも $p > 1 - \varepsilon$ のとき EKR 性質が高確率で成り立つことが示唆されるが、他の $k$-範囲では閾値が低くなる可能性がある。