Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet...

53
Hauteur des arbres de Lyndon A. Briquet, L. Mercier Institut Elie Cartan Aléa, 20 février 2014 A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 1 / 28

Transcript of Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet...

Page 1: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Hauteur des arbres de Lyndon

A. Briquet, L. Mercier

Institut Elie Cartan

Aléa, 20 février 2014

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 1 / 28

Page 2: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

1 Définitions

2 Résultats

3 Etude de l’arbre seuillé

4 Etude des buissons

5 Interprétation des résultats

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 2 / 28

Page 3: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

1 Définitions

2 Résultats

3 Etude de l’arbre seuillé

4 Etude des buissons

5 Interprétation des résultats

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 3 / 28

Page 4: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Définitions

DéfinitionUn mot de Lyndon est un mot plus petit (pour l’ordre lexicographique) quetous ses suffixes propres.

Exemple : aab est plus petit que ab et b : c’est un mot de Lyndon.aba est plus grand que a : ce n’est pas un mot de Lyndon.

PropriétéTout mot de Lyndon peut se décomposer en deux mots de Lyndon.Cette décomposition n’est pas unique. La décomposition qui a le facteur degauche le plus court est appelée la décomposition standard.

Exemple : abc peut se décomposer en a | bc ou ab | c . La décompositionstandard est a | bc .

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 4 / 28

Page 5: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Génération aléatoire des mots de Lyndon

On associe à chaque lettre i de l’alphabet (à m lettres) une probabilité pi .On génère un mot de n lettres où chaque lettre suit une loi p = (pi ) i.i.d.,et on utilise le mot pour générer un mot de Lyndon de la manière suivante :Exemple :220012 −→ 200122 −→ 001222 −→ 012220 −→ 122200 −→ 222001On a généré le mot 220012. On en tire le mot de Lyndon 001222.

PropriétéSi les m lettres de l’alphabet sont équiprobables, alors le mot obtenu avecl’algorithme ci-dessus est uniforme sur l’ensemble des mots de Lyndon delongueur n à m lettres.

On notep∗ = max

i 6=0(pi )

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 5 / 28

Page 6: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Définitions

DéfinitionUn arbre de Lyndon est obtenu à partir d’un mot de Lyndon, en ledécomposant récursivement (décomposition standard).

Exemple

052021103120410321

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 6 / 28

Page 7: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Définitions

DéfinitionUn arbre de Lyndon est obtenu à partir d’un mot de Lyndon, en ledécomposant récursivement (décomposition standard).

Exemple

052021103120410321

041032105202110312

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 6 / 28

Page 8: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Définitions

DéfinitionUn arbre de Lyndon est obtenu à partir d’un mot de Lyndon, en ledécomposant récursivement (décomposition standard).

Exemple

052021103120410321

0410321

0321041

05202110312

042021103120

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 6 / 28

Page 9: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

052021103120410321

0410321

0310321

0321

0221

021

102

20

0

0

031

021

01

10

0

0

0

05202110312

04202110312

0312

0212

012

12

21

0

0

0

0420211

0320211

0211

011

101

10

0

032

022

02

20

0

0

0

0

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 7 / 28

Page 10: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

1 Définitions

2 Résultats

3 Etude de l’arbre seuillé

4 Etude des buissons

5 Interprétation des résultats

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 8 / 28

Page 11: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Résultats

On noteΨ(λ, ρ, γ) = log(p0(− log(p0))ρ+λ(e/λ)λ(1 + ρ/γ)γ(1 + γ/ρ)ρ) + Ξ(ρ, γ),où Ξ(γ, ρ) = lim 1/n log(P(1−γ

ρ n ≤∑n

i=1 Ui ≤ 1−γρ n + 1)) et

∆∗(p0, p∗) = supΨ(λ,ρ,γ)>0

{λ+ ρ+ γ − Ψ(λ, ρ, γ)

log(p∗)}/ log(1/p0).

ThéorèmeLa hauteur Hn de l’arbre de Lyndon à n feuilles converge en probabilité vers∆∗(p0, p∗) ln n.

On note ∆∗(p0) = infΨ(λ,ρ,γ)>0{λ+ ρ+ γ}/ log(1/p0).

