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

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}$.