The $q<1$ Random-Cluster Model on Wired Trees: Uniqueness and Negative Dependence

Resumo Técnico: O Modelo de Cluster Aleatório com $q < 1$ em Árvores com Fronteira Cablada: Unicidade e Dependência Negativa

Enunciado do Problema
O modelo de cluster aleatório, um arcabouço unificador para percolação e modelos de Potts, exibe comportamentos qualitativamente distintos dependendo do parâmetro de peso do cluster $q$. Para $q \ge 1$, o modelo satisfaz a desigualdade de Fortuin-Kasteleyn-Ginibre (FKG), garantindo associação positiva e monotonicidade das condições de contorno. No entanto, para $0 < q < 1$, espera-se que o modelo exiba dependência negativa. Embora a correlação negativa por pares seja conjecturada para grafos gerais, isso permanece um problema em aberto. Especificamente, em árvores infinitas com condições de contorno cabladas (onde todas as folhas da fronteira são identificadas), o diagrama de fase e a unicidade da medida de Gibbs para $q < 1$ no regime supercrítico ($p > p_c$) não foram totalmente estabelecidos. Trabalhos anteriores de Grimmett e Häggström abordaram $q \ge 1$, identificando intervalos de unicidade e transições de fase, mas o regime $q < 1$ exigia novas ferramentas devido à ausência de FKG e de dominação estocástica.

Metodologia
O artigo emprega uma combinação de análise de recursão de mensagens, teoria de pontos fixos e técnicas de acoplamento probabilístico adaptadas à estrutura de árvore.

1. Recursão de Mensagens e Pontos Fixos: O autor define uma "mensagem" $f(u)$ em cada vértice $u$, representando uma razão normalizada de funções de partição condicionada ao fato de o vértice estar conectado ou desconectado da fronteira cablada. Em uma árvore $\Delta$-regular, essas mensagens evoluem via uma recursão escalar $\Phi(x)$ elevada à potência $d = \Delta - 1$. O artigo analisa os pontos fixos deste mapa $\phi(x) = \Phi(x)^d$.

   • Para $p \le p_c$ (onde $p_c = q/(\Delta + q - 2)$), o mapa possui um ponto fixo único em $x=1$, correspondendo a uma probabilidade de conexão zero com a fronteira cablada.
   • Para $p > p_c$, $x=1$ torna-se instável, e um ponto fixo atrator único não trivial $x^* > 1$ emerge.

2. Mistura Espacial Fraca via Amplificação: Para provar a unicidade no regime supercrítico sem FKG, o artigo estabelece a mistura espacial fraca sob condições de contorno de "densidade de cablagem positiva".

   • Amplificação (Lema 4.3): Uma inovação técnica fundamental substitui os argumentos de dominação estocástica usados para $q \ge 1$. O autor prova que uma densidade positiva de folhas cabladas na fronteira força as mensagens nos vértices internos a serem uniformemente limitadas longe do ponto fixo instável $1$.
   • Contração (Lema 4.5): Uma vez que as mensagens estão limitadas longe de $1$, as propriedades de contração do mapa $\phi$ em torno do ponto fixo estável $x^*$ garantem que a influência da configuração específica da fronteira decaia exponencialmente com a distância.

3. Sobrevivência Uniforme de Ramos: Um lema de ponte crítico (Lema 5.7) demonstra que, para qualquer medida de Gibbs de volume infinito cablada, a probabilidade de um vértice da fronteira estar conectado ao infinito através de seu ramo exterior é uniformemente limitada inferiormente por uma constante $\theta > 0$, independentemente da configuração exterior. Isso garante que qualquer medida DLR cablada induza uma condição de contorno de "densidade positiva" em bolas distantes, permitindo que as estimativas de mistura espacial sejam aplicadas.

4. Dependência Negativa via Troca de Ordem (Exchangeability): Para os resultados de dependência negativa, o artigo analisa a lei conjunta dos indicadores de conectividade de ramos paralelos.

   • Ele estabelece que a sequência de postos (rank sequence) do vetor de conectividade é ultra-log-côncava (ULC).
   • Usando o critério de Pemantle, isso implica a propriedade de Associação Negativa Condicional com campos externos positivos (CNA+) para os indicadores de conectividade.
   • Um argumento série-paralelo (Lema 6.3) mostra que condicionar na conexão terminal estocasticamente domina o condicionamento na desconexão dentro de cada ramo.
   • Combinando CNA+ para indicadores com a ordenação estocástica das configurações de ramos, obtém-se covariância negativa para observáveis crescentes arbitrários suportados em ramos disjuntos.

Principais Contribuições e Resultados

1. Diagrama de Fase DLR Cablado Completo ($0 < q < 1$):
   O artigo prova que a especificação DLR cablada na árvore infinita $\Delta$-regular admite uma única medida de Gibbs de volume infinito para todo $p \in (0, 1)$.

   • Subcrítico/Crítico ($p \le p_c$): A medida única é a percolação de laços de Bernoulli produto com parâmetro $b_p = p / (p + q(1-p))$. Neste regime, não há percolação.
   • Supercrítico ($p > p_c$): A medida única é o limite local de medidas de volume finito com todas as condições de contorno cabladas. Esta medida exibe percolação ($\mu^*(\rho \leftrightarrow \infty) > 0$).
   • Significância: Isso resolve o problema da unicidade supercrítica para $q < 1$, uma lacuna deixada pela literatura anterior que dependia de FKG. A prova mostra que o limite "totalmente cablado" (all-wired) é o único estado DLR cablado, embora o limite "livre" (medida produto) também exista e percole neste regime, o que significa que a unicidade forte entre convenções de contorno falha.

2. Dependência Negativa Separada por Ramos:
   O artigo estabelece que, para a medida de Gibbs cablada única, observáveis crescentes limitados suportados em coleções disjuntas de ramos incidentes a um vértice comum possuem covariância não positiva.

   • Especificamente, o vetor de indicadores de conectividade de ramos satisfaz a propriedade CNA+.
   • A covariância é estritamente negativa no regime supercrítico e zero no regime subcrítico/crítico (onde a medida é um produto).
   • Significância: Isso fornece uma forma rigorosa de dependência negativa para o modelo $q < 1$ em árvores, indo além da correlação por pares para uma propriedade estrutural para ramos disjuntos, embora não estabeleça a associação negativa total para conjuntos de arestas disjuntos arbitrários.

Significância e Alegações
O artigo afirma fornecer a primeira classificação completa do diagrama de fase DLR cablado para o modelo de cluster aleatório com $0 < q < 1$ em árvores regulares. Ele declara explicitamente que não prova a conjectura geral de Kahn-Neiman (que todas as medidas de cluster aleatório $q < 1$ são NA+), mas estabelece uma versão de "associação negativa separada por ramos".

O trabalho é significativo porque substitui as ferramentas padrão baseadas em FKG (indisponíveis para $q < 1$) por uma nova arquitetura de "amplificação" e "sobrevivência de ramos". Isso permite a prova de unicidade no regime supercrítico e a derivação de propriedades de dependência negativa. Os resultados unificam a estrutura de fase com as propriedades algébricas do modelo (log-concavidade de sequências de postos) e esclarecem o comportamento do modelo em árvores, que serve como um cenário fundamental para entender transições de fase em grafos aleatórios esparsos. O artigo observa que, embora resultados recentes em redes (lattices) tenham melhorado as comparações estocásticas, este trabalho fornece a classificação DLR cablada exata.