Best Known (80, 80+146, s)-Nets in Base 3
(80, 80+146, 55)-Net over F3 — Constructive and digital
Digital (80, 226, 55)-net over F3, using
- net from sequence [i] based on digital (80, 54)-sequence over F3, using
- base reduction for sequences [i] based on digital (13, 54)-sequence over F9, using
- s-reduction based on digital (13, 63)-sequence over F9, using
- Niederreiter–Xing sequence construction II/III [i] based on function field F/F9 with g(F) = 13 and N(F) ≥ 64, using
- s-reduction based on digital (13, 63)-sequence over F9, using
- base reduction for sequences [i] based on digital (13, 54)-sequence over F9, using
(80, 80+146, 84)-Net over F3 — Digital
Digital (80, 226, 84)-net over F3, using
- t-expansion [i] based on digital (71, 226, 84)-net over F3, using
- net from sequence [i] based on digital (71, 83)-sequence over F3, using
- Niederreiter–Xing sequence construction II/III [i] based on function field F/F3 with g(F) = 71 and N(F) ≥ 84, using
- net from sequence [i] based on digital (71, 83)-sequence over F3, using
(80, 80+146, 341)-Net over F3 — Upper bound on s (digital)
There is no digital (80, 226, 342)-net over F3, because
- 2 times m-reduction [i] would yield digital (80, 224, 342)-net over F3, but
- extracting embedded orthogonal array [i] would yield linear OA(3224, 342, F3, 144) (dual of [342, 118, 145]-code), but
- residual code [i] would yield OA(380, 197, S3, 48), but
- 6 times truncation [i] would yield OA(374, 191, S3, 42), but
- the linear programming bound shows that M ≥ 7425 373872 326041 246958 413277 162396 664697 868093 270451 580073 051722 485491 109207 030427 537458 984375 / 32911 891840 780579 755648 777011 603243 208306 897748 202179 983781 > 374 [i]
- 6 times truncation [i] would yield OA(374, 191, S3, 42), but
- residual code [i] would yield OA(380, 197, S3, 48), but
- extracting embedded orthogonal array [i] would yield linear OA(3224, 342, F3, 144) (dual of [342, 118, 145]-code), but
(80, 80+146, 352)-Net in Base 3 — Upper bound on s
There is no (80, 226, 353)-net in base 3, because
- the generalized Rao bound for nets shows that 3m ≥ 754760 929806 235512 920174 211154 385735 011659 850473 977360 907527 047065 764260 298638 370205 618920 853329 608289 635491 > 3226 [i]