The $q<1$ Random-Cluster Model on Wired Trees: Uniqueness and Negative Dependence

Résumé technique : Le modèle de clusters aléatoires $q < 1$ sur les arbres câblés : Unicité et dépendance négative

Énoncé du problème
Le modèle de clusters aléatoires, un cadre unificateur pour la percolation et les modèles de Potts, présente des comportements qualitativement différents selon le paramètre de poids des clusters $q$. Pour $q \ge 1$, le modèle satisfait l'inégalité de Fortuin-Kasteleyn-Ginibre (FKG), garantissant une association positive et la monotonie des conditions aux limites. Cependant, pour $0 < q < 1$, le modèle est censé présenter une dépendance négative. Bien que la corrélation négative par paires soit conjecturée pour les graphes généraux, cela reste un problème ouvert. Plus précisément, sur les arbres infinis avec des conditions limites câblées (où toutes les feuilles de la frontière sont identifiées), le diagramme de phase et l'unicité de la mesure de Gibbs pour $q < 1$ dans le régime supercritique ($p > p_c$) n'étaient pas pleinement établis. Les travaux précédents de Grimmett et Häggström ont traité le cas $q \ge 1$, identifiant les intervalles d'unicité et les transitions de phase, mais le régime $q < 1$ nécessitait de nouveaux outils en raison de l'absence de FKG et de domination stochastique.

Méthodologie
L'article emploie une combinaison d'analyse de récursion de messages, de théorie des points fixes et de techniques de couplage probabiliste adaptées à la structure de l'arbre.

1. Récursion de messages et points fixes : L'auteur définit un « message » $f(u)$ à chaque sommet $u$, représentant un rapport normalisé des fonctions de partition conditionné par le fait que le sommet soit connecté ou déconnecté de la frontière câblée. Sur un arbre $\Delta$-régulier, ces messages évoluent via une récursion scalaire $\Phi(x)$ élevée à la puissance $d = \Delta - 1$. L'article analyse les points fixes de cette application $\phi(x) = \Phi(x)^d$.

   • Pour $p \le p_c$ (où $p_c = q/(\Delta + q - 2)$), l'application possède un point fixe unique à $x=1$, correspondant à une probabilité de connexion nulle vers la frontière câblée.
   • Pour $p > p_c$, $x=1$ devient instable, et un unique point fixe attracteur non trivial $x^* > 1$ émerge.

2. Mélange spatial faible via l'amplification : Pour prouver l'unicité dans le régime supercritique sans FKG, l'article établit un mélange spatial faible sous des conditions limites de « densité positive câblée ».

   • Amplification (Lemme 4.3) : Une innovation technique clé remplace les arguments de domination stochastique utilisés pour $q \ge 1$. L'auteur prouve qu'une densité positive de feuilles câblées sur la frontière force les messages aux sommets internes à être uniformément éloignés du point fixe instable $1$.
   • Contraction (Lemme 4.5) : Une fois les messages éloignés de $1$, les propriétés de contraction de l'application $\phi$ autour du point fixe stable $x^*$ assurent que l'influence de la configuration spécifique de la frontière décroît exponentiellement avec la distance.

3. Survie uniforme des branches : Un lemme de pont critique (Lemme 5.7) démontre que pour toute mesure de Gibbs câblée en volume infini, la probabilité qu'un sommet de la frontière soit connecté à l'infini à travers sa branche extérieure est uniformément minorée par une constante $\theta > 0$, quelle que soit la configuration extérieure. Cela garantit que toute mesure DLR câblée induit une condition limite de « densité positive » sur les balles distantes, permettant l'application des estimations de mélange spatial.

4. Dépendance négative via l'échangeabilité : Pour les résultats de dépendance négative, l'article analyse la loi jointe des indicateurs de connectivité de branches parallèles.

   • Il établit que la séquence de rang du vecteur de connectivité est ultra-log-concave (ULC).
   • En utilisant le critère de Pemantle, cela implique la propriété de l'Association Négative Conditionnelle avec champs externes positifs (CNA+) pour les indicateurs de connectivité.
   • Un argument série-parallèle (Lemme 6.3) montre que conditionner sur la connexion terminale domine stochastiquement le fait de conditionner sur la déconnexion au sein de chaque branche.
   • Combiner la CNA+ pour les indicateurs avec l'ordre stochastique des configurations de branches permet d'obtenir une covariance négative pour des observables croissantes arbitraires supportées sur des branches disjointes.

Contributions clés et résultats

1. Diagramme de phase DLR câblé complet ($0 < q < 1$) :
   L'article prouve que la spécification DLR câblée sur l'arbre $\Delta$-régulier infini admet une unique mesure de Gibbs en volume infini pour tout $p \in (0, 1)$.

   • Sous-critique/Critique ($p \le p_c$) : La mesure unique est la percolation de Bernoulli produit avec le paramètre $b_p = p / (p + q(1-p))$. Dans ce régime, il n'y a pas de percolation.
   • Supercritique ($p > p_c$) : La mesure unique est la limite locale des mesures de volume fini avec des conditions limites toutes-câblées. Cette mesure présente une percolation ($\mu^*(\rho \leftrightarrow \infty) > 0$).
   • Signification : Cela résout le problème d'unicité supercritique pour $q < 1$, un vide laissé par la littérature précédente qui s'appuyait sur FKG. La preuve montre que la limite « tout-câblé » est la seule mesure DLR câblée, même si la limite « libre » (mesure produit) existe également et percole dans ce régime, signifiant que l'unicité forte à travers les conventions de frontière échoue.

2. Dépendance négative séparée par les branches :
   L'article établit que pour la mesure câblée unique, les observables croissantes bornées supportées sur des collections disjointes de branches incidentes à un sommet commun ont une covariance non positive.

   • Plus précisément, le vecteur des indicateurs de connectivité des branches satisfait la propriété CNA+.
   • La covariance est strictement négative dans le régime supercritique et nulle dans le régime sous-critique/critique (où la mesure est un produit).
   • Signification : Cela fournit une forme rigoureuse de dépendance négative pour le modèle $q < 1$ sur les arbres, allant au-delà de la corrélation par paires pour établir une propriété structurelle pour les branches disjointes, bien que cela ne démontre pas une association négative complète pour des ensembles d'arêtes disjoints arbitraires.

Signification et revendications
L'article affirme fournir la première classification complète du diagramme de phase DLR câblé pour le modèle de clusters aléatoires avec $0 < q < 1$ sur les arbres réguliers. Il stipule explicitement qu'il ne prouve pas la conjecture générale de Kahn-Neiman (que toutes les mesures de clusters aléatoires $q < 1$ sont NA+), mais établit plutôt une version « séparée par les branches » de l'association négative.

Ce travail est significatif car il remplace les outils standards basés sur FKG (indisponibles pour $q < 1$) par une nouvelle architecture d'« amplification » et de « survie des branches ». Cela permet la preuve de l'unicité dans le régime supercritique et la dérivation des propriétés de dépendance négative. Les résultats unifient la structure de phase avec les propriétés algébriques du modèle (log-concavité des séquences de rang) et clarifient le comportement du modèle sur les arbres, qui sert de cadre fondamental pour comprendre les transitions de phase sur les graphes aléatoires creux. L'article note que si les résultats récents sur les réseaux (lattices) ont amélioré les comparaisons stochastiques, ce travail fournit la classification exacte du DLR câblé sur les arbres.