[論文レビュー] Random cliques in random graphs

Oliver Riordan|arXiv (Cornell University)|Feb 6, 2018

Limits and Structures in Graph Theory参考文献 9被引用数 8

ひとこと要約

本稿は、ランダムグラフ $G(n,p)$ において、$r \geq 4$ の $K_r$ を含む部分グラフが、$K_r$-ファクター閾値の近傍で密度の範囲にわたりランダムに分布しており、その分布はほぼ二項型ランダムハイパーグラフに類似していることを確立する。この結果を活用して、$K_r$-ファクターの存在に関する漸近的・鋭い閾値を導出する。この結果は $r=3$ および $F$-ファクター（$F$ が1バランスだが厳密に1バランスではない場合）に拡張される。

ABSTRACT

We show that for each $r\ge 4$, in a density range extending up to, and slightly beyond, the threshold for a $K_r$-factor, the copies of $K_r$ in the random graph $G(n,p)$ are randomly distributed, in the (one-sided) sense that the hypergraph that they form contains a copy of a binomial random hypergraph with almost exactly the right density. Thus, an asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem -- recently announced by Jeff Kahn -- implies a corresponding bound for the threshold for $G(n,p)$ to contain a $K_r$-factor. We also prove a slightly weaker result for $r=3$, and (weaker) generalizations replacing $K_r$ by certain other graphs $F$. As an application of the latter we find, up to a log factor, the threshold for $G(n,p)$ to contain an $F$-factor when $F$ is $1$-balanced but not strictly $1$-balanced.

研究の動機と目的

• ランダムグラフ $G(n,p)$ における $K_r$-クリークの分布を、$K_r$-ファクターの閾値付近で理解すること。
• これらのクリークが一方向の意味でランダムに分布しており、二項型ランダムハイパーグラフに類似していることを確立すること。
• この分布結果を用いて、特に $r \geq 4$ の場合に $G(n,p)$ における $K_r$-ファクターの存在に関する鋭い閾値を導出すること。
• $r=3$ および $F$-ファクター（$F$ が1バランスだが厳密に1バランスではない場合）への分析を拡張すること。
• シャミルのハイパーグラフマッチング問題の核心的側面を、ランダムグラフにおける $K_r$-ファクター閾値と結びつけることで解決すること。

提案手法

• $G(n,p)$ における $K_r$-クリークが形成するハイパーグラフを分析し、関連する範囲でほぼ適切な密度の二項型ランダムハイパーグラフを含むことを示す。
• シャミルのハイパーグラフマッチング問題におけるジェフ・カーンの最近の漸近的・鋭い閾値結果を応用し、$G(n,p)$ における $K_r$-ファクター閾値を導出する。
• 確率論的および極値組合せ論的手法を用いて、クリークの分布とその重複を制御する。
• $r=3$ への拡張は、三角形構造の差異のため、弱い結果にとどまる。
• $F$ が1バランスだが厳密に1バランスでないグラフ $F$ についての $F$-ファクターに、同様のハイパーグラフ集中の議論を一般化する。
• ハイパーグラフの $K_r$-クリークを、二項型ハイパーグラフの摂動としてモデル化するための一方向のランダム性条件を用いる。

実験結果

リサーチクエスチョン

• RQ1 $r \geq 4$ の場合、$G(n,p)$ における $K_r$-クリークは、$K_r$-ファクター閾値の近傍の密度範囲でランダムに分布しているか？
• RQ2 $G(n,p)$ における $K_r$-クリークのハイパーグラフは、ほぼ適切な密度の二項型ランダムハイパーグラフを含むと示せるか？
• RQ3 シャミルの問題におけるハイパーグラフマッチングの鋭い閾値は、$G(n,p)$ における $K_r$-ファクターの対応する鋭い閾値を示唆するか？
• RQ4 $F$ が1バランスだが厳密に1バランスでない場合、$G(n,p)$ が $F$-ファクターを含む閾値は何か？
• RQ5 $K_3$-クリークの分布は、$r \geq 4$ の場合の $K_r$-クリークの分布とどのように異なるか？また、三角形の場合に得られる弱い結果は何か？

主な発見

• $r \geq 4$ の場合、$G(n,p)$ における $K_r$-クリークのハイパーグラフは、$K_r$-ファクター閾値にまでおよびややそれを超える範囲で、ほぼ適切な密度の二項型ランダムハイパーグラフを含む。
• シャミルの問題におけるハイパーグラフマッチングの漸近的・鋭い閾値は、$r \geq 4$ の場合に $G(n,p)$ における $K_r$-ファクターの存在に関する対応する鋭い閾値を示唆する。
• $r=3$ の場合、ランダム分布結果の弱い版が成り立ち、三角形ファクターの部分的な閾値推定が可能になる。
• $F$ が1バランスだが厳密に1バランスでない場合の $F$-ファクターについて、閾値は対数要因の範囲で決定される。
• この手法はクリークを超えて他のグラフ $F$ へも一般化可能であり、ランダムグラフにおける $F$-ファクター閾値の推定フレームワークを提供する。
• ハイパーグラフの $K_r$-クリークにおける一方向のランダム性条件により、ハイパーグラフマッチング閾値とランダムグラフファクターの間の強固な関係が確立される。