[論文レビュー] A stronger structure theorem for excluded topological minors

Zdenĕk Dvořák|arXiv (Cornell University)|Sep 1, 2012

Advanced Graph Theory Research参考文献 8被引用数 11

ひとこと要約

この論文は、固定されたグラフ $H$ をトポロジカルマイナーとして含まないグラフの構造定理を強化し、ほぼ埋め込み条件を精緻化する。具体的には、有界な genus の任意の曲面への埋め込みを許容するのではなく、$H$ が埋め込めないような曲面への埋め込みに制限し、高次元頂点の制御には $H$ の頂点の次数が $\geq 4$ であるものを支配する最小の面集合のサイズ $\mathrm{mf}(H,\Sigma)$ を用いる。この結果により、埋め込みを避けるグラフおよび有界な $\infty$-admissibility を持つグラフに対する新たな構造的特徴づけが可能になる。

ABSTRACT

Grohe and Marx proved that if G does not contain H as a topological minor, then there exist constants g=O(|V(H)|^4), D and t depending only on H such that G is a clique sum of graphs that either contain at most t vertices of degree greater than D or almost embed in some surface of genus at most g. We strengthen this result, giving a more precise description of the latter kind of basic graphs of the decomposition - we only allow graphs that (almost) embed in ways that are impossible for H (similarly to the structure theorem for minors, where only graphs almost embedded in surfaces in that H does not embed are allowed). This enables us to give structural results for graphs avoiding a fixed graph as an immersion and for graphs with bounded infinity-admissibility.

研究の動機と目的

• 分解の基本的構成要素に対する埋め込み制約を厳しくすることで、固定されたグラフ $H$ をトポロジカルマイナーとして含まないグラフの構造定理を精緻化すること。
• 高次元頂点の分布を、$H$ の次数 $\geq 4$ の頂点を支配する最小の面集合に結びつけることで、ほぼ埋め込みグラフにおける高次元頂点の制御を行うこと。
• $H$ を埋め込みとして含まないグラフおよび有界な $\infty$-admissibility を持つグラフへの構造的特徴づけを拡張すること。
• 頂点の分離と小さな分離集合の存在により、任意の曲面への埋め込みが $H$-トポロジカルマイナーの包含を防げない場合に生じる、先行研究の限界を克服すること。

提案手法

• 曲面 $\Sigma$ 上で $H$ の次数 $\geq 4$ の頂点をすべて支配する最小の面集合のサイズ $\mathrm{mf}(H,\Sigma)$ を導入し、許容される埋め込みを制限する。
• ほぼ埋め込み条件を再定式化し、$H$ が埋め込めない曲面 $\Sigma$ 上でのみほぼ埋め込みを許容するようにし、そのようなグラフにおける高次元頂点は、高々 $\mathrm{mf}(H,\Sigma)-1$ 個のバーテックス（バーテックス）に制限されるようにする。
• $\infty$-admissibility およびクランクベースの $\infty$-admissibility を導入・分析し、クランク和分解における頂点順序とバックコネクティビティを制御する。
• 小さな分離集合によって分離された高次元頂点に対処する技術的調整を施し、クランク和によって除去できないケースを扱う。
• クランク和における $\infty$-admissibility の閉包性を証明し、分解木の帰納法を用いて境界を導出する。
• 精緻化された構造定理を応用し、$H$ を埋め込みとして含まないグラフおよび有界な $\infty$-admissibility を持つグラフに関する新たな結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 $H$ が埋め込めない曲面へのほぼ埋め込みに制限することで、除外されるトポロジカルマイナーに対する構造定理を強化できるか？
• RQ2 ほぼ埋め込みグラフにおける高次元頂点の分布を、$H$ の次数 $\geq 4$ の頂点を支配する最小の面集合に結びつけることで、$H$-トポロジカルマイナーの包含を防げるか？
• RQ3 $\mathrm{mf}(H,\Sigma)$ と、$H$ をトポロジカルマイナーとして含まないグラフの構造的分解の間にはどのような関係があるか？
• RQ4 精緻化された構造定理を用いて、$H$ を埋め込みとして含まないグラフを特徴づけられるか？
• RQ5 $H$ をトポロジカルマイナーとして含まないグラフにおける $\infty$-admissibility のタイトな境界は何か？ また、それは分解成分とどのように関係するか？

主な発見

• 本論文はより強い構造定理を確立した：$G$ が $H$ をトポロジカルマイナーとして含まないならば、$G$ は、次数 $> D$ の頂点が高々 $t$ 個あるか、または $H$ が埋め込めない曲面 $\Sigma$ 上に $k$-ほぼ埋め込みされ、すべての高次元頂点が高々 $\mathrm{mf}(H,\Sigma)-1$ 個のバーテックスに制限されたグラフのクランク和である。
• 元の定理における genus $g$ の境界は、$H$ が埋め込めない曲面に制限することで改善され、埋め込みが $H$ と構造的に不整合になることが保証される。
• 本論文は、$H$ をトポロジカルマイナーとして含むグラフが、$\infty$-admissibility において高々 $a + D$ であることを証明した。ここで $a$ は分解成分における次数 $> D$ の頂点数である。
• 有界な $\infty$-admissibility を持つグラフがクランク和に関して閉じていることが示され、このようなグラフはあるダブルホイール $W_{t+2}$ をトポロジカルマイナーとして含まないことが分かった。
• 構造定理により、$H$ をトポロジカルマイナーとして含まないグラフに対する新たなアルゴリズム的結果が得られた。特に、固定されたグラフをトポロジカルマイナーとして含まないグラフの同型性判定が多項式時間で可能である。
• 弱い逆方向も提示された：有界な $\infty$-admissibility を持つグラフは、あるダブルホイール $W_{t+2}$ をトポロジカルマイナーとして含まない。