Iterated Graph Systems (II): Bernoulli percolation and critical-exponent universality classes on hierarchical lattices

Resumo Técnico: Sistemas de Grafos Iterados (II): Percolação de Bernoulli e classes de universalidade de expoentes críticos em redes hierárquicas

Enunciado do Problema
O artigo investiga a percolação de Bernoulli em redes hierárquicas, abordando especificamente a questão de se os dados geométricos e dimensionais isoladamente podem determinar a classe de universalidade dos expoentes críticos. Embora a física estatística em redes euclidianas dependa frequentemente da universalidade baseada na dimensão, trabalhos anteriores de Hauser e Saxena (1986) e Halberstam e Hutchcroft sugeriram que, em redes hierárquicas, o expoente de percolação $\nu_p$ e o expoente de Fisher $\tau$ dependem fortemente da topologia da rede, mesmo quando as dimensões intrínsecas e as conectividades são idênticas. Isso levanta o problema fundamental: pode uma família finita de "dimensões de substituição-multiplicativas" (como a dimensão de Hausdorff) classificar completamente as classes de universalidade de expoentes críticos desses sistemas? Além disso, a existência de expoentes críticos idênticos implica que as escalas de renormalização discretas subjacentes são comensuráveis (ou seja, relacionadas por potências inteiras)?

Metodologia
O artigo formaliza o estudo desses sistemas utilizando Sistemas de Grafos Iterados de Arestas (EIGS).

1. Estrutura: Eles definem um "EIGS de rede hierárquica clássica" como um sistema determinístico gerado a partir de uma única aresta por um grafo de regra $R$ finito, conectado, simples e simétrico em relação aos terminais. Isso generaliza a rede hierárquica de diamante (DHL).
2. Representação de EIGS Aleatório: Baseando-se no trabalho de Hambly e Kumagai (2010) e estendendo resultados recentes de Alves et al., o autor prova que a percolação de ligação de Bernoulli crítica, condicionada à conexão terminal, induz um EIGS aleatório. Essa representação permite que o cluster crítico seja analisado como um fractal recursivo direcionado por grafo.
3. Análise Espectral: A ferramenta analítica central é a matriz de massa $M_C(p)$, uma matriz $3 \times 3$ que descreve o número esperado de arestas filhas "vivas" de diferentes estados (conectada, desconectada-mas-ativa, e terminal-única-ativa) sob leis de percolação condicionais. O autor analisa as propriedades espectrais desta matriz na probabilidade crítica $p_c$.
4. Definição de Expoente: O estudo foca em oito expoentes críticos ($\beta, \nu, \delta, \eta_{av}, \gamma, \Delta, \alpha, \rho$). O autor estabelece que quatro destes ($\beta, \nu, \delta, \eta_{av}$) existem para cada regra clássica e definem a classe de universalidade de expoentes críticos com base no acordo desses quatro valores.
5. Ferramentas de Teoria dos Números: Para abordar a comensurabilidade das escalas, o artigo emprega o Teorema dos Seis Expoentes da teoria dos números transcendentais, vinculando a natureza algébrica dos multiplicadores de crescimento à racionalidade das razões de escala.

Contribuições Principais e Resultados

• Caracterização de Classes de Universalidade:
  O artigo prova que duas redes hierárquicas EIGS clássicas pertencem à mesma classe de universalidade de expoentes críticos se, e somente se, três dimensões específicas concordarem:

  1. Dimensão Ambiente ($\dim_H(\Xi)$): A dimensão de Hausdorff da própria rede.
  2. Dimensão de Massa ($\dim_M(C)$): Derivada do raio espectral $\rho(M_C)$ da matriz de massa crítica.
  3. Dimensão Pivotal ($\dim_P(C)$): Derivada da derivada da função de confiabilidade $\phi'_R(p_c)$.

  O autor fornece fórmulas explícitas relacionando os quatro expoentes definidores a estas dimensões:

  • $\nu = 1 / \dim_P(C)$
  • $\beta = (\dim_H(\Xi) - \dim_M(C)) / \dim_P(C)$
  • $\delta = \dim_M(C) / (\dim_H(\Xi) - \dim_M(C))$
  • $\eta_{av} = 2 + \dim_H(\Xi) - 2\dim_M(C)$

• Falha da Classificação Baseada em Dimensão:
  O autor prova rigorosamente que nenhuma família finita de dimensões de substituição-multiplicativas pode determinar a classe de universalidade. Eles demonstram que a dimensão de massa crítica $\dim_M(C)$ retém informações sobre a ordem das substituições (estrutura não-comutativa) que as dimensões multiplicativas (que dependem apenas do conjunto de regras, não de sua sequência) não conseguem detectar.

  • Exemplo: O artigo constrói duas redes distintas, "Tie" e "Gem", que possuem funções de confiabilidade, probabilidades críticas ($p_c$) e matrizes de massa diferentes, mas compartilham valores idênticos para $\dim_H(\Xi)$, $\dim_M(C)$ e $\dim_P(C)$. Inversamente, rearranjar as substituições pode alterar $\dim_M(C)$ enquanto preserva as dimensões multiplicativas, provando que as dimensões multiplicativas são insuficientes para a classificação.

• Refutação da Comensurabilidade de Escala:
  O artigo aborda a conjectura de que expoentes críticos idênticos exigem escalas de renormalização discretas comensuráveis (ou seja, $\log \ell_1 / \log \ell_2 \in \mathbb{Q}$).

  • Usando o Teorema dos Seis Expoentes, o autor mostra que, se certas condições de irreducibilidade forem atendidas, as escalas dentro de uma classe de universalidade devem ser comensuráveis.
  • No entanto, eles constroem um contraexemplo (Teorema 5.6) mostrando que uma única classe de universalidade pode conter infinitas redes com escalas pairwise incomensuráveis. Especificamente, o autor constrói uma família de redes com escala $(19 \cdot 661^k)^{100}$ compartilhando as mesmas dimensões críticas, mas nenhum agrupamento finito de etapas de substituição torna suas escalas compatíveis.
  • Este resultado refuta a necessidade de uma escala comum de coarse-graining discreta para a universalidade.

Significância
O artigo fornece uma resolução matemática rigorosa para questões levantadas por Hauser e Saxena sobre os limites da universalidade baseada em dimensão em redes hierárquicas. Ao estabelecer que a dimensão de massa crítica depende da estrutura não-comutativa das regras de substituição, o autor demonstra que os dados geométricos (como a dimensão de Hausdorff) são insuficientes para classificar a universalidade da percolação. Além disso, a construção de classes de universalidade contendo escalas incomensuráveis desafia a intuição física de que a universalidade requer uma simetria de escala discreta compartilhada. O trabalho é apoiado por verificação formal em Lean 4, garantindo a solidez lógica dos argumentos espectrais e de teoria dos números.