Best Known (13, 13+12, s)-Nets in Base 2
(13, 13+12, 25)-Net over F2 — Constructive and digital
(13, 13+12, 37)-Net over F2 — Upper bound on s (digital)
There is no digital (13, 25, 38)-net over F2, because
- extracting embedded orthogonal array [i] would yield linear OA(225, 38, F2, 12) (dual of [38, 13, 13]-code), but
- adding a parity check bit [i] would yield linear OA(226, 39, F2, 13) (dual of [39, 13, 14]-code), but
(13, 13+12, 45)-Net in Base 2 — Upper bound on s
There is no (13, 25, 46)-net in base 2, because
- the generalized Rao bound for nets shows that 2m ≥ 34 262572 > 225 [i]