Nowhere-zero 3-flows in nilpotently vertex-transitive graphs

Junyang Zhang,Sanming Zhou

DOI: https://doi.org/10.1007/s10801-024-01335-w

2024-05-18

Journal of Algebraic Combinatorics

Abstract:We prove that every regular graph of valency at least four whose automorphism group contains a nilpotent subgroup acting transitively on the vertex set admits a nowhere-zero 3-flow.

mathematics

What problem does this paper attempt to address?

Flows in 3-edge-connected bidirected graphs

Erling Wei,Wenliang Tang,Xiaofeng Wang

DOI: https://doi.org/10.1007/s11464-011-0111-3

2011-01-01

Frontiers of Mathematics in China

Abstract:It was conjectured by A. Bouchet that every bidirected graph which admits a nowhere-zero k -flow admits a nowhere-zero 6-flow. He proved that the conjecture is true when 6 is replaced by 216. O. Zyka improved the result with 6 replaced by 30. R. Xu and C. Q. Zhang showed that the conjecture is true for 6-edge-connected graph, which is further improved by A. Raspaud and X. Zhu for 4-edge-connected graphs. The main result of this paper improves Zyka’s theorem by showing the existence of a nowhere-zero 25-flow for all 3-edge-connected graphs.
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
Fixed Subgroups of 3-Manifold Group Automorphisms

Boju Jiang,Feng Wang,Shicheng Wang,Hao Zheng

DOI: https://doi.org/10.1016/j.topol.2021.107708

IF: 0.583

2021-01-01

Topology and its Applications

Abstract:We present a 3-manifold automorphism f:M→M with rankFix(f⁎)=2rankπ1(M). Related facts are discussed.
Nowhere-zero flows in signed graphs: A survey

Tomáš Kaiser,Edita Rollová,Robert Lukot'ka

DOI: https://doi.org/10.48550/arXiv.1608.06944

2016-08-25

Abstract:We survey known results related to nowhere-zero flows and related topics, such as circuit covers and the structure of circuits of signed graphs. We include an overview of several different definitions of signed graph colouring.

Combinatorics
A short proof of Seymour's 6-flow theorem

Matt DeVos,Kathryn Nurse

2023-07-06

Abstract:We give a compact variation of Seymour's proof that every $2$-edge-connected graph has a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_3$-flow.

Combinatorics
Another proof of Seymour's 6‐flow theorem

Matt DeVos,Jessica McDonald,Kathryn Nurse

DOI: https://doi.org/10.1002/jgt.23091

2024-04-27

Journal of Graph Theory

Abstract:In 1981 Seymour proved his famous 6‐flow theorem asserting that every 2‐edge‐connected graph has a nowhere‐zero flow in the group Z2×Z3 (in fact, he offers two proofs of this result). In this note, we give a new short proof of a generalization of this theorem where Z2×Z3 ‐valued functions are found subject to certain boundary constraints.

mathematics
Parity Subgraphs with Few Common Edges and Nowhere-Zero 5-Flow

Jiaao Li,Xinmin Hou,Zhen-Mu Hong,Xiaofeng Ding

DOI: https://doi.org/10.1007/s00373-014-1464-7

2014-01-01

Graphs and Combinatorics

Abstract:parity subgraph of a graph is a spanning subgraph such that the degrees of all vertices have the same parity in both the subgraph and the original graph. Let G be a cyclically 6-edge-connected cubic graph. Steffen (Intersecting 1-factors and nowhere-zero 5-flows 1306.5645 , 2013 ) proved that G has a nowhere-zero 5-flow if G has two perfect matchings with at most two intersections. In this paper, we show that G has a nowhere-zero 5-flow if G has two parity subgraphs with at most two common edges, which generalizes Steffen’s result.
A Conjecture on Zero-sum 3-magic Labeling of 5-regular Graphs

Guanghuang Dong,Ning Wang

DOI: https://doi.org/10.48550/arXiv.1406.6870

2014-06-26

Abstract:In this paper, we obtained that every 5-regular graph admits a zero-sum 3-magic labeling, which give an affirmative answer to a conjecture proposed by Saieed Akbari, Farhad Rahmati and Sanaz Zare in $Electron.$ $J.$ $Combin.$.

