[論文レビュー] Flows on Bidirected Graphs

Matt DeVos|arXiv (Cornell University)|Oct 31, 2013

Computational Geometry and Mesh Generation参考文献 15被引用数 13

ひとこと要約

この論文は、どこでもゼロでないℤフローを持つすべての双方向グラフが、どこでもゼロでない12フローを持つことを確立し、Bouchetの6フロー予想を前進させる。構造的グラフ理論を用い、サイクルの除去、パスの抑制、3連結3正則グラフにおけるハロー解析を含む。著者らは、そのようなグラフが本質的にバランスの取れたものでない限り、除去可能なサイクルを含むことを証明し、最終的に12フローが構成的に検証可能な有限個のグラフクラスに問題を還元する。

ABSTRACT

The study of nowhere-zero flows began with a key observation of Tutte that in planar graphs, nowhere-zero k-flows are dual to k-colourings (in the form of k-tensions). Tutte conjectured that every graph without a cut-edge has a nowhere-zero 5-flow. Seymour proved that every such graph has a nowhere-zero 6-flow. For a graph embedded in an orientable surface of higher genus, flows are not dual to colourings, but to local-tensions. By Seymour's theorem, every graph on an orientable surface without the obvious obstruction has a nowhere-zero 6-local-tension. Bouchet conjectured that the same should hold true on non-orientable surfaces. Equivalently, Bouchet conjectured that every bidirected graph with a nowhere-zero $\mathbb{Z}$-flow has a nowhere-zero 6-flow. Our main result establishes that every such graph has a nowhere-zero 12-flow.

研究の動機と目的

• Bouchetの6フロー予想を解消するため、どこでもゼロでないℤフローを持つすべての符号付きグラフがどこでもゼロでない12フローを持つことを証明すること。
• 双方向グラフ理論を用いて、Seymourの6フロー定理を非可定向的曲面へ拡張すること。
• 符号付きグラフにおけるサイクルが、どこでもゼロでないフローの存在に影響を与えないように除去可能な構造的条件を確立すること。
• 次数2の頂点を抑制し、その構造を分析することで、問題を3連結3正則グラフに還元すること。
• どこでもゼロでないℤフローを持つ4辺連結符号付きグラフが、どこでもゼロでない4フローを持つことを証明し、予想の特別なケースを確認すること。

提案手法

• 双方向グラフを、半辺に方向関数を備えた符号付きグラフとして定義し、頂点におけるフロー保存を保証する。
• 頂点vに接続する半辺の和 Σ τ(h)ϕ(e_h) を用いて境界作用素 ∂ϕ(v) を定義し、∂ϕ = 0 であるときフローと定義する。
• 頂点の反転と辺の符号変更を適用し、符号の同値性とフロー存在の不変性を保つ。
• すべての次数2頂点を抑制して、符号σ̂を伴う3連結3正則グラフĜを生成し、フロー構造を保存する。
• ĜにハローCを特定し、サイクルのクロスを用いて、非バランスの取れたchordと十分な内部次数2頂点を持つ除去可能なサイクルDを構成する。
• そのようなサイクルDが存在しない場合、グラフはバランスの取れたものでなければならないが、これは循環連結性の仮定のもとで4サイクルの矛盾を引き起こす。

実験結果

リサーチクエスチョン

• RQ1 どこでもゼロでないℤフローを持つすべての符号付きグラフが、どこでもゼロでない12フローを持つだろうか？
• RQ2 構造的還元を用いて、Bouchetの6フロー予想がすべての双方向グラフに対して証明可能だろうか？
• RQ3 3連結3正則符号付きグラフにおいて、除去可能なサイクルが存在するための構造的性質は何か？
• RQ4 辺削除部分グラフにおける非バランスの取れたサイクルの存在が、グラフのサイクル構造にどのような制約を課えるか？
• RQ5 どのような条件下で、4辺連結符号付きグラフがどこでもゼロでない4フローを持つだろうか？

主な発見

• どこでもゼロでないℤフローを持つすべての双方向グラフが、どこでもゼロでない12フローを持つ。これはBouchetの以前の上限216を改善する。
• どこでもゼロでないkフローの存在は、頂点の反転と辺の符号変更に対して不変であり、符号の同値類を保つ。
• どこでもゼロでないℤフローを持つ4辺連結符号付きグラフが、どこでもゼロでない4フローを持つ。これはBouchetの予想の特別なケースを確認する。
• 証明は、3連結3正則グラフĜにおいて、非バランスの取れたchordを伴うハローとクロス分解を用いて構成された除去可能なサイクルDの特定に依存する。
• そのようなサイクルDが存在しない場合、グラフはバランスの取れたものでなければならないが、循環連結性の仮定のもとで4サイクルの矛盾が生じる。
• 次数2頂点の抑制による3連結3正則グラフへの還元は、どこでもゼロでないフローの存在を保存し、構造的解析を可能にする。