Related papers: Hausdorff dimension bounds for the ABC sum-product…

Let $0 < \beta \leq \alpha < 1$ and $\kappa > 0$. I prove that there exists $\eta > 0$ such that the following holds for every pair of Borel sets $A,B \subset \mathbb{R}$ with $\dim_{\mathrm{H}} A = \alpha$ and $\dim_{\mathrm{H}} B =…

We show that given $\alpha \in (0, 1)$ there is a constant $c=c(\alpha) > 0$ such that any planar $(\alpha, 2\alpha)$-Furstenberg set has Hausdorff dimension at least $2\alpha + c$. This improves several previous bounds, in particular…

Utilising recent advances in incidence geometry for balls and tubes, and advances in sum-product theory in the discrete setting, we show that for $0 < s \leq 1/2$ and for any $A \subset \mathbb{R}$ with Hausdorff dimension $s$, either the…

We make progress on two interrelated problems at the intersection of geometric measure theory, additive combinatorics and harmonic analysis: the discretised sum-product problem, and the dimension of Furstenberg sets. Along the way, we…

We obtain new lower bounds on the Hausdorff dimension of distance sets and pinned distance sets of planar Borel sets of dimension slightly larger than $1$, improving recent estimates of Keleti and Shmerkin, and of Liu in this regime. In…

Let $A,B \subset \mathbb{R}$ be closed Ahlfors-regular sets with dimensions $\dim_{\mathrm{H}} A =: \alpha$ and $\dim_{\mathrm{H}} B =: \beta$. I prove that $$\dim_{\mathrm{H}} [A + \theta B] \geq \alpha + \beta \cdot \tfrac{1 - \alpha}{2 -…

We show that if $B \subset \mathbb{R}^n$ and $E \subset A(n,k)$ is a nonempty collection of $k$-dimensional affine subspaces of $\mathbb{R}^n$ such that every $P \in E$ intersects $B$ in a set of Hausdorff dimension at least $\alpha$ with…

We prove a conjecture of H\'era on the dimension of unions of $k$-planes. Let $0<k \le d<n$ be integers, and $\beta\in[0,k+1)$. If $\mathcal{V}\subset A(k,n)$, with $\text{dim}(\mathcal{V})=(k+1)(d-k)+\beta$, then…

Given metric spaces $E$ and $F$, it is well known that $$\dim_HE+\dim_HF\leq\dim_H(E\times F)\leq\dim_HE+\dim_PF,$$ $$\dim_HE+\dim_PF\leq \dim_P(E\times F)\leq\dim_PE+\dim_PF,$$ and $$\underline{\dim}_BE+\overline{\dim}_BF…

Given $\beta\in(1,2],$ the $\beta$-transformation $T_\beta: x\mapsto \beta x\pmod 1$ on the circle $[0, 1)$ with a hole $[0, t)$ was investigated by Kalle et al.~(2019). They described the set-valued bifurcation set \[ \mathcal…

Let $\Lambda$ be the limit set of an infinite conformal iterated function system and let $F$ denote the set of fixed points of the maps. We prove that the box dimension of $\Lambda$ exists if and only if \[ \overline{\dim}_{\mathrm B} F\leq…

We prove new bounds on the dimensions of distance sets and pinned distance sets of planar sets. Among other results, we show that if $A\subset\mathbb{R}^2$ is a Borel set of Hausdorff dimension $s>1$, then its distance set has Hausdorff…

We show that, for any $0<\gamma<1/2$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set with Hausdorff dimension about $\sqrt{\gamma}$, any small $0<\varepsilon<1$ and any large $N\in\mathbb{N}$, the number of integers $n\in[1,N]$ such…

Let $ 1<\beta< 2 $, the sequence $\alpha(\beta)=\alpha(\beta)_1\alpha(\beta)_2\dotsb $ be the quasi-greedy $ \beta $-expansion of $ 1 $, and $ t\in [0,1) $ be a bifurcation parameter. The $\beta$-transformation is defined to be…

For $\lambda\in(0,1/3]$ let $C_\lambda$ be the middle-$(1-2\lambda)$ Cantor set in $\mathbb R$. Given $t\in[-1,1]$, excluding the trivial case we show that \[ \Lambda(t):=\left\{\lambda\in(0,1/3]:…

We investigate the Lebesgue measure, Hausdorff dimension, and Fourier dimension of sets of the form $RY + Z, $ where $R \subseteq (0,\infty)$ and $Y, Z \subseteq \mathbb{R}^d$. We prove a theorem on the Lebesgue measure and Hausdorff…

We prove that for any $1 \le k<n$ and $s\le 1$, the union of any nonempty $s$-Hausdorff dimensional family of $k$-dimensional affine subspaces of ${\mathbb R}^n$ has Hausdorff dimension $k+s$. More generally, we show that for any $0 <…

The intermediate dimensions of a set $\Lambda$, elsewhere denoted by $\dim_{\theta}\Lambda$, interpolates between its Hausdorff and box dimensions using the parameter $\theta\in[0,1]$. Determining a precise formula for…

In this paper we obtain new lower bounds for the upper box dimension of $\alpha\beta$ sets. As a corollary of our main result, we show that if $\alpha$ is not a Liouville number and $\beta$ is a Liouville number, then the upper box…

We consider a natural filtration $\boldsymbol{\operatorname{Bad}}(\delta) \subset \boldsymbol{\operatorname{Bad}}(\delta')$ for $\delta \geq \delta'>0$ on the set of badly approximable numbers to complement the filtration of the well…