Uma abordagem via processos de ramificação para o estudo da percolação Booleana subcrítica em grafos de grau limitado
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.
Processo de ramificação, Percolação Booleana, Transição de fase, Parâmetro crítico