[論文レビュー] An approximate version of the Loebl-Komlos-Sos conjecture

Diana Piguet, Maya Stein|arXiv (Cornell University)|Aug 24, 2007

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

ひとこと要約

この論文は、n = O(k) の場合、つまり密度の高い場合に、Loebl-Komlós-Sós予想の近似版を証明している。具体的には、少なくとも半数の頂点が (1+η)k 以上の次数を持つならば、高々 k 条の木がすべてその部分グラフとして含まれることを示している。この結果は、木のラムゼー数に対する漸近的上限を与える：k + m → ∞ のとき、r(𝒯_{k+1}, 𝒯_{m+1}) ≤ k + m + o(k + m) が成り立つ。

ABSTRACT

Loebl, Komlos, and Sos conjectured that if at least half of the vertices of a graph G have degree at least some natural number k, then every tree with at most k edges is a subgraph of G. Our main result is an approximate version of this conjecture for large enough n=|V(G)|, assumed that n=O(k). Our result implies an asymptotic bound for the Ramsey number of trees. We prove that r(T_k,T_m)\leq k+m+o(k+m),as k+m tends to infinity.

研究の動機と目的

• n = O(k) の大規模グラフにおける、密度の高い場合の Loebl-Komlós-Sós予想の近似版を確立すること。
• 少なくとも n/2 個の頂点が (1+η)k 以上の次数を持つグラフが、高々 k 条のすべての木を部分グラフとして含むことを証明すること。
• 予想の近似妥当性を用いて、ラムゼー数 r(𝒯_{k+1}, 𝒯_{m+1}) の漸近的上界を導出すること。
• k < n/2 の場合に生じるより複雑な状況に対応できるように、Ajtai-Komlós-Szemerédi フレームワークに基づく埋め込み技法を拡張すること。
• 極値的構成を用いて、予想における次数条件が漸近的に最適であることを示すこと。

提案手法

• 十分に小さな ε′ を用いて正則性補題を適用し、正則対を有するクラスタに頂点集合を分割する。
• 削減されたクラスタグラフに対して Gallai-Edmonds 分解を適用し、次数条件を満たす大きなマッチングを特定する。
• 目的の木 Q のスパニングツリー T* を構築し、埋め込み順序と依存関係を管理するための補助集合 SD^A と SD^B を定義する。
• 頂点を正則対内の典型頂点に逐次写像する埋め込みプロセスを採用し、近傍の交差を保証する。
• 各段階で ε′-正則性および典型性条件を用いて、すでに c+1 個の隣接頂点が埋め込まれた場合でも、利用可能な典型頂点の下界を維持し、埋め込み可能性を保証する。
• 非典型頂点とクラスタサイズの上限を用いて誤差項を制御し、各段階で少なくとも1つの有効な埋め込み選択肢が残ることを保証する。

実験結果

リサーチクエスチョン

• RQ1 k ≥ qn かつ n = O(k) の大規模な密度の高いグラフにおいて、Loebl-Komlós-Sós予想を近似的に検証できるか？
• RQ2 k と m が大きいとき、ラムゼー数 r(𝒯_{k+1}, 𝒯_{m+1}) の漸近的挙動はいかなるものか？
• RQ3 正則性補題と Gallai-Edmonds 分解を、密度の高いグラフにおける有界な過剰辺を持つ木の埋め込みに適応する方法は何か？
• RQ4 密度の高い場合に、高々 k 条のすべての木を埋め込むために、(1+η)k の次数閾値が必要かつ十分であるか？
• RQ5 極値的構成を用いて、予想の境界が漸近的に最適であることを示せるか？

主な発見

• 任意の η, q > 0 に対して、n₀ が存在し、n ≥ n₀ 個の頂点を持つ任意のグラフ G が、少なくとも n/2 個の頂点が (1+η)k 以上の次数を持つならば、高々 k 条のすべての木を含む。ただし k ≥ qn を満たすものとする。
• この結果は、k + m → ∞ のとき、ラムゼー数 r(𝒯_{k+1}, 𝒯_{m+1}) が k + m + o(k + m) 未満であることを示唆する。
• r(𝒯_{k+1}, 𝒯_{m+1}) ≤ k + m は、次数条件を弱くできない極値的構成によって、漸近的に最適であることが示されている。
• 埋め込みプロセスにおいて、典型性と近傍交差条件の精密化を組み込むことで、Ajtai-Komlós-Szemerédi 法を拡張した。
• c+1 個までの既に埋め込まれた隣接頂点を持つ、次数が有界な頂点の数は、ε′-正則性と典型性によって制御され、各埋め込み段階で十分な選択肢が保証される。
• 反例の構築により、予想における n/2 の閾値を、特定の状況では n/(k+1) 未満に改善できないことが示され、漸近的最適性が確認された。