Abstract:Consider shuffling a deck of $n$ cards, labeled $1$ through $n$, as follows: at each time step, pick one card uniformly with your right hand and another card, independently and uniformly with your left hand; then swap the cards. How long does it take until the deck is close to random?
Diaconis and Shahshahani showed that this process undergoes cutoff in total variation distance at time $t = \lfloor n\log{n}/2 \rfloor$. Confirming a conjecture of N.~Berestycki, we prove the definitive ``hitting time'' version of this result: let $\tau$ denote the first time at which all cards have been touched. The total variation distance between the stopped distribution at $\tau$ and the uniform distribution on permutations is $o_n(1)$; this is best possible, since at time $\tau-1$, the total variation distance is at least $(1+o_n(1))e^{-1}$.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper mainly studies the mixing time problem of Random Transposition Walk on the symmetric group \(S_n\). Specifically, the authors focus on the following problems:
1. **Mixing time in the card - shuffling process**: Consider shuffling a deck of \(n\) cards by random transposition, where at each step two cards are selected and their positions are exchanged. The authors explore how many steps are required to make the deck close to a completely random state.
2. **Hitting Time of contacting all cards for the first time**: Define \(\tau\) as the time when all cards are touched for the first time. The authors prove that at time \(\tau\), the total variation distance (TVD) between the stopping distribution and the uniform distribution of permutations is \(o(1)\), which is an optimal result, because at time \(\tau - 1\), the TVD is at least \((1+o(1))e^{-1}\).
### Main results of the paper
- **Theorem 1.1**: Confirms Nathanaël Berestycki's conjecture that at the time \(\tau\) when all cards are first touched, the total variation distance of the random transposition walk converges to zero:
\[
d_{\text{TV}}(X_\tau, U_{S_n})\leq\exp(-(\log n)^{1/2}+o(1))
\]
- **Theorem 1.2**: Provides a more precise distribution approximation result, describing the distribution characteristics of the random transposition walk when the time \(t = \left\lfloor\frac{n\log n}{2}\right\rfloor + t'\) is close to the cut - off time.
- **Theorem 1.4**: Confirms another conjecture of Nathanaël Berestycki that when the time \(t\) is close to the cut - off time, given the maximum connected component \(C_t\), the total variation distance between the distribution of the random transposition walk and the uniform distribution restricted to \(S_{C_t}\) is also \(o(1)\).
### Research background and related work
- **Early work of Diaconis and Shahshahani**: In their pioneering work in 1981, they used the methods of non - commutative Fourier analysis/representation theory to prove that the random transposition walk has a cut - off phenomenon at \(t=\frac{n\log n}{2}\).
- **Other related research**: Including work on generalizing from transpositions to \(k\)-cycles, the support of conjugate classes, etc., and recently Teyssier's research on the cut - off profile of the random transposition walk.
Through these results, the authors not only verify the conjecture about the time of first touching all cards but also provide a more refined understanding of the random transposition walk, especially its behavior when close to the cut - off time.