[論文レビュー] Graph structure via local occupancy

Ewan Davies, Ross J. Kang+2 more|arXiv (Cornell University)|Mar 31, 2020

Limits and Structures in Graph Theory参考文献 47被引用数 11

ひとこと要約

本稿は、硬核モデルにおける局所的占有に基づく統一的枠組みを導入し、三角形を含まないグラフを超えて、局所的辺密度、ホール比、クリーク数が有界なクラスにまで拡張される、スパースグラフの強い構造的結果を導出する。確率的技法とローヴァスの局所補題を用いて、独立数、彩色数、リスト・対応彩色に関する改善された境界を確立し、シェアラー、アロンらの先行研究を一般化・強化する。

ABSTRACT

The first author together with Jenssen, Perkins and Roberts (2017) recently showed how local properties of the hard-core model on triangle-free graphs guarantee the existence of large independent sets, of size matching the best-known asymptotics due to Shearer (1983). The present work strengthens this in two ways: first, by guaranteeing stronger graph structure in terms of colourings through applications of the Lov\\'asz local lemma; and second, by extending beyond triangle-free graphs in terms of local sparsity, treating for example graphs of bounded local edge density, of bounded local Hall ratio, and of bounded clique number. This generalises and improves upon much other earlier work, including that of Shearer (1995), Alon (1996) and Alon, Krivelevich and Sudakov (1999), and more recent results of Molloy (2019), Bernshteyn (2019) and Achlioptas, Iliopoulos and Sinclair (2019). Our results derive from a common framework built around the hard-core model. It pivots on a property we call local occupancy, giving a clean separation between the methods for deriving graph structure with probabilistic information and verifying the requisite probabilistic information itself.

研究の動機と目的

• 三角形を含まないグラフに対するシェアラーの独立数の境界を、局所的スパarsity条件を満たすより広いグラフクラスへ一般化すること。
• 共通の確率的枠組みを用いて、彩色数、分数彩色数、リスト彩色に関する既存の結果を統一的かつ強化すること。
• 硬核モデルおよび局所的占有の適用範囲を、局所的最大平均次数、局所的ホール比、クリーク数が有界なグラフへ拡張すること。
• 構造的性質を導出することと、ローヴァスの局所補題による確率的条件の検証とを明確に分離すること。
• アルゴリズム的含意および連続的幾何的類似物（特に、スパースグラフにおけるサンプリングと彩色）の観点から、この枠組みを検討すること。

提案手法

• 硬核モデルにおける「局所的占有」の概念に中心を置いた枠組みを構築し、独立集合と彩色を分析する。
• ローヴァスの局所補題を用いて、独立集合の局所的確率的性質からグローバルなグラフ構造を導出する。
• ラマヌジャン・ワイ関数とエントロピー解析を用いて、さまざまな局所的スパarsity制約下での占有割合を評価する。
• 局所的最大平均次数が有界なグラフに対する一般定理を導入し、三角形を含まないグラフを超えた結果を拡張する。
• 局所的ホール比が有界なグラフおよびクリーク数が有界なグラフにこの枠組みを適用し、新たな分数彩色および局所的彩色境界を証明する。
• 硬核モデルの占有割合と彩色数との間の関係を、対応彩色およびリスト彩色モデルを通じて確立する。

実験結果

リサーチクエスチョン

• RQ1 硬核モデルの局所的占有性質を活用することで、三角形を含まないグラフを超えるグラフに対し、より強い彩色数の境界を導けるか？
• RQ2 この枠組みは、局所的辺密度、局所的ホール比、またはクリーク数が有界なグラフをどの程度まで扱えるか？
• RQ3 スパースグラフの局所的リストまたは対応彩色に必要な最小のリストサイズは何か？ また、既知の境界と比べてどうか？
• RQ4 この枠組みは、ハードスフィアモデルのような連続的幾何モデルへ適応可能か？
• RQ5 硬核分布からのサンプリングや、導出された条件下でのスパースグラフの彩色に、効率的な確率的アルゴリズムが存在するか？

主な発見

• この枠組みにより、局所的最大平均次数が有界なグラフに対して、独立数が α(G) ≥ (1−o(1))|V(G)| log Δ / Δ を満たすことが証明され、これはシェアラーの境界と漸近的に一致する。
• 三角形を含まないグラフに対して、彩色数は χ(G) ≤ (1+o(1))Δ / log Δ で抑えられ、モロイの結果を確認・拡張する。
• 同じ条件下で、分数彩色数は χ_f(G) ≤ (1+o(1))Δ / log Δ で抑えられ、リストサイズに関する追加仮定は不要である。
• 局所的ホール比が有界なグラフに対して、この枠組みは占有割合および分数彩色に関する改善された境界を導き、アロンらの結果を一般化する。
• この手法により、局所的リスト彩色および対応彩色の統一的アプローチが可能となり、スパースグラフにおける彩色可能性を保証するためのリストサイズ Δ / log Δ が十分であることが示される。
• 併行するアルゴリズム的研究により、短いサイクルが少ないグラフに対して、リストサイズがやや大きい条件下で、ランダム化された多項式時間アルゴリズムがリスト彩色に存在することが示された。