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

Technische Samenvatting: Loop- versus Bernoulli-percolatie op bomen

Probleemstelling
Dit artikel onderzoekt de relatie tussen twee kritieke parameters op lokaal eindige gewortelde bomen: de drempelwaarde voor het bestaan van oneindige lussen in een random loop-model ($\beta_{\text{loop}}^c$) en de drempelwaarde voor het bestaan van een oneindige cluster in de geïnduceerde Bernoulli-link-percolatie ($\beta_{\text{link}}^c$).

Het random loop-model generaliseert het random interchange-proces (random stirring) en representaties van kwantumspin-systemen. In dit model dragen randen onafhankelijke Poisson-processen van "links" (kruisen of balken). Een noodzakelijke voorwaarde voor het bestaan van een oneindige lus is dat de verzameling randen die ten minste één link dragen, een oneindige samenhangende component vormt (link-percolatie). Hoewel deze voorwaarde voldoende is op dichte grafen zoals de complete graaf (Schramm [25]) en de hyperkubus, staat bekend dat zij onvoldoende is op grafen met een begrensde graad (Mühlbacher [22]). De centrale vraag die hier wordt behandeld, is hoe de geometrie van de onderliggende boom — specifelijk de nakomelingenverdeling van Galton–Watson-bomen — de kloof tussen deze twee drempelwaarden beïnvloedt.

Methodologie
De auteurs maken gebruik van een combinatie van probabilistische koppeling, potentiaaltheorie op bomen en large-deviation-schattingen.

1. Koppeling en Pruning (Snoeien): De kern van de technische innovatie is een koppeling tussen het loop-model en een "delayed pruning percolation" op de link-cluster. De auteurs definiëren een lokale "pruning"-gebeurtenis waarbij specifieke configuraties van links (bijv. precies twee kruisen op een kind-rand en één op de ouder-rand) de loop-trajectie dwingen om terug te keren (backtracking), wat effectief oneindige afstammende subbomen van de root-loop afsnijdt.

   • Zij construeren een deterministisch criterium (Theorema 4.1) gebaseerd op "gewogen pruning". Als de frequentie van deze pruning-gebeurtenissen langs oneindige stralen voldoende hoog is, wordt de loop-cluster subkritiek, zelfs als de link-cluster superkritiek is.
   • Dit wordt geformaliseerd met behulp van een "delayed" versie van de pruning om onafhankelijkheid tussen lokale gebeurtenissen te waarborgen door ze modulo 3 te spreiden over de diepte van de boom.

2. Potentiaaltheorie: Om het overleven van het geprunede proces te analyseren, maken de auteurs gebruik van de verbinding tussen percolatie en de capaciteit van de boomrand ($\partial T$). Zij hanteren het capaciteitscriterium van Lyons en het concept van het vertakkingsgetal ($\text{br}(T)$). De kritieke link-drempelwaarde wordt gekarakteriseerd door het vertakkingsgetal, terwijl de loop-drempelwaarde wordt bepaald door of het "gewogen vertakkingsgetal" van de verzameling stralen met een lage pruning-dichtheid strikt kleiner is dan het vertakkingsgetal van de boom zelf.

3. Galton–Watson Analyse:

   • Geval met eindige gemiddelde: Voor bomen met een eindig gemiddelde aantal nakomelingen $m$, gebruiken de auteurs large-deviation-schattingen (Chernoff-bounds) op de size-biased Galton–Watson-maat om aan te tonen dat de verzameling stralen met een "slechte" (lage) pruning-dichtheid een strikt kleiner relatief vertakkingsgetal heeft dan de boom zelf.
   • Heavy-Tail geval: Voor bomen met een oneindig gemiddelde aantal nakomelingen die aan een specifieke tail-conditie voldoen, analyseren de auteurs de geannealde (gemiddelde) kritieke waarden. Zij construeren een hulp-Galton–Watson-boom die de "one-cross" skeletstructuur van het loop-model representeert om aan te tonen dat voor voldoende zware tails de loop- en link-drempelwaarden samenvallen bij nul.

