Teoremas de límite funcional para paseos aleatorios de elefante en estructuras periódicas generales

Información Básica

• ID del Artículo: 2511.10347
• Título: Functional limit theorems for elephant random walks on general periodic structures
• Autor: Shuhei Shibata (Universidad de Kyushu)
• Clasificación: math.PR (Teoría de la Probabilidad)
• Fecha de Publicación: 13 de noviembre de 2025 (preimpresión arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2511.10347

Resumen

Este artículo estudia teoremas de límite funcional para paseos aleatorios de elefante (Elephant Random Walk, ERW) en estructuras periódicas generales, extendiendo los resultados de Bertenghi en la red estándar de enteros $\mathbb{Z}^d$. La investigación revela nuevas cantidades dependientes de la estructura que no aparecen en la configuración clásica de $\mathbb{Z}^d$, destacando cómo la estructura subyacente afecta el comportamiento asintótico del paseo.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Problema Central: Estudiar el comportamiento asintótico de paseos aleatorios con memoria de largo alcance. El paseo aleatorio de elefante (ERW) fue introducido por Schütz y Trimper en 2004 para investigar efectos de memoria en paseos aleatorios discretos unidimensionales, exhibiendo un fenómeno de transición de fase de comportamiento difusivo a superdifusivo.
2. Importancia del Problema:
   • ERW es un modelo importante para estudiar efectos de memoria con historial completo
   • El modelo exhibe comportamientos esencialmente diferentes en diferentes regiones de parámetros (difusivo, crítico, superdifusivo)
   • Comprender la influencia de la estructura en el comportamiento del paseo aleatorio tiene valor teórico y aplicado
3. Limitaciones de Métodos Existentes:
   • La mayoría de trabajos existentes se concentran en redes estándar $\mathbb{Z}^d$
   • Bercu y Laulin, Bertenghi y otros han establecido teoría asintótica en $\mathbb{Z}^d$
   • Falta investigación sistemática en estructuras periódicas más generales (como redes triangulares, hexagonales, de ladrillo, etc.)
4. Motivación de la Investigación:
   • Generalizar la teoría de ERW a estructuras periódicas más generales
   • Descubrir nuevas cantidades dependientes de la estructura, revelando cómo la geometría subyacente afecta el comportamiento asintótico
   • Establecer un marco analítico unificado mediante el método de urnas tipo Pólya

Contribuciones Principales

1. Extensión Teórica: Generalizar los teoremas de límite funcional de Bertenghi en $\mathbb{Z}^d$ a estructuras periódicas generales, incluyendo redes triangulares, hexagonales y de ladrillo.
2. Descubrimiento de Nuevas Cantidades Estructurales: Identificar y analizar cantidades dependientes de la estructura que no aparecen en la configuración clásica de $\mathbb{Z}^d$, como las matrices de covarianza $\Sigma(U)$ y $\Sigma(W)$, que codifican información de la geometría subyacente.
3. Marco Analítico Unificado: Establecer un marco analítico unificado mediante el modelo de urna tipo Pólya, aplicable a:
   • ERW Tipo-I (conjunto de vértices monocromático, $U=W$)
   • ERW Tipo-II (conjunto de vértices bicolor, $U \neq W$)
4. Análisis Completo del Diagrama de Fases: Establecer leyes fuertes de grandes números y teoremas de límite funcional en todas las regiones de parámetros (difusivo, crítico, superdifusivo), proporcionando el valor crítico exacto $p_c^m = \frac{m+1}{2m}$.
5. Cálculos de Instancias Concretas: Proporcionar cálculos explícitos de cantidades clave para múltiples estructuras típicas (red estándar, red triangular, red hexagonal, red de ladrillo, etc.).

Explicación Detallada de Métodos

Definición de la Tarea

El objeto de estudio es el paseo aleatorio de elefante $\{S_n\}_{n=0}^{\infty}$ definido en una estructura periódica general $\Gamma$:

Entrada:

• Conjunto de vectores de paso $U = \{u_1, \ldots, u_m\} \subset \mathbb{R}^d$ y $W = \{w_1, \ldots, w_{m'}\} \subset \mathbb{R}^d$
• Parámetro de memoria $p \in (0,1)$
• Vectores de paso iniciales $u_{i_0}$ y $w_{j_0}$

Salida:

• Ley fuerte de grandes números: $\frac{S_n}{n} \to \frac{1}{2}(\bar{u} + \bar{w})$ c.s.
• Teorema de límite funcional: distribuciones límite bajo normalización apropiada en diferentes regiones de parámetros

Restricciones:

• $\Gamma$ debe ser una red en $\mathbb{R}^d$
• Para ERW Tipo-II, debe satisfacer la regla de alternancia (estructura bipartita)

Arquitectura del Modelo

1. Construcción del Espacio de Estados

Caso U = W (ERW Tipo-I): $\Gamma = \left\{\sum_{i=1}^m k_i u_i : k_i \in \mathbb{N} \cup \{0\}\right\}$ Conjunto de vértices monocromático, todos los vértices tienen estructura equivalente.

Caso U ≠ W (ERW Tipo-II): Primero definir: $\Gamma_0 = \left\{\sum_{i=1}^m k_i u_i + \sum_{j=1}^{m'} l_j w_j : \sum_{i=1}^m k_i = \sum_{j=1}^{m'} l_j, k_i, l_j \in \mathbb{N} \cup \{0\}\right\}$

Luego: $\Gamma = \Gamma_0 \sqcup (\Gamma_0 + U)$

Definir clases de vértices: $Z_U := \Gamma_0$ y $Z_W := \Gamma_0 + U$, formando una estructura de grafo bipartito.

2. Definición de ERW

ERW Tipo-II ($U \neq W$):

• Definición de posición: $S_{2n} = \sum_{i=1}^n (\sigma_i + \tau_i), \quad S_{2n-1} = S_{2(n-1)} + \sigma_n$
• Mecanismo de selección de pasos: En el tiempo $n+1$, dado el historial $\sigma_1, \ldots, \sigma_n$ y $\tau_1, \ldots, \tau_n$: $P(\sigma_{n+1} = \sigma_{U_n}) = p, \quad P(\sigma_{n+1} = \sigma) = \frac{1-p}{m-1} \text{ para } \sigma \in U \setminus \{\sigma_{U_n}\}$ donde $U_n$ se distribuye uniformemente en $\{1,2,\ldots,n\}$.

ERW Tipo-I ($U = W$): $S_n = \sum_{i=1}^n \sigma_i$ El mecanismo de selección de pasos es similar, pero muestrea del historial completo.

Puntos de Innovación Técnica

1. Conexión con el Modelo de Urna Pólya

Establecer equivalencia distribucional entre ERW y procesos de urna:

ERW Tipo-II: $\{S_{2n}\}_{n=0}^{\infty} \stackrel{d}{=} \left\{\sum_{i=1}^m X_n^i u_i + \sum_{j=1}^{m'} Y_n^j w_j\right\}_{n=0}^{\infty}$

ERW Tipo-I: $\{S_{2n}\}_{n=0}^{\infty} \stackrel{d}{=} \left\{\sum_{i=1}^m X_{2n}^i u_i\right\}_{n=0}^{\infty}$

donde $X_n$ e $Y_n$ son procesos de urna Pólya independientes.

2. Análisis de Matriz de Sustitución

Matriz de sustitución $m \times m$ clave: $A = \frac{1-p}{m-1}J_m + \frac{mp-1}{m-1}I_m$

Valores propios:

• $\lambda_1 = 1$ (multiplicidad 1)
• $\lambda_2 = \frac{mp-1}{m-1}$ (multiplicidad $m-1$)

El valor crítico se determina por $\lambda_2/\lambda_1 = 1/2$: $p_c^m = \frac{m+1}{2m}$

3. Matrices de Covarianza Dependientes de la Estructura

Definir las matrices de covarianza $d \times d$ clave: $\Sigma(U) = \frac{1}{m}\sum_{i=1}^m (u_i - \bar{u})(u_i - \bar{u})^{\top}$$\Sigma(W) = \frac{1}{m'}\sum_{j=1}^{m'} (w_j - \bar{w})(w_j - \bar{w})^{\top}$

Estas matrices codifican la configuración geométrica de los vectores de paso. En el caso $\mathbb{Z}^d$ se simplifican a $I_d/d$, pero en estructuras generales pueden ser no diagonales, reflejando la correlación de difusión en diferentes ejes de coordenadas.

4. Conexión con la Teoría General de Janson

El artículo aplica ingeniosamente los teoremas de límite funcional de Janson 2004 sobre procesos de ramificación multitipo y urnas Pólya generalizadas (particularmente Teoremas 3.21, 3.24, 3.31), transformando el comportamiento asintótico de procesos de urna en comportamiento asintótico de ERW mediante el teorema de mapeo continuo.

Configuración Experimental

Verificación Teórica

Este es un estudio puramente teórico sin experimentos numéricos ni conjuntos de datos. La verificación se completa mediante pruebas matemáticas rigurosas.

Cálculos de Instancias Típicas

El artículo proporciona en la Sección 6 cálculos de cantidades clave para 6 instancias concretas:

1. Red estándar $\mathbb{Z}^d$: $m=2d$, $p_c^m = \frac{2d+1}{4d}$, $\Sigma(U) = I_d/d$
2. Red triangular: $m=6$, $p_c^m = 7/12$, $\Sigma(U) = I_2/2$
3. Red hexagonal: $m=m'=3$, $p_c^m = 2/3$, $\Sigma(U) = I_2/2$
4. Red de ladrillo: $m=m'=3$, $p_c^m = 2/3$, $\Sigma(U) = \frac{2}{9}\begin{pmatrix}3 & 0\\0 & 1\end{pmatrix}$
5. Estructura mixta 1: $U = \{\pm u_1, \pm u_2\}$, $W = \{\pm e_1, \pm e_2\}$, $m=m'=4$
6. Estructura mixta 2: $U = \{\pm e_1, \pm e_2, (1,2)^{\top}\}$, $W = \{\pm e_1, \pm e_2\}$, $m=5, m'=4$

Resultados Principales

1. Ley Fuerte de Grandes Números (Teorema 5.1)

Para todo $p \in (0,1)$: $\frac{S_n}{n} \to \frac{1}{2}(\bar{u} + \bar{w}) \quad \text{c.s. cuando } n \to \infty$

Características Clave:

• El límite no depende del número de aristas $m, m'$
• Solo depende del valor promedio de los vectores de paso
• Se cumple para ERW Tipo-I y Tipo-II

2. Región Difusiva (Teorema 5.3)

Condición: $0 < p < p_c^m \leq p_c^{m'}$

Resultado: $\left\{\frac{S_{\lfloor 2nt \rfloor} - nt(\bar{u} + \bar{w})}{\sqrt{n}}\right\}_{t \geq 0} \Rightarrow \{W_t\}_{t \geq 0}$

donde $\{W_t\}_{t \geq 0}$ es un proceso gaussiano continuo centrado con valores en $\mathbb{R}^d$, con estructura de covarianza: $\mathbb{E}[W_s W_t^{\top}] = C_a s\left(\frac{t}{s}\right)^a \Sigma(U) + C_{a'} s\left(\frac{t}{s}\right)^{a'} \Sigma(W)$

donde $a = \frac{mp-1}{m-1}$, $C_a = \frac{1}{1-2a}$.

Puntos de Innovación:

• Las matrices de covarianza $\Sigma(U), \Sigma(W)$ reflejan la dependencia estructural
• En el caso $\mathbb{Z}^d$ se reduce al resultado de Bertenghi
• Cuando $\Sigma(U), \Sigma(W)$ son no diagonales, la difusión en diferentes ejes de coordenadas está correlacionada

3. Región Crítica (Teorema 5.5)

Condición: $0 < p_c^m = p = p_c^{m'}$

Resultado: $\left\{\frac{S_{\lfloor 2nt \rfloor} - nt(\bar{u} + \bar{w})}{n^{t/2}\sqrt{\log n}}\right\}_{t \geq 0} \Rightarrow \{W_t\}_{t \geq 0}$

Estructura de covarianza: $\mathbb{E}[W_s W_t^{\top}] = s\Sigma(U, W)$

donde $\Sigma(U, W) = \Sigma(U) + \Sigma(W)$.

Características:

• Requiere un factor de normalización adicional $\sqrt{\log n}$
• El proceso límite puede expresarse como $W_t = \Sigma(U,W)^{1/2}B_t$, donde $B_t$ es movimiento browniano estándar
• En el caso $\mathbb{Z}^d$, $\{W_t/\sqrt{d}\}$ es movimiento browniano estándar

4. Región Superdifusiva (Teorema 5.8)

Condición: $0 < p_c^m = p_c^{m'} < p$

Resultado para ERW Tipo-II: $\left\{\frac{S_{\lfloor 2nt \rfloor} - nt(\bar{u} + \bar{w})}{n^a}\right\}_{t \geq 0} \Rightarrow \{t^a L\}_{t \geq 0}$

Resultado para ERW Tipo-I: $\left\{\frac{S_{\lfloor nt \rfloor} - nt\bar{u}}{n^a}\right\}_{t \geq 0} \Rightarrow \{t^a \tilde{L}\}_{t \geq 0}$

donde $L, \tilde{L}$ son vectores aleatorios no nulos con valores en $\mathbb{R}^d$.

Observaciones Importantes:

• ERW Tipo-I y Tipo-II tienen diferentes distribuciones límite en la región superdifusiva
• La distribución límite depende de la selección del paso inicial
• Bajo el supuesto $\bar{u} = \bar{w} = 0$ y selección uniforme del paso inicial: $\mathbb{E}[LL^{\top}] = \frac{1}{(2a-1)\Gamma(2a)}\Sigma(U,W)$

5. Región de Parámetros Mixtos (Observaciones 5.7, 5.9)

El artículo también discute el caso $p_c^m \neq p_c^{m'}$:

• Cuando $0 < p_c^m = p < p_c^{m'}$, el proceso $X$ domina, el límite solo depende de $\Sigma(U)$
• Cuando $0 < p_c^m < p_c^{m'} < p$, se debe determinar el término dominante según la relación entre $a$ y $a'$

Trabajo Relacionado

Investigación de ERW Unidimensional

• Schütz y Trimper 2004: Introducen el modelo ERW, descubren la transición de fase en $p=3/4$
• Baur y Bertoin 2016: Establecen la conexión entre ERW y urnas Pólya
• Bercu 2017: Análisis de ERW mediante métodos de martingala
• Coletti et al. 2017: Teorema del límite central
• Kubota y Takei 2019: Fluctuaciones gaussianas en la región superdifusiva

Investigación de ERW Multidimensional

• Bercu y Laulin 2019: Estudian el comportamiento asintótico de MERW mediante métodos de martingala
• Bertenghi 2022: Establece teoremas de límite funcional en $\mathbb{Z}^d$ (trabajo directamente generalizado en este artículo)
• González-Navarrete 2020: Paseos multidimensionales con tendencia aleatoria
• Chen y Laulin 2023: ERW multidimensional con olvido suavizado mejorado
• Curien y Laulin 2024: Recurrencia de ERW planar
• Qin 2025: Recurrencia y transitoriedad de ERW multidimensional

Problemas de Colisión

• Roy, Takei y Tanemura 2024: Problema de colisión de dos ERW en $\mathbb{Z}$
• Shibata y Shirai 2025: Problema de colisión y asintótica de distancia con diferentes parámetros de memoria

Teoría de Urnas Pólya

• Janson 2004: Procesos de ramificación multitipo y teoremas de límite funcional para urnas Pólya generalizadas (herramienta teórica central de este artículo)
• Athreya y Karlin 1968: Incrustación de modelos de urna en procesos de ramificación de tiempo continuo
• Chauvin et al. 2011: Distribuciones límite de urnas Pólya grandes

Ventajas de Este Artículo

1. Generalidad: No limitado a $\mathbb{Z}^d$, cubre una amplia gama de estructuras periódicas
2. Dependencia Estructural: Revela nuevas cantidades dependientes de la estructura
3. Marco Unificado: Tratamiento unificado de ERW Tipo-I y Tipo-II
4. Completitud: Cobertura teórica completa en todas las regiones de parámetros

Conclusiones y Discusión

Conclusiones Principales

1. Generalización Teórica Exitosa: Se generaliza exitosamente el resultado de Bertenghi en $\mathbb{Z}^d$ a estructuras periódicas generales, demostrando la universalidad del método de urnas Pólya.
2. Cuantificación del Impacto Estructural: Mediante las matrices de covarianza $\Sigma(U)$ y $\Sigma(W)$ se cuantifica precisamente cómo la geometría subyacente afecta el comportamiento asintótico de ERW.
3. Preservación del Fenómeno de Transición de Fase: El valor crítico $p_c^m = \frac{m+1}{2m}$ se determina por los valores propios de la matriz de sustitución, y el fenómeno de transición de fase persiste en estructuras generales.
4. Diferencia entre Tipo-I y Tipo-II: Excepto en la región superdifusiva, ambos tipos de ERW tienen la misma distribución límite; en la región superdifusiva, la influencia de las condiciones iniciales conduce a límites diferentes.

Limitaciones

1. Restricciones Estructurales:
   • Solo considera estructuras periódicas que pueden representarse como redes
   • Para grafos multipartitos ($l \geq 3$), como la red kagome, se requieren técnicas analíticas diferentes
   • Excluye el caso trivial $m=1$
2. Condiciones Iniciales:
   • Supone que comienza en el origen
   • Los dos primeros pasos son deterministas
   • Los resultados en la región superdifusiva dependen de la distribución del paso inicial
3. Rango de Parámetros:
   • Solo considera $p \in (0,1)$
   • $p=1$ corresponde al caso trivial (paseo determinista)
   • $p=0$ no se discute
4. Detalles de Distribución:
   • La variable aleatoria límite $L$ en la región superdifusiva no está completamente caracterizada
   • Solo se proporcionan expresiones para los dos primeros momentos

Direcciones Futuras

1. Extensión a Estructuras Más Generales:
   • Estructuras no periódicas
   • Grafos multipartitos ($l \geq 3$) como la red kagome
   • ERW en ambiente aleatorio
2. Análisis Fino de Distribuciones Límite:
   • Distribución completa de $L$ en la región superdifusiva
   • Aplicación del método de ecuación de punto fijo de Guérin et al. 2023, 2025
3. Problemas de Colisión:
   • Problema de colisión de dos ERW en estructuras generales
   • Casos con diferentes parámetros de memoria
4. Otras Propiedades:
   • Caracterización completa de recurrencia y transitoriedad
   • Principio de grandes desviaciones
   • Investigación del tiempo local

Evaluación Profunda

Fortalezas

1. Rigor Matemático:
   • Pruebas completas y rigurosas, utilizando plenamente la teoría general de Janson
   • Clasificación clara y completa de diferentes regiones de parámetros
   • Manejo adecuado de detalles técnicos (como cálculos de covarianza)
2. Contribución Teórica:
   • Primer estudio sistemático de ERW en estructuras periódicas generales
   • Descubrimiento de nuevas cantidades dependientes de la estructura $\Sigma(U), \Sigma(W)$
   • Establecimiento de marco unificado para ERW Tipo-I y Tipo-II
3. Claridad:
   • Organización razonable del artículo, de lo simple a lo complejo
   • Ilustraciones (red triangular, hexagonal, de ladrillo) intuitivas
   • Los cálculos de instancias concretas en la Sección 6 son muy útiles
4. Completitud:
   • Cobertura de todas las regiones de parámetros (difusivo, crítico, superdifusivo)
   • Discusión de múltiples casos de parámetros mixtos
   • Conexiones claras con la literatura existente

Insuficiencias

1. Limitación de Instancias:
   • Aunque la teoría es general, solo se proporcionan 6 instancias concretas
   • Falta discusión de algunas estructuras interesantes (como la red kagome)
   • Podrían añadirse más ejemplos de estructuras no estándar
2. Intuición Física:
   • Falta intuición física o geométrica sobre la dependencia estructural
   • El significado de los elementos no diagonales de $\Sigma(U), \Sigma(W)$ no se explica suficientemente
   • El mecanismo por el cual diferentes estructuras conducen a diferentes comportamientos no se discute adecuadamente
3. Región Superdifusiva:
   • La caracterización de la distribución límite $L$ es incompleta
   • Solo se proporcionan momentos de segundo orden, la distribución completa o momentos superiores son desconocidos
   • La razón profunda de la diferencia entre Tipo-I y Tipo-II no se aclara suficientemente
4. Discusión de Aplicaciones:
   • Falta discusión de escenarios de aplicación práctica
   • No se menciona qué implicaciones tienen estos resultados para comprender sistemas reales

Impacto

1. Contribución al Campo:
   • Abre una nueva dirección para la investigación de ERW (estructuras generales)
   • Proporciona metodología aplicable a otros paseos aleatorios mejorados con memoria
   • Enriquece las aplicaciones de la teoría de urnas Pólya
2. Valor Práctico:
   • Fuerte en teoría, pero puede proporcionar base teórica para difusión en materiales, procesos aleatorios en redes, etc.
   • Las fórmulas en la Sección 6 pueden usarse directamente para cálculos concretos
3. Reproducibilidad:
   • Pruebas completas y verificables
   • Fórmulas de cálculo de cantidades clave explícitas
   • Los resultados teóricos son aplicables a nuevas estructuras

Escenarios Aplicables

1. Investigación Matemática:
   • Teoremas de límite en teoría de probabilidad
   • Teoría de procesos estocásticos
   • Estructuras aleatorias combinatorias
2. Sistemas Físicos:
   • Procesos de difusión en redes cristalinas
   • Fenómenos de transporte con memoria
   • Investigación de fenómenos de transición de fase
3. Ciencia de Redes:
   • Paseos aleatorios en grafos
   • Modelos de propagación de información
   • Algoritmos de exploración de redes
4. Física Estadística:
   • Procesos no markovianos
   • Sistemas con correlaciones de largo alcance
   • Difusión anómala

Referencias (Seleccionadas)

• 2 Baur & Bertoin (2016): Elephant random walks and their connection to Pólya-type urns. Physical Review E.
• 5 Bercu & Laulin (2019): On the multi-dimensional elephant random walk. J. Stat. Phys.
• 7 Bertenghi (2022): Functional limit theorems for the multi-dimensional elephant random walk. Stoch. Models.
• 17 Janson (2004): Functional limit theorems for multitype branching processes and generalized Pólya urns. Stochastic Process. Appl. (Herramienta teórica central)
• 23 Schütz & Trimper (2004): Elephants can always remember: Exact long-range memory effects in a non-Markovian random walk. Physical Review E. (Origen de ERW)

Evaluación General: Este es un artículo de alta calidad en teoría de probabilidad que generaliza exitosamente la teoría de ERW a estructuras periódicas generales, revelando el profundo impacto de la estructura en el comportamiento asintótico. Matemáticamente riguroso y completo, con contribuciones teóricas significativas que sientan las bases para investigaciones futuras en este campo. Las principales insuficiencias radican en la discusión inadecuada de la intuición física de los resultados y escenarios de aplicación, así como en la caracterización incompleta de la distribución límite en la región superdifusiva.