Recurrencia y transitividad de la serpiente de paseo aleatorio crítico en conductancias aleatorias

Información Básica

• ID del Artículo: 2406.17622
• Título: Recurrencia y transitividad de la serpiente de paseo aleatorio crítico en conductancias aleatorias
• Autores: Alexandre Legrand, Christophe Sabot, Bruno Schapira
• Clasificación: math.PR (Teoría de la Probabilidad)
• Fecha de Publicación: Junio de 2024 (preimpresión en arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2406.17622

Resumen

Este artículo estudia la recurrencia y transitividad de paseos aleatorios ramificados con valores en $\mathbb{Z}^d$ en ambientes aleatorios, donde el paseo aleatorio está indexado por árboles de Bienaymé-Galton-Watson críticos condicionados a la supervivencia. El ambiente consiste en conductancias aleatorias o trampas aleatorias en cada vértice. El estudio demuestra que cuando la distribución de descendientes es no degenerada y posee momentos de tercer orden finitos, y el ambiente satisface hipótesis técnicas apropiadas, el proceso es recurrente en dimensiones menores o iguales a cuatro, y transitivo en otros casos. La demostración se basa en el método de segundo momento truncado, requiriendo únicamente buenas estimaciones de la función de Green templada.

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Objeto de Estudio: La serpiente de paseo aleatorio crítico, que es un proceso de paseo aleatorio ramificado con valores en $\mathbb{Z}^d$ indexado por árboles de Bienaymé-Galton-Watson críticos
2. Problema Central: Determinar la recurrencia versus transitividad de este proceso bajo ambientes aleatorios
3. Tipos de Ambiente: Se consideran dos tipos de ambientes aleatorios: conductancias aleatorias y trampas aleatorias

Importancia de la Investigación

1. Significado Teórico: Extiende la comprensión del comportamiento de procesos ramificados críticos en ambientes aleatorios
2. Desafíos Técnicos: El caso crítico es más difícil de analizar que el caso supercrítico, con menor atención en la literatura existente
3. Contribución Metodológica: Desarrolla un método de segundo momento truncado que depende únicamente de estimaciones de la función de Green templada

Limitaciones de Métodos Existentes

1. Los criterios generales para distribuciones de descendientes supercríticos ya existen, pero el caso crítico ha recibido menos atención
2. Los métodos anteriores, como los de Benjamini y Curien, se basan en unimodularidad y técnicas de transporte de masa, con caminos técnicos complejos
3. Las estimaciones previas de la función de Green en ambientes aleatorios requieren requisitos muy exigentes

Contribuciones Principales

1. Establecimiento del Teorema de Umbral Dimensional: Demuestra que la serpiente de paseo aleatorio crítico es recurrente para $d \leq 4$ y transitiva para $d \geq 5$
2. Desarrollo de Nuevo Método de Prueba: Propone un marco de prueba basado en el método de segundo momento truncado, requiriendo únicamente estimaciones de la función de Green templada
3. Provisión de Ley 0-1: Bajo hipótesis apropiadas, establece una ley 0-1 para la recurrencia
4. Tratamiento de Dos Tipos de Ambiente: Analiza separadamente ambientes de conductancias aleatorias y trampas aleatorias, proporcionando hipótesis técnicas distintas

Explicación Detallada de Métodos

Definición de la Tarea

Entrada:

• Distribución de descendientes crítica $q = (q_k)_{k \geq 0}$, satisfaciendo $\sum_{k \geq 0} kq_k = 1$ y $\sum_{k \geq 0} k^3q_k < \infty$
• Ambiente aleatorio $\omega = (\omega_{x,y})_{x,y \in \mathbb{Z}^d}$

Salida: Determinar la recurrencia o transitividad de la serpiente de paseo aleatorio crítico $S_{T_\infty}: T_\infty \to \mathbb{Z}^d$

Restricciones:

• Árbol de Kesten $T_\infty$ (árbol BGW crítico condicionado a la supervivencia)
• El ambiente satisface hipótesis de estacionariedad y ergodicidad

Marco Técnico Principal

1. Definición del Ambiente

El artículo considera dos clases de ambientes:

Conductancias Aleatorias: Para $x \sim y$, se tiene $\omega_{x,y} = \omega_{y,x} > 0$, en caso contrario $\omega_{x,y} = 0$

Trampas Aleatorias: Existe $\rho_x \in [0,1)$ tal que