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 $v\equiv 1$ or 3 (mod 6), maximum partial triple systems on $v$ points are Steiner triple systems, STS($v$)s. The 80 non-isomorphic STS(15)s were first enumerated around 100 years ago, but the next case for Steiner triple systems was unresolved until around 2004 when it was established that there are precisely 11084874829 non-isomorphic STS(19)s. In this paper we complete enumeration of non-isomorphic maximum partial triple systems for $v\le 19$. It is shown that there are 35810097 systems on 17 points and 47744568 on 16 points. We also establish that there are precisely 157151 non-isomorphic pairwise balanced designs, PBD($17,\{3,5\}$)s, having a single block of size 5. Structural properties of these systems are determined, including their automorphism groups, and the numbers of Pasch configurations, mitres and Fano planes contained in them. The systems themselves are available from the authors.