Key points are not available for this paper at this time.
We study permutation groups of given minimal degree without the classical primitivity assumption. We provide sharp upper bounds on the order of a permutation group H ≤ Sₙ of minimal degree m and on the number of its elements of any given support. These results contribute to the foundations of a non-commutative coding theory. A main application of our results concerns the Hidden Subgroup Problem for Sₙ in quantum computing. We completely characterize the hidden subgroups of Sₙ that can be distinguished from identity with weak Quantum Fourier Sampling, showing that these are exactly the subgroups with bounded minimal degree. This implies that the weak standard method for Sₙ has no advantage whatsoever over classical exhaustive search.
Kempe et al. (Mon,) studied this question.