BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Célia Cisternino

Célia Cisternino contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Discrete Mathematicsmath.COFormal Languages and Automata Theorymath.DSmath.NTmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

6 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Combinatorial properties of lazy expansions in Cantor real bases

The lazy algorithm for a real base $β$ is generalized to the setting of Cantor bases $\boldsymbolβ=(β_n)_{n\in \mathbb{N}}$ introduced recently by Charlier and the author. To do so, let $x_{\boldsymbolβ}$ be the greatest real number that has a $\boldsymbolβ$-representation $a_0a_1a_2\cdots$ such that each letter $a_n$ belongs to $\{0,\ldots,\lceil β_n \rceil -1\}$. This paper is concerned with the combinatorial properties of the lazy $\boldsymbolβ$-expansions, which are defined when $x_{\boldsymbolβ}<+\infty$. As an illustration, Cantor bases following the Thue-Morse sequence are studied and a formula giving their corresponding value of $x_{\boldsymbolβ}$ is proved. First, it is shown that the lazy $\boldsymbolβ$-expansions are obtained by &#34;flipping&#34; the digits of the greedy $\boldsymbolβ$-expansions. Next, a Parry-like criterion characterizing the sequences of non-negative integers that are the lazy $\boldsymbolβ$-expansions of some real number in $(x_{\boldsymbolβ}-1,x_{\boldsymbolβ}]$ is proved. Moreover, the lazy $\boldsymbolβ$-shift is studied and in the particular case of alternate bases, that is the periodic Cantor bases, an analogue of Bertrand-Mathis&#39; theorem in the lazy framework is proved: the lazy $\boldsymbolβ$-shift is sofic if and only if all quasi-lazy $\boldsymbolβ^{(i)}$-expansions of $x_{\boldsymbolβ^{(i)}}-1$ are ultimately periodic, where $\boldsymbolβ^{(i)}$ is the $i$-th shift of the alternate base $\boldsymbolβ$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Spectrum, algebraicity and normalization in alternate bases

The first aim of this article is to give information about the algebraic properties of alternate bases $\boldsymbolβ=(β_0,\dots,β_{p-1})$ determining sofic systems. We show that a necessary condition is that the product $δ=\prod_{i=0}^{p-1}β_i$ is an algebraic integer and all of the bases $β_0,\ldots,β_{p-1}$ belong to the algebraic field ${\mathbb Q}(δ)$. On the other hand, we also give a sufficient condition: if $δ$ is a Pisot number and $β_0,\ldots,β_{p-1}\in {\mathbb Q}(δ)$, then the system associated with the alternate base $\boldsymbolβ=(β_0,\dots,β_{p-1})$ is sofic. The second aim of this paper is to provide an analogy of Frougny&#39;s result concerning normalization of real bases representations. We show that given an alternate base $\boldsymbolβ=(β_0,\dots,β_{p-1})$ such that $δ$ is a Pisot number and $β_0,\ldots,β_{p-1}\in {\mathbb Q}(δ)$, 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\subset {\mathbb Z}$ was introduced by Erdős et al. For our purposes, we use a generalized concept with $δ\in{\mathbb C}$ and $A\subset{\mathbb C}$ and study its topological properties.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Dynamical behavior of alternate base expansions

We generalize the greedy and lazy $β$-transformations for a real base $β$ to the setting of alternate bases $\boldsymbolβ=(β_0,\ldots,β_{p-1})$, which were recently introduced by the first and second authors as a particular case of Cantor bases. As in the real base case, these new transformations, denoted $T_\boldsymbolβ$ and $L_\boldsymbolβ$ respectively, can be iterated in order to generate the digits of the greedy and lazy $\boldsymbolβ$-expansions of real numbers. The aim of this paper is to describe the dynamical behaviors of $T_\boldsymbolβ$ and $L_\boldsymbolβ$. We first prove the existence of a unique absolutely continuous (with respect to an extended Lebesgue measure, called the $p$-Lebesgue measure) $T_\boldsymbolβ$-invariant measure. We then show that this unique measure is in fact equivalent to the $p$-Lebesgue measure and that the corresponding dynamical system is ergodic and has entropy $\frac{1}{p}\log(β_{p-1}\cdots β_0)$. We then express the density of this measure and compute the frequencies of letters in the greedy $\boldsymbolβ$-expansions. We obtain the dynamical properties of $L_\boldsymbolβ$ by showing that the lazy dynamical system is isomorphic to the greedy one. We also provide an isomorphism with a suitable extension of the $β$-shift. Finally, we show that the $\boldsymbolβ$-expansions can be seen as $(β_{p-1}\cdots β_0)$-representations over general digit sets and we compare both frameworks.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Expansions in Cantor real bases

We introduce and study series expansions of real numbers with an arbitrary Cantor real base $\boldsymbolβ=(β_n)_{n\in\mathbb{N}}$, which we call $\boldsymbolβ$-representations. In doing so, we generalize both representations of real numbers in real bases and through Cantor series. We show fundamental properties of $\boldsymbolβ$-representations, each of which extends existing results on representations in a real base. In particular, we prove a generalization of Parry&#39;s theorem characterizing sequences of nonnegative integers that are the greedy $\boldsymbolβ$-representations of some real number in the interval $[0,1)$. We pay special attention to periodic Cantor real bases, which we call alternate bases. In this case, we show that the $\boldsymbolβ$-shift is sofic if and only if all quasi-greedy $\boldsymbolβ^{(i)}$-expansions of $1$ are ultimately periodic, where $\boldsymbolβ^{(i)}$ is the $i$-th shift of the Cantor real base $\boldsymbolβ$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access