# Récurrence et transience d'une chaîne de Markov

Un état $i$ d'une chaîne de Markov $X=(X_{n})_{n\geq 0}$ est dit récurrent (ou persistant) si une trajectoire « typique » de la chaîne de Markov passe par $i$ une infinité de fois, sinon l'état $i$ est dit transitoire (ou transient par calque de l'anglais). Ces propriétés de transience ou de récurrence sont souvent partagées par tous les états de la chaîne $X,$ par exemple quand la chaîne $X$ est irréductible : en ce cas, si tous ses états sont récurrents, la chaîne de Markov est dite récurrente.

## Temps de séjour et temps de premier retour

Pour chaque état i d'une chaîne de Markov, on a les définitions suivantes :
Définition —
* Le temps de séjour (ou nombre de passages) en $i$ est une variable aléatoire $S(i)$ à valeurs dans ${\overline {\mathbb {N} }}=\mathbb {N} \cup \{+\infty \},$ définie par
$S(i)\ =\ \sum _{k\geq 0}1_{X_{k}=i}.$
La quantité
$S_{n}(i)\ =\ \sum _{0\leq k\leq n-1}1_{X_{k}=i},$
mesure le temps passé dans l'état $i$ lors des $n$ premiers pas de la chaîne de Markov. Les relations suivantes seront utiles :
$S_{n}(i)\leq n,\quad \sum _{i\in E}S_{n}(i)=n,\mathrm {~et~} \lim _{n}S_{n}(i)=S(i).$
* Le temps de premier retour en $i,$ noté $T_{i},$ est une variable aléatoire à valeurs dans ${\overline {\mathbb {N} }}=\mathbb {N} \cup \{+\infty \},$ définie par
$T_{i}=\left\{{\begin{array}{ll}\inf\{k\geq 1\,|\,X_{k}=i\}&{\text{ si }}\{k\geq 1\,|\,X_{k}=i\}\neq \emptyset ,\\+\infty &{\text{ sinon.}}\end{array}}\right..$

## Récurrence et transience (définition informelle)

Informellement, pour une chaîne de Markov irréductible, un état $i$ du système modélisé par la chaîne de Markov est dit récurrent si une trajectoire typique du système passe infiniment souvent par cet état. Il y a en fait dichotomie :
   * soit la probabilité que la trajectoire du système passe infiniment souvent par $i$ vaut 1, et l'état $i$ est dit récurrent,
   * soit cette probabilité vaut 0, auquel cas $i$ est dit transient.
   * les états récurrents (ceux pour lesquels $\lim _{n}S_{n}(i)=+\infty$) se subdivisent en états récurrents positifs et récurrents nuls :
      * un état est dit récurrent positif si le système y passe une fraction non négligeable de son temps : bien sûr $S_{n}(i)\leq n,$ mais $S_{n}(i)$ ne doit pas être trop petit devant $n$:
$\lim _{n}{\frac {S_{n}(i)}{n}}=\pi _{i}>0\,;$
          en notation de Landau, $S_{n}(i)\in \Theta (n).$ Cela entraîne que les instants de passage en $i$ sont, en un certain sens, régulièrement espacés, à une distance $1/\pi _{i}$ les uns des autres en moyenne,
      * un état est dit récurrent nul si le système y passe une fraction négligeable de son temps :
$\lim _{n}{\frac {S_{n}(i)}{n}}=0\,;$
          i.e. $S_{n}(i)\rightarrow +\infty ,$ mais $S_{n}(i)\in o(n).$ Le système passe infiniment souvent par l'état $i,$ mais les instants de passage en $i$ sont alors de plus en plus espacés au cours du temps.
Toujours dans le cas d'une chaîne de Markov irréductible, si un état est récurrent positif, tous les états le sont et la suite $(\pi _{i})_{i\in E}$ est appelée probabilité stationnaire de la chaîne de Markov. La probabilité stationnaire joue un rôle très important dans l'étude de la chaîne de Markov.
Par exemple, si $p_{i,i+1}=p=1-p_{i,i-1},$ on parle de marche aléatoire sur $\mathbb {Z}$ ou sur $\mathbb {Z} _{m}.$
* Si on est sur $\mathbb {Z} _{m},$ alors, indépendamment de la valeur de $p,$ chaque état est récurrent positif et chaque $\pi _{i}$ vaut ${\frac {1}{m}};$
* Si on est sur $\mathbb {Z} ,$ et si $p\neq 0{,}5,$ chaque état $i$ est transient : au bout d'un certain temps, aléatoire, une trajectoire typique ne passe plus jamais par $i;$
* Si on est sur $\mathbb {Z} ,$ et si $p=0{,}5,$ chaque état $i$ est récurrent nul : $S_{n}(i)\sim {\sqrt {n}},$ et le $n$-ième passage a lieu, grosso modo, au bout de $n^{2}$ unités de temps.
Il faut mentionner une notion très voisine : le théorème de récurrence de Poincaré (1890) dit que, pour presque toutes les « conditions initiales », un système dynamique conservatif dont l'espace des phases est de « volume » fini va repasser au cours du temps aussi près que l'on veut de sa condition initiale, et ce de façon répétée.

## Critères de récurrence et de transience

Notations. Lorsqu'on étudie une chaîne de Markov particulière, sa matrice de transition est en général bien définie et fixée tout au long de l'étude, mais la loi initiale peut changer lors de l'étude et les notations doivent refléter la loi initiale considérée sur le moment :
* si à un moment de l'étude on considère une chaîne de Markov de loi initiale définie par $\forall i\in E,\quad \mathbb {P} \left(X_{0}=i\right)=\mu _{i},$ alors les probabilités sont notées $\mathbb {P} _{\mu }\left(\dots \right),$ et les espérances sont notées $\mathbb {E} _{\mu }\left[\dots \right]\ ;$
* en particulier, si $\mathbb {P} \left(X_{0}=j\right)=1,$ on dit que la chaîne de Markov part de $j,$ les probabilités sont notées $\mathbb {P} _{j}\left(\dots \right),$ et les espérances sont notées $\mathbb {E} _{j}\left[\dots \right].$
Définition —
* Un état $i$ est dit récurrent si et seulement si l'une des conditions équivalentes ci-dessous est remplie :
** $\ \mathbb {P} _{i}\left(S(i)=+\infty \right)>0,$
** $\ \mathbb {P} _{i}\left(S(i)=+\infty \right)=1,$
** $\ \mathbb {E} _{i}\left[S(i)\right]=+\infty ,$
** $\ \sum _{k\geq 0}p_{i,i}^{(k)}=+\infty ,$
** $\ \mathbb {P} _{i}\left(T_{i}<+\infty \right)=1.$
* Un état $i$ est dit transient dans le cas contraire, i.e. si et seulement si l'une des conditions équivalentes ci-dessous est remplie :
** $\ \mathbb {P} _{i}\left(S(i)=+\infty \right)<1,$
** $\ \mathbb {P} _{i}\left(S(i)=+\infty \right)=0,$
** $\ \mathbb {E} _{i}\left[S(i)\right]<+\infty ,$
** $\ \sum _{k\geq 0}p_{i,i}^{(k)}<+\infty ,$
** $\ \mathbb {P} _{i}\left(T_{i}=+\infty \right)>0.$
* L'état $i$ est récurrent positif si
** l'espérance du temps de premier retour en cet état, partant de cet état, est finie, i.e. si
          $\mathbb {E} _{i}\left[T_{i}\right]\ <\ +\infty .$
    ou bien, de manière équivalente, si
   * il existe une probabilité stationnaire $\pi =(\pi _{i})_{i\in E}$ telle que $\pi _{i}>0,$ i.e. une probabilité $\pi$ telle que $\pi _{i}>0$ et telle que $\pi P=\pi ,$ cette dernière relation s'écrivant aussi, coordonnées par coordonnées,
             $\forall j\in E,\qquad \sum _{i\in E}\pi _{i}p_{i,j}=\pi _{j}.$
* L'état $i$ est récurrent nul s'il est récurrent et si, pourtant, l'espérance du temps de premier retour en cet état, partant de cet état, est infinie, i.e. si
** $\mathbb {P} _{i}\left(T_{i}<+\infty \right)=1\quad {\text{et}}\quad \mathbb {E} _{i}\left[T_{i}\right]\ =\ +\infty .$

## Exemples
### Marche aléatoire sur un groupe fini

Dans cet exemple, $\ p_{i,i-1}=p=1-p_{i,i+1}.$ La matrice de transition $\ P$ s'écrit
$\ P=pA+(1-p)B,$
où $\ A$ (resp. $\ B$) est la matrice de la permutation circulaire $\ (1,2,3,\dots ,m)$ (resp. $\ (m,m-1,m-2,\dots ,1)$). Par conséquent $\ \pi =(1/m,1/m,\dots ,1/m)$ est une probabilité stationnaire, donc chaque état est récurrent positif, en vertu du 2e critère. Dans la figure ci-contre, $\ m=8$ et $\ q=1-p.$
Dans cet exemple, $\ p_{g,g\tau }=p$ et $\ p_{g,g\rho }=q,$ où $\ \tau =(b,d)$ est la symétrie du carré par rapport à la diagonale (a,c), et où $\ \rho =(a,b)(c,d)$ est la symétrie du carré par rapport à son axe horizontal ; $\ \sigma =\rho \circ \tau =(a,b,c,d)$ est la rotation d'angle $\ \pi /2.$ La probabilité $\ \pi =(1/8,1/8,\dots ,1/8)$ est une probabilité stationnaire, donc chaque état est récurrent positif, en vertu du 2e critère.
Plus généralement, tous les états d'une marche aléatoire sur un groupe fini $\ G$ sont récurrents positifs, car la loi uniforme discrète sur $\ G$ est une probabilité stationnaire, indépendamment du pas de la marche : en effet, la matrice de transition $\ P$ d'une marche aléatoire sur un groupe discret est bistochastique (i.e. non seulement la somme des termes d'une ligne vaut 1, quelle que soit la ligne, mais la somme des termes d'une colonne de $\ P$ vaut 1, quelle que soit la colonne). Si tous les coefficients du vecteur ligne $\ x$ valent 1, on vérifie alors sans peine que $\ xP=x.$ Ainsi la mesure uniforme, qui est proportionnelle à $\ x,$ est stationnaire.

### Marche aléatoire simple sur les entiers relatifs

Dans cet exemple, $E=\mathbb {Z}$ et $p_{i,i+1}=p=1-p_{i,i-1}.$ Si $0<p<1,$ la chaîne $X=(X_{n})_{n\geq 0}$ est irréductible, donc tous les états ont même nature. Par exemple on a
$\forall k\geq 0,\qquad p_{0,0}^{(2k)}={2k \choose k}p^{k}(1-p)^{k}\sim {\frac {(4p(1-p))^{k}}{\sqrt {k\pi }}},$
alors que $p_{0,0}^{(2k+1)}=0.$

#### Marche aléatoire biaisée

* Si on observe la forme de la fraction ci-dessus, comme $\{4p(1-p)<1\}\Leftrightarrow \{p\neq 0.5\},$ la marche est transiente si et seulement si $p\neq 0.5,$ en vertu du quatrième critère de transience exprimé dans la partie « Critères de récurrence et de transience ».
* On peut aussi voir que $p\neq 0.5$ entraîne la transience de la chaîne de Markov $X=(X_{n})_{n\geq 0}$ en construisant cette chaîne à l'aide d'une suite de variables aléatoires i.i.d. $Y=(Y_{n})_{n\geq 1},$ de la manière suivante : posons
${\begin{aligned}S_{0}=0,\qquad S_{n}&=S_{n-1}+Y_{n}\qquad n\geq 1\\&=Y_{1}+Y_{2}+\dots +Y_{n}.\end{aligned}}$
    Alors $S=(S_{n})_{n\geq 0}$ a même loi que $X=(X_{n})_{n\geq 0},$ mais la loi forte des grands nombres pour les suites de v.a. i.i.d. entraîne que, presque sûrement en $\omega \in \Omega ,$
$\lim {\frac {S_{n}(\omega )}{n}}=\mathbb {E} [Y_{n}]=(1-p)\times (-1)+p\times 1=2p-1\neq 0.$
    donc, avec probabilité 1, la suite de nombres réels $(S_{n}(\omega ))_{n\geq 0}$ converge vers $sgn(2p-1)\times +\infty ,$ et visite la valeur 0, au plus, un nombre fini de fois : 0 est donc transient, et tous les entiers de sa classe ($\mathbb {Z} ,$ en l'occurrence) avec lui.
* Dans le cas où $p=0.5,$ la méthode précédente ne permet pas de démontrer la récurrence de 0, puisque la loi forte des grands nombres stipule alors la convergence de la suite $(n^{-1}\,S_{n}(\omega ))_{n\geq 0}$ vers 0, ce qui n'entraîne pas nécessairement que la suite $(S_{n}(\omega ))_{n\geq 0}$ prenne la valeur 0 une infinité de fois : pour aboutir à la conclusion d'une infinité de visites en 0, il faut invoquer un résultat plus précis que la loi forte des grands nombres, à savoir la loi du logarithme itéré.
* Pour décider de la récurrence ou de la transience aussi bien dans le cas $p=0.5$ que dans le cas $p\neq 0.5,$ on peut aussi calculer explicitement la loi du premier temps T de retour en 0, partant de 0, pour la marche aléatoire simple, et trancher ainsi l'alternative :
$\mathbb {P} _{i}\left(T_{i}<+\infty \right)=1\quad {\text{ou}}\quad \mathbb {P} _{i}\left(T_{i}=+\infty \right)>0.$
    En effet
$\forall k\geq 1,\qquad \mathbb {P} (T=2k)=2C_{k-1}\left(p(1-p)\right)^{k},$
    où $C_{n}$ désigne le n-ème nombre de Catalan. On trouve alors que la série génératrice de T, $G_{T}(s)=\mathbb {E} [s^{T}],$ satisfait
$G_{T}(s)=1-{\sqrt {1-4p(1-p)s^{2}}}.$
    Ainsi
    ${\begin{aligned}\mathbb {P} (T<+\infty )&=\sum _{k\geq 2}\mathbb {P} (T=k)\\&=G_{T}(1)\\&=1-{\sqrt {1-4p(1-p)}}\\&=1-|2p-1|\end{aligned}}$
    est strictement inférieur à 1 si et seulement si $p\neq 0.5.$

#### Marche aléatoire symétrique

* Par ailleurs, pour $p=0.5,$ la mesure de probabilité $\pi$ est solution du système $\pi P=\pi$ si et seulement si
$\forall k\in \mathbb {Z} ,\qquad 2\pi _{k}=\pi _{k-1}+\pi _{k+1},$
    i.e. si et seulement si les $\pi _{k}$ forment une progression arithmétique :
$\forall k\in \mathbb {Z} ,\qquad \pi _{k}=ak+b.$
    La contrainte de positivité sur les $\pi _{k}$ impose $a=0,\ b\geq 0,$ i.e. $\pi _{k}$ est une suite constante. Ainsi $\sum _{k}\pi _{k}$ est infinie ou nulle, suivant la valeur de $b,$ strictement positive ou bien nulle, donc une mesure invariante ne peut en aucun cas être une mesure de probabilité, ce qui fait qu'il n'existe pas de probabilité stationnaire : tous les états sont récurrents nuls.
* Puisque, asymptotiquement, les nombres de Catalan se comportent comme
$C_{n}\sim {\frac {4^{n}}{n^{3/2}{\sqrt {\pi }}}},$
    on peut aussi voir directement, grace la formule explicite de la loi du temps T de retour en 0, donnée à la section précédente, que
$2k\mathbb {P} (T=2k)\sim {\frac {1}{2{\sqrt {\pi k}}}}$
    n'est pas le terme général d'une série convergente, et que, par conséquent, $\mathbb {E} [T]=+\infty .$