Information on Result #1858757
There is no digital (4, 44)-sequence over F9, because net from sequence would yield digital (4, m, 45)-net over F9 for arbitrarily large m, but
- m-reduction [i] would yield digital (4, 40, 45)-net over F9, but
- extracting embedded orthogonal array [i] would yield linear OA(940, 45, F9, 36) (dual of [45, 5, 37]-code), but
- construction Y1 [i] would yield
- OA(939, 41, S9, 36), but
- the (dual) Plotkin bound shows that M ≥ 739 044147 071729 616580 416051 031916 488005 / 37 > 939 [i]
- OA(95, 45, S9, 4), but
- discarding factors would yield OA(95, 44, S9, 4), but
- the Rao or (dual) Hamming bound shows that M ≥ 60897 > 95 [i]
- discarding factors would yield OA(95, 44, S9, 4), but
- OA(939, 41, S9, 36), but
- construction Y1 [i] would yield
- extracting embedded orthogonal array [i] would yield linear OA(940, 45, F9, 36) (dual of [45, 5, 37]-code), but
Mode: Bound (linear).
Optimality
Show details for fixed m and s, m and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
The following results depend on this result:
| Result | This result only | Method | ||
|---|---|---|---|---|
| 1 | No digital (4, 44)-sequence over F9 (for arbitrarily large k) | [i] | Logical Equivalence (for Sequences) | |
| 2 | No digital (4, m, 44)-net over F9 with m > ∞ | [i] | ||