Showing 1–1 of 1 results for author: Goyheneche, V

Decidability, arithmetic subsequences and eigenvalues of morphic subshifts

Authors: Fabien Durand, Valérie Goyheneche

Abstract: We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the subshifts they generate to give a first algorithm deciding whether, given p $\in$ N, there exists such a constant subsequence along an arithmetic progression of common difference p. In the special case of uniformly recurre… ▽ More We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the subshifts they generate to give a first algorithm deciding whether, given p $\in$ N, there exists such a constant subsequence along an arithmetic progression of common difference p. In the special case of uniformly recurrent automatic sequences we explicitely describe the sets of such p by means of automata. △ Less

Submitted 16 November, 2018; v1 submitted 9 November, 2018; originally announced November 2018.