We consider the discrete Boolean model of percolation on graphs satisfying a doubling metric condition. We study sufficient conditions on the distribution of the radii of balls placed at the points of a Bernoulli point process for the absence of percolation, provided that the retention parameter of the underlying point process is small enough. We exhibit three families of interesting graphs where the main result of this work holds. Finally, we give sufficient conditions for ergodicity of the discrete Boolean model of percolation.
We investigate percolation in the Boolean model with convex grains in high dimension. For each dimension d, one fixes a compact, convex and symmetric set K $\subset$ R d with non empty interior. In a first setting, the Boolean model is a reunion of translates of K. In a second setting, the Boolean model is a reunion of translates of K or $ρ$K for a further parameter $ρ$ $\in$ (1, 2). We give the asymptotic behavior of the percolation probability and of the percolation threshold in the two settings.
We consider a multiscale Boolean percolation on $\mathbb R^d$ with radius distribution $μ$ on $[1,+\infty)$, $d\ge 2$. The model is defined by superposing the original Boolean percolation model with radius distribution $μ$ with a countable number of scaled independent copies. The $n$-th copy is a Boolean percolation with radius distribution $μ|_{[1,κ]}$ rescaled by $κ^{n}$. We prove that under some regularity assumption on $μ$, the subcritical phase of the multiscale model is sharp for $κ$ large enough. Moreover, we prove that the existence of an unbounded connected component depends only on t…
In this work we study the Poisson Boolean model of percolation in locally compact Polish metric spaces and we prove the invariance of subcritical and supercritical phases under mm-quasi-isometries. In other words, we prove that if the Poisson Boolean model of percolation is subcritical or supercritical (or exhibits phase transition) in a metric space M which is mm-quasi-isometric to a metric space N, then these phases also exist for the Poisson Boolean model of percolation in N. Then we apply these results to understand the phenomenon of phase transition in a large family of metric spaces. Ind…
It is well known that there are two regimes in a standard one-dimensional Boolean percolation model: either the entire space is covered a.s., or the covered volume fraction is strictly less than one. The aim of this work is to demonstrate that there is a third possibility in a Boolean model with totally asymmetric grains on a half-line: a.s. there is no unbounded component, but the covered volume fraction is one. An explicit condition is given characterizing the existence of an unbounded occupied component.
We consider the Boolean model with random radii based on Cox point processes. Under a condition of stabilization for the random environment, we establish existence and non-existence of subcritical regimes for the size of the cluster at the origin in terms of volume, diameter and number of points. Further, we prove uniqueness of the infinite cluster for sufficiently connected environments.
We consider Poisson Boolean percolation on $\mathbb R^d$ with power-law distribution on the radius with a finite $d$-moment for $d\ge 2$. We prove that subcritical sharpness occurs for all but a countable number of power-law distributions. This extends the results of Duminil-Copin--Raoufi--Tassion where subcritical sharpness is proved under the assumption that the radii distribution has a $5d-3$ finite moment. Our proofs techniques are different from their paper: we do not use randomized algorithm and rely on specific independence properties of Boolean percolation, inherited from the underlyin…
We establish the mean-field bounds $γ\ge 1$, $δ\ge 2$ and $\triangle \ge 2$ on the critical exponents of the Poisson-Boolean continuum percolation model under a moment condition on the radii; these were previously known only in the special case of fixed radii (in the case of $γ$), or not at all (in the case of $δ$ and $\triangle$). We deduce these as consequences of the mean-field bound $β\le 1$, recently established by Duminil-Copin, Raoufi and Tassion under the same moment condition, using a relative entropy method introduced by the authors in previous work.
We consider the Poisson Boolean percolation model in $\mathbb{R}^2$, where the radii of each ball is independently chosen according to some probability measure with finite second moment. For this model, we show that the two thresholds, for the existence of an unbounded occupied and an unbounded vacant component, coincide. This complements a recent study of the sharpness of the phase transition in Poisson Boolean percolation by the same authors. As a corollary it follows that for Poisson Boolean percolation in $\mathbb{R}^d$, for any $d\ge2$, finite moment of order $d$ is both necessary and suf…
We consider the Boolean model on $\R^d$. We prove some equivalences between subcritical percolation properties. Let us introduce some notations to state one of these equivalences. Let $C$ denote the connected component of the origin in the Boolean model. Let $|C|$ denotes its volume. Let $\ell$ denote the maximal length of a chain of random balls from the origin. Under optimal integrability conditions on the radii, we prove that $E(|C|)$ is finite if and only if there exists $A,B >0$ such that $¶(\ell \ge n) \le Ae^{-Bn}$ for all $n \ge 1$.
We consider a non trivial Boolean model $Σ$ on ${\mathbb R}^d$ for $d\geq 2$. For every $x,y \in {\mathbb R}^d$ we define $T(x,y)$ as the minimum time needed to travel from $x$ to $y$ by a traveler that walks at speed $1$ outside $Σ$ and at infinite speed inside $Σ$. By a standard application of Kingman sub-additive theorem, one easily shows that $T(0,x)$ behaves like $μ\|x\|$ when $\|x\|$ goes to infinity, where $μ$ is a constant named the time constant in classical first passage percolation. In this paper we investigate the positivity of $μ$. More precisely, under an almost optimal moment as…
Disagreement percolation connects a Gibbs lattice gas and i.i.d. site percolation on the same lattice such that non-percolation implies uniqueness of the Gibbs measure. This work generalises disagreement percolation to the hard-sphere model and the Boolean model. Non-percolation of the Boolean model implies the uniqueness of the Gibbs measure and exponential decay of pair correlations and finite volume errors. Hence, lower bounds on the critical intensity for percolation of the Boolean model imply lower bounds on the critical activity for a (potential) phase transition. These lower bounds impr…
Detection, coverage and percolation in dynamic Boolean models with random radii based on $α$-stable processes
School of Mathematics, University of Leeds（利兹大学数学学院）；Technische Universität Braunschweig（布伦瑞克工业大学）；Weierstrass Institute for Applied Analysis and Stochastics（魏尔斯特拉斯应用分析与随机过程研究所）
We prove that the Poisson-Boolean percolation on $\mathbb{R}^d$ undergoes a sharp phase transition in any dimension under the assumption that the radius distribution has a $5d-3$ finite moment (in particular we do not assume that the distribution is bounded). More precisely, we prove that: -In the whole subcritical regime, the expected size of the cluster of the origin is finite, and furthermore we obtain bounds for the origin to be connected to distance $n$: when the radius distribution has a finite exponential moment, the probability decays exponentially fast in $n$, and when the radius dist…
For a given dimension d $\ge$ 2 and a finite measure $ν$ on (0, +$\infty$), we consider $ξ$ a Poisson point process on R d x (0, +$\infty$) with intensity measure dc $\otimes$ $ν$ where dc denotes the Lebesgue measure on R d. We consider the Boolean model $Σ$ = $\cup$ (c,r)$\in$$ξ$ B(c, r) where B(c, r) denotes the open ball centered at c with radius r. For every x, y $\in$ R d we define T (x, y) as the minimum time needed to travel from x to y by a traveler that walks at speed 1 outside $Σ$ and at infinite speed inside $Σ$. By a standard application of Kingman sub-additive theorem, one easily…
Define the scale-free Gilbert graph based on a Boolean model with heavy-tailed radius distribution on the $d$-dimensional torus by connecting two centers of balls by an edge if at least one of the balls contains the center of the other. We investigate two asymptotic properties of this graph as the size of the torus tends to infinity. First, we determine the tail index associated with the asymptotic distribution of the sum of all power-weighted incoming and outgoing edge lengths at a randomly chosen vertex. Second, we study the behavior of chemical distances on scale-free Gilbert graphs and sho…
We generalise disagreement percolation to Gibbs point processes of balls with varying radii. This allows to establish the uniqueness of the Gibbs measure and exponential decay of pair correlations in the low activity regime by comparison with a sub-critical Boolean model. Applications to the Continuum Random Cluster model and the Quermass-interaction model are presented. At the core of our proof lies an explicit dependent thinning from a Poisson point process to a dominated Gibbs point process.
We study percolation properties of the upper invariant measure of the contact process on $\mathbb{Z}^d$. Our main result is a sharp percolation phase transition with exponentially small clusters throughout the subcritical regime and a mean-field lower bound for the infinite cluster density in the supercritical regime. This generalizes and simplifies an earlier result of Van den Berg [Ann. App. Prob., 2011], who proved a sharp percolation phase transition on $\mathbb{Z}^2$. Our proof relies on the OSSS inequality for Boolean functions and is inspired by a series of papers by Duminil-Copin, Raou…
Consider a Boolean model $Σ$ in $\R^d$. The centers are given by a homogeneous Poisson point process with intensity $λ$ and the radii of distinct balls are i.i.d.\ with common distribution $ν$. The critical covered volume is the proportion of space covered by $Σ$ when the intensity $λ$ is critical for percolation. Previous numerical simulations and heuristic arguments suggest that the critical covered volume may be minimal when $ν$ is a Dirac measure. In this paper, we prove that it is not the case in sufficiently high dimension.
Proofs of sharp phase transition and noise sensitivity in percolation have been significantly simplified by the use of randomized algorithms, via the OSSS inequality (proved by O'Donnell, Saks, Schramm and Servedio (2005)) and the Schramm-Steif inequality for the Fourier-Walsh coefficients of functions defined on the Boolean hypercube. In this article, we prove intrinsic versions of the OSSS and Schramm-Steif inequalities for functionals of a general Poisson process, and apply these new estimates to deduce sufficient conditions - expressed in terms of randomized stopping sets - yielding sharp …
We consider the Boolean model $Z$ on $\mathbb{R}^d$ with random compact grains, i.e. $Z := \bigcup_{i \in \mathbb{N}} (X_i + Z_i)$ where $η_t := \{X_1, X_2, \dots\}$ is a Poisson point process of intensity $t$ and $(Z_1, Z_2, \dots)$ is an i.i.d. sequence of compact grains (not necessarily balls). We will show, that the volume and diameter of the cluster of a typical grain in $Z$ have an exponential tail if the diameter of the typical grain is a.s. bounded by some constant. To achieve this we adapt the arguments of \cite{duminil2015newproof} and apply a new construction of the cluster of the t…
Consider a family of Boolean models, indexed by integers $n \ge 1$, where the $n$-th model features a Poisson point process in ${\mathbb{R}}^n$ of intensity $e^{n ρ_n}$ with $ρ_n \to ρ$ as $n \to \infty$, and balls of independent and identically distributed radii distributed like $\bar X_n \sqrt{n}$, with $\bar X_n$ satisfying a large deviations principle. It is shown that there exist three deterministic thresholds: $τ_d$ the degree threshold; $τ_p$ the percolation threshold; and $τ_v$ the volume fraction threshold; such that asymptotically as $n$ tends to infinity, in a sense made precise in …
We study the phase transition of random radii Poisson Boolean percolation: Around each point of a planar Poisson point process, we draw a disc of random radius, independently for each point. The behavior of this process is well understood when the radii are uniformly bounded from above. In this article, we investigate this process for unbounded (and possibly heavy tailed) radii distributions. Under mild assumptions on the radius distribution, we show that both the vacant and occupied sets undergo a phase transition at the same critical parameter $λ_c$. Moreover, - For $λ< λ_c$, the vacant set …
Mobile Geometric Graphs: Detection, Coverage and Percolation
我们考虑由van den Berg，Meester和White（1997）引入的以下动态布尔模型。在时刻0，设图的节点是R^d中强度恒定的泊松点过程，并让每个节点按照布朗运动独立运动。在任意时刻t，我们在每对节点之间放置一条边，如果它们的距离至多为r。我们在这个模型中研究了三个特征：检测（直到目标点-固定或移动-距离图的某个节点在距离r以内的时间），覆盖（直到有限盒内的所有点都被图检测到的时间）和渗透（直到给定节点属于图的无限连通分量的时间）。我们获得精确的渐近这些功能相结合的想法，从随机几何，耦合和多尺度分析。
This thesis considers three models which describe a multihop ad-hoc telecommunication system. These systems consist of users sending messages, which can jump to other users to reach the target user. The first two models have already been examined extensively, whereas it is the first time the third model is studied. In all these models our goal is to understand under which conditions users situated far away from each other can communicate. This is the fundamental question of continuum percolation, which was introduced by Gilbert (1961), who established the Boolean model for Poisson point proces…
Consider a monotone Boolean function $f:\{0,1\}^n\to\{0,1\}$ and the canonical monotone coupling $\{η_p:p\in[0,1]\}$ of an element in $\{0,1\}^n$ chosen according to product measure with intensity $p\in[0,1]$. The random point $p\in[0,1]$ where $f(η_p)$ flips from $0$ to $1$ is often concentrated near a particular point, thus exhibiting a threshold phenomenon. For a sequence of such Boolean functions, we peer closely into this threshold window and consider, for large $n$, the limiting distribution (properly normalized to be nondegenerate) of this random point where the Boolean function switche…
We consider the {following} coverage model on $\mathbb{N}$. For each site $i\in \mathbb{N}$ we associate a pair $(ξ_i, R_i)$ where $\{ξ_0, ξ_1, \ldots \}$ is a 1-dimensional {undelayed} discrete renewal point process and $\{R_0,R_1,\ldots\}$ is an i.i.d. sequence of $\mathbb{N}$-valued random variables. At each site where $ξ_i=1$ we start an interval of length $R_i$. Coverage occurs if every site of $\mathbb{N}$ is covered by some interval. We obtain sharp conditions for both, positive and null probability of coverage. As corollaries, we extend results of the literature of rumor processes and …
We provide a sufficient condition for the uniqueness in distribution of Gibbs point processes with non-negative pairwise interaction, together with convergent expansions of the log-Laplace functional, factorial moment densities and factorial cumulant densities (correlation functions and truncated correlation functions). The criterion is a continuum version of a convergence condition by Fern{á}ndez and Procacci (2007), the proof is based on the Kirkwood-Salsburg integral equations and is close in spirit to the approach by Bissacot, Fern{á}ndez and Procacci (2010). In addition, we provide formul…
