Decidability, arithmetic subsequences and eigenvalues of morphic subshifts

Fabien Durand, Valérie Goyheneche

We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the su…