Loop vs. Bernoulli percolation on trees: strict inequality of critical values

Résumé technique : Percolation de boucles vs. percolation de Bernoulli sur les arbres

Énoncé du problème
Cet article étudie la relation entre deux paramètres critiques sur des arbres enracinés localement finis : le seuil d'existence de boucles infinies dans un modèle de boucles aléatoires ($\beta_{\text{loop}}^c$) et le seuil d'existence d'un amas infini dans la percolation de liens de Bernoulli induite ($\beta_{\text{link}}^c$).

Le modèle de boucles aléatoires généralise le processus d'interversion aléatoire (random stirring) et les représentations de systèmes de spins quantiques. Dans ce modèle, les arêtes portent des processus de Poisson indépendants de « liens » (croix ou barres). Une condition nécessaire pour l'existence d'une boucle infinie est que l'ensemble des arêtes portant au moins un lien forme une composante connexe infinie (percolation de liens). Bien que cette condition soit suffisante sur des graphes denses comme le graphe complet (Schramm [25]) et l'hypercube, elle est connue pour être insuffisante sur les graphes infinis de degré borné (Mühlbacher [22]). La question centrale abordée est de savoir comment la géométrie de l'arbre sous-jacent — spécifiquement la distribution de descendance des arbres de Galton–Watson — affecte l'écart entre ces deux seuils.

Méthodologie
Les auteurs emploient une combinaison de couplage probabiliste, de théorie du potentiel sur les arbres et d'estimations de grandes déviations.

1. Couplage et élagage : L'innovation technique centrale est un couplage entre le modèle de boucles et une « percolation par élagage retardé » sur le amas de liens. Les auteurs définissent un événement d'« élagage » local où des configurations spécifiques de liens (par exemple, exactement deux croix sur une arête enfant et une sur l'arète parente) forcent la trajectoire de la boucle à faire marche arrière, coupant ainsi les sous-arbres descendants infinis de la boucle racine.

   • Ils construisent un critère déterministe (Théorème 4.1) basé sur un « élagage pondéré ». Si la fréquence de ces événements d'élagage le long des rayons infinis est suffisamment élevée, le amas de boucles devient sous-critique même si l'amas de liens est supercritique.
   • Cela est formalisé à l'aide d'une version « retardée » de l'élagage pour assurer l'indépendance entre les événements locaux en les espaçant modulo 3 dans la profondeur de l'arbre.

2. Théorie du potentiel : Pour analyser la survie du processus élagué, les auteurs utilisent la connexion entre la percolation et la capacité de la frontière de l'arbre ($\partial T$). Ils emploient le critère de capacité de Lyons et le concept de nombre de branchement ($\text{br}(T)$). Le seuil critique de lien est caractérisé par le nombre de branchement, tandis que le seuil de boucle est déterminé par le fait que le « nombre de branchement pondéré » de l'ensemble des rayons ayant une faible densité d'élagage est strictement plus petit que le nombre de branchement de l'arbre lui-même.

3. Analyse de Galton–Watson :

   • Cas de moyenne finie : Pour les arbres avec une moyenne de descendance finie $m$, les auteurs utilisent des estimations de grandes déviations (bornes de Chernoff) sur la mesure de Galton–Watson biaisée par la taille pour montrer que l'ensemble des rayons avec une densité « mauvaise » (faible élagage) possède un nombre de branchement relatif strictement plus petit que celui de l'arbre lui-même.
   • Cas de queue lourde : Pour les arbres avec une moyenne de descendance infinie satisfaisant une condition de queue spécifique, les auteurs analysent les valeurs critiques de type « annealed » (moyennées). Ils construisent un arbre de Galton–Watson auxiliaire représentant le squelette « une-seule-croix » du modèle de boucles pour montrer que pour des queues suffisamment lourdes, les seuils de boucle et de lien coïncident à zéro.

Contributions clés et résultats

L'article établit deux théorèmes complémentaires concernant la séparation ou la coïncidence des valeurs critiques sur les arbres de Galton–Watson :

• Théorème A (Inégalité stricte pour la moyenne finie) : Pour un arbre de Galton–Watson supercritique avec une moyenne de descendance finie $m \in (1, \infty)$, conditionné sur la survie, la valeur critique de la boucle est strictement supérieure à la valeur critique du lien :
  $$\beta_{\text{loop}}^c(T) > \beta_{\text{link}}^c(T) = -\log(1 - m^{-1})$$
  Ce résultat est valable pour tout paramètre de boucle $u \in [0, 1]$. La preuve repose sur le critère déterministe d'élagage pondéré, démontrant que les configurations locales de boucles agissent comme un « mécanisme de coupe » qui rend le nombre de branchement effectif du amas de boucles sous-critique, même lorsque l'amas de liens est supercritique.

• Thème B (Coïncidence pour les queues lourdes) : Dans le modèle des « croix uniquement » ($u=1$), si la distribution de descendance possède une queue suffisamment lourde telle que $\liminf_{\varepsilon \downarrow 0} \sqrt{\varepsilon} f'(1-\varepsilon) > 1/\sqrt{2}$ (où $f$ est la fonction génératrice de probabilité), alors les valeurs critiques de type « annealed » coïncident à zéro :
  $$\beta_{\text{loop}, \text{ann}}^c(\zeta) = \beta_{\text{link}, \text{ann}}^c(\zeta) = 0$$
  Ceci s'applique aux lois de descendance avec une décroissance de type loi de puissance $\zeta_k \sim k^{-\tau}$ où $\tau \in (1, 3/2)$. Dans ce régime, les queues lourdes de la structure de l'arbre dominent les contraintes locales de la boucle, rendant la condition nécessaire (percolation de liens) effectivement suffisante dans le sens « annealed ».

Signification et affirmations
Les auteurs affirment que ces résultats fournissent une dichotomie nette dans le comportement de la percolation de boucles sur les arbres aléatoires, distinguant les arbres « clairsemés » à moyenne finie de ceux à « queues lourdes » à moyenne infinie.

• Mécanisme de séparation : L'article idente un mécanisme local spécifique (l'élagage via le retour en arrière) qui crée un écart entre les seuils de lien et de boucle. Cet écart est robuste pour les arbres à moyenne finie car la probabilité de rencontrer les configurations locales nécessaires est suffisamment élevée pour supprimer les boucles infinies, même lorsque des amas de liens infinis existent.
• Dimension de la frontière : Les résultats soutiennent une conjecture plus large selon laquelle l'égalité des valeurs critiques est liée à la dimension de la frontière de l'arbre. Pour les arbres à moyenne finie, la frontière a une dimension finie positive, et les seuils se séparent. Pour les arbres à queues lourdes, la dimension de la frontière diverge effectivement (ou la structure devient assez dense dans le sens « annealed »), conduisant à la coïncidence des seuils.
• Généralité : Le cadre unifie le processus d'interversion aléatoire et les représentations de systèmes de spins quantiques (modèles XXZ) sous une analyse unique de percolation de boucles, étendant les résultats précédents des arbres réguliers et des graphes complets au cadre plus complexe des arbres aléatoires avec désordre « quenched ».

L'article conclut que la question de savoir si la percolation est une condition suffisante pour des boucles infinies dépend fondamentalement de l'interaction entre la dynamique locale des boucles et la structure géométrique globale (nombre de branchement et dimension de la frontière) de l'arbre sous-jacent.