arXiv++ Combinatorics

Let $X,Y$ be finite sets, $r,s,h, λ\in \mathbb{N}$ with $s\geq r, X\subsetneq Y$. By $λ\binom{X}{h}$ we mean the collection of all $h$-subsets of $X$ where each subset occurs $λ$ times. A coloring of $λ\binom{X}{h}$ is {\it $r$-regular} if in every color class each element of $X$ occurs $r$ times. A one-regular color class is a {\it perfect matching}. We are interested in the necessary and sufficient conditions under which an $r$-regular coloring of $λ\binom{X}{h}$ can be embedded into an $s$-regular coloring of $λ\binom{Y}{h}$. Using algebraic techniques involving glueing together orbits of a suitably chosen cyclic group, the first author and Newman (Combinatorica 38 (2018), no. 6, 1309--1335) solved the case when $λ=1,r=s, \gcd (|X|,|Y|,h)=\gcd(|Y|,h)$. Using purely combinatorial techniques, we nearly settle the case $h=4$. Two major challenges include finding all the necessary conditions, and obtaining the exact bound for $|Y|$. It is worth noting that completing partial symmetric latin squares is closely related to the case $λ=r=s=1, h=2$ which was solved by Cruse (J. Comb. Theory Ser. A 16 (1974), 18--22).

A cycle of length $t$ in a hypergraph is an alternating sequence $v_1,e_1,v_2\dots,v_t,e_t$ of distinct vertices $v_i$ and distinct edges $e_i$ so that $\{v_i,v_{i+1}\}\subseteq e_i$ (with $v_{t+1}:=v_1$). Let $λK_n^h$ be the $λ$-fold $n$-vertex complete $h$-graph. Let $\mathcal G=(V,E)$ be a hypergraph all of whose edges are of size at least $h$, and $2\leq c_1\leq \dots\leq c_k\leq |V|$. In order to partition the edge set of $\mathcal G$ into cycles of specified lengths $c_1, \dots, c_k$, an obvious necessary condition is that $\sum_{i=1}^k c_i=|E|$. We show that this condition is sufficient in the following cases: (i) $h\geq \max\{c_k, \lceil n/2 \rceil+1\}$; (ii) $\mathcal G=λK_n^h$, $h\geq \lceil n/2 \rceil+2$; (iii) $\mathcal G=K_n^h$, $c_1= \dots=c_k:=c$, $c|n(n-1), n\geq 85$. In (ii), we guarantee that each cycle is almost regular. In (iii), we also solve the case where a "small" subset $L$ of edges of $K_n^h$ is removed.