Homecs.DMarXiv:2605.30306

On abelian periodicity of purely morphic words

cs.DM2026-05v1license

Abstract

Deciding periodicity of infinite words generated by morphisms is a classical result in combinatorics on words from 80's by Harju, Linna and Pansiot. In this paper, we are interested in this question in the abelian setting. Two words are called \textit{abelian equivalent} if they contain the same numbers of occurrences of each letter. An infinite word ss is called \emph{ultimately abelian periodic} if it can be factorized as s=uv1v2v3s=uv_1v_2v_3\cdots, where viv_i's are abelian equivalent words. If uu is empty, then ss is called \emph{purely abelian periodic}. We provide the following characterization of binary morphisms generating abelian periodic words: A word generated by a binary morphism ff is abelian periodic if and only if either it is periodic or there exist an integer KK and words uu, vv, uu', vv' such that fK(a)=uvf^K(a) = uv, fK(b)=uvf^K(b) = u'v', uabuu\sim_{ab} u', and vuvu and vuv'u' are abelian periodic with abelian equivalent periods. For the case of the purely abelian periodic words, we also provide an upper bound on KK which makes the obtained characterization algorithmic.

Cite

@article{arxiv.2605.30306,
  title  = {On abelian periodicity of purely morphic words},
  author = {Arina Filimonova and Svetlana Puzynina},
  journal= {arXiv preprint arXiv:2605.30306},
  year   = {2026}
}