Information on Result #1856904
There is no (53, 173)-sequence in base 4, because net from sequence would yield (53, m, 174)-net in base 4 for arbitrarily large m, but
- m-reduction [i] would yield (53, 691, 174)-net in base 4, but
- extracting embedded OOA [i] would yield OOA(4691, 174, S4, 4, 638), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 9288 309531 565531 055035 747194 080313 886357 243394 884141 026377 950641 329674 237294 720699 224931 011169 188670 578716 212580 138923 112388 336154 259176 002714 322875 853864 937534 540168 870085 192377 501482 456621 190278 259334 886398 844258 928126 296021 052323 787642 518303 073805 666285 047041 187506 967047 516962 726360 280637 157314 088991 125416 953233 900193 744130 302058 950456 585745 306540 077087 926219 017930 333982 227198 998203 964159 324405 624829 149500 669952 / 71 > 4691 [i]
- extracting embedded OOA [i] would yield OOA(4691, 174, S4, 4, 638), 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 (53, 173)-sequence in base 4 (for arbitrarily large k) | [i] | Logical Equivalence (for Sequences) | |
| 2 | No (53, m, 173)-net in base 4 with m > ∞ | [i] | ||
| 3 | No digital (53, 173)-sequence over F4 (for arbitrarily large k) | [i] | ||
| 4 | No digital (53, m, 173)-net over F4 with m > ∞ | [i] | ||