Information on Result #1874085
There is no digital (15, m, 56)-net over F4 with m > ∞, because logical equivalence would yield (15, 56)-sequence in base 4, but
- net from sequence [i] would yield (15, m, 57)-net in base 4 for arbitrarily large m, but
- m-reduction [i] would yield (15, 167, 57)-net in base 4, but
- extracting embedded OOA [i] would yield OOA(4167, 57, S4, 3, 152), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 699920 231930 563815 799200 712677 638836 913014 217885 827979 656246 594051 184959 743800 295431 524216 647377 223680 / 17 > 4167 [i]
- extracting embedded OOA [i] would yield OOA(4167, 57, S4, 3, 152), but
- m-reduction [i] would yield (15, 167, 57)-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.