Self-similar measures and intersections of cantor sets

It is natural to expect that the arithmetic sum of two Cantor sets should have positive Lebesgue measure if the sum of their dimensions exceeds 1, but there are many known counterexamples, e.g. when both sets are the middle-α Cantor set and α ∈ (1/3,1/2)- We show that for any compact set K and for a.e. α ∈ (0,1), the arithmetic sum of K and the middle-α Cantor set does indeed have positive Lebesgue measure when the sum of their Hausdorff dimensions exceeds 1. In this case we also determine the essential supremum, as the translation parameter t varies, of the dimension of the intersection of K + t with the middle-α Cantor set. We also establish a new property of the infinite Bernoulli convolutions v_λ^p (the distributions of random series ∑_n=0^∞ ±λⁿ where the signs are chosen independently with probabilities (p,1-p)). Let 1 ≤ q₁ <q₂≤ 2. For p ≠ 1/2 near 1/2 and for a.e. λ in some nonempty interval, v_λ^p is absolutely continuous and its density is in L^q1 but not in L^q2. We also answer a question of Kahane concerning the Fourier transform of v_λ^1/2.