Information on Result #1879652
There is no digital (4, 4+k, 37)-net over F7 for arbitrarily large k, because logical equivalence would yield digital (4, m, 37)-net over F7 for arbitrarily large m, but
- m-reduction [i] would yield digital (4, 32, 37)-net over F7, but
- extracting embedded orthogonal array [i] would yield linear OA(732, 37, F7, 28) (dual of [37, 5, 29]-code), but
- construction Y1 [i] would yield
- OA(731, 33, S7, 28), but
- the (dual) Plotkin bound shows that M ≥ 5522 138371 219603 231526 496005 / 29 > 731 [i]
- OA(75, 37, S7, 4), but
- discarding factors would yield OA(75, 31, S7, 4), but
- the Rao or (dual) Hamming bound shows that M ≥ 16927 > 75 [i]
- discarding factors would yield OA(75, 31, S7, 4), but
- OA(731, 33, S7, 28), but
- construction Y1 [i] would yield
- extracting embedded orthogonal array [i] would yield linear OA(732, 37, F7, 28) (dual of [37, 5, 29]-code), 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.