Projections of planar sets in well-separated directions

preprint2016arXivOpen access

Abstract

First, let K⊂B(0,1)⊂R2K \subset B(0,1) \subset \mathbb{R}^{2} be a set with H∞1(K)∼1\mathcal{H}_{\infty}^{1}(K) \sim 1, and write πe(K)π_{e}(K) for the orthogonal projection of KK into the line spanned by e∈S1e \in S^{1}. For 1/2≤s<11/2 \leq s < 1, write Es:={e:N(πe(K),δ)≤δ−s},E_{s} := \{e : N(π_{e}(K),δ) \leq δ^{-s}\}, where N(A,r)N(A,r) is the rr-covering number of the set AA. It is well-known -- and essentially due to R. Kaufman -- that N(Es,δ)⪅δ−sN(E_{s},δ) \lessapprox δ^{-s}. Using the polynomial method, I prove that N(Es,r)⪅min⁡{δ−s(δr)1/2,r−1},δ≤r≤1. N(E_{s},r) \lessapprox \min\left\{δ^{-s}\left(\fracδ{r}\right)^{1/2},r^{-1}\right\}, \quad δ\leq r \leq 1. I construct examples showing that the exponents in the bound are sharp for δ≤r≤δsδ\leq r \leq δ^{s}. The second theorem concerns projections of 11-Ahlfors-David regular sets. Let A≥1A \geq 1 and 1/2≤s<11/2 \leq s < 1 be given. I prove that, for p=p(A,s)∈Np = p(A,s) \in \mathbb{N} large enough, the finite set of unit vectors Sp:={e2πik/p:0≤k<p}S_{p} := \{e^{2πi k/p} : 0 \leq k < p\} has the following property. If K⊂B(0,1)K \subset B(0,1) is non-empty and 11-Ahlfors-David regular with regularity constant at most AA, then 1p∑e∈SpN(πe(K),δ)≥δ−s\frac{1}{p} \sum_{e \in S_{p}} N(π_{e}(K),δ) \geq δ^{-s} for all small enough δ>0δ> 0. In particular, dim⁡‾Bπe(K)≥s\overline{\dim}_{\text{B}} π_{e}(K) \geq s for some e∈Spe \in S_{p}.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.