English

Generalized Thue-Morse words and palindromic richness

Combinatorics 2015-03-12 v3

Abstract

We prove that the generalized Thue-Morse word tb,m\mathbf{t}_{b,m} defined for b2b \geq 2 and m1m \geq 1 as tb,m=(sb(n)modm)n=0+\mathbf{t}_{b,m} = (s_b(n) \mod m)_{n=0}^{+\infty}, where sb(n)s_b(n) denotes the sum of digits in the base-bb representation of the integer nn, has its language closed under all elements of a group DmD_m isomorphic to the dihedral group of order 2m2m consisting of morphisms and antimorphisms. Considering simultaneously antimorphisms ΘDm\Theta \in D_m, we show that tb,m\mathbf{t}_{b,m} is saturated by Θ\Theta-palindromes up to the highest possible level. Using the terminology generalizing the notion of palindromic richness for more antimorphisms recently introduced by the author and E. Pelantov\'a, we show that tb,m\mathbf{t}_{b,m} is DmD_m-rich. We also calculate the factor complexity of tb,m\mathbf{t}_{b,m}.

Keywords

Cite

@article{arxiv.1104.2476,
  title  = {Generalized Thue-Morse words and palindromic richness},
  author = {Štěpán Starosta},
  journal= {arXiv preprint arXiv:1104.2476},
  year   = {2015}
}

Comments

11 pages

R2 v1 2026-06-21T17:53:29.166Z