MinT - Best Known (145−106, 145, s)-Nets in Base 4

Best Known (145−106, 145, s)-Nets in Base 4

(145−106, 145, 56)-Net over F₄ — Constructive and digital

Digital (39, 145, 56)-net over F₄, using

t-expansion [i] based on digital (33, 145, 56)-net over F₄, using
- net from sequence [i] based on digital (33, 55)-sequence over F₄, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₄ with g(F) = 33 and N(F) ≥ 56, using
    - F₅ from the tower of function fields by GarcÃa and Stichtenoth over F₄ [i]

(145−106, 145, 66)-Net over F₄ — Digital

Digital (39, 145, 66)-net over F₄, using

t-expansion [i] based on digital (37, 145, 66)-net over F₄, using
- net from sequence [i] based on digital (37, 65)-sequence over F₄, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₄ with g(F) = 37 and N(F) ≥ 66, using
    - Drinfeld modules of rank 1 [i]

(145−106, 145, 221)-Net over F₄ — Upper bound on s (digital)

There is no digital (39, 145, 222)-net over F₄, because

2 times m-reduction [i] would yield digital (39, 143, 222)-net over F₄, but
- extracting embedded orthogonal array [i] would yield linear OA(4¹⁴³, 222, F₄, 104) (dual of [222, 79, 105]-code), but
  - residual code [i] would yield OA(4³⁹, 117, S₄, 26), but
    - the linear programming bound shows that MÂ â‰¥ 363759 748775 180038 987523 636245 734966 329724 329420 390400 / 1 130801 960300 911622 852867 106887 > 4³⁹ [i]

(145−106, 145, 263)-Net in Base 4 — Upper bound on s

There is no (39, 145, 264)-net in base 4, because

the generalized Rao bound for nets shows that 4^mÂ â‰¥ 2279 093143 249543 648532 305908 767363 388278 704984 815387 137553 837973 628823 911187 536103 470512 > 4¹⁴⁵ [i]