# Mot sans facteur carré

En combinatoire, et notamment en combinatoire des mots, un carré est un mot composé de deux parties égales consécutives, comme bonbon ou papa. En bio-informatique, un carré est appelé une répétition en tandem. Un mot sans facteur carré ou plus simplement un mot sans carré est un mot qui ne contient pas de facteur carré. Par exemple, le mot répétition contient le carré titi ; en revanche, le mot consécutivement est un mot sans carré. L'étude des mots sans carré fait partie, plus généralement, de l'étude des répétitions dans les mots, et de la possibilité de les éviter. On parle alors de répétitions évitables ou inévitables.
Il existe des mots infinis sans carré sur tout alphabet d'au moins trois lettres, comme l'a prouvé Axel Thue$^,$. Sur un alphabet à deux lettres, un tel mot n'existe pas. Le mot de Prouhet-Thue-Morse contient des carrés, en revanche il est sans cube.
Une méthode fréquemment utilisée par construire des mots infinis sans carré, sans cube ou sans puissance plus élevée est par itération d'un morphisme. Si ce morphisme a la propriété de transformer un mot fini sans carré, sans cube ou sans puissance plus élevée en un mot de même nature, on parle d'un morphisme sans carré, sans cube ou sans puissance plus élevée.

## Premiers exemples

* Sur un alphabet à deux lettres $\{a,b\}$, il n'existe que six mots sans carré non vides : ce sont les mots $a,b,ab,ba,aba,bab$.
* Sur un alphabet à trois lettres $A=\{a,b,c\}$, et partant de la lettre $a$, on remplace
       $a$ par $abc$, $b$ par $ac$, $c$ par $b$.
    On alors obtient successivement
       ${\begin{array}{l}a\\abc\\abcacb\\abcacbabcbac\end{array}}$
    En itérant et en prenant le point fixe de cette opération, on obtient le mot infini qui commence par
       $abcacbabcbacabcacbacabcb\cdots$.
    Ce mot est sans carré. Cette construction est donnée par Marshall Hall Jr.. Dans la terminologie des répétitions, les carrés sont inévitables sur 2 lettres, mais évitables sur plus de 2 lettres.

## Les constructions de Thue

Les premières constructions de Thue datent de 1906 et 1912. Plusieurs auteurs les ont, de façon indépendante, retrouvées, ou ont trouvé d'autres constructions. Les articles de Thue, même s'ils étaient écrits en allemand qui à l'époque était l'une des langues scientifiques par excellence ont été publiés dans un journal peu connu, et n'ont donc pas été largement reconnus.

### Les constructions de Thue (1906)

Thue donne, dans son premier article datant de 1906, plusieurs constructions de mots infinis sans carré.
Un premier mot sans carré, sur un alphabet à 4 lettres, est obtenu comme suit : on part du mot $abacbc$, et on insère la lettre $d$ entre deux lettres du mot, à 4 places différentes. Ces 4 mots sont pris pour définir un morphisme :
    ${\begin{array}{l}a\mapsto adbacbc\\b\mapsto abdacbc\\c\mapsto abadcbc\\d\mapsto abacdbc\end{array}}$
En itérant à partir de la lettre a, on obtient le mot infini (les barres verticales sont censées faciliter la lecture) :
    $adbacbc|abacdbc|abdacbc|adbacbc|abadcbc|abdacbc|abadcbc\cdots$.
Le symbole $d$ sert de « marqueur » qui permet de retrouver la lettre qui a engendré un bloc donné.
Thue donne un autre mot sans carré, sur trois lettres cette fois-ci, obtenu comme suit : on remplace, dans un mot sans carré sur $a,b,c$, les lettres selon les règles suivantes :
    $a\mapsto abac$
    $b\mapsto babc$
    $c\mapsto bcac$ si la lettre avant $c$ est $a$
    $c\mapsto acbc$ si la lettre avant $c$ est $b$
En partant de a, on obtient
    $abac|babc|abac|bcac|\cdots$.

### La construction de Thue (1912)

Dans son long article, Axel Thue poursuit le but de classer toutes les suites sans carré, sans toutefois y parvenir complètement. Durant cette étude, il construit un mot sans carré à partir de la suite de Prouhet-Thue-Morse :
    $01101001100101101001011001101001\cdots$.
