Information on Result #1874063
There is no digital (4, m, 20)-net over F4 with m > ∞, because logical equivalence would yield (4, 20)-sequence in base 4, but
- net from sequence [i] would yield (4, m, 21)-net in base 4 for arbitrarily large m, but
- m-reduction [i] would yield (4, 24, 21)-net in base 4, but
- extracting embedded OOA [i] would yield OOA(424, 21, S4, 2, 20), but
- the linear programming bound for OOAs shows that M ≥ 106960 491150 049280 / 311 > 424 [i]
- extracting embedded OOA [i] would yield OOA(424, 21, S4, 2, 20), but
- m-reduction [i] would yield (4, 24, 21)-net in base 4, but
Mode: Bound (linear).
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.