Best Known (173−127, 173, s)-Nets in Base 4
(173−127, 173, 56)-Net over F4 — Constructive and digital
Digital (46, 173, 56)-net over F4, using
- t-expansion [i] based on digital (33, 173, 56)-net over F4, using
- net from sequence [i] based on digital (33, 55)-sequence over F4, using
- Niederreiter–Xing sequence construction II/III [i] based on function field F/F4 with g(F) = 33 and N(F) ≥ 56, using
- F5 from the tower of function fields by GarcÃa and Stichtenoth over F4 [i]
- Niederreiter–Xing sequence construction II/III [i] based on function field F/F4 with g(F) = 33 and N(F) ≥ 56, using
- net from sequence [i] based on digital (33, 55)-sequence over F4, using
(173−127, 173, 81)-Net over F4 — Digital
Digital (46, 173, 81)-net over F4, using
- net from sequence [i] based on digital (46, 80)-sequence over F4, using
- Niederreiter–Xing sequence construction II/III [i] based on function field F/F4 with g(F) = 46 and N(F) ≥ 81, using
(173−127, 173, 252)-Net over F4 — Upper bound on s (digital)
There is no digital (46, 173, 253)-net over F4, because
- 3 times m-reduction [i] would yield digital (46, 170, 253)-net over F4, but
- extracting embedded orthogonal array [i] would yield linear OA(4170, 253, F4, 124) (dual of [253, 83, 125]-code), but
- residual code [i] would yield OA(446, 128, S4, 31), but
- the linear programming bound shows that M ≥ 267 358960 125089 320834 735810 320865 223199 249308 916618 499694 277322 342400 / 51948 589430 472776 062424 380928 571484 419011 > 446 [i]
- residual code [i] would yield OA(446, 128, S4, 31), but
- extracting embedded orthogonal array [i] would yield linear OA(4170, 253, F4, 124) (dual of [253, 83, 125]-code), but
(173−127, 173, 291)-Net in Base 4 — Upper bound on s
There is no (46, 173, 292)-net in base 4, because
- 18 times m-reduction [i] would yield (46, 155, 292)-net in base 4, but
- extracting embedded orthogonal array [i] would yield OA(4155, 292, S4, 109), but
- 8 times code embedding in larger space [i] would yield OA(4163, 300, S4, 109), but
- the linear programming bound shows that M ≥ 8 464628 620685 303799 641532 702091 648229 306306 018905 789529 524291 355322 907050 775490 485015 472797 926481 512459 111645 061846 121711 271262 485718 789063 277920 642870 575525 965715 473112 303555 905333 205605 386730 426241 764666 473440 037313 207471 384293 998241 638361 590587 784985 333805 211326 107965 662310 596475 534832 743164 666681 710435 385827 242945 735282 806533 359251 451373 682496 947126 249928 010306 759678 464627 244345 575141 502578 293166 452201 656662 745544 187910 102207 124893 914791 852222 399372 582590 940059 694271 963942 843967 307519 271729 211883 132520 499405 503460 690663 546106 254632 847756 563871 678160 926784 538665 864722 013378 367220 541645 343747 080032 801040 473128 984728 287622 005132 676143 769268 182113 404481 574415 357033 841665 346615 737557 681028 068460 307746 390016 / 58507 773896 969173 286262 004882 425009 217647 370320 705564 699864 967449 325045 255104 627416 234082 746442 427784 881046 418017 053542 895824 632469 013989 930358 814771 742000 630486 409427 709699 986375 771286 038746 569037 585403 288576 489419 064021 553229 427653 059477 355994 492045 140445 835038 050400 407744 351141 166731 645775 405880 298749 106576 452336 500949 515816 312820 547873 019373 515697 296633 040866 524679 340051 766785 242210 065144 551669 611353 000016 122330 320952 751635 405353 975165 600537 815777 260236 441170 624710 555045 295395 973417 233997 679742 229407 872510 882226 515661 153603 723506 086762 064908 948089 824582 619268 759820 263783 024711 275252 152307 556197 369539 309969 > 4163 [i]
- 8 times code embedding in larger space [i] would yield OA(4163, 300, S4, 109), but
- extracting embedded orthogonal array [i] would yield OA(4155, 292, S4, 109), but