Recursive Packing Bounds for Supercritical Disconnection in Bernoulli Site Percolation

Il lavoro stabilisce limiti quantitativi superiori per la probabilità di disconnessione nella percolazione di sito bernoulliana supercritica su grafi infiniti, introducendo un numero di impacchettamento ricorsivo che conta testimoni locali indipendenti e fornendo una stima esplicita valida per ogni grafo connesso localmente finito.

L'essenziale

Immagina di avere un'enorme città infinita fatta di case (i vertici) e strade (gli spigoli). In questa città, ogni giorno, ogni casa viene "accesa" (diventa aperta) con una certa probabilità $p$, o "spenta" (chiusa) con la probabilità restante. Questo è il percolazione di Bernoulli.

L'obiettivo del matematico Zhongyang Li in questo articolo è rispondere a una domanda molto specifica: quanto è probabile che un gruppo di case (anche infinite) rimanga completamente isolato dal resto del mondo?

In termini tecnici, vuole calcolare la probabilità che nessun punto di un certo insieme $S$ riesca a collegarsi a una "città infinita" di case accese. Se la probabilità $p$ di accendere le case è alta (sopra una certa soglia critica), ci si aspetta che quasi tutto sia connesso. Ma quanto è sicuro che non ci siano isole isolate?

Ecco come l'autore risolve il problema, usando metafore semplici:

1. Il Problema: "L'Isolamento Impossibile"

Immagina di voler dimostrare che un certo quartiere $S$ è isolato. Se guardi una sola casa, potresti dire: "C'è una piccola probabilità che questa casa sia isolata". Ma se hai un intero quartiere, la probabilità che tutte le case siano isolate contemporaneamente è molto più bassa.
Il problema è: quanto più bassa? E come possiamo calcolarlo senza dover analizzare ogni singola strada infinita della città?

2. La Soluzione: Il "Gioco dei Raggi" (Packing Number)

L'autore introduce un concetto geniale chiamato Numero di Imballaggio Ricorsivo (Recursive Packing Number). Immaginalo come un gioco di strategia per trovare "testimoni" dell'isolamento.

Ecco come funziona il gioco:

1. Scegli un testimone: Prendi una casa $w_1$ dal tuo insieme $S$.
2. Costruisci una "bolla di prova": Disegna un cerchio (una palla) intorno a questa casa.
3. Verifica la prova: Chiediti: "Se questa casa non riesce a uscire dal suo cerchio, è quasi certo che non riuscirà a collegarsi all'infinito?". Se la risposta è sì (con un margine di errore piccolo), allora questa casa è un ottimo "testimone".
4. Rimuovi la zona: Ora, per non disturbare gli altri, "chiudi" o rimuovi quel cerchio dalla mappa. È come se avessimo costruito un muro intorno alla prima casa.
5. Ripeti: Cerca un'altra casa $w_2$ nel resto del quartiere $S$ che, anche dopo aver tolto la prima zona, abbia ancora buone probabilità di essere isolata localmente.

Il Numero di Imballaggio ($PK$) è semplicemente il numero massimo di testimoni che riesci a trovare seguendo queste regole.

3. La Magia Matematica: L'Effetto "Domino"

La scoperta fondamentale del paper è che ogni volta che riesci a trovare un nuovo testimone valido (un nuovo punto nel tuo "imballaggio"), la probabilità che l'intero gruppo sia isolato crolla esponenzialmente.

Pensa a una fila di domino:

• Se hai 1 testimone, la probabilità di isolamento è $X$.
• Se ne hai 2 testimoni indipendenti, la probabilità diventa $X \times X$.
• Se ne hai 10, diventa $X^{10}$.

La formula principale del paper dice:

La probabilità che tutto l'insieme sia isolato è molto piccola, ed è legata direttamente al numero di "testimoni indipendenti" che riesci a trovare.

Più testimoni riesci a "impacchettare" (senza che si sovrappongano troppo), più è improbabile che l'intera città sia isolata.

4. Perché è importante?