Belangrijkste Bijdragen en Resultaten

Het artikel stelt twee complementaire stellingen vast betreffende de scheiding of samenval van kritieke waarden op Galton–Watson-bomen:

• Theorem A (Strikte Ongelijkheid voor Eindige Gemiddelde): Voor een superkritische Galton–Watson-boom met een eindig gemiddelde aantal nakomelingen $m \in (1, \infty)$, geconditioneerd op overleving, is de kritieke loop-waarde bijna zeker strikt groter dan de kritieke link-waarde:
  $$\beta_{\text{loop}}^c(T) > \beta_{\text{link}}^c(T) = -\log(1 - m^{-1})$$
  Dit resultaat geldt voor elke loop-parameter $u \in [0, 1]$. Het bewijs berust op het deterministische gewogen pruning-criterium, waarbij wordt aangetoond dat lokale loop-configuraties fungeren als een "snijmechanisme" dat het effectieve vertakkingsgetal van de loop-cluster subkritiek maakt, zelfs wanneer oneindige link-clusters bestaan.

• Theorem B (Samenval voor Heavy Tails): In het "crosses-only" model ($u=1$), indien de nakomelingenverdeling een voldoende zware tail heeft zodanig dat $\liminf_{\varepsilon \downarrow 0} \sqrt{\varepsilon} f'(1-\varepsilon) > 1/\sqrt{2}$ (waarbij $f$ de kansgenererende functie is), dan vallen de geanneelde kritieke waarden samen bij nul:
  $$\beta_{\text{loop, ann}}^c(\zeta) = \beta_{\text{link, ann}}^c(\zeta) = 0$$
  Dit is van toepassing op nakomelingenwetten met een power-law verval $\zeta_k \sim k^{-\tau}$ waarbij $\tau \in (1, 3/2)$. In dit regime domineren de heavy tails van de boomstructuur de lokale loop-restricties, waardoor de noodzakelijke voorwaarde (link-percolatie) effectief voldoende is in de geanneelde zin.

Betekenis en Claims

De auteurs stellen dat deze resultaten een scherpe dichotomie bieden in het gedrag van loop-percolatie op random bomen, waarbij onderscheid wordt gemaakt tussen "arme" bomen met een eindig gemiddelde en "heavy-tailed" bomen met een oneindig gemiddelde.

• Scheidingsmechanisme: Het artikel identificeert een specifiek lokaal mechanisme (pruning via backtracking) dat een kloof creëert tussen de link- en loop-drempelwaarden. Deze kloof is robuust voor bomen met een eindig gemiddelde, omdat de waarschijnlijkheid om de noodzakelijke lokale configuraties tegen te komen hoog genoeg is om oneindige lussen te onderdrukken, zelfs wanneer oneindige link-clusters bestaan.
• Boundary Dimensie: De resultaten ondersteunen een bredere conjectuur dat de gelijkheid van kritieke waarden verbonden is met de dimensie van de boomrand ($\partial T$). Voor bomen met een eindig gemiddelde heeft de rand een eindige positieve dimensie en scheiden de drempelwaarden zich. Voor heavy-tailed bomen divergeert de dimensie van de rand effectief (of wordt de structuur in de geanneelde zin dicht genoeg), wat leidt tot de samenval van de drempelwaarden.
• Generaliteit: Het raamwerk verenigt het random interchange-proces en kwantumspin-systeem representaties (XXZ-modellen) onder één enkele loop-percolatie analyse, en breidt eerdere resultaten van regelmatige bomen en complete grafen uit naar de complexere setting van random bomen met quenched disorder.

Het artikel concludeert dat of percolatie een voldoende voorwaarde is voor oneindige lussen, fundamenteel afhangt van de wisselwerking tussen de lokale loop-dynamica en de globale geometrische structuur (vertakkingsgetal en boundary dimensie) van de onderliggende boom.