Abstract Numeration Systems and Recognizability - … · Abstract Numeration Systems Deﬁnition An...

Abstract Numeration Systems and Recognizability

Emilie Charlier

Department of Mathematics

University of Liège

Rencontres arithmétique de l’informatique mathématiqueJanvier 2007

Outline of the talk

Abstract Numeration Systems

Some natural Questions

First Results about Recognizability

Bounded Languages

Bℓ-Representation of an Integer

Multiplication by λ = βℓ


DefinitionAn abstract numeration system is a triple S = (L, Σ, <) where L isa regular language over a totally ordered alphabet (Σ, <).

Enumerating the words of L with respect to the genealogicalordering induced by < gives a one-to-one correspondence

repS : N→ L valS = rep−1S : L→ N.


Example

L = a∗, Σ = {a}

n 0 1 2 3 4 · · ·

rep(n) ε a aa aaa aaaa · · ·

Example

L = {a, b}∗, Σ = {a, b}, a < b

n 0 1 2 3 4 5 6 7 · · ·

rep(n) ε a b aa ab ba bb aaa · · ·


Example

L = a∗b∗, Σ = {a, b}, a < b

n 0 1 2 3 4 5 6 · · ·

rep(n) ε a b aa ab bb aaa · · ·

val(apbq) = 12(p + q)(p + q + 1) + q


��

#b

#a


��

��

#b

#a


��

��

��

#b

#a


��

��

��

��

#b

#a


��

��

��

��

��

#b

#a


��

��

��

��

��

��

��

��

��

#b

#a


��

��

��

��

��

��

��

��

��

��

��

��

��

��

#b

#a


RemarkThis generalizes “classical” Pisot systems like integer base systemsor Fibonacci system.

L = {ε} ∪ {1, . . . , k − 1}{0, . . . , k − 1}∗ or L = {ε} ∪ 1{0, 01}∗

DefinitionA set X ⊆ N is S-recognizable if repS(X ) ⊆ Σ∗ is a regularlanguage (accepted by a DFA).


◮ What about S-recognizable sets ?



◮ Are ultimately periodic sets S-recognizable for any S ?



◮ Are ultimately periodic sets S-recognizable for any S ?◮ For a given X ⊆ N, can we find S s.t. X is S-recognizable ?



◮ Are ultimately periodic sets S-recognizable for any S ?◮ For a given X ⊆ N, can we find S s.t. X is S-recognizable ?◮ For a given S , what are the S-recognizable sets ?




◮ Can we compute “easily” in these systems ?◮ Addition, multiplication by a constant, . . .





◮ Any hope for a Cobham’s theorem ?






◮ Can we also represent real numbers ?







◮ Number theoretic problems like additive functions ?







◮ Number theoretic problems like additive functions ?

◮ Dynamics, odometer, tilings, logic. . .


TheoremLet S = (L, Σ, <) be an abstract numeration system. Anyarithmetic progression is S-recognizable.

Well-known Fact (see Eilenberg’s book)

The set of squares is never recognizable in any integer base system.

Example

Let L = a∗b∗ ∪ a∗c∗, Σ = {a, b, c}, a < b < c.

n 0 1 2 3 4 5 6 7 8 9 · · ·

rep(n) ε a b c aa ab ac bb cc aaa · · ·


Theorem (Translation)

Let S = (L, Σ, <) be an abstract numeration system and X ⊆ N.For each t ∈ N, X + t is S-recognizable if and only if X isS-recognizable.

Question : Multiplication by a Constant

If S = (L, Σ, <) is an abstract numeration system, can we findsome necessary and sufficient condition on λ ∈ N such that for anyS-recognizable set X , the set λX is still S-recognizable ?

X S-rec?−→ λX S-rec


DefinitionWe denote by uL(n) the number of words of length n belongingto L.

Theorem (Polynomial Case)

Let L ⊆ Σ∗ be a regular language such that uL(n) ∈ Θ(nk), k ∈ N

and S = (L, Σ, <). Preservation of S-recognizability aftermultiplication by λ holds only if λ = βk+1 for some β ∈ N.


DefinitionA language L is slender if uL(n) ∈ O(1).

Theorem (Slender Case)

Let L ⊂ Σ∗ be a slender regular language and S = (L, Σ, <). A setX ⊆ N is S-recognizable if and only if X is a finite union ofarithmetic progressions.

Corollary

Let S be a numeration system built on a slender language. IfX ⊆ N is S-recognizable then λX is S-recognizable for all λ ∈ N.


TheoremLet β > 0. For the abstract numeration system

S = (a∗b∗, {a, b}, a < b),

multiplication by β2 preserves S-recognizability if and only if β isan odd integer.

Bounded Languages

NotationWe denote by Bℓ = a∗1 · · · a

∗ℓ the bounded language over the totally

