arXiv++ Combinatorics

Which $2$-regular subgraph $R$ of a cubic graph $G$ can be extended to a cycle double cover of $G$? We provide a condition which ensures that every $R$ satisfying this condition is part of a cycle double cover of $G$. As one consequence, we prove that every $2$-connected cubic graph which has a decomposition into a spanning tree and a $2$-regular subgraph $C$ consisting of $k$ circuits with $k\leq 3$, has a cycle double cover containing $C$.

A Hist in a cubic graph $G$ is a spanning tree $T$ which has only vertices of degree three and one. A snark with a Hist is called a Hist-snark, see \cite{HO}. We present several computer generated Hist-snarks which form generalizations of the Petersen graph. Moreover, we state some results on Hist-snarks which have been achieved with computer support.

Let $G$ be a cubic graph which has a decomposition into a spanning tree $T$ and a $2$-regular subgraph $C$, i.e. $E(T) \cup E(C) = E(G)$ and $E(T) \cap E(C) = \emptyset$. We provide an answer to the following question: which lengths can the cycles of $C$ have if $G$ is a snark? Note that $T$ is a hist (i.e. a spanning tree without a vertex of degree two) and that every cubic graph with a hist has the above decomposition.

We show that every $2$-connected cubic graph $G$ has a cycle double cover if $G$ has a spanning subgraph $F$ such that (i) every component of $F$ has an even number of vertices (ii) every component of $F$ is either a cycle or a subdivision of a Kotzig graph and (iii) the components of $F$ are connected to each other in a certain general manner.

The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph and a matching. We show that this conjecture holds for the class of connected plane cubic graphs.

Let $G$ be a quadrangulation on an orientable surface and let $g$ be a proper vertex-$4$-coloring of $G$. A face $F$ of $G$ is said to be a rainbow-face if all four distinct colors appear on its boundary. A $(c_1,c_2,c_3,c_4)$-face in $G$ is a rainbow face with colors $c_i$, $i=1,2,3,4$ on the boundary in clockwise order. We show that the number of $(c_1,c_2,c_3,c_4)$-faces in $G$ equals the number of $(c_4,c_3,c_2,c_1)$-faces. This implies in particular that the number of rainbow-faces of $G$ is even.

A spanning tree without a vertex of degree two is called a Hist which is an abbreviation for homeomorphically irreducible spanning tree. We provide a necessary condition for the existence of a Hist in a cubic graph. As one consequence, we answer affirmatively an open question on Hists by Albertson, Berman, Hutchinson and Thomassen.

The disproved Nash Williams conjecture states that every 4-regular 4-connected graph has a hamiltonian cycle. We show that a modification of this conjecture is equivalent to the Dominating Cycle Conjecture.

We call a set $\mathcal S$ of graphs an "even subdivison-factor" of a cubic graph $G$ if $G$ contains a spanning subgraph $H$ such that every component of $H$ has an even number of vertices and is a subdivision of an element of $\mathcal S$. We show that any set of 2-connected graphs which is an even subdivison-factor of every 3-connected cubic graph, satisfies certain properties. As a consequence, we disprove a conjecture which was stated in an attempt to solve the circuit double cover conjecture.

The strong cycle double cover conjecture states that for every circuit $C$ of a bridgeless cubic graph $G$, there is a cycle double cover of $G$ which contains $C$. We conjecture that there is even a 5-cycle double cover $S$ of $G$ which contains $C$, i.e. $C$ is a subgraph of one of the five 2-regular subgraphs of $S$. We prove a necessary and sufficient condition for a 2-regular subgraph to be contained in a 5-cycle double cover of $G$.

A permutation snark is a snark which has a 2-factor $F_2$ consisting of two chordless circuits; $F_2$ is called the permutation 2-factor of $G$. We construct an infinite family $\mathcal H$ of cyclically 5-edge connected permutation snarks. Moreover, we prove for every member $G \in \mathcal H$ that the permutation 2-factor given by the construction of $G$ is not contained in any circuit double cover of $G$.