Aller au contenu

Mot de Toeplitz

Un article de Wikipédia, l'encyclopédie libre.

En combinatoire, et spécialement en combinatoire des mots, un mot de Toeplitz est un mot infini obtenu par un processus itératif qui est décrit par une suite d'une ou plusieurs règles d'interclassement dits « motifs de Toeplitz ». Les plus connues de ces mots sont la suite des suite de pliage de papier et la suite chorale de Stewart.

Description

[modifier | modifier le code]

Un motif de Toeplitz est un mot fini sur un alphabet , où est un alphabet fini et est un symbole distingué, considéré comme figurant un « trou ».

On construit un mot de Toeplitz comme suit :

  • On part d'un motif de Toeplitz , répété infiniment, ce qui donne le mot infini  ;
  • dans ce mot, on remplace les occurrences du trou consécutivement par les symboles d'un deuxième motif de Toeplitz répété infiniment ;
  • on répète cette opération une infinité de fois.

Le résultat est le par définition un mot de Toeplitz.

Plus formellement, on considère un motif , et on pose

,

, pour tout , est le mot obtenu à partir du mot infini en remplaçant la suite de toutes les occurrences de ? par . Le mot de Toeplitz déterminé par le motif est la limite

Pliage de papier

On prend un seul motif qui est 0?1?. On remplace, dans le mot

0?1?0?1?0?1?0?1?...

les symboles ? par ceux du motif (en rouge 0?1? pour plus de clarté) répété infiniment :

001?011?001?011?...

Dans ce cas, un symbole sur deux est remplacé par 0 ou par 1, les autres laissé inchangés. La deuxième étape donne donc :

001?011?001?011?001?011?...

On itère ce processus :

0010011?0011011?00100011?...

Le symbole ? étant remplacé par 0 ou 1 une fois sur deux, le préfixe sans ? est de plus en plus long. La limite est le suite de pliage de papier : On peut voir la construction comme un remplissage de trous : On commence par une suite alternée de 0 et de 1, séparée par des « trous ». Dans un deuxième temps, ces trous sont remplis, à leur tour, par une suite alternée de 0 et de 1 lacunaire, etc. La suite résultante est la suite de pliage :

0 . 1 . 0 . 1 . 0 . 1 . 0 . 1 . 0 . 1 . 0 . 1 . 0 . 1 . 0 . 1 . 0 . 1 . 0 . 1 .  
  0   .   1   .   0   .   1   .   0   .   1   .   0   .   1   .   0   .   1   .
      0       .       1       .       0       .       1       .  
              0               .               1 

d'où la suite totale :

0 0 1 0 0 1 1 0 0 0 1 1 0 1 1...
Un mot périodique

Le mot périodique peut être obtenu de diverses façon comme mot de Toeplitz. On a[1] :

.

En effet, pour la première formulation, les trois premières étapes sont :

1 1 2 . . . . . . 1 1 2 . . . . . .
      1 1 2 . . .       1 1 2 . . .
            1 1 2             1 1 2
Un mot sans cube

Le motif 12? détermine le mot dont le début est :

1 2 . 1 2 . 1 2 . 1 2 . 1 2
    1     2     .     1

soit le mot

121122121112112...

qui est le point fixe du morphisme

.

Ce mot infini est sans cube, même s'il contient une infinité de facteurs de la forme , avec une lettre.

La suite chorale de Stewart

Le motif 0?1 détermine un mot appelé la suite chorale de Stewart[2]. La suite est le point fixe du morphisme :

.

Elle commence par :

s = 001001011001001011001011011...

On a la description explicite suivante : . La suite est sans cube, et c'est un mot de Lyndon infini[2].

Suites de Stewart

[modifier | modifier le code]

Fici et Shallit (2022) étudient une famille plus large de mots de Toeplitz obtenue en utilisant au choix plusieurs règles d'interclassement. Il existe 6 motifs de Toeplitz ternaires de longueur 3 contenant un trou ; ce sont, avec les notations des auteurs :

a = 01? b= 10? c= 0?1 d= 1?0 e= ?01 f= ?10

En utilisant une suite infinie de motifs parmi ces six, on obtient une famille infinie de mots de Toeplitz. En particulier :

  • la suite définie par est la suite chorale de Stewart (suite A116178 de l'OEIS) ;
  • la suite définie par est le mot du tracé du triangle de Sierpiński (suite A156595 de l'OEIS) ;
  • Les mots de Stewart généralisés de Joel Reyes Noche[3] sont les mots définis par les suites de motifs :
.

Parmi les résultats démontrés par les auteurs, il y a notamment :

Tout mot infini engendré par une suite de motifs de Stewart est sans cube, et il contient une facteur d’exposant arbitrairement proche de 3.

Ces résultats sont prouvés en formulant des énoncés vérifiés à l'aide d'un logiciel appelé Walnut.

Mots de Toeplitz et morphismes itérés

[modifier | modifier le code]

Les mots de Toeplitz peuvent souvent être représentés comme points fixes d'un morphisme. La description précise utilise la classification suivante des motifs : un motif de Toeplitz est de type s'il est de longueur et contient occurrences du symbole '?'. On a les cas suivants :

Théorème — 

  • Si le motif est de type , le mot est engendré par un morphisme uniforme ;
  • si divise , le mot engendré est l'image, par un morphisme préservant la longueur, d'un mot engendré par un morphisme uniforme ;
  • sinon, le mot est engendré en itérant périodiquement morphismes[1].

Notes et références

[modifier | modifier le code]

Bibliographie

[modifier | modifier le code]