$$t_{\rm mix}(\varepsilon)=\min\{t \mid d(t)\leq \varepsilon\}.$$
- Intuitively speaking, $t_{\rm mix}$ is a mixing time
- \textit{i.e.}, is the time until the matrix $X$ \ANNOT{pas plutôt $P$ ?} of a Markov chain
- is $\epsilon$-close to a stationary distribution.
+ %% Intuitively speaking, $t_{\rm mix}$ is a mixing time
+ %% \textit{i.e.}, is the time until the matrix $X$ of a Markov chain
+ %% is $\epsilon$-close to a stationary distribution.
+
+ Intutively speaking, $t_{\rm mix}(\varepsilon)$ is the time/steps required
-to be sure to be $\varepsilon$-close to the staionary distribution, wherever
++to be sure to be $\varepsilon$-close to the stationary distribution, wherever
+ the chain starts.
\subsection{Upper bound of Stopping Time}\label{sub:stop:bound}
--
- A stopping time $\tau$ is a \emph{strong stationary time} if $X_{\tau}$ is
- independent of $\tau$.
+ A stopping time $\tau$ is a {\emph strong stationary time} if $X_{\tau}$ is
+ independent of $\tau$. The following result will be useful~\cite[Proposition~6.10]{LevinPeresWilmer2006},
\begin{thrm}\label{thm-sst}