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

Résumé Technique : Systèmes de Graphes Itérés (II) : Percolation de Bernoulli et classes d'universalité d'exposants critiques sur les réseaux hiérarchiques

Énoncé du Problème
L'article étudie la percolation de Bernoulli sur les réseaux hiérarchiques, en abordant spécifiquement la question de savoir si les données géométriques et dimensionnelles suffisent à elles seules à déterminer la classe d'universalité des exposants critiques. Alors que la physique statistique sur les réseaux euclidiens repose souvent sur une universalité basée sur la dimension, les travaux antérieurs de Hauser et Saxena (1986) ainsi que de Halberstam et Hutchcroft suggèrent que, sur les réseaux hiérarchiques, l'exposant de percolation $\nu_p$ et l'exposant de Fisher $\tau$ dépendent fortement de la topologie du réseau, même lorsque les dimensions intrinsèques et les connectivités sont identiques. Cela soulève un problème fondamental : une famille finie de « dimensions de substitution-multiplicatives » (telle que la dimension de Hausdorff) peut-elle complètement classifier les classes d'universalité des exposants critiques de ces systèmes ? De plus, l'existence d'exposants critiques identiques implique-t-elle que les échelles de renormalisation discrètes sous-jacentes sont commensurables (c'est-à-dire liées par des puissances entières) ?

Méthodologie
L'article formalise l'étude de ces systèmes en utilisant des Systèmes de Graphes Itérés par Arêtes (EIGS).

1. Cadre : Ils définissent un « EIGS hiérarchique classique » comme un système déterministe généré à partir d'une seule arête par un graphe de règle $R$ fini, connecté, simple et symétrique par rapport aux terminaux. Cela généralise le réseau hiérarchique en diamant (DHL).
2. Représentation EIGS Aléatoire : En s'appuyant sur les travaux de Hambly et Kumagai (2010) et en étendant les résultats récents d'Alves et al., l'auteur prouve que la percolation de Bernoulli par liaisons critique, conditionnée par la connexion des terminaux, induit un EIGS aléatoire. Cette représentation permet d'analyser le cluster critique comme un fractal récursif dirigé par un graphe.
3. Analyse Spectrale : L'outil analytique central est la matrice de masse $M_C(p)$, une matrice $3 \times 3$ décrivant le nombre attendu d'arêtes enfants « actives » de différents états (connectées, déconnectées mais actives, et actives pour un seul terminal) sous des lois de percolation conditionnelles. L'auteur analyse les propriétés spectrales de cette matrice à la probabilité critique $p_c$.
4. Définition des Exposants : L'étude se concentre sur huit exposants critiques ($\beta, \nu, \delta, \eta_{av}, \gamma, \Delta, \alpha, \rho$). L'auteur établit que quatre d'entre eux ($\beta, \nu, \delta, \eta_{av}$) existent pour chaque règle classique et définissent la classe d'universalité des exposants critiques sur la base de l'accord de ces quatre valeurs.
5. Outils de Théorie des Nombres : Pour traiter la commensurabilité des échelles, l'article emploie le Théorème des Six Exposants de la théorie des nombres transcendants, liant la nature algébrique des multiplicateurs de croissance à la rationalité des rapports d'échelle.

Contributions Clés et Résultats

• Caractérisation des Classes d'Universalité :
  L'article prouve que deux réseaux hiérarchiques EIGS classiques appartiennent à la même classe d'universalité des exposants critiques si et seulement si trois dimensions spécifiques concordent :

  1. Dimension Ambiante ($\dim_H(\Xi)$) : La dimension de Hausdorff du réseau lui-même.
  2. Dimension de Masse ($\dim_M(C)$) : Dérivée du rayon spectral $\rho(M_C)$ de la matrice de masse critique.
  3. Dimension Pivot ($\dim_P(C)$) : Dérivée de la dérivée de la fonction de fiabilité $\phi'_R(p_c)$.

  L'auteur fournit des formules explicites reliant les quatre exposants définissants à ces dimensions :

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

• Échec de la Classification Basée sur la Dimension :
  L'auteur démontre rigoureusement qu'aucune famille finie de dimensions de substitution-multiplicatives ne peut déterminer la classe d'universalité. Il démontre que la dimension de masse critique $\dim_M(C)$ conserve des informations sur l'ordre des substitutions (structure non-commutative) que les dimensions multiplicatives (qui dépendent uniquement de l'ensemble des règles, et non de leur séquence) ne peuvent détecter.

  • Exemple : L'article construit deux réseaux distincts, « Tie » et « Gem », qui possèdent des fonctions de fiabilité, des probabilités critiques ($p_c$) et des matrices de masse différentes, mais partagent des valeurs identiques pour $\dim_H(\Xi)$, $\dim_M(C)$ et $\dim_P(C)$. Inversement, réorganiser les substitutions peut modifier $\dim_M(C)$ tout en préservant les dimensions multiplicatives, prouvant que les dimensions multiplicatives sont insuffisantes pour la classification.

• Réfutation de la Commensurabilité des Échelles :
  L'article traite de la conjecture selon laquelle des exposants critiques identiques nécessitent des échelles de renormalisation discrètes commensurables (c'est-à-dire $\log \ell_1 / \log \ell_2 \in \mathbb{Q}$).

  • En utilisant le Théorème des Six Exposants, l'auteur montre que si certaines conditions d'irréductibilité sont remplies, les échelles au sein d'une classe d'universalité doivent être commensurables.
  • Cependant, il construit un contre-exemple (Théorème 5.6) montrant qu'une classe d'universalité unique peut contenir une infinité de réseaux avec des échelles deux à deux incommensurables. Plus précisément, l'auteur construit une famille de réseaux avec une échelle de $(19 \cdot 661^k)^{100}$ partageant les mêmes dimensions critiques, pourtant aucun groupement fini d'étapes de substitution ne rend leurs échelles compatibles.
  • Ce résultat infirme la nécessité d'une échelle de coarse-graining discrète commune pour l'universalité.

Signification
Cet article apporte une résolution mathématique rigoureuse aux questions soulevées par Hauser et Saxena concernant les limites de l'universalité basée sur la dimension pour les réseaux hiérarchiques. En établissant que la dimension de masse critique dépend de la structure non-commutative des règles de substitution, l'auteur démontre que les données géométriques (comme la dimension de Hausdorff) sont insuffisantes pour classifier l'universalité de la percolation. De plus, la construction de classes d'universalité contenant des échelles incommensurables remet en question l'intuition physique selon laquelle l'universalité nécessite une symétrie d'échelle discrète partagée. Le travail est soutenu par une vérification formelle dans Lean 4, garantissant la solidité logique des arguments spectraux et de théorie des nombres.