MinT - Best Known (145−87, 145, s)-Nets in Base 9

Best Known (145−87, 145, s)-Nets in Base 9

(145−87, 145, 84)-Net over F₉ — Constructive and digital

Digital (58, 145, 84)-net over F₉, using

(u,Â u+v)-construction [i] based on
1. digital (2, 45, 20)-net over F₉, using
  - net from sequence [i] based on digital (2, 19)-sequence over F₉, using
    - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₉ with g(F) = 2 and N(F) ≥ 20, using
      - a function field by GarcÃa and Quoos [i]
2. digital (13, 100, 64)-net over F₉, using
  - net from sequence [i] based on digital (13, 63)-sequence over F₉, using
    - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₉ with g(F) = 13 and N(F) ≥ 64, using
      - a function field by GarcÃa and Quoos [i]

(145−87, 145, 88)-Net in Base 9 — Constructive

(58, 145, 88)-net in base 9, using

2 times m-reduction [i] based on (58, 147, 88)-net in base 9, using
- base change [i] based on digital (9, 98, 88)-net over F₂₇, using
  - net from sequence [i] based on digital (9, 87)-sequence over F₂₇, using
    - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₂₇ with g(F) = 9 and N(F) ≥ 88, using
      - a function field by SÃ©mirat [i]

(145−87, 145, 182)-Net over F₉ — Digital

Digital (58, 145, 182)-net over F₉, using

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

(145−87, 145, 3284)-Net in Base 9 — Upper bound on s

There is no (58, 145, 3285)-net in base 9, because

1 times m-reduction [i] would yield (58, 144, 3285)-net in base 9, but
- the generalized Rao bound for nets shows that 9^mÂ â‰¥ 258069 207810 325716 422099 758632 158922 015913 323564 845474 902185 678818 354294 087072 601156 406802 925162 254387 822007 077676 024674 818724 285350 410361 > 9¹⁴⁴ [i]