A. Sarkar, COEXISTENCE OF THE OCCUPIED AND VACANT PHASE IN BOOLEAN MODELS IN 3 OR MORE DIMENSIONS, Advances in Applied Probability, 29(4), 1997, pp. 878-889
Consider a continuum percolation model in which, at each point of a d-
dimensional Poisson process of rate lambda, a ball of radius 1 is cent
red. We show that, for any d greater than or equal to 3, there exists
a phase where both the regions, occupied and vacant, contain unbounded
components. The proof uses the concept of enhancement for the Boolean
model, and along the way we prove that the critical intensity of a Bo
olean model defined on a slab is strictly larger than the critical int
ensity of a Boolean model defined on the whole space.