Uniqueness of the infinite cluster for monotone percolation models without insertion tolerance

Die Arbeit beweist die Einzigartigkeit des unendlichen Clusters im superkritischen Phasenbereich für eine breite Klasse abhängiger Perkolationsmodelle auf $\mathbb{Z}^d$, die durch monotone Automaten erzeugt werden, und löst damit eine offene Frage zur Perkolationsstruktur des abelschen Sandhaufenmodells, indem sie die Anwendbarkeit des klassischen Burton-Keane-Arguments auch für Modelle ohne Einfügungstoleranz nachweist.

Das Wesentliche

Das große Problem: Ein einziger Riese oder viele kleine Inseln?

Stellen Sie sich einen riesigen, unendlichen Gitterzaun vor (wie ein riesiges Schachbrett, das sich in alle Richtungen erstreckt). Auf diesem Zaun sitzen kleine Kugeln (Teilchen). Manchmal sind diese Kugeln aktiv, manchmal nicht. Wenn eine Kugel aktiv wird, kann sie eine Kettenreaktion auslösen – wie ein Dominostein, der den nächsten umstößt.

In der Mathematik nennt man das Perkolationsmodelle. Die große Frage lautet: Wenn wir genug Kugeln haben, entsteht dann ein einziger, riesiger, zusammenhängender Riese (ein unendlicher Cluster), der das ganze Brett durchquert? Oder entstehen viele kleine, getrennte Riesen, die sich nie berühren?

Bei einfachen Modellen (wie dem Werfen von Münzen) wissen wir die Antwort: Es gibt immer genau einen riesigen Riesen, sobald die Dichte hoch genug ist. Das ist wie ein einziger Ozean, der alle Inseln verbindet.

Das neue Rätsel: Wenn die Regeln kompliziert sind

Die Autoren dieses Papers beschäftigen sich mit viel komplizierteren Systemen, wie dem Abelschen Sandhaufen (eine Art mathematisches Sandspiel) oder dem aktivierten Random Walk.

Hier ist das Problem: In diesen Systemen gilt eine wichtige Regel der einfachen Modelle nicht mehr, die "Einfügungstoleranz".

• Einfache Analogie: Stellen Sie sich vor, Sie haben einen stabilen Sandhaufen. Wenn Sie eine zusätzliche Sandkorn hinzufügen, passiert normalerweise nichts Schlimmes.
• Das Problem hier: In diesen speziellen Modellen kann das Hinzufügen von einem einzigen Sandkorn eine riesige Lawine auslösen, die den ganzen Berg zum Einsturz bringt. Das macht die mathematischen Werkzeuge, die man normalerweise benutzt, um zu beweisen, dass es nur einen Riesen gibt, unbrauchbar. Es ist, als würde man versuchen, einen Sturm vorherzusagen, indem man nur einen einzelnen Tropfen Wasser betrachtet – die Werkzeuge brechen zusammen.

Die Lösung: Der Trick mit den drei Parametern

Die Autoren haben einen cleveren Weg gefunden, um trotzdem zu beweisen, dass es immer nur einen einzigen unendlichen Riesen gibt, sobald das System "aktiv" genug ist.

Stellen Sie sich das wie einen Vergleich zwischen drei verschiedenen Welten vor:

1. Welt A (Wenig Aktivität): Hier gibt es noch keine riesigen Riesen.
2. Welt B (Mittlere Aktivität): Hier fangen die Riesen an zu wachsen.
3. Welt C (Viele Aktivität): Hier sind wir sicher, dass riesige Riesen existieren.

Der geniale Schritt:
Die Autoren bauen eine Hilfs-Welt zwischen Welt A und Welt B. In dieser Hilfs-Welt fügen sie absichtlich "Sicherheitskugeln" hinzu, damit die Regeln wieder einfacher werden (man kann Kugeln hinzufügen, ohne eine riesige Lawine auszulösen).

• Ergebnis: In dieser Hilfs-Welt können sie mit dem alten, bewährten Werkzeug (Burton-Keane-Argument) beweisen: "Ja, hier gibt es nur einen Riesen."

Der Beweis: Warum die anderen Welten folgen müssen

Jetzt kommt der spannende Teil. Sie müssen zeigen, dass dieser "einzige Riese" aus der Hilfs-Welt auch in der echten, komplizierten Welt C existiert und alle anderen Riesen verschluckt.

Hier nutzen sie zwei kreative Ideen:

