Existence of SOLS with holes of type \(2^ n u^ 1\) (Q1918207)

A pair of mutually orthogonal Latin squares (MOLS), where the one square is the transpose of the other, with \(n\) missing sub-MOLS (called holes) of order 2 and one of order \(u\) which are disjoint and spanning, is denoted by \(\text{HSOLS} (2^n u^1)\). \textit{D. R. Stinson} and \textit{L. Zhu} [to appear] have shown that an \(\text{HSOLS} (2^n 3^1)\) exists if and only if \(n \geq 4\), except possibly for \(n = 13\) or 15. In this paper, the authors construct an \(\text{HSOLS} (2^n 3^1)\) for \(n = 13\) and 15, and show for \(u = 4\), 5, and 9 that an \(\text{HSOLS} (2^n u^1)\) exists if and only if \(n \geq 1 + u\). They also show for \(u \geq 1\) that an \(\text{HSOLS} (2^n u^1)\) exists if \(n \geq 4 \lceil u/3 \rceil + 10\).