ordered alphabet Σℓ = {a1 < . . . < aℓ} of size ℓ ≥ 1.

We consider abstract numeration systems of the form (Bℓ, Σℓ) andwe denote by repℓ and valℓ the corresponding bijections.

A set X ⊆ N is said to be Bℓ-recognizable if repℓ(X ) is a regularlanguage over the alphabet Σℓ.

Bounded Languages

In this context, multiplication by a constant λ can be viewed as atransformation

fλ : Bℓ → Bℓ.

The question becomes then :

Can we determine some necessary and sufficient condition underwhich this transformation preserves regular subsets of Bℓ ?

Bounded Languages

Example

Let ℓ = 2, Σ2 = {a, b} and λ = 25.

8×25−−→ 200

rep2 ↓ ↓ rep2

a b2 f25−→ a9 b10

N×λ−−→ N

repℓ ↓ ↓ repℓ

Bℓfλ−→ Bℓ

Thus multiplication by λ = 25 induces a mapping fλ onto B2 suchthat for w , w ′ ∈ B2, fλ(w) = w ′ if and only ifval2(w

′) = 25 val2(w).


We setuℓ(n) := uBℓ

(n) = #(Bℓ ∩ Σnℓ )

and

vℓ(n) := #(Bℓ ∩ Σ≤nℓ ) =

n∑

i=0

uℓ(i).

LemmaFor all ℓ ≥ 1 and n ≥ 0, we have

uℓ+1(n) = vℓ(n) (1)

and

uℓ(n) =

(

n + ℓ− 1

ℓ− 1

)

. (2)


LemmaLet S = (a∗1 · · · a

∗ℓ , {a1 < · · · < aℓ}). We have

valℓ(an1

1 · · · anℓ

ℓ ) =

ℓ∑

i=1

(

ni + · · ·+ nℓ + ℓ− i

ℓ− i + 1

)

.

Corollary (Katona, 1966)

Let ℓ ∈ N \ {0}. Any integer n can be uniquely written as

n =

(

zℓ

ℓ

)

+

(

zℓ−1

ℓ− 1

)

+ · · ·+

(

z1

1

)

(3)

with zℓ > zℓ−1 > · · · > z1 ≥ 0.


Example

Consider the words of length 3 in the language a∗b∗c∗,

aaa < aab < aac < abb < abc < acc < bbb < bbc < bcc < ccc.

We have val3(aaa) =(

53

)

= 10 and val3(acc) = 15. If we apply theerasing morphism ϕ : {a, b, c} → {a, b, c}∗ defined by

ϕ(a) = ε, ϕ(b) = b, ϕ(c) = c

on the words of length 3, we get

ε < b < c < bb < bc < cc < bbb < bbc < bcc < ccc.

So we have val3(acc) = val3(aaa) + val2(cc) where val2 isconsidered as a map defined on the language b∗c∗.


Algorithm computing repℓ(n).

Let n be an integer and l be a positive integer.For i=l,l-1,...,1 do

if n>0,

find t such that(

t

i

)

≤ n <(

t+1i

)

z(i)←t

n←n-(

t

i

)

otherwise, z(i)←i-1

Consider now the triangular system having α1, . . . , αℓ as unknowns

αi + · · ·+ αℓ = z(ℓ− i + 1)− ℓ + i , i = 1, . . . , ℓ.

One has repℓ(n) = aα1

1 · · · aαℓ

ℓ .


Example

For ℓ = 3, one gets for instance

12345678901234567890 =

(

4199737

3

)

+

(

3803913

2

)

+

(

1580642

1

)

and solving the system

n1 + n2 + n3 = 4199737− 2n2 + n3 = 3803913− 1

n3 = 1580642

⇔ (n1, n2, n3) = (395823, 2223270, 1580642),

we have

rep3(12345678901234567890) = a395823b2223270c1580642.


RemarkWe have uBℓ

(n) ∈ Θ(nℓ−1).

So we have to focus only on multiplicators of the kind

λ = βℓ.


LemmaFor n ∈ N large enough, we have

|repℓ(βℓn)| = β |repℓ(n)|+

(β − 1)(ℓ− 1)

2+ i

with i ∈ {−1, 0, . . . , β − 1}.

DefinitionFor all i ∈ {−1, 0, . . . , β − 1} and k ∈ N large enough, we define

Ri ,k :=

{

n ∈ N : |repℓ(n)| = k and

|repℓ(βℓn)| = β k +

(β − 1)(ℓ− 1)

2+ i

}

.


Example (Multiplication by 25 in B2)

20 40 60 80

20

40

60

80

100

120

200 400 600 800 1000

200

400

600

800

1000


Example (The Ri before and after Multiplication by 25.)

10 20 30 40 50 60 70 80

20

40

60

80

100

200 400 600 800 1000

200

400

600

800

1000

10 20 30 40 50 60 70 80

