[論文レビュー] Signed graphs with two negative edges

Edita Rollová, Michael Schubert+1 more|arXiv (Cornell University)|Apr 27, 2016

Advancements in Battery Materials参考文献 6被引用数 3

ひとこと要約

本稿は、正確に2つの負の辺をもつフロー適応的符号付き3正則グラフのフローナンバーを調査し、このようなグラフがゼロでない7フローをもつことを証明している。さらに、二部グラフまたは3辺色可能であるといった追加の構造的条件が成り立つ場合には、フローナンバーはそれぞれ4以下、6以下というよりきつい上限をとる。これらの結果はボーシェの6フロー予想を支持し、タットの5フロー予想とも関連している。

ABSTRACT

The presented paper studies the flow number $F(G,σ)$ of flow-admissible signed graphs $(G,σ)$ with two negative edges. We restrict our study to cubic graphs, because for each non-cubic signed graph $(G,σ)$ there is a set ${\cal G}(G,σ)$ of cubic graphs such that $F(G, σ) \leq \min \{F(H,σ_H) : (H,σ_H) \in {\cal G}(G)\}$. We prove that $F(G,σ) \leq 6$ if $(G,σ)$ contains a bridge and $F(G,σ) \leq 7$ in general. We prove better bounds, if there is an element $(H,σ_H)$ of ${\cal G}(G,σ)$ which satisfies some additional conditions. In particular, if $H$ is bipartite, then $F(G,σ) \leq 4$ and the bound is tight. If $H$ is 3-edge-colorable or critical or if it has a sufficient cyclic edge-connectivity, then $F(G,σ) \leq 6$. Furthermore, if Tutte's 5-Flow Conjecture is true, then $(G,σ)$ admits a nowhere-zero 6-flow endowed with some strong properties.

研究の動機と目的

• 正確に2つの負の辺をもつフロー適応的符号付き3正則グラフの最大フローナンバーを特定すること。
• 元の符号なしグラフの構造的性質（例：二部グラフ、3辺色可能、循環的辺連結性）がフローナンバーに与える影響を調査すること。
• これらの結果がボーシェの6フロー予想およびタットの5フロー予想に与える含意を探索すること。
• ブリッジなしやエッジカット制限といった特定のグラフ理論的条件下でのフローナンバーのタイトな境界を確立すること。
• タットの5フロー予想が、2つの負の辺をもつ符号付きグラフにおいてボーシェの6フロー予想を含意することを示すこと。

提案手法

• 構成集合 $\mathcal{G}(G,\sigma)$ を用いた3正則グラフへの還元により、$F(G,\sigma) \leq \min\{F(H,\sigma_H) : (H,\sigma_H) \in \mathcal{G}(G,\sigma)\}$ を保証すること。
• フロー分解および向き付け技術の適用、特にキルホフの法則とスイッチング同値性を用いて符号を単純化すること。
• 2辺カットおよび3辺カットの分析を用いて、特に負の辺を含む場合に非フローアドミッタブルな構成を除外すること。
• 補題5.2および補題3.5を用いて、小さなグラフ上のフローを組み合わせることでゼロでない7フローを構成し、カットエッジ上でフロー値の一貫性を保証すること。
• すべての正の符号付きグラフにおける5フローに関する既知の結果（セイヤーや他の研究者によるもの）を活用し、符号付きグラフへの含意を導出すること。
• 循環的辺連結性および奇数パラメータを用いてフローナンバーを有界化し、特に$(G,\sigma)$から導かれる符号なしグラフ$G^*$の文脈で考察すること。

実験結果

リサーチクエスチョン

• RQ1 正確に2つの負の辺をもつフロー適応的符号付き3正則グラフの最大フローナンバー$F(G,\sigma)$は何か？
• RQ2 元のグラフの構造的性質（二部性、3辺色可能性、循環的辺連結性など）は、フローナンバーにどのように影響するか？
• RQ3 タットの5フロー予想は、2つの負の辺をもつ符号付きグラフにおいてボーシェの6フロー予想を含意するか？
• RQ4 どのような条件下でフローナンバーが7未満に低下し得るか。また、最もタイトな境界は何か？
• RQ5 ブリッジや小さなエッジカットの存在は、ゼロでないフローの存在およびその値にどのように影響するか？

主な発見

• 元の符号なしグラフ$G^*$が二部グラフである場合、フローナンバー$F(G,\sigma) \leq 6$であり、この境界はタイトである。
• 元のグラフ$G^*$が3辺色可能または臨界的である、または十分な循環的辺連結性を持つ場合、$F(G,\sigma) \leq 6$である。
• 2つの負の辺をもつブリッジレス符号付き3正則グラフでは、$F(G,\sigma) \leq 7$であり、一般にはこの境界がタイトである。
• タットの5フロー予想が成立するならば、すべての2つの負の辺をもつ符号付き3正則グラフは、強い構造的性質をもつゼロでない6フローをもつ。具体的には、正のフロー値、負の辺上でフロー値が1、すべての5フローが1つのパス上に集中する。
• 2つの負の辺をもつ符号付きグラフのフローナンバーは、それから導かれる3正則グラフの集合における最小フローナンバーによって上から抑えられ、この還元において境界が保たれる。
• フロー適応的でない符号付き3正則グラフは、2つの負の辺をもつ場合、ゼロでない5フローをもたない。このようなグラフは、負の辺を含む小さなエッジカットによって除外される。