APMEP no 465

Le calcul des tresses

465

Le calcul des tresses(*)

Patrick Dehormoy
Introduction

Quest-ce quune tresse ? Une tresse nest pas a priori un objet mathmatique, mais les tresses ont une structure mathmatique. Pourquoi ce titre, le calcul des tresses ? En un sens que lon va prciser, les tresses gnralisent les entiers et, de mme quon peut calculer avec les entiers, on peut calculer avec les tresses. De manire plus prcise, il existe des algorithmes de calcul pour les tresses. Pour terminer, on dcrira des applications rcentes de ces algorithmes de calcul la cryptographie.

Le groupe des tresses

Une tresse cest une suite de croisements (Fig. 1).

Pour dfinir une soustraction, on note 1 la tresse o le brin du bas passe sur celui du haut (cest la tresse qui est limage de la tresse 1 par une symtrie daxe vertical). On obtient, en faisant comme prcdemment, lgalit 1 + (1) = 0 (Fig. 3 a).

Comment calculer avec les tresses deux brins ? Pour dfinir la somme de deux tresses, il suffit de considrer chacune dentre elles comme une bote avec deux brins en entre et deux brins en sortie. Les ajouter est simplement dfini comme les mettre bout bout. Notons 0 la tresse triviale (sans croisement) et 1 la tresse o le brin du bas passe sous celui du haut. En ajoutant ces deux tresses, on retrouve la tresse 1 aprs dformation des brins cette dformation, lisotopie, note , sera prcise plus tard. Donc laddition vrifie 1 + 0 = 1 (Fig. 2 a). On peut ainsi, par induction, obtenir des tresses correspondant chaque entier naturel (Fig. 2 b).

Figure 1

(*) Notes rdiges par Didier Trotoux daprs lexpos de Patrick Dehornoy.

466

Confrence

APMEP no 465

On peut construire alors des tresses reprsentant chaque entier relatif et effectuer des oprations sur les tresses dont le rsultat correspond aux galits vrifies par les entiers relatifs (Fig. 3 b).

Figure 2

En conclusion, les tresses deux brins forment un groupe isomorphe lensemble Z des entiers relatifs, ce qui se conoit bien car une tresse deux brins est compltement caractrise par le nombre de demi-tours effectus (avec un signe qui indique lorientation des croisements). Notons que ce ne sont pas exactement les tresses qui constituent un groupe au sens de lalgbre, mais les tresses isotopie prs, cest--dire les objets quon obtient quand on identifie deux deux les tresses isotopes. Pour n 3, on dfinit laddition comme prcdemment et on dfinit loppos dune tresse en prenant son image miroir par rapport un axe vertical (Fig. 4). Pour chaque entier n, on construit, partir des tresses n brins, un groupe quon note Bn (B pour braid, qui signifie tresse en anglais). Ce groupe a t considr implicitement par C. F. Gauss et A. Hurwitz et tudi explicitement par E. Artin en 1925.

Figure 3

APMEP no 465

Le calcul des tresses

467

Ce groupe nest pas commutatif comme le montre lexemple suivant (n = 3) :

Figure 4

Le codage des tresses

Comme laddition nest pas commutative dans Bn pour n 3, on remplacera dans la suite de cet expos laddition par la multiplication, on notera 1 la tresse triviale et on remplacera oppos par inverse.

Figure 5

1 On note 1 (resp. 1 ) ou a (resp A) la tresse lmentaire o les brins 1 et 2 se 1