ConjectureLa hauteur de la feuille étiquetée par un 1 (ou toute autre lettre que 0) laplus basse dans l’arbre de Lyndon à n feuilles converge en probabilité vers∆∗(p0) ln n.

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28

Page 12: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

1 Définitions

2 Résultats

3 Etude de l’arbre seuillé

4 Etude des buissons

5 Interprétation des résultats

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 10 / 28

Page 13: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Arbre de Lyndon seuillé

052021103120410321

0410321

0310321

0321031

0

05202110312

04202110312

03120420211

03202110

0

On arrête la décomposition quand chaque feuille contient au plus unfacteur 0i → le seuil vaut i .Dans l’exemple, on s’arrête à 03 → seuil = 3.

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 11 / 28

Page 14: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Arbre de Lyndon seuillé

052021103120410321

0410321

0310321

0321031

0

05202110312

04202110312

03120420211

03202110

0

On appelle les feuilles qui contiennent juste un seul 0 des aiguilles, et lesautres des palmes.Les sous-arbres correspondant aux palmes sont appelés les buissons.

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 11 / 28

Page 15: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Arbre de Lyndon seuillé

052021103120410321

0410321

0310321

0321031

0

05202110312

04202110312

03120420211

03202110

0

On appelle les feuilles qui contiennent juste un seul 0 des aiguilles, et lesautres des palmes.Les sous-arbres correspondant aux palmes sont appelés les buissons.

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 11 / 28

Page 16: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Distribution sur les réels

On veut passer d’un mot w (pas forcément de Lyndon) à un réel x ∈ [0, 1].Pour cela, on lit le mot en base m.Exemple : avec un alphabet à 3 lettres,mot 0102 −→ réel 0,0102 en base 3 −→ 3−2 + 2 ∗ 3−4 en base 10.

On regarde un réel X créé à partir d’un mot infini avec des lettres ∼ (pi )i.i.d.

PropriétéSi (pi ) est équiprobable, le réel obtenu est uniforme sur [0,1].

Sinon, on a une expression explicite de sa fonction de répartition Fseulement en quelques points.Exemple : F (m−1) = p0

On sait néanmoins que F (X ) ∼ U([0, 1]).

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 12 / 28

Page 17: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Construction de l’arbre de Yule

0520211031204103210220211 | 12 | 011 | 21

log 1p0

(F (0, 022...)) log 1p0

(F (0, 12...)) log 1p0

(F (0, 12...)) log 1p0

(F (0, 21...))

2.966227... 0.5335294... 1.1053397... 0.5350265...A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 13 / 28

Page 18: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Construction de l’arbre de Yule

0520211031204103210220211 | 12 | 011 | 21

log 1p0

(F (0, 022...)) log 1p0

(F (0, 12...)) log 1p0

(F (0, 12...)) log 1p0

(F (0, 21...))

2.966227... 0.5335294... 1.1053397... 0.5350265...A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 13 / 28

Page 19: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Lien entre hauteur dans l’arbre de Yule et de Lyndon

Si on oublie les étapes de la décomposition où on éjecte juste un zéro, lastructure des arbres est identique.

052021103120410321

0410321

0321031

05202110312

03120320211

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 14 / 28

Page 20: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Lien entre hauteur dans l’arbre de Yule et de Lyndon

Pour une palme wi , on considère le chemin dans l’arbre seuillé entre cettepalme et la racine.

LemmeUn embranchement entre wi et wj correspond à au moins k zéros éjectés siet seulement si

wi < 0kwj

⇐⇒ − logp0(F (xi )) > k − logp0(F (xj))

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 15 / 28

Page 21: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Lien entre hauteur dans l’arbre de Yule et de Lyndon

a b c d e f g h i j k l m n o p

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 16 / 28

Page 22: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Lien entre hauteur dans l’arbre de Yule et de Lyndon

a b c d e f g h i j k l m n o p

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 16 / 28

Page 23: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Lien entre hauteur dans l’arbre de Yule et de Lyndon

a g h m n o p

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 16 / 28

Page 24: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Lien entre hauteur dans l’arbre de Yule et de Lyndon

a g h m n o pX1

