We characterize precisely the possible sets of periods and least periods for
the periodic points of a shift of finite type (SFT). We prove that a set is
the set of least periods of some mixing SFT if and only if it is either
or
cofinite, and the set of periods of some mixing SFT if and only if it is cofinite and
closed under multiplication by arbitrary natural numbers. We then use these results
to derive similar characterizations for the class of irreducible SFTs and the
class of all SFTs. Specifically, a set is the set of (least) periods for some
irreducible SFT if and only if it can be written as a natural number times the
set of (least) periods for some mixing SFT, and a set is the set of (least)
periods for an SFT if and only if it can be written as the finite union of the
sets of (least) periods for some irreducible SFTs. Finally, we prove that the
possible sets of (least) periods of mixing sofic shifts are exactly the same as for
mixing SFTs, and that the same is not true for the class of nonmixing sofic
shifts.
Keywords
periodic points, shifts of finite type, Sharkovsky's
theorem