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

Sintesi Tecnica: Sistemi di Grafi Iterati (II): Percolazione di Bernoulli e classi di universalità degli esponenti critici su reticoli gerarchici

Enunciato del Problema
Il saggio investiga la percolazione di Bernoulli su reticoli gerarchici, affrontando specificamente la questione se i dati geometrici e dimensionali siano sufficienti, da soli, a determinare la classe di universalità degli esponenti critici. Mentre la fisica statistica su reticoli euclidei si basa spesso sulla dimensionalità per definire l'universalità, il lavoro precedente di Hauser e Saxena (1986) e di Halberstam e Hutchcroft ha suggerito che, sui reticoli gerarchici, l'esponente di percolazione $\nu_p$ e l'esponente di Fisher $\tau$ dipendono fortemente dalla topologia del reticolo, anche quando le dimensioni intrinseche e le connettività sono identiche. Ciò solleva un problema fondamentale: può una famiglia finita di "dimensioni sostitutive-moltiplicative" (come la dimensione di Hausdorff) classificare completamente le classi di universalità degli esponenti critici di questi sistemi? Inoltre, l'esistenza di esponenti critici identici implica che le scale di rinormalizzazione discreta sottostanti siano commensurabili (ovvero, correlate da potenze intere)?

Metodologia
Il saggio formalizza lo studio di questi sistemi utilizzando i Sistemi di Grafi Iterati per Spigoli (EIGS).

1. Framework: Definisce un "EIGS gerarchico classico" come un sistema deterministico generato da un singolo spigolo tramite un grafo di regola $R$ finito, connesso, semplice e simmetrico rispetto ai terminali. Questo generalizza il reticolo gerarchico a diamante (DHL).
2. Rappresentazione EIGS Casuale: Basandosi sul lavoro di Hambly e Kumagai (2010) e estendendo i recenti risultati di Alves et al., l'autore dimostra che la percolazione di legame di Bernoulli critica, condizionata alla connessione dei terminali, induce un EIGS casuale. Questa rappresentazione permette di analizzare il cluster critico come un frattale ricorsivo guidato da grafi.
3. Analisi Spettrale: Lo strumento analitico centrale è la matrice di massa $M_C(p)$, una matrice $3 \times 3$ che descrive il numero atteso di "spigoli figli vivi" di diversi stati (connessi, disconnessi ma attivi, e terminale singolo attivo) sotto leggi di percolazione condizionate. L'autore analizza le proprietà spettrali di questa matrice alla probabilità critica $p_c$.
4. Definizione degli Esponenti: Lo studio si concentra su otto esponenti critici ($\beta, \nu, \delta, \eta_{av}, \gamma, \Delta, \alpha, \rho$). L'autore stabilisce che quattro di questi ($\beta, \nu, \delta, \eta_{av}$) esistono per ogni regola classica e definiscono la classe di universalità degli esponenti critici in base all'accordo di questi quattro valori.
5. Strumenti di Teoria dei Numeri: Per affrontare la commensurabilità delle scale, il saggio impiega il Teorema dei Sei Esponenziali dalla teoria dei numeri trascendenti, collegando la natura algebrica dei moltiplicatori di crescita alla razionalità dei rapporti di scala.

Contributi Chiave e Risultati

• Caratterizzazione delle Classi di Universalità:
  Il saggio dimostra che due reticoli gerarchici EIGS classici appartengono alla stessa classe di universalità degli esponenti critici se e solo se tre dimensioni specifiche concordano:

  1. Dimensione Ambiente ($\dim_H(\Xi)$): La dimensione di Hausdorff del reticolo stesso.
  2. Dimensione di Massa ($\dim_M(C)$): Derivata dal raggio spettrale $\rho(M_C)$ della matrice di massa critica.
  3. Dimensione Pivotal ($\dim_P(C)$): Derivata dalla derivata della funzione di affidabilità $\phi'_R(p_c)$.

  L'autore fornisce formule esplicite che relazionano i quattro esponenti definiti a queste dimensioni:

  • $\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)$

• Fallimento della Classificazione Basata sulle Dimensioni:
  L'autore fornisce una prova rigorosa del fatto che nessuna famiglia finita di dimensioni sostitutive-moltiplicative può determinare la classe di universalità. Dimostra che la dimensione di massa critica $\dim_M(C)$ conserva informazioni sull' ordine delle sostituzioni (struttura non commutativa) che le dimensioni moltiplicative (le quali dipendono solo dall'insieme delle regole, non dalla loro sequenza) non possono rilevare.

  • Esempio: Il saggio costruisce due reticoli distinti, "Tie" e "Gem", che possiedono funzioni di affidabilità, probabilità critiche ($p_c$) e matrici di massa differenti, pur condividendo valori identici per $\dim_H(\Xi)$, $\dim_M(C)$ e $\dim_P(C)$. Viceversa, riorganizzare le sostituzioni può alterare $\dim_M(C)$ preservando le dimensioni moltiplicative, provando che le dimensioni moltiplicative sono insufficienti per la classificazione.

• Confutazione della Commensurabilità delle Scale:
  Il saggio affronta la congettura secondo cui identici esponenti critici richiedano scale di rinormalizzazione discreta commensurate (ovvero $\log \ell_1 / \log \ell_2 \in \mathbb{Q}$).

  • Utilizzando il Teorema dei Sei Esponenziali, l'autore mostra che se certe condizioni di irriducibilità sono soddisfatte, le scale all'interno di una classe di universalità devono essere commensurate.
  • Tuttavia, costruisce un controesempio (Teorema 5.6) mostrando che una singola classe di universalità può contenere infiniti reticoli con scale a coppie incommensurate. Nello specifico, costruisce una famiglia di reticoli con scala $(19 \cdot 661^k)^{100}$ che condividono le stesse dimensioni critiche, pur non avendo alcun raggruppamento finito di passi di sostituzione che renda le loro scale compatibili. Questo risultato confuta la necessità di una scala comune di coarse-graining discreto per l'universalità.

Significato
Il saggio fornisce una risoluzione matematica rigorosa alle questioni sollevate da Hauser e Saxena riguardo ai limiti dell'universalità basata sulle dimensioni sui reticoli gerarchici. Stabilendo che la dimensione di massa critica dipende dalla struttura non commutativa delle regole di sostituzione, l'autore dimostra che i dati geometrici (come la dimensione di Hausdorff) sono insufficienti per classificare l'universalità della percolazione. Inoltre, la costruzione di classi di universalità contenenti scale incommensurate sfida l'intuizione fisica secondo cui l'universalità richieda una condivisa simmetria di scala discreta. Il lavoro è supportato dalla verifica formale in Lean 4, che garantisce la solidità logica degli argomenti spettrali e dei numeri trascendenti.