Graphes aléatoires.
THÉORÈME 1.2. — Si E[ξ]61, l’abre de Galton-Watson est fini presque sûrement. Si E[ξ]>1, l’arbre de
Galton-Watson est fini avec probabilité p=∈]0, 1[et p=est la plus petite solution de l’équation φ(x) = x.
On adoptera dorénavant les termes suivants :
DÉFINITION 1.3. On dit que l’arbre de Galton-Watson est dans le cas
–sur-critique lorsque E[ξ]>1,
–critique lorsque E[ξ] = 1,
–sous-critique lorsque E[ξ]<1.
On donne maintenant quelques exemples de calculs dans le cas « intéressant » où m > 1 et l’arbre
n’est pas forcément fini.
EXEMPLE 1.4. Si ξest une loi de Poisson de paramètre λ > 1, alors un calcul classique donne φ(s) =
eλ(s−1), et ainsi p=vérifie
p==eλ(p=−1). (1)
En particulier, si l’on note p?la probabilité de survie éternelle (p?=1−p=), on a
p?=1−e−λp?.
Il n’y a pas de solution explicite. On remarque cependant que p?est une fonction croissante de λ, ce
qui se comprend facilement : plus λest élevé, plus il y a de descendants, plus la probabilité de survie est
élevée.
EXEMPLE 1.5. Si ξest une loi binomiale de paramètres (n,p)alors un calcul classique donne φ(s) =
(ps +1−p)n, et donc p=vérifie
p== (p=s+1−p=)n.
1.4. Exploration d’un arbre.
On pose A0=1 et on définit par récurrence les An. Si, à l’instant n, on a An6=0, on choisit un nœud
actif 1, on le désactive, et on active ses hnenfants. La variable Anreprésente le nombre de noeuds actifs
à l’instant n, elle obéit à la récurrence suivante :
An+1=0 si An=0
An−1+hnsinon.
On pose T=inf{t∈N:At=0}. C’est le premier moment où il n’y a plus de noeuds actifs, donc
l’arbre s’est éteint et sa taille est T.
Une récurrence immédiate permet de vérifier que An=1+h1+h2+... +hn−nlorsque n6T. On
en déduit notamment que si Test fini, on a la relation
T=1+
T
X
i=1
hi(2)
REMARQUE 1.6. Lorsque l’arbre est un arbre aléatoire de Galton-Watson, A−1 est une marche aléatoire
issue de 0, dont les incréments sont de loi ξ−1.
DÉFINITION 1.7 (historique d’exploration). L’historique d’exploration d’un arbre, noté H, est la suite
H= (h1,h2, ..., hT).
1. Par exemple, en prenant le plus à gauche.
3