Nowhere-zero 8-flows in cyclically 5-edge-connected, flow-admissible signed graphs

Matt DeVos,Kathryn Nurse,Robert Sámal
2023-09-02
Abstract:In 1983, Bouchet proved that every bidirected graph with a nowhere-zero integer-flow has a nowhere-zero 216-flow, and conjectured that 216 could be replaced with 6. This paper shows that for cyclically 5-edge-connected bidirected graphs that number can be replaced with 8.
Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the flow problem in specific types of graphs. Specifically, the paper focuses on the existence problem of nowhere - zero flows in signed graphs. ### Problem Background In 1983, Bouchet proved that every bidirected graph with a nowhere - zero integer flow has a nowhere - zero 216 - flow, and conjectured that this number could be replaced by 6. However, this conjecture has not been fully proven yet. ### Main Contributions of the Paper This paper, by studying cyclically 5 - edge - connected and flow - admissible signed graphs, proves that for this type of graphs, 216 can be replaced by a smaller number 8. That is: \[ \text{If } G \text{ is a cyclically 5 - edge - connected and flow - admissible signed cubic graph, then } G \text{ has a nowhere - zero 8 - flow.} \] ### Formulas and Definitions 1. **Signed Graph**: Consists of a graph \( G \) and a signature function \( \sigma: E(G)\to\{- 1,1\} \). 2. **Sign of a Cycle**: For a cycle \( C \), its sign is defined as \( \sigma(C)=\prod_{e\in E(C)}\sigma(e) \). 3. **Nowhere - Zero Flow**: For an abelian group \( A \), a function \( \varphi: E(G)\to A \) is called an \( A \)-flow if its boundary \( \partial\varphi \) is 0 at every vertex. In particular, when \( A = \mathbb{Z} \) and \( \varphi(E(G))\subseteq\{-(k - 1),\ldots,(k - 1)\} \), it is called a \( k \)-flow. If \( \varphi(E(G)) \) does not contain 0, it is called a nowhere - zero flow. ### Conclusion The main conclusion of the paper is to prove that for a specific type of signed graph, there exists a nowhere - zero 8 - flow, thus partially solving Bouchet's conjecture. This provides a theoretical basis for further research on smaller flow values. ### Summary This paper, through strict mathematical proofs, shows that under specific conditions, smaller nowhere - zero flows can exist in signed graphs, which is of great significance for the fields of graph theory and combinatorial optimization.