[論文レビュー] On the chromatic number of random regular graphs

Amin Coja‐Oghlan, Charilaos Efthymiou+1 more|arXiv (Cornell University)|Aug 20, 2013

Limits and Structures in Graph Theory参考文献 26被引用数 6

ひとこと要約

本稿は、ランダムな $d$-正則グラフ $G(n,d)$ の彩色数に鋭い閾値を確立し、$k$ が十分に大きい場合、$d < d_{k-\text{col}}$ のとき $G(n,d)$ が高確率で $k$-彩色可能であり、$d > d_{k-\text{col}}$ のとき非 $k$-彩色可能であるような臨界次数 $d_{k-\text{col}}$ が存在することを証明している。この結果は、第二モーメント法と双随机行列のボルコフ多面体上の最適化を用いて、確率的組合せ論における長年の未解決問題を解決する。

ABSTRACT

Let G(n,d) be the random d-regular graph on n vertices. For any integer k exceeding a certain constant k_0 we identify a number d_{k-col} such that G(n,d) is k-colorable w.h.p. if dd_{k-col}.

研究の動機と目的

• 確率的組合せ論における中心的未解決問題である、ランダム $d$-正則グラフ $G(n,d)$ の彩色数問題を解決すること。
• 高確率で $k$-彩色可能性と非 $k$-彩色可能性を分離する正確な閾値次数 $d_{k-\text{col}}$ を特定すること。
• 従来の結果が $d$ の小さな部分集合に対してのみ彩色数を正確に特定していたのを補完し、ほとんどすべての $d$ に対して完全な特徴付けを提供すること。

提案手法

• バランスの取れた $k$-彩色の個数に対する第二モーメント法を用い、$k$-彩色可能性の非消滅確率を確立する。
• 第二モーメント問題を、双随机行列のボルコフ多面体上の非凸最適化問題に再定式化する。
• エントロピー最大化と確率的評価を用いて、彩色の個数の分散を制御する。
• まれな悪条件の確率を抑えるために、辺の構成と集合の分解の精密な解析を実施する。
• スパースな構成に対する和集合の不等式と集中不等式を用いて、尾確率を制御する。
• 閾値区間を鋭くするために、$\varepsilon_k \to 0$ となる列 $\varepsilon_k$ を導入し、$k$ が大きい場合の $d_{k-\text{col}}$ の正確な決定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どの次数 $d$ に対して、ランダム $d$-正則グラフ $G(n,d)$ が高確率で $k$-彩色可能か？
• RQ2 次数 $d$ の増加に伴い、$G(n,d)$ が $k$-彩色可能から非 $k$-彩色可能に遷移する鋭い閾値 $d_{k-\text{col}}$ が存在するか？
• RQ3 従来の知られていた範囲にとどまらず、$G(n,d)$ の彩色数を、$k$ が大きい場合にほとんどすべての $d$ に対して正確に特定できるか？

主な発見

• 任意の $k \geq k_0$ に対して、$G(n,d)$ が高確率で $k$-彩色可能であるか非 $k$-彩色可能であるかを分ける閾値 $d_{k-\text{col}}$ が存在する。これは長年の予想を解決する。
• 閾値は $d_{k-\text{col}} = (2k-1)\ln k - 1 + \varepsilon_k$ に位置し、$k \to \infty$ のとき $\varepsilon_k \to 0$ となる消える誤差項を含む。区間長は約 $0.386 + 2\varepsilon_k$ である。
• $k$ が十分に大きいとき、$d$ が有限個を除きすべてで彩色数 $\chi(G(n,d))$ が正確に特定可能であり、従来の結果がカバーしていた $\Theta(\ln k)$ サイズの $d$ の範囲を大幅に拡張する。
• この手法により、$k$ が大きいとき $d_{(k+1)-\text{col}} - d_{k-\text{col}} > 2\ln k$ が成り立つことが示され、連続する閾値の間隔が非線形的であることが判明する。
• バランスの取れた $k$-彩色の個数に対する第二モーメント法が成功裏に適用され、ボルコフ多面体上の最適化により分散が制御された。
• 本稿は、$d_0$ 以上のすべての $d$ に対して、$d$ が任意の $d_{k-\text{col}}$ に等しくない場合、高確率で $\chi(G(n,d)) = \mathcal{F}(d)$ が成り立つことを証明する。ここで $\mathcal{F}$ は、$d < d_{k-\text{col}}$ を満たす最大の $k$ を表す。