Combinatorics
Non-conflicting no-where zero $Z_2\times Z_2$ flows in cubic graphs

Vahan Mkrtchyan

2024-10-06

Abstract:Let $Z_2\times Z_2=\{0, \alpha, \beta, \alpha+\beta\}$. If $G$ is a bridgeless cubic graph, $F$ is a perfect matching of $G$ and $\overline{F}$ is the complementary 2-factor of $F$, then a no-where zero $Z_2\times Z_2$-flow $\theta$ of $G/\overline{F}$ is called non-conflicting with respect to $\overline{F}$, if $\overline{F}$ contains no edge $e=uv$, such that $u$ is incident to an edge with $\theta$-value $\alpha$ and $v$ is incident to an edge with $\theta$-value $\beta$. In this paper, we demonstrate the usefulness of non-conflicting flows by showing that if a cubic graph $G$ admits such a flow with respect to some perfect matching $F$, then $G$ admits a normal 6-edge-coloring. We use this observation in order to show that claw-free bridgeless cubic graphs, bridgeless cubic graphs possessing a 2-factor having at most two cycles admit a normal 6-edge-coloring. We demonstrate the usefulness of non-conflicting flows further by relating them to a recent conjecture of Thomassen about edge-disjoint perfect matchings in highly connected regular graphs. In the end of the paper, we construct infinitely many 2-edge-connected cubic graphs such that $G/\overline{F}$ does not admit a non-conflicting no-where zero $Z_2\times Z_2$-flow with respect to any perfect matching $F$.

Combinatorics,Discrete Mathematics
Sparsity of 3-flow critical graphs

Zdeněk Dvořák,Sergey Norin

2024-03-30

Abstract:A connected graph G is 3-flow-critical if G does not have a nowhere-zero 3-flow, but every proper contraction of G does. We prove that every n-vertex 3-flow-critical graph other than K_2 and K_4 has at least 5n/3 edges. This bound is tight up to lower-order terms, answering a question of Li et al. (2022). It also generalizes the result of Koester (1991) on the maximum average degree of 4-critical planar graphs.

Combinatorics
Integer flows on triangularly connected signed graphs

Liangchen Li,Chong Li,Rong Luo,Cun‐Quan Zhang

DOI: https://doi.org/10.1002/jgt.23076

2024-02-10

Journal of Graph Theory

Abstract:A triangle‐path in a graph G is a sequence of distinct triangles T 1 , T 2 , ... , T m in G such that for any i , j with 1 ≤ i < j ≤ m , ∣ E( T i ) ∩ E( Ti + 1 ) ∣ = 1 and E( T i ) ∩ E( T j ) = ∅ if j > i + 1 . A connected graph G is triangularly connected if for any two nonparallel edges e and e ′ there is a triangle‐path T 1 T 2 ⋯ T m such that e ∈ E( T 1 ) and e ′ ∈ E( T m ) . For ordinary graphs, Fan et al. characterize all triangularly connected graphs that admit nowhere‐zero 3‐flows or 4‐flows. Corollaries of this result include the integer flow of some families of ordinary graphs, such as locally connected graphs due to Lai and some types of products of graphs due to Imrich et al. In this paper, Fan's result for triangularly connected graphs is further extended to signed graphs. We proved that a flow‐admissible triangularly connected signed graph admits a nowhere‐zero 4‐flow if and only if it is not the wheel W 5 associated with a specific signature. Moreover, this result is sharp since there are infinitely many unbalanced triangularly connected signed graphs admitting a nowhere‐zero 4‐flow but no 3‐flow.

mathematics
A new proof of Seymour's 6-flow theorem

Matt DeVos,Edita Rollová,Robert Šámal

DOI: https://doi.org/10.48550/arXiv.1512.06214

2015-12-19

Abstract:Tutte's famous 5-flow conjecture asserts that every bridgeless graph has a nowhere-zero 5-flow. Seymour proved that every such graph has a nowhere-zero 6-flow. Here we give (two versions of) a new proof of Seymour's Theorem. Both are roughly equal to Seymour's in terms of complexity, but they offer an alternative perspective which we hope will be of value.

