MinT - Information on Result #1857202

Information on Result #1857202

There is no (90, 378)-sequence in base 5, because net from sequence would yield (90, m, 379)-net in base 5 for arbitrarily large m, but

m-reduction [i] would yield (90, 1511, 379)-net in base 5, but
- extracting embedded OOA [i] would yield OOA(5¹⁵¹¹, 379, S₅, 4, 1421), but
  - the (dual) Plotkin bound for OOAs shows that MÂ â‰¥ 1301 631837 001181 630131 341853 092428 183444 712028 509554 450845 457924 968233 883202 358910 568176 768950 557594 172676 758900 026412 157334 027068 660249 479226 951379 115547 551980 027813 538379 328093 890602 258448 953349 637476 172742 817759 481786 812632 776550 375980 604033 832944 118999 707541 342721 613871 871322 896612 718029 293148 003313 335608 523856 500104 854387 666021 341247 729647 252797 710766 307207 931444 173975 814706 227367 155021 117328 172599 714153 563300 631080 735569 226522 412259 810965 521110 610975 921803 101617 094292 005936 770400 071248 415631 118083 646269 971149 835385 718954 864222 173948 112739 385784 205357 343352 644046 347515 923183 327313 819281 617289 241022 288948 040369 860588 904747 722318 677053 284244 710163 547199 447834 106864 318483 757397 237411 970555 361788 105264 108975 174681 270197 169061 243274 583897 849146 558999 675114 159272 735415 065166 556090 388232 484366 793868 191023 103360 121584 802956 237903 580469 182869 618269 176282 956727 019296 998517 796018 150850 859696 053856 004532 091304 255277 494257 607498 223205 781450 582325 373627 418261 428860 286442 490077 170601 085715 934345 144783 182514 605017 303377 376691 742028 924636 542797 088623 046875 / 711 > 5¹⁵¹¹ [i]

Mode: Bound.

Show details for fixed m and s, m and t, t and s.

None.

The following results depend on this result:

	Result		Method
1	No (90, 378)-sequence in base 5 (for arbitrarily large k)	[i]	Logical Equivalence (for Sequences)
2	No (90, m, 378)-net in base 5 with m > ∞	[i]
3	No digital (90, 378)-sequence over F₅ (for arbitrarily large k)	[i]
4	No digital (90, m, 378)-net over F₅ with m > ∞	[i]