MinT - Best Known (79−17, 79, s)-Nets in Base 4

Best Known (79−17, 79, s)-Nets in Base 4

(79−17, 79, 1042)-Net over F₄ — Constructive and digital

Digital (62, 79, 1042)-net over F₄, using

(u,Â u+v)-construction [i] based on
1. digital (3, 11, 14)-net over F₄, using
  - net from sequence [i] based on digital (3, 13)-sequence over F₄, using
    - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₄ with g(F) = 3 and N(F) ≥ 14, using
      - an explicitly constructive algebraic function field [i]
2. digital (51, 68, 1028)-net over F₄, using
  - trace code for nets [i] based on digital (0, 17, 257)-net over F₂₅₆, using
    - net from sequence [i] based on digital (0, 256)-sequence over F₂₅₆, using
      - generalized Faure sequence [i]
      - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₂₅₆ with g(F) = 0 and N(F) ≥ 257, using
        the rational function field F₂₅₆(x) [i]
      - Niederreiter sequence [i]

(79−17, 79, 2882)-Net over F₄ — Digital

Digital (62, 79, 2882)-net over F₄, using

embedding of OOA with Gilbertâ€“VarÅ¡amov bound [i] based on linear OA(4⁷⁹, 2882, F₄, 17) (dual of [2882, 2803, 18]-code), using
- discarding factors / shortening the dual code based on linear OA(4⁷⁹, 4120, F₄, 17) (dual of [4120, 4041, 18]-code), using
  - 1 times code embedding in larger space [i] based on linear OA(4⁷⁸, 4119, F₄, 17) (dual of [4119, 4041, 18]-code), using
    - constructionÂ X applied to C_e(16) âŠ‚ C_e(12) [i] based on
      1. linear OA(4⁷³, 4096, F₄, 17) (dual of [4096, 4023, 18]-code), using an extension C_e(16) of the primitive narrow-sense BCH-code C(I) with length 4095Â = 4⁶âˆ’1, defining interval IÂ =Â [1,16], and designed minimum distance dÂ â‰¥Â |I|+1Â =Â 17 [i]
      2. linear OA(4⁵⁵, 4096, F₄, 13) (dual of [4096, 4041, 14]-code), using an extension C_e(12) of the primitive narrow-sense BCH-code C(I) with length 4095Â = 4⁶âˆ’1, defining interval IÂ =Â [1,12], and designed minimum distance dÂ â‰¥Â |I|+1Â =Â 13 [i]
      3. linear OA(4⁵, 23, F₄, 3) (dual of [23, 18, 4]-code or 23-cap in PG(4,4)), using
        discarding factors / shortening the dual code based on linear OA(4⁵, 41, F₄, 3) (dual of [41, 36, 4]-code or 41-cap in PG(4,4)), using
        a cap found by Tallinii [i]

(79−17, 79, 930359)-Net in Base 4 — Upper bound on s

There is no (62, 79, 930360)-net in base 4, because

1 times m-reduction [i] would yield (62, 78, 930360)-net in base 4, but
- the generalized Rao bound for nets shows that 4^mÂ â‰¥ 91344 159341 293922 946923 655513 499599 736743 728302 > 4⁷⁸ [i]