Prima di questo lavoro, per fare questi calcoli servivano ipotesi molto forti sulla forma della città (ad esempio, che fosse perfettamente simmetrica come un reticolo).
Questo paper dice: "Non importa come sia fatta la tua città infinita, purché sia collegata e non abbia strade infinite che si accavallano in modo strano."

L'autore mostra che puoi sempre trovare questi "testimoni" se la probabilità di accensione $p$ è sufficientemente alta. Inoltre, dimostra che su alberi specifici (come alberi regolari o alberi "decorati" con spine strane), puoi contare esattamente quanti testimoni riesci a trovare.

In Sintesi

Immagina di voler dimostrare che un gruppo di amici è completamente staccato dal mondo. Invece di controllare ogni singola connessione, Zhongyang Li ti dice:
"Trova un gruppo di amici che sono abbastanza distanti tra loro da non influenzarsi a vicenda. Se riesci a trovarne molti (il numero di imballaggio), allora la probabilità che siano tutti isolati è praticamente zero. Più ne trovi, più la tua certezza aumenta."

È un modo potente e generale per trasformare una conoscenza locale (come si comporta una singola casa) in una conoscenza globale (come si comporta un intero quartiere infinito), funzionando su qualsiasi tipo di mappa infinita.

Sommario tecnico

1. Il Problema

Il documento affronta il problema della percolazione di sito di Bernoulli su un grafo infinito, connesso e localmente finito $G = (V, E)$.

• Modello: Ogni vertice è aperto con probabilità $p$ e chiuso con probabilità $1-p$, indipendentemente dagli altri.
• Obiettivo: Ottenere limiti superiori quantitativi sulla probabilità di disconnessione di un insieme (finito o infinito) $S \subset V$ dall'infinito, ovvero calcolare o limitare $P_p(S \nleftrightarrow \infty)$, nell'intero regime supercritico ($p > p_c^{\text{site}}(G)$).
• Sfida: Mentre esistono stime esponenziali in contesti geometrici specifici (es. reticoli euclidei), manca un quadro unificato che valga per qualsiasi grafo infinito connesso e localmente finito, senza assumere proprietà di transitività o regolarità forte.

2. Metodologia e Strumenti Chiave

L'autore introduce un nuovo strumento combinatorio-geometrico chiamato numero di impacchettamento ricorsivo (recursive packing number), denotato come $PK_{p,\epsilon,c}(S)$.

A. Il Numero di Impacchettamento Ricorsivo ($PK_{p,\epsilon,c}(S)$)

Questo numero rappresenta la cardinalità massima di un sottoinsieme di vertici $\{w_1, w_2, \dots\} \subset S$ che possono essere selezionati ricorsivamente rispettando condizioni specifiche:

1. Isolamento: Ogni vertice $w_i$ viene scelto al di fuori delle "sfere di testimonianza" (witness balls) $B(w_j, D_j)$ dei vertici precedentemente selezionati.
2. Connessione Uniforme: In un grafo "bucato" (dove sono rimossi i ball precedenti), ogni vertice selezionato $w_i$ deve avere una probabilità di connessione all'infinito almeno pari a una costante $c > 0$.
3. Rilevamento Locale: L'evento di disconnessione di $w_i$ dall'infinito deve essere catturato, a meno di un fattore $(1+\epsilon)$, dall'evento di non raggiungere il bordo interno della sua sfera di testimonianza $B(w_i, D_i)$.

In sostanza, $PK_{p,\epsilon,c}(S)$ conta quanti "testimoni locali" essenzialmente indipendenti possono essere estratti da $S$ per dimostrare l'evento globale di disconnessione.

B. Caratterizzazione Funzionale Locale

Il lavoro si basa su un risultato precedente ([4]) che caratterizza la soglia critica $p_c^{\text{site}}(G)$ tramite una funzione funzionale locale $\phi_p^v(S)$.

• Se $p > p_c^{\text{site}}(G)$, esiste una costante $c$ (dipendente da $p$ e da un parametro ausiliario $p_1$) tale che esiste un numero infinito di vertici con probabilità di connessione all'infinito $\ge c$.
• Questo garantisce che, nel regime supercritico, ci sia un "serbatoio infinito" di candidati per il processo di impacchettamento.

C. Principio di Amplificazione

