Best Known (4, 22, s)-Nets in Base 5
(4, 22, 18)-Net over F5 — Constructive and digital
Digital (4, 22, 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, 22, 41)-Net over F5 — Upper bound on s (digital)
There is no digital (4, 22, 42)-net over F5, because
- 3 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, 22, 44)-Net in Base 5 — Upper bound on s
There is no (4, 22, 45)-net in base 5, because
- extracting embedded orthogonal array [i] would yield OA(522, 45, S5, 18), but
- the linear programming bound shows that M ≥ 226 498343 323874 120235 443115 234375 / 83115 338259 841243 > 522 [i]