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

Alex Scott|arXiv (Cornell University)|Jun 2, 2008

Limits and Structures in Graph Theory参考文献 10被引用数 4

ひとこと要約

この論文は、固定された p ∈ (0,1) に対して、密度の高いランダムグラフ G ∈ 𝒢(n,p) の彩色数 χ(G) の集中性を精緻化する。マルティングールの議論と残余頂点に対する貪欲な彩色戦略を用いて、χ(G) が幅 ω(n)√n / log n の区間内に集中することを証明し、以前の Shamir–Spencer の境界 ω(n)√n よりも改善している。この結果は n → ∞ の際に高確率で成り立つ。

ABSTRACT

Let 0

研究の動機と目的

• 固定された p ∈ (0,1) に対して、密度の高いランダムグラフ G ∈ 𝒢(n,p) の彩色数 χ(G) の既知の集中区間を改善すること。
• 局所的なスパarsity が成り立たない密度の高い場合に、Łuczak のスパースグラフにおける集中技術を拡張すること。
• Shamir と Spencer の ω(n)√n の結果よりもタイトな集中境界を確立することにより、ω(n)√n / log n を得ること。
• Noga Alon が当初得た結果を自己完結的に証明することで、文献におけるギャップを埋めること（その結果は既に別個に発見済みであるが）。

提案手法

• ℙ(χ(G) ≤ r) > 1/ω(n) を満たす最小の整数 r として h(n) を定義し、h(n) が χ(G) の高確率下界であることを保証する。
• 頂点露出マルティングールに Azuma–Hoeffding の不等式を適用し、最大の h(n)-彩色可能部分グラフのサイズ s(G) が n − O(√(ω(n)n)) のまわりに集中することを示す。
• 残余頂点に対して貪欲な彩色アルゴリズムを適用し、ランダムグラフに大きな独立集合が存在することに依存する。
• 補グラフにおいて、|W| > n^{1/3} を満たす任意の大きな部分集合 W が、Ω(log n) のクリークを持つこと、あるいは同値的に、Ω(log n) の独立集合を持つことを保証する補題 2 を活用する。
• 残余集合 U に必要な色の数を O(|U| / log n) で抑え、|U| ≤ 2√(ω(n)n) の場合に O(√(ω(n)n) / log n) 色が十分であることを示す。
• 結論として、高確率で χ(G) ≤ h(n) + ω(n)√n / log n が成り立ち、改善された集中区間が証明される。

実験結果

リサーチクエスチョン

• RQ1 固定された p ∈ (0,1) に対して、密度の高いランダムグラフ G ∈ 𝒢(n,p) の彩色数 χ(G) が、ω(n)√n よりも小さい区間内に集中することを示せるか？
• RQ2 Łuczak のスパースグラフにおける 2 点集中技術が、代替的な構造的議論を用いて密度の高いグラフに拡張可能か？
• RQ3 密度領域における χ(G) の最適な集中幅は何か？ また、Shamir–Spencer の境界を超えて改善可能か？
• RQ4 マルティングールに基づく解析と貪欲な彩色の組み合わせにより、密度の高いランダムグラフでよりタイトな集中境界が得られるか？
• RQ5 標準的な確率的道具と独立構造のみを用いて、ω(n)√n から ω(n)√n / log n への改善が達成可能か？

主な発見

• 固定された p ∈ (0,1) に対して、G ∈ 𝒢(n,p) の彩色数 χ(G) は、n → ∞ の際に高確率で幅 ω(n)√n / log n の区間内に集中する。
• 境界 ω(n)√n / log n は、以前の Shamir–Spencer の結果 ω(n)√n よりもタイトであり、より緊密な集中区間を提供する。
• 高確率で、最大の h(n)-彩色可能部分グラフのサイズ s(G) は s(G) ≥ n − 2√(ω(n)n) を満たす。ここで h(n) は ℙ(χ(G) ≤ h(n)) > 1/ω(n) で定義される。
• h(n) 色で彩色できない頂点からなる残余集合 U のサイズは、高確率で 2√(ω(n)n) 以下である。
• U に対して適用する貪欲な彩色アルゴリズムは、高々 O(√(ω(n)n) / log n) 色を必要とし、十分に大きな n に対して ω(n)√n / log n で抑えられる。
• この結果は、χ(G) が h(n) のまわりにきわめてタイトに集中しており、高確率で h(n) ± ω(n)√n / log n の範囲内にあることを確認しており、Alon の以前の未発表の結果とも整合する。