Information on Result #1880300
There is no digital (3, 3+k, 37)-net over F9 for arbitrarily large k, because logical equivalence would yield digital (3, m, 37)-net over F9 for arbitrarily large m, but
- m-reduction [i] would yield digital (3, 30, 37)-net over F9, but
- extracting embedded orthogonal array [i] would yield linear OA(930, 37, F9, 27) (dual of [37, 7, 28]-code), but
- construction Y1 [i] would yield
- OA(929, 31, S9, 27), but
- the (dual) Plotkin bound shows that M ≥ 42391 158275 216203 514294 433201 / 7 > 929 [i]
- OA(97, 37, S9, 6), but
- the linear programming bound shows that M ≥ 8306 954271 / 1613 > 97 [i]
- OA(929, 31, S9, 27), but
- construction Y1 [i] would yield
- extracting embedded orthogonal array [i] would yield linear OA(930, 37, F9, 27) (dual of [37, 7, 28]-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.