arXiv++ Combinatorics

An (r,alpha)-bounded excess flow ((r,alpha)-flow) in an orientation of a graph G=(V,E) is an assignment of a real "flow value" between 1 and r-1 to every edge. Rather than 0 as in an actual flow, some flow excess, which does not exceed alpha may accumulate in any vertex. Bounded excess flows suggest a generalization of Circular nowhere zero flows, which can be regarded as (r,0)-flows. We define (r,alpha) as Stronger or equivalent to (s,beta) If the existence of an (r,alpha)-flow in a cubic graph always implies the existence of an (s,beta)-flow in the same graph. Then we study the structure of the two-dimensional flow strength poset. A major role is played by the "Trace" parameter: tr(r,alpha)=(r-2alpha) divided by (1-alpha). Among points with the same trace the stronger is the one with the larger r (an r-cnzf is of trace r). About one half of the article is devoted to proving the main result: Every cubic graph admits a (3.5,0.5)-flow. tr(3.5,0.5)=5 so it can be considered a step in the direction of the 5-flow Conjecture. Our result is best possible for all cubic graphs while the seemingly stronger 5-flow Conjecture only applies to bridgeless graphs. We strongly rely on the notion of "k-weak bisections", defined and studied in: L. Esperet, G. Mazzuoccolo and M. Tarsi "Flows and Bisections in Cubic Graphs" J. Graph Theory, 86(2) (2017), 149-158.

A $k$-weak bisection of a cubic graph $G$ is a partition of the vertex-set of $G$ into two parts $V_1$ and $V_2$ of equal size, such that each connected component of the subgraph of $G$ induced by $V_i$ ($i=1,2$) is a tree of at most $k-2$ vertices. This notion can be viewed as a relaxed version of nowhere-zero flows, as it directly follows from old results of Jaeger that every cubic graph $G$ with a circular nowhere-zero $r$-flow has a $\lfloor r \rfloor$-weak bisection. In this paper we study problems related to the existence of $k$-weak bisections. We believe that every cubic graph which has a perfect matching, other than the Petersen graph, admits a 4-weak bisection and we present a family of cubic graphs with no perfect matching which do not admit such a bisection. The main result of this article is that every cubic graph admits a 5-weak bisection. When restricted to bridgeless graphs, that result would be a consequence of the assertion of the 5-flow Conjecture and as such it can be considered a (very small) step toward proving that assertion. However, the harder part of our proof focuses on graphs which do contain bridges.

For some time the Petersen graph has been the only known Snark with circular flow number $5$ (or more, as long as the assertion of Tutte's $5$-flow Conjecture is in doubt). Although infinitely many such snarks were presented eight years ago by Macajova and Raspaud, the variety of known methods to construct them and the structure of the obtained graphs were still rather limited. We start this article with an analysis of sets of flow values, which can be transferred through flow networks with the flow on each edge restricted to the open interval $(1,4)$ modulo $5$. All these sets are symmetric unions of open integer intervals in the ring $\mathbb{R}/5\mathbb{Z}$. We use the results to design an arsenal of methods for constructing snarks $S$ with circular flow number $φ_c(S)\ge 5$. As one indication to the diversity and density of the obtained family of graphs, we show that it is sufficiently rich so that the corresponding recognition problem is NP-complete.