Markov Chains on Orbits of Permutation Groups
Path coupling: A technique for proving rapid mixing in Markov chains