[論文レビュー] Forbidden Minors For 3-Connected Graphs With No Non-Splitting 5-Configurations

Iain Crump|arXiv (Cornell University)|Dec 6, 2013

Advanced Topics in Algebra参考文献 21被引用数 3

ひとこと要約

本稿は、すべての5配置で分裂する単純な3連結グラフの完全な禁止マイナーの集合を特定する。これは、量子場理論におけるフェニマン積分の分母還元可能性を理解する上で重要である。グラフマイナー理論とドッドソン多項式不変量を用いて、$K_5$、$K_{3,3}$、八面体、立方体、および立方体の$\triangle$-Y変換が、唯一のこのような禁止マイナーであることを証明し、3連結グラフにおける有限の障害集合を確立する。

ABSTRACT

For a set of five edges, a graph splits if one of the associated Dodgson polynomials is equal to zero. A graph G splitting for every set of five edges is a minor-closed property. As such there is a finite set of forbidden minors F such that if a graph H does not contain a minor isomorphic to any graph in F, then H splits. In this paper we prove that if a graph G is simple, 3-connected, and splits, then G must not contain any minors isomorphic to K5, K3,3, the octahedron, the cube, or a graph that is a single delta-Y transformation away from the cube. As such this is the set of all simple 3-connected forbidden minors. The complete set of 2-connected or non-simple forbidden minors remains unresolved, though a number have been found.

研究の動機と目的

• すべての5配置で分裂する単純な3連結グラフの完全な禁止マイナーの集合を特定すること。
• 質量なし量子場理論の文脈において分母還元可能な3連結グラフの有限の障害集合を確立すること。
• グラフマイナー理論と$\triangle$-Y変換を用いて、3連結グラフにおけるマイナー最小の非分裂5配置の構造を解明すること。
• $K_5$、$K_{3,3}$、八面体、立方体、およびそれらの$\triangle$-Y変種が、3連結かつ単純な場合にのみ禁止マイナーとして存在することを明確にすること。

提案手法

• すべての5配置で分裂するというマイナー閉性の性質に対する有限障害集合を特定するために、グラフマイナー理論を適用した。
• ドッドソン多項式と5インヴァリアントを用いて、グラフ内の5辺配置が分裂する条件を特徴づけた。
• $\triangle$-Yおよび$Y$-$\triangle$変換が非分裂配置に与える影響を分析し、これらの操作に対して不変であることを示した。
• 完全な成分構成と2頂点カット解析を用いて、問題を3連結グラフに還元した。
• ブリッジを含むグラフ、または次数2の頂点を含むグラフはプリミティブに発散しないことを証明し、マイナー最小の非分裂グラフの候補から除外した。
• 双対性とマイナー最小性の議論を用いて、$K_5$、$K_{3,3}$、八面体、立方体、およびその$\triangle$-Y変換の5つの特定のグラフのみが禁止マイナーとして存在することを検証した。

実験結果

リサーチクエスチョン

• RQ1 すべての5配置で分裂する単純な3連結グラフの完全な禁止マイナーの集合は何か？
• RQ2 グラフ$K_5$、$K_{3,3}$、八面体、立方体、および立方体の$\triangle$-Y変換が、3連結かつ単純な場合にのみマイナー最小の非分裂グラフであるか？
• RQ3 $\triangle$-Y変換は、グラフ内の5配置の分裂挙動にどのように影響するか？
• RQ4 3連結グラフにおけるすべての非分裂5配置は、既知のマイナー最小の障害に還元可能か？
• RQ5 3連結かつ単純なグラフにおいて、禁止マイナーのリストは完全か？2連結または非単純なグラフにおいて未解決な点は何か？

主な発見

• 非分裂5配置をもたない単純な3連結グラフの完全な禁止マイナーの集合は、$K_5$、$K_{3,3}$、八面体、立方体、および立方体から1回の$\triangle$-Y変換によって得られるグラフからなる。
• 3連結グラフにおけるマイナー最小の非分裂5配置は、これらの5つのグラフのいずれかと同型でなければならない。
• ブリッジを含むグラフ、または次数2の頂点を含むグラフはプリミティブに発散せず、したがってマイナー最小の非分裂グラフにはなり得ない。
• $\triangle$-Y変換は、変換された辺を含まない5配置の非分裂挙動を保存するため、構造的分類が可能になる。
• 2頂点カットを含むグラフのフェニマン積分の残差は、その3連結成分の残差に分解されるため、3連結グラフに焦点を当てる正当性がある。
• 未解決の問題として、すべての2連結または非単純な禁止マイナーの分類が残っているが、いくつかのこのようなグラフが同定されている。