TY - JOUR

T1 - Parity of sets of mutually orthogonal Latin squares

AU - Francetić, Nevena

AU - Herke, Sarada

AU - Wanless, Ian M.

PY - 2018/4/1

Y1 - 2018/4/1

N2 - Every Latin square has three attributes that can be even or odd, but any two of these attributes determines the third. Hence the parity of a Latin square has an information content of 2 bits. We extend the definition of parity from Latin squares to sets of mutually orthogonal Latin squares (MOLS) and the corresponding orthogonal arrays (OA). Suppose the parity of an OA(k,n) has an information content of B(k,n) bits. We show that B(k,n)⩽(k2)−1. For the case corresponding to projective planes we prove a tighter bound, namely B(n+1,n)⩽(n2) when n is odd and B(n+1,n)⩽(n2)−1 when n is even. Using the existence of MOLS with subMOLS, we prove that if B(k,n)=(k2)−1 then B(k,N)=(k2)−1 for all sufficiently large N. Let the ensemble of an OA be the set of Latin squares derived by interpreting any three columns of the OA as a Latin square. We demonstrate many restrictions on the number of Latin squares of each parity that the ensemble of an OA(k,n) can contain. These restrictions depend on n(mod4) and give some insight as to why it is harder to build projective planes of order n≡2(mod4) than for n≢2(mod4). For example, we prove that when n≡2(mod4) it is impossible to build an OA(n+1,n) for which all Latin squares in the ensemble are isotopic (equivalent to each other up to permutation of the rows, columns and symbols).

AB - Every Latin square has three attributes that can be even or odd, but any two of these attributes determines the third. Hence the parity of a Latin square has an information content of 2 bits. We extend the definition of parity from Latin squares to sets of mutually orthogonal Latin squares (MOLS) and the corresponding orthogonal arrays (OA). Suppose the parity of an OA(k,n) has an information content of B(k,n) bits. We show that B(k,n)⩽(k2)−1. For the case corresponding to projective planes we prove a tighter bound, namely B(n+1,n)⩽(n2) when n is odd and B(n+1,n)⩽(n2)−1 when n is even. Using the existence of MOLS with subMOLS, we prove that if B(k,n)=(k2)−1 then B(k,N)=(k2)−1 for all sufficiently large N. Let the ensemble of an OA be the set of Latin squares derived by interpreting any three columns of the OA as a Latin square. We demonstrate many restrictions on the number of Latin squares of each parity that the ensemble of an OA(k,n) can contain. These restrictions depend on n(mod4) and give some insight as to why it is harder to build projective planes of order n≡2(mod4) than for n≢2(mod4). For example, we prove that when n≡2(mod4) it is impossible to build an OA(n+1,n) for which all Latin squares in the ensemble are isotopic (equivalent to each other up to permutation of the rows, columns and symbols).

KW - Latin square

KW - MOLS

KW - Orthogonal array

KW - Parity

KW - Projective plane

KW - subMOLS

UR - http://www.scopus.com/inward/record.url?scp=85033565532&partnerID=8YFLogxK

U2 - 10.1016/j.jcta.2017.10.006

DO - 10.1016/j.jcta.2017.10.006

M3 - Article

AN - SCOPUS:85033565532

VL - 155

SP - 67

EP - 99

JO - Journal of Combinatorial Theory - Series A

JF - Journal of Combinatorial Theory - Series A

SN - 0097-3165

ER -