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

Technische Zusammenfassung: Iterierte Graphen-Systeme (II): Bernoulli-Perkolation und kritische Exponenten-Universalitätsklassen auf hierarchischen Gittern

Problemstellung
Die Arbeit untersucht die Bernoulli-Perkolation auf hierarchischen Gittern und geht dabei der Frage nach, ob geometrische und dimensionale Daten allein ausreichen, um die Universalitätsklasse der kritischen Exponenten zu bestimmen. Während die statistische Physik auf euklidischen Gittern oft auf dimensionsbasierter Universalität beruht, deuteten frühere Arbeiten von Hauser und Saxena (1986) sowie Halberstam und Hutchcroft darauf hin, dass auf hierarchischen Gittern der Perkolations-Exponent $\nu_p$ und der Fisher-Exponent $\tau$ stark von der Topologie des Gitters abhängen, selbst wenn intrinsische Dimensionen und Konnektivitäten identisch sind. Dies wirft das grundlegende Problem auf: Kann eine endliche Familie von „substitutions-multiplikativen Dimensionen“ (wie etwa die Hausdorff-Dimension) die Universalitätsklassen der kritischen Exponenten dieser Systeme vollständig klassifizieren? Zudem: Bedeutet das Vorhandensein identischer kritischer Exponenten, dass die zugrunde liegenden diskreten Renormierungsskalen kommensurabel sind (d. h. durch ganzzahlige Potenzen miteinander verwandt)?

Methodik
Die Arbeit formalisiert die Untersuchung dieser Systeme unter Verwendung von Edge Iterated Graph Systems (EIGS).

1. Framework: Sie definieren ein „klassisches EIGS-hierarchisches Gitter“ als ein deterministisches System, das aus einer einzelnen Kante durch einen endlichen, zusammenhängenden, einfachen und terminal-symmetrischen Regelgraphen $R$ erzeugt wird. Dies generalisiert das Diamond Hierarchical Lattice (DHL).
2. Zufällige EIGS-Repräsentation: Aufbauend auf der Arbeit von Hambly und Kumagai (2010) und unter Erweiterung rezenter Ergebnisse von Alves et al., beweist der Autor, dass die kritische Bernoulli-Bindungsperkolation, bedingt auf Terminal-Konnektivität, ein zufälliges EIGS induziert. Diese Repräsentation ermöglicht es, den kritischen Cluster als einen graph-gerichteten, zufälligen rekursiven Fraktal zu analysieren.
3. Spektralanalyse: Das zentrale analytische Werkzeug ist die Massenmatrix $M_C(p)$, eine $3 \times 3$-Matrix, welche die erwartete Anzahl „lebender“ Kind-Kanten verschiedener Zustände (verbunden, nicht verbunden, aber aktiv; nicht verbunden, aber terminal-aktiv) beschreibt. Der Autor analysiert die spektralen Eigenschaften dieser Matrix bei der kritischen Wahrscheinlichkeit $p_c$.
4. Exponentendefinition: Die Untersuchung konzentriert sich auf acht kritische Exponenten ($\beta, \nu, \delta, \eta_{av}, \gamma, \Delta, \alpha, \rho$). Der Autor stellt fest, dass vier dieser Exponenten ($\beta, \nu, \delta, \eta_{av}$) für jede klassische Regel existieren und die kritische Exponenten-Universalitätsklasse basierend auf der Übereinstimmung dieser vier Werte definieren.
5. Zahlentheoretische Werkzeuge: Um die Kommensurabilität von Skalen zu adressieren, verwendet die Arbeit den Satz der sechs Exponenten aus der transzendentalen Zahlentheorie, der den algebraischen Charakter von Wachstumsmultiplikatoren mit der Rationalität von Skalenverhältnissen verknüpft.

Wesentliche Beiträge und Ergebnisse

