Dimension and measure of sums of planar sets and curves. Issue 4 (11th October 2022)

• Record Type: Journal Article
• Authors: Simon, Károly; Taylor, Krystal
• Is Part Of: Mathematika. Volume 68:Issue 4(2022)
• Page Start: 1364
• Page End: 1392
• Publication Date: 2022-10-11
• Subjects: Mathematics -- Periodicals; 510.5
• DOI: 10.1112/mtk.12168
• Languages: English
• ISSNs: 0025-5793

Abstract

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 + Γ : = { a + v : a ∈ A, v ∈ Γ } $A+\Gamma :=\lbrace a+v:a\in A, v\in \Gamma \rbrace$ when A ⊂ R 2 $A\subset \mathbb {R}^2$ and Γ is a piecewise C 2 $\mathcal {C}^2$ curve. Assuming Γ has non‐vanishing curvature, we verify that: (a): if dim H A ⩽ 1 $\dim _{\rm H} A \leqslant 1$, then dim H ( A + Γ ) = dim H A + 1 $\dim _{\rm H} (A+\Gamma )=\dim _{\rm H} A +1$ ; (b): if dim H A > 1 $\dim _{\rm H} A>1$, then L 2 ( A + Γ ) > 0 $\mathcal {L}_2(A+\Gamma )>0$ ; (c): if dim H A = 1 $\dim _{\rm H} A=1$ and H 1 ( A ) < ∞ $\mathcal {H}^1(A) < \infty$, then L 2 ( A + Γ ) = 0 $\mathcal {L}_2(A+\Gamma )=0$ if and only if A is an irregular (purely unrectifiable) 1‐set. In this article, we develop an approach using nonlinear projection theory which gives new proofs of (a) and (b) and the first proof of (c). Item (c) has a number of consequences: if a circle is thrown randomly on the plane, it will almost surely not intersect the four corner Cantor set. Moreover, the pinned distance set of an irregular 1‐set has 1‐dimensional Lebesgue measure equal to zero at almost every pin t ∈ R 2 $t\in \mathbb {R}^2$ .