  We make progress on several interrelated problems at the intersection of
geometric measure theory, additive combinatorics and harmonic analysis: the
discretised sum-product problem, exceptional estimates for orthogonal
projections, and the dimension of Furstenberg sets.
  We give a new proof of the following asymmetric sum-product theorem: Let
$A,B,C \subset \mathbb{R}$ be Borel sets with $0 < {\dim_{\mathrm{H}}} B \leq
{\dim_{\mathrm{H}}} A < 1$ and ${\dim_{\mathrm{H}}} B + {\dim_{\mathrm{H}}} C >
{\dim_{\mathrm{H}}} A$. Then, there exists $c \in C$ such that
$${\dim_{\mathrm{H}}} (A + cB) > {\dim_{\mathrm{H}}} A. $$ Here we only mention
special cases of our results on projections and Furstenberg sets. We prove that
every $s$-Furstenberg set $F \subset \mathbb{R}^{2}$ has Hausdorff dimension $$
{\dim_{\mathrm{H}}} F \geq \max\{ 2s + (1 - s)^{2}/(2 - s), 1+s\}.$$ We prove
that every $(s,t)$-Furstenberg set $F \subset \mathbb{R}^{2}$ associated with a
$t$-Ahlfors-regular line set has $${\dim_{\mathrm{H}}} F \geq \min\left\{s +
t,\tfrac{3s + t}{2},s + 1\right\}.$$ Let $\pi_{\theta}$ denote projection onto
the line spanned by $\theta\in S^1$. We prove that if $K \subset
\mathbb{R}^{2}$ is a Borel set with ${\dim_{\mathrm{H}}}(K)\le 1$, then $$
{\dim_{\mathrm{H}}} \{\theta \in S^{1} : {\dim_{\mathrm{H}}} \pi_{\theta}(K) <
u\} \leq \max\{ 2(2u - {\dim_{\mathrm{H}}} K),0\}, $$ whenever $u \leq
{\dim_{\mathrm{H}}} K$, and the factor "$2$" on the right-hand side can be
omitted if $K$ is Ahlfors-regular.
