Information on Result #1857619
There is no (31, 273)-sequence in base 9, because net from sequence would yield (31, m, 274)-net in base 9 for arbitrarily large m, but
- m-reduction [i] would yield (31, 545, 274)-net in base 9, but
- extracting embedded OOA [i] would yield OOA(9545, 274, S9, 2, 514), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 6 958008 525956 789265 608060 783885 932988 171604 150606 352429 336613 480224 424089 117469 263763 573172 826813 523756 645714 304680 259217 812461 688470 641061 606537 344658 995065 489946 620884 531994 925961 597300 635607 806758 458598 747623 678817 654929 180584 387724 120617 070592 978153 307697 740634 596878 099062 237248 092196 065784 514892 262384 133135 358804 423680 007279 758194 905848 731236 794445 914765 900476 799533 723454 234296 955010 751168 184360 114080 596360 980461 302424 263192 094439 514192 651188 810232 983023 496445 520588 731299 298220 021652 035852 613754 817921 932354 333747 / 515 > 9545 [i]
- extracting embedded OOA [i] would yield OOA(9545, 274, S9, 2, 514), 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 (31, 273)-sequence in base 9 (for arbitrarily large k) | [i] | Logical Equivalence (for Sequences) | |
| 2 | No (31, m, 273)-net in base 9 with m > ∞ | [i] | ||
| 3 | No digital (31, 273)-sequence over F9 (for arbitrarily large k) | [i] | ||
| 4 | No digital (31, m, 273)-net over F9 with m > ∞ | [i] | ||