[論文レビュー] Nowhere-zero flows on signed eulerian graphs

Edita Máčajová, Martin Škoviera|arXiv (Cornell University)|Aug 7, 2014

Advanced Mathematical Modeling in Engineering参考文献 7被引用数 4

ひとこと要約

この論文は、符号付きオイラー線グラフのゼロでないフロー数に基づいて分類を行い、整数のゼロでないフローを有する任意の符号付きオイラー線グラフがゼロでない4フローを有することを証明する。フロー数2、3、4のグラフを特徴付け、任意のアーベル群Aに対するA-フローの存在条件を確立し、符号付きグラフフロー分野における長年の未解決問題を解決する。

ABSTRACT

This paper is devoted to a detailed study of nowhere-zero flows on signed eulerian graphs. We generalise the well-known fact about the existence of nowhere-zero $2$-flows in eulerian graphs by proving that every signed eulerian graph that admits an integer nowhere-zero flow has a nowhere-zero $4$-flow. We also characterise signed eulerian graphs with flow number $2$, $3$, and $4$, as well as those that do not have an integer nowhere-zero flow. Finally, we discuss the existence of nowhere-zero $A$-flows on signed eulerian graphs for an arbitrary abelian group~$A$.

研究の動機と目的

• 符号付きオイラー線グラフをそのゼロでないフロー数（2、3、4、または存在しない）に応じて特徴付けること。
• オイラー線グラフに対する古典的なゼロでない2フロー結果を符号付きの場合に一般化すること。
• 任意のアーベル群Aに対して、符号付きオイラー線グラフがゼロでないA-フローを有するための正確な条件を特定すること。
• 特にk < 6のkフローについて、符号付きオイラー線グラフにおけるフロー数に関する未解決問題を解決すること。
• 整数のゼロでないフローを有さない符号付きオイラー線グラフの完全な特徴付けを、非バランスな辺の除去と符号構造に結びつけること。

提案手法

• 符号付きグラフと双方向グラフの等価性を用い、頂点スイッチインヴァリアンスを活用して安定なフローを定義する。
• 頂点数に関する帰納法と辺の収縮技術を用いて、反例を最小ケースにまで簡略化する。
• フロー数3のグラフを分析するために、三重奇数分解と安定フローの概念を用いる。
• 群論的議論を用いてA-フローを特徴付け、その際に自己同型（involution）または位数≥4の元の存在に依存する。
• 6正則な非バランスグラフに関する定理5.2を適用し、このようなグラフが三重奇数分解を有することを示す。
• 分解定理を用いて、奇数本の辺を有するグラフを偶数のオイラー部分グラフに分解し、群の元を用いてフローを構成可能にする。

実験結果

リサーチクエスチョン

• RQ1 符号付きオイラー線グラフがゼロでない2フローを有するための正確な特徴付けは何か？
• RQ2 符号付きオイラー線グラフがゼロでない3フローを有するための条件は何か？
• RQ3 2フローまたは3フローを有さない符号付きオイラー線グラフの最小フロー数は何か？
• RQ4 符号付きオイラー線グラフがいかなる整数のゼロでないフローをもたないのはいつか？
• RQ5 どのアーベル群Aに対して、符号付きオイラー線グラフがゼロでないA-フローを有するか？

主な発見

• 符号付きオイラー線グラフが整数のゼロでないフローを有さないための必要十分条件は、非バランスであり、1本の辺を削除するとバランスになることである。
• 符号付きオイラー線グラフがゼロでない2フローを有するための必要十分条件は、負の辺が偶数本であることである。
• 符号付きオイラー線グラフがゼロでない3フローを有するための必要十分条件は、3つのオイラー部分グラフへの分解であり、それらは共通の頂点を共有し、それぞれが奇数本の負の辺を有することである。
• 整数のゼロでないフローを有する符号付きオイラー線グラフは、すべてゼロでない4フローを有するが、この上限はタイトである。
• アーベル群Aに対して、符号付きオイラー線グラフがゼロでないA-フローを有するための条件は、Aが自己同型を含む、またはA ≅ ℤ₃であり、かつグラフが三重奇数であることである。
• Aがℤ₃に同型でなく、自己同型を含まない場合、符号付きオイラー線グラフがゼロでないA-フローを有するための必要十分条件は、それがタイトに非バランスでないことである。