X2

X3

X4

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 16 / 28

Page 25: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Lien entre hauteur dans l’arbre de Yule et de Lyndon

Les embranchements vers la droite et vers la gauche dans ce cheminforment deux processus de Poisson Π0

i etΠ1

i = {X i0 = 0 < X i

1 < . . . < X ik < Xk+1 = nombre de zéros au début du

mot - seuil }.On note G (Π1

i ) =∑k

j=0bX ij+1 − X i

j c.

PropositionLa hauteur hi de la feuille wi dans l’arbre seuillé est telle que :

0 ≤ hi − (#Π0i + #Π1

i + 1 + G (Π1i )) ≤ 1

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 17 / 28

Page 26: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Dénombrement des palmes

NotationOn note

ekΨ(λ,ρ,γ)

le nombre moyen de palmes de type #Π0i = λk ,#Π1

i = ρk ,G (Π1i ) = γk

dans l’arbre qui commence par un facteur 0k .

L’expression de Ψ ne dépend que de p0.

On a donc environ ekΨ(λ,ρ,γ) buissons qui viendront se brancher sur despalmes de ce type.Hauteur de ces palmes :

k(λ+ ρ+ γ)

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 18 / 28

Page 27: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Greffe des buissons

Les buissons ont des hauteurs géométriques.

E(max(nG(q))) ∼ − ln(n)

ln(1− q)

donc le plus haut des buissons qui se greffera sur une palme de ce typeaura pour hauteur :

− ln(ekΨ(λ,ρ,γ))

ln(1− q)= −kΨ(λ, ρ, γ)

ln(1− q)

On aura donc une hauteur totale de

k(λ+ ρ+ γ − Ψ(λ, ρ, γ)

ln(1− q)

)

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 19 / 28

Page 28: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

1 Définitions

2 Résultats

3 Etude de l’arbre seuillé

4 Etude des buissons

5 Interprétation des résultats

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 20 / 28

Page 29: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Lien entre hauteur d’une feuille et records vers le bas

Pour minorer la hauteur d’un buisson, on utilise tout simplement lalongueur d’un run de i∗, qui suit une loi G(1− p∗).

Pour majorer, on va s’intéresser à la hauteur de la feuille correspondant àune lettre.On parcourt le mot de gauche à droite (resp. de droite à gauche) enpartant de la lettre étudiée, et on note les endroits où l’on voit un mot pluspetit que ce que l’on a vu jusque là. Cela forme le processus des recordsvers le bas de droite (resp. de gauche).

PropriétéLa hauteur d’une feuille est égale aux cardinaux des processus des recordsvers le bas de droite et de gauche -1.

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 21 / 28

Page 30: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

0495768312

1204957683

30495768

495768

5768

6857

75

49

0

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 31: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

←−0495768312

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 32: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

←−0495768312

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 33: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

←−0495768312

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 34: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

←−0495768312

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 35: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

←−0495768312

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 36: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

−→0495768312

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 37: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

−→0495768312

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 38: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

−→0495768312

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 39: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

−→0495768312

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 40: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

004395

4766583

2112

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 41: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

004395

4766583

2112

1120

04395

4766583

2

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 42: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

004395

4766583

2112

1120

04395

4766583

2

32

004395

476658

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 43: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

004395

4766583

2112

1120

04395

4766583

2

32

004395

476658

4395

4766580

0

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 44: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

004395

4766583

2112

1120

04395

4766583

2

32

004395

476658

4395

476658

54766584

39

00

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 45: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

004395

4766583

2112

1120

04395

4766583

2

32

004395

476658

4395

476658

5476658

6585

476

439

00

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 46: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Cherchons la hauteur de la feuille 7

004395

4766583

2112

1120

04395

4766583

2

32

004395

476658

4395

476658

5476658

6585

476

76

54

439

00

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 22 / 28

Page 47: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Hauteur des buissons

On utilise cette relation pour obtenir la majoration : dans un buissoncommençant par 0i , la hauteur de la feuille, puis la hauteur du buisson, estplus petite que la somme de Ci G(1− p∗) i.i.d., où C ne dépend que dunombre de lettres de l’alphabet.

