Latin squares with three disjoint subsquares of the same order

Abstract

Given an integer partition $P=(h_1{h}_2\dots h_k)$ of $n$, a realization of $P$ is a latin square with disjoint subsquares of orders $h_1,h_2,\dots ,h_k$. Most known results restrict either $k$ or the number of different integers in $P$. There is little known for partitions with arbitrary $k$ and subsquares of at least three orders. It has been conjectured that if $h_1=h_2=h_3\ge h_4\ge \cdots \ge h_k$ then a realization of $P$ always exists. We prove this conjecture, and thus show the existence of realizations for many general partitions.

11 pages