Related papers: Small Furstenberg sets
Let $\alpha$ and $\beta$ be two Furstenberg transformations on 2-torus associated with irrational numbers $\theta_1,$ $\theta_2,$ integers $d_1, d_2$ and Lipschitz functions $f_1$ and $f_2.$ We show that $\alpha$ and $\beta$ are…
Generalising a construction of Falconer, we consider classes of $G_\delta$-subsets of $\mathbb{R}^d$ with the property that sets belonging to the class have large Hausdorff dimension and the class is closed under countable intersections. We…
For any $\beta > 1$, denoted by $r_n(x,\beta)$ the maximal length of consecutive zeros amongst the first $n$ digits of the $\beta$-expansion of $x\in[0,1]$. The limit superior (respectively limit inferior) of $\frac{r_n(x,\beta)}{n}$ is…
It is known that nonergodic directions in a rational billiard form a subset of the unit circle with Hausdorff dimension at most 1/2. Explicit examples realizing the dimension 1/2 are constructed using Diophantine numbers and continued…
In this paper we consider the specification property for $(\alpha,\beta)$-shifts. When $\alpha=0$, Schmeling shows that the set of $\beta>1$ for which the $\beta$-shift has the specification property has the Lebesgue measure zero but has…
Hausdorff dimensions of level sets of generic continuous functions defined on fractals were considered in two papers by R. Balka, Z. Buczolich and M. Elekes. In those papers the topological Hausdorff dimension of fractals was defined. In…
We consider badly approximable numbers in the case of dyadic diophantine approximation. For the unit circle $\mathbb{S}$ and the smallest distance to an integer $\|\cdot\|$ we give elementary proofs that the set $F(c) = \{x \in \mathbb{S}:…
Given an integer $N\ge 2$ and a real number ${\beta}>1$, let $\Gamma_{{\beta},N}$ be the set of all $x=\sum_{i=1}^\infty {d_i}/{{\beta}^i}$ with $d_i\in\{0,1,\cdots,N-1\}$ for all $i\ge 1$. The infinite sequence $(d_i)$ is called a…
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 establish a $p$-adic analogue of a recent significant result of Ren-Wang (arXiv:2308.08819) on Furstenberg sets in the Euclidean plane. Building on the $p$-adic version of the high-low method from Chu (arXiv:2510.20104), we analyze…
We prove that if $E\subseteq \R^2$ is analytic and $1<d < \dim_H(E)$, there are ``many'' points $x\in E$ such that the Hausdorff dimension of the pinned distance set $\Delta_x E$ is at least $d\left(1 -…
It is shown that for every $\e\in (0,1)$, every compact metric space $(X,d)$ has a compact subset $S\subseteq X$ that embeds into an ultrametric space with distortion $O(1/\e)$, and $$\dim_H(S)\ge (1-\e)\dim_H(X),$$ where $\dim_H(\cdot)$…
Consider a finite Blaschke product $f$ with $f(0) = 0$ which is not a rotation and denote by $f^n$ its $n$-th iterate. Given a sequence $\{a_n\}$ of complex numbers, consider the series $F(z) = \sum_n a_n f^n(z).$ We show that for any $w…
For a real $x\in(0,1)\setminus\mathbb{Q}$, let $x=[a_1(x),a_2(x),\cdots]$ be its continued fraction expansion. Let $s_n(x)=\sum_{j=1}^n a_j(x)$. The Hausdorff dimensions of the level sets $E_{\varphi(n),\alpha}:=\{x\in(0,1):…
We study the sets $\mathcal{L}$ and $\mathcal{M}\setminus\mathcal{L}$ near $3$, where $\mathcal{L}$ and $\mathcal{M}$ are the classical Lagrange and Markov spectra. More specifically, we construct a strictly decreasing sequence…
It is known that in $\mathbb{R}^n,n\geq 2$, a compact set which contains $n-1$ spheres with all radii in $[1/2,1]$ or with all possible centres in $[0,1]^n$ has full Hausdorff dimension. In fact the later set has positive Lebesgue measure.…
Given $E \subset \mathbb{R}^d$, $d \ge 2$, define ${\mathcal D}(E) \equiv {(x-y)/|x-y|: x,y \in E} \subset S^{d-1},$ the set of directions determined by $E$. We prove that if the Hausdorff dimension of $E$ is greater than $d-1$, then…
Let $\Gamma \subseteq \text{SL}_2(\mathbb{R})$ be a genus zero Fuchsian group of the first kind having $\infty$ as a cusp, and let $E_{2 k}^{\Gamma}$ be the holomorphic Eisenstein series associated with $\Gamma$ for the $\infty$ cusp that…
We consider billiards in a (1/2)-by-1 rectangle with a barrier midway along a vertical side. Let NE be the set of directions theta such that the flow in direction theta is not ergodic. We show that the Hausdorff dimension of the set NE is…
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…