Combinatorics
On Whether Zero is in the Global Attractor of the 2D Navier-Stokes Equations

Ciprian Foias,Michael S. Jolly,Yong Yang,Bingsheng Zhang

DOI: https://doi.org/10.1088/0951-7715/27/11/2755

2014-01-01

Nonlinearity

Abstract:The set of nonzero external forces for which the zero function is in the global attractor of the two-dimensional Navier-Stokes equations is shown to be meagre in a Frechet topology. A criterion in terms of a Taylor expansion in complex time is used to characterize the forces in this set. This leads to several relations between certain Gevrey subclasses of C-infinity and a new upper bound for a Gevrey norm of solutions in the attractor, valid in the strip of analyticity in time.
A conjecture related to the nilpotency of groups with isomorphic non-commuting graphs

Valentina Grazian,Carmine Monetta

2023-07-03

Abstract:In this work we discuss whether the non-commuting graph of a finite group can determine its nilpotency. More precisely, Abdollahi, Akbari and Maimani conjectured that if $G$ and $H$ are finite groups with isomorphic non-commuting graphs and $G$ is nilpotent, then $H$ must be nilpotent as well (Conjecture 2). We pose a new conjecture (Conjecture 3) that, together with the assumption $|Z(G)|\geq|Z(H)|$, implies Conjecture 2 and we prove it for groups in which all centralizers of non-central elements are abelian.

Group Theory,Combinatorics
On Fan's conjecture about $4$-flow

Deping Song,Shuang Li,Xiao Wang

2023-06-20

Abstract:Let $G$ be a bridgeless graph, $C$ is a circuit of $G$. Fan proposed a conjecture that if $G/C$ admits a nowhere-zero 4-flow, then $G$ admits a 4-flow $(D,f)$ such that $E(G)-E(C)\subseteq$ supp$(f)$ and $|\textrm{supp}(f)\cap E(C)|>\frac{3}{4}|E(C)|$. The purpose of this conjecture is to find shorter circuit cover in bridgeless graphs. Fan showed that the conjecture holds for $|E(C)|\le19.$ Wang, Lu and Zhang showed that the conjecture holds for $|E(C)|\le 27$. In this paper, we prove that the conjecture holds for $|E(C)|\le 35.$

Combinatorics
A lower bound for the complex flow number of a graph: A geometric approach

Davide Mattiolo,Giuseppe Mazzuoccolo,Jozef Rajník,Gloria Tabarelli

DOI: https://doi.org/10.1002/jgt.23075

2024-02-06

Journal of Graph Theory

Abstract:Let r≥2 be a real number. A complex nowhere‐zero r ‐flow on a graph G is an orientation of G together with an assignment φ:E(G)→C such that, for all e∈E(G) , the Euclidean norm of the complex number φ(e) lies in the interval [1,r−1] and, for every vertex, the incoming flow is equal to the outgoing flow. The complex flow number of a bridgeless graph G , denoted by φC(G) , is the minimum of the real numbers r such that G admits a complex nowhere‐zero r ‐flow. The exact computation of φC seems to be a hard task even for very small and symmetric graphs. In particular, the exact value of φC is known only for families of graphs where a lower bound can be trivially proved. Here, we use geometric and combinatorial arguments to give a nontrivial lower bound for φC(G) in terms of the odd‐girth of a cubic graph G (i.e., the length of a shortest odd cycle) and we show that this lower bound is tight. This result relies on the exact computation of the complex flow number of the wheel graph Wn . In particular, we show that for every odd n , the value of φC(Wn) arises from one of three suitable configurations of points in the complex plane according to the congruence of n modulo 6.

mathematics
Proof of Hofer-Wysocki-Zehnder's two or infinity conjecture

Dan Cristofaro-Gardiner,Umberto Hryniewicz,Michael Hutchings,Hui Liu

2024-03-22

