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 non-isomorphic biminimal pots realizing the cube

In this paper, we disprove a conjecture recently proposed in [L. Almodovar et al., arXiv:2108.00035] on the non-existence of biminimal pots realizing the cube, namely pots with the minimum number of tiles and the minimum number of bond-edge types. In particular, we present two biminimal pots realizing the cube and show that these two pots are unique up to isomorphisms

Constructing uniform 2-factorizations via row-sum matrices: solutions to the Hamilton-Waterloo problem

In this paper, we formally introduce the concept of a row-sum matrix over an arbitrary group $G$. When $G$ is cyclic, these types of matrices have been widely used to build uniform 2-factorizations of small Cayley graphs (or, Cayley subgraphs of blown-up cycles), which themselves factorize complete (equipartite) graphs. Here, we construct row-sum matrices over a class of non-abelian groups, the generalized dihedral groups, and we use them to construct uniform $2$-factorizations that solve infinitely many open cases of the Hamilton-Waterloo problem, thus filling up large parts of the gaps in the spectrum of orders for which such factorizations are known to exist

A sharp upper bound for the harmonious total chromatic number of graphs and multigraphs

A proper total colouring of a graph $G$ is called harmonious if it has the further property that when replacing each unordered pair of incident vertices and edges with their colours, then no pair of colours appears twice. The smallest number of colours for it to exist is called the harmonious total chromatic number of $G$, denoted by $h_t(G)$. Here, we give a general upper bound for $h_t(G)$ in terms of the order $n$ of $G$. Our two main results are obvious consequences of the computation of the harmonious total chromatic number of the complete graph $K_n$ and of the complete multigraph $\lambda K_n$, where $\lambda$ is the number of edges joining each pair of vertices of $K_n$. In particular, Araujo-Pardo et al. have recently shown that $\frac{3}{2}n\leq h_t(K_n) \leq \frac{5}{3}n +\theta(1)$. In this paper, we prove that $h_t(K_{n})=\left\lceil \frac{3}{2}n \right\rceil$ except for $h_t(K_{1})=1$ and $h_t(K_{4})=7$; therefore, $h_t(G) \le \left\lceil \frac{3}{2}n \right\rceil$, for every graph $G$ on $n>4$ vertices. Finally, we extend such a result to the harmonious total chromatic number of the complete multigraph $\lambda K_n$ and as a consequence show that $h_t(\mathcal{G})\leq (\lambda-1)(2\left\lceil\frac{n}{2}\right\rceil-1)+\left\lceil\frac{3n}{2}\right\rceil$ for $n>4$, where $\mathcal{G}$ is a multigraph such that $\lambda$ is the maximum number of edges between any two vertices.Comment: 11 pages, 5 figure

2-Starters, Graceful Labelings, and a Doubling Construction for the Oberwolfach Problem

Every 1-rotational solution of a classic or twofold Oberwolfach problem (OP) of order n is generated by a suitable 2-factor (starter) of $K_n$ or $2K_n$, respectively. It is shown that any starter of a twofold OP of order n gives rise to a starter of a classic OP of order 2n-1 (doubling construction). It is also shown that by suitably modifying the starter of a classic OP, one may obtain starters of some other OPs of the same order but having different parameters. The combination of these two constructions leads to lots of new infinite classes of solvable OPs. Still more classes can be obtained with the help of a third construction making use of the possible gracefulness of a graph whose connected components are cycles and at most one path. As one of the many applications, Hilton and Johnson's [J London Math Soc, 64 (2001) 513–522] bound $s\geq 5r-1$ about the solvability of OP(r,s) is improved to $s \geq \lfloor r/4 \rfloor + 10$ in the case of r even