- Research Article
- 10.1142/s021819672650030x
Mahler equations for Zeckendorf numeration
- Apr 24, 2026
- International Journal of Algebra and Computation
- Olivier Carton + 1 more +1
A Pisot numeration system [Formula: see text] for [Formula: see text] is one where the sequence of positive integers [Formula: see text], with [Formula: see text], is generated by a recurrence whose polynomial is the minimal polynomial of a Pisot number. The Zeckendorf numeration [Formula: see text] is the simplest such example. We define generalised equations of [Formula: see text]-Mahler type, and we show that if a sequence over a commutative ring is [Formula: see text]-regular, then it is the sequence of coefficients of a series which is a solution of a [Formula: see text]-Mahler equation. Conversely, if the [Formula: see text]-Mahler equation is isolating, then its solutions define [Formula: see text]-regular sequences. This is a generalisation of results of Becker and Dumas. We provide an example to show that there exist non-isolating [Formula: see text]-Mahler equations whose solutions do not define [Formula: see text]-regular sequences. Our proof yields a new construction of weighted automata that generate classical [Formula: see text]-regular sequences. Our results can be generalised to numeration systems generated by recurrences whose characteristic polynomial is the minimal polynomial of a Pisot number.
Read more