20

40

60

80

100

200 400 600 800 1000

200

400

600

800

1000


10 20 30 40 50 60 70 80

20

40

60

80

100

200 400 600 800 1000

200

400

600

800

1000

10 20 30 40 50 60 70 80

20

40

60

80

100

200 400 600 800 1000

200

400

600

800

1000


TheoremLet S = (a∗b∗c∗, {a < b < c}). For any constant β ∈ N,

multiplication by β3 does not preserve S-recognizability.

Corollary

Let S = (a∗b∗c∗, {a < b < c}). For any constant λ ∈ N,

multiplication by λ does not preserve S-recognizability.

Past Conjecture

Multiplication by βℓ preserves S-recognizability for the abstractnumeration system

S = (a∗1 · · · a∗ℓ , {a1 < · · · < aℓ})

built on the bounded language Bℓ over ℓ letters if and only if

β =k

∏

i=1

pθi

i

where p1, . . . , pk are prime numbers strictly greater than ℓ.In other words, multiplication by βℓ does not preserveS-recognizability if and only if

∃M ∈ {2, . . . , ℓ} : β ≡ 0 (mod M).

Abstract Numeration Systems and Recognizability - … · Abstract Numeration Systems Deﬁnition An...

Documents

Transcript of Abstract Numeration Systems and Recognizability - … · Abstract Numeration Systems Deﬁnition An...

Greedy and lazy representationsin negative base …hejdato1/main/www/papers/...Tomáš Hejda, Zuzana Masáková and Edita Pelantová We consider positional numeration systems with

Harmonic Analysis in Fuzzy Systems - International ….pdfHARMONIC ANALYSIS IN FUZZY SYSTEMS TIMURKARAÇAY BASKENTUNIVERSITY,ANKARA,TR Abstract. This work introduces methods of harmonic

Dynamic Systems Mechanical Systems 031906faculty.uml.edu/pavitabile/22.451/Dynamic_Systems_Mechanical... · 22.451 Dynamic Systems – Chapter 4 Mechanical Systems-Translational Mass

Abstract Nomenclature - Altair University

Abstract Numeration Systems and Tilings · Abstract Numeration Systems and Tilings Val´erie Berth´e1 and Michel Rigo2 ... space that can be associated with an abstract numeration

Key words Abstract

Manirath Wongsim Abstract

Constructing integrable systems of semitoric typealpelayo/Docs/actafinal.pdfConstructing integrable systems of semitoric type Alvaro Pelayo∗ and San Vu˜ Ngo.c Abstract Let (M,ω)

Semitoric integrable systems on symplectic -manifoldsalpelayo/Docs/semitoric.pdf · Semitoric integrable systems on symplectic 4-manifolds Alvaro Pelayo∗ and San Vu˜ Ngo.c Abstract

THE PATHOPHYSIOLOGY OF ALZHEIMER’S … Vol. 3, No. 8 October 2005 ABSTRACT The pathophysiology of Alzheimer’s disease (AD) is complex, involving several neurotransmit-ter systems

recipp.ipp.ptrecipp.ipp.pt/bitstream/10400.22/6654/4/ART_FlavioFerreira_2007_2.pdf · Cantor exchange systems and renormalization A.A. Pinto, D.A. Rand, F. Ferreira Abstract We prove

discrete-time linear switching control systemsdiscrete-time linear switching control systems Victor Kozyakin Abstract To estimate the growth rate of matrix products A n A 1 with factors

uni-hamburg.de · 2010-10-05 · Applications of Equivariant Degree for Gradient Maps to Symmetric Newtonian Systems Haibo Ruan† and S lawomir Rybicki‡ January 18, 2007 Abstract

Numeration Systems and associated Tilings …...Numeration Systems and associated Tilings Dynamical Systems I Shigeki Akiyama (University of Tsukuba) Number Theory and Dynamics, Summer

Osaka University...Abstract We study kaon-nucleon systems and the (1405) as a KN Feshbach reso-nance in the Skyrme model. For the kaon-nucleon systems, we …

metaform shading systems · 2018. 7. 12. · metaform shading systems metaform shading systems 18 19 Γενικές πληροφορίες τοποθέτησης πέργκολας.

The Banach Center Conferencepanas/30yearof bihamiltoniansystems.pdf · Integrable Hamiltonian systems on symmetric spaces Velimir Jurdjevic, University of Toronto Abstract In this

PV systems

Circulatory Systems II - bio.classes.ucsc.edubio.classes.ucsc.edu/bio131/Thometz Website/12 Circulatory Systems... · Physics of Circulatory Systems Fluids flow down pressure gradients

Serban E. Vlad Abstract.auajournal.uab.ro/upload/56_377_Paper20-Ictami2011.pdf · Serban E. Vlad Abstract. The Boolean autonomous dynamical systems, also called reg-ular autonomous