La prova combina la caratterizzazione locale con un passo di amplificazione:

1. Si seleziona un insieme di vertici indipendenti (i centri del packing).
2. Si confronta la disconnessione globale con la disconnessione locale dai bordi delle sfere.
3. Grazie all'indipendenza tra gli eventi di disconnessione locale (garantita dalla rimozione delle sfere), la probabilità totale di disconnessione decade esponenzialmente rispetto al numero di vertici impacchettati.

3. Risultati Principali

Teorema 1.1 (Limite di Impacchettamento per la Disconnessione)

Per un grafo $G$ infinito, connesso e localmente finito, e per parametri $p, \epsilon, c \in (0,1)$, vale la seguente disuguaglianza:
$$P_p(S \nleftrightarrow \infty) \le \frac{\epsilon(1-c)}{c} + (1-c)^{PK_{p,\epsilon,c}(S)}$$
Questo risultato mostra che ogni centro di impacchettamento aggiuntivo contribuisce con un fattore moltiplicativo $(1-c)$ alla probabilità di disconnessione, portando a un decadimento esponenziale se $PK$ è grande.

Stima Supercritica Esplicita (Corollario 2.7)

Sfruttando la caratterizzazione di $p_c$ e scegliendo $c$ in modo ottimale in funzione di $p$ e di un parametro $p_1 < p$, l'autore deriva un limite esplicito valido per qualsiasi grafo infinito connesso e localmente finito:
$$P_p(S \nleftrightarrow \infty) \le \inf_{p_1, \epsilon, \delta} \left[ \frac{\delta (\frac{1-p}{1-p_1})^{1-\epsilon}}{1 - (\frac{1-p}{1-p_1})^{1-\epsilon}} + \left(\frac{1-p}{1-p_1}\right)^{(1-\epsilon) PK_{p,\delta, c}(S)} \right]$$
Questa formula trasforma l'informazione di un singolo punto (probabilità di connessione) in una stima per la disconnessione di un insieme multiplo.

Esempi su Alberi (Sezione 3)

L'autore dimostra che il numero di impacchettamento è calcolabile esplicitamente su alberi "omogenei lungo un raggio" (ray-homogeneous trees):

• Alberi Regolari ($T_d$): Per insiemi finiti sparsi su un raggio geodetico, se i punti sono sufficientemente distanziati, il numero di impacchettamento è esattamente uguale alla cardinalità dell'insieme ($PK = |S|$).
• Spine Decorate Non-Regulari: Il metodo funziona anche su grafi non transitivi, come un albero ternario infinito con una "spina" (spine) decorata. Anche qui, per insiemi sparsi sul raggio, $PK = |S|$.

4. Contributi Chiave e Significato

1. Generalità Assoluta: A differenza di lavori precedenti che richiedevano ipotesi geometriche forti (come la transitività o la struttura di reticolo), questo risultato vale per ogni grafo infinito, connesso e localmente finito. La geometria del grafo è "incapsulata" nel numero di impacchettamento $PK$.
2. Principio di Amplificazione Ricorsiva: Il lavoro introduce un meccanismo potente per trasformare stime di connessione a un punto (locali) in stime di disconnessione per insiemi multipli (globali), sfruttando l'indipendenza indotta dalla rimozione di sfere di testimonianza.
3. Concretezza del Parametro Geometrico: Dimostrando che su alberi specifici $PK(S) = |S|$ per insiemi sparsi, l'autore mostra che il parametro non è puramente formale ma calcolabile e significativo in casi concreti.
4. Unificazione: Il risultato unifica la comprensione della disconnessione supercritica, fornendo un limite superiore quantitativo che dipende esplicitamente dalla struttura del grafo attraverso il numero di impacchettamento, senza bisogno di conoscere la struttura globale esatta del grafo oltre alla sua capacità di supportare vertici supercritici.

In sintesi, il paper fornisce un quadro teorico robusto e universale per stimare la probabilità che un insieme di vertici non sia connesso all'infinito nella percolazione di sito, superando i limiti delle tecniche geometriche tradizionali attraverso un approccio ricorsivo basato sull'impacchettamento di testimoni locali.