On Hamilton cycle decompositions of complete multipartite graphs which are both cyclic and symmetric

Let G be a graph with v vertices. A Hamilton cycle of a graph is a collection of edges which create a cycle using every vertex. A Hamilton cycle decomposition is cyclic if the set of cycle is invariant under a full length permutation of the vertex set. We say a decomposition is symmetric if all the cycles are invariant under an appropriate power of the full length permutation. Such decompositions are known to exist for complete graphs and families of other graphs. In this work, we show the existence of cyclic n-symmetric Hamilton cycle decompositions of a family of graphs, the complete multipartite graph Km×n where the number of parts, m, is odd and the part size, n, is also odd. We classify the existence where m is prime and prove the existence in additional cases where m is a composite odd integer

A Generalization of the Hamilton-Waterloo Problem on Complete Equipartite Graphs

The Hamilton-Waterloo problem asks for which $s$ and $r$ the complete graph $K_n$ can be decomposed into $s$ copies of a given 2-factor $F_1$ and $r$ copies of a given 2-factor $F_2$ (and one copy of a 1-factor if $n$ is even). In this paper we generalize the problem to complete equipartite graphs $K_{(n:m)}$ and show that $K_{(xyzw:m)}$ can be decomposed into $s$ copies of a 2-factor consisting of cycles of length $xzm$; and $r$ copies of a 2-factor consisting of cycles of length $yzm$, whenever $m$ is odd, $s,r\neq 1$, $\gcd(x,z)=\gcd(y,z)=1$ and $xyz\neq 0 \pmod 4$. We also give some more general constructions where the cycles in a given two factor may have different lengths. We use these constructions to find solutions to the Hamilton-Waterloo problem for complete graphs

Theta Graph Designs

We solve the design spectrum problem for all theta graphs with 10, 11, 12, 13, 14 and 15 edges

Cyclic cycle systems of the complete multipartite graph

In this paper, we study the existence problem for cyclic $\ell$-cycle decompositions of the graph $K_m[n]$, the complete multipartite graph with $m$ parts of size $n$, and give necessary and sufficient conditions for their existence in the case that $2\ell \mid (m-1)n$