Title:Supercritical holes

Abstract:Let $\beta>1$ and let $T_\beta(x)=\beta x\bmod1:[0,1)\to[0,1)$ be the corresponding $\beta$-transformation. Let $H=(a,b)\subset (0,1)$ be a hole and put $J_H(T)=\{x\in H : T^n_\beta(x)\notin H,\forall n\ge0\}$.
We say that $H_0$ is supercritical if 1) for any hole $H$ such that $\ov H_0\subset H$ we have $J_H(T)=\{0\}$; 2) for any hole $H$ such that $\ov H\subset H_0$ we have $\dim_H(J_H(T))>0$. The purpose of this note is to show that for any $\beta\in(1,2]$ there exists a continuum of supercritical holes for $T_\beta$ which are naturally parametrized by Sturmian words. We also prove that any cyclic Pisot automorphism of a torus has a supercritical hole (modulo a standard number-theoretic conjecture). Our methods are symbolic in nature.