### Current browse context:

math.CA

### Change to browse by:

### References & Citations

# Mathematics > Classical Analysis and ODEs

# Title: Projections of Ahlfors-regular sets versus the $ABC$ sum-product problem

(Submitted on 24 Jan 2023)

Abstract: A conjecture in projection theory claims that if $K \subset \mathbb{R}^{2}$ is a closed set, then

$$ \dim_{\mathrm{H}} \{\theta \in S^{1} : \dim_{\mathrm{H}} \pi_{\theta}(K) < \tau\} \leq \max\{2\tau - \dim_{\mathrm{H}} K,0\}, \quad 0 \leq \tau \leq \min\{\dim_{\mathrm{H}} K,1\}.$$

Here $\pi_{\theta}$ is the orthogonal projection to the line spanned by $\theta$. I verify this conjecture for Ahlfors-regular sets $K$ under the assumption that the $ABC$ sum-product conjecture is valid. Available progress on the $ABC$ problem yields the following partial but unconditional result for closed Ahlfors-regular sets $K \subset \mathbb{R}^{2}$:

$$\dim_{\mathrm{H}} \{\theta \in S^{1} : \dim_{\mathrm{H}} \pi_{\theta}(K) < \tau\} \leq \max\left\{\frac{2\tau - \dim_{\mathrm{H}} K}{1 + \tau - \dim_{\mathrm{H}} K},0\right\}, \quad 0 \leq \tau \leq \min\{\dim_{\mathrm{H}} K,1\}.$$

The proofs proceed via $\delta$-discretised statements which also remain valid for "almost" Ahlfors-regular $\delta$-discretised sets, that is, $\delta$-separated sets which are Ahlfors-regular on scales between $\delta$ and $1$, up to a multiplicative error of order $\delta^{-\epsilon}$.

Link back to: arXiv, form interface, contact.