← Back to arXiv
arXivProbabilityarXiv:2610.18884

A subquadratic upper bound for the mixing time of the Thorp shuffle

The Thorp shuffle is a specific way of randomizing a deck of cards with n = 2^d cards. In each step, you pair up cards in a structured way and randomly swap each pair or leave them in place, then perform a fixed cyclic shift. The central question is: how many times do you need to repeat this process before the deck is thoroughly mixed, meaning no matter what order the cards started in, their arrangement is essentially random? This question matters both for understanding card shuffling practically and for deep reasons in the mathematics of random processes and group theory.

Previous work by Morris showed that the mixing time is at most on the order of d cubed, where d is the number of binary digits needed to label each card's position. The new paper improves this substantially, showing the mixing time grows no faster than roughly d to the power of 5/3. The authors achieve this by switching to a "rotating frame" perspective where the deterministic part of each shuffle disappears, grouping d consecutive shuffles into a single "sweep" that randomly mixes cards along each dimension independently. This reframing simplifies the analysis considerably.

The proof then combines several sophisticated mathematical tools. The authors track how information about the deck's arrangement spreads using entropy arguments, carefully analyzing how uncertainty about card positions grows with each sweep. They also use a technique involving "marked cards," monitoring specific cards as tracers to bound how well-mixed the full deck becomes. By splitting the shuffling process into three blocks of carefully optimized lengths and applying different analytical tools to each block, they pin down not just the scaling but an explicit numerical constant in front of the leading term. The result is a meaningful step toward the conjectured true answer, which mathematicians believe should be closer to d, though proving that remains an open problem.

Read original →