Title:Dimension and measure of sums of planar sets and curves

Abstract:Considerable attention has been given to the study of the arithmetic sum of two planar sets. We focus on understanding the measure and dimension of $A+\Gamma:=\left\{a+g:a\in A, g\in B\right\}$ when $\Gamma$ is a piecewise $\mathcal{C}^2$ curve and $A\subset \mathbb{R}^2$. In this case, the natural guess is that: (a) If $\dim_{\rm H} A \leq 1$, then $\dim_{\rm H} (A+\Gamma)=\dim_{\rm H} A +1$, (b) If $\dim_{\rm H} A>1$, then $\mathcal{L}^2(A+\Gamma)>0$. We verify that both (a) and (b) hold when $\Gamma$ has non-vanishing curvature and give examples that neither (a) nor (b) need hold when $\Gamma$ is a polygon. In the critical case when $\dim_{\rm H} A=1$, we point out that $\mathcal{L}^2(A+S^1)=0$ if and only if $A$ is an irregular $1$-set (such as the four-corner set). In particular, if we throw a circle randomly on the plane, it does not intersect the four-corner Cantor set almost surely, see Corollary 2.3 part (a).