[論文レビュー] Improved bounds for randomly sampling colorings via linear programming

Sitan Chen, Michelle Delcourt+3 more|arXiv (Cornell University)|Jan 6, 2019

Markov Chains and Monte Carlo Methods被引用数 25

ひとこと要約

この論文は、線形計画法と双対性を用いてカップリング手法における構造的障害を同定・克服することで、グラフ彩色におけるGlauber動的の速やかな混合に関する既知の境界を改善した。一般のグラフにおいて k ≥ Δ + 2 − o(Δ) で速やかな混合を証明し、1999年Vigodaの結果を超える初めての改善であり、k > 2Δ でのリスト彩色へも拡張された。

ABSTRACT

A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of k-colorings of a graph G on n vertices with maximum degree Δ is rapidly mixing for k ≥ Δ + 2. In FOCS 1999, Vigoda [43] showed that the flip dynamics (and therefore also Glauber dynamics) is rapidly mixing for any [MATH HERE]. It turns out that there is a natural barrier at [MATH HERE], below which there is no one-step coupling that is contractive with respect to the Hamming metric, even for the flip dynamics. We use linear programming and duality arguments to fully characterize the obstructions to going beyond [MATH HERE]. These extremal configurations turn out to be quite brittle, and in this paper we use this to give two proofs that the Glauber dynamics is rapidly mixing for any [MATH HERE] for some absolute constant ϵe0 > 0. This is the first improvement to Vigoda's result that holds for general graphs. Our first approach analyzes a variable-length coupling in which these configurations break apart with high probability before the coupling terminates, and our other approach analyzes a one-step path coupling with a new metric that counts the extremal configurations. Additionally, our results extend to list coloring, a widely studied generalization of coloring, where the previously best known results required k > 2Δ.

研究の動機と目的

• k = Δ + 1 におけるGlauber動的の1ステップカップリング手法における既知の障害を、線形計画法を用いて同定することにより、1ステップカップリング手法の収縮性を妨げる構造的障害を克服すること。
• 一般のグラフにおいて k ≥ Δ + 2 − o(Δ) でGlauber動的の速やかな混合を確立することにより、Vigodaの1999年の境界 k > 11Δ/6 を改善すること。
• 従来の結果が k > 2Δ 必要であったリスト彩色へ、改善された混合境界を拡張すること。
• カップリングを妨げる極値的配置の壊れやすさを分析し、新たなカップリング戦略を可能にすること。
• 極値的配置の幾何構造を反映する新しいメトリクスおよび可変長カップリング技術を開発すること。

提案手法

• ハミング距離における収縮性を妨げる構成を特定するため、1ステップカップリングの障害を線形計画問題として定式化し、その構成を特徴付けること。
• 双対性の議論を用いて、k < Δ + 2 における速やかな混合の主な障害である極値的構成を同定すること。
• 極値的構成がカップリングの終了前に確率的に解体されるような可変長カップリングを設計し、収縮を保証すること。
• 極値的構成の出現回数を数える新しいメトリクスを導入し、改善された収縮性を有する1ステップパスカップリングを可能にすること。
• 極値的構成の壊れやすさを活用し、Glauber動的下でそれらが長期間持続しないことを示し、速やかな混合を支援すること。
• 一般化された彩色設定に適応したLPおよびカップリング構成を用いて、フレームワークをリスト彩色へ拡張すること。

実験結果

リサーチクエスチョン

• RQ1 k ≤ Δ + 1 における1ステップカップリングがハミング距離において収縮性を持たない主な構造的障害は何か？
• RQ2 線形計画法により同定された極値的構成は、Glauber動的下で一時的であることが示せるか？ これにより、改善された混合境界が得られるか？
• RQ3 これらの極値的構成が存在する中で、確率的に高い割合で収縮するような可変長カップリングを設計できるか？
• RQ4 極値的構成の幾何構造を捉える新しいメトリクスを構築できるか？ これにより、既知の k = Δ + 2 の閾値を超える1ステップパスカップリングが可能になるか？
• RQ5 これらの技術はどの程度リスト彩色へ拡張可能か？ かつ、k > 2Δ から k ≥ Δ + 2 − o(Δ) への境界改善が可能か？

主な発見

• 論文は、ハミング距離において収縮性を持たない極値的構成が原因で、k = Δ + 1 における1ステップカップリングに根本的な障害が存在することを同定した。
• 線形計画法と双対性を用いて、これらの極値的構成を完全に特徴付け、それらが壊れやすく、Glauber動的下で高い確率で解体されることを示した。
• 極値的構成の一時的性質を活用した可変長カップリングを構築し、k ≥ Δ + 2 − o(Δ) で収縮を達成した。これにより、速やかな混合が証明された。
• 極値的構成の出現回数を数える新しいメトリクスを用いた1ステップパスカップリングにより、収縮性が達成され、同じ範囲での速やかな混合の第二の証明が得られた。
• 結果はリスト彩色へも拡張され、従来の境界 k > 2Δ から k ≥ Δ + 2 − o(Δ) への改善が達成された。これは、この設定で初めての改善であった。
• 本研究により、すべてのグラフにおいて k ≥ Δ + 2 − o(Δ) でGlauber動的の速やかな混合が成立することを確立し、k = Δ + 2 の推定閾値近傍における長年の未解決問題を解決した。