English

Block-counting sequences are not purely morphic

Combinatorics 2023-05-01 v1

Abstract

Let mm be a positive integer larger than 11, let ww be a finite word over {0,1,...,m1}\left\{0,1,...,m-1\right\} and let am;w(n)a_{m;w}(n) be the number of occurrences of the word ww in the mm-expansion of nn mod pp for any non-negative integer nn. In this article, we first give a fast algorithm to generate all sequences of the form (am;w(n))nN(a_{m;w}(n))_{n \in \mathbf{N}}; then, under the hypothesis that mm is a prime, we prove that all these sequences are mm-uniformly but not purely morphic, except for w=1,2,...,m1w=1,2,...,m-1; finally, under the same assumption of mm as before, we prove that the power series i=0am;w(n)tn\sum_{i=0}^{\infty} a_{m;w}(n)t^n is algebraic of degree mm over Fm(t)\mathbb{F}_m(t).

Keywords

Cite

@article{arxiv.2304.14595,
  title  = {Block-counting sequences are not purely morphic},
  author = {Antoine Abram and Yining Hu and Shuo Li},
  journal= {arXiv preprint arXiv:2304.14595},
  year   = {2023}
}
R2 v1 2026-06-28T10:20:23.787Z