Existence of frame SOLS of type anb1

AbstractAn SOLS (self-orthogonal latin square) of order v with ni missing sub-SOLS (holes) of order hi (1⩽i⩽k), which are disjoint and spanning (i.e. ∑i=1knihi=v), is called a frame SOLS and denoted by FSOLS(h1n1h2n2 ⋯hknk). It has been proved that for b⩾2 and n odd, an FSOLS(anb1) exists if and only if n⩾4 and n⩾1+2b/a. In this paper, we show the existence of FSOLS(anb1) for n even and FSOLS(an11) for n odd

Schröder quasigroups with a specified number of idempotents

AbstractSchröder quasigroups have been studied quite extensively over the years. Most of the attention has been given to idempotent models, which exist for all the feasible orders v, where v≡0,1(mod4) except for v=5,9. There is no Schröder quasigroup of order 5 and the known Schröder quasigroup of order 9 contains 6 non-idempotent elements. It is known that the number of non-idempotent elements in a Schröder quasigroup must be even and at least four. In this paper, we investigate the existence of Schröder quasigroups of order v with a specified number k of idempotent elements, briefly denoted by SQ(v,k). The necessary conditions for the existence of SQ(v,k) are v≡0,1(mod4), 0≤k≤v, k≠v−2, and v−k is even. We show that these conditions are also sufficient for all the feasible values of v and k with few definite exceptions and a handful of possible exceptions. Our investigation relies on the construction of holey Schröder designs (HSDs) of certain types. Specifically, we have established that there exists an HSD of type 4nu1 for u=1,9, and 12 and n≥max{(u+2)/2,4}. In the process, we are able to provide constructions for a very large variety of non-idempotent Schröder quasigroups of order v, all of which correspond to v2×4 orthogonal arrays that have the Klein 4-group as conjugate invariant subgroup

Existence of r-self-orthogonal Latin squares

AbstractTwo Latin squares of order v are r-orthogonal if their superposition produces exactly r distinct ordered pairs. If the second square is the transpose of the first one, we say that the first square is r-self-orthogonal, denoted by r-SOLS(v). It has been proved that for any integer v⩾28, there exists an r-SOLS(v) if and only if v⩽r⩽v2 and r∉{v+1,v2-1}. In this paper, we give an almost complete solution for the existence of r-self-orthogonal Latin squares