Il observe que, comme il n'y a pas de bloc $111$ dans la suite, deux symboles $0$ consécutifs sont séparés par 0, 1, ou 2 symboles $1$. Il suffit de reporter la séquence de ces nombres pour obtenir une suite sur trois symboles :
    $210201210120210\cdots$.
En remplaçant $2$ par $a$, $1$ par $b$ et $0$ par $c$, on retrouve la suite mentionnée plus haut. Cette suite est parfois appelée la suite ternaire de Thue-Morse. La construction a été retrouvée en 1963 par C. H. Braunholtz.

## Autres constructions
### La suite asymétrique d'Arshon (1937)

Dans un article en russe mais avec un long résumé en français, le mathématicien russe C. E. Arshon propose une construction générale qui, dans le cas ternaire, donne un mot infini sans carré (qu'il appelle asymétrique). Dans le cas binaire, une version simplifiée redonne la suite de Prouhet-Thue-Morse. Arshon considère les deux morphismes :
    ${\begin{array}{l}1\mapsto 123\\2\mapsto 231\\3\mapsto 312\end{array}}\qquad {\begin{array}{l}1\mapsto 321\\2\mapsto 132\\3\mapsto 213\end{array}}$
Le premier sert pour produire des mots à partir de symboles en position impaire dans un mot, le deuxième pour les symboles en position paire. On commence par le mot
    $123$
Le premier $1$ est en position impaire 1, et il produit $123$, le $2$ en position 2 produit $132$, et le troisième symbole, en position impaire, produit $312$. On obtient la suite (les barres verticales doivent améliorer la lisibilité) :
    $123|132|312$
On continue : le $1$ en position 4 produit $321$, le $3$ en position 5 produit $312$, le $2$ en position 6 produit $132$, etc. On construit ainsi une suite débutant par :
    $123|132|312|321|312|132\cdots$
Arshon prouve que ce mot est sans carré. Cette suite est 3-automatique : on prend le morphisme sur 6 lettres $\{1,2,3,{\bar {1}},{\bar {2}},{\bar {3}}\}$ donné par
    ${\begin{array}{l}1\mapsto 1{\bar {2}}3\\2\mapsto 2{\bar {3}}1\\3\mapsto 3{\bar {1}}2\end{array}}\qquad {\begin{array}{l}{\bar {1}}\mapsto {\bar {3}}2{\bar {1}}\\{\bar {2}}\mapsto {\bar {1}}3{\bar {2}}\\{\bar {3}}\mapsto {\bar {2}}1{\bar {3}}\end{array}}$.
Ce morphisme 3-uniforme engendre le mot infini
    $1{\bar {2}}3|{\bar {1}}3{\bar {2}}|3{\bar {1}}2|{\bar {3}}2{\bar {1}}|3{\bar {1}}2|{\bar {1}}3{\bar {2}}\cdots$
où les lettres en position paire sont barrées. Dans un deuxième temps, on « efface » les barres sur les lettres par le morphisme lettre-à-lettre qui identifie une lettre et sa copie barrée.

### La construction de Morse et Hedlund (1944)

Dans leur article, Morse et Hedlund partent, comme Thue, de la suite de Prouhet-Thue-Morse :
    $01101001100101101001011001101001\cdots$.
Contrairement à Thue, ils remplacent deux bits consécutifs par le nombre qu'ils représentent en binaire, soit
    ${\begin{array}{l}00\mapsto 0\\01\mapsto 1\\10\mapsto 2\\11\mapsto 3\end{array}}$
puis ils identifient $0$ et $3$ (en d'autres termes, ils opèrent modulo 3). La suite obtenue est :
    $102120102012102\cdots$.
C'est la suite ternaire de Thue-Morse, au codage près. On obtient le même mot différemment, en itérant le morphisme sur 4 lettres donné par :
    ${\begin{array}{l}0\mapsto 03\\1\mapsto 20\\2\mapsto 21\\3\mapsto 02\end{array}}$
et en identifiant ensuite $0$ et $3$. L'intérêt de cette construction est de montrer que le mot ternaire de Thue-Morse est une suite automatique.

### Le morphisme de Hawkins et Mientka (1956)

Ces deux auteurs proposent le morphisme suivant :
    ${\begin{array}{l}a\mapsto bacbcacbabcbaca\\b\mapsto bacbabcbacbcacbaca\\c\mapsto bacbcabacabcbaca\end{array}}$
et ils prouvent qu'en itérant à partir de la lettre $b$, on obtient un mot infini sans carré.

### Les perles de John Leech (1957)

Dans une courte note, John Leech propose la construction suivante. On itère le morphisme défini par
    ${\begin{array}{l}a\mapsto abcbacbcabcba\\b\mapsto bcacbacabcacb\\c\mapsto cabacbabcabac\end{array}}$
L'image de chaque lettre est le mot transformé par $(a\to b,b\to c,c\to a)$. En itérant à partir de $a$, on obtient
    $abcbacbcabcba\ bcacbacabcacb\ cabacbabcabac\ bcacbacabcacb\cdots$
En fait, Leech est intéressé par la construction d'une suite biinfinie sans carré. Pour cela, il recentre chaque mot sur la lettre du milieu. Pour obtenir une convergence, il faut modifier le morphisme de sorte que la lettre centrale de l'image de $a$ soit $a$ etc. On prend donc
    ${\begin{array}{l}a\mapsto cabacbabcabac\\b\mapsto abcbacbcabcba\\c\mapsto bcacbacabcacb\end{array}}$
L'itération donne :
    ${\begin{array}{c}a\\cabacb\ a\ bcabac\\\cdots abcbacbcabcba\ cabacb\ a\ bcabac\ abcbacbcabcba\cdots \end{array}}$

### La construction de Zech (1958)

Theodor Zech donne le morphisme
    ${\begin{array}{l}a\mapsto abcabacbabcb\\b\mapsto acbcabacabcb\\c\mapsto acabacbcabcb\end{array}}$
Le mot infini est obtenu en itérant à partir de $a$ par exemple. La preuve est facilitée par le fait que les trois images se terminent toutes par $abcb$.

### La construction sans simplification de Dean (1963)

Richard Dean construit une suite sans carré sur quatre symboles avec la propriété supplémentaire que deux symboles appareillés ne peuvent se suivre. De façon plus imagée, si les quatre sont $x,x^{-1},y,y^{-1}$, la suite ne contient pas les blocs $xx^{-1}$, $x^{-1}x$, $yy^{-1}$ et $y^{-1}y$. Pour simplifier l'exposé, Dean choisit les symboles $1,2,3,4$ et construit une suite sans carré sans les facteurs $13,31,24,42$. Il obtient ceci en imposant que les symboles en position paire dans la suite sont des symboles pairs, et les symboles en position impaire sont impairs. La suite est la limite de la suite de mots $(w_{n})$ obtenue comme suite: On pose $w_{0}=1234$. Chaque $w_{n}$ est un mot de longueur $2^{n+2}$ qui est factorisé en quatre mots de longueur $2^{n}$ notés $A_{n},B_{n},C_{n},D_{n}$ de sorte que
    $w_{n}=A_{n}B_{n}C_{n}D_{n}$.
Le mot $w_{n+1}$ est défini par
    $w_{n+1}=w_{n}A_{n}D_{n}C_{n}B_{n}$.
On obtient
    ${\begin{array}{l}w_{0}=1234\\w_{1}=12341432\\w_{2}=1234143212321434\\w_{3}=12341432123214341234143412321432\end{array}}$
En fait, on se convainc très vite que les mots $w_{n}$ s'obtiennent en itérant, à partir de $1$, le morphisme
    ${\begin{array}{lcl}1&\mapsto &12\\2&\mapsto &34\\3&\mapsto &14\\4&\mapsto &32\end{array}}$
D'autres constructions, ou les mêmes, ont été données par Kurosaki, Shyr, Dejean.
Le mot infini de Dean a fait l'objet d'une étude par Golnaz Badkobeh, Tero Harju, Pascal Ochem et Matthieu Rosenfeld. Les auteurs considèrent les mots de Dean finis qu'ils définissent comme des mots réduits sans carré. Ils montrent que si w est un mot de Dean de longueur au moins 59 alors il y a au plus six mots réduits de longueur 3 qui sont évités par w. Ils construisent un mot de Dean infini évitant six mots réduits de longueur 3. Ils construisent également des mots de Dean infinis ayant un exposant critique bas et qui évitent moins de mots réduits de longueur 3. Enfin, ils montrent que la fréquence minimale d'une lettre dans un mot de Dean est de 8/59 et que le taux de croissance est proche de 1,45818.

## Morphismes sans carré

Un morphisme $f$ qui transforme un mot sans carré en un mot sans carré, donc qui préserve les mots sans carrés, est appelé lui-même un morphisme sans carré. Si $f$ est un tel morphisme, on construit une suite de mots sans carré en partant d'une lettre $a$, et appliquant le morphisme indéfiniment :
    $a,f(a),f(f(a)),\dots ,f^{n}(a)\dots$.
Si les mots deviennent de plus en plus long, et si de plus le mot $f(a)$ commence par $a$, le mot infini, souvent noté
    $f^{\omega }(a)$
dont tous les $f^{n}(a)$ sont préfixes, est un mot infini sans carré. Plus généralement, un morphisme sans puissance $k$-ième est un morphisme qui préserve les mots sans puissances $k$-ième et à nouveau, le mot infini $f^{\omega }(a)$ est sans puissance $k$-ième.

### Un théorème d'Axel Thue et de Maxime Crochemore

Le théorème suivant, démontré par Axel Thue, permet de démontrer simplement pour de nombreux exemples de morphismes qu'ils engendrent des mots sans carrés. Dans cet énoncé et dans la suite, on ignore systématiquement le mot vide qui ne joue pas de rôle dans ce contexte. Un morphisme $f$ est infixe si aucun mot $f(a)$ n'est facteur d'un mot $f(b)$, pour deux lettres $a,b\in A$. Une démonstration est donnée par Bean, Ehrenfeucht et McNulty, et aussi par Lothaire.
Théorème (Thue (1912)) — Soit $f:A^{+}\to B^{+}$ un morphisme qui est infixe et tel que $f(u)$ est sans carré pour tout mot $u$ sans carré de longueur 3. Alors $f$ est un morphisme sans carré.
La condition d'être infixe est notamment réalisée par les morphismes uniformes, pourvu qu'ils soient injectifs sur l'alphabet.
Maxime Crochemore a étendu ce théorème à des morphismes plus généraux.
Théorème (Crochemore (1982)) — Soit $f:A^{+}\to B^{+}$ un morphisme, et soient
    $M(f)=\max\{f(a)\mid a\in A\}$ et $m(f)=\min\{f(a)\mid a\in A\}$.
Si $f(u)$ est sans carré pour tout mot $u$ sans carré de longueur
    $\max \left(3,\lceil M(f)-3/m(f)\rceil \right)$,
alors $f$ est un morphisme sans carré.
Dans le cas des morphismes uniformes, on retrouve la borne de Thue.
Sur un alphabet à 3 lettres, on peut donner une formulation encore plus précise :
Théorème (Crochemore (1982)) — Si $f:A^{+}\to B^{+}$ est un morphisme sur un alphabet $A$ à trois lettres tel que $f(u)$ est sans carré pour tout mot $u$ sans carré de longueur 5, est un morphisme sans carré.
Le morphisme $f:\{a,b,c\}^{+}\to \{a,b,c,d,e\}^{+}$ défini par
    $f(a)=deabcbda,\ f(b)=b,\ f(c)=c$
préserve les mots sans carré de longueur au plus 4, mais $f(abcba)=deabcbdabcbdeabcbda$ contient le carré $(abcbd)^{2}$. Ceci montre que l'on ne peut pas remplacer l'entier 5 par 4 dans le théorème précédent.
Un tel résultat n'existe pas pour des alphabets plus grands. Si l'alphabet A au plus de 3 lettres, il existe pour tout n des morphismes qui préservent des mots sans carrés de longueur n sans être des morphismes sans carré. Il en est ainsi du morphisme $f:\{a,b,c,d\}^{+}\to \{a,b,c,d,e\}^{+}$ défini par
    $f(a)=eaxa,f(b)=b,f(c)=c,f(d)=d$,
où $x$ est un mot sans carré de longueur $n$ sur les trois lettres $b,c,d$. Le mot $ax$ est un mot sans carré, de longueur $n+1$, et $f(ax)=eaxax$ contient un carré, donc $f$ n’est pas un morphisme sans carré. Mais on peut vérifier que $f$ préserve les mots sans carré de longueur $n$.

### Exemples

Les morphismes $h$ et $g$ donnés par $h(a)=abcab,\ h(b)=acabcb,\ h(c)=acbcacb$ et $g(a)=abacb,\ g(b)=abcbac\ g(c)=abcacbc$ sont tous deux sans carré$^,$. La somme des longueurs des images des lettres est dans les deux cas égale à 18 (5+6+7). Il a été prouvé par Arturo Carpi qu'il n'existe pas de morphismes sans carré dont la somme des longueurs des images des lettres est plus petite.

## Puissances supérieures
### Exemples

Voici quelques exemples de morphismes sans puissances supérieures.
Le morphisme de Prouhet-Thue-Morse
    $t(a)=ab,\ t(b)=ba$
est sans puissance $k$-ième pour tout k>2.
Le morphisme de Fibonacci
    $\phi (a)=ab,\ \phi (b)=a$
engendre le mot de Fibonacci $abaababaabaababaababa\cdots$. Ce mot est sans puissance $k$-ième (k≥4), mais le morphisme de Fibonacci lui-même n'est pas un morphisme sans puissance 4e puisque $\phi (b^{3}a)=a^{4}b$
Un exemple de Bean, Ehrenfeucht et McNulty ; le morphisme défini par
    $h(a)=abacbab,\ h(b)=cdabcabd,\ h(c)=cdacabcbd,\ h(d)=cdacbcacbd$
est sans carré mais n'est pas sans cube.
L'existence de morphismes sans puissance a été prouvée : pour tout alphabet ternaire, il existe un morphisme sans carré de l'alphabet dans lui-même, pour tout alphabet binaire, il existe un morphisme sans cube de l’alphabet dans lui-même.
Théorème (Bean, Ehrenfeucht, McNulty 1979) — Un morphisme infixe, sans carré, et tel que l'image d'une lettre, si elle n'est pas une lettre, ne commence et ne finit par pas la même lettre est aussi sans puissance $k$-ième pour tout $k\geq 2$.

### Morphismes sans cube

Le cas des morphismes sans cube diffère de celui des autres morphismes sans puissance $k$-ième ; être sans cube une condition moins restrictive que d'être sans carré. On a le résultat suivant :
Théorème (Wlazinski (2018)) — Un morphisme uniforme sans cube est aussi un morphisme sans puissance $k$-ième pour tout $k\geq 4$.
L'existence d'un tel morphisme uniforme, sur un alphabet binaire, a été prouvé notamment par Currie et Rampersand.

### Mots sans cube avec transitions

Un cas de régularité sur les mots sans cubes a été établi par Elena A. Petrova et Arseny M. Shur.
Théorème — Pour toute paire $(u,v)$ de mots sans cube ayant la propriété que $u$ peut être prolongé à gauche en un mot infini sans cube, et $v$ peut être prolongé à droite en un mot infini sans cube, il existe un mot de « transition » $w$ sur le même alphabet tel que $uwv$ est sans cube. Ce résultat vaut aussi pour des alphabets binaires.
Les auteurs montrent que ce résultat implique l'existence de mots infinis sans cube ayant une complexité en facteurs très élevés.

### Suite k-Thue

Une $d$-sous-suite d'une suite $a_{0},a_{1},\ldots ,a_{n},\ldots$ est toute une sous-suite $a_{i},a_{i+d},,a_{i+2d}$ d'éléments pris à distance $d$. Une suite k-Thue une suite dans laquelle chaque $d-$sous-suite, pour $1\leq d\leq k$, est non répétitive, c'est-à-dire qu'elle ne contient pas de sous-suites égales consécutives. Une suite de 1-Thue est une suite sans facteur carré. Par exemple,
    a b d c b c
est une suite sans carré, donc 1-Thue, mais elle n'est pas 2-Thue parce que la 2-sous-suite b c c contient un carré. De même,
    a b c a d b
est une suite sans carré, mais elle n'est pas 3-Thue à cause de la 3-sous-suite a a.
La notion de suite k-Thue a été introduite par Currie et Simpson. À leur suite Grytczuk a proposé la conjecture selon laquelle, pour tout $k$, il suffit de $k+2$ symboles pour construire une suite de $k$-Thue de longueur arbitraire. Jusqu'à présent (2020), la conjecture a été confirmée pour $k=1,\ldots ,8$.

## Nombre de mots sans carré

* Le nombre de mots ternaires sans carré de longueur 1, 2, … est la suite A006156 de l'OEIS. Elle commence par :
    $3,6,12,18,30,42,60,\ldots$
* Le nombre de mots sur quatre lettres sans carré de longueur 1, 2, … est la suite A051041 de l'OEIS. Elle commence par :
    $4,12,36,96,264,696,\ldots$
Notons $c_{k}(n)$ le nombre de mots sans carré de longueur $n$ sur un alphabet à $k$ lettres. On sait depuis longtemps que $c_{k}(n)$ croît exponentiellement pour $k\geq 3$. On connaît maintenant un très bon encadrement pour ces valeurs. On a par exemple :
    $1,301759^{n}<c_{3}(n)<1,301761^{n}$

## Extensions
### Extension aux graphes

Le nombre de Thue d'un graphe G est le plus petit entier k tel que G possède une k-coloration pour laquelle la suite des couleurs sur tout chemin simple (qui ne passe pas deux fois par le même sommet) est sans carré. Un résultat significatif est que le nombre de Thue d'un graphe planaire est borné.

### Mot sans carré extrémal

Jarosław Grytczuk, Hubert Kordulewski et Artur Niewiadomski ont introduit la notion de mot sans carré extrémal. Pour cela, ils appellent extension d'un mot $w$ tout mot obtenu par insertion d'une lettre dans le mot. Un mot $w$ sans carré est extrémal si toute extension de $w$ contient un carré. Ainsi, sur l'alphabet à deux lettres $a,b$, le mot $aba$ est sans carré extrémal : les 8 extensions ${\color {red}a}aba$, ${\color {red}b}aba$, $a{\color {red}a}ba$, $a{\color {red}b}ba$, $ab{\color {red}a}a$, $ab{\color {red}b}a$, $aba{\color {red}a}$, $aba{\color {red}b}$, obtenu par l'insertion d'une lettre contiennent toutes un carré.
Sur un alphabet à trois lettres, le mot
    $abcabacbcabcbabcabacbcabc$
est un mot sans carré extrémal, et c'est le plus court mot ternaire sans carré extrémal.
Les auteurs prouvent :
Théorème — Il existe une infinité de mots sans carré extrémaux sur un alphabet à trois lettres.
Il existe des mots sans carré extrémaux pour les longueurs 25, 41, 48, 50, 63, 71, 72, 77, 79, 81, 83, 84, 85 et pour tout entier supérieur ou égal à 87.
Une étude et des extensions sont données par Lucas Mol, Narad Rampersad et Jeffrey Shallit.
Une question naturelle est de savoir si un analogue du théorème est valable pour des alphabets plus grands. L'étude numérique systématique est compliquée par le fait que si on dispose de quatre lettres, il y a deux possibilités d'extension d'un mot sans carré à chaque position intérieure. En fait, les auteurs n'ont pas trouvé des mots extrémaux sur quatre lettres de longueur au plus 100 et ils conjecturent qu'il n'en existe pas.
Une variante du concept de mot extrémal est la notion de mot « nonchalant » définie par Jarosław Grytczuk, Hubert Kordulewski et Bartłomiej Pawlik et publiée sur arxiv. Un tel mot est produit par une succession d'insertions de lettres dans un mot sans carré tout en conservant le caractère sans carré, en choisissant à chaque étape la dernière occurrence (la plus à droite) qui conserve l'absence de carré. Un exemple est
    $1,12,121,1213,12131,121312,1213121,12131231$
Le dernier mot est obtenu par l'insertion de la lettre $3$ en avant-dernière position. Les auteurs conjecturent qu'une telle séquence nonchalante infinie de mots sans carré existe.

### Mot binaire avec peu de carrés

Tout mot binaire assez long contient au moins trois carrés. Plus précisément, notent que le mot $010011000111001101$ de longueur 18 contient 2 carrés, et que tout mot binaire lus long en contient au moins trois.
Bien que les carrés soient inévitables sur un alphabet à deux lettres, Entringer, Jackson et Schatz ont prouvé qu'il existe des mots binaires infinis ne contenant aucun carré d'ordre ≥ 3 (L'ordre d'un carré $xx$ est la longueur $|x|$ de $x$). La construction d'Entringer, Jackson et Schatz, telle que présentée par Gabric et Shallit, est comme suit : on part d'un mot arbitraire sans carré $z$ sur l'alphabet {0,1,2} et lui applique le morphisme uniforme
    $h(0)=1100$, $h(1)=0111$, $h(2)=1010$.
Les auteurs prouvent que le mot $h(z)$ résultant n'a aucun carré d'ordre ≥ 3 ; en fait, les seuls carrés qui apparaissent sont $0^{2}$, $1^{2}$, $(01)^{2}$, $(10)^{2}$, et $(11)^{2}$. On peut prendre comme mot de départ le mot de Thue sur 3 lettres $t=210201210120210\cdots$.
L'observation de Entringer, Jackson et Schatz a été améliorée par Fraenkel et Simpson : ils ont montré l'existence de mots binaires ayant seulement trois carrés distincts. Leur construction est, d'après Gabric et Shallit, difficile à établir.
Pascal Ochem donne, en 2006, une construction différente : il considère le morphisme
    $\sigma (0)=00011001011000111001011001110001011100101100010111$
    $\sigma (1)=00011001011000101110010110011100010110001110010111$
    $\sigma (2)=00011001011000101110010110001110010111000101100111$
et il montre que si $x$ est un mot sans puissance d'exposant strictement plus grand que 7/4, alors $\sigma (x)$ ne contient que trois carrés.
Harju et Nowotka engendrent un mot binaire infini avec trois carrés en définissant le morphisme (non uniforme)
    $\zeta (0)=111000110010110001110010$
    $\zeta (1)=111000101100011100101100010$
    $\zeta (2)=111000110010110001011100101100$
qu'ils appliquent au mot ternaire de Thue. Ils montrent que le mot obtenu contient seulement trois carrés.
Encore une autre construction a été donnée par Badkobeh et Crochemore$^,$. Ils définissent le morphisme
    $\xi (0)=000111$
    $\xi (1)=0011$
    $\xi (2)=01001110001101$.
Ils montrent que l'image par $\xi$ du mot de Thue ternaire ne contient que les trois carrés $00$, $11$ et $1010$. Ils montrent aussi qu'il contient les seuls cubes $000$ et $111$.
Une autre construction enfin est donnée par Gabric et Shallit. Ils donnent le morphisme
    $\eta (0)=00011101$
    $\eta (1)=001110001101$
    $\eta (2)=0011000111001101$
Ils montrent que le mot infini $\eta (t)$, où t est le mot de Thue ternaire, ne contient que les carrés 00,11, et 1010. Ils montrent aussi que ce mot est 2-automatique et peut être engendré par un (automate ?) à 27 états.

### Mots sans carré en progression arithmétique

Soit
    $w=w_{0}w_{1}w_{2}\cdots$
un mot infini, où chaque $w_{i}$ est une lettre ; on note $[w]_{p}$ le mot infini formé en prenant les lettres de $p$ en $p$, formellement :
    $[w]_{p}=w_{0}w_{p}w_{2p}\cdots$.
La question suivante a été posée (et résolue ) par Tero Harju : « Pour un entier $p$ donné, existe-t-il un mot sans carré $w$ sur 3 lettres tel que $w_{p}$ est aussi sans carré ? » La réponse est positive pour $p\geq 3$, négative pour $p=2$. À la fin de son article, Harju pose les questions suivantes : Question 1.- Existe-t-il in mot infini sans carré $w$ sur trois lettres tel que les mots $[w]_{p}$ pour $p\geq 3$ contiennent tous un carré ?
Question 2.- Existe-t-il deux entiers $(p,q)$ premiers entre eux tels qu'il existe un mot infini sans carré $w$ sur trois lettres pour lequel $[w]_{p}$ et $[w]_{q}$ sont tous deux sans carrés.
Question 3.- Existe-t-il, pour tout mot sans carré $v$ sur trois lettres, un mot sans carré $w$ et un entier $p\geq 3$ tel que $[w]_{p}=v$.
Des réponses affirmatives à ces trois questions ont été données par Currie, Harju, Ochem, et Rampersad.
Un problème semblable est étudié par Matthieu Rosenfeld :
Il considère une technique non constructive pour montrer que les carrés sont évitables par un mot infini même si l'on exige que certaines lettres de l'alphabet apparaissent à certaines occurrences. Il montre Nous montrons que si les positions de lettres prédéterminées sont à une distance d'au moins 19 (resp. 3 ou 2) les unes des autres, alors on peut éviter les carrés sur 3 lettres (resp. 4 ou 6 lettres). Le nombre de solutions est exponentiel. Certains calcul ont été faits par ordinateur.