Best Known (4, 21, s)-Nets in Base 5
(4, 21, 18)-Net over F5 — Constructive and digital
Digital (4, 21, 18)-net over F5, using
- net from sequence [i] based on digital (4, 17)-sequence over F5, using
- Niederreiter–Xing sequence construction II/III [i] based on function field F/F5 with g(F) = 4 and N(F) ≥ 18, using
(4, 21, 41)-Net over F5 — Upper bound on s (digital)
There is no digital (4, 21, 42)-net over F5, because
- 2 times m-reduction [i] would yield digital (4, 19, 42)-net over F5, but
- extracting embedded orthogonal array [i] would yield linear OA(519, 42, F5, 15) (dual of [42, 23, 16]-code), but
- construction Y1 [i] would yield
- linear OA(518, 23, F5, 15) (dual of [23, 5, 16]-code), but
- residual code [i] would yield OA(53, 7, S5, 3), but
- OA(523, 42, S5, 19), but
- discarding factors would yield OA(523, 41, S5, 19), but
- the linear programming bound shows that M ≥ 1431 381081 044673 919677 734375 / 117616 346784 > 523 [i]
- discarding factors would yield OA(523, 41, S5, 19), but
- linear OA(518, 23, F5, 15) (dual of [23, 5, 16]-code), but
- construction Y1 [i] would yield
- extracting embedded orthogonal array [i] would yield linear OA(519, 42, F5, 15) (dual of [42, 23, 16]-code), but
(4, 21, 46)-Net in Base 5 — Upper bound on s
There is no (4, 21, 47)-net in base 5, because
- extracting embedded orthogonal array [i] would yield OA(521, 47, S5, 17), but
- the linear programming bound shows that M ≥ 2 226091 376121 462535 858154 296875 / 4601 222665 373363 > 521 [i]