Information on Result #1874580
There is no digital (2, 15)-sequence over F5 (for arbitrarily large k), because logical equivalence would yield (2, 15)-sequence in base 5, but
- net from sequence [i] would yield (2, m, 16)-net in base 5 for arbitrarily large m, but
- m-reduction [i] would yield (2, 19, 16)-net in base 5, but
- extracting embedded OOA [i] would yield OOA(519, 16, S5, 2, 17), but
- the linear programming bound for OOAs shows that M ≥ 3124 237060 546875 / 149 > 519 [i]
- extracting embedded OOA [i] would yield OOA(519, 16, S5, 2, 17), but
- m-reduction [i] would yield (2, 19, 16)-net in base 5, but
Mode: Bound (linear).
Optimality
Show details for fixed k and s, k and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
None.