On normal numbers and self-similar measures

Amir Algom, Simon Baker, Pablo Shmerkin

Published 2021-11-19Version 1

Let $\lbrace f_i(x)=s_i \cdot x+t_i \rbrace$ be a self-similar IFS on $\mathbb{R}$ and let $\beta >1$ be a Pisot number. We prove that if $\frac{\log |s_i|}{\log \beta}\notin \mathbb{Q}$ for some $i$ then for every $C^1$ diffeomorphism $g$ and every non-atomic self similar measure $\mu$, the measure $g\mu$ is supported on numbers that are normal in base $\beta$.