Subcritical phase of d -dimensional Poisson–Boolean percolation and its vacant set

We prove that the Poisson–Boolean percolation on ℝ d undergoes a sharp phase transition in any dimension under the assumption that the radius distribution has a 5 d - 3 finite moment (in particular we do not assume that the distribution is bounded). To the best of our knowledge, this is the first proof of sharpness for a model in dimension d ≥ 3 that does not exhibit exponential decay of connectivity probabilities in the subcritical regime. 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 distribution has heavy tails, the probability is equivalent to the probability that the origin is covered by a ball going to distance n (this result is new even in two dimensions). In the supercritical regime, it is proved that the probability of the origin being connected to infinity satisfies a mean-field lower bound. The same proof carries on to conclude that the vacant set of Poisson–Boolean percolation on ℝ d undergoes a sharp phase transition.