MinT - Best Known (58, 217, s)-Nets in Base 4

Best Known (58, 217, s)-Nets in Base 4

Digital (58, 217, 66)-net over F₄, using

t-expansion [i] based on digital (49, 217, 66)-net over F₄, using
- net from sequence [i] based on digital (49, 65)-sequence over F₄, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₄ with g(F) = 49 and N(F) ≥ 66, using
    - T₆ from the second tower of function fields by GarcÃa and Stichtenoth over F₄ [i]

Digital (58, 217, 91)-net over F₄, using

t-expansion [i] based on digital (50, 217, 91)-net over F₄, using
- net from sequence [i] based on digital (50, 90)-sequence over F₄, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₄ with g(F) = 50 and N(F) ≥ 91, using
    - a curve from the manYPoints database [i]

There is no digital (58, 217, 306)-net over F₄, because

3 times m-reduction [i] would yield digital (58, 214, 306)-net over F₄, but
- extracting embedded orthogonal array [i] would yield linear OA(4²¹⁴, 306, F₄, 156) (dual of [306, 92, 157]-code), but
  - residual code [i] would yield OA(4⁵⁸, 149, S₄, 39), but
    - the linear programming bound shows that MÂ â‰¥ 687 429911 202260 642762 810713 800269 676548 725551 961062 930193 746529 711584 285763 934617 600000 / 7739 058251 757365 326970 583055 442734 658951 141232 199899 > 4⁵⁸ [i]

There is no (58, 217, 385)-net in base 4, because

1 times m-reduction [i] would yield (58, 216, 385)-net in base 4, but
- the generalized Rao bound for nets shows that 4^mÂ â‰¥ 12913 455255 718527 225082 270219 195541 474219 871641 741173 393578 647504 358589 844083 822328 753984 850952 934489 591964 670158 108029 037977 505664 > 4²¹⁶ [i]