[论文解读] 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$-流，取决于群中是否存在对合元或阶数≥4的元素。
• 应用定理5.2于6-正则非平衡图，证明此类图必存在三重奇数分解。
• 利用分解定理，通过偶数欧拉子图覆盖奇数边数的图，从而通过群元素实现流的构造。

实验结果

研究问题

• RQ1 有符号欧拉图具有非零2流的精确刻画是什么？
• RQ2 在何种条件下，有符号欧拉图可存在非零3流？
• RQ3 不具有2流或3流的有符号欧拉图的最小流数是多少？
• RQ4 在何种情况下，有符号欧拉图无法存在任何整数非零流？
• RQ5 对于哪些阿贝尔群 $A$，有符号欧拉图可存在非零 $A$-流？

主要发现

• 有符号欧拉图不存在非零整数流，当且仅当其为非平衡图，且移除一条边后变为平衡图。
• 有符号欧拉图存在非零2流，当且仅当其具有偶数条负边。
• 有符号欧拉图存在非零3流，当且仅当其可分解为三个共享一个公共顶点的欧拉子图，且每个子图均含奇数条负边。
• 每个具有整数非零流的有符号欧拉图均存在非零4流，且该界是紧致的。
• 对于阿贝尔群 $A$，有符号欧拉图存在非零 $A$-流，当 $A$ 包含对合元，或 $A \cong \mathbb{Z}_3$ 且图是三重奇数图时。
• 当 $A$ 不同构于 $\mathbb{Z}_3$ 且无对合元时，有符号欧拉图存在非零 $A$-流，当且仅当其不是紧密非平衡图。