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

Resumo Técnico: Percolação de Loops vs. Bernoulli em Árvores

Enunciado do Problema
Este artigo investiga a relação entre dois parâmetros críticos em árvores enraizadas localmente finitas: o limiar para a existência de loops infinitos em um modelo de loop aleatório ($\beta_{\text{loop}}^c$) e o limiar para a existência de um cluster infinito na percolação de ligações de Bernoulli induzida ($\beta_{\text{link}}^c$).

O modelo de loop aleatório generaliza o processo de troca aleatória (random interchange process ou random stirring) e representações de sistemas de spin quânticos. Neste modelo, as arestas carregam processos de Poisson independentes de "ligações" (cruzes ou barras). Uma condição necessária para que exista um loop infinito é que o conjunto de arestas que carregam pelo menos uma ligação forme um componente conectado infinito (percolação de ligações). Embora essa condição seja suficiente em grafos densos como o grafo completo (Schramm [25]) e o hipercubo, sabe-se que ela é insuficiente em grafos infinitos de grau limitado (Mühlbacher [22]). A questão central abordada é como a geometria da árvore subjacente — especificamente a distribuição de descendência de árvores de Galton–Watson — afeta o hiato entre esses dois limiares.

Metodologia
Os autores empregam uma combinação de acoplamento probabilístico, teoria do potencial em árvores e estimativas de grandes desvios.

1. Acoplamento e Poda (Pruning): A principal inovação técnica é um acoplamento entre o modelo de loop e uma "percolação de poda atrasada" no cluster de ligações. Os autores definem um evento de "poda" local onde configurações específicas de ligações (por exemplo, exatamente duas cruzes em uma aresta filha e uma na aresta pai) forçam a trajetória do loop a retroceder (backtrack), efetivamente cortando subárvores descendentes infinitas do loop da raiz.

   • Eles constroem um critério determinístico (Teorema 4.1) baseado em "poda ponderada". Se a frequência desses eventos de poda ao longo de raios infinitos for suficientemente alta, o cluster de loop torna-se subcrítico mesmo que o cluster de ligações seja supercrítico.
   • Isso é formalizado usando uma versão "atrasada" da poda para garantir a independência entre eventos locais, espaçando-os módulo 3 na profundidade da árvore.

2. Teoria do Potencial: Para analisar a sobrevivência do processo podado, os autores utilizam a conexão entre percolação e a capacidade da fronteira da árvore ($\partial T$). Eles empregam o critério de capacidade de Lyons e o conceito de número de ramificação ($\text{br}(T)$). O limiar crítico de ligação é caracterizado pelo número de ramificação, enquanto o limiar de loop é determinado se o "número de ramificação ponderado" do conjunto de raios com baixa densidade de poda é estritamente menor que o número de ramificação da árvore.

3. Análise de Galton–Watson:

   • Caso de Média Finita: Para árvores com média de descendência $m$ finita, os autores utilizam estimativas de grandes desvios (limites de Chernoff) na medida de Galton–Watson com viés de tamanho para mostrar que o conjunto de raios com densidade "ruim" (baixa poda) tem um número de ramificação relativo estritamente menor que o da própria árvore.
   • Caso de Cauda Pesada (Heavy-Tail): Para árvores com média de descendência infinita que satisfazem uma condição de cauda específica, os autores analisam os valores críticos anelados (médios). Eles constroem uma árvore de Galton–Watson auxiliar representando o esqueleto de "uma-cruz" do modelo de loop para mostrar que, para caudas suficientemente pesadas, os limiares de loop e de ligação coincidem em zero.

Contribuições Principais e Resultados

O artigo estabelece dois teoremas complementares sobre a separação ou coincidência de valores críticos em árvores de Galton–Watson:

• Teorema A (Desigualdade Estrita para Média Finita): Para uma árvore de Galton–Watson supercrítica com média de descendência finita $m \in (1, \infty)$, condicionada à sobrevivência, o valor crítico de loop é estritamente maior que o valor crítico de ligação quase certamente:
  $$\beta_{\text{loop}}^c(T) > \beta_{\text{link}}^c(T) = -\log(1 - m^{-1})$$
  Este resultado mantém-se para qualquer parâmetro de loop $u \in [0, 1]$. A prova baseia-se no critério determinístico de poda ponderada, demonstrando que configurações locais de loop atuam como um "mecanismo de corte" que torna o número de ramificação efetivo do cluster de loop subcrítico, mesmo quando o cluster de ligações é supercrítico.

• Teorema B (Coincidência para Caudas Pesadas): No modelo apenas de cruzes ($u=1$), se a distribuição de descendência tiver uma cauda suficientemente pesada tal que $\liminf_{\varepsilon \downarrow 0} \sqrt{\varepsilon} f'(1-\varepsilon) > 1/\sqrt{2}$ (onde $f$ é a função geradora de probabilidade), então os valores críticos anelados coincidem em zero:
  $$\beta_{\text{loop}, \text{ann}}^c(\zeta) = \beta_{\text{link}, \text{ann}}^c(\zeta) = 0$$
  Isso se aplica a leis de descendência com decaimento de lei de potência $\zeta_k \sim k^{-\tau}$ onde $\tau \in (1, 3/2)$. Neste regime, as caudas pesadas da estrutura da árvore dominam as restrições locais de loop, tornando a condição necessária (percolação de ligações) efetivamente suficiente no sentido anelado.

Significância e Alegações

Os autores afirmam que estes resultados fornecem uma dicotomia nítida no comportamento da percolação de loops em árvores aleatórias, distinguindo entre árvores "esparsas" com média finita e aquelas com "cauda pesada" de média infinita.

• Mecanismo de Separação: O artigo identifica um mecanismo local específico (poda via retrocesso) que cria um hiato entre os limiares de ligação e de loop. Este hiato é robusto para árvores de média finita porque a probabilidade de encontrar as configurações locais necessárias é alta o suficiente para suprimir loops infinitos, mesmo quando existem clusters de ligações infinitos.
• Dimensão da Fronteira: Os resultados apoiam uma conjectura mais ampla de que a igualdade dos valores críticos está ligada à dimensão da fronteira da árvore. Para árvores de média finita, a fronteira possui dimensão positiva finita, e os limiares se separam. Para árvores de cauda pesada, a dimensão da fronteira efetivamente diverge (ou a estrutura torna-se densa o suficiente no sentido anelado), levando à coincidência dos limiares.
• Generalidade: O arcabouço unifica o processo de troca aleatória e as representações de sistemas de spin quânticos (modelos XXZ) sob uma única análise de percolação de loop, estendendo os resultados anteriores de árvores regulares e grafos completos para o cenário mais complexo de árvores aleatórias com desordem quenched.

O artigo conclui que se a percolação é uma condição suficiente para loops infinitos depende fundamentalmente da interação entre a dinâmica local de loop e a estrutura geométrica global (número de ramificação e dimensão da fronteira) da árvore subjacente.