Best Known (80, 80+77, s)-Nets in Base 2
(80, 80+77, 51)-Net over F2 — Constructive and digital
Digital (80, 157, 51)-net over F2, using
- net from sequence [i] based on digital (80, 50)-sequence over F2, using
- Niederreiter–Xing sequence construction III based on the algebraic function field F/F2 with g(F) = 69, N(F) = 48, 1 place with degree 2, and 2 places with degree 6 [i] based on function field F/F2 with g(F) = 69 and N(F) ≥ 48, using an explicitly constructive algebraic function field [i]
(80, 80+77, 56)-Net over F2 — Digital
Digital (80, 157, 56)-net over F2, using
- net from sequence [i] based on digital (80, 55)-sequence over F2, using
- Niederreiter–Xing sequence construction II/III [i] based on function field F/F2 with g(F) = 80 and N(F) ≥ 56, using
(80, 80+77, 176)-Net over F2 — Upper bound on s (digital)
There is no digital (80, 157, 177)-net over F2, because
- 3 times m-reduction [i] would yield digital (80, 154, 177)-net over F2, but
- extracting embedded orthogonal array [i] would yield linear OA(2154, 177, F2, 74) (dual of [177, 23, 75]-code), but
- 1 times code embedding in larger space [i] would yield linear OA(2155, 178, F2, 74) (dual of [178, 23, 75]-code), but
- adding a parity check bit [i] would yield linear OA(2156, 179, F2, 75) (dual of [179, 23, 76]-code), but
- 1 times code embedding in larger space [i] would yield linear OA(2155, 178, F2, 74) (dual of [178, 23, 75]-code), but
- extracting embedded orthogonal array [i] would yield linear OA(2154, 177, F2, 74) (dual of [177, 23, 75]-code), but
(80, 80+77, 207)-Net in Base 2 — Upper bound on s
There is no (80, 157, 208)-net in base 2, because
- 1 times m-reduction [i] would yield (80, 156, 208)-net in base 2, but
- the generalized Rao bound for nets shows that 2m ≥ 103926 907306 423356 353097 580560 860482 624361 008770 > 2156 [i]