arXiv++ Combinatorics

Given a partition $h_1+h_2+\dots+h_k = n$, a latin square of order $n$ with pairwise disjoint subsquares of orders $h_1,\dots ,h_k$ is called a realization. When the values $h_i$ are of at most two sizes, the existence of a realization has been completely determined. However, the existence of a latin cube with pairwise disjoint subcubes of two orders is only partially solved. In this paper, we determine existence for such latin cubes in almost all cases.

A weak $c$-colouring of a design is an assignment of colours to its points from a set of $c$ available colours, such that there are no monochromatic blocks. A colouring of a design is block-equitable, if for each block, the number of points coloured with any available pair of colours differ by at most one. Weak and block-equitable colourings of balanced incomplete block designs have been previously considered. In this paper, we extend these concepts to group divisible designs (GDDs) and packing designs. We first determine when a $k$-GDD of type $g^u$ can have a block-equitable $c$-colouring. We then give a direct construction of maximum block-equitable $2$-colourable packings with block size $4$; a recursive construction has previously appeared in the literature. We also generalise a bound given in the literature for the maximum size of block-equitably $2$-colourable packings to $c>2$. Furthermore, we establish the asymptotic existence of uniform $k$-GDDs with arbitrarily many groups and arbitrary chromatic numbers (with the exception of $c=2$ and $k=3$). A structural analysis of $2$- and $3$-uniform $3$-GDDs obtained from 4-chromatic STS$(v)$ where $v\in\{21,25,27,33,37,39\}$ is given. We briefly discuss weak colourings of packings, and finish by considering some further constraints on weak colourings of GDDs, namely requiring all groups to be either monochromatic or equitably coloured.

Given an integer partition $P = (h_1h_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\geq h_4\geq\dots\geq h_k$ then a realization of $P$ always exists. We prove this conjecture, and thus show the existence of realizations for many general partitions.

A multi-latin square of order $n$ and index $k$ is an $n\times n$ array of multisets, each of cardinality $k$, such that each symbol from a fixed set of size $n$ occurs $k$ times in each row and $k$ times in each column. A multi-latin square of index $k$ is also referred to as a $k$-latin square. A $1$-latin square is equivalent to a latin square, so a multi-latin square can be thought of as a generalization of a latin square. In this note we show that any partially filled-in $k$-latin square of order $m$ embeds in a $k$-latin square of order $n$, for each $n\geq 2m$, thus generalizing Evans' Theorem. Exploiting this result, we show that there exist non-separable $k$-latin squares of order $n$ for each $n\geq k+2$. We also show that for each $n\geq 1$, there exists some finite value $g(n)$ such that for all $k\geq g(n)$, every $k$-latin square of order $n$ is separable. We discuss the connection between $k$-latin squares and related combinatorial objects such as orthogonal arrays, latin parallelepipeds, semi-latin squares and $k$-latin trades. We also enumerate and classify $k$-latin squares of small orders.