[論文レビュー] An FPTAS for Counting Proper Four-Colorings on Cubic Graphs

Pinyan Lu, Kuan Yang+2 more|arXiv (Cornell University)|Nov 13, 2016

Markov Chains and Monte Carlo Methods参考文献 22被引用数 8

ひとこと要約

本稿は、3正則グラフ（最大次数Δ=3）における適切な4色塗り分けの数え上げについて、最初の完全多項式時間近似スキーム（FPTAS）を提示する。q=Δ+1という最適な境界を達成している。マルコフ連鎖モンテカルロ法の根本的障壁を打ち破るために、新規の相関減衰技術を導入し、厳密な数学的解析とコンピュータ支援による収縮性の検証を可能にした。

ABSTRACT

Graph coloring is arguably the most exhaustively studied problem in the area of approximate counting. It is conjectured that there is a fully polynomial-time (randomized) approximation scheme (FPTAS/FPRAS) for counting the number of proper colorings as long as $q \geq Δ+ 1$, where $q$ is the number of colors and $Δ$ is the maximum degree of the graph. The bound of $q = Δ+ 1$ is the uniqueness threshold for Gibbs measure on $Δ$-regular infinite trees. However, the conjecture remained open even for any fixed $Δ\geq 3$ (The cases of $Δ=1, 2$ are trivial). In this paper, we design an FPTAS for counting the number of proper $4$-colorings on graphs with maximum degree $3$ and thus confirm the conjecture in the case of $Δ=3$. This is the first time to achieve this optimal bound of $q = Δ+ 1$. Previously, the best FPRAS requires $q > \frac{11}{6} Δ$ and the best deterministic FPTAS requires $q > 2.581Δ+ 1$ for general graphs. In the case of $Δ=3$, the best previous result is an FPRAS for counting proper 5-colorings. We note that there is a barrier to go beyond $q = Δ+ 2$ for single-site Glauber dynamics based FPRAS and we overcome this by correlation decay approach. Moreover, we develop a number of new techniques for the correlation decay approach which can find applications in other approximate counting problems.

研究の動機と目的

• Δ=3におけるグラフ彩色の近似計数のギャップを埋め、q=Δ+1という予想される最適境界に到達すること。
• Glauberダイナミクスに基づくFPRASの根本的限界を克服すること。これはq=Δ+1で非推移的であるため、混合に失敗する。
• 有界次数グラフにおける適切なq色塗り分けの決定的FPTASを可能にする、新しい相関減衰技術の開発。
• 特にΔ=3の場合に、従来のMCMCベースの手法よりも単純かつより頑健な解析フレームワークの提供。
• 反強磁性多スピン系への相関減衰の拡張の基盤を築くこと。これには標準的な彩色問題が含まれる。

提案手法

• 木の生命分解におけるマージナル確率をモデル化する再帰関数に基づく、新規の相関減衰フレームワークの導入。
• 逆数の有理関数Φ(x) = 1/(x(1/2−x))（x∈(0,1/2)）を含む、巧みに設計されたポテンシャル関数を用いた再帰的収縮解析。
• 境界条件および対称的構成を含む、複数の対称ケースにおける収縮不等式のコンピュータ支援による検証。
• 異なる色分布からの重み付き寄与を扱うために、変更された相関減衰法を適用。関数f_iおよびy_iをマージナル確率を表すために使用。
• Mathematicaを用いてコンactドメイン上の多変数不等式を検証し、収縮係数が1未満に厳密に抑えられることを保証。
• 対称的構成を扱うための新技術を導入。例えばf3=f4、y3=y4といった対称性仮定により変数を削減し、証明空間を単純化。

実験結果

リサーチクエスチョン

• RQ1 3正則グラフにおける適切な4色塗り分けの数え上げについて、理論的閾値q=Δ+1で決定的FPTASを構築することは可能か？
• RQ2 q=Δ+1において、Glauberダイナミクスの推移性障壁を相関減衰技術によって回避することは可能か？
• RQ3 対称的で高次元のグラフ彩色問題における相関減衰を証明するために、どのような新しい解析的ツールが必要か？
• RQ4 相関減衰証明における複雑な多変数不等式を検証するために、コンピュータ支援の検証は効果的に使えるか？
• RQ5 一般のΔ≥3について、相関減衰法をどのように拡張すれば、一意性閾値q=Δ+1に到達できるか？

主な発見

• 本稿は、3正則グラフ（Δ=3）における適切な4色塗り分けの数え上げについて、q=Δ+1という最適境界で最初のFPTASを確立した。
• アルゴリズムは決定的であり、完全多項式時間で動作し、任意のε>0に対して(1±ε)近似が達成可能である。
• 相関減衰法により、従来FPRAS構築を妨げていたq=Δ+1におけるGlauberダイナミクスの非推移的性質の障壁を効果的に克服した。
• コンピュータ支援証明により、最悪ケースでの収縮係数が0.9638未満に抑えられることを検証した。収束が保証された。
• 従来のMCMCベースの解析に比べ、より単純化されたフレームワークを提供した。特にΔ=3、q=5の場合に、膨大なケースバイケースの推論とコンピュータチェックを回避できた。
• 新技術は一般化可能であり、一意性閾値付近の他の反強磁性多スピン系への応用が期待される。