Spectrum, algebraicity and normalization in alternate bases

02/08/2022
by   Émilie Charlier, et al.
0

The first aim of this article is to give information about the algebraic properties of alternate bases β=(β_0,…,β_p-1) determining sofic systems. We show that a necessary condition is that the product δ=∏_i=0^p-1β_i is an algebraic integer and all of the bases β_0,…,β_p-1 belong to the algebraic field ℚ(δ). On the other hand, we also give a sufficient condition: if δ is a Pisot number and β_0,…,β_p-1∈ℚ(δ), then the system associated with the alternate base β=(β_0,…,β_p-1) is sofic. The second aim of this paper is to provide an analogy of Frougny's result concerning normalization of real bases representations. We show that given an alternate base β=(β_0,…,β_p-1) such that δ is a Pisot number and β_0,…,β_p-1∈ℚ(δ), the normalization function is computable by a finite Büchi automaton, and furthermore, we effectively construct such an automaton. An important tool in our study is the spectrum of numeration systems associated with alternate bases. The spectrum of a real number δ>1 and an alphabet A⊂ℤ was introduced by Erdős et al. For our purposes, we use a generalized concept with δ∈ℂ and A⊂ℂ and study its topological properties.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

02/15/2021

Expansions in Cantor real bases

We introduce and study series expansions of real numbers with an arbitra...
02/01/2022

Combinatorial properties of lazy expansions in Cantor real bases

The lazy algorithm for a real base β is generalized to the setting of Ca...
11/07/2019

Weierstrass Semigroups From a Tower of Function Fields Attaining the Drinfeld-Vladut Bound

For applications in algebraic geometric codes, an explicit description o...
02/12/2018

Average Size of Implicational Bases

Implicational bases are objects of interest in formal concept analysis a...
05/24/2021

Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT

Approximation fixpoint theory (AFT) provides an algebraic framework for ...
02/17/2021

Dynamical behavior of alternate base expansions

We generalize the greedy and lazy β-transformations for a real base β to...
05/18/2020

An Algebraic Model For Quorum Systems

Quorum systems are a key mathematical abstraction in distributed fault-t...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.