Loop vs. Bernoulli percolation on trees: strict inequality of critical values

Technische Zusammenfassung: Loop- vs. Bernoulli-Perkolation auf Bäumen

Problemstellung
Diese Arbeit untersucht die Beziehung zwischen zwei kritischen Parametern auf lokal endlichen wurzelten Bäumen: dem Schwellenwert für das Bestehen unendlicher Loops im Random-Loop-Modell ($\beta_{\text{loop}}^c$) und dem Schwellenwert für das Bestehen einer unendlichen Cluster in der induzierten Bernoulli-Link-Perkolation ($\beta_{\text{link}}^c$).

Das Random-Loop-Modell verallgemeinert den Random-Interchange-Prozess (Random Stirring) und Darstellungen von Quantenspinsystemen. In diesem Modell tragen Kanten unabhängige Poisson-Prozesse von „Links“ (Kreuzen oder Balken). Eine notwendige Bedingung für das Bestehen eines unendlichen Loops ist, dass die Menge der Kanten, die mindestens einen Link tragen, eine unendliche zusammenhängende Komponente bildet (Link-Perkolation). Während diese Bedingung auf dichten Graphen wie dem vollständigen Graphen (Schramm [25]) und dem Hyperwürfel hinreichend ist, ist sie auf Graphen mit beschränktem Grad bekanntlich unzureichend (Mühlbacher [22]). Die zentrale Frage, die hier behandelt wird, ist, wie die Geometrie des zugrunde liegenden Baums – spezifisch die Nachkommenverteilung von Galton–Watson-Bäumen – die Lücke zwischen diesen beiden Schwellenwerten beeinflusst.

Methodik
Die Autoren verwenden eine Kombination aus probabilistischer Kopplung, Potenztheorie auf Bäumen und Large-Deviation-Abschätzungen.

1. Kopplung und Pruning: Die zentrale technische Innovation ist eine Kopplung zwischen dem Loop-Modell und einer „verzögerten Pruning-Perkolation“ (delayed pruning percolation) auf der Link-Cluster. Die Autoren definieren ein lokales „Pruning“-Ereignis, bei dem spezifische Konfigurationen von Links (z. B. genau zwei Kreuze auf einer Kind-Kante und einer auf der Eltern-Kette) den Loop-Trajektorien erzwingen, zurückzuverfolgen (backtrack), was effektiv unendliche Nachfahren-Subbäume vom Wurzel-Loop abschneidet.

   • Sie konstruieren ein deterministisches Kriterium (Theorem 4.1) basierend auf „gewichtetem Pruning“. Wenn die Häufigkeit dieser Pruning-Ereignisse entlang unendlicher Strahlen ausreichend hoch ist, wird die Loop-Cluster subkritisch, selbst wenn die Link-Cluster superkritisch ist.
   • Dies wird unter Verwendung einer „verzögerten“ Version des Prunings formalisiert, um die Unabhängigkeit zwischen lokalen Ereignissen durch deren Verteilung modulo 3 in der Baumtiefe sicherzustellen.

2. Potenztheorie: Um das Überleben des gepruteten Prozesses zu analysieren, nutzen die Autoren die Verbindung zwischen Perkolation und der Kapazität des Baumrandes ($\partial T$). Sie verwenden Lyons' Kapazitätskriterium und das Konzept der Verzweigungszahl ($\text{br}(T)$). Der kritische Link-Schwellenwert wird durch die Verzweigungszahl charakterisiert, während der Loop-Schwellenwert dadurch bestimmt wird, ob die „gewichtete Verzweigungszahl“ der Menge der Strahlen mit geringer Pruning-Dichte strikt kleiner als die Verzweigungszahl des Baumes selbst ist.

3. Galton–Watson-Analyse:

   • Fall mit endlichem Mittelwert: Für Bäume mit endlichem mittlerem Nachkommen $m$ verwenden die Autoren Large-Deviation-Abschätzungen (Chernoff-Schranken) auf der größenbiasierten Galton–Watson-Maß, um zu zeigen, dass die Menge der Strahlen mit „schlechter“ (geringer) Pruning-Dichte eine strikt kleinere relative Verzweigungszahl als der Baum selbst besitzt.
   • Heavy-Tail-Fall: Für Bäume mit unendlichem mittlerem Nachkommen, die eine spezifische Tail-Bedingung erfüllen, analysieren die Autoren die annealierte (gemittelte) kritischen Werte. Sie konstruieren einen Hilfs-Galton–Watson-Baum, der das „One-Cross“-Skelett des Loop-Modells darstellt, um zu zeigen, dass bei ausreichend schweren Tails die Loop- und Link-Schwellenwerte bei Null zusammenfallen.

