Minkowski sums with convex curves without pointwise Fourier decay

Abstract

Let $\Gamma \subset {\mathbb{R}}^2$ be a compact convex graph and define \[ T(Γ) = \inf \left\{ t: \dim_{\mathrm H}(E)>t \Longrightarrow |E+Γ|>0 \text{ for every compact }E\subset\mathbb R^2 \right\}. \] For a graph over an interval of positive length the smallest possible value is $T(\Gamma )=1$. We ask whether this optimal conclusion can hold when pointwise Fourier decay of arclength is unavailable. The answer is yes, even for strictly convex curves. We use the Fourier transform convention $\hat{\nu }(\xi )=\int e^{-2\pi ix\cdot \xi }d\nu (x)$. We construct a strictly convex Lipschitz graph $\Gamma$ with $T(\Gamma )=1$ such that, for every nontrivial subarc ${\Gamma }_0$ and every $\alpha >0$, \[ \limsup_{|ξ|\to\infty} |ξ|^α\left| \widehat{H^1|_{Γ_0}}(ξ) \right|= \infty. \] We also give a convex example for which arclength on every nontrivial subarc fails even to be a Rajchman measure. The geometric mechanism behind these examples is a positive curved trace: if $\Gamma$ contains a positive-length subset of a $C^2$ curve whose curvature is bounded away from zero, then $|E+\Gamma |>0$ whenever ${\dim }_{\mathrm{H}}(E)>1$. For a nondegenerate graph this gives $T(\Gamma )=1$. For convex graphs it implies, in particular, that $T(\Gamma )=1$ whenever the curvature measure has a nonzero absolutely continuous part. The positive-measure proofs are in physical space and use translated-tube intersections and elementary facts about convex functions. The same overlap estimates give Mattila-type lower bounds for the average lengths of the associated curve projections of neighborhoods under the positive curved-trace hypothesis. We also prove a dimension-one endpoint result for sets with a positive-length rectifiable part and formulate the main remaining question: whether every strictly convex Lipschitz graph has the optimal threshold $T(\Gamma )=1$.