arXiv++ Combinatorics

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.

While every graph admitting a nowhere-zero $3$-flow also admits an $S^1$-flow, the converse does not hold in general as shown by Thomassen (2014). In this paper, we develop reduction techniques for $S^1$-flows based on graph operations including bull-growth, $2$-sums, and wheel contractions. A key tool is the two-terminal $S^1$-preflow, which enables us to prove that if a $2$-connected graph contains an odd wheel as a proper subgraph and contracting the wheel yields a graph with a nowhere-zero $3$-flow, then the original graph admits an $S^1$-flow. As applications, we completely characterize $S^1$-flows in two graph classes: a triangularly connected graph admits an $S^1$-flow if and only if it is not an odd wheel; and a graph containing a spanning triangle-tree admits an $S^1$-flow if and only if it is not an odd crystal.

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.