On possible values of the group complexity function of infinite words

A classical notion of a factor complexity of an infinite word is defined as a function $p(n)$ counting, for each $n$, the number of distinct factors (or blocks of consecutive letters) of the word of length $n$.

The notion has various generalizations and variants.

For example, the abelian complexity $p_{ab}(n)$ counts the number of distinct factors of each length $n$ up to abelian equivalence, i.e., only the numbers of occurrences of letters are taken into account, and not their order.

The notion of a group complexity generalizes both notions of a factor and an abelian complexities.

Namely, given a sequence $\omega=(G_n)_{n=1}^{\infty}$ of subgroups of the symmetric group $S_n$, the group complexity $p_{\omega}(n)$ of a word counts the number of classes of factors of each length $n$ of the word, where words obtained from one another by permutations from $G_n$ are put in the same class.

Taking $G_n=S_n$, we obtain the abelian complexity, and taking $G_n=Id$, we recover the factor complexity.

Clearly, the group complexity value is between the abelian and the factor complexities.

In this paper, we are interested in the following property of words.

We say that an infinite word has universal group complexity if for each length $n$ and for each $k$ satisfying $p_s^{ab}(n) \leqslant k \leqslant p_s(n)$, there exists a group $G \in S_n$ such that $p_s^G(n) = k$.

In other words, all ``intermediate'' values of complexity can be obtained.

We show that Sturmian words satisfy the universal group complexity property, while they are not the only ones.

We also study the universal group complexity property for aperiodic ternary words of minimal complexity and for eventually periodic words.