[論文レビュー] Embedding bounded degree spanning trees in random graphs

Richard Montgomery|arXiv (Cornell University)|May 26, 2014

Advanced Graph Theory Research参考文献 14被引用数 36

ひとこと要約

本稿は、スパースなランダムグラフとリザーバベースのパスカバーを組み合わせた、新しい吸収型埋め込み法を用いて、最大次数がΔである任意の順序nのスパニングツリーが、ほとんど確実に$\mathcal{G}(n, \Delta \log^5 n / n)$に含まれることを証明している。この結果は、有界次数のスパニングツリーに対する従来の境界を改善し、ランダムグラフにおけるツリー普遍性に関する完全な予想の証明の基盤を提供する。

ABSTRACT

We prove that if a tree $T$ has $n$ vertices and maximum degree at most $Δ$, then a copy of $T$ can almost surely be found in the random graph $\mathcal{G}(n,Δ\log^5 n/n)$.

研究の動機と目的

• 既知の埋め込み閾値とカーンの予想（ランダムグラフにすべての有界次数のスパニングツリーが存在すること）との間のギャップを埋める。
• 長いバーレイパスを有するツリーおよび多くの葉を有するツリーに対応できる、吸収とリザーバ技術を用いた堅牢な埋め込み法を開発する。
• 任意のこのようなスパニングツリーが$\mathcal{G}(n,p)$にほとんど確実に含まれるよう保証する閾値確率$p = \Delta \log^5 n / n$を確立する。
• $\mathcal{G}(n, C\log n / n)$が最大次数Δのn頂点ツリーをすべて含むという完全な予想の証明の基盤を築く。
• 複数の不連続パスからなるリザーバ構成を導入し、単一の長パスよりも効率的かつ適用範囲が広い。

提案手法

• 葉が多数あるツリー用と、長いバーレイパスを有するツリー用の二段階埋め込み戦略を用いる：前者は部分木埋め込みとマッチング、後者はパスカバーと吸収を用いる。
• 吸収法の有向グラフ版を適用し、可逆パスを吸収体として構築することで、柔軟なパスの延長を可能にする。
• 単一の長パスではなく、複数の不連続パスからなるリザーバーシステムを採用し、耐障害性を高めつつ、必要な辺密度を低減する。
• スパースなランダムグラフにおける拡張性の性質を活用し、フレイドリックとピッペンジャの有向ツリー埋め込み定理の変種を用いて、指定された頂点間のパスを構築する。
• 可逆パスに基づく有向吸収体構造を導入し、パスシステムにおいて頂点の完全および部分的包含を可能にする。
• ローデル、ルーツィンスキー、シュレーメルーディの一般吸収フレームワークを、制御された拡張性を有するスパースなランダムグラフに適応した。

実験結果

リサーチクエスチョン

• RQ1 ランダムグラフ$\mathcal{G}(n,p)$における最大次数Δのn頂点ツリーのすべての埋め込みのための閾値確率を、$\Delta \log^5 n / n$未満にまで低下させることは可能か？
• RQ2 $p = \Delta \log^5 n / n$のとき、$\mathcal{G}(n,p)$においてすべての有界次数のスパニングツリーを普遍的に埋め込むことは可能か？
• RQ3 吸収法は、制御された拡張性を有するスパースなランダムグラフでも効果的に適用可能か？
• RQ4 低辺密度下でも、コア部分木を埋め込んだ後、固定長の不連続パスを用いて残りの頂点をカバーすることは可能か？
• RQ5 可逆パスに基づく有向吸収体は、ツリー埋め込みにおける効率を向上させ、必要な確率を低減できるか？

主な発見

• ランダムグラフ$\mathcal{G}(n, \Delta \log^5 n / n)$は、最大次数がΔ以下のすべてのn頂点ツリーをほとんど確実に含む。
• 証明は、事前にグラフ全体を明らかにし、スパースなランダムグラフ内で構築された吸収体を用いることで、長いバーレイパスを有するツリーに対する普遍的埋め込み結果を確立している。
• 多くの葉を有するツリーの場合、コア部分木を埋め込んだ後に追加の辺を明らかにし、マッチングに基づいた埋め込み完了を可能にしている。
• リザーバは不連続パスの集合として構築されており、単一パスリザーバーよりも効率的かつ柔軟なパスカバーを実現している。
• この方法は、$p \approx \Delta \log^2 n / n$に自然な障壁を示しており、予想される閾値$C\log n / n$に到達するにはさらなる技術的発展が必要であることを示唆している。
• 本稿は、カーンの予想の今後の証明の基盤を提供しており、今後、$p = f(\Delta)\log^2 n / n$で普遍性が示される予定である。