Uma abordagem via processos de ramificação para o estudo da percolação Booleana subcrítica em grafos de grau limitado
Processo de ramificação, Percolação Booleana, Transição de fase, Parâmetro crítico
No modelo de percolação booleana, cada vértice de um grafo infinito e conexo é o centro de uma bola de raio aleatório, e os vértices são declarados ativos de forma independente com probabilidade p. Denotamos por W a união das bolas aleatórias cujos centros são ativos. Em determinadas circunstâncias, o modelo não apresenta transição de fase, no sentido de que W contém quase certamente uma componente infinita para todo p>0, ou até mesmo que W recobre todo o grafo. Neste trabalho, apresentamos e discutimos resultados recentes obtidos por Faipeur (2025) para o modelo de percolação booleana em grafos de grau limitado. Para isso, detalhamos os argumentos e cálculos subjacentes aos principais resultados que permitem examinar a fase subcrítica do modelo. Em particular, mostramos como a abordagem fundamentada na construção de processos de ramificação adequadamente definidos conduz à obtenção de um limitante inferior para o parâmetro crítico de percolação.