Lexistence du produit des tresses permet de passer du langage des dessins celui des mots. En effet, une consquence de la dfinition de la multiplication de tresses est quune tresse quelconque est dcomposable en un produit de tresses lmentaires un seul croisement : une telle dcomposition consiste dcouper la tresse en tranches verticales qui ne contiennent quun seul croisement. Or il est facile de coder les tresses un seul croisement : comme les deux brins qui se croisent sont voisins (sinon il faudrait aussi croiser les brins intermdiaires, et il y aurait plus dun croisement), il suffit, pour spcifier un croisement lmentaire, dindiquer la position des deux brins concerns. On numrote les brins de la tresse de bas en haut de 1 n. croisent, le brin 1 passant sous (resp. sur) le brin 2, 2 (resp. 2 ) ou b (resp. B) celle o les brins 2 et 3 se croisent, le brin 2 passant sous (resp. sur) le brin 3, et plus gnralement, on note i celle ou les brins i et i + 1 se croisent, le brin i passant sous (resp. sur) le brin i + 1 (Fig 6 a).

Le produit de tresses lmentaires se code alors sous la forme dune succession de lettres un mot qui caractrise la tresse qui en rsulte (Fig 6 b). Un tel codage facilite les calculs, un ordinateur traitant plus facilement des mots que des dessins.

468

Confrence

APMEP no 465

Lisotopie des tresses

Figure 6

Un diagramme de tresse est un objet plan. Cest la projection sur le plan dune figure de lespace R3. On dclare que deux diagrammes sont quivalents lorsquon obtient lun partir de lautre en dplaant des brins, sans les autoriser se traverser ni dcrocher leurs extrmits. On dit aussi que ces diagrammes sont isotopes (Fig. 7).

Considrons, par exemple, le diagramme 121 (ou aba). En dplaant les brins, on peut transformer ce diagramme en un diagramme isotope mais distinct cod 212 (ou bab) (Fig. 8). On a donc deux diagrammes ou deux mots distincts pour la mme tresse. On en dduit que, dans le groupe Bn, on a la relation 121 = 212 ou aba = bab, appele relation de tresse . Il y a donc des relations spcifiques entre certains lments de Bn, ce que lon exprime en disant que le groupe Bn nest pas libre pour n 3.

Figure 7

APMEP no 465

Le calcul des tresses

469

Le premier thorme qui a t dmontr par Artin vers 1925 est le suivant : Les seules relations entre tresses sont les consquences des relations :

Figure 8

i i1 = i1 i = 1, i j = i j i j i = j i j
pour | i j | 2, pour | i j | = 1.

On peut voir (Fig. 9 a) les diagrammes de tresse correspondants.

Figure 9

470

Confrence

APMEP no 465

Il est relativement facile de vrifier ces relations, mais le rsultat dArtin indique que ce sont les seules relations existant entre les tresses lmentaires : si deux mots de tresse reprsentent la mme tresse, alors ncessairement on peut passer de lune lautre par les seules relations de tresse. Notons que ceci ne rsout pas le problme disotopie, tant quon na pas dalgorithme pour reconnatre si deux mots se dduisent lun de lautre par les relations de tresses. Sur lexemple prcdent (Fig. 9 b), on a eu la chance de rendre compte de lisotopie en mettant en vidence la drivation abA BbabA BabaA Bab mais on na pas de mthode cest--dire dalgorithme permettant de trouver systmatiquement une drivation entre deux diagrammes de tresses appartenant une mme classe disotopie.

Classification des tresses

