Abstract:We show that the "sharp Kaufman projection theorem" from 2023 is sharp in the class of Ahlfors $(1,\delta^{-\epsilon})$-regular sets. This is in contrast with a recent result of the first author, which improves the projection theorem in the class of Ahlfors $(1,C)$-regular sets.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the exactness of the projection theorem for almost Ahlfors - regular sets. Specifically, the authors show that the "sharp Kaufman projection theorem" proposed in 2023 is exact in the class of Ahlfors \((1, \delta - \epsilon)\)-regular sets. This means that for this type of sets, the projection theorem cannot be stronger than the projection theorem for general sets, especially they are not as strong as the available projection theorems in the class of Ahlfors \((1, C)\)-regular sets.
### Background and Motivation
- **Ahlfors - regular sets**: A set \(K \subset \mathbb{R}^d\) is called Ahlfors \((s, C)\)-regular if there exists a Borel measure \(\mu\) such that:
\[
C^{-1}r^s \leq \mu(B(x, r)) \leq C r^s, \quad \text{for all } x \in \text{supp}(\mu), \, 0 < r \leq \text{diam}(\text{supp}(\mu)).
\]
- **Projection theorem**: The projection theorem studies the projection properties of sets in different directions. For example, Kaufman's projection theorem states that for some sets, the Hausdorff dimension of their projections can be estimated.
- **sharp Kaufman projection theorem**: In 2023, Orponen and Shmerkin proposed a projection theorem about "almost" Ahlfors - regular sets, that is, the projection theorem for Ahlfors \((1, \delta - \epsilon)\)-regular sets. A key result of this theorem is:
\[
N_\delta(\pi_\theta(K)) \geq \delta^{-(1 + t)/2},
\]
where \(N_\delta(K)\) represents the \(\delta\)-covering number of the set \(K\), and \(\pi_\theta(x, y)=x + \theta y\) is the projection mapping.
### Main Contributions
- **Exactness proof**: The main contribution of this paper is to prove that the above - mentioned projection theorem is exact in the class of Ahlfors \((1, \delta - \epsilon)\)-regular sets. Specifically, the authors construct an Ahlfors \((1, \log(1/\delta)^C)\)-regular probability measure \(\mu\) such that the \(\delta\)-covering number of its projection satisfies:
\[
N_\delta(\pi_\theta(K)) \leq \delta^{-(1 + t)/2}, \quad \theta \in \text{supp}(\nu),
\]
This shows that the projection theorem cannot be stronger in this class.
- **Comparison results**: The authors also compare the results in the class of Ahlfors \((1, C)\)-regular sets and point out that in this case, the projection theorem can obtain stronger results:
\[
N_\delta(\pi_\theta(K)) \geq \delta^{-1+\tau}.
\]
### Conclusion
Through these results, the authors show that under different Ahlfors - regularity assumptions, there are significant differences in the strength of the projection theorem. This provides an important theoretical basis for understanding the behavior of the projection theorem in different set classes.