arXiv · 1811.03942
Decidability, arithmetic subsequences and eigenvalues of morphic subshifts
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 recurrent automatic sequences we explicitely describe the sets of such p by means of automata.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Fabien Durand, Valérie Goyheneche. 2018-11-16. Decidability, arithmetic subsequences and eigenvalues of morphic subshifts. https://arxiv.org/abs/1811.03942
Cite the original work for its findings. Save a collection to share your selection of sources.