1. Der Abstand-Test (Mass-Transport-Prinzip):
   Stellen Sie sich vor, der Riese aus der Hilfs-Welt ist ein fester Anker. Wenn es in der echten Welt C noch einen zweiten, separaten Riesen gäbe, müsste es einen bestimmten Abstand zwischen dem Anker und diesem zweiten Riesen geben.
   Die Autoren zeigen mathematisch, dass wenn dieser Abstand existiert, er unendlich oft erreicht werden müsste. Das ist wie ein physikalisches Gesetz, das besagt: "Wenn zwei Dinge getrennt sind, aber unendlich oft den gleichen Abstand haben, dann müssen sie eigentlich verbunden sein." Das führt zu einem Widerspruch.

2. Die Multi-Map-Methode (Der "Was-wäre-wenn"-Trick):
   Sie stellen sich vor, sie könnten die Geschichte umschreiben. Wenn es zwei getrennte Riesen gäbe, könnten sie durch das Hinzufügen von wenigen Sandkörnern an bestimmten Stellen (den "Geodäten" oder kürzesten Wegen) diese beiden Riesen verbinden.
   Da die Wahrscheinlichkeit, diese Körner hinzuzufügen, nicht null ist, müssten die Riesen eigentlich schon verbunden sein. Wenn sie es nicht sind, bricht die Mathematik zusammen. Also müssen sie verbunden sein.

Das Fazit für die Praxis

Was bedeutet das für die Welt da draußen?

• Für den Sandhaufen: Egal wie chaotisch der Sand am Anfang verteilt ist, sobald er genug "Sand" hat, um Lawinen auszulösen, wird sich ein einziger, riesiger Bereich bilden, der alles verbindet. Es gibt keine getrennten "Sand-Inseln".
• Für andere Systeme: Das gilt auch für das "Aktivierte Random Walk" (Teilchen, die sich bewegen und einschlafen) und "Bootstrap-Perkolation" (wie ein Virus, das sich ausbreitet, wenn genug Nachbarn infiziert sind).

Zusammenfassend:
Die Autoren haben gezeigt, dass selbst in Systemen, die extrem empfindlich auf kleine Änderungen reagieren (wo ein kleiner Fehler eine Katastrophe auslösen kann), die Natur eine Ordnung bewahrt: Wenn das System groß genug wird, gibt es nur einen großen, zusammenhängenden Riesen, keine vielen kleinen. Sie haben einen Weg gefunden, die komplizierten Lawinen zu umgehen, um diese einfache Wahrheit zu beweisen.

Technische Zusammenfassung

Titel: Eindeutigkeit des unendlichen Clusters für monotone Perkolationsmodelle ohne Einfügungstoleranz

Autoren: Christoforos Panagiotis und Alexandre Stauffer
Datum: 1. April 2026

---

1. Problemstellung und Motivation

Das Paper untersucht die Eindeutigkeit des unendlichen Clusters in einer breiten Klasse von abhängigen Site-Perkolationsmodellen auf dem Gitter $\mathbb{Z}^d$.

• Hintergrund: In der klassischen Perkolations-Theorie (z. B. Bernoulli-Perkolation) ist bekannt, dass im superkritischen Phasenbereich ($p > p_c$) fast sicher genau ein unendlicher Cluster existiert. Der klassische Beweis von Burton und Keane [5] stützt sich auf die Einfügungstoleranz (Insertion Tolerance) oder die "Finite-Energy"-Eigenschaft. Diese besagt grob, dass das Hinzufügen oder Entfernen eines einzelnen Vertices nur mit endlichen Kosten (positiver Wahrscheinlichkeit) möglich ist.
• Das Problem: Viele wichtige Modelle der statistischen Physik, wie das Abelsche Sandhaufen-Modell, aktivierte Random Walks und Bootstrap-Perkolation, erfüllen diese Eigenschaft der Einfügungstoleranz nicht. Das Hinzufügen eines einzelnen Partikels kann in diesen Systemen eine unendliche Lawine (Avalanche) auslösen, was die Standardargumente von Burton und Keane ungültig macht.
• Forschungsfrage: Es war offen, ob in diesen Modellen im superkritischen Regime dennoch fast sicher ein eindeutiger unendlicher Cluster existiert. Insbesondere wurde eine Frage von Fey, Meester und Redig [6] bezüglich der Eindeutigkeit des Clusters der "gekippten" (toppled) Vertices im Abelschen Sandhaufen-Modell mit i.i.d. Anfangskonfiguration gestellt.