• Charakterisierung von Universalitätsklassen:
  Der Autor beweist, dass zwei klassische EIGS-hierarchische Gitter genau dann zur selben kritischen Exponenten-Universalitätsklasse gehören, wenn drei spezifische Dimensionen übereinstimmen:

  1. Umgebungsdimension ($\dim_H(\Xi)$): Die Hausdorff-Dimension des Gitters selbst.
  2. Massendimension ($\dim_M(C)$): Abgeleitet vom Spektralradius $\rho(M_C)$ der kritischen Massenmatrix.
  3. Pivotal-Dimension ($\dim_P(C)$): Abgeleitet von der Ableitung der Zuverlässigkeitsfunktion $\phi'_R(p_c)$.

  Der Autor liefert explizite Formeln, die die vier definierenden Exponenten mit diesen Dimensionen in Beziehung setzen:

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

• Scheitern der dimensionsbasierten Klassifizierung:
  Der Autor beweist rigoros, dass keine endliche Familie von substitutions-multiplikativen Dimensionen die Universalitätsklasse bestimmen kann. Er zeigt auf, dass die kritische Massendimension $\dim_M(C)$ Informationen über die Reihenfolge der Substitutionen (nicht-kommutative Struktur) bewahrt, welche multiplikative Dimensionen (die nur von der Menge der Regeln, nicht aber deren Sequenz abhängen) nicht erfassen können.

  • Beispiel: Der Autor konstruiert zwei unterschiedliche Gitter, „Tie“ und „Gem“, die unterschiedliche Zuverlässigkeitsfunktionen, kritische Wahrscheinlichkeiten ($p_c$) und Massenmatrizen besitzen, jedoch identische Werte für $\dim_H(\Xi)$, $\dim_M(C)$ und $\dim_P(C)$ aufweisen. Umgekehrt können die Umordnung von Substitutionen $\dim_M(C)$ verändern, während die multiplikativen Dimensionen erhalten bleiben, was beweist, dass multiplikative Dimensionen für eine Klassifizierung unzureichend sind.

• Widerlegung der Skalen-Kommensurabilität:
  Die Arbeit adressiert die Vermutung, dass identische kritische Exponenten kommensurable diskrete Renormierungsskalen erfordern (d. h. $\log \ell_1 / \log \ell_2 \in \mathbb{Q}$).

  • Unter Verwendung des Satzes der sechs Exponenten zeigt der Autor, dass – sofern bestimmte Irreduzibilitätsbedingungen erfüllt sind – Skalen innerhalb einer Universalitätsklasse kommensurabel sein müssen.
  • Er konstruiert jedoch ein Gegenbeispiel (Theorem 5.6), das zeigt, dass eine einzige Universalitätsklasse unendlich viele Gitter mit paarweise inkommensurablen Skalen enthalten kann. Konkret konstruiert er eine Familie von Gittern mit der Skala $(19 \cdot 661^k)^{100}$, die dieselben kritischen Dimensionen teilen, wobei jedoch keine endliche Gruppierung von Substitutionsschritten die Skalen kompatibel macht.
  • Dieses Ergebnis widerlegt die Notwendigkeit einer gemeinsamen diskreten Grobkörnungsskala für die Universalität.

Bedeutung
Die Arbeit bietet eine rigorose mathematische Auflösung der durch Hauser und Saxena aufgeworfenen Fragen bezüglich der Grenzen der dimensionsbasierten Universalität auf hierarchischen Gittern. Durch den Nachweis, dass die kritische Massendimension von der nicht-kommutativen Struktur der Substitutionsregeln abhängt, demonstriert der Autor, dass geometrische Daten (wie die Hausdorff-Dimension) unzureichend sind, um die Perkolations-Universalität zu klassifizieren. Darüber hinaus stellt die Konstruktion von Universalitätsklassen, die inkommensurable Skalen enthalten, die physikalische Intuition infrage, wonach Universalität eine gemeinsame diskrete Skalensymmetrie erfordert. Die Arbeit wird durch eine formale Verifizierung in Lean 4 gestützt, was die logische Korrektheit der spektralen und zahlentheoretischen Argumente sicherstellt.