MinT - Best Known (4, 4+34, s)-Nets in Base 9

Best Known (4, 4+34, s)-Nets in Base 9

(4, 4+34, 30)-Net over F₉ — Constructive and digital

Digital (4, 38, 30)-net over F₉, using

net from sequence [i] based on digital (4, 29)-sequence over F₉, using
- Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₉ with g(F) = 4 and N(F) ≥ 30, using
  - a function field by SÃ©mirat [i]

(4, 4+34, 49)-Net over F₉ — Upper bound on s (digital)

There is no digital (4, 38, 50)-net over F₉, because

2 times m-reduction [i] would yield digital (4, 36, 50)-net over F₉, but
- extracting embedded orthogonal array [i] would yield linear OA(9³⁶, 50, F₉, 32) (dual of [50, 14, 33]-code), but
  - constructionÂ Y1 [i] would yield
    1. linear OA(9³⁵, 38, F₉, 32) (dual of [38, 3, 33]-code), but
      - â€œMasâ€ bound on codes from Brouwerâ€™s database [i]
    2. linear OA(9¹⁴, 50, F₉, 12) (dual of [50, 36, 13]-code), but
      - discarding factors / shortening the dual code would yield linear OA(9¹⁴, 44, F₉, 12) (dual of [44, 30, 13]-code), but
        constructionÂ Y1 [i] would yield
        linear OA(9¹³, 17, F₉, 12) (dual of [17, 4, 13]-code), but
        â€œMPaâ€ bound on codes from Brouwerâ€™s database [i]
        linear OA(9³⁰, 44, F₉, 27) (dual of [44, 14, 28]-code), but
        discarding factors / shortening the dual code would yield linear OA(9³⁰, 39, F₉, 27) (dual of [39, 9, 28]-code), but
        residual code [i] would yield OA(9³, 11, S₉, 3), but
        bound for OAs with index unity [i]

(4, 4+34, 76)-Net in Base 9 — Upper bound on s

There is no (4, 38, 77)-net in base 9, because

extracting embedded orthogonal array [i] would yield OA(9³⁸, 77, S₉, 34), but
- the linear programming bound shows that MÂ â‰¥ 198416 225689 684146 757890 750153 897683 550008 629060 782730 039839 / 103987 880077 173334 589719 > 9³⁸ [i]