We investigate the problem of percolation of words in a random environment. To each vertex, we independently assign a letter $0$ or $1$ according to Bernoulli r.v.'s with parameter $p$. The environment is the resulting graph obtained from an independent long-range bond percolation configuration on $\mathbb{Z}^{d-1} \times \mathbb{Z}$, $d\geq 3$, where each edge parallel to $\mathbb{Z}^{d-1}$ has length one and is open with probability $ε$, while edges of length $n$ parallel to $\mathbb{Z}$ are open with probability $p_n$. We prove that if the sum of $p_n$ diverges, then for any $ε$ and $p$, there is a $K$ such that all words are seen from the origin with probability close to $1$, even if all connections with length larger than $K$ are suppressed.
- ID Articolo: 2202.13190
- Titolo: Percolazione di parole sul reticolo ipercubico con interazioni a lungo raggio unidimensionali
- Autori: Pablo A. Gomes (Universidade de São Paulo), Otávio Lima (Universidade Federal de Minas Gerais), Roger W. C. Silva (Universidade Federal de Minas Gerais)
- Classificazione: math.PR (Teoria della Probabilità)
- Data di Pubblicazione: Febbraio 2022 (preprint arXiv)
- Link Articolo: https://arxiv.org/abs/2202.13190
Questo articolo studia il problema della percolazione di parole in ambienti casuali. A ogni vertice viene assegnata indipendentemente una lettera 0 o 1, secondo una variabile casuale di Bernoulli con parametro p. L'ambiente è il grafo ottenuto da una configurazione di percolazione di legami a lungo raggio indipendente su Zd−1×Z (d≥3), dove ogni spigolo di lunghezza 1 parallelo a Zd−1 è aperto con probabilità ε, mentre gli spigoli di lunghezza n paralleli a Z sono aperti con probabilità pn. Dimostriamo che se ∑pn diverge, allora per ogni ε e p, esiste K tale che la probabilità che tutte le parole siano viste dall'origine è prossima a 1, anche se tutte le connessioni di lunghezza maggiore di K sono soppresse.
Il problema della percolazione di parole è stato proposto da Benjamini e Kesten in un articolo fondamentale. Su un grafo G=(V,E), ogni vertice v∈V viene assegnato indipendentemente una variabile casuale X(v) che assume i valori 0 o 1 con probabilità rispettivamente 1−p e p. Data una parola ξ={ξn}n∈N∈{0,1}N, si dice che la parola ξ è vista dal vertice v se esiste un cammino (v,v1,v2,…) tale che X(vi)=ξi.
- Valore Teorico: La percolazione di parole è una generalizzazione naturale della percolazione di Bernoulli classica (che degenera nel caso di parola (1,1,…))
- Sfida Matematica: Rispetto alla percolazione di "quasi tutte le parole", la percolazione di "tutte le parole" è tecnicamente molto più difficile
- Interazioni a Lungo Raggio: Primo studio sistematico dell'effetto delle connessioni a lungo raggio nel problema della percolazione di parole
- I risultati originali di Benjamini-Kesten richiedono dimensione d>10 (tutte le parole) o d>40 (tutte le parole viste da un punto)
- I lavori precedenti sulla percolazione a lungo raggio si concentrano principalmente sulla percolazione di parole specifiche (1,1,…)
- Manca un'analisi teorica dell'effetto di "troncamento" delle connessioni a lungo raggio
- Teorema Principale: Dimostriamo che sotto la condizione ∑n=1∞pn=∞, per ogni p∈(0,1), ε>0 e α>0, esiste K tale che la probabilità che tutte le parole siano viste dall'origine nel modello troncato è >1−α
- Equivalenza di Troncamento: Primo risultato che dimostra che l'infinità delle connessioni a lungo raggio non è necessaria per l'evento di percolazione di parole—esiste un troncamento finito K che produce effetti equivalenti
- Innovazioni Tecniche:
- Sviluppo di tecniche di accoppiamento dinamico che collegano il modello a lungo raggio con processi di percolazione orientata altamente supercritici
- Stabilimento di relazioni di controllo stocastico tra percolazione a lungo raggio troncata e percolazione orientata
- Utilizzo di argomenti di equilibrio tra entropia e probabilità per gestire eventi congiunti su tutte le parole
- Risultati Generalizzati: Estensione dei risultati di van Enter et al. su parole specifiche a tutte le possibili parole
Struttura del Grafo: Consideriamo un grafo orientato Gd=(Zd,EV∪EH) su Zd, dove:
- EV={⟨u,u+ned⟩:u∈Zd,n∈N} (spigoli verticali a lungo raggio)
- EH={⟨u,u+ei⟩:u∈Zd,i=1,…,d−1} (spigoli orizzontali a corto raggio)
Casualità:
- Percolazione di legami: lo spigolo ⟨u,v⟩ è aperto con probabilità p∥u−v∥ (verticale) o ε (orizzontale)
- Assegnazione di punti: ogni vertice viene assegnato indipendentemente 0 o 1, con probabilità rispettivamente 1−p e p
Modello Troncato: Definiamo la sequenza K-troncata pnK=pn1n≤K
Costruiamo sequenze induttive {An,Bn}n≥0 e funzione ψ:An→Z+:
- Inizializzazione: A0={O}, B0=∅, ψ(O)=0
- Regole di Esplorazione: Per il vertice più precoce xn∈∂eAn∩Bnc, verifichiamo se è un "punto nero"
- Condizione di Punto Nero: Esiste i∈{1,…,N} tale che:
- X(yn,ψ(yn)+i)=ξ2∥yn∥+1
- X(xn,ψ(yn)+i)=ξ2∥yn∥+2
- Gli spigoli verticale e orizzontale corrispondenti sono entrambi aperti
Lemma 1: Per N,M sufficientemente grandi, il processo dei punti neri controlla stocasticamente un processo di percolazione orientata con densità γ
Lemma 2: Stabilimento di relazioni di controllo stocastico condizionato tra il modello a lungo raggio troncato e la percolazione orientata
Proposizione 1: Argomento di equilibrio entropia-probabilità, che controlla la probabilità di "eventi cattivi"
Nel processo di percolazione orientata a lungo raggio in d≥3, assumendo ∑n=1∞pn=∞, allora per tutti p∈(0,1), ε>0 e α>0, esiste K=K({pn},p,ε,α) tale che:
Pp,εK(W0=Ξ)>1−α
dove W0 è l'insieme di parole viste dall'origine e Ξ={0,1}N è l'insieme di tutte le parole.
Per invarianza traslazionale, Pp,εK(Wv=Ξ per qualche v)=1, cioè:
PpωB(Wv=Ξ per qualche v)=1,PεK-q.c.
{W0=Ξ}⊇⋂m∈ΛDm
dove Λ={4j:j∈N}, Dm=⋂η∈Ξ4mBm(η)
Utilizziamo la decomposizione del complemento:
(⋂m∈ΛDm)c=⋃m∈Λ,m=1(D4mc∩Dm)∪D1c
Stima chiave:
∑m∈NPp,εN+M(D4mc∩Dm)≤∑m∈N∣Ξ16m∣am≤∑m∈N(232a)m
Poiché a è arbitrariamente piccolo, la serie converge.
- Analisi Multi-scala: Realizzazione dell'accoppiamento a diverse scale attraverso la partizione di segmenti come L4m,2
- Gestione dell'Orientamento: Distinzione tra i∈{1,…,N} e i∈{N+1,…,N+M} per evitare problemi di dipendenza
- Controllo Stocastico: Utilizzo del teorema di Liggett-Steif per stabilire relazioni di controllo stocastico tra percolazione orientata e misure prodotto
- Argomento di Contorno: Utilizzo di tecniche di conteggio di contorni sul reticolo duale nella dimostrazione del Lemma 1
- Benjamini-Kesten (1995): Problema originale della percolazione di parole, risultati per d>10
- Kesten-Sidoravicius-Zhang (1998,2001): Risultati su reticoli triangolari e grafi chiusi
- van Enter-de Lima-Valesin (2016): Risultati di troncamento per parole specifiche nella percolazione a lungo raggio
- Nolin-Teixeira-Tassion (2019): Risultati più recenti per tutte le parole visibili su Ld con d≥3
Questo articolo introduce per la prima volta interazioni a lungo raggio nel problema completo della percolazione di parole e risolve la questione fondamentale dell'equivalenza di troncamento.
Dimostriamo che sotto interazioni a lungo raggio unidimensionali, l'occorrenza della percolazione di parole non richiede vere "connessioni a lungo raggio"—esiste un troncamento finito che produce effetti equivalenti. Questo fornisce una nuova prospettiva per comprendere l'essenza delle interazioni a lungo raggio.
- Restrizione Dimensionale: Ancora richiesto d≥3, il caso bidimensionale rimane irrisolto
- Orientamento: I risultati si limitano alla percolazione orientata, il caso non orientato è più complesso
- Dipendenza dal Troncamento: Il valore specifico di K dipende da tutti i parametri e potrebbe essere molto grande
- Ricerca della percolazione di parole nel caso bidimensionale
- Estensione a percolazione a lungo raggio non orientata
- Ottenimento di stime più precise del parametro di troncamento K
- Studio di altri tipi di modelli di interazione a lungo raggio
- Profondità Teorica: Risoluzione di un problema fondamentale nella teoria della percolazione a lungo raggio
- Innovazione Tecnica: Le tecniche di accoppiamento dinamico e analisi multi-scala hanno valore generale
- Completezza dei Risultati: Non solo dimostra il teorema principale, ma fornisce un quadro tecnico completo
- Chiarezza Espositiva: Formulazione matematica precisa e struttura della dimostrazione chiara
- Limitazioni Applicative: Principalmente risultati teorici, valore applicativo diretto limitato
- Complessità Tecnica: La dimostrazione coinvolge più lemmi complessi, soglia tecnica complessiva elevata
- Dipendenza dai Parametri: La costruzione specifica del parametro di troncamento è piuttosto astratta
- Valore Accademico: Fornisce nuovi strumenti analitici per la teoria della percolazione
- Contributo Teorico: Approfondisce la comprensione dell'essenza delle interazioni a lungo raggio
- Significato Metodologico: La tecnica di accoppiamento dinamico potrebbe applicarsi ad altri modelli casuali
Questo metodo è applicabile a:
- Analisi di altri tipi di modelli di percolazione a lungo raggio
- Problemi di connettività su grafi casuali
- Ricerca di fenomeni di transizione di fase nella fisica statistica
L'articolo cita 15 importanti riferimenti, tra cui i più significativi sono:
- Benjamini & Kesten (1995): Lavoro fondamentale sulla percolazione di parole
- van Enter et al. (2016): Risultati di troncamento nella percolazione a lungo raggio
- Liggett & Steif (2006): Tecnica chiave per il controllo stocastico
- Nolin et al. (2019): Risultati più recenti sulla percolazione di parole