MinT - Best Known (46−36, 46, s)-Nets in Base 3

Best Known (46−36, 46, s)-Nets in Base 3

(46−36, 46, 19)-Net over F₃ — Constructive and digital

Digital (10, 46, 19)-net over F₃, using

t-expansion [i] based on digital (9, 46, 19)-net over F₃, using
- net from sequence [i] based on digital (9, 18)-sequence over F₃, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₃ with g(F) = 9 and N(F) ≥ 19, using
    - an explicitly constructive algebraic function field [i]

(46−36, 46, 20)-Net over F₃ — Digital

Digital (10, 46, 20)-net over F₃, using

net from sequence [i] based on digital (10, 19)-sequence over F₃, using
- Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₃ with g(F) = 10 and N(F) ≥ 20, using
  - a curve from the manYPoints database [i]

(46−36, 46, 36)-Net over F₃ — Upper bound on s (digital)

There is no digital (10, 46, 37)-net over F₃, because

15 times m-reduction [i] would yield digital (10, 31, 37)-net over F₃, but
- extracting embedded orthogonal array [i] would yield linear OA(3³¹, 37, F₃, 21) (dual of [37, 6, 22]-code), but
  - â€œBouâ€ bound on codes from Brouwerâ€™s database [i]

(46−36, 46, 39)-Net in Base 3 — Upper bound on s

There is no (10, 46, 40)-net in base 3, because

12 times m-reduction [i] would yield (10, 34, 40)-net in base 3, but
- extracting embedded orthogonal array [i] would yield OA(3³⁴, 40, S₃, 24), but
  - the linear programming bound shows that MÂ â‰¥ 2 701703 435345 984178 / 155 > 3³⁴ [i]