[論文レビュー] Erd\H{o}s-Ko-Rado for random hypergraphs: asymptotics and stability

Marcelo Matheus Gauy, Hiệp Hàn+1 more|arXiv (Cornell University)|Sep 12, 2014

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

ひとこと要約

本稿は、ランダムk一様超グラフ 𝒫(n,p) における最大の交叉族の漸近的サイズを確立し、n, k, および二項係数 D = (n−k choose k) を含む閾値を超えるpに対して、サイズが (1±o(1))pk/n·(n choose k) であることを示している。kとpのすべての範囲にわたるきわめて鋭い境界を提供し、k = Θ(n) の場合の安定性結果を含み、ランダムな極値組合せ論における長年の未解決問題を解決している。

ABSTRACT

We investigate the asymptotic version of the Erd\\H{o}s-Ko-Rado theorem for the random $k$-uniform hypergraph $\\mathcal{H}^k(n,p)$. For $2 \\leq k(n) \\leq n/2$, let $N=\\binom{n}k$ and $D=\\binom{n-k}k$. We show that with probability tending to 1 as $n\ o\\infty$, the largest intersecting subhypergraph of $\\mathcal{H}^k(n,p)$ has size $(1+o(1))p\\frac kn N$, for any $p\\gg \\frac nk\\ln^2\\!\\left(\\frac nk\ ight)D^{-1}$. This lower bound on $p$ is asymptotically best possible for $k=\\Theta(n)$. For this range of $k$ and $p$, we are able to show stability as well. A different behavior occurs when $k = o(n)$. In this case, the lower bound on $p$ is almost optimal. Further, for the small interval $D^{-1}\\ll p \\leq (n/k)^{1-\\varepsilon}D^{-1}$, the largest intersecting subhypergraph of $\\mathcal{H}^k(n,p)$ has size $\\Theta(\\ln (pD)N D^{-1})$, provided that $k \\gg \\sqrt{n \\ln n}$. Together with previous work of Balogh, Bohman and Mubayi, these results settle the asymptotic size of the largest intersecting family in $\\mathcal{H}^k(n,p)$, for essentially all values of $p$ and $k$.

研究の動機と目的

• すべてのkとpの範囲において、ランダムk一様超グラフ 𝒫(n,p) における最大交叉部分超グラフの漸近的サイズを特定すること。
• pの閾値行動を特徴づけることで、Erdős-Ko-Rado定理をランダムな設定に拡張し、最大交叉族の構造が変化する臨界領域を同定すること。
• k = Θ(n) の場合の安定性結果を確立し、pが十分に大きいとき、最大交叉族が単一の頂点を固定する主族（principal family）に近い構造を持つこと示すこと。
• kがnに対して部分線形で、pがD⁻¹の近傍の臨界領域にある場合に、ランダム超グラフにおける最大交叉族のサイズに関する未解決問題を解明すること、特にD = (n−k choose k) と定義される場合。

提案手法

• p ≪ D⁻¹ の場合に i(𝒫(n,p)) の下界を確立するための削除法を用い、ほとんどすべての辺が交叉族を形成することを示している。
• Chernoff不等式と確率的集中不等式を適用し、特に主族から導かれる族のサイズを制御している。
• 交叉族のロバスト性に基づく安定性枠組みを用い、Erdős-Ko-Radoの安定性定理の変種を用いて、大きな交叉族は主族に近いはずであることを示している。
• Corollary 4.3を用いた二重数え上げと確率的技法により、大きな交叉族の数を抑え、族の大多数を含む大きな集合P(L)の存在を用いている。
• 二項分布の尾部挙動と対数項の解析を通じて、ランダム超グラフが大きな交叉部分族を含む確率の境界を導出している。
• 漸近的解析と慎重なパrameter調整（例：δ, ε, λ）を組み合わせ、大きな交叉族のサイズが期待される主族サイズから逸脱する確率が指数的に減少することを示している。

実験結果

リサーチクエスチョン

• RQ1 k = Θ(n) でpが特定の閾値を超えるとき、ランダムk一様超グラフ 𝒫(n,p) における最大交叉部分超グラフの漸近的サイズは何か？
• RQ2 D = (n−k choose k) と定義されるD⁻¹の近傍にある臨界範囲のpにおいて、最大交叉族のサイズはどのように振る舞うか？
• RQ3 k = o(n) の場合、pがD⁻¹ ≪ p ≤ (n/k)¹⁻ε D⁻¹ の区間にあるとき、i(𝒫(n,p)) の正確な漸近的挙動は何か？
• RQ4 p(n,p) における最大交叉族が構造的に主族（固定された1つの頂点を含むすべての辺からなる族）に近いのはどのような条件下か？
• RQ5 kとpのすべての範囲にわたって、i(𝒫(n,p)) の漸近的サイズを一様に特徴づけることは可能か？特に、異なる領域間の遷移領域についても含める。

主な発見

• D = (n−k choose k) と定義される場合、p ≥ C(n/k)ln²(n/k)D⁻¹ ならば、最大交叉部分超グラフのサイズは i(𝒫(n,p)) = (1±o(1))pk/n·(n choose k) を満たし、主族の期待サイズと一致する。
• D⁻¹ ≪ p ≤ (n/k)¹⁻ε D⁻¹ かつ k ≫ √(n ln n) の場合、最大交叉部分超グラフのサイズは Θ(ln(pD)·N/D) に比例する。ここで N = (n choose k) である。
• p ≪ D⁻¹ の場合、ランダム超グラフ 𝒫(n,p) はほとんど確実に交叉的であるため、i(𝒫(n,p)) = (1±o(1))pN が成り立つ。
• k = Θ(n) の場合、D⁻¹ が段階的転移を示す：D⁻¹ より小さいと超グラフは通常交叉的であるが、それより大きいと最大交叉部分族は1つの頂点に集中する。
• k = Θ(n) の場合、本稿では安定性を確立しており、pが閾値を超えると、𝒫(n,p) 内の任意の大きな交叉族は構造的に主族に近い。
• すべてのkとpの範囲にわたって境界が漸近的に鋭く、i(𝒫(n,p)) の特徴づけは、基本的にすべてのパrameter領域において、低次の項を除いて完全に完成している。