---

2. Methodik und Modellrahmen

Die Autoren definieren ein allgemeines Rahmenwerk, das durch eine monotone Automaton-Dynamik auf einer zufälligen Anfangskonfiguration von Partikeln erzeugt wird.

A. Grundlegende Zufälligkeit (R1–R4)

Die Modelle basieren auf einer Familie von Maßen $(P_p)_{p \in [0,1]}$ auf Konfigurationen von Partikeln $\xi \in [0, \infty)^{\mathbb{Z}^d}$. Es wird eine Kopplung für Parameter $p_1 < p_2 < p_3$ gefordert, die folgende Eigenschaften erfüllt:

• R1 (Translationsinvarianz): Das Maß ist translationsinvariant.
• R2 (Monotonie): Die Konfigurationen sind stochastisch geordnet ($X \le Y \le Z$).
• R3 (Einfügungstoleranz der Kopplung): Obwohl das finale Perkolationsmaß nicht einfügungstolerant sein muss, wird gefordert, dass in der Kopplung die Wahrscheinlichkeit, dass ein Vertex $x$ einen Schwellenwert $t$ überschreitet, gegeben die Umgebung, strikt positiv ist. Dies erlaubt den Vergleich verschiedener Parameter.
• R4 (Ergodizität): Das Maß ist ergodisch.

B. Dynamik und Abbildung (D1–D4)

Eine Abbildung $T: [0, \infty)^{\mathbb{Z}^d} \to \{0, 1\}^{\mathbb{Z}^d}$ transformiert die Partikelkonfiguration $\xi$ in eine Perkolationskonfiguration $\omega = T(\xi)$.

• D1 & D2: Translationsinvarianz und Monotonie der Dynamik.
• D3 (Besetzungs-Schwelle): Wenn ein Vertex genügend Partikel hat ($\xi_x \ge t$), ist er im Perkolationsbild "offen" ($T(\xi)_x = 1$).
• D4 (Konnektivität / Avalanche-Eigenschaft): Dies ist die zentrale technische Annahme. Sie besagt, dass das Erhöhen der Partikelzahl an einem Vertex $x$ zwar den Cluster von $x$ verändern kann, aber keine anderen unendlichen Cluster beeinflusst. Äquivalent dazu (AD4): Das Hinzufügen von Partikeln fügt eine zusammenhängende Menge von offenen Vertices hinzu, die $x$ enthält. Dies gilt für Sandhaufen und aktivierte Random Walks, da Partikel nur zu Nachbarn springen.

---

3. Hauptresultat

Satz 1.1: Unter den Annahmen R1–R4 und D1–D4 gilt für jeden Parameter $p > p_c$:
$$P_p(N = 1) = 1$$
Das heißt, im superkritischen Regime existiert fast sicher genau ein unendlicher Cluster.

---

4. Beweisstrategie

Der Beweis gliedert sich in drei Schritte und nutzt eine Kombination aus Vergleichsargumenten, dem Massentransport-Prinzip und einem Multi-Valued-Map-Argument.

Schritt 1: Konstruktion einer Hilfskonfiguration mit Einfügungstoleranz

Da das ursprüngliche Modell $\omega_{p_3}$ keine Einfügungstoleranz besitzt, konstruieren die Autoren eine Hilfskonfiguration $\omega_{p_1, p_2}$, die zwischen den Parametern $p_1$ und $p_2$ interpoliert ($p_c < p_1 < p_2 < p_3$).

• Definition: Ein Vertex ist offen in $\omega_{p_1, p_2}$, wenn er in $\omega_{p_1}$ offen ist oder wenn die Partikelzahl $Y_x$ im mittleren Maß den Schwellenwert $t$ erreicht.
• Durch die Eigenschaft R3 und D3 ist diese Hilfskonfiguration einfügungstolerant.
• Nach dem Burton-Keane-Argument besitzt $\omega_{p_1, p_2}$ fast sicher einen eindeutigen unendlichen Cluster (bezeichnet als $C_{p_1, p_2}^\infty$).

Schritt 2: Anwendung des Massentransport-Prinzips

Es wird gezeigt, dass jeder unendliche Cluster $C$ des ursprünglichen Modells $\omega_{p_3}$, der $C_{p_1, p_2}^\infty$ nicht enthält, eine unendliche Anzahl von Punkten hat, die den minimalen Abstand zu $C_{p_1, p_2}^\infty$ realisieren.

