arXiv++ Combinatorics

Given $β\in(1,2]$, let $T_β$ be the $β$-transformation on the unit circle $[0,1)$ such that $T_β(x)=βx\pmod 1$. For each $t\in[0,1)$ let $K_β(t)$ be the survivor set consisting of all $x\in[0,1)$ whose orbit $\{T^n_β(x): n\ge 0\}$ never hits the open interval $(0,t)$. Kalle et al. proved in [Ergodic Theory Dynam. Systems, 40 (9): 2482--2514, 2020] that the Hausdorff dimension function $t\mapsto\dim_H K_β(t)$ is a non-increasing Devil's staircase. So there exists a critical value $τ(β)$ such that $\dim_H K_β(t)>0$ if and only if $t<τ(β)$. In this paper we determine the critical value $τ(β)$ for all $β\in(1,2]$, answering a question of Kalle et al. (2020). For example, we find that for the Komornik-Loreti constant $β\approx 1.78723$ we have $τ(β)=(2-β)/(β-1)$. Furthermore, we show that (i) the function $τ: β\mapstoτ(β)$ is left continuous on $(1,2]$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $τ$ has no downward jumps, with $τ(1+)=0$ and $τ(2)=1/2$; and (iii) there exists an open set $O\subset(1,2]$, whose complement $(1,2]\setminus O$ has zero Hausdorff dimension, such that $τ$ is real-analytic, convex and strictly decreasing on each connected component of $O$. Consequently, the dimension $\dim_H K_β(t)$ is not jointly continuous in $β$ and $t$. Our strategy to find the critical value $τ(β)$ depends on certain substitutions of Farey words and a renormalization scheme from dynamical systems.

Let $N\ge 2$ and $ρ\in(0,1/N^2]$. The homogenous Cantor set $E$ is the self-similar set generated by the iterated function system \[ \left\{f_i(x)=ρx+\frac{i(1-ρ)}{N-1}: i=0,1,\ldots, N-1\right\}. \] Let $s=\dim_H E$ be the Hausdorff dimension of $E$, and let $μ=\mathcal H^s|_E$ be the $s$-dimensional Hausdorff measure restricted to $E$. In this paper we describe, for each $x\in E$, the pointwise lower $s$-density $Θ_*^s(μ,x)$ and upper $s$-density $Θ^{*s}(μ, x)$ of $μ$ at $x$. This extends some early results of Feng et al. (2000). Furthermore, we determine two critical values $a_c$ and $b_c$ for the sets \[ E_*(a)=\left\{x\in E: Θ_*^s(μ, x)\ge a\right\}\quad\textrm{and}\quad E^*(b)=\left\{x\in E: Θ^{*s}(μ, x)\le b\right\} \] respectively, such that $\dim_H E_*(a)>0$ if and only if $a<a_c$, and that $\dim_H E^*(b)>0$ if and only if $b>b_c$. We emphasize that both values $a_c$ and $b_c$ are related to the Thue-Morse type sequences, and our strategy to find them relies on ideas from open dynamics and techniques from combinatorics on words.

Given a positive integer $M$ and a real number $x>0$, let $\mathcal U(x)$ be the set of all bases $q\in(1, M+1]$ for which there exists a unique sequence $(d_i)=d_1d_2\ldots$ with each digit $d_i\in\{0,1,\ldots, M\}$ satisfying $$ x=\sum_{i=1}^\infty\frac{d_i}{q^i}. $$ The sequence $(d_i)$ is called a $q$-expansion of $x$. In this paper we investigate the local dimension of $\mathcal U(x)$ and prove a `variation principle' for unique non-integer base expansions. We also determine the critical values of $\mathcal U(x)$ such that when $x$ passes the first critical value the set $\mathcal U(x)$ changes from a set with positive Hausdorff dimension to a countable set, and when $x$ passes the second critical value the set $\mathcal U(x)$ changes from an infinite set to a singleton. Denote by $\mathbf U(x)$ the set of all unique $q$-expansions of $x$ for $q\in\mathcal U(x)$. We give the Hausdorff dimension of $\mathbf U(x)$ and show that the dimensional function $x\mapsto\dim_H\mathbf U(x)$ is a non-increasing Devil's staircase. Finally, we investigate the topological structure of $\mathcal U(x)$. In contrast with $x=1$ that $\mathcal U(1)$ has no isolated points, we prove that for typical $x>0$ the set $\mathcal U(x)$ contains isolated points.

Given $β\in(1,2)$ the fat Sierpinski gasket $\mathcal S_β$ is the self-similar set in $\mathbb R^2$ generated by the iterated function system (IFS) \[ f_{β,d}(x)=\frac{x+d}β,\quad d\in\mathcal A:=\{(0, 0), (1,0), (0,1)\}. \] Then for each point $P\in\mathcal S_β$ there exists a sequence $(d_i)\in\mathcal A^\mathbb N$ such that $P=\sum_{i=1}^\infty d_i/β^i$, and the infinite sequence $(d_i)$ is called a \emph{coding} of $P$. In general, a point in $\mathcal S_β$ may have multiple codings since the overlap region $\mathcal O_β:=\bigcup_{c,d\in\mathcal A, c\ne d}f_{β,c}(Δ_β)\cap f_{β,d}(Δ_β)$ has non-empty interior, where $Δ_β$ is the convex hull of $\mathcal S_β$. In this paper we are interested in the invariant set \[ \widetilde{\mathcal U}_β:=\left\{\sum_{i=1}^\infty \frac{d_i}{β^i}\in \mathcal S_β: \sum_{i=1}^\infty\frac{d_{n+i}}{β^i}\notin\mathcal O_β~\forall n\ge 0\right\}. \] Then each point in $ \widetilde{\mathcal U}_β$ has a unique coding. We show that there is a transcendental number $β_c\approx 1.55263$ related to the Thue-Morse sequence, such that $\widetilde{\mathcal U}_β$ has positive Hausdorff dimension if and only if $β>β_{c}$. Furthermore, for $β=β_c$ the set $\widetilde{\mathcal U}_β$ is uncountable but has zero Hausdorff dimension, and for $β<β_c$ the set $\widetilde{\mathcal U}_β$ is at most countable. Consequently, we also answer a conjecture of Sidorov (2007). Our strategy is using combinatorics on words based on the lexicographical characterization of $\widetilde{\mathcal U}_β$.

In this paper we answer several questions raised by Sidorov on the set $\mathcal B_2$ of bases in which there exist numbers with exactly two expansions. In particular, we prove that the set $\mathcal B_2$ is closed, and it contains both infinitely many isolated and accumulation points in $(1, q_{KL})$, where $q_{KL}\approx 1.78723$ is the Komornik-Loreti constant. Consequently we show that the second smallest element of $\mathcal B_2$ is the smallest accumulation point of $\mathcal B_2$. We also investigate the higher order derived sets of $\mathcal B_2$. Finally, we prove that there exists a $δ>0$ such that \begin{equation*} \dim_H(\mathcal B_2\cap(q_{KL}, q_{KL}+δ))<1, \end{equation*} where $\dim_H$ denotes the Hausdorff dimension.