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

Resumen Técnico: Sistemas de Grafos Iterados (II): Percolación de Bernoulli y clases de universalidad de exponentes críticos en redes jerárquicas

Planteamiento del Problema
El artículo investiga la percolación de Bernoulli en redes jerárquicas, abordando específicamente la cuestión de si los datos geométricos y dimensionales por sí solos pueden determinar la clase de universalidad de los exponentes críticos. Mientras que la física estadística en redes euclídeas suele apoyarse en la universalidad basada en la dimensión, trabajos previos de Hauser y Saxena (1986) y Halberstam y Hutchcroft sugieren que, en redes jerárquicas, el exponente de percolación $\nu_p$ y el exponente de Fisher $\tau$ dependen fuertemente de la topología de la red, incluso cuando las dimensiones intrínsecas y las conectividades son idénticas. Esto plantea el problema fundamental: ¿puede una familia finita de "dimensiones de sustitución-multiplicativas" (como la dimensión de Hausdorff) clasificar completamente las clases de universalidad de los exponentes críticos de estos sistemas? Además, ¿implica la existencia de exponentes críticos idénticos que las escalas de renormalización discretas subyacentes sean conmensurables (es decir, relacionadas por potencias enteras)?

Metodología
El artículo formaliza el estudio de estos sistemas utilizando Sistemas de Grafos Iterados de Aristas (EIGS, por sus siglas en inglés).

1. Marco de trabajo: Definen un "EIGS de red jerárquica clásica" como un sistema determinista generado a partir de una única arista mediante un grafo de regla $R$ finito, conexo, simple y de simetría terminal. Esto generaliza la red jerárquica de diamante (DHL).
2. Representación de EIGS Aleatorio: Basándose en el trabajo de Hambly y Kumagai (2010) y extendiendo resultados recientes de Alves et al., el autor demuestra que la percolación de enlaces de Bernoulli crítica, condicionada a la conexión terminal, induce un EIGS aleatorio. Esta representación permite analizar el clúster crítico como un fractal recursivo dirigido por grafos.
3. Análisis Espectral: La herramienta analítica central es la matriz de masa $M_C(p)$, una matriz de $3 \times 3$ que describe el número esperado de aristas hijas "vivas" de diferentes estados (conectadas, desconectadas pero activas, y de un solo terminal activo) bajo leyes de percolación condicionales. El autor analiza las propiedades espectrales de esta matriz en la probabilidad crítica $p_c$.
4. Definición de Exponentes: El estudio se centra en ocho exponentes críticos ($\beta, \nu, \delta, \eta_{av}, \gamma, \Delta, \alpha, \rho$). El autor establece que cuatro de ellos ($\beta, \nu, \delta, \eta_{av}$) existen para cada regla clásica y definen la clase de universalidad de los exponentes críticos basándose en el acuerdo de estos cuatro valores.
5. Herramientas de Teoría de Números: Para abordar la conmensurabilidad de las escalas, el artículo emplea el Teorema de los Seis Exponenciales de la teoría de números trascendentes, vinculando la naturaleza algebraica de los multiplicadores de crecimiento con la racionalidad de las proporciones de escala.

Contribuciones Clave y Resultados

• Caracterización de las Clases de Universalidad:
  El artículo demuestra que dos redes jerárquicas EIGS clásicas pertenecen a la misma clase de universalidad de exponentes críticos si y solo si tres dimensiones específicas coinciden:

  1. Dimensión Ambiental ($\dim_H(\Xi)$): La dimensión de Hausdorff de la red misma.
  2. Dimensión de Masa ($\dim_M(C)$): Derivada del radio espectral $\rho(M_C)$ de la matriz de masa crítica.
  3. Dimensión Pivotal ($\dim_P(C)$): Derivada de la derivada de la función de fiabilidad $\phi'_R(p_c)$.

  El autor proporciona fórmulas explícitas que relacionan los cuatro exponentes definitorios con estas dimensiones:

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

• Fallo de la Clasificación Basada en la Dimensión:
  El autor proporciona una prueba rigurosa de que ninguna familia finita de dimensiones de sustitución-multiplicativas puede determinar la clase de universalidad. Demuestran que la dimensión de masa crítica $\dim_M(C)$ retiene información sobre el orden de las sustituciones (estructura no conmutativa) que las dimensiones multiplicativas (que dependen solo del conjunto de reglas, no de su secuencia) no pueden detectar.

  • Ejemplo: El artículo construye dos redes distintas, "Tie" y "Gem", que poseen funciones de fiabilidad, probabilidades críticas ($p_c$) y matrices de masa diferentes, pero comparten valores idénticos para $\dim_H(\Xi)$, $\dim_M(C)$ y $\dim_P(C)$. Por el contrario, reordenar las sustituciones puede alterar $\dim_M(C)$ preservando las dimensiones multiplicativas, lo que demuestra que las dimensiones multiplicativas son insuficientes para la clasificación.

• Refutación de la Conmensurabilidad de Escalas:
  El artículo aborda la conjetura de que los exponentes críticos idénticos requieren escalas de renormalización discretas conmensurables (es decir, $\log \ell_1 / \log \ell_2 \in \mathbb{Q}$).

  • Utilizando el Teorema de los Seis Exponenciales, el autor muestra que si se cumplen ciertas condiciones de irreducibilidad, las escalas dentro de una clase de universalidad deben ser conmensurables.
  • Sin embargo, construye un contraejemplo (Teorema 5.6) que muestra que una sola clase de universalidad puede contener infinitas redes con escalas conmutativas entre sí. Específicamente, construye una familia de redes con escala $(19 \cdot 661^k)^{100}$ que comparten las mismas dimensiones críticas, pero donde ningún agrupamiento finito de pasos de sustitución hace que sus escalas sean compatibles.
  • Este resultado refuta la necesidad de una escala común de escala de agrupamiento discreto para la universalidad.

Significado
El artículo proporciona una resolución matemática rigurosa a las cuestiones planteadas por Hauser y Saxena sobre los límites de la universalidad basada en la dimensión en redes jerárquicas. Al establecer que la dimensión de masa crítica depende de la estructura no conmutativa de las reglas de sustitución, el autor demuestra que los datos geométricos (como la dimensión de Hausdorff) son insuficientes para clasificar la universalidad de la percolación. Además, la construcción de clases de universalidad que contienen escalas inconmensurables desafía la intuición física de que la universalidad requiere una simetría de escala discreta compartida. El trabajo está respaldado por la verificación formal en Lean 4, lo que garantiza la solidez lógica de los argumentos espectrales y de teoría de números.