Classer les tresses consiste donner une recette pour reconnatre si deux diagramme de tresse donns quelconques sont ou non isotopes, cest--dire si lon peut passer de lun lautre en dplaant leurs brins ou ce qui est quivalent de reconnatre si deux mots codent la mme tresse. Dans le cas dune tresse deux brins, il suffit de compter les demi-tours, mais dans le cas de trois brins et plus, ce problme, appel problme de mot de Bn, est nettement plus difficile. On sait le rsoudre depuis les travaux dArtin (1925). Pour autant, le sujet nest pas clos, car la solution dArtin, quoique irrprochable en thorie, est trs peu efficace en pratique. Lorsque deux tresses sont un peu compliques, mme un ordinateur puissant ne peut reconnatre, par la mthode dArtin, si elles sont isotopes. Depuis plusieurs dcennies, la question de la classification des tresses a suscit de nombreux travaux, et plusieurs mthodes ont t proposes, de plus en plus efficaces. Citons notamment les solutions de F.A. Garside (1967), Oxford, de Pierre Deligne (1972), mdaille Fields en 1970, de William Thurston (1988), galement mdaille Fields, et celles plus rcentes dIvan Dynnikov (1999) et la rduction des poignes de lauteur (1997) dont on donne une ide ci-dessous. Une premire remarque est la suivante. Comme toute tresse a un inverse, notre problme se ramne reconnatre si une tresse donne est isotope la tresse triviale. En effet, pour que la tresse t soit isotope la tresse t (t t) il faut et il suffit que la tresse t1t soit isotope la tresse t1t, donc la tresse triviale (t1t 1). Le problme de mot revient donc savoir si une tresse est triviale cest--dire si une tresse peut tre dtresse ou non. Signalons tout de suite que la mthode physique, qui consisterait raliser un modle physique de la tresse avec des ficelles et tirer sur ces ficelles pour effectuer le dmlage ne marche pas ! Il y a des cas o les algorithmes de relaxation ne fonctionnent pas et o il faut commencer par emmler la tresse pour pouvoir la dmler ensuite. Lide thorique qui permet de construire lalgorithme de dmlage quon va dcrire est le thorme suivant :

APMEP no 465

Le calcul des tresses

471

1 Thorme : Un mot de tresse qui contient au moins un 1 et pas de 1 est non trivial.

Ce rsultat peut tre illustr par le schma suivant (Fig. 10 a) o tous les croisements du bas sont dans le mme sens. Dans cette situation, on ne peut pas dformer cette tresse en une tresse triviale ce qui peut sembler une banalit mais nest pas facile prouver.

On regarde la tresse en dimension 3 et on regarde le cylindre vu du bout : on a un disque avec n trous correspondant aux n brins qui se dforment et on peut voir une tresse comme la dformation dun disque trou. Lide de Dynnikov est de mettre dans ce disque une lamination (une famille de courbes fermes qui entourent le premier trou, les deux premiers trous, etc.) puis de compter les intersections de la transforme de la lamination avec une grille et de prendre ces nombres (en fait les diffrences entre le nombre de points dintersection gauche et celui droite, soit a1 = 5 1 = 4, a2 = 6 0, a3 = 4 2 = 2, a1 = 3 3 = 0, dans lexemple de la Fig. 10 b) comme coordonnes de la tresse.

Figure 10

Quand on multiplie une tresse par un 1, les a1 de la tresse x sont lis aux a1 de x par les formules : a1 = a1 + (a2 a1 )+ + b1

Figure 11

pour x = x 1 ,

472

Confrence

APMEP no 465

o x + = sup ( x, 0 ) . On voit que a1 ne peut quaugmenter quand on multiplie par des

1 1 ( cause de la fonction x + ) et que si lon ne multiplie pas par des 1 , on ne peut pas obtenir a1 = 0, ce qui est ncessaire si on veut avoir une tresse triviale.

a1 = a1 pour x = x i1 avec i 2,

La mthode de dmlage dcrite plus loin sous le nom de rduction des poignes est fonde sur ce rsultat.
1 aussi une rponse analogue dans le cas o il y a du 1 et pas de 1, car la tresse 1 inverse a du 1 et pas de 1 et, par consquent, nest pas triviale. Et sil ny a ni 1, 1 1 ni de 1 , on va recommencer avec 2 et de 2 . On peut imaginer alors une preuve par rcurrence. 1 Le problme arrive quand il y a la fois du 1 et du 1 , car alors le thorme ne permet pas de conclure. On peut alors reprsenter la tresse comme sur la figure 12 a. Le brin qui sort en position 2 de la bote de gauche, passe sous la bote du centre puis entre en position 2 dans la bote de droite sera appel une poigne. Il faut donc se dbarrasser des poignes. Une faon de faire est de faire passer cette poigne vers le haut en utilisant un algorithme de saut la corde comme sur la figure 12 b. Lide serait alors de recommencer cette procdure jusqu ce quil ny ait plus de poignes. 1 Le thorme donne un quart de la rponse (cas o il y a du 1 et pas de 1 ). Il donne

