Conceitos essenciais
Sequences that are finite-state functions of the Zeckendorf numeration system can be characterized as solutions of generalized Mahler equations.
Resumo
The paper introduces a generalization of Mahler equations, called Z-Mahler equations, which characterize sequences that are finite-state functions of the Zeckendorf numeration system.
Key highlights:
- The authors define Z-regular sequences as sequences that can be generated by weighted automata reading the Zeckendorf expansions of integers.
- They introduce the concept of Z-Mahler equations, which are a generalization of classical Mahler equations to the Zeckendorf numeration system.
- The main result is that any solution of an isolating Z-Mahler equation defines a Z-regular sequence, and conversely, any Z-regular sequence is the solution of a Z-Mahler equation.
- The authors provide a construction of a weighted automaton that generates the solution of an isolating Z-Mahler equation.
- They also show that the restriction to isolating equations is necessary, by providing an example of a non-isolating Z-Mahler equation whose solutions are not Z-regular.
- The results generalize from the base-q numeration system to more general numeration systems generated by linear recurrences.
Estatísticas
There are no key metrics or figures used to support the author's arguments.
Citações
"We define generalised equations of Z-Mahler type, based on the Zeckendorf numeration system."
"If the Z-Mahler equation is isolating, then its solutions define Z-regular sequences."
"While the Zeckendorf analogue of n 7→qn is not linear, we show, by using work of Frougny [Fro92], that its non-linearity can be calculated by a deterministic automaton."