Abstract:cubic graph H is called a Kotzig graph if H has a circuit double cover consisting of three Hamilton circuits. It was first proved by Goddyn that if a cubic graph G contains a spanning subgraph H which is a subdivision of a Kotzig graph then G has a circuit double cover. A spanning subgraph H of a cubic graph G is called a Kotzig frame if the contracted graph G / H is even and every non-circuit component of H is a subdivision of a Kotzig graph. It was conjectured by Häggkvist and Markström (Kotzig Frame Conjecture, JCTB 2006) that if a cubic graph G contains a Kotzig frame, then G has a circuit double cover. This conjecture was verified for some special cases: it is proved by Goddyn if a Kotzig frame has only one component, by Häggkvist and Markström (JCTB 2006) if a Kotzig frame has at most one non-circuit component. In this paper, the Kotzig Frame Conjecture is further verified for some families of cubic graphs with Kotzig frames H of the following types: (i) a Kotzig frame H has at most two components; or (ii) the contracted graph G / H is a tree if parallel edges are identified as a single edge. The first result strengthens the theorem by Goddyn. The second result is a further generalization of the first result, and is a partial result to the Kotzig Frame Conjecture for frames with multiple Kotzig components.

5-Cycle Double Covers, 4-Flows, and Catlin Reduction.

Five-cycle Double Cover and Shortest Cycle Cover

Integer Flows and Cycle Covers

Rotation Snark, Berge-Fulkerson Conjecture and Catlin's 4-Flow Reduction

A proof of the Cycle Double Cover Conjecture

Note on Integer 4-Flows in Graphs

The cycle double cover conjecture from the perspective of percolation theory on iterated line graphs

Bound on shortest cycle covers

A Note on Shortest Cycle Covers of Cubic Graphs

Counting Circuit Double Covers

Berge-Fulkerson Coloring for Some Families of Superposition Snarks

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

Signed Cycle Double Covers

Spanning Cyclic Subdivisions of Vertex-Disjoint Cycles and Chorded Cycles in Graphs

Kotzig frames and circuit double covers

Tutte's 3-flow conjecture and short cycle covers

A Simple Proof for the Cycle Double Cover Conjecture

Short Cycle Covers Of Cubic Graphs

Two-Disjoint-Cycle-Cover Pancyclicity of Augmented Cubes

Berge–Fulkerson Coloring for Infinite Families of Snarks