Rduction des poignes

Figure 12

Considrons lexemple de la figure 13. On fait disparatre la premire poigne en la faisant passer vers le haut mais ce faisant on cre une nouvelle poigne. Supprimons cette nouvelle poigne en la faisant passer vers le haut : on obtient alors une tresse
1 qui contient deux 1 et pas de 1 . Daprs le thorme, cette tresse est donc non triviale.

APMEP no 465

Le calcul des tresses

473

il peut y avoir des 2 des 2 , des 3 des 3 Au lieu de faire le grand tour comme prcdemment pour se dbarrasser de la poigne, on ne va faire que le tour des 2. Cest une solution locale qui parat beaucoup plus conomique (Fig. 14 a, b et c).
1 1

Lexemple prcdent est-il juste un exemple bien choisi ou bien cette mthode marche-t-elle toujours ? On ne sait pas. On attend encore une dmonstration mais ce nest pas trs grave car on sait faire mieux. Reprenons lexemple prcdent et regardons plus prcisment ce qui se trouve dans la bote du centre. Dans cette bote,

Figure 13

c Figure 14

474

Confrence

APMEP no 465

Et en faisant comme cela, on arrive toujours supprimer les poignes grce au rsultat suivant :

La dmonstration de ce thorme est difficile et fait intervenir la notion de graphe de Cayley dun groupe G relatif des gnrateurs s1, s2, , sn. Les sommets de ce graphe sont les lments du groupe G et les artes du graphe sont tiquetes par les gnrateurs si : il y a une arte tiquete de a b si b = asi. Ce graphe permet de visualiser le groupe. Par exemple, le graphe de Cayley du groupe symtrique S4 est un graphe fini constitu dhexagones et de carrs. Le graphe de Cayley du groupe des tresses est nettement plus compliqu. Mais il est constitu dun enchevtrement dhexagones et de carrs correspondant aux relations de tresse (Fig. 15 b), comme celui de S4, ce qui nest pas un hasard car chaque tresse induit une permutation sur les brins. La preuve de la dmonstration du thorme ci-dessus utilise le fait quun mot de tresse est une suite de gnrateurs et constitue un chemin dans le graphe de Cayley de Bn.

Thorme : condition de savoir rduire les sous-poignes en premier, litration se termine toujours en un nombre fini dtapes et on a donc une solution au problme disotopie des tresses.

Implmentation de lalgorithme de rduction des mots

Figure 15

Cet algorithme est facile traduire dans un langage informatique si lon remarque quune poigne est un sous mot du type aA ou Aa sans a ni A au milieu et que vrifier quil ny a pas de sous-poigne cest contrler quil ny a pas la fois de b et de B au milieu de la poigne. Rduire revient donc : 1 : supprimer a et A ; 2 : remplacer b par Bab et B par BAb dans le cas aA, remplacer b par baB et B par bAA dans le cas Aa.

Cet algorithme est trs efficace : un mot de tresse de 10 000 lettres sur 100 brins est trait en une seconde sur un ordinateur de bureau. Cest la mthode la plus efficace

APMEP no 465

Le calcul des tresses

475

connue aujourdhui mais il ny a pas de preuve lmentaire de convergence et la complexit algorithmique est inconnue : on ne sait pas en combien dtapes cet algorithme rduit un mot, mais seulement en donner un majorant trs grand.

Pourquoi tudier les tresses ? Applications.

1. Dans le domaine des mathmatiques

