Periodic unique codings of fat Sierpinski gasket

Abstract

For $β>1$ let $S_β$ be the Sierpinski gasket generated by the iterated function system \[\left\{f_{α_0}(x,y)=\Big(\frac{x}β,\frac{y}β\Big), \quad f_{α_1}(x,y)=\Big(\frac{x+1}β, \frac{y}β\Big), \quad f_{α_2}(x,y)=\Big(\frac{x}β, \frac{y+1}β\Big)\right\}.\] If $β\in(1,2]$, then the overlap region $O_β:=\bigcup_{i\ne j}f_{α_i}(Δ_β)\cap f_{α_j}(Δ_β)$ is nonempty, where $Δ_β$ is the convex hull of $S_β$. In this paper we study the periodic codings of the univoque set \[ \mathbf U_β:=\left\{(d_i)_{i=1}^\infty\in\{(0,0), (1,0), (0,1)\}^\mathbb N: \sum_{i=1}^\infty d_{n+i}β^{-i}\in S_β\setminus O_β~\forall n\ge 0\right\}. \] More precisely, we determine for each $k\in\mathbb N$ the smallest base $β_k\in(1,2]$ such that for any $β>β_k$ the set $\mathbf U_β$ contains a sequence of smallest period $k$. We show that each $β_k$ is a Perron number, and the sequence $(β_k)$ has infinitely many accumulation points. Furthermore, we show that $β_{3k}>β_{3\ell}$ if and only if $k$ is larger than $\ell$ in the Sharkovskii ordering; and the sequences $ (β_{3\ell+1}), (β_{3\ell+2})$ decreasingly converge to the same limit point $β_a\approx 1.55898$, respectively. In particular, we find that $β_{6m+4}=β_{3m+2}$ for all $m\ge 0$. Consequently, we prove that if $\mathbf U_β$ contains a sequence of smallest period $2$ or $4$, then $\mathbf U_β$ contains a sequence of smallest period $k$ for any $k\in\mathbb N$.