MinT - Best Known (40−17, 40, s)-Nets in Base 9

Best Known (40−17, 40, s)-Nets in Base 9

(40−17, 40, 232)-Net over F₉ — Constructive and digital

Digital (23, 40, 232)-net over F₉, using

2 times m-reduction [i] based on digital (23, 42, 232)-net over F₉, using
- trace code for nets [i] based on digital (2, 21, 116)-net over F₈₁, using
  - net from sequence [i] based on digital (2, 115)-sequence over F₈₁, using
    - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₈₁ with g(F) = 2 and N(F) ≥ 116, using
      - a function field by SÃ©mirat [i]

(40−17, 40, 272)-Net over F₉ — Digital

Digital (23, 40, 272)-net over F₉, using

trace code for nets [i] based on digital (3, 20, 136)-net over F₈₁, using
- net from sequence [i] based on digital (3, 135)-sequence over F₈₁, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₈₁ with g(F) = 3 and N(F) ≥ 136, using
    - a curve from the manYPoints database [i]

(40−17, 40, 21107)-Net in Base 9 — Upper bound on s

There is no (23, 40, 21108)-net in base 9, because

1 times m-reduction [i] would yield (23, 39, 21108)-net in base 9, but
- the generalized Rao bound for nets shows that 9^mÂ â‰¥ 16 425425 243689 893370 484007 386162 825985 > 9³⁹ [i]