[論文レビュー] Randomly coloring planar graphs with fewer colors than the maximum degree

Thomas P. Hayes, Juan C. Vera+1 more|arXiv (Cornell University)|Jun 11, 2007

Markov Chains and Monte Carlo Methods参考文献 25被引用数 16

ひとこと要約

本稿は、平面グラフにおけるGlauberダイナミクスの多項式時間混合を、色の数 $ k $ が $ \Omega(\Delta / \log \Delta) $ のとき確立している。これは従来必要とされてきた $ \Delta + 2 $ の閾値よりも顕著に低い。局所的な一様性と隣接行列のスペクトル半径を用いたスペクトル的性質を活用することで、凍結頂点の課題を克服し、$ k \ll \Delta $ であっても急速な混合を証明した。これは平面グラフに限らず、スペクトル半径が小さいグラフに対しても拡張可能である。

ABSTRACT

We study Markov chains for randomly sampling $k$-colorings of a graph with maximum degree $Δ$. Our main result is a polynomial upper bound on the mixing time of the single-site update chain known as the Glauber dynamics for planar graphs when $k=Ω(Δ/\logΔ)$. Our results can be partially extended to the more general case where the maximum eigenvalue of the adjacency matrix of the graph is at most $Δ^{1-\eps}$, for fixed $\eps > 0$. The main challenge when $k \le Δ+ 1$ is the possibility of "frozen" vertices, that is, vertices for which only one color is possible, conditioned on the colors of its neighbors. Indeed, when $Δ= O(1)$, even a typical coloring can have a constant fraction of the vertices frozen. Our proofs rely on recent advances in techniques for bounding mixing time using "local uniformity" properties.

研究の動機と目的

• 平面グラフにおけるGlauberダイナミクスが $ k < \Delta + 2 $ のとき急速に混合するかどうかという未解決問題を解消すること。
• 特に $ k \leq \Delta + 1 $ の場合に生じる、周囲の頂点によって唯一の利用可能な色しか持たない「凍結頂点」の障害を克服すること。
• スペクトル的および局所的均一性の性質を用いて、$ \Delta + 2 $ の閾値を超えて急速な混合結果を拡張すること。
• 平面グラフにおける急速な混合の閾値が $ k = \Theta(\Delta / \log \Delta) $ であることを確立すること。

提案手法

• Glauberダイナミクス、すなわちランダムに選ばれた頂点を、その隣接頂点が使用していない色のうち一様に選ばれた色に再色付けする単一頂点更新のマコフ連鎖を用いる。
• 参考文献[6]の比較技術を適用し、Glauberダイナミクスを構造的更新シーケンスを持つレベル集合ダイナミクスの連鎖と関連づけることで、混合時間を評価する。
• 局所的均一性の性質を用い、ランダムな色分けにおいて、頂点の近傍における色がほぼ独立に振る舞うことを示す。
• 隣接行列のスペクトル半径 $ \rho $ を重要なパラメータとして用い、$ \rho \leq \Delta^{1-\epsilon} $ かつ固定された $ \epsilon > 0 $ のもとで急速な混合を証明する。
• Glauberダイナミクスとレベル集合ダイナミクスの間の遷移確率比を抑え込むために、フローに基づく混雑度解析を導入する。
• 混合時間の多項式的バウンドを導くために、導出に[31]および[6]の結果を活用した、導通とスペクトルギャップの議論を適用する。

実験結果

リサーチクエスチョン

• RQ1 平面グラフにおいて $ k < \Delta + 2 $ のとき、Glauberダイナミクスは多項式時間で混合するか？
• RQ2 平面グラフにおけるGlauberダイナミクスが依然として急速に混合するための最小の色数 $ k $ は何か？
• RQ3 低色数領域における凍結頂点の問題を克服するために、局所的均一性とスペクトル的性質をどのように用いることができるか？
• RQ4 一般のグラフを超えて、平面グラフや低スペクトル半径のグラフにおいても、$ \Delta + 2 $ の閾値が急速な混合に成立するか？
• RQ5 $ k = \Omega(\Delta / \log \Delta) $ のとき、$ k \ll \Delta $ であっても、混合時間は多項式的にバウンド可能か？

主な発見

• すべての平面グラフにおいて、$ k = \Omega(\Delta / \log \Delta) $ のときGlauberダイナミクスは多項式時間で混合し、$ \Delta + 2 $ の閾値を下回る急速な混合を証明した。
• 混合時間は $ k = \Omega(\Delta / \log \Delta) $ のとき $ O(n \log n) $ でバウンドされ、$ k \geq \Delta + 2 $ の場合に予想される最適レートと一致する。
• 著者らは、$ k = \Theta(\Delta / \log \Delta) $ が平面グラフにおける急速な混合のタイトな閾値であることを確立した。$ k = o(\Delta / \log n) $ のとき、混合時間は超多項式的になる。
• スペクトル半径 $ \rho \leq \Delta^{1-\epsilon} $ であるグラフにおいても、$ k = \Omega(\Delta / \log \Delta) $ のときGlauberダイナミクスは多項式時間で混合し、平面グラフを越えて拡張可能である。
• 解析により、与えられた条件下で局所的均一性——近傍の色が概ね独立に振る舞う——が成立することが示され、カップリング議論が可能になった。
• 比較技術で用いられたフローの混雑度は $ O(n^2 \log^2 \Delta) $ でバウンドされ、スペクトルギャップのバウンドを通じて多項式的混合時間が導かれた。