arXiv++ Combinatorics

It is shown that if $F$ denotes the number of filled cells in a superimposed pair of maximal orthogonal partial Latin squares of order $n$, then $F\ge n^2/3$. This resolves a conjecture raised in an earlier paper by the current authors. It is also shown that, for $n\ge 21$, the least possible number of filled cells in a pair of maximal orthogonal partial Latin squares is $\lceil n^2/3 \rceil$, and that the structure that achieves this bound is unique up to permutations of rows, columns and entries.

We show that any partial Latin square of order $n$ can be embedded in a Latin square of order at most $16n^2$ which has at least $2n$ mutually orthogonal mates. We also show that for any $t\geq 2$, a pair of orthogonal partial Latin squares of order $n$ can be embedded into a set of $t$ mutually orthogonal Latin squares (MOLS) of order a polynomial with respect to $n$. Furthermore, the constructions that we provide show that MOLS($n^2$)$\geq$MOLS($n$)+2, consequently we give a set of $9$ MOLS($576$). The maximum known size of a set of MOLS($576$) was previously given as $8$ in the literature.

For an $m$-cycle $C$, an inside $m$-cycle of $C$ is a cycle on the same vertex set, that is edge-disjoint from $C$. In an $m$-cycle system, $(\mathcal{X}, \mathcal{C})$, if inside $m$-cycles can be chosen -one for each cycle- to form another $m$-cycle system, then $(\mathcal{X}, \mathcal{C})$ is called an almost $2$-perfect $m$-cycle system. Almost $2$-perfect cycle systems can be considered as generalisations of $2$-perfect cycle systems. Cycle packings are generalisations of cycle systems that allow to have leaves after decomposition. In this paper, we prove that an almost $2$-perfect maximum packing of $K_n$ with $8$-cycles of order $n$ exists for each $n\geq 8$. We also construct a maximum $8$-cycle packing of order $n$ which is not almost $2$-perfect for each $n \geq 10$.