Abelian properties of Parry words

TL;DR

This paper demonstrates that the abelian complexity and balance functions of c-balanced Parry words can be computed using finite-state automata, leveraging the concept of relative Parikh vectors.

Contribution

It introduces a method to compute abelian complexity and balance functions of Parry words via finite automata using relative Parikh vectors.

Findings

Abelian complexity of c-balanced Parry words is automaton-computable.

Balance functions of c-balanced Parry words are also automaton-computable.

The approach applies to functions expressed through relative Parikh vectors.

Abstract

Abelian complexity of a word $\mathbf{u}$ is a function that counts the number of pairwise non-abelian-equivalent factors of $\mathbf{u}$ of length $n$. We prove that for any $c$-balanced Parry word $\mathbf{u}$, the values of the abelian complexity function can be computed by a finite-state automaton. The proof is based on the notion of relative Parikh vectors. The approach works for any function $F(n)$ that can be expressed in terms of the set of relative Parikh vectors corresponding to the length $n$. For example, we show that the balance function of a $c$-balanced Parry word is computable by a finite-state automaton as well.