A necessary and sufficient condition for double coset lumping of Markov chains on groups with an application to the random to top shuffle

John R. Britnell, Mark Wildon

Let $Q$ be a probability measure on a finite group $G$, and let $H$ be a subgroup of $G$. We show that a necessary and sufficient condition for the random walk driven by $Q$ on $G$…