MinT - Best Known (180−33, 180, s)-Nets in Base 3

Best Known (180−33, 180, s)-Nets in Base 3

(180−33, 180, 700)-Net over F₃ — Constructive and digital

Digital (147, 180, 700)-net over F₃, using

(u,Â u+v)-construction [i] based on
1. digital (4, 20, 12)-net over F₃, using
  - net from sequence [i] based on digital (4, 11)-sequence over F₃, using
    - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₃ with g(F) = 4 and N(F) ≥ 12, using
      - an explicitly constructive algebraic function field [i]
2. digital (127, 160, 688)-net over F₃, using
  - trace code for nets [i] based on digital (7, 40, 172)-net over F₈₁, using
    - net from sequence [i] based on digital (7, 171)-sequence over F₈₁, using
      - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₈₁ with g(F) = 7 and N(F) ≥ 172, using
        a function field by SÃ©mirat [i]

(180−33, 180, 3502)-Net over F₃ — Digital

Digital (147, 180, 3502)-net over F₃, using

embedding of OOA with Gilbertâ€“VarÅ¡amov bound [i] based on linear OA(3¹⁸⁰, 3502, F₃, 33) (dual of [3502, 3322, 34]-code), using
- discarding factors / shortening the dual code based on linear OA(3¹⁸⁰, 6581, F₃, 33) (dual of [6581, 6401, 34]-code), using
  - 2 times code embedding in larger space [i] based on linear OA(3¹⁷⁸, 6579, F₃, 33) (dual of [6579, 6401, 34]-code), using
    - constructionÂ X applied to C([0,16]) âŠ‚ C([0,15]) [i] based on
      1. linear OA(3¹⁷⁷, 6562, F₃, 33) (dual of [6562, 6385, 34]-code), using the expurgated narrow-sense BCH-code C(I) with length 6562Â | 3¹⁶âˆ’1, defining interval IÂ =Â [0,16], and minimum distance dÂ â‰¥ |{−16,−15,…,16}|+1Â =Â 34 (BCH-bound) [i]
      2. linear OA(3¹⁶¹, 6562, F₃, 31) (dual of [6562, 6401, 32]-code), using the expurgated narrow-sense BCH-code C(I) with length 6562Â | 3¹⁶âˆ’1, defining interval IÂ =Â [0,15], and minimum distance dÂ â‰¥ |{−15,−14,…,15}|+1Â =Â 32 (BCH-bound) [i]
      3. linear OA(3¹, 17, F₃, 1) (dual of [17, 16, 2]-code), using
        discarding factors / shortening the dual code based on linear OA(3¹, s, F₃, 1) (dual of [s, s−1, 2]-code) with arbitrarily large s, using
        parity-check code [i]

(180−33, 180, 740105)-Net in Base 3 — Upper bound on s

There is no (147, 180, 740106)-net in base 3, because

1 times m-reduction [i] would yield (147, 179, 740106)-net in base 3, but
- the generalized Rao bound for nets shows that 3^mÂ â‰¥ 25 392687 089570 530795 554473 747059 889411 607119 697031 242231 943156 430606 785120 893425 358753 > 3¹⁷⁹ [i]