Random Walks on Wreath Products of Groups

We bound the rate of convergence to uniformity for a certain random walk on the complete monomial groups G≀S n for any group G. Specifically, we determine that $${\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 2}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$2$}}$$ n log n+ $$\frac{1}{4}$$ n log (|G|−1|) steps are both necessary and sufficient for ℓ2 distance to become small. We also determine that $${\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 2}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$2$}}$$ n log n steps are both necessary and sufficient for total variation distance to become small. These results provide rates of convergence for random walks on a number of groups of interest: the hyperoctahedral group ℤ2≀S n , the generalized symmetric group ℤ m ≀S n , and S m ≀S n . In the special case of the hyperoctahedral group, our random walk exhibits the “cutoff phenomenon.”