[論文レビュー] On the stability of the Erd\H{o}s-Ko-Rado theorem

Béla Bollobás, Bhargav Narayanan+1 more|arXiv (Cornell University)|Aug 6, 2014

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

ひとこと要約

本稿は、ランダムKneserグラフにおけるErdös-Ko-Rado定理の安定性について鋭い閾値を確立する。Kneserグラフ$K(n,r)$の辺が確率$1-p$で独立に削除されるとき、$p$が$n$と$r$に依存する臨界閾値を超えると、独立数は$binom{n-1}{r-1}$（星のサイズ）のままである。この結果は、交差族の極値構造が、疎なランダム設定でも維持されることを示しており、特に$r = o(n^{1/3})$のとき、$p_c(n,r) \sim \frac{\log n}{r \cdot n}$で鋭い遷移が生じることを示している。

ABSTRACT

Delete the edges of a Kneser graph independently of each other with some probability: for what probabilities is the independence number of this random graph equal to the independence number of the Kneser graph itself? We prove a sharp threshold result for this question in certain regimes. Since an independent set in the Kneser graph is the same as a uniform intersecting family, this gives us a random analogue of the Erd\\H{o}s-Ko-Rado theorem.

研究の動機と目的

• ランダムグラフ設定、特にKneserグラフのランダム部分グラフにおけるErd\'os-Ko-Rado定理の安定性を調査すること。
• ランダムKneserグラフの独立数が古典的なErd\'os-Ko-Radoの境界$\binom{n-1}{r-1}$のまま保たれるような臨界エッジ削除確率$p$を特定すること。
• 極値構造（星）が疎なランダムグラフでも維持される鋭い閾値現象を確立し、古典的結果をランダム設定に拡張すること。

提案手法

• Kneserグラフ$K(n,r)$の各辺を確率$p$で独立に保持することで、ランダムKneserグラフ$K_p(n,r)$をモデル化する。
• $\mathbf{N} = \binom{n-1}{r-1}$を$K(n,r)$における最大独立集合（星）のサイズとして定義し、これが$K_p(n,r)$においても独立数のまま保たれる条件を検討する。
• 星を完全に含むサイズ$\mathbf{N}+1$の独立族の数$Y$に対する2番目のモーメント法を用いる。$p = (1 - \varepsilon)p_c(n,r)$（固定された$\varepsilon > 0$）のとき、$\mathbb{E}[Y] \to \infty$かつ$\mathrm{Var}[Y] = o(\mathbb{E}[Y]^2)$を示し、$Y > 0$が高確率で成り立つことを示す。
• $\mathbb{E}[Y]$の推定には、二項係数の漸近的評価と指数近似を用い、$\mathbb{E}[Y] \geq \left(\frac{n}{r}\right)^{(\varepsilon + o(1))r}$を導出し、閾値未満ではこの量が無限大に発散することを示す。
• 2番目の階乗モーメント$\mathbb{E}[(Y)_2] = \mathbb{E}[Y(Y-1)]$を、星のペアと集合のペアについての和に分割し、$x \neq y$および$x = y$、$A \neq B$のケースに分け、両方の寄与が$o(\mathbb{E}[Y]^2)$であることを示し、集中性を確認する。
• チェビシェフの不等式を適用して$Y > 0$が高確率で成り立つことを結論づけ、したがって$\alpha(K_p(n,r)) \geq \mathbf{N} + 1$が成り立つ。これにより、$p$が閾値未満のとき独立数が古典的境界を上回ることを示す。

実験結果

リサーチクエスチョン

• RQ1 ランダムKneserグラフ$K_p(n,r)$の独立数が$\binom{n-1}{r-1}$のまま保たれるエッジ削除確率$p$はどの範囲か？
• RQ2 Erd\'os-Ko-Rado定理の安定性に鋭い閾値が存在するか。特に、極値構造（星）がある臨界値$p_c(n,r)$を超えるとだけ維持されるか？
• RQ3 $r = o(n^{1/3})$のとき、臨界閾値$p_c(n,r)$は$n$と$r$の関数としてどのように振る舞うか？
• RQ4 $r = \Theta(n)$や$n = 2r+1$のようなより大きな$r$の値に対しても、鋭い閾値結果を拡張できるか？
• RQ5 臨界閾値のまわりのウィンドウのサイズはどの程度か？$r$が増加するにつれてそのウィンドウは小さくなるか？

主な発見

• ランダムKneserグラフ$K_p(n,r)$の独立数は、$p > p_c(n,r)$のとき$\binom{n-1}{r-1}$のまま保たれ、$p_c(n,r) \sim \frac{\log n}{r \cdot n}$として鋭い閾値が確立される。
• 固定された$\varepsilon > 0$に対して$p = (1 - \varepsilon)p_c(n,r)$のとき、完全な星を含むサイズ$\mathbf{N} + 1$の独立族の期待値は無限大に発散し、高確率でそのような族が存在することを示す。
• 2番目のモーメント法により集中性が確認される：$\mathrm{Var}[Y] = o(\mathbb{E}[Y]^2)$であるため、$Y > 0$が高確率で成り立つ。これにより、$p$が閾値未満のとき独立数が$\mathbf{N}$を上回ることを証明する。
• 臨界閾値$p_c(n,r)$は漸近的に$\frac{\log n}{r \cdot n}$であり、$r = o(n^{1/3})$の条件下で成り立つ。この条件は改善可能かもしれない。
• 大きな$r$のとき、臨界値より$1 + 6/r$の要因分だけ低い$p$に対しても閾値が頑健であることが示され、臨界ウィンドウが小さくなる可能性を示唆している。
• 本稿は、$r = o(n)$のときにも同様の閾値式が成り立つと予想しており、$p = 1/2$や$n = 2r+1$におけるErd\'os-Ko-Rado定理の安定性に関する未解決の問題を提起している。