MinT - Best Known (5, 5+35, s)-Nets in Base 7

Best Known (5, 5+35, s)-Nets in Base 7

(5, 5+35, 13)-Net over F₇ — Constructive and digital

Digital (5, 40, 13)-net over F₇, using

net from sequence [i] based on digital (5, 12)-sequence over F₇, using
- Niederreiter sequence [i]

(5, 5+35, 24)-Net over F₇ — Digital

Digital (5, 40, 24)-net over F₇, using

t-expansion [i] based on digital (4, 40, 24)-net over F₇, using
- net from sequence [i] based on digital (4, 23)-sequence over F₇, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₇ with g(F) = 4 and N(F) ≥ 24, using
    - an algebraic function field over â„¤₇ by Yeo [i]

(5, 5+35, 44)-Net over F₇ — Upper bound on s (digital)

There is no digital (5, 40, 45)-net over F₇, because

5 times m-reduction [i] would yield digital (5, 35, 45)-net over F₇, but
- extracting embedded orthogonal array [i] would yield linear OA(7³⁵, 45, F₇, 30) (dual of [45, 10, 31]-code), but
  - constructionÂ Y1 [i] would yield
    1. linear OA(7³⁴, 37, F₇, 30) (dual of [37, 3, 31]-code), but
      - â€œHi4â€ bound on codes from Brouwerâ€™s database [i]
    2. linear OA(7¹⁰, 45, F₇, 8) (dual of [45, 35, 9]-code), but
      - discarding factors / shortening the dual code would yield linear OA(7¹⁰, 42, F₇, 8) (dual of [42, 32, 9]-code), but
        constructionÂ Y1 [i] would yield
        linear OA(7⁹, 14, F₇, 8) (dual of [14, 5, 9]-code), but
        â€œMPaâ€ bound on codes from Brouwerâ€™s database [i]
        linear OA(7³², 42, F₇, 28) (dual of [42, 10, 29]-code), but
        discarding factors / shortening the dual code would yield linear OA(7³², 38, F₇, 28) (dual of [38, 6, 29]-code), but
        residual code [i] would yield linear OA(7⁴, 9, F₇, 4) (dual of [9, 5, 5]-code or 9-arc in PG(3,7)), but
        bound for MDS codes [i]

(5, 5+35, 46)-Net in Base 7 — Upper bound on s

There is no (5, 40, 47)-net in base 7, because

extracting embedded orthogonal array [i] would yield OA(7⁴⁰, 47, S₇, 35), but
- the linear programming bound shows that MÂ â‰¥ 721 282691 041861 962448 675704 052408 625288 / 101475 > 7⁴⁰ [i]