arXiv++ Combinatorics

Let $r\geq 2$ be an integer. An $r$-partite graph $Γ$ with vertex partition $V_1,\ldots,V_r$ is $2$-balanced if there exists a positive integer $n$ such that $n\leq |V_i|\leq 2n$ for every $i\in[r]$. For an integer $\ell\geq3$, let $C_\ell$ denote the cycle of length $\ell$, and define $\hatδ(Γ)=\min\{d_Γ(v,V_i)/|V_i|:i\in[r],\ v\in V(Γ)\setminus V_i\}$. Let $\hatδ^r_{C_\ell}$ denote the $C_\ell$-decomposition threshold for $2$-balanced $r$-partite graphs, that is, the least nonnegative real number $δ$ such that, for every $\varepsilon>0$, there exists $n_0$ such that every $C_\ell$-divisible $2$-balanced $r$-partite graph $G$ with $\min_i|V_i|>n_0$ and $\hatδ(G)\geqδ+\varepsilon$ admits a $C_\ell$-decomposition. We prove that $\hatδ^{r}_{C_4}=\frac{2}{3}$ and $\hatδ^{r}_{C_{2k}}=\frac{1}{2}$ for every $r\geq2$ and every $k\geq3$.

A partial Latin square of order $n$ is called $ε$-dense if each row and each column contains at most $εn$ filled cells, and each symbol occurs at most $εn$ times. A partial Latin square is said to be completable if its empty cells can be filled to obtain a Latin square. Daykin and Häggkvist conjectured that every $\frac{1}{4}$-dense partial Latin square is completable. In this paper, we show that for all sufficiently large integers $n$, every $\frac{2}{25}$-dense partial Latin square of order $n$ is completable. The proof is obtained by establishing that there exists an $η> 0$ such that every triangle-divisible balanced tripartite graph on $3n$ vertices with partite minimum degree at least $(\frac{23}{25}-η)n$ admits a fractional triangle decomposition.

This paper concerns fractional $K_s$-decompositions of multipartite graphs. For integers $r\ge s\ge 3$, we consider balanced $r$-partite graphs $G$ on $rn$ vertices. We establish necessary conditions for $G$ to admit a fractional $K_s$-decomposition, extending the notion of $s$-admissibility from the case $r=s$ to $r>s$. Using an association scheme on the edge set of a complete $r$-partite graph, we prove that if $r\ge s+2$ and the partite minimum degree of $G$ is at least $(1-c)n$ with $c\le 1/((s-2)(s+1)(s-1)^4)$, then $G$ has a fractional $K_s$-decomposition. For $r=s+1$, we show that under the condition $c\le 1/(3s^3(s-2)^2)$, every $s$-admissible balanced $(s+1)$-partite graph with partite minimum degree at least $(1-c)n$ admits a fractional $K_s$-decomposition. These results provide new degree thresholds for fractional $K_s$-decompositions of multipartite graphs with more than $s$ parts.

Let $a$, $b$ and $c$ be positive integers. Let $(G,+)$ be a finite abelian group of order $abc$. A $G$-magic rectangle set MRS$_G(a,b;c)$ is a collection of $c$ arrays of size $a\times b$ whose entries are elements of a group $G$, each appearing exactly once, such that the sum of each row in every array equals a constant $γ\in G$ and the sum of each column in every array equals a constant $δ\in G$. This paper establishes the necessary and sufficient conditions for the existence of an MRS$_G(a,b;c)$ for any finite abelian group $G$, thereby confirming a conjecture presented by Cichacz and Hinc.