arXiv++ Combinatorics

Thomassen (J. Combin. Theory Ser. B 108 (2014), 81-91) showed that every graph admitting a nowhere-zero $3$-flow also admits an $S^1$-flow. He also proved that the converse holds for cubic graphs, but constructed counterexamples showing it fails in general. Wang et al. (SIAM J. Discrete Math. 29 (2015), 2166-2178) presented a couple of sufficient conditions under which the existence of an $S^1$-flow guarantees the existence of a nowhere-zero 3-flow. In this paper, we first prove that a graph with maximum degree at most four admits a nowhere-zero $3$-flow if and only if it admits an $S^1$-flow. We then develop some reduction techniques for $S^1$-flows based on graph operations including bull-growth, $2$-sums, and contractions. Finally, we apply those techniques to characterize triangularly connected graphs and graphs containing a spanning triangle-tree that admit $S^1$-flows, respectively.

A classical result of Andrásfai, Erdős, and Sós states that every $n$-vertex graph with odd girth at least $2k+1$ and minimum degree larger than $\frac{2n}{2k+1}$ is bipartite. Rather than imposing a minimum-degree condition, in this paper we investigate conditions on algebraic connectivity that force graphs of given odd girth to have a simple structure. The algebraic connectivity of a graph $G$, denoted by $μ_2(G)$, is the second smallest eigenvalue of its Laplacian matrix. Our main results are as follows. 1. Every $n$-vertex triangle-free graph $G$ with $μ_2(G)\geq \frac{n}{3}$ is bipartite. Moreover, the constant $\frac{1}{3}$ is asymptotically best possible. 2. For $k\geq 3$, every $n$-vertex graph $G$ of odd girth at least $2k+1$ with $μ_2(G)>\frac{4n}{6k-1}$ is bipartite. 3. For $k\geq 22$, every $n$-vertex graph $G$ of odd girth at least $2k+1$ with $μ_2(G)>\frac{3456n}{k^3}$ is bipartite. Moreover, the term $k^{-3}$ is asymptotically best possible.

We generalize Tutte's integer flows and the $d$-dimensional Euclidean flows of Mattiolo, Mazzuoccolo, Rajník, and Tabarelli to \emph{$d$-dimensional $p$-normed nowhere-zero flows} and define the corresponding flow index $φ_{d,p}(G)$ to be the infimum over all real numbers $r$ for which $G$ admits a $d$-dimensional $p$-normed nowhere-zero $r$-flow. For any bridgeless graph $G$ and any $p\ge 1$, we establish general upper bounds, including $φ_{2,p}(G) \le 3$, $φ_{3,p}(G) \le 1+\sqrt{2}$, and tight bounds for graphs admitting a $4$-NZF. For graphs with oriented $(k+1)$-cycle $2l$-covers, we show that $φ_{k,p}(G) = 2$, which implies $φ_{2,p}(G) = 2$ for graphs admitting a nowhere-zero $3$-flow and $φ_{3,p}(G) = 2$ for those admitting a nowhere-zero $4$-flow. These results extend classical flow theory to arbitrary norms, provide supporting evidences for Tutte's $5$-flow Conjecture and Jain's $S^2$-Flow Conjecture, and connect combinatorial flows with geometric and topological perspectives.