Source author record

Manon Stipulanti

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Discrete Mathematics Formal Languages and Automata Theory math.NT

Catalog footprint

Research overview

3works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A full characterization of Bertrand numeration systems

Among all positional numeration systems, the widely studied Bertrand numeration systems are defined by a simple criterion in terms of their numeration languages. In 1989, Bertrand-Mathis characterized them via representations in a real base $β$ . However, the given condition turns to be not necessary. Hence, the goal of this paper is to provide a correction of Bertrand-Mathis' result. The main difference arises when $β$ is a Parry number, in which case are derived two associated Bertrand numeration systems. Along the way, we define a non-canonical $β$ -shift and study its properties analogously to those of the usual canonical one.

preprint2022arXiv

On digital sequences associated with Pascal's triangle

We consider the sequence of integers whose $n$ th term has base- $p$ expansion given by the $n$ th row of Pascal's triangle modulo $p$ (where $p$ is a prime number). We first present and generalize well-known relations concerning this sequence. Then, with the great help of Sloane's On-Line Encyclopedia of Integer Sequences, we show that it appears naturally as a subsequence of a $2$ -regular sequence. Its study provides interesting relations and surprisingly involves odious and evil numbers, Nim-sum and even Gray codes. Furthermore, we examine similar sequences emerging from prime numbers involving alternating sum-of-digits modulo~ $p$ . This note ends with a discussion about Pascal's pyramid involving trinomial coefficients.

preprint2021arXiv

Robustness of Pisot-regular sequences

We consider numeration systems based on a $d$ -tuple $\mathbf{U}=(U_1,\ldots,U_d)$ of sequences of integers and we define $(\mathbf{U},\mathbb{K})$ -regular sequences through $\mathbb{K}$ -recognizable formal series, where $\mathbb{K}$ is any semiring. We show that, for any $d$ -tuple $\mathbf{U}$ of Pisot numeration systems and any commutative semiring $\mathbb{K}$ , this definition does not depend on the greediness of the $\mathbf{U}$ -representations of integers. The proof is constructive and is based on the fact that the normalization is realizable by a $2d$ -tape finite automaton. In particular, we use an ad hoc operation mixing a $2d$ -tape automaton and a $\mathbb{K}$ -automaton in order to obtain a new $\mathbb{K}$ -automaton.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.