MinT - Best Known (129−87, 129, s)-Nets in Base 5

Best Known (129−87, 129, s)-Nets in Base 5

(129−87, 129, 78)-Net over F₅ — Constructive and digital

Digital (42, 129, 78)-net over F₅, using

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

(129−87, 129, 80)-Net over F₅ — Digital

Digital (42, 129, 80)-net over F₅, using

t-expansion [i] based on digital (41, 129, 80)-net over F₅, using
- net from sequence [i] based on digital (41, 79)-sequence over F₅, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₅ with g(F) = 41 and N(F) ≥ 80, using
    - algebraic function fields over â„¤₅ by Niederreiter/Xing [i]

(129−87, 129, 477)-Net in Base 5 — Upper bound on s

There is no (42, 129, 478)-net in base 5, because

1 times m-reduction [i] would yield (42, 128, 478)-net in base 5, but
- the generalized Rao bound for nets shows that 5^mÂ â‰¥ 315283 679138 730700 925469 818931 437617 517163 120637 725151 323225 013371 286846 692667 628231 440025 > 5¹²⁸ [i]