MinT - Best Known (13, 13+17, s)-Nets in Base 2

Best Known (13, 13+17, s)-Nets in Base 2

(13, 13+17, 15)-Net over F₂ — Constructive and digital

Digital (13, 30, 15)-net over F₂, using

net from sequence [i] based on digital (13, 14)-sequence over F₂, using
- Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₂ with g(F) = 13 and N(F) ≥ 15, using
  - an explicitly constructive algebraic function field [i]
Niederreiterâ€“Xing sequence (PirÅ¡iÄ‡ implementation) with equidistant coordinate [i]

(13, 13+17, 32)-Net over F₂ — Upper bound on s (digital)

There is no digital (13, 30, 33)-net over F₂, because

1 times m-reduction [i] would yield digital (13, 29, 33)-net over F₂, but
- extracting embedded orthogonal array [i] would yield linear OA(2²⁹, 33, F₂, 16) (dual of [33, 4, 17]-code), but
  - Griesmer bound [i]

(13, 13+17, 33)-Net in Base 2 — Upper bound on s

There is no (13, 30, 34)-net in base 2, because

2 times m-reduction [i] would yield (13, 28, 34)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2²⁸, 34, S₂, 2, 15), but
  - the linear programming bound for OOAs shows that MÂ â‰¥ 514388 175813 083136 / 1683 313697 > 2²⁸ [i]