On abelian periodicity of purely morphic words
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 is called \emph{ultimately abelian periodic} if it can be factorized as , where 's are abelian equivalent words. If is empty, then 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 is abelian periodic if and only if either it is periodic or there exist an integer and words , , , such that , , , and and are abelian periodic with abelian equivalent periods. For the case of the purely abelian periodic words, we also provide an upper bound on 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}
}