loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
45th Annual IEEE Symposium on Foundations of Computer Science (FOCS'04)
Shuffling by Semi-Random Transpositions
Rome, Italy
October 17-October 19
ISBN: 0-7695-2228-9
Elchanan Mossel, University of California at Berkeley
Yuval Peres, University of California at Berkeley
Alistair Sinclair, University of California at Berkeley
In the cyclic-to-random shuffle, we are given n cards arranged in a circle. At step k, we exchange the k?th card along the circle with a uniformly chosen random card. The problem of determining the mixing time of the cyclicto- random shuffle was raised by Aldous and Diaconis in 1986. Recently, Mironov used this shuffle as a model for the cryptographic system known as RC4, and proved an upper bound of O(n log n) for the mixing time. We prove a matching lower bound, thus establishing that the mixing time is indeed of order Θ(n log n). We also prove an upper bound of O(n log n) for the mixing time of any "semi-random transposition shuffle", i.e., any shuffle in which a random card is exchanged with another card chosen according to an arbitrary (deterministic or random) rule. To prove our lower bound, we exhibit an explicit complex-valued test function which typically takes very different values for permutations arising from few iterations of the cyclic-to-random-shuffle and for uniform random permutations. Perhaps surprisingly, the proof hinges on the fact that the function e^z - 1 has nonzero fixed points in the complex plane. A key insight from our work is the importance of complex analysis tools for uncovering structure in nonreversible Markov chains.
Citation:
Elchanan Mossel, Yuval Peres, Alistair Sinclair, "Shuffling by Semi-Random Transpositions," focs, pp.572-581, 45th Annual IEEE Symposium on Foundations of Computer Science (FOCS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.