Mixing properties of erasing interval maps

Abstract

AbstractWe study the measurable dynamical properties of the interval map generated by the model-case erasing substitution $\rho $ , defined by $$ \begin{align*} \rho(00)=\text{empty word},\quad \rho(01)=1,\quad \rho(10)=0,\quad \rho(11)=01. \end{align*} $$ We prove that, although the map is singular, its square preserves the Lebesgue measure and is strongly mixing, thus ergodic, with respect to it. We discuss the extension of the results to more general erasing maps.