Information on Result #1879402
There is no digital (30, 30+k, 136)-net over F5 for arbitrarily large k, because logical equivalence would yield (30, m, 136)-net in base 5 for arbitrarily large m, but
- m-reduction [i] would yield (30, 404, 136)-net in base 5, but
- extracting embedded OOA [i] would yield OOA(5404, 136, S5, 3, 374), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 8 810146 606282 199070 661019 690726 450453 222248 661910 999218 984660 691558 547191 922235 570062 602082 980208 207965 830909 204686 413652 068652 807707 596967 813273 565236 372369 305542 048490 457576 229932 887298 972565 556591 311395 684993 960412 389619 867154 126506 994071 647838 051575 263307 313434 779644 012451 171875 / 3 > 5404 [i]
- extracting embedded OOA [i] would yield OOA(5404, 136, S5, 3, 374), 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.