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

Resumen Técnico: Percolación de Bucles frente a Bernoulli en Árboles

Planteamiento del Problema
Este artículo investiga la relación entre dos parámetros críticos en árboles con raíz localmente finitos: el umbral para la existencia de bucles infinitos en un modelo de bucles aleatorios ($\beta_{\text{loop}}^c$) y el umbral para la existencia de un clúster infinito en la percolación de enlaces de Bernoulli inducida ($\beta_{\text{link}}^c$).

El modelo de bucles aleatorios generaliza el proceso de intercambio aleatorio (agitación aleatoria) y las representaciones de sistemas de espín cuántico. En este modelo, las aristas transportan procesos de Poisson independientes de "enlaces" (cruces o barras). Una condición necesaria para que exista un bucle infinito es que el conjunto de aristas que portan al menos un enlace forme un componente conexo infinito (percolación de enlaces). Si bien esta condición es suficiente en grafos densos como el grafo completo (Schramm [25]) y el hipercubo, se sabe que es insuficiente en grafos infinitos de grado acotado (Mühlbacher [22]). La cuestión central abordada es cómo la geometría del árbol subyacente —específicamente la distribución de descendencia de los árboles de Galton–Watson— afecta la brecha entre estos dos umbrales.

Metodología
Los autores emplean una combinación de acoplamiento probabilístico, teoría del potencial en árboles y estimaciones de grandes desviaciones.

1. Acoplamiento y Poda: La innovación técnica central es un acoplamiento entre el modelo de bucles y una "percolación de poda retrasada" en el clúster de enlaces. Los autores definen un evento de "poda" local donde configuraciones específicas de enlaces (por ejemplo, exactamente dos cruces en una arista hija y uno en la madre) obligan a la trayectoria del bucle a retroceder, cortando efectivamente los subárboles descendientes infinitos desde la raíz del bucle.

   • Construyen un criterio determinista (Teorema 4.1) basado en la "poda ponderada". Si la frecuencia de estos eventos de poda a lo largo de rayos infinitos es suficientemente alta, el clúster de bucles se vuelve subcrítico incluso si el clúster de enlaces es supercrítico.
   • Esto se formaliza utilizando una versión "retrasada" de la poda para asegurar la independencia entre eventos locales, espaciándolos módulo 3 en la profundidad del árbol.

2. Teoría del Potencial: Para analizar la supervivencia del proceso podado, los autores utilizan la conexión entre la percolación y la capacidad de la frontera del árbol ($\partial T$). Emplean el criterio de capacidad de Lyons y el concepto de número de ramificación ($\text{br}(T)$). El umbral crítico de enlaces se caracteriza por el número de ramificación, mientras que el umbral de bucles está determinado por si el "número de ramificación ponderado" del conjunto de rayos con baja densidad de poda es estrictamente menor que el número de ramificación del árbol.

3. Análisis de Galton–Watson:

   • Caso de Media Finita: Para árboles con media de descendencia finita $m$, los autores utilizan estimaciones de grandes desviaciones (cotas de Chernoff) sobre la medida de Galton–Watson sesgada por tamaño para mostrar que el conjunto de rayos con densidad "mala" (baja poda) tiene un número de ramificación relativo estrictamente menor que el del propio árbol.
   • Caso de Cola Pesada: Para árboles con descendencia de media infinita que satisfacen una condición de cola específica, los autores analizan los valores críticos aniñados (annealed) para mostrar que, para colas suficientemente pesadas, los umbrales de bucles y de enlaces coinciden en cero. Construyen un árbol de Galton–Watson auxiliar que representa el esqueleto de "un solo cruce" del modelo de bucles.

Contribuciones Clave y Resultados

El artículo establece dos teoremas complementarios respecto a la separación o coincidencia de los valores críticos en árboles de Galton–Watson:

• Teorema A (Desigualdad Estricta para Media Finita): Para un árbol de Galton–Watson supercrítico con media de descendencia finita $m \in (1, \infty)$, condicionado a la supervivencia, el valor crítico de bucles es estrictamente mayor que el valor crítico de enlaces casi seguramente:
  $$\beta_{\text{loop}}^c(T) > \beta_{\text{link}}^c(T) = -\log(1 - m^{-1})$$
  Este resultado se sostiene para cualquier parámetro de bucle $u \in [0, 1]$. La prueba se basa en el criterio de poda ponderada determinista, demostrando que las configuraciones locales de bucles actúan como un "mecanismo de corte" que hace que el número de ramificación efectivo del clúster de bucles sea subcrítico, incluso cuando el clúster de enlaces es supercrítico.

• Teorema B (Coincidencia para Colas Pesadas): En el modelo de solo cruces ($u=1$), si la distribución de descendencia tiene una cola suficientemente pesada tal que $\liminf_{\varepsilon \downarrow 0} \sqrt{\varepsilon} f'(1-\varepsilon) > 1/\sqrt{2}$ (donde $f$ es la función generadora de probabilidad), entonces los valores críticos aniñados coinciden en cero:
  $$\beta_{\text{loop}, \text{ann}}^c(\zeta) = \beta_{\text{link}, \text{ann}}^c(\zeta) = 0$$
  Esto aplica a leyes de descendencia con decaimiento de ley de potencia $\zeta_k \sim k^{-\tau}$ donde $\tau \in (1, 3/2)$. En este régimen, las colas pesadas de la estructura del árbol dominan las restricciones locales del bucle, haciendo que la condición necesaria (percolación de enlaces) sea efectivamente suficiente en el sentido aniñado.

Significancia y Pretensiones

Los autores afirman que estos resultados proporcionan una dicotomía aguda en el comportamiento de la percolación de bucles en árboles aleatorios, distinguiendo entre árboles "dispersos" con media finita y aquellos con "cola pesada" de media infinita.

• Mecanismo de Separación: El artículo identifica un mecanismo local específico (poda mediante retroceso) que crea una brecha entre los umbrales de enlaces y de bucles. Esta brecha es robusta para árboles de media finita porque la probabilidad de encontrar las configuraciones locales necesarias es lo suficientemente alta como para suprimir bucles infinitos, incluso cuando existen clústeres de enlaces infinitos.
• Dimensión de la Frontera: Los resultados apoyan una conjetura más amplia de que la igualdad de los valores críticos está ligada a la dimensión de la frontera del árbol. Para árboles de media finita, la frontera tiene una dimensión positiva finita y los umbrales se separan. Para árboles de cola pesada, la dimensión de la frontera efectivamente diverge (o la estructura se vuelve lo suficientemente densa en el sentido aniñado), lo que lleva a la coincidencia de los umbrales.
• Generalidad: El marco unifica el proceso de intercambio aleatorio y las representaciones de sistemas de espín cuántico (modelos XXZ) bajo un único análisis de percolación de bucles, extendiendo los resultados previos de árboles regulares y grafos completos al entorno más complejo de árboles aleatorios con desorden cuasi-determinista (quenched).

El artículo concluye que si la percolación es una condición suficiente para bucles infinitos depende fundamentalmente de la interacción entre la dinámica local de los bucles y la estructura geométrica global (número de ramificación y dimensión de la frontera) del árbol subyacente.