Minoration → on utilise la longueur d’un run de i∗, qui suit unegéométrique de paramètre 1− p∗.

ProblèmeOn minore par une géométrique et on majore par une somme degéométriques i.i.d., est-ce suffisant pour résoudre notre problème ?

Oui : E(maximum de n variables G(1− p∗) i.i.d.) ∼ − logp∗(n) etE(maximum de n sommes de i variables G(1− p∗) i.i.d.) ∼ − logp∗(n)avec forte probabilité pour i = O(ln(n)).

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 23 / 28

Page 48: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

1 Définitions

2 Résultats

3 Etude de l’arbre seuillé

4 Etude des buissons

5 Interprétation des résultats

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 24 / 28

Page 49: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Hauteur

On noteΨ(λ, ρ, γ) = log(p0(− log(p0))ρ+λ(e/λ)λ(1 + ρ/γ)γ(1 + γ/ρ)ρ) + Ξ(ρ, γ),où Ξ(γ, ρ) = lim 1/n log(P(1−γ

ρ n ≤∑n

i=1 Ui ≤ 1−γρ n + 1)) et

∆∗(p0, p∗) = supΨ(λ,ρ,γ)>0

{λ+ ρ+ γ − Ψ(λ, ρ, γ)

log(p∗)} log(1/p0).

ThéorèmeLa hauteur Hn de l’arbre de Lyndon à n feuilles converge en probabilité vers∆∗(p0, p∗) ln n.

Les palmes telles que #Π0i = λk ,#Π1

i = ρk ,G (Π1i ) = γk contribuent à

une hauteur de :

k(λ+ ρ+ γ − Ψ(λ, ρ, γ)

log(p∗)

),

ce qui donne le résultat avec k ∼ log1/p0 n.A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 25 / 28

Page 50: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Hauteur

On noteΨ(λ, ρ, γ) = log(p0(− log(p0))ρ+λ(e/λ)λ(1 + ρ/γ)γ(1 + γ/ρ)ρ) + Ξ(ρ, γ),où Ξ(γ, ρ) = lim 1/n log(P(1−γ

ρ n ≤∑n

i=1 Ui ≤ 1−γρ n + 1)) et

∆∗(p0, p∗) = supΨ(λ,ρ,γ)>0

{λ+ ρ+ γ − Ψ(λ, ρ, γ)

log(p∗)} log(1/p0).

ThéorèmeLa hauteur Hn de l’arbre de Lyndon à n feuilles converge en probabilité vers∆∗(p0, p∗) ln n.

On note ∆∗(p0) = infΨ(λ,ρ,γ)>0{λ+ ρ+ γ} log(1/p0).

ConjectureLa hauteur de la feuille étiquetée par un 1 (ou toute autre lettre que 0) laplus basse dans l’arbre de Lyndon à n feuilles converge en probabilité vers∆∗(p0) ln n.

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 25 / 28

Page 51: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Niveau de saturation

DéfinitionLe niveau de saturation d’un arbre est la hauteur de sa feuille la plus basse.

On déduit directement directement de l’arbre de Yule la limite du niveau desaturation de l’arbre à Sn :

ThéorèmeOn note an = 1− p0

∑ni=0− log(p0)i/i ! la queue de distribution d’une

variable de loi P(− logp0).

P(Sn = k) −→n→∞

(1− ak

k−2∏i=1

a2i−1

k−2−i )ak

k−1∏i=1

ak−i−1i

On remarque que cette loi ne dépend que de p0.

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 26 / 28

Page 52: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Niveau de saturation

logp0(F (0, 022...)) logp0(F (0, 12...)) logp0(F (0, 12...)) logp0(F (0, 21...))2.966227... 0.5335294... 1.1053397... 0.5350265...

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 27 / 28

Page 53: Hauteur des arbres de Lyndongt-alea.math.cnrs.fr/alea2014/slides/Briquet_alea2014.pdfA. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 9 / 28 1 Définitions 2

Perspectives

Meilleure approximation (équivalent du résultat de Mathew Robertssur l’ABR)Généraliser le modèle ?

A. Briquet (IECN) Hauteur des arbres de Lyndon Aléa, 20 février 2014 28 / 28