On perturbations that preserve the connectivity properties in tree percolations

Resumo Técnico: Sobre Perturbações que Preservam as Propriedades de Conectividade em Percolações em Árvores

Enunciado do Problema
Este artigo investiga a estabilidade das propriedades de conectividade em modelos gerais de percolação de ligações definidos em árvores infinitas e localmente finitas. Especificamente, os autores examinam como a existência (ou ausência) de clusters infinitos é afetada quando as probabilidades de retenção de arestas $p_e$ são submetidas a perturbações dependentes do nível. A perturbação substitui a probabilidade original $p_e$ por $\min\{1, q_{|e|}p_e\}$, onde $\{q_n\}_{n \ge 1}$ é uma sequência de fatores positivos e $|e|$ denota a distância do grafo em relação à raiz.

O estudo aborda dois regimes distintos:

1. Estabilidade da Ausência: Se o modelo original não admite clusters infinitos ($P_p(I)=0$), sob quais condições de perturbações $q_n \ge 1$ (que aumentam a conectividade) o sistema permanece desprovido de clusters infinitos?
2. Estabilidade da Existência: Se o modelo original admite clusters infinitos (especificamente, clusters de fronteira não contáveis com probabilidade positiva), sob quais condições de perturbações $0 < q_n \le 1$ (que reduzem a conectividade) a existência de clusters infinitos persiste?

Os autores observam que perturbações triviais (onde o produto $\prod q_n$ converge para um limite finito não nulo) meramente reescalam as probabilidades, enquanto os casos "verdadeiramente interessantes" envolvem perturbações divergentes onde $\prod q_n = 0$ (redução cumulativa) ou $\prod q_n = \infty$ (aumento cumulativo). Contraexemplos simples demonstram que a estabilidade não é garantida em geral sem condições estruturais específicas na árvore ou no modelo de percolação.

Metodologia
As provas baseiam-se fortemente na caracterização por capacidade de Lyons para percolação em árvores, um resultado da teoria do potencial discreta. A metodologia central envolve:

• Capacidade e Energia: Utilizar a relação entre a probabilidade de percolação para um conjunto $E \subseteq \partial T$ e a capacidade do conjunto, $capp(E)$. Esta capacidade é definida via um funcional de energia $E_p(\mu)$ associado a uma função de calibração (gauge function) $\Psi_p(x) = 1/P_p[o \to x]$.
• Teorema de Lyons: Aplicar a desigualdade $capp(E) \le P_p[o \to E] \le 2capp(E)$, que vincula a conectividade probabilística à capacidade da teoria do potencial.
• Análise de Perturbação: Analisar como o funcional de energia muda sob as probabilidades perturbadas $q p$. Os autores constroem sequências de perturbação específicas $\{q_n\}$ e demonstram que a finitude do funcional de energia (e, portanto, a positividade da capacidade) é preservada sob certas condições divergentes.
• Lemas Auxiliares: A prova emprega lemas elementares sobre sequências somáveis para construir sequências estritamente crescentes $\{Q_n\}$ (relacionadas ao produto cumulativo de $q_n$) que garantem a convergência do funcional de energia perturbado.

Principais Contribuições e Resultados
O artigo apresenta o Teorema A, que estabelece a robustez dos regimes percolativos sob premissas mínimas:

1. Estabilidade na Ausência de Clusters Infinitos (Parte i):
   Se o modelo original não possui clusters infinitos quase certamente, e a sequência de perturbação $q_n \ge 1$ satisfaz a condição:
   $$\liminf_{n \to \infty} \left( \prod_{i=1}^n q_i \right) \cdot P_p[o \to V_n] = 0$$
   (onde $V_n$ é o conjunto de vértices à distância $n$), então o modelo perturbado também não possui clusters infinitos quase certamente. Os autores mostram que tal sequência de perturbação sempre existe mesmo se $\prod q_n = \infty$.

2. Estabilidade de Clusters Não Contáveis (Parte ii):
   Se o modelo original possui um cluster de fronteira não contável com probabilidade positiva ($P_p[o \xrightarrow{u} \partial T] > 0$), existe uma sequência de perturbação $q_n \in (0, 1)$ tal que $\lim_{n \to \infty} q_n = 1$ e a existência quase certa de um cluster não contável é preservada.

   • Necessidade de Condições: O artigo observa que a condição de possuir um cluster não contável é necessária; se o cluster for contável (por exemplo, um único raio), perturbações de redução divergentes podem destruir a percolação (como mostrado no Exemplo 1.1).
   • Caso Homogêneo: Para percolação homogênea ($p_e = p$), se o modelo perturbado percola, os autores derivam uma condição necessária envolvendo o número de ramificação da árvore e os fatores de perturbação:
     $$\sum_{n=1}^\infty \frac{1 - q_n p}{p^n (\# E_n) \prod_{i=1}^n q_i} < \infty$$
     onde $\# E_n$ é o número de vértices no nível $n$.

Significância e Aplicações
Os autores afirmam que seus resultados demonstram que o regime percolativo é "bastante robusto" contra perturbações não triviais e divergentes, desde que o sistema subjacente não seja "frágil" (ou seja, dependente de um único raio).

Uma aplicação primária discutida é aplicada à conjectura de similaridade de Erdős para conjuntos de Cantor. Ao codificar um conjunto de Cantor $C \subset [0, 1]$ como uma subárvore $T_C$ da árvore dicotômica, os autores utilizam o Teorema A (ii) para construir uma sequência de pesos dependentes do nível $\{q_n\}$ (com $\prod q_n = 0$) tal que a percolação perturbada na árvore codificando qualquer cópia afim $\lambda C + t$ retém uma probabilidade positiva de conectar-se à fronteira.

• Isso leva ao Corolário 4.2, que afirma que para qualquer conjunto de Cantor $C$, existe um conjunto $B$ de medida de Lebesgue zero tal que $B \cap (\lambda C + t) \neq \emptyset$ para quase todos os $\lambda, t$.
• O artigo posiciona isso como um potencial caminho para estudar o problema de similaridade de Erdős, observando que, embora a "grandeza" da interseção tenha sido estabelecida, a continuidade desta propriedade em relação a $(\lambda, t)$ permanece uma questão aberta para uma resolução completa da conjectura.

O trabalho distingue-se pelo uso de caracterizações da teoria do potencial para fornecer provas concisas com grande generalidade, evitando métodos combinatórios mais elementares, porém mais trabalhosos.