[論文レビュー] Complete graph immersions and minimum degree

Dvo\v{r}\'ak, Zden\v{e}k, Liana Yepremyan|arXiv (Cornell University)|Dec 1, 2015

Advanced Graph Theory Research被引用数 2

ひとこと要約

本稿は、最小次数が 11t + 7 以上の任意の単純グラフが、完全グラフ Kt の強い埋め込みを含むことを証明しており、DeVos らによる従来の 200t の上限を顕著に改善している。証明は、(t, d)-状態およびオイラー部分グラフの新しい構造的解析に依拠し、次数条件と分割可能集合を活用して、グラフ理論における帰納法的および極値的議論により、Kt の強い埋め込みの存在を強制する。

ABSTRACT

An immersion of a graph H in another graph G is a one-to-one mapping phi:V(H)->V(G) and a collection of edge-disjoint paths in G, one for each edge of H, such that the path P_{uv} corresponding to the edge uv has endpoints phi(u) and phi(v). The immersion is strong if the paths P_{uv} are internally disjoint from phi(V(H)). We prove that every simple graph of minimum degree at least 11t+7 contains a strong immersion of the complete graph K_t. This improves on previously known bound of minimum degree at least 200t obtained by DeVos et al.

研究の動機と目的

• 単純グラフにおいて Kt の強い埋め込みを強制するために必要な最小次数の既知の上界を改善すること。
• Kt-埋め込みを含まないグラフが (t−1)-彩色可能であると仮定する Lescure-Meyniel の予想を支持すること。
• Kt-埋め込みのための次数閾値を厳密に特定することで、グラフ埋め込み理論における長年の未解決問題を解決すること。
• DeVos らの前回の 200t の結果を上回る、より強力で効率的な境界を確立することにより、Hadwiger の予想への類似性を前進させること。

提案手法

• グラフ内の次数および近傍条件を分析するためのフレームワークとして、(t, d)-状態の概念を導入する。
• 埋め込み性質を保存しつつグラフを繰り返し縮小するための分割可能集合の概念を用いる。
• 次数欠損が有界なオイラー部分グラフに対する極値的議論を適用し、構造的配置を強制する。
• Kt の強い埋め込みが存在しないと仮定し、最小反例を用いた背理法と帰納法を用いる。
• ∑max(0, d−deg v) < d ならば、ある頂点の次数が d 以上である、という次数条件を活用する。これは議論の鍵となる条件である。
• 与えられた次数閾値の下で、次数欠損が有界なオイラーグラフは Kt を強い埋め込みとして含む、という事実を用いる。

実験結果

リサーチクエスチョン

• RQ1 最小次数 f(t) として、任意のグラフが Kt の強い埋め込みを含むために必要な最小値は何か？
• RQ2 200t 以下の境界 f(t) ≤200t は改善可能か？ もしそうなら、どの程度改善できるか？
• RQ3 最小次数が 11t + 7 であれば、任意の単純グラフにおいて強い Kt-埋め込みが保証されるか？
• RQ4 低い最小次数の下で Kt-埋め込みを回避するグラフの構造的特徴づけは可能か？
• RQ5 Lescure-Meyniel の予想は、よりタイトな次数に基づく十分条件によって支持可能か？

主な発見

• 本稿は、最小次数が 11t + 7 以上の任意の単純グラフが、Kt の強い埋め込みを含むことを確立しており、従来の 200t の上限を改善している。
• この結果は Lescure-Meyniel の予想を支持しており、最小次数 11t + 7 のグラフが Kt を強い埋め込みとして含むことから、予想の下では (t−1)-彩色可能であることが示唆される。
• 証明は、(t, d)-状態を用いた新しい構造的フレームワークと、分割可能集合の存在に依拠して、グラフを繰り返し縮小する手法に基礎を置いている。
• ∑max(0, d−deg v) < d ならば、ある頂点の次数が d 以上である、という条件が、議論の鍵となる次数条件であることが示された。
• 本稿は、d ≥11t を満たすすべてのオイラーグラフについて、∑max(0, d−deg v) < d を満たすならば Kt を強い埋め込みとして含む、と証明しており、これは主な技術的補題である。
• 最小反例を用いた背理法により、与えられた次数条件の下で Kt-埋め込みを回避するようなグラフは存在しないことが確認された。