Best Known (9−4, 9, s)-Nets in Base 2
(9−4, 9, 23)-Net over F2 — Constructive and digital
Digital (5, 9, 23)-net over F2, using
(9−4, 9, 23)-Net over F2 — Upper bound on s (digital)
There is no digital (5, 9, 24)-net over F2, because
- extracting embedded orthogonal array [i] would yield linear OA(29, 24, F2, 4) (dual of [24, 15, 5]-code), but
- adding a parity check bit [i] would yield linear OA(210, 25, F2, 5) (dual of [25, 15, 6]-code), but
(9−4, 9, 29)-Net in Base 2 — Upper bound on s
There is no (5, 9, 30)-net in base 2, because
- the generalized Rao bound for nets shows that 2m ≥ 526 > 29 [i]
- extracting embedded orthogonal array [i] would yield OA(29, 30, S2, 4), but
- the linear programming bound shows that M ≥ 108864 / 209 > 29 [i]