---
title: Cycle Odd-Cover in Eulerian Graphs
url: https://www.emergentmind.com/topics/cycle-odd-cover
type: topic
---

# Cycle Odd-Cover in Eulerian Graphs

Cycle odd-cover is a parity-based cycle decomposition notion in graph theory. In the formulation introduced for Eulerian graphs, a cycle odd-cover of \(G\) is a collection of cycles whose symmetric difference of edge sets is \(E(G)\), and the minimum size of such a collection is denoted \(c_2(G)\). The notion is part of a broader mod-\(2\) covering framework that also includes path odd-covers and, in a distinct line of work, odd covers of cycle graphs by bicliques rather than by cycles [2306.06487, 2202.09822]. A central theme across these formulations is that “odd” refers to parity of coverage under symmetric difference, not to the lengths of the covering cycles.

## 1. Definition, domain, and basic parameters

For an Eulerian graph \(G\), a cycle odd-cover is a collection of cycles whose symmetric difference of edge sets is \(E(G)\). Its minimum cardinality is denoted
\[
c_2(G).
\]
The cycle version is only defined for Eulerian graphs, because the class of Eulerian graphs is closed under symmetric difference [2306.06487].

The same work introduces two relaxed variants. For a subdivision \(H\) of \(G\), \(c_{2,\mathrm{top}}(G)\) is the minimum of \(c_2(H)\). For graphs obtained by adding isolated vertices, \(c_{2,\mathrm{iso}}(G)\) is the minimum of \(c_2(H)\). These are the cycle analogues of the topological and isolated-vertex relaxations defined first for path odd-covers [2306.06487].

| Parameter | Meaning | Scope |
|---|---|---|
| \(c_2(G)\) | minimum size of a cycle odd-cover | Eulerian graphs |
| \(c_{2,\mathrm{top}}(G)\) | minimum \(c_2(H)\) over subdivisions \(H\) of \(G\) | Eulerian graphs |
| \(c_{2,\mathrm{iso}}(G)\) | minimum \(c_2(H)\) after adding isolated vertices | Eulerian graphs |

This formulation is fundamentally mod-\(2\): the covering object is not a multiset with prescribed exact multiplicities, but a family whose edge sets sum to \(E(G)\) over \(\mathbb F_2\). A plausible implication is that cycle odd-cover is best viewed as a parity-decomposition parameter rather than as a classical cover parameter in the exact-multiplicity sense.

## 2. Extremal bounds and exact statements for Eulerian graphs

The main cycle results currently recorded for this notion are three bounds stated for every Eulerian graph \(G\):
\[
\text{(1) } c_{2,\mathrm{top}}(G)=\Delta(G), \text{ provided } G \text{ is not a union of two or more vertex-disjoint cycles;}
\]
\[
\text{(2) } c_{2,\mathrm{iso}}(G)\le \mathrm{la}(G);
\]
\[
\text{(3) } c_2(G)\le \Delta(G).
\]
Here \(\Delta(G)\) is the maximum degree and \(\mathrm{la}(G)\) is the linear arboricity [2306.06487].

The same source notes the immediate lower bound
\[
c_2(G)\ge \frac{\Delta(G)}{2},
\]
and explicitly says that \(\Delta(G)/2\) is also a lower bound for \(c_{2,\mathrm{top}}(G)\) and \(c_{2,\mathrm{iso}}(G)\) [2306.06487].

The topological parameter is therefore pinned down exactly:
\[
c_{2,\mathrm{top}}(G)=\Delta(G)
\]
except in the special case where \(G\) is a union of two or more vertex-disjoint cycles, where the theorem does not claim equality [2306.06487]. This exactness is structurally notable because the ordinary parameter \(c_2(G)\) is only given an upper bound in the same theorem, whereas the topological relaxation is completely resolved outside that exceptional family.

## 3. Transfer from path odd-covers and proof architecture

The cycle theory is presented as a transfer of the path odd-cover machinery. For paths, the odd-cover number \(p_2(G)\) is the minimum cardinality of a collection of paths whose vertex sets are contained in \(V(G)\) and whose symmetric difference of edge sets is \(E(G)\). The analogous topological theorem for paths is
\[
p_{2,\mathrm{top}}(G)=\max \left\{ \frac{v_{\text{odd}}(G)}{2}, \left\lceil \frac{\Delta(G)}{2}\right\rceil \right\}
\]
for all graphs \(G\) except the trivial case of a disjoint union of at least one cycle with at most one path, while the general upper bound is
\[
p_2(G)\le \max \left\{ v_{\text{odd}}(G), 2\left\lceil \frac{\Delta(G)}{2}\right\rceil \right\}
\]
[2306.06487].

For cycles, the proof of
\[
c_2(G)\le \Delta(G)
\]
transfers the path ideas by first decomposing an Eulerian graph into sets of vertex-disjoint cycles covering the maximum-degree vertices, then converting the path-based odd-cover constructions into cycle-based ones. Concretely, the argument uses repeated applications of the lemma that every Eulerian graph contains a set of vertex-disjoint cycles containing all maximum-degree vertices, and then each such set of cycles can be odd-covered by two paths; joining the two common endpoints of those paths produces two cycles. Iterating this over all cycle layers yields a cycle odd-cover with exactly \(\Delta(G)\) cycles [2306.06487].

The cycle story is correspondingly cleaner than the path story. For paths, the odd-degree vertices and the maximum degree “compete” in the upper and lower bounds. For cycles, no such competition is needed because Eulerian graphs have \(v_{\text{odd}}(G)=0\), so the resulting statements are framed only in terms of \(\Delta(G)\) and \(\mathrm{la}(G)\) [2306.06487].

## 4. Odd covers of cycle graphs by bicliques

