Measure theoretic structure of the sum of two affine Cantor sets
Suppose that $K$ and $ K'$ are two affine Cantor sets in $\mathbb R$. It is shown that the sum set $K+K'$ has equal box and Hausdorff dimensions, where this common dimension is denoted by $s$, we have $H^s(K+K')<\infty$. It has previously been proven that $H^s(K +K') > 0$, for almost every pair $(K, K')$ satisfying $HD(K)+HD(K') <\frac{1}{2}$ or $HD(K)+HD(K') > 1$. We show that $H^s(K +K') = 0$, for almost every pair $(K, K')$ satisfying the conditions $HD(K) + HD(K') \leq 1$ and $τ(K) + τ(K') + 3τ(K)τ(K') \geq 1$.
math.DS↗