MinT - Best Known (63, 127, s)-Nets in Base 2

Best Known (63, 127, s)-Nets in Base 2

(63, 127, 43)-Net over F₂ — Constructive and digital

Digital (63, 127, 43)-net over F₂, using

t-expansion [i] based on digital (59, 127, 43)-net over F₂, using
- net from sequence [i] based on digital (59, 42)-sequence over F₂, using
  - Niederreiterâ€“Xing sequence constructionÂ III based on the algebraic function field F/F₂ with g(F)Â =Â 54, N(F)Â =Â 42, and 1 place with degree 6 [i] based on function field F/F₂ with g(F) = 54 and N(F) ≥ 42, using an explicitly constructive algebraic function field [i]

(63, 127, 44)-Net over F₂ — Digital

Digital (63, 127, 44)-net over F₂, using

t-expansion [i] based on digital (62, 127, 44)-net over F₂, using
- net from sequence [i] based on digital (62, 43)-sequence over F₂, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₂ with g(F) = 62 and N(F) ≥ 44, using
    - a function field from a table by Niederreiter and Xing [i]

(63, 127, 135)-Net over F₂ — Upper bound on s (digital)

There is no digital (63, 127, 136)-net over F₂, because

extracting embedded orthogonal array [i] would yield linear OA(2¹²⁷, 136, F₂, 64) (dual of [136, 9, 65]-code), but
- residual code [i] would yield linear OA(2⁶³, 71, F₂, 32) (dual of [71, 8, 33]-code), but
  - residual code [i] would yield linear OA(2³¹, 38, F₂, 16) (dual of [38, 7, 17]-code), but
    - residual code [i] would yield linear OA(2¹⁵, 21, F₂, 8) (dual of [21, 6, 9]-code), but
      - residual code [i] would yield linear OA(2⁷, 12, F₂, 4) (dual of [12, 5, 5]-code), but
        bound by Fontaine and Peterson [i]

(63, 127, 137)-Net in Base 2 — Upper bound on s

There is no (63, 127, 138)-net in base 2, because

extracting embedded orthogonal array [i] would yield OA(2¹²⁷, 138, S₂, 64), but
- the linear programming bound shows that MÂ â‰¥ 246364 433650 759447 547483 215780 600185 094144 / 1287 > 2¹²⁷ [i]