Inégalité FKG
L’inégalité FKG, notion due à Fortuin, Kasteleyn et Ginibre[1] est une version généralisée de l'inégalité de Tchebychev pour les sommes. C'est une inégalité de corrélation utilisée, par exemple, en théorie de la percolation, et dans l'étude du modèle de graphes aléatoires dû à Paul Erdős et Alfréd Rényi : le modèle d'Erdős-Rényi (en).
Énoncé
Sous la forme due à Harris, l'inégalité FKG concerne un ensemble fini ou dénombrable J dont chaque élément j est soit dans l'état 0, avec probabilité 1-p, soit dans l'état 1 avec probabilité p. L'état global du système J est donc décrit par un élément de Comme les états des différents sites j de J sont supposés indépendants, l'ensemble des états, ou des configurations, est muni d'une loi de probabilité qui est une mesure produit de lois de Bernoulli. L'ensemble Ω peut-être identifié à l'ensemble des parties de J, via la correspondance entre ensemble et fonction indicatrice. L'inégalité FKG stipule que
Inégalité FKG —
- Soit deux variables aléatoires X et Y croissantes sur Alors
- Soit deux parties croissantes A et B de Alors
Cela revient à dire qu'il y a une corrélation positive entre les variables concernées, puisqu'on peut reformuler la première inégalité sous la forme
- Le deuxième point de l'inégalité FKG est obtenu comme conséquence immédiate du premier point, en spécialisant au cas particulier où X est la fonction indicatrice de A et où Y est la fonction indicatrice de B.
- L'inégalité vaut aussi pour des variables ou des parties décroissantes, mais le sens des inégalités change lorsque les variables ou les parties concernées ont des sens de monotonie opposés.
- Il y a des formes plus générales de l'inégalité FKG, avec les mêmes conclusions, mais pour des espaces produits plus généraux, munis d'une mesure qui n'est pas nécessairement une mesure produit.
Ordre et croissance
- On définit une relation d'ordre partielle sur Ω comme suit : pour on pose
- Si on identifie Ω à l'ensemble des parties de J, la relation d'ordre ci-dessus s'interprète comme la relation d'inclusion. Ce parallèle ne tient plus si l'on veut généraliser de à pour un espace d'états E plus général que {0,1}.
- Comme d'ordinaire, une application X définie sur Ω, à valeurs réelles, est dite croissante si
- Une partie A de Ω est dite croissante si
- De manière équivalente, une partie A de Ω est dite croissante si sa fonction indicatrice est croissante.
- La propriété de décroissance d'une application ou d'une partie a une définition analogue.
- Percolation : J est l'ensemble des arêtes du réseau arêtes ouvertes avec probabilité p et fermées avec probabilité 1-p, indépendamment les unes des autres.
- l'ensemble A des configurations possédant un amas infini est croissant (on dit que la propriété d'existence d'un amas infini est croissante) ;
- pour deux sites donnés, x et y, la propriété "x est relié à y" est croissante ;
- la propriété "x appartient à un amas infini" est croissante.
- Modèle d'Erdős-Rényi : J est l'ensemble des n(n – 1)/2 arêtes potentielles entre n sommets numérotés de 1 à n, arêtes présentes avec probabilité p et absentes avec probabilité 1-p, indépendamment les unes des autres. L'ensemble des arêtes présentes définit un graphe aléatoire, noté G(n,p), dont Erdős et Rényi ont étudié certaines propriétés (évènements) et certains paramètres (variables aléatoires). Parmi ces propriétés et paramètres,
- la connexité est croissante ;
- la planarité est décroissante ;
- le nombre chromatique est croissant ;
- la taille de l'ensemble indépendant de taille maximale (independence number) est décroissante ;
- la propriété triangle-free est décroissante.
Preuve
Inégalité de corrélation
Modulo des hypothèses d'intégrabilité, dans le cas où l'espace de départ est muni d'une relation d'ordre totale, on a les inégalités suivantes :
Inégalité de corrélation —
- Soit deux variables aléatoires réelles X et Y définies et croissantes sur un ensemble totalement ordonné, muni d'une mesure de probabilité Alors
- Soit Z une variable aléatoire réelle définie sur un ensemble non nécessairement ordonné, et soit I un intervalle tel que Soit deux fonctions f et g définies et croissantes sur I. Alors
- On considère l'espace produit muni de la probabilité produit Du fait de la monotonie de X et de Y, l'application
- est positive ou nulle sur Par conséquent
- où la première inégalité découle de la croissance de l'intégrale par rapport à une mesure. La dernière égalité provient de la linéarité de l'intégrale, et du Théorème de Fubini appliqué aux quatre intégrales obtenues à l'aide de la linéarité.
- La deuxième inégalité est une conséquence de la première, en spécialisant à et à puis en appliquant le théorème de transfert. On peut aussi, de manière moins savante, considérer sur le même espace probabilisé Ω, deux variables indépendantes et de même loi, Z et Z', et remarquer que la variable
- est positive ou nulle sur Par conséquent
- où on a utilisé à plusieurs reprises l'indépendance des deux variables Z et Z', et l'identité en loi de ces deux variables.
Là encore, on peut reformuler la deuxième inégalité sous la forme
et là encore, on peut changer le sens de monotonie d'une ou deux des variables ou fonctions concernées, quitte éventuellement à changer le sens de l'inégalité.
L'inégalité de Tchebychev pour les sommes est une conséquence immédiate de l'inégalité de corrélation ci-dessus : il suffit de considérer le cas particulier où la variable aléatoire réelle Z suit la loi uniforme discrète sur De même, pour obtenir la version continue de l'inégalité de Tchebychev pour les sommes, on choisit, dans l'inégalité de corrélation ci-dessus, une variable aléatoire réelle Z suivant la loi uniforme continue sur [0,1].
Cas fini
On fait la démonstration dans le cas général où l'état global du système fini J est décrit par un élément de L'état d'un élément j de J est décrit par un élément de l'ensemble qui est, comme au paragraphe précédent, un ensemble totalement ordonné muni d'une mesure de probabilité Comme exemple, on peut penser à mais l'inégalité FKG annoncée en début de page correspond au choix du cas particulier :
Le résultat démontré ici est donc (du moins dans le cas où J est fini) plus fort que l'inégalité FKG annoncée.
On suppose, sans perte de généralité, que et on fait une démonstration par récurrence. L'initialisation de la récurrence (cas n=1) a été l'objet de la section précédente : c'est la première version de l'inégalité de corrélation.
On note
l'espérance conditionnelle de X sachant la n-ème coordonnée de ω. On introduit de même . Du fait de la croissance de X et de Y, et de la croissance de l'intégrale (ou de l'espérance conditionnelle), les variables aléatoires et sont croissantes sur donc, en vertu de l'inégalité de corrélation,
D'autre part, par propriété de l'espérance conditionnelle (ou, dans ce cas particulier, à cause du théorème de Fubini),
Considérons maintenant que la n-ème coordonnée de ω est fixée. On travaille alors sur muni de l'espérance correspondant à la mesure produit :
On considère les applications
et
qui sont croissantes sur et qui vérifient
On a donc en vertu de l'hypothèse de récurrence (rang n – 1)
Finalement, avec la première inégalité,
À ce stade on a démontré l'inégalité FKG utile au modèle d'Erdős-Rényi, mais on n'a pas encore une inégalité FKG suffisamment puissante pour la théorie de la percolation. C'est l'objet de la section suivante.
Cas infini dénombrable
La démonstration se fait à partir du cas fini, par passage à la limite, en utilisant un théorème de convergence presque sûre pour les martingales à carré intégrable. Voir Grimmett "Percolation", page 36, section 2.2.
Voir aussi
Bibliographie
- (en) Geoffrey Grimmett, Percolation, Springer
- (en) Harry Kesten, Percolation Theory for Mathematicians, Birkhaüser
- (en) Dietrich Stauffer (de) et Amnon Aharony, Introduction to Percolation Theory, London, Taylor and Francis, 1985
Note
- ↑ (en) C. M. Fortuin, P. W. Kasteleyn et J. Ginibre, « Correlation inequalities on some partially ordered sets », Comm. Math. Phys., vol. 22, , p. 89-103 (ISSN 0010-3616, lire en ligne)
Portail des probabilités et de la statistique