The Hamilton-Waterloo Problem with even cycle lengths

The Hamilton-Waterloo Problem HWP$(v;m,n;\alpha,\beta)$ asks for a 2-factorization of the complete graph $K_v$ or $K_v-I$, the complete graph with the edges of a 1-factor removed, into $\alpha$ $C_m$-factors and $\beta$ $C_n$-factors, where $3 \leq m < n$. In the case that $m$ and $n$ are both even, the problem has been solved except possibly when $1 \in \{\alpha,\beta\}$ or when $\alpha$ and $\beta$ are both odd, in which case necessarily $v \equiv 2 \pmod{4}$. In this paper, we develop a new construction that creates factorizations with larger cycles from existing factorizations under certain conditions. This construction enables us to show that there is a solution to HWP$(v;2m,2n;\alpha,\beta)$ for odd $\alpha$ and $\beta$ whenever the obvious necessary conditions hold, except possibly if $\beta=1$; $\beta=3$ and $\gcd(m,n)=1$; $\alpha=1$; or $v=2mn/\gcd(m,n)$. This result almost completely settles the existence problem for even cycles, other than the possible exceptions noted above

On uniformly resolvable (C4,K1,3)(C_4,K_{1,3})-designs

In this paper we consider the uniformly resolvable decompositions of the complete graph $K_v$ minus a 1-factor $(K_v − I)$ into subgraphs where each resolution class contains only blocks isomorphic to the same graph. We completely determine the spectrum for the case in which all the resolution classes consist of either 4-cycles or 3-stars

Infinitely many cyclic solutions to the Hamilton-Waterloo problem with odd length cycles

It is conjectured that for every pair $(\ell,m)$ of odd integers greater than 2 with $m \equiv 1\; \pmod{\ell}$, there exists a cyclic two-factorization of $K_{\ell m}$ having exactly $(m-1)/2$ factors of type $\ell^m$ and all the others of type $m^{\ell}$. The authors prove the conjecture in the affirmative when $\ell \equiv 1\; \pmod{4}$ and $m \geq \ell^2 -\ell + 1$.Comment: 31 page

On the Hamilton-Waterloo problem: the case of two cycles sizes of different parity

The Hamilton-Waterloo problem asks for a decomposition of the complete graph of order v into r copies of a 2-factor F1 and s copies of a 2-factor F2 such that r+s = v−1 2 . If F1 consists of m-cycles and F2 consists of n cycles, we say that a solution to (m, n)- HWP(v; r, s) exists. The goal is to find a decomposition for every possible pair (r, s). In this paper, we show that for odd x and y, there is a solution to (2kx, y)-HWP(vm; r, s) if gcd(x, y) ≥ 3, m ≥ 3, and both x and y divide v, except possibly when 1 ∈ {r, s}