Automatic sequences are orthogonal to aperiodic multiplicative functions

Abstract

Given a finite alphabet $\mathbb{A}$ and a primitive substitution $θ:\mathbb{A}\to\mathbb{A}^λ$ (of constant length $λ$), let $(X_θ,S)$ denote the corresponding dynamical system, where $X_θ$ is the closure of the orbit via the left shift $S$ of a fixed point of the natural extension of $θ$ to a self-map of $\mathbb{A}^{\mathbb{Z}}$. The main result of the paper is that all continuous observables in $X_θ$ are orthogonal to any bounded, aperiodic, multiplicative function $\mathbf{u}:\mathbb{N}\to\mathbb{C}$, i.e. \[ \lim_{N\to\infty}\frac1N\sum_{n\leq N}f(S^nx)\mathbf{u}(n)=0\] for all $f\in C(X_θ)$ and $x\in X_θ$. In particular, each primitive automatic sequence, that is, a sequence read by a primitive finite automaton, is orthogonal to any bounded, aperiodic, multiplicative function.