-
Embedding partial Latin squares in Latin squares with many mutually orthogonal mates
Authors:
Diane M. Donovan,
Mike Grannell,
Emine Şule Yazıcı
Abstract:
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 constructio…
▽ More
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.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
Orthogonal trades in complete sets of MOLS
Authors:
Nicholas J. Cavenagh,
Diane M. Donovan,
Fatih Demirkale
Abstract:
Let $B_p$ be the Latin square given by the addition table for the integers modulo an odd prime $p$. Here we consider the properties of Latin trades in $B_p$ which preserve orthogonality with one of the $p-1$ MOLS given by the finite field construction. We show that for certain choices of the orthogonal mate, there is a lower bound logarithmic in $p$ for the number of times each symbol occurs in su…
▽ More
Let $B_p$ be the Latin square given by the addition table for the integers modulo an odd prime $p$. Here we consider the properties of Latin trades in $B_p$ which preserve orthogonality with one of the $p-1$ MOLS given by the finite field construction. We show that for certain choices of the orthogonal mate, there is a lower bound logarithmic in $p$ for the number of times each symbol occurs in such a trade, with an overall lower bound of $(\log{p})^2/\log\log{p}$ for the size of such a trade. Such trades imply the existence of orthomorphisms of the cyclic group which differ from a linear orthomorphism by a small amount. We also show that any transversal in $B_p$ hits the main diagonal either $p$ or at most $p-\log_2{p}-1$ times. Finally, if $p\equiv 1\mod{6}$ we show the existence of Latin square containing a $2\times 2$ subsquare which is orthogonal to $B_p$.
△ Less
Submitted 18 July, 2016; v1 submitted 15 July, 2016;
originally announced July 2016.
-
The Enumeration of Cyclic MNOLS
Authors:
F. Demirkale,
D. M. Donovan,
J. I. Kokkala,
T. G. Marbach
Abstract:
In this paper we study collections of mutually nearly orthogonal Latin squares ($\text{MNOLS}$), which come from a modification of the orthogonal condition for mutually orthogonal Latin squares.
In particular, we find the maximum $μ$ such that there exists a set of $μ$ cyclic $\text{MNOLS}$ of order $n$ for $n \leq 18$, as well as providing a full enumeration of sets and lists of $μ$ cyclic…
▽ More
In this paper we study collections of mutually nearly orthogonal Latin squares ($\text{MNOLS}$), which come from a modification of the orthogonal condition for mutually orthogonal Latin squares.
In particular, we find the maximum $μ$ such that there exists a set of $μ$ cyclic $\text{MNOLS}$ of order $n$ for $n \leq 18$, as well as providing a full enumeration of sets and lists of $μ$ cyclic $\text{MNOLS}$ of order $n$ under a variety of equivalences with $n \leq 18$. This resolves in the negative a conjecture that proposed the maximum $μ$ for which a set of $μ$ cyclic $\text{MNOLS}$ of order $n$ exists is $\lceil n/4\rceil +1$.
△ Less
Submitted 5 November, 2018; v1 submitted 3 December, 2015;
originally announced December 2015.
-
Difference Covering Arrays and Pseudo-Orthogonal Latin Squares
Authors:
Fatih Demirkale,
Diane M. Donovan,
Joanne Hall,
Abdollah Khodkar,
Asha Rao
Abstract:
Difference arrays are used in applications such as software testing, authentication codes and data compression. Pseudo-orthogonal Latin squares are used in experimental designs. A special class of pseudo-orthogonal Latin squares are the mutually nearly orthogonal Latin squares (MNOLS) first discussed in 2002, with general constructions given in 2007. In this paper we develop row complete MNOLS fro…
▽ More
Difference arrays are used in applications such as software testing, authentication codes and data compression. Pseudo-orthogonal Latin squares are used in experimental designs. A special class of pseudo-orthogonal Latin squares are the mutually nearly orthogonal Latin squares (MNOLS) first discussed in 2002, with general constructions given in 2007. In this paper we develop row complete MNOLS from difference covering arrays. We will use this connection to settle the spectrum question for sets of 3 mutually pseudo-orthogonal Latin squares of even order, for all but the order 146.
△ Less
Submitted 8 February, 2015;
originally announced February 2015.
-
Square Integer Heffter Arrays with Empty Cells
Authors:
D. S. Archdeacon,
J. H. Dinitz,
D. M. Donovan,
Ermine Şule Yaızı
Abstract:
A Heffter array $H(m,n;s,t)$ is an $m \times n$ matrix with nonzero entries from $\mathbb{Z}_{2ms+1}$ such that $i)$ each row contains $s$ filled cells and each column contains $t$ filled cells, $ii)$ every row and column sum to 0, and $iii)$ no element from $\{x,-x\}$ appears twice. Heffter arrays are useful in embedding the complete graph $K_{2nm+1}$ on an orientable surface where the embedding…
▽ More
A Heffter array $H(m,n;s,t)$ is an $m \times n$ matrix with nonzero entries from $\mathbb{Z}_{2ms+1}$ such that $i)$ each row contains $s$ filled cells and each column contains $t$ filled cells, $ii)$ every row and column sum to 0, and $iii)$ no element from $\{x,-x\}$ appears twice. Heffter arrays are useful in embedding the complete graph $K_{2nm+1}$ on an orientable surface where the embedding has the property that each edge borders exactly one $s-$cycle and one $t-$cycle. Archdeacon, Boothby and Dinitz proved that these arrays can be constructed in the case when $s=m$, i.e. every cell is filled. In this paper we concentrate on square arrays with empty cells where every row sum and every column sum is $0$ in $\mathbb{Z}$. We solve most of the instances of this case.
△ Less
Submitted 29 December, 2014;
originally announced December 2014.
-
Distributive and anti-distributive Mendelsohn triple systems
Authors:
Diane M. Donovan,
Terry S. Griggs,
Thomas A. McCourt,
Jakub Opršal,
David Stanovský
Abstract:
We prove that the existence spectrum of Mendelsohn triple systems whose associated quasigroups satisfy distributivity corresponds to the Loeschian numbers, and provide some enumeration results. We do this by considering a description of the quasigroups in terms of commutative Moufang loops.
In addition we provide constructions of Mendelsohn quasigroups that fail distributivity for as many combin…
▽ More
We prove that the existence spectrum of Mendelsohn triple systems whose associated quasigroups satisfy distributivity corresponds to the Loeschian numbers, and provide some enumeration results. We do this by considering a description of the quasigroups in terms of commutative Moufang loops.
In addition we provide constructions of Mendelsohn quasigroups that fail distributivity for as many combinations of elements as possible.
These systems are analogues of Hall triple systems and anti-mitre Steiner triple systems respectively.
△ Less
Submitted 5 June, 2015; v1 submitted 19 November, 2014;
originally announced November 2014.