Arithmetic and geometric properties of planar self-similar sets

Furstenberg's conjecture on the dimension of the intersection of x2,x3-invariant Cantor sets can be restated as a bound on the dimension of linear slices of the product of x2,x3-Cantor sets, which is a self-affine set in the plane. I will discuss some older and newer variants of this, where the self-affine set is replaced by a self-similar set such as the Sierpinski triangle, Sierpinski carpet or (support of) a complex Bernoulli convolution. Among other things, I will show that the intersection of the Sierpinski carpet with circles has small dimension, but on the other hand the Sierpinski carpet can be covered very efficiently by linear tubes (neighborhoods of lines). The latter fact is a recent result joint with A. Pyörälä, V. Suomala and M. Wu.