Information on Result #1857612
There is no (24, 215)-sequence in base 9, because net from sequence would yield (24, m, 216)-net in base 9 for arbitrarily large m, but
- m-reduction [i] would yield (24, 429, 216)-net in base 9, but
- extracting embedded OOA [i] would yield OOA(9429, 216, S9, 2, 405), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 5696 955446 943115 756721 736431 699869 003572 428786 945238 403575 277867 834976 569574 342633 907659 907726 760813 501100 049111 102654 684811 345649 855787 384766 334717 198188 753379 666108 338753 389725 177294 575220 185541 496352 681776 439974 231330 876953 961038 611936 188437 626075 253533 887345 134755 788522 107584 697563 284106 766808 557311 172369 561039 252785 197869 586862 687567 848411 361768 006906 702969 938222 949927 423898 249207 237001 401960 826444 848427 / 203 > 9429 [i]
- extracting embedded OOA [i] would yield OOA(9429, 216, S9, 2, 405), but
Mode: Bound.
Optimality
Show details for fixed m and s, m and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
The following results depend on this result:
| Result | This result only | Method | ||
|---|---|---|---|---|
| 1 | No (24, 215)-sequence in base 9 (for arbitrarily large k) | [i] | Logical Equivalence (for Sequences) | |
| 2 | No (24, m, 215)-net in base 9 with m > ∞ | [i] | ||
| 3 | No digital (24, 215)-sequence over F9 (for arbitrarily large k) | [i] | ||
| 4 | No digital (24, m, 215)-net over F9 with m > ∞ | [i] | ||