Information on Result #1875881
There is no digital (25, m, 409)-net over F16 with m > ∞, because logical equivalence would yield (25, 409)-sequence in base 16, but
- net from sequence [i] would yield (25, m, 410)-net in base 16 for arbitrarily large m, but
- m-reduction [i] would yield (25, 817, 410)-net in base 16, but
- extracting embedded OOA [i] would yield OOA(16817, 410, S16, 2, 792), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 541 469259 974676 085558 625549 174807 926720 083912 734004 666911 121844 777982 505931 701665 350559 692883 115529 729674 231329 218514 255111 331835 882737 207752 475480 068054 412155 857147 602704 062771 589695 511480 392283 461132 561207 645710 150613 432904 958655 596888 167139 115195 299227 351116 945234 795082 650782 767789 292739 487211 183582 837928 840301 373907 083219 662990 379847 421811 239448 756700 496905 862110 628522 492603 343422 169392 057649 735464 097501 138019 742115 319642 285525 236121 352117 644781 550459 986642 642578 708719 695086 424647 929619 793746 181369 621396 454250 332842 194933 948800 184327 869316 096541 331867 040224 800418 674752 669677 430803 744697 833841 528363 453695 754055 912323 268385 273962 705875 251354 085344 221070 579865 707540 712691 768197 315359 432137 660999 789789 243097 105466 301940 021010 441719 429148 020662 934240 078867 314705 329650 487592 553613 412468 907347 615874 360190 605827 058680 472829 089539 235016 769296 054468 753559 933369 416658 681323 583672 249189 510253 454067 895856 279260 361050 064981 182491 748803 246518 104458 836252 880897 317729 386571 271784 890368 / 793 > 16817 [i]
- extracting embedded OOA [i] would yield OOA(16817, 410, S16, 2, 792), but
- m-reduction [i] would yield (25, 817, 410)-net in base 16, but
Mode: Bound (linear).
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.