[論文レビュー] On $r$-colorability of random hypergraphs

Андрей Борисович Купавский, D. A. Shabanov|arXiv (Cornell University)|Oct 6, 2011

Constraint Satisfaction and Optimization参考文献 15被引用数 3

ひとこと要約

この論文は、ランダムk一様超グラフH(n,k,p)におけるr-彩色可能性の新しい閾値を確立し、r^{k-1}がnおよびkに対して十分に速く増加する場合、特定のエッジ確率pにおいて、超グラフが漸近的にほとんど確実にr-彩色可能であることを証明している。この結果は、洗練されたランダム再彩色法と、φ(k) = Θ(√(ln ln k / ln k))として適切に選択された関数φ(k)を用いることで、先行研究の境界を改善している。

ABSTRACT

The work deals with the threshold probablity for r-colorability in the binomial model H(n,k,p) of a random k-uniform hypergraph. We prove a lower bound for this threshold which improves the previously known results in the wide range of the parameters r=r(n) and k=k(n).

研究の動機と目的

• 二項乱雑超グラフモデルH(n,k,p)におけるr-彩色可能性の閾値確率p*を特定すること。
• rおよびkがnとともに増加する際のr-彩色可能性に関する既知の上界と下界の差を埋めること。
• スパースなランダム超グラフにおける2-彩色可能性の先行結果を一般のr-彩色可能性へ拡張すること。
• kに関する対数的依存性を捉える関数φ(k)を導入することで、r-彩色可能性の漸近的閾値を改善すること。

提案手法

• スパースなランダム超グラフにおける適切なr-彩色の存在を分析するために、ランダム再彩色法を用いる。
• 単色エッジの確率を制御するように設計されたランダム彩色の構築に基づく確率論的手法を適用する。
• 閾値条件を精緻化し境界を改善するために、関数φ(k) = Θ(√(ln ln k / ln k))を導入する。
• r^{k-1} ≥ 6 ln nおよびr^{k-1} ≤ n^{(1−δ)/2}（δ ∈ (0,1)）を満たすrおよびkに関する条件を課し、閾値が有効であることを保証する。
• エッジ確率に関する十分条件を導出：p ≤ (1/2) · r^{k−1} / (k^{1+φ(k)}) · n / (n choose k)。
• 彩色数に関する先行研究の技術をリスト彩色設定へ適応し、r-可 choosability へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 rおよびkがnとともに増加する際、ランダム超グラフモデルH(n,k,p)におけるr-彩色可能性の閾値確率p*は何か？
• RQ2 ランダム再彩色法をどのように精緻化すれば、r-彩色可能性閾値の下界を改善できるか？
• RQ3 関数φ(k) = Θ(√(ln ln k / ln k))は、閾値条件をどのようにして厳密化するか？
• RQ4 2-彩色可能性に関する結果を、r ≥ 2の一般のr-彩色可能性へスパース領域に拡張できるか？
• RQ5 rおよびkがどのような条件下で、H(n,k,p)が漸近的にほとんど確実にr-彩色可能となるか？

主な発見

• r^{k−1} ≥ 6 ln nおよびr^{k−1} ≤ n^{(1−δ)/2}（δ ∈ (0,1)）を満たすとき、p ≤ (1/2) · r^{k−1} / (k^{1+φ(k)}) · n / (n choose k) であれば、超グラフH(n,k,p)は高確率でr-彩色可能である。
• rおよびkがnとともに増加する広いパrameter範囲において、AlonとSpencer（1995）およびAchlioptasとMoore（2006）の先行結果を上回る境界を改善している。
• 関数φ(k) = 4⌊√(ln k / ln(2 ln k))⌋^{−1}が、分母における指数を精緻化するために用いられ、境界の改善がなされている。
• n → ∞の漸近的条件下で、上記の条件のもとでr-彩色可能性の確率は1に近づく。
• この手法はr-可 choosability へも拡張可能であり、同一の閾値条件が高確率でr-可 choosability を保証することが示された。
• r ≥ 3および十分に大きなkの範囲では、特にr^{k−1} ≥ n^{(1−δ)/2}の領域において、以前の結果よりもよりタイトな境界が得られている。