Coexistence of infinite clusters for percolation and Ising model on $\mathbb{Z}^d$

Technische Samenvatting: Coexistentie van Oneindige Clusters voor Percolatie en het Ising-model op $\mathbb{Z}^d$

Probleemstelling
Het artikel behandelt het probleem van de coexistentie van oneindige clusters in hoogdimensionale roosters $\mathbb{Z}^d$. Specifiek wordt onderzocht of het complement van de unieke oneindige open cluster (voor bond-percolatie) of de verzameling van "minderheids"-spins (voor het Ising-model in de min-fase) een oneindig verbonden component bevat.

Voor bond-percolatie met parameter $p > p_c^b(d)$, laat $X_p(d)$ de subgraaf zijn die wordt verkregen door alle knopen te verwijderen die behoren tot de unieke oneindige open cluster. De centrale vraag, oorspronkelijk gesteld in [16], is of $X_p(d)$ een oneindige verbonden component bevat. Vergelijkbaar voor het Ising-model bij inverse temperatuur $\beta < \beta_c(d)$ in de min-fase (alle $-$ randvoorwaarden), onderzoekt het artikel of de $+$ spins een oneindige cluster vormen.

Eerdere resultaten stelden coexistentie vast voor zeer hoge dimensies ($d \ge 19$ in [16], verbeterd naar $d \ge 11$ en vervolgens $d \ge 10$ in [4] en [9]). Het doel van dit werk is om deze dimensionale drempels te verlagen en een sterkere vorm van coexistentie te bieden via stochastische dominantie.

Methodologie
De auteurs hanteren een strategie gebaseerd op stochastische dominantie. In plaats van enkel het bestaan van een oneindige component te bewijzen, beogen zij aan te tonen dat de resterende structuur ($X_p(d)$ of de $+$ spins) een superkritisch site-percolatieproces stochastisch domineert. Als een systeem een superkritische site-percolatie domineert, bevat het noodzakelijkerwijs een unieke oneindige cluster.

1. Stochastische Dominantie Framework:

   • Percolatie: De auteurs maken gebruik van een recent resultaat door Martineau, Poudevigne en Rax [29] (Theorema 3) betreffende de stochastische dominantie van willekeurige variabelen. Zij construeren een afbeelding van de bond-percolatieconfiguratie naar een site-percolatieconfiguratie. Een cruciale technische stap is Lemma 1, die Marshall Halls uitbreiding van de stelling van de huwelijksleer gebruikt om aan elke knoop in de oneindige cluster een unieke incidente open zijde toe te wijzen, wat de definitie van een "blokkeringsmechanisme" mogelijk maakt.
   • Ising-model: Voor het Ising-model passen de auteurs een resultaat voor stochastische dominantie toe door Liggett en Steif [26] (Theorema 4). Dit theorema koppelt de dominantie van site-percolatie aan de vervalvoet van de waarschijnlijkheid dat een grote box volledig gevuld is met $-$ spins. Deze vervalvoet is gerelateerd aan de vrije energie $f_{\mathbb{Z}^d}(\beta)$.

2. Bovengrenzen voor Kritische Waarschijnlijkheden:
   Om te bewijzen dat de gedomineerde parameter de kritische drempel overschrijdt ($p_c^s(d)$), moeten de auteurs rigoureuze bovengrenzen vaststellen voor $p_c^b(d)$, $p_c^s(d)$ en $\beta_c(d)$.

   • Zij introduceren een nieuwe second-moment methode met betrekking tot "stationaire willekeurige wandelingen". In tegenstelling tot eerdere methoden die puur georiënteerde paden gebruikten (die veel van de ruimte onopgemerkt laten), staat hun strategie de paden toe een stationaire willekeurige wandeling langs één coördinaat uit te voeren en een positief-georiënteerde wandeling langs de overige $d-1$ coördinaten.
   • Deze aanpak vermindert de snijkingskans van twee onafhankelijke paden, wat leidt tot nauwere bovengrenzen op de kritische waarschijnlijkheden voor intermediaire dimensies ($5 \le d \le 10$).
   • Voor $\beta_c(d)$ maken zij gebruik van infrared bounds van Fröhlich, Simon en Spencer [11] en leiden zij expliciete bovengrenzen af met behulp van eigenschappen van de gemodificeerde Bessel-functie.

