Holey Schr\"oder Designs of Type \bf 3ⁿ u^1

Abstract: A holey Schr"oder design of type

h_{1}^{n_{1}} h_{4}^{n_{2}} c d o t s h_{k}^{n_{k}}

(HSD

(h_{1}^{n_{1}} h_{4}^{n_{2}} c d o t s h_{k}^{n_{k}}))

is equivalent to a frame idempotent Schr"oder quasigroup (FISQ

(h_{1}^{n_{1}} h_{4}^{n_{2}} c d o t s h_{k}^{n_{k}}))

of order

n

with

n_{i}

missing subquasigroups (holes) of order

h_{i}, 1 l e i l e k

, which are disjoint and spanning (i.e.,

s u m_{1 l e i l e k} n_{i} h_{i} = n

). The existence of HSD

(h^{n} u^{1})

for

h = 1, 2, 4

has been known. In this paper, we consider the existence of HSD

(3^{n} u^{1})

and show that for

0 l e u l e 15

, an HSD

(3^{n} u^{1})

exists if and only if

n (n + 2 u - 1) e q u i v 0 (m o d 4)

,

n g e 4

and

n g e 1 + 2 u / 3

. For

0 l e u l e n

, an HSD

(3^{n} u^{1})

exists if and only if

n (n + 2 u - 1) e q u i v 0 (m o d 4)

and

n g e 4

, with possible exceptions of

n = 29, 43

. We have also found six new HSDs of type

(4^{n} u^{1})

.

This page was built for publication: Holey Schr\"oder Designs of Type $\bf 3^n u^1$