On perturbations that preserve the connectivity properties in tree percolations

Technische Samenvatting: Over perturbaties die de connectiviteitseigenschappen in boompercolaties behouden

Probleemstelling
Dit artikel onderzoekt de stabiliteit van connectiviteitseigenschappen in algemene bond-percolatiemodellen gedefinieerd op oneindige, lokaal eindige bomen. Specifiek onderzoeken de auteurs hoe de aanwezigheid (of afwezigheid) van oneindige clusters wordt beïnvloed wanneer de randwaarschijnlijkheden $p_e$ worden onderworpen aan niveau-afhankelijke perturbaties. De perturbatie vervangt de oorspronkelijke waarschijnlijkheid $p_e$ door $\min\{1, q_{|e|}p_e\}$, waarbij $\{q_n\}_{n \ge 1}$ een sequentie van positieve factoren is en $|e|$ de grafische afstand van de rand tot de wortel aangeeft.

De studie behandelt twee verschillende regimes:

1. Stabiliteit van Afwezigheid: Als het oorspronkelijke model geen oneindige clusters toelaat ($P_p(I)=0$), onder welke voorwaarden blijven de perturbaties $q_n \ge 1$ (die de connectiviteit verhogen) het systeem vrij van oneindige clusters?
2. Stabiliteit van Aanwezigheid: Als het oorspronkelijke model oneindige clusters bevat (specifiek onaftelbare randclusters met een positieve waarschijnlijkheid), onder welke voorwaarden blijft de aanwezigheid van oneindige clusters behouden bij perturbaties $0 < q_n \le 1$ (die de connectiviteit verdunnen)?

De auteurs merken op dat terwijl triviale perturbaties (waarbij het product $\prod q_n$ convergeert naar een eindige niet-nul limiet) slechts de waarschijnlijkheden herschalen, de "werkelijk interessante" gevallen betrekking hebben op divergente perturbaties waarbij $\prod q_n = 0$ (cumulatieve verdunning) of $\prod q_n = \infty$ (cumulatieve versterking). Eenvoudige tegenvoorbeelden demonstreren dat stabiliteit in het algemeen niet gegarandeerd is zonder specifieke structurele voorwaarden op de boom of op het percolatiemodel.

Methodologie
De bewijzen steunen zwaar op Lyons' capaciteitskarakterisering van percolatie op bomen, een resultaat uit de discrete potentiaaltheorie. De kernmethodologie omvat:

• Capaciteit en Energie: Het benutten van de relatie tussen de waarschijnlijkheid van percolatie naar een verzameling $E \subseteq \partial T$ en de capaciteit van die verzameling, $capp(E)$. Deze capaciteit wordt gedefinieerd via een energiefunctional $E_p(\mu)$ geassocieerd met een meetfunctie $\Psi_p(x) = 1/P_p[o \to x]$.
• Lyons' Stelling: Het toepassen van de ongelijkheid $capp(E) \le P_p[o \to E] \le 2capp(E)$, die probabilistische connectiviteit koppelt aan potentiaaltheoretische capaciteit.
• Pertubatieanalyse: Het analyseren van hoe de energiefunctional verandert onder de geperturbeerde waarschijnlijkheden $q p$. De auteurs construeren specifieke perturbatiesequenties $\{q_n\}$ en demonstreren dat de eindigheid van de energiefunctional (en dus de positiviteit van de capaciteit) behouden blijft onder bepaalde divergente condities.
• Auxiliaire Lemma's: Het bewijs maakt gebruik van elementaire lemma's over sommeerbare sequenties om strikt toenemende sequenties $\{Q_n\}$ (gerelateerd aan het cumulatieve product van $q_n$) te construeren die de convergentie van de geperturbeerde energiefunctional waarborgen.

Belangrijkste Bijdragen en Resultaten
Het artikel presenteert Theorem A, die de robuustheid van percolatieve regimes vaststelt onder minimale aannames:

1. Stabiliteit in de Afwezigheid van Oneindige Clusters (Deel i):
   Als het oorspronkelijke model bijna zeker geen oneindige clusters heeft, en de perturbatiesequentie $q_n \ge 1$ voldoet aan de voorwaarde:
   $$\liminf_{n \to \infty} \left( \prod_{i=1}^n q_i \right) \cdot P_p[o \to V_n] = 0$$
   (waarbij $V_n$ de verzameling knopen op afstand $n$ is), dan heeft het geperturbeerde model ook bijna zeker geen oneindige clusters. De auteurs tonen aan dat een dergelijke perturbatiesequentie altijd bestaat, zelfs als $\prod q_n = \infty$.

2. Stabiliteit van Onaftelbare Clusters (Deel ii):
   Als het oorspronkelijke model een onaftelbare randcluster met een positieve waarschijnlijkheid heeft ($P_p[o \xrightarrow{u} \partial T] > 0$), bestaat er een perturbatiesequentie $q_n \in (0, 1)$ zodanig dat $\lim_{n \to \infty} q_n = 1$ en de bijna-zekere aanwezigheid van een onaftelbare cluster behouden blijft.

   • Noodzakelijkheid van Voorwaarden: Het artikel merkt op dat de voorwaarde van het hebben van een onaftelbare cluster noodzakelijk is; als de cluster aftelbaar is (bijv. een enkele straal), kunnen divergente verdunningsperturbaties de percolatie vernietigen (zoals getoond in Voorbeeld 1.1).
   • Homogeen Geval: Voor homogene percolatie ($p_e = p$), leidt de auteurs een noodzakelijke voorwaarde af die de boomvertakkingsgetal en de perturbatiefactoren betreft:
     $$\sum_{n=1}^\infty \frac{1 - q_n p}{p^n (\# E_n) \prod_{i=1}^n q_i} < \infty$$
     waarbij $\# E_n$ het aantal knopen op niveau $n$ is.

Betekenis en Toepassingen
De auteurs beweren dat hun resultaten aantonen dat het percolatieve regime "vrij robuust" is tegen niet-triviale, divergente perturbaties, mits het onderliggende systeem niet "fragiel" is (d.w.z. rust op een enkele straal).

Een primaire toepassing die wordt besproken, is de Erdős similarity conjecture voor Cantor-verzamelingen. Door een Cantor-verzameling $C \subset [0, 1]$ te coderen als een boomsubstructuur $T_C$ van de dyadische boom, gebruiken de auteurs Theorem A (ii) om een sequentie van niveau-afhankelijke gewichten $\{q_n\}$ (met $\prod q_n = 0$) te construeren zodat de geperturbeerde percolatie op de boom die elke affine kopie $\lambda C + t$ codeert, een positieve waarschijnlijkheid behoudt om met de rand te verbinden.

• Dit leidt tot Corollary 4.2, die stelt dat voor elke Cantor-verzameling $C$, er een verzameling $B$ van nul Lebesgue-maat bestaat waarvoor $B \cap (\lambda C + t) \neq \emptyset$ voor bijna alle $\lambda, t$.
• Het artikel positioneert dit als een mogelijke route voor het bestuderen van het Erdős similarity probleem, waarbij zij opmerken dat hoewel de "grootte" van de doorsnede is vastgesteld, de continuïteit van deze eigenschap met betrekking tot $(\lambda, t)$ een open vraag blijft voor een volledige oplossing van de conjectuur.

Het werk onderscheidt zich door het gebruik van potentiaaltheoretische karakteriseringen om beknopte bewijzen met grote algemeenheid te leveren, waarbij meer elementaire maar omslachtige combinatorische methoden worden vermeden.