Belangrijkste Bijdragen en Resultaten

• Theorema 1 (Bond-percolatie): Voor elke $d \ge 9$, bestaat er $\epsilon_d > 0$ waarvoor $p \in (p_c^b(d), p_c^b(d) + \epsilon_d)$, het complement van de oneindige open cluster $X_p(d)$ een superkritische site-percolatie op $\mathbb{Z}^d$ met parameter $\tilde{p} > p_c^s(d)$ stochastisch domineert.

  • Verbetering: Dit verbetert de $d \ge 10$ resultaat van Bock et al. [4] en de $d \ge 11$ resultaat van [9].
  • Numerieke Extensie: De auteurs merken op dat wanneer numerieke schattingen voor $p_c^b(d)$ en $p_c^s(d)$ worden gebruikt (Tabel 3), het resultaat waarschijnlijk geldt voor alle $d \ge 4$.

• Theorema 2 (Ising-model): Voor het Ising-model op $\mathbb{Z}^d$ met $d \ge 8$, bestaat er $\epsilon_d > 0$ waarvoor $\beta \in [0, \beta_c(d) + \epsilon_d)$, de $+$ spins in de min-fase een superkritische site-percolatie stochastisch domineren.

  • Verbetering: Dit verbetert het resultaat van Aizenman et al. [1], dat vereiste dat $d$ "groot genoeg" was.
  • Numerieke Extensie: Numerieke schattingen suggereren dat dit geldt voor alle $d \ge 5$.

• Propositie 1 & 2: Deze proposities bieden de kernmechanismen voor stochastische dominantie. Propositie 1 toont aan dat $V(\mathbb{Z}^d) \setminus C_\infty$ site-percolatie domineert met parameter $(1-p)^{2d}$ (een basisgrens). Propositie 2 vestigt de dominantie voor het Ising-model op basis van vrije energie-schattingen.

• Kritische Waarschijnlijkheidsgrenzen: Het artikel biedt rigoureuze bovengrenzen voor $p_c^b(d)$ en $p_c^s(d)$ voor $4 \le d \le 15$ (Tabel 2) met behulp van de nieuwe stationary random walk second-moment methode. Deze grenzen zijn scherper dan de bestaande literatuur voor $5 \le d \le 10$.

Betekenis en Claims
Het artikel claimt de dimensionale drempel voor het bewijzen van de coexistentie van oneindige clusters in zowel bond-percolatie als het Ising-model aanzienlijk te verlagen. Door de focus te verschuiven naar stochastische dominantie, bieden de auteurs een sterker resultaat dan eerdere existentiebewijzen.

De auteurs verklaren expliciet dat hun methode rust op het vermogen om kritische waarschijnlijkheden effectief te begrenzen. Zij erkennen dat hoewel hun analytische methode het resultaat bewijst voor $d \ge 9$ (percolatie) en $d \ge 8$ (Ising), numeriek bewijs sterk suggereert dat coexistentie geldt voor alle $d \ge 4$ (percolatie) en $d \ge 5$ (Ising).

Cruciaal is dat de auteurs bescheiden zijn over de beperkingen van hun methode in lage dimensies. Zij stellen expliciet in Opmerking 3 en Opmerking 4 dat zij geloven dat hun stochastische dominantie-methode faalt voor $d=3$ (en waarschijnlijk $d=4$ voor Ising), ook al verwachten zij dat het fysieke fenomeen van coexistentie in die dimensies standhoudt. Zij argumenteren dat in $d=3$, het complement van de oneindige cluster waarschijnlijk een oneindige component bevat, maar niet een superkritische site-percolatie stochastisch domineert. Hiermee is de bijdrage van het artikel de rigoureuze vaststelling van een specifieke, sterke vorm van coexistentie in hoge dimensies, in plaats van een bewijs van coexistentie in álle dimensies.