Information on Result #1875192
There is no digital (6, 57)-sequence over F8 (for arbitrarily large k), because logical equivalence would yield digital (6, 57)-sequence over F8, but
- net from sequence [i] would yield digital (6, m, 58)-net over F8 for arbitrarily large m, but
- m-reduction [i] would yield digital (6, 48, 58)-net over F8, but
- extracting embedded orthogonal array [i] would yield linear OA(848, 58, F8, 42) (dual of [58, 10, 43]-code), but
- construction Y1 [i] would yield
- linear OA(847, 50, F8, 42) (dual of [50, 3, 43]-code), but
- “Hi4†bound on codes from Brouwer’s database [i]
- OA(810, 58, S8, 8), but
- discarding factors would yield OA(810, 57, S8, 8), but
- the linear programming bound shows that M ≥ 1426 626655 027200 / 1 315507 > 810 [i]
- discarding factors would yield OA(810, 57, S8, 8), but
- linear OA(847, 50, F8, 42) (dual of [50, 3, 43]-code), but
- construction Y1 [i] would yield
- extracting embedded orthogonal array [i] would yield linear OA(848, 58, F8, 42) (dual of [58, 10, 43]-code), but
- m-reduction [i] would yield digital (6, 48, 58)-net over F8, 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.