Toward a Three-dimensional Counterpart of Cruse's Theorem

Abstract

Completing partial latin squares is NP-complete. Motivated by Ryser's theorem for latin rectangles, in 1974, Cruse found conditions that ensure a partial symmetric latin square of order $m$ can be embedded in a symmetric latin square of order $n$. Loosely speaking, this results asserts that an $n$-coloring of the edges of the complete $m$-vertex graph $K_m$ can be embedded in a one-factorization of $K_n$ if and only if $n$ is even and the number of edges of each color is at least $m-n/2$. We establish necessary and sufficient conditions under which an edge-coloring of the complete $\lambda$-fold $m$-vertex 3-graph $\lambda K_m^3$ can be embedded in a one-factorization of $\lambda K_n^3$. In particular, we prove the first known Ryser type theorem for hypergraphs by showing that if $n\equiv 0(\mathrm{mod}3)$, any edge-coloring of $\lambda K_m^3$ where the number of triples of each color is at least $m/2-n/6$, can be embedded in a one-factorization of $\lambda K_n^3$. Finally we prove an Evans type result by showing that if $n\equiv 0(\mathrm{mod}3)$ and $n\ge 3m$, then any $q$-coloring of the edges of any $F\subseteq \lambda K_m^3$ can be embedded in a one-factorization of $\lambda K_n^3$ as long as $q\le \lambda \left(\genfrac{}{}{0ex}{}{n-1}{2}\right)-\lambda \left(\genfrac{}{}{0ex}{}{m}{3}\right)/\lfloor m/3\rfloor$.

12 pages

References in corpus (6)

• Detachments of Hypergraphs I: The Berge-Johnson Problem
• Embedding factorizations for 3-uniform hypergraphs
• Constructions of Pairs of Orthogonal Latin Cubes
• On the numbers of 1-factors and 1-factorizations of hypergraphs
• Embedding in $q$-ary $1$-perfect codes and partitions
• Embedding in MDS codes and Latin cubes