Wesentliche Beiträge und Ergebnisse

Die Arbeit etabliert zwei komplementäre Theorem bezüglich der Trennung oder des Zusammenfallens kritischer Werte auf Galton–Watson-Bäumen:

• Theorem A (Strikte Ungleichung für endlichen Mittelwert): Für einen superkritischen Galton–Watson-Baum mit endlichem mittlerem Nachkommen $m \in (1, \infty)$, bedingt auf das Überleben, ist der kritische Loop-Wert fast sicher strikt größer als der kritische Link-Wert:
  $$\beta_{\text{loop}}^c(T) > \beta_{\text{link}}^c(T) = -\log(1 - m^{-1})$$
  Dieses Ergebnis gilt für jeden Loop-Parameter $u \in [0, 1]$. Der Beweis stützt sich auf das deterministische gewichtete Pruning-Kriterium und zeigt, dass lokale Loop-Konfigurationen als „Schneidemechanismus“ wirken, der die effektive Verzweigungszahl der Loop-Cluster subkritisch macht, selbst wenn unendliche Link-Cluster existieren.

• Theorem B (Zusammenfall für Heavy Tails): Im reinen „Crosses-only“-Modell ($u=1$) gilt: Wenn die Nachkommenverteilung einen ausreichend schweren Tail besitzt, sodass $\liminf_{\varepsilon \downarrow 0} \sqrt{\varepsilon} f'(1-\varepsilon) > 1/\sqrt{2}$ (wobei $f$ die Wahrscheinlichkeitserzeugerfunktion ist), dann fallen die annealierten kritischen Werte bei Null zusammen:
  $$\beta_{\text{loop, ann}}^c(\zeta) = \beta_{\text{link, ann}}^c(\zeta) = 0$$
  Dies gilt für Nachkommen-Gesetze mit Potenzgesetz-Abfall $\zeta_k \sim k^{-\tau}$ mit $\tau \in (1, 3/2)$. In diesem Regime dominieren die schweren Tails der Baumstruktur die lokalen Loop-Beschränkungen, wodurch die notwendige Bedingung (Link-Perkolation) im annealierten Sinne effektiv hinreichend wird.

Bedeutung und Behauptungen

Die Autoren behaupten, dass diese Ergebnisse eine scharfe Dichotomie im Verhalten der Loop-Perkolation auf Zufallsbäumen aufzeigen, indem sie zwischen „spärlichen“ Bäumen mit endlichem Mittel und „Heavy-Tail“-Bäumen mit unendlichem Mittel unterscheiden.

• Separationsmechanismus: Das Paper identifiziert einen spezifischen lokalen Mechanismus (Pruning durch Backtracking), der eine Lücke zwischen Link- und Loop-Schwellenwerten erzeugt. Diese Lücke ist robust für Bäume mit endlichem Mittel, weil die Wahrscheinlichkeit, auf die notwendigen lokalen Konfigurationen zu stoßen, hoch genug ist, um unendliche Loops zu unterdrücken, selbst wenn unendliche Link-Cluster existieren.
• Randdimension: Die Ergebnisse stützen eine breitere Vermutung, wonach die Gleichheit der kritischen Werte mit der Dimension des Baumrandes verknüpft ist. Für Bäume mit endlichem Mittel hat der Rand eine endliche positive Dimension, und die Schwellenwerte sind getrennt. Für Heavy-Tail-Bäume divergiert die Randdimension effektiv (oder die Struktur wird im annealierten Sinne dicht genug), was zum Zusammenfallen der Schwellenwerte führt.
• Generalität: Das Framework vereinigt den Random-Interchange-Prozess und Darstellungen von Quantenspinsystemen (XXZ-Modelle) unter einer einzigen Loop-Perkolationsanalyse und erweitert die bisherigen Ergebnisse für reguläre Bäume und vollständige Graphen auf den komplexeren Kontext von Zufallsbäumen mit Quenched Disorder.

Das Paper schließt mit der Feststellung, dass ob Perkolation eine hinreichende Bedingung für unendliche Loops ist, fundamental vom Zusammenspiel zwischen der lokalen Loop-Dynamik und der globalen geometrischen Struktur (Verzweigungszahl und Randdimension) des zugrunde liegenden Baums abhängt.