Brownian Paths Homogeneously Distributed in Space: Percolation Phase Transition and Uniqueness of the Unbounded Cluster

We consider a continuum percolation model on Rd , d ≥ 1. For t, λ ∈ (0,∞) and d ∈ {1, 2, 3}, the occupied set is given by the union of independent Brownian paths running up to time t whose initial points form a Poisson point process with intensity λ > 0. When d ≥ 4, the Brownian paths are replace...

Descripción completa

Detalles Bibliográficos
Autores: Erhard, Dirk, Martínez Linares, Julián Facundo, Poisat, Julien
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2016
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/18886
Acceso en línea:http://hdl.handle.net/11336/18886
Access Level:acceso abierto
Palabra clave:Continuum Percolation
Brownian Motion
https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
Descripción
Sumario:We consider a continuum percolation model on Rd , d ≥ 1. For t, λ ∈ (0,∞) and d ∈ {1, 2, 3}, the occupied set is given by the union of independent Brownian paths running up to time t whose initial points form a Poisson point process with intensity λ > 0. When d ≥ 4, the Brownian paths are replaced by Wiener sausages with radius r > 0. We establish that, for d = 1 and all choices of t, no percolation occurs, whereas for d ≥ 2, there is a non-trivial percolation transition in t, provided λ and r are chosen properly. The last statement means that λ has to be chosen to be strictly smaller than the critical percolation parameter for the occupied set at time zero (which is infinite when d ∈ {2, 3}, but finite and dependent on r when d ≥ 4). We further show that for all d ≥ 2, the unbounded cluster in the supercritical phase is unique. Along the way a finite box criterion for non-percolation in the Boolean model is extended to radius distributions with an exponential tail. This may be of independent interest. The present paper settles the basic properties of the model and should be viewed as a springboard for finer results.