[論文レビュー] Blow-up lemmas for sparse graphs

Peter Allen, Julia Böttcher+3 more|arXiv (Cornell University)|Dec 2, 2016

Limits and Structures in Graph Theory参考文献 53被引用数 38

ひとこと要約

本稿は、ランダムおよび擬似ランダムグラフの部分グラフにおけるスパース版の爆発補題（blow-up lemma）を確立し、スパースな設定下での有界次数の全域グラフの埋め込みを可能にする。主な結果は3つである：$p = C(\text{log } n/n)^{1/Δ}$ の $G(n,p)$ における埋め込み、$p = C(\text{log } n/n)^{1/(2D+1)}$ の $G(n,p)$ における退化グラフの埋め込み、および $(p, cp^{\text{max}(4,(3\Delta+1)/2)}n)$-バイジュンブルドグラフにおける埋め込みであり、スパースグラフにおける正則性法の適用を最適または近似的に最適な閾値で拡張する。

ABSTRACT

The blow-up lemma states that a system of super-regular pairs contains all bounded degree spanning graphs as subgraphs that embed into a corresponding system of complete pairs. This lemma has far-reaching applications in extremal combinatorics. We prove sparse analogues of the blow-up lemma for subgraphs of random and of pseudorandom graphs. Our main results are the following three sparse versions of the blow-up lemma: one for embedding spanning graphs with maximum degree $Δ$ in subgraphs of $G(n,p)$ with $p=C(\log n/n)^{1/Δ}$; one for embedding spanning graphs with maximum degree $Δ$ and degeneracy $D$ in subgraphs of $G(n,p)$ with $p=C_Δ\big(\log n/n\big)^{1/(2D+1)}$; and one for embedding spanning graphs with maximum degree $Δ$ in $(p,cp^{\max(4,(3Δ+1)/2)}n)$-bijumbled graphs. We also consider various applications of these lemmas.

研究の動機と目的

• 古典的な爆発補題を、正則性補題における誤差項の問題により元の手法が失敗するスパースグラフへ拡張すること。
• カウンティング補題のスパース版が欠如している問題に対処し、ランダムおよび擬似ランダムグラフにおける新しい埋め込み技術を開発すること。
• 有界最大次数および退化性をもつ全域グラフの埋め込みにおける最適または近似的に最適な閾値を確立すること。
• ランダムグラフ $G(n,p)$ および擬似ランダムバイジュンブルドグラフの両方におけるスパース版の爆発補題の類似物を提供し、正則性法の適用範囲を広げること。

提案手法

• 正則性を維持し、バッファ欠陥を避けるために、頂点を1つずつ埋め込むことで、ランダムグリーディアルゴリズム（RGA）フレームワークを構築する。
• 確率的不等式と均等分割を用いて、偏差を制御し、スパースグラフにおける正則性の継承を保証する。
• キューに基づく埋め込み戦略を適用し、グローバル構造への依存を軽減する。
• 埋め込みプロセス中に生じる局所的な不規則性を是正するための「バッファ欠陥補正機構」を導入する。
• 特にバイジュンブルドネスという条件が、スパース設定下での爆発補題の成立に十分であることを示す。
• 極値的構成と下界解析を通じて、必要なエッジ密度の閾値が最適または近似的に最適であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 正則性法が通常適用可能な閾値より低い $p$ のスパースランダムグラフ $G(n,p)$ において、爆発補題を拡張できるか？
• RQ2 $G(n,p)$ における最小のエッジ密度 $p$ は何か？ すべての最大次数 $\Delta$ の $n$ 頂点グラフの埋め込みを保証するには。
• RQ3 固有値や準ランダム性に基づく擬似ランダム性の代わりに、バイジュンブルドネス条件を満たす擬似ランダムグラフにおいて、爆発補題を適応可能か？
• RQ4 退化性 $D$ は、スパースランダムグラフにおける埋め込みの閾値にどのように影響するか？ また、$p = C(\text{log } n/n)^{1/(2D+1)}$ よりも良い境界を得られるか？
• RQ5 スパースグラフにおいて、エッジまたは頂点の削除といったレジリエンス条件下でも、爆発補題は頑健か？

主な発見

• 本稿は、$p = C(\text{log } n/n)^{1/\Delta}$ の $G(n,p)$ におけるスパース版の爆発補題を確立し、対数要因を除いて最適な閾値に達している。
• $\Delta$-有界かつ $D$-退化グラフに対しては、閾値が $p = C(\text{log } n/n)^{1/(2D+1)}$ であり、これは対数要因を除いてタイトである。
• $(p, cp^{\text{max}(4,(3\Delta+1)/2)}n)$-バイジュンブルドグラフに対しても爆発補題が成立し、広範な擬似ランダムグラフのクラスへ結果を拡張する。
• 著者らは、極値的例の構築と下界解析を通じて、必要なエッジ密度閾値が最適または近似的に最適であることを証明した。
• 結果は、ユニバーサルグラフ、パーティションユニバーサルティ、メイカー・ブレーイカー・ゲーム、レジリエンス、帯域幅定理の強度について応用され、広範な適用可能性を示した。
• バッファ欠陥補正を備えたランダムグリーディアルゴリズムを用いたアルゴリズム的埋め込み手順を提供し、スパースグラフにおける埋め込みの効率的構築を可能にした。