Open dynamical systems with a moving hole

Abstract

Given an integer $b\ge 3$, let $T_b: [0,1)\to [0,1); x\mapsto bx\pmod 1$ be the expanding map on the unit circle. For any $m\in\mathbb{N}$ and $ω=ω^0ω^1\ldots\in(\left\{0,1,\ldots,b-1\right\}^m)^\mathbb{N_0}$ let \[ K^ω=\left\{x\in[0,1): T_b^n(x)\notin I_{ω^n}~\forall n\geq 0\right\},\] where $I_{ω^n}$ is the $b$-adic basic interval generated by $ω^n$. Then $K^ω$ is called the survivor set of the open dynamical system $([0,1),T_b,I_ω)$ with respect to the sequence of holes $I_ω=\left\{I_{ω^n}: n\geq 0\right\}$. We show that the Hausdorff and lower box dimensions of $K^ω$ always conincide, and the packing and upper box dimensions of $K^ω$ also coincide. Moreover, we give sharp lower and upper bounds for the dimensions of $K^ω$, which can be calculated explicitly. For any admissible $α\leq β$ there exist infinitely many $ω$ such that $\dim_H K^ω=α$ and $\dim_P K^ω=β$. As applications we study badly approximable numbers in Diophantine approximation. For an arbitrary sequence of balls $\left\{B_n\right\}$, let $K\left(\left\{B_n\right\}\right)$ be the set of $x\in[0,1)$ such that $T_b^n(x)\notin B_n$ for all but finitely many $n\geq 0$. Assuming $\lim_{n\to\infty}\operatorname{diam} \left(B_n\right)$ exists, we show that $\dim_H K\left(\left\{B_n\right\}\right)=1$ if and only if $\lim_{n\to\infty}\operatorname{diam} \left(B_n\right)=0$. For any positive function $ϕ$ on $\mathbb{N}$, let $E\left(ϕ\right)$ be the set of $x\in[0,1)$ satisfying $|T_b^n (x)-x|\geq ϕ(n)$ for all but finitely many $n$. If $\lim_{n\to\infty}ϕ(n)$ exists, then $\dim_H E(ϕ)=1$ if and only if $\lim_{n\to\infty}ϕ(n)=0$. Our results can be applied to study joint spectral radius of matrices. We show that the finiteness property for the joint spectral radius of associated adjacency matrices holds true.