Information on Result #1877800
There is no digital (2, 2+k, 7)-net over F2 for arbitrarily large k, because logical equivalence would yield (2, m, 7)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (2, 10, 7)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(210, 7, S2, 3, 8), but
- the linear programming bound for OOAs shows that M ≥ 1 314304 / 1193 > 210 [i]
- extracting embedded OOA [i] would yield OOA(210, 7, S2, 3, 8), 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.