• Annahme: Gilt dies nicht, so existiert ein Cluster mit endlichem Abstand, der nur endlich oft diesen Abstand erreicht.
• Widerspruch: Durch Anwendung des Massentransport-Prinzips auf eine geeignete Funktion $F(x,y)$ (die die Anzahl der Abstandspunkte zählt), leiten die Autoren einen Widerspruch her. Auf der einen Seite ist die erwartete "Ausstrahlung" von einem Vertex begrenzt, auf der anderen Seite würde die Existenz eines solchen Clusters eine unendliche "Empfangsrate" implizieren.
• Ergebnis: Der Abstand zwischen jedem unendlichen Cluster von $\omega_{p_3}$ und dem eindeutigen Cluster von $\omega_{p_1, p_2}$ wird unendlich oft realisiert.

Schritt 3: Verschmelzung der Cluster (Multi-Valued-Map-Argument)

Der letzte Schritt widerlegt die Existenz eines unendlichen Clusters in $\omega_{p_3}$, der $C_{p_1, p_2}^\infty$ nicht enthält.

• Annahme: Mit positiver Wahrscheinlichkeit existiert ein solcher Cluster $C_{p_3}^o$ mit festem Abstand $D$.
• Methode: Es wird eine multi-valued map (mehrdeutige Abbildung) definiert. Man betrachtet Geodäten zwischen Punkten im Cluster $C_{p_1, p_2}^\infty$ und Punkten in $C_{p_3}^o$.
• Durch das Erhöhen der Partikelzahl entlang dieser Geodäten (unter Ausnutzung von R3) wird versucht, die beiden Cluster zu verbinden.
• Aufgrund der Eigenschaft D4 (Konnektivität) führt das Erhöhen der Partikelzahl auf der Geodäte dazu, dass die Geodäte "aufgebrochen" wird und die beiden Cluster verschmelzen.
• Durch Zählen der möglichen Vor-Bilder dieser Abbildung zeigen die Autoren, dass die Wahrscheinlichkeit für das Ereignis, dass zwei getrennte unendliche Cluster existieren, gegen Null gehen muss, wenn die Anzahl der Geodäten ($K$) groß genug gewählt wird.
• Fazit: Fast sicher enthält jeder unendliche Cluster von $\omega_{p_3}$ den Cluster $C_{p_1, p_2}^\infty$, was die Eindeutigkeit des unendlichen Clusters in $\omega_{p_3}$ impliziert.

---

5. Wichtige Beiträge und Anwendungen

1. Lösung eines offenen Problems: Das Paper beantwortet die Frage von Fey, Meester und Redig [6] positiv: Im Abelschen Sandhaufen-Modell mit i.i.d. Anfangskonfiguration existiert im superkritischen Regime fast sicher genau ein unendlicher Cluster der gekippten Vertices.
2. Verallgemeinerung: Die Ergebnisse gelten nicht nur für den Sandhaufen, sondern auch für aktivierte Random Walks und Bootstrap-Perkolation.
3. Technischer Fortschritt: Die Autoren entwickeln eine Methode, um die Eindeutigkeit des unendlichen Clusters auch dann zu beweisen, wenn die Standard-Einfügungstoleranz fehlt. Dies geschieht durch die Kombination von:
   • Einem Vergleichsmechanismus über verschiedene Parameter.
   • Der Nutzung der "Avalanche-Konnektivität" (D4), die sicherstellt, dass Störungen lokal zusammenhängend bleiben.
   • Einem raffinierten Zählargument mittels multi-valued maps.
4. Gültigkeitsbereich: Der Beweis funktioniert für alle vertex-transitiven amenablen Graphen (Remark 3.1), nicht nur für $\mathbb{Z}^d$.

6. Signifikanz

Diese Arbeit schließt eine wichtige Lücke in der Perkolations-Theorie für abhängige Modelle. Sie zeigt, dass die Eindeutigkeit des unendlichen Clusters ein robusteres Phänomen ist als bisher angenommen und nicht zwingend die starke Bedingung der Einfügungstoleranz erfordert, solange die Dynamik bestimmte monotonie- und konnektivitätserhaltende Eigenschaften (wie sie bei selbstorganisierten kritischen Systemen auftreten) erfüllt. Dies bietet neue Werkzeuge für die Analyse von Phasenübergängen in komplexen interagierenden Teilchensystemen.