Récurrence et transience de la marche aléatoire critique du serpent dans les conductances aléatoires

Informations fondamentales

• ID de l'article: 2406.17622
• Titre: Récurrence et transience de la marche aléatoire critique du serpent dans les conductances aléatoires
• Auteurs: Alexandre Legrand, Christophe Sabot, Bruno Schapira
• Classification: math.PR (Théorie des probabilités)
• Date de publication: Juin 2024 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2406.17622

Résumé

Cet article étudie la récurrence et la transience des marches aléatoires branchantes $\mathbb{Z}^d$-valuées dans un environnement aléatoire, indexées par un arbre critique de Bienaymé-Galton-Watson conditionné à survivre. L'environnement est constitué de conductances aléatoires ou de pièges aléatoires en chaque sommet. L'étude montre que, lorsque la distribution des descendants est non-dégénérée et possède un moment d'ordre trois fini, et que l'environnement satisfait les hypothèses techniques appropriées, le processus est récurrent en dimension quatre et inférieure, et transient dans les autres cas. La preuve repose sur la méthode des moments d'ordre deux tronqués, nécessitant uniquement de bonnes estimations de la fonction de Green trempée.

Contexte et motivation de la recherche

Contexte du problème

1. Objet d'étude: Le serpent critique de marche aléatoire (critical random walk snake), qui est un processus de marche aléatoire branchante $\mathbb{Z}^d$-valuée indexée par un arbre critique de Bienaymé-Galton-Watson
2. Problème central: Déterminer la récurrence (recurrence) et la transience (transience) de ce processus dans un environnement aléatoire
3. Types d'environnement: Deux environnements aléatoires sont considérés : les conductances aléatoires (random conductances) et les pièges aléatoires (random traps)

Importance de la recherche

1. Signification théorique: Étend la compréhension du comportement des processus branchants critiques dans les environnements aléatoires
2. Défis techniques: Le cas critique est plus difficile à analyser que le cas surcritique, et la littérature existante y accorde peu d'attention
3. Contribution méthodologique: Développe une méthode des moments d'ordre deux tronqués qui dépend uniquement des estimations de la fonction de Green trempée

Limitations des méthodes existantes

1. Des critères généraux pour les distributions de descendants surcritiques existent, mais le cas critique est peu étudié
2. Les méthodes antérieures, comme celle de Benjamini et Curien, reposent sur l'unimodalité et les techniques de transport de masse, ce qui rend le chemin technique complexe
3. Les estimations de la fonction de Green dans les environnements aléatoires exigent des hypothèses fortes

Contributions principales

1. Établit un théorème de seuil dimensionnel: Prouve que le serpent critique de marche aléatoire est récurrent en $d \leq 4$ et transient en $d \geq 5$
2. Développe une nouvelle méthode de preuve: Propose un cadre de preuve basé sur la méthode des moments d'ordre deux tronqués, nécessitant uniquement des estimations de la fonction de Green trempée
3. Fournit une loi 0-1: Établit une loi 0-1 pour la récurrence sous les hypothèses appropriées
4. Traite deux types d'environnement: Analyse séparément les environnements de conductances aléatoires et de pièges aléatoires, avec des hypothèses techniques différentes

Détails de la méthode

Définition de la tâche

Entrée:

• Distribution critique des descendants $q = (q_k)_{k \geq 0}$, satisfaisant $\sum_{k \geq 0} kq_k = 1$ et $\sum_{k \geq 0} k^3q_k < \infty$
• Environnement aléatoire $\omega = (\omega_{x,y})_{x,y \in \mathbb{Z}^d}$

Sortie: Déterminer la récurrence ou la transience du serpent critique de marche aléatoire $S_{T_\infty}: T_\infty \to \mathbb{Z}^d$

Contraintes:

• Arbre de Kesten $T_\infty$ (arbre BGW critique conditionné à survivre)
• L'environnement satisfait les hypothèses de stationnarité et d'ergodicité

Cadre technique fondamental

1. Définition de l'environnement

L'article considère deux classes d'environnements :

Conductances aléatoires: Pour $x \sim y$, on a $\omega_{x,y} = \omega_{y,x} > 0$, sinon $\omega_{x,y} = 0$

Pièges aléatoires: Il existe $\rho_x \in [0,1)$ tel que