chaque tresse est associe une permutation. On a n brins gauche et larrive, droite, on retrouve les n brins dans un ordre diffrent. Les positions ont subi une permutation. Mais la tresse est plus que cette permutation car partir de celle-ci, on ne peut reconstituer la tresse. La tresse contient en elle lordre dans lequel les croisements (transpositions) ont t effectus. Cest pour cela que lon peut dire quune tresse est une permutation plus lhistoire de cette permutation. Le groupe des tresses est donc une extension du groupe symtrique et a donn lieu une vaste thorie qui se rattache de la combinatoire algbrique et la thorie de Coxeter (F. Garside, P. Deligne, E. Brieskorn, ) 2. Dans le domaine de la physique Le groupe des tresses peut tre associ aux symtries de lquation de Yang-Baxter. Si V est un espace vectoriel et R un oprateur linaire sur V V, alors, en notant Ri,i+1 pour idi1 R idni1, il existe une reprsentation de Bn dans Vn envoyant 2 sur Ri,i+1 si et seulement si R satisfait lquation de YangBaxter R12R23R12 = R23R12R23. On reconnat dans cette dernire relation une analogie avec la relation de tresse aba = bab. Quand on tudie une quation, on tudie les symtries associes (cf. la thorie de Galois). Ceci se rattache la reprsentation matricielle des groupes de tresses et la thorie de la cohomologie (V. Arnold, D. Krammer, V. Bigelow, ). 3. Dans le domaine de la chimie, de la biologie Une autre approche des tresses est son lien avec la thorie des nuds. Une tresse est un nud ouvert. Ltude des tresses permet daider la classification des nuds. Cest un problme nettement plus difficile que la classification des tresses car on ne peut pas multiplier les nuds. (V. Jones, V. Turaev, L. Kauffman, ) Cest une application rcente et relativement lmentaire. Pour faire de la cryptographie avec un groupe, il faut un groupe la fois simple (cest--dire dans lequel il est facile de calculer) et compliqu (cest--dire dans lequel il y a des problmes difficiles) : cest le cas du groupe des tresses pour n 3 car il nest pas commutatif et on peut utiliser des tresses x et y qui ne commutent pas et pour lesquelles y est diffrent de xyx1 (tresse conjugue). Il serait un peu naf de coder y par xyx1. Ce quon utilise cest la difficult trouver y partir de xyx1. Au cours des annes rcentes, plusieurs systmes cryptographiques bass sur les groupes de tresses ont t proposs (M. Anshell & al., 4. Application en cryptographie

476

Confrence

APMEP no 465

K.-H. Ko & al.).

change de cl : le problme pour Alice et Bob est de se mettre daccord distance sur une cl commune s, de sorte quun intrus observant les changes ne puisse trouver s. Le protocole est le suivant. On note Bn,2n lensemble des tresses formes sur les gnrateurs n +1 , ..., 2 n 1 . On choisit p publique dans B2n ; Alice choisit a dans Bn et envoie pA = apa1 Bob ; Bob choisit b dans Bn,2n et envoie pB = bpb1 Alice ; La cl s est obtenue par Alice en calculant apBa1 et par Bob en calculant bpAb1.

Les tresses a et b commutent car elles font intervenir respectivement les brins 1 n et les brins n + 1 2n. On a donc ab = ba et apBa1 = abpb1a1 = bapa1b1 = bpAb1, cest--dire qu la fin Alice et Bob ont bien la mme tresse. La scurit de cette mthode rside dans la difficult dterminer a partir du couple (p, pA) et b partir de (p, pB). Pour le moment, on sait mal construire des tresses pour lesquelles il soit certain que le problme de conjugaison considr est difficile, ce qui pose problme pour le choix des cls et rend le futur de ces approches encore incertain.

Bibliographie

P. Dehornoy, Lart de tresser, Dossier hors srie Pour La Science no 15, avril 1997, p. 68-75. Le diaporama de cette confrence est tlchargeable sur les pages personnelles de P. Dehornoy http://www.math.unicaen.fr/~dehornoy

P. Dehornoy, I. Dynnikov, D. Rolfsen, B. Wiest, Why are braids orderable ?, Panoramas et synthses Vol. 22, Socit Mathmatique de France. Laboratoire de Mathmatiques Nicolas Oresme de lUniversit de Caen Basse Normandie http://www.math.unicaen.fr/lmno