Correlated Fractal Percolation and the Palis Conjecture

Let F₁ and F₂ be independent copies of one-dimensional correlated fractal percolation, with almost sure Hausdorff dimensions dim _H(F₁) and dim _H(F₂). Consider the following question: does dim _H(F₁)+dim _H(F₂)>1 imply that their algebraic difference F₁‑F₂ will contain an interval? The well known Palis conjecture states that 'generically' this should be true. Recent work by Kuijvenhoven and the first author (Dekking and Kuijvenhoven in J. Eur. Math. Soc., to appear) on random Cantor sets cannot answer this question as their condition on the joint survival distributions of the generating process is not satisfied by correlated fractal percolation. We develop a new condition which permits us to solve the problem, and we prove that the condition of Dekking and Kuijvenhoven (J. Eur. Math. Soc., to appear) implies our condition. Independently of this we give a solution to the critical case, yielding that a strong version of the Palis conjecture holds for fractal percolation and correlated fractal percolation: the algebraic difference contains an interval almost surely if and only if the sum of the Hausdorff dimensions of the random Cantor sets exceeds one.