A distinct literature uses “odd cover” in a biclique-decomposition sense. Given a finite simple graph \(G\), an odd cover of \(G\) is a collection of complete bipartite graphs, or bicliques, in which each edge of \(G\) appears in an odd number of bicliques and each non-edge of \(G\) appears in an even number of bicliques. The minimum cardinality is denoted \(b_2(G)\) [2202.09822].

A central lower bound is
\[
b_2(G)\ge \frac{1}{2}r_2(G),
\]
where
\[
r_2(G)=\operatorname{rank}_{\mathbb F_2}(A(G))
\]
is the \(\mathbb F_2\)-rank of the adjacency matrix. For cycle graphs, the paper gives exact values:
\[
b_2(C_n)=\frac{n-2}{2}\quad \text{for even } n,
\]
and
\[
b_2(C_n)=\frac{n+1}{2}\quad \text{for odd } n
\]
[2202.09822].

Thus even and odd cycles behave differently. For even \(n\), the rank lower bound is exact. For odd \(n\), the exact value is one more than the rank lower bound. The upper bound construction for odd cycles uses \((n-1)/2\) copies of \(K_{1,2}\) and one copy of \(K_{1,1}\), while the lower bound is obtained by analyzing an arbitrary odd cover \(\mathscr B\), selecting a biclique \(B=(X,Y)\) with both \(|X|\) and \(|Y|\) odd, and proving
\[
r_2(C_n\triangle B)\ge n-1,
\]
which forces
\[
b_2(C_n)\ge \frac{n+1}{2}
\]
[2202.09822].

This biclique-based theory is not the same object as cycle odd-cover in the sense of \(c_2(G)\), but it is directly relevant whenever the graph being covered is itself a cycle.

## 5. Disjoint unions of cycles and the even-core obstruction

The biclique odd-cover theory has also been pushed from single cycles to disjoint unions of cycles. If \(t\ge 1\) and \(\ell\ge 0\), then
\[
b_2\!\left(C_{2n_1+1}+\cdots+C_{2n_t+1}+C_{2m_1}+\cdots+C_{2m_\ell}\right)
= (n_1+\cdots+n_t)+(m_1+\cdots+m_\ell)-\ell+1.
\]
Here the \(C_{2n_i+1}\) are odd cycles, the \(C_{2m_j}\) are even cycles, and \(+\) means disjoint union [2408.08598].

Several consequences are immediate. A single odd cycle satisfies
\[
b_2(C_{2n+1})=n+1,
\]
while a single even cycle satisfies
\[
b_2(C_{2m})=\frac{r_2(C_{2m})}{2}=m-1.
\]
More generally, if a disjoint union of cycles contains at least one odd cycle, then its odd-cover number is exactly
\[
\frac{r_2(G)}{2}+1,
\]
whereas a union of even cycles is rank-tight [2408.08598].

The decisive structural tool is the notion of an even core. A nonempty set \(W\subseteq V(G)\) is an even core if every vertex of \(G\) has an even number of neighbors in \(W\). Equivalently, the rows of \(A_G\) indexed by \(W\) sum to \(0\) over \(\mathbb F_2\). The paper proves that if \(\mathcal O\) is a perfect odd cover, then every even core \(W\) must intersect both partite sets of every biclique in \(\mathcal O\) evenly; in particular, if some induced subgraph on an even core has an odd number of edges, then \(G\) cannot have a perfect odd cover [2408.08598].

Applied to disjoint unions of cycles, an odd cycle component is itself an even core and induces an odd number of edges. That obstruction explains the global \(+1\) correction term. This yields a sharp dichotomy: even-cycle components contribute exactly the rank bound, while the presence of any odd cycle forces one additional biclique [2408.08598].

## 6. Distinctions from cycle double covers and parity-constrained cycle-factors

Cycle odd-cover is often conflated with other parity-sensitive cycle notions, but the underlying requirements are different.

First, it is distinct from a cycle double cover. In a cycle double cover, every edge belongs to exactly two cycles. In the directed variant, every edge is covered exactly twice and the two covering cycles induce opposite orientations on that edge [1405.6929]. By contrast, cycle odd-cover in the sense of \(c_2(G)\) is a symmetric-difference condition on a family of cycles, defined only for Eulerian graphs [2306.06487].

Second, it is distinct from approximate or embedding-based relaxations of the Cycle Double Cover conjecture. In that framework, a bridgeless cubic graph is studied through embeddings and singular edges, and the central equivalence is that the CDC conjecture is equivalent to bridgeless cubic graphs having an embedding with no singular edge [2511.07285]. This is a defect-minimization relaxation of exact double covering, not a mod-\(2\) odd-cover parameter.

Third, it is distinct from parity-constrained cycle-factors. A cycle-factor is a collection of vertex-disjoint cycles covering the entire vertex set. The problem
\[
\exists\text{Odd Cycle-Factor}
\]
asks for a cycle-factor containing at least one odd cycle, whereas
\[
\forall\text{Odd Cycle-Factor}
\]
requires that all cycles be odd. These variants are NP-complete in directed, undirected, and mixed settings, except for the separate open status of the “at least one even cycle” problem in directed and undirected graphs [2510.18393].

These distinctions matter because the adjective “odd” can refer to three different features: odd multiplicity in a mod-\(2\) decomposition, odd cycle length inside a cycle-factor, or odd biclique coverage of the edge set of a graph. In the current graph-cover literature, cycle odd-cover most precisely refers to the Eulerian mod-\(2\) cycle decomposition measured by \(c_2(G)\), while “odd covers of cycles” refers to the biclique parameter \(b_2(C_n)\) and its extensions to disjoint unions of cycles [2306.06487, 2408.08598].

Source: https://www.emergentmind.com/topics/cycle-odd-cover