Papers
Topics
Authors
Recent
Search
2000 character limit reached

Two applications of the spectrum of numbers

Published 14 Dec 2015 in math.NT and cs.FL | (1512.04234v3)

Abstract: Let the base β\beta be a complex number, $|\beta|&gt;1$, and let $A \subset \C$ be a finite alphabet of digits. The \emph{AA-spectrum} of β\beta is the set SA(β)=k=0<sup>n</sup>akβ<sup>k</sup>nN, akAS_{A}(\beta) = {\sum_{k=0}<sup>n</sup> a_k\beta<sup>k</sup> \mid n \in \mathbb{N}, \ a_k \in {A}}. We show that the spectrum SA(β)S_{{A}}(\beta) has an accumulation point if and only if $0$ has a particular (β,A)(\beta, A)-representation, said to be \emph{rigid}. The first application is restricted to the case that $\beta &gt;1 $ and the alphabet is A=M,,MA={-M, \ldots, M}, M1M \ge 1 integer. We show that the set Zβ,MZ_{\beta,M} of infinite (β,A)(\beta, A)-representations of $0$ is recognizable by a finite B\"uchi automaton if and only if the spectrum SA(β)S_A(\beta) has no accumulation point. Using a result of Akiyama-Komornik and Feng, this implies that Zβ,MZ_{\beta, M} is recognizable by a finite B\"uchi automaton for any positive integer Mβ1M \ge \lceil \beta \rceil -1 if and only if β\beta is a Pisot number. This improves the previous bound MβM \ge \lceil \beta \rceil . For the second application the base and the digits are complex. We consider the on-line algorithm for division of Trivedi and Ercegovac generalized to a complex numeration system. In on-line arithmetic the operands and results are processed in a digit serial manner, starting with the most significant digit. The divisor must be far from $0$, which means that no prefix of the (β,A)(\beta,A)-representation of the divisor can be small. The numeration system (β,A)(\beta,A) is said to \emph{allow preprocessing} if there exists a finite list of transformations on the divisor which achieve this task. We show that (β,A)(\beta,A ) allows preprocessing if and only if the spectrum SA(β)S_{{A}}(\beta) has no accumulation point.

Citations (3)

Summary

No one has generated a summary of this paper yet.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Continue Learning

We haven't generated follow-up questions for this paper yet.