Markov chain mixing time

In mathematical probability, a fundamental result about Markov chains is that a finite state irreducible aperiodic chain has a unique stationary distribution &pi; and, regardless of the initial state, the time-t distribution of the chain converges to &pi;  as t tends to infinity. Mixing time refers to any of several variant formalizations of the idea: how large must t be until the time-t distribution is approximately &pi; ? One variant, variation distance mixing time, is defined as the smallest t such that
 * $$|\Pr(X_t \in A) - \pi(A)| \leq 1/4 $$

for all subsets A of states and all initial states. This is the sense in which David Bayer and Persi Diaconis proved that the number of riffle shuffles needed to mix an ordinary 52 card deck is 7. Mathematical theory focuses on how mixing times change as a function of the size of the structure underlying the chain. For an n-card deck, the number of riffle shuffles needed grows as 1.5 log (n) / log (2). The most developed theory concerns randomized algorithms for #P-Complete algorithmic counting problems such as the number of graph colorings of a given n vertex graph. Such problems can, for sufficiently large number of colors, be answered using the Markov chain Monte Carlo method and showing that the mixing time grows only as n log (n). This example and the shuffling example possess the rapid mixing property, that the mixing time grows at most polynomially fast in log (number of states of the chain). Tools for proving rapid mixing include arguments based on conductance and the method of Coupling (probability). In broader uses of the Markov chain Monte Carlo method, rigorous justification of simulation results would require a theoretical bound on mixing time, and many interesting practical cases have resisted such theoretical analysis.