Abstract:We prove that every Reeb flow on a closed connected three-manifold has either two or infinitely many simple periodic orbits, assuming that the associated contact structure has torsion first Chern class. As a special case, we prove a conjecture of Hofer-Wysocki-Zehnder published in 2003 asserting that a smooth and autonomous Hamiltonian flow on $\mathbb{R}^4$ has either two or infinitely many simple periodic orbits on any regular compact connected energy level that is transverse to the radial vector field. Other corollaries settle some old problems about Finsler metrics: we show that every Finsler metric on $S^2$ has either two or infinitely many prime closed geodesics; and we show that a Finsler metric on $S^2$ with at least one closed geodesic that is not irrationally elliptic must have infinitely many prime closed geodesics. The novelty of our work is that we do not make any nondegeneracy hypotheses.

Symplectic Geometry,Dynamical Systems
Z3-connectivity of 4-Edge-connected 2-Triangular Graphs

Xinmin Hou,Hong-Jian Lai,Mingquan Zhan,Taoye Zhang,Ju Zhou

DOI: https://doi.org/10.1016/j.ejc.2011.09.041

IF: 0.89

2011-01-01

European Journal of Combinatorics

Abstract:A graph G is k-triangular if each edge of G is in at least k triangles. It is conjectured that every 4-edge-connected 1-triangular graph admits a nowhere-zero Z3-flow. However, it has been proved that not all such graphs are Z3-connected. In this paper, we show that every 4-edge-connected 2-triangular graph is Z3-connected. The result is best possible. This result provides evidence to support the Z3-connectivity conjecture by Jaeger et al that every 5-edge-connected graph is Z3-connected.
Unique Normal Form of A Class of 3 Dimensional Vector Fields with Symmetries

Jing Li,Lina Zhang,Duo Wang

DOI: https://doi.org/10.1016/j.jde.2014.05.039

IF: 2.615

2014-01-01

Journal of Differential Equations

Abstract:We present the unique normal form of a class of 3 dimensional vector fields (BT-zero singularity) with symmetries. The main technique applied to the computation is the combination of a linear grading function and the method of multiple Lie brackets. We introduce new notations for block matrices to simplify the expression of block matrices. The new notations help to prove the non-degeneracy of huge size matrices by an induction technique.
Another conjecture of TxGraffiti concerning zero forcing and domination in graphs

Randy R. Davila

2024-06-27

Abstract:This paper proves a conjecture generated by the artificial intelligence conjecturing program called \emph{TxGraffiti}. More specifically, we show that if $G$ is a connected, cubic, and claw-free graph, then $Z(G) \le \gamma(G) + 2$, where $Z(G)$ and $\gamma(G)$ denote the zero forcing number and the domination number of $G$, respectively. Furthermore, we provide a complete characterization of graphs that achieve this bound. Notably, this bound improves the known upper bounds for the zero forcing number of connected, cubic, and claw-free graphs.

Combinatorics

Nowhere-zero 3-flows in nilpotently vertex-transitive graphs

Flows in 3-edge-connected bidirected graphs

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

Fixed Subgroups of 3-Manifold Group Automorphisms

Nowhere-zero flows in signed graphs: A survey

A short proof of Seymour's 6-flow theorem

Another proof of Seymour's 6‐flow theorem

Parity Subgraphs with Few Common Edges and Nowhere-Zero 5-Flow

A Conjecture on Zero-sum 3-magic Labeling of 5-regular Graphs

Non-conflicting no-where zero $Z_2\times Z_2$ flows in cubic graphs

Sparsity of 3-flow critical graphs

Integer flows on triangularly connected signed graphs

A new proof of Seymour's 6-flow theorem

On Whether Zero is in the Global Attractor of the 2D Navier-Stokes Equations

A conjecture related to the nilpotency of groups with isomorphic non-commuting graphs

On Fan's conjecture about $4$-flow

A lower bound for the complex flow number of a graph: A geometric approach

Proof of Hofer-Wysocki-Zehnder's two or infinity conjecture

Z3-connectivity of 4-Edge-connected 2-Triangular Graphs

Unique Normal Form of A Class of 3 Dimensional Vector Fields with Symmetries

Another conjecture of TxGraffiti concerning zero forcing and domination in graphs