Sur quelques applications du Polynme de Tutte

par

Boris Albar

M1 Mathmatiques - Informatique

Stage M1 Mathmatiques Encadrant : Jorge Luis Ramrez Alfonsn

17 mai 2010

ii

Table des matires

Table des matires Liste des figures Notations Introduction 1 Matrodes et polynme de Tutte
1.1 1.2 1.3 1.4 Matrodes . . . . . . . . . . . . . . . . Isomorphismes de matrodes . . . . Rang dun matrode . . . . . . . . . . Quelques exemples de matrodes . . 1.4.1 Matrode linaire . . . . . . . . . 1.4.2 Matrode graphique . . . . . . . 1.4.3 Matrode algbrique . . . . . . . Oprations sur les matrodes . . . 1.5.1 Supression dlments . . . . . . 1.5.2 Contraction dlments . . . . . . 1.5.3 Mineurs dun matrode . . . . . . 1.5.4 Somme directe . . . . . . . . . . 1.5.5 Matrode dual . . . . . . . . . . Invariants de Tutte-Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii iv 1 3 5 5 8 9 11 11 12 14 15 15 16 16 17 18 19 31 31 31 35 35 36 37 38 38 41 44 49 50 52 55 56 60

1.5

1.6 2.1

2 Applications du polynme de Tutte

Polynme de Tutte dun matrode . . . . . . . 2.1.1 Gnralits . . . . . . . . . . . . . . . . . . 2.1.2 Nombre dlments du matrode . . . . . . 2.1.3 Nombres de bases . . . . . . . . . . . . . . 2.1.4 Nombre dindpendants . . . . . . . . . . . 2.1.5 Polynme des indpendants . . . . . . . . . Polynme de Tutte dun matrode graphique 2.2.1 Polynme chromatique . . . . . . . . . . . . 2.2.2 Le polynme monochromatique . . . . . . . 2.2.3 Le polynme de ots . . . . . . . . . . . . . 2.2.4 Le polynme de connectivit . . . . . . . . . 2.2.5 Orientations dun graphe . . . . . . . . . . 2.2.6 Espace des bicycles et polynme de Tutte . . Applications la physique statistique . . . . 2.3.1 Le modle dIsing . . . . . . . . . . . . . . 2.3.2 Le modle de Potts . . . . . . . . . . . . . .

2.2

2.3

iii

2.4

2.5 2.6 2.7

Applications la thorie des noeuds . . . . . . 2.4.1 Gnralits . . . . . . . . . . . . . . . . . . . . 2.4.2 Graphe mdial et graphe sign dun entrelacs . 2.4.3 Mais o est pass le polynme de Tutte ? . . . . Zonotopes et thorie dErhart . . . . . . . . . . Physique du tas de sable et jeux combinatoires Applications la thorie des codes . . . . . . . 2.7.1 Generalits . . . . . . . . . . . . . . . . . . . . 2.7.2 Matrodes et codes correcteurs . . . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

60 61 62 66 69 75 81 81 84 91 93

Conclusion Bibliographie

Liste des figures

1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 1.10 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 2.10 2.11 2.12 2.13 2.14 2.15 2.16 2.17 iv Exemple de matrodes isomorphes . . . . . . . . . . . . . Treillis des ferms dun matrode vectoriel . . . . . . . . Conguration de vecteurs dans R3 . . . . . . . . . . . . . Un exemple de graphe . . . . . . . . . . . . . . . . . . . . Interprtation des lments du matrode dans un graphe Le graphe L . . . . . . . . . . . . . . . . . . . . . . . . . . Le graphe C . . . . . . . . . . . . . . . . . . . . . . . . . . Contraction dans un matrode graphique . . . . . . . . . Somme directe de graphe . . . . . . . . . . . . . . . . . . Un graphe G et son dual G . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 10 11 13 14 15 15 16 18 19 34 39 45 48 53 56 56 61 61 62 63 63 63 64 65 65 66

Calcul rcursif du polynme de Tutte . . . . . . . . . . . . . Une 3-coloration propre dun graphe . . . . . . . . . . . . . Exemple de Z4 -ot partout non-nul . . . . . . . . . . . . . . Frustration gomtrique dans un cristal ttradrique de molcules deau . . . . . . . . . . . . . . . . . . . . . . . . . . . . Tripartition des arcs dun graphe . . . . . . . . . . . . . . . . Alignement des spins dans le modle ferromagntique . . . Alignement des spins dans le modle anti-ferromagntique Le noeud de tre . . . . . . . . . . . . . . . . . . . . . . . . . Lentrelacs borromen . . . . . . . . . . . . . . . . . . . . . . Mouvements de Reidemeister . . . . . . . . . . . . . . . . . . Coloration du diagramme du noeud de tre . . . . . . . . . Graphe mdial du noeud de tre M(&) . . . . . . . . . . . Signature des croisements . . . . . . . . . . . . . . . . . . . . Graphe sign du noeud de tre droit . . . . . . . . . . . . . Croisements dans un diagramme orient . . . . . . . . . . . Noeud de tre droit orient : (&) = 3 . . . . . . . . . . . Relation de Kauffman et graphe mdial . . . . . . . . . . . .

2.18 2.19 2.20 2.21 2.22

Somme connexe dun noeud de tre et dun noeud de huit Exemple de zonotope dans R2 . . . . . . . . . . . . . . . . . Exemple de zonotope dans R3 . . . . . . . . . . . . . . . . . Distance minimale et code correcteur . . . . . . . . . . . . . Arrangement dhyperplan associ un code . . . . . . . . .

67 72 73 83 88

Notations

N Z R C P(E) |E| EF supp( f )

ensemble des entiers naturels ensemble des entiers relatifs ensemble des rels ensemble des nombres complexes ensemble des parties de E cardinal de lensemble E lensemble des lments de E nappartenant pas F support de la fonction f

Introduction

En 1954, W.T. Tutte introduit une gnralisation deux variables du polynme chromatique dun graphe. Le polynme chromatique tait obtenu en trivialisant la nouvelle variable. Il sest avr que ce nouveau polynme, nomm polynme dichromate par Tutte, encodait de nombreuses informations sur la combinatoire du graphe. Le polynme de Tutte ensuite t tendu au cadre plus gnral des matrodes. Les domaines dapplication de ce polynme sont extrmement nombreux et passent par la thorie des noeuds, la physique statistique ou encore les codes linaires... Le but de ce stage est dtudier certaines des applications du polynme de Tutte. Jessaierai de mettre en vidence les liens unissant les divers domaines. Dans un premier temps nous tudierons les matrodes qui fournissent un cadre gnral pour lexpression du polynme de Tutte. Jintroduirai ensuite les invariants de Tutte-Grothendieck et le polynme de Tutte ainsi que certaines de ses proprits. Dans un second temps nous verrons quelques-uns de ses domaines dapplication.

Matrodes et polynme de Tutte

Dans ce chapitre nous introduisons les principales dnitions et thormes qui nous seront utiles par la suite. Dans un premier temps, une part sera donne ltude des matrodes puis lintroduction des invariants de Tutte-Grothendieck.

1.1

Matrodes
La notion de matrode a t introduite en 1935 par Whitney pour tudier la notion dindpendance linaire. Il existe de nombreuses axiomatiques quivalentes pour dnir un matrode. Nous utiliserons principalement la dnition suivante :
Dnition 1.1.1

Un matrode M est un couple (E, I ) tel que : E est un ensemble ni. I est une collection de sous ensembles de E vriant : (I1) : E (I2) : Si I J et J I alors I I (I3) : Si I, J I et |I| < |J| alors il existe j J I tel que I { j} I . Le dernier axiome est appel axiome dchange. Nous prfrerons gnralement utiliser cette dnition qui nous parat la plus naturelle car trs proche de la notion dindpendance linaire dans les espaces vectoriels. Nanmoins, nous verrons plus loin une axiomatique quivalente dnie partir des bases du matrode. Lensemble E sera appel le support du matrode M et I lensemble des indpendants. Un lment de I sera appel un indpendant. Lensemble complmentaire de I dans P(E) sera appel lensemble des dpendants et ses lments les dpendants.
Notation 1.1.1

Soit M = (E, I ) un matrode. On note E(M) lensemble E associ au matrode M et I (M) lensemble des indpendants. Lorsquil ne peut y avoir de confusion, on identiera dans la suite I I (M) et E E(M).

Nous pouvons maintenant dnir les bases dun matrode comme les indpendants maximaux, cest dire :
Dnition 1.1.2

Soit M un matrode et B I un indpendant. On dit que B est une base de M si e E, B {e} I .

Corollaire 1.1.1

Toutes les bases dun matrode ont la mme taille.

Preuve. Supposons que lon ait une base B de M ayant strictement moins dlments que les autres bases. Il existe donc une base B de M telle que |B | < |B|. Or en utilisant laxiome dchange, on peut trouver un lment j B B tel que B { j} I , ce qui contredit la maximalit.

De la mme manire, on dnit les circuits comme les dpendants minimaux :

Dnition 1.1.3

Soit M un matrode et C P(E) tel que C I . C est un circuit de M si e C , C {e} I . On peut montrer quil est quivalent de dnir un matrode par ses bases. Par exemple, la dnition suivante dnissant un matrode partir de ses bases est strictement quivalente celle de la Dnition 1 :
Dnition 1.1.4

Un matrode M est un couple (E, B ) tel que : E est un ensemble ni. B est une collection de sous-ensembles de E vriant : (B1) : B = (B2) : Pour tout B, B B et e B B , il existe f B B tel que (B { e } ) f B . Nous aurons besoin du lemme suivant pour montrer lquivalence entre les deux dnitions.
Lemme 1.1.1

Tous les lments de B construits de la manire prcdente, cest dire vriant les axiomes (B1) et (B2), sont de mme cardinal. Soit M un matrode et B lensemble de ses base. On choisit B B de cardinal minimal. On va montrer que toutes les autres bases sont de mme cardinal par rcurrence sur |A B|.
Preuve.

Si |A B| = 0, alors B contient au moins tous les lments de A donc A B. Or par minimalit de B, on en dduit que B = A puis que |A| = |B|. On suppose la proprit vraie au rang n 1, nous allons le montrer au rang n. Soit A, B B tels que |A B| = k > 0. Il existe donc a A B et on peut donc trouver par (B2), b B A tel que A { a} {b} B . Or 6

|(A { a} {b}) B| = k 1 car b B. On peut appliquer lhypothse de rcurrence et on en dduit que |A { a} {b}| = |B| et |A { a} {b}| = |A|.

Nous pouvons maintenant montrer lquivalence entre les deux dnitions :

Preuve.

Soit M = (E, I ) un matrode et B un ensemble de bases de M.

On considre lensemble des indpendants et on veut montrer que les bases vrient les axiomes (B1) et (B2) : La proprit (B1) est vidente. Considrons maintenant la proprit (B2). Soit A, B B (M) et a A B. Alors A { a} I car A est une base de M par hypothse. Or |A { a}| < |B|. On peut donc appliquer laxiome dchange (I3) : il existe b B vriant b A { a} tel que A { a} {b} I . On a maintenant |A { a} {b}| = |A| donc A { a} {b} B . Rciproquement soit B une collection de bases de M vriant les axiomes (B1) et (B2). On pose I = {I | I B, B B} lensemble des parties des bases du matroide. On veut montrer que (E, I ) est un matrode. On a clairement que I par (B1). La proprit (I1) est donc vrie. Soit maintenant I J et J I alors J B avec B B donc I B donc I I . La proprit (I2) est donc vrie. Il reste donc vrier laxiome (I3). On se donne donc I, J I . Par le lemme prcdent, les lments de B ont tous la mme taille que lon note r. On montre la proprit par rcurrence sur r |J| : Si r |J| = 0 alors |J| = r et J I donc on peut trouver B B tel que J B et comme |B| = r alors J = B est une base. Maintenant on peut trouver A B tel que I A. Si (A I) J = , soit a A J, alors I { a} A donc I { a} I et a J I. Par contre si (A I) J = . Alors on a deux cas : Si (A I) J = , soit a (A I) J et A, J B donc par la proprit dchange (B2), il existe un lment j J A tel que A { a} { j} B . Or I A { a} et I { j} A { a} { j} B donc I { j} I et j J I. Si A J = et (A I) J = , alors A = I et |J| > |I| = |A| ce qui est une contradiction avec le lemme prcdent car A et J sont des lments de B . Donc la proprit est vraie dans le cas de base. Supposons la proprit vraie au rang n 1 et montrons-l au rang n.

Soit I, J I tels que |I| < |J| et r |J| = k. On peut trouver A, B B tels que I A et J B. On peut aussi trouver, comme dans le cas prcdent, b B I tel que I {b} I . On a alors deux cas possibles : Si b J alors cest ni, on a I {b} I et b J I. Si b J alors comme J {b} B, on a J {b} I De plus |I {b}| < |J {b}| car |I| < |J|. Or r |J {b}| = k 1 donc on peut appliquer lhypothse de rcurrence : Il existe c (J {b}) (I {b}) = J I, cest dire que c J I, tel que I {b} {c} I . On en dduit donc que I {c} I .

Nous voyons que la dmonstration est loin dtre triviale. Il existe encore dautres manires quivalentes de dnir les matrodes, par exemple partir de ses circuits :
Dnition 1.1.5

Un matrode M est un couple (E, C ) tel que : E est un ensemble ni. C est une collection de sous-ensembles de E vriant : (C1) : C (C2) : Pour tout C1 , C2 C , si C1 C2 alors C1 = C2 . On dit que les lments sont incomparables pour linclusion. (C3) : On a la proprit dlimination :

C1 , C2 C tels que C1 = C2 , e C1 C2 , C3 C , C3 (C1 C2 )\{e}.

Nous nous rfrerons (Oxl) pour la dmonstration de lquivalence de cette dnition.

1.2

Isomorphismes de matrodes
Nous dnissons ici un isomorphisme de matrode qui tend la dnition disomorphisme de graphe, cest dire un rtiquetage des lments du matrode qui "conserve" les indpendants.
Dnition 1.2.1

Soit M = (E, I ) et M = (E , I ) deux matrodes. M et M sont dit isomorphes sil existe une bijection de E vers E qui induit une bijection de I vers I. Dans le cas dun matrode graphique, on retrouve bien la dniton des isomorphismes de graphe.
Exemple : La gure 1.1 montre un matrode graphique et un matrode

linaire isomorphes. Il nest en effet pas difcile de voir quils ont les mme bases.

b d a c
(a) Graphe

f e c

f d e

(b) Conguration vecteurs

de

Fig. 1.1 Exemple de matrodes isomorphes

1.3

Rang dun matrode

tant donn un matrode M, on peut dnir une certaine fonction appele fonction rang que nous noterons r :
Dnition 1.3.1

On appelle fonction de rang r : 2|E| N, la fonction dnie par r (X) = max{|I| | I X et I I}. On appelle rang du matrode et on note r (M) le cardinal des bases de M. Cette dnition est parfaitement naturelle en algbre linaire. On ne sera donc pas perdu lorsque lon travaillera avec des matrodes linaires. Dans un matrode graphique M(G), la fonction de rang correspond : r (A) = |V(G) | (A), avec (A) le nombre de composantes connexes de A. La fonction rang vrie certaines proprits :
Proposition 1.3.1

Soit M un matrode. On appelle fonction de rang une fonction de r : P(E) N vriant : r (A) |A| pour tous A P(A), Si A, B P(E) tels que A B, alors r (A) r (B), Si A, B P(E) alors r (A B) + r (A B) r (A) + r (B).
Preuve.

Les deux premires proprits sont triviales.

On va montrer la dernire proprit qui exprime la sous-modularit de la fonction r. Soit I un indpendant maximal contenu dans A B. Alors I est aussi un indpendant de A B que lon peut complter en un indpendant I pour le rendre maximal dans A B. On peut dcomposer la partie I en une partie X uniquement incluse dans A, une partie Y uniquement incluse dans B et une partie Z incluse dans lintersection de A et B. Donc r (A B) = |I | = |X| + |Y| + |Z|. Or 9

r (A B) = |Y|. De plus par dnition, r (A) |X| + |Y| car X Y A. De mme r (B) |Z| + |Y|. On en dduit que r (A) + r (B) |X| + 2|Y| + |Z| = r (A B) + r (A B). En fait on peut montrer que les trois proprits ci-dessus sont assez fortes pour dnir un matrode, ce qui permet de donner une dnition alternative dun matrode partir dune telle fonction. La fonction de rang permet aussi de dnir une fonction de fermeture :
Dnition 1.3.2

On appelle oprateur de fermeture et on note cl la fonction dnie par cl : P(E) P(E) E { x E | r (X { x } ) = r (X) } . On appelle ferm de M, un sous-ensemble F E tel que cl(F) = F. Lensemble des ferms dun matrode forme un treillis gomtrique (cest dire que cl() = et pour tout x E, cl({ x }) = { x }) pour linclusion comme le montre la gure 1.2 dans le cas dun matrode (cest--dire lorsque les ferms sont les sous-espaces vectoriels).
abcdef

abf

acf

adef

bcdef

f d c e

af

bf

cf

def

f
de (b) Treillis des ferms

(a) Conguration vecteurs

Fig. 1.2 Treillis des ferms dun matrode vectoriel

Linformation perdue dans le passage au treillis des ferms consiste uniquement aux boucles et aux lments en parallles. En fait nous avons la proposition suivante :
Proposition 1.3.2

Un treillis est gomtrique si et seulement si il correspond un treillis des ferms dun matrode. On a donc une correspondance bijective entre les treillis gomtriques et les matrodes sans boucles ni lments en parallles. Nous naurons que trs rarement par la suite besoin de cette notion donc nous ne dveloppons pas plus ce paragraphe.

10

1.4

Quelques exemples de matrodes

On introduit ici plusieurs exemples importants de matrodes. Certains seront fondamentaux pour la suite.

1.4.1 Matrode linaire

Proposition 1.4.1

On considre un ensemble de vecteurs E dun K-espace vectoriel. On considre maintenant I lensemble des parties de E linairements indpendantes. Alors (E, I ) est un matrode que lon appele matrode vectoriel.
Preuve.

On vrie aisment que les proprits de la Dnition 1 sont

vries : 1. Par dnition de la notion dindpendance linaire, la famille vide est libre donc I . 2. Soit J I un ensemble de vecteurs linairements indpendants et I J. Alors trivialement I est un ensemble de vecteurs linairements indpendants donc I I . 3. Soit I = {i1 , . . . , in } et J = { j1 , . . . , jm } deux familles libres de vecteurs tels que n < m. Supposons par labsurde que pour tout j J I, la famille I { j} soit lie alors comme I est une famille libre il existe des scalaires (1 , . . . , n ) non tous nuls tels que j = 1 i1 + . . . + n in alors j Vect(i1 , . . . , in ) donc dim(Vect(J)) = dim(Vect(I)) or dim(Vect(I)) = n < m = dim(Vect(I)). On a donc une contradiction. Si lon considre lensemble de vecteurs de R3 donns par la gure 1.3. Les indpendants sont alors les ensembles de vecteurs linairement indpendants suivants :
Exemple :

{ a, b, c, d, e, ab, ac, ad, ae, bc, bd, be, cd, ce, abc, abd, abe, acd, ace}.
a

f d c e

Fig. 1.3 Conguration de vecteurs dans R3

Nous pouvons trouver des matrodes linaires dans diffrents endroits :

Remarque 1.4.1

Soit M une matrice k l coefcients dans un corps K Alors on peut considrer le matrode linaire engendr par les dpendances des lignes ou des colonnes de la 11

matrice. Le support du matrode est alors les lignes (ou les colonnes) de la matrice en supposant que chaque vecteur ne se trouve quen un seul exemplaire. De manire quivalente on peut construire un matrode partir dun sousespace vectoriel de Rn en considrant un ensemble de vecteurs engendrant le sous-espace vectoriel. Si un matrode M est isomorphe un matrode linaire sur un corps K alors on dit que M est reprsentable sur K. Les matrodes graphiques simples (sans boucles ni lments parallles) sont reprsentables sur le corps deux lments, ils sont dit binaires. Nous verrons plus loin des matrodes rguliers, reprsentables sur nimporte quel corps. Un exemple de matrode linaire que nous utiliserons par la suite est donn en considrant lindpendance des formes linaires associes un ensemble dhyperplans :
Exemple :

Soit AA , . . . , An un arrangement dhyperplans. On dit que k hyperplans sont indpendants si la codimension de leur intersection est k.

On construit sur ce principe une fonction de rang. Cette fonction est bien dnie (en tant que fonction de rang dun matrode) lorsque lintersection des hyperplans est non vide. On dit quun arrangement dhyperplan est central lorsque lintersection des hyperplans est non-vide. A tout arrangement central dhyperplans A, on peut lui associer un matrode MA . Nous pouvons dnir un ensemble dhyperplans par leurs vecteurs normaux. On vrie facilement que le matrode linaire dni sur cet ensemble de vecteurs est isomorphe au matrode dun arrangement central dhyperplans.

1.4.2 Matrode graphique

Nous voyons ici comment dnir un matrode partir dun graphe.
Proposition 1.4.2

Soit G = (V, E) un graphe et I la collection des ensembles dartes ne formant pas de cycles, alors (E, I ) est un matrode quon appelle matrode graphique.
Preuve.

On montre que (E, I) vrie les proprits de la Dnition 1 :

1. Lensemble vide ne contient aucune arte donc aucun cycle, par suite I. 2. Soit J I et I tel que I J. Les graphe induit par lensemble dartes J, (V, J) est sans cycles donc (V, I) est aussi sans cycles car I J donc I I. 3. On remarque que si I est un indpendant alors le graphe induit par I a |V| |I| composantes connexes. En effet lorsquon ajoute une nouvelle arte un indpendant, soit la nouvelle arte forme un cycle et le nombre de composantes connexes reste le mme, soit on ne forme pas de cycle et donc larte relie deux composantes connexes diffrentes, donc le nombre de composantes connexes diminue de 1. 12

Or comme un indpendant ne forme pas de cycle par dnition, une rcurrence immdiate sur le nombre dartes de I donne le rsultat. Maintenant on peut trouver une arte de J qui relie deux composantes connexes du graphe (V, I). En effet supposons par labsurde que, pour toute arte j J, I { j} ne modie pas le nombre de composantes connexes, alors si on ajoute toutes les artes de J, on ne modie pas non plus le nombre de composantes connexes du graphe (V, I). On a donc (V, J I) a |V| |I| composantes connexes. Or par la remarque prcdente, (V, J) a |V| |J| < |V| |I| composantes connexes car |I| < |J|. Et (V, J I) a au moins autant de composantes connexes que (V, J). On a une contradiction avec le nombre de composantes connexes de (V, J I) trouv prcdemment.
Exemple : Si lon considre le graphe donn par la gure 1.4 alors les

indpendants du matrode sont {1, 2, 3, 4, 12, 13, 14, 23, 24, 34}.
2 4

Fig. 1.4 Un exemple de graphe

Nous pouvons maintenant donner une interprtation des composants (indpendants, bases, circuits, ...) dun matrode graphique en terme de graphe :
Corollaire 1.4.1

Soit G un graphe, et M(G) le matrode graphique associ. Nous avons les proprits suivantes : 1. les indpendants sont les forts de G. 2. les bases sont les forts couvrantes maximales de G. 3. les circuits sont les cycles de G.
Preuve. Le premier point est immdiat par dnition, en effet une fort est un sous-graphe de G sans cycles (mais pas forcment connexe).

Ainsi les indpendants du matrode graphique correspondent aux forts du graphe. Nous cherchons dsormais une fort maximale pour linclusion. Pour cela on ajoute les artes une par une et on ne conserve que celles qui ne forment pas de cycles dans le sous-graphe induit. Ce processus est exactement lalgorithme de cration dune fort couvrante de G. Si G est connexe, alors les bases du matrode sont des arbres couvrants de G. Ce qui conclut le deuxime point. Pour le troisime point, les cycles sont clairement des dpendants minimaux car supprimer nimporte quel arc du cycle revient le casser donc le rendre indpendant. Rciproquement supposons que lon ait un dpendant minimal qui ne soit pas un cycle, alors on peut trouver un cycle strictement contenu dans ce dpendant, ce qui est absurde par minimalit. Les cycles sont donc les circuits du matrode. 13

Nous pouvons illustrer la proprit prcdente sur le graphe suivant :

3 5 2 1
(a) Circuit Cycle =

3 5 2 1
(b) Indpendant = Fort

3 5 2 1
(c) Base = Arbre couvrant

Fig. 1.5 Interprtation des lments du matrode dans un graphe

Nanmoins la classe des matrodes graphiques nest pas distincte des matrodes linaires vus prcdemment. Au contraire, comme le montre la proposition suivante, les matrodes graphiques peuvent tre considrs comme une sous-classe des matrodes linaires :
Proposition 1.4.3

Tout matrode graphique est linaire.

Preuve.

Soit G = (V, E) un graphe et M(G) son matrode associ. Nous allons montrer que M(G) est un matrode linaire. Pour tout v V on associe le vecteur : 0 . . . x v = 1 v-ime position . . . 0

et on considre la transformation : E Vect{ xv1 , . . . , xvn } qui pour tout e = (v, w) E associe le vecteur xe = xv xw . Si deux artes relient les mmes sommets alors on associe le premier xe et le deuxime 2 xe de manire avoir une bijection entre E et (E) = { (e) | e E}. On note M( (E)) le matrode linaire associ lensemble de vecteurs (E). On veut maintenant montrer quil existe une bijection entre les indpendants de M(G) et ceux de M( (E)). Il suft maintenant de remarquer que les cycles dans le graphe sont quivalents la donne dun ensemble linairement dpendant des vecteurs construits comme ci-dessus, ce qui nous donne lisomorphisme entre M(G) et M( (E)).

1.4.3 Matrode algbrique

Pour terminer cette srie (incomplte) dexemples. Nous avons vu que les matrodes graphiques formaient une sous-classe des matrodes linaires. Il existe une autre classe, plus large, contenant les matrodes linaires : les matrodes algbriques.

14

On se donne K un corps quelconque et E une extension du corps K. Un lment u E est algbrique sur K sil existe un polynme nonnul P K[X] tel que P(u) = 0. De la mme manire, on dit que le nuplet ( a1 , . . . , an ) En est algbriquement dpendant sur K sil existe un polynme non-nul P K[X1 , . . . , Xn ] tel que P( a1 , . . . , an ) = 0. On peut gnraliser cette dnition pour obtenir la notion densemble algbrique. Dans ce cas le matrode ayant comme support un ensemble ni de E et constitu des sous-ensembles indpendants (au sens algbrique) forme un matrode. Il est clair que tout matrode linaire sur un corps K est algbrique sur une extension de K.
Exemple :

Si lon considre K = C et E = C[X, Y, Z]. En considrant les lments Z, (Y + Z)2 , XY + XZ, X, X1 , 1 + i, on retrouve le matrode de la gure 1.1 et les lments prcdents correpondent, dans lordre, aux artes a, b, c, d, e, f . Il est facile de constater que ces deux matrodes ont les mme circuits (par exemple, on a une dpendance algbrique donne par X X1 1 = 0 donc les artes d et e forment un circuit).

1.5

Oprations sur les matrodes

Certaines oprations sur le support dun matrode permettent de construire de nouveaux matrodes. On dnit ici certaines de ces constructions qui nous seront utiles par la suite. Deux types dlments jouent un rle particulier (qui sera trs important par la suite) : les boucles qui sont les lments du matrode qui nappartiennent aucun indpendant. Par la suite nous noterons L le matrode avec une seule boucle, ce qui en terme de matrode graphique donne le graphe :

Fig. 1.6 Le graphe L

les co-boucles ou isthmes sont les lments du matrode qui appartiennent toutes les bases. Dans la suite nous noterons C, le matrode avec un seul isthme, ce qui en terme de matrode graphique donne le graphe :

Fig. 1.7 Le graphe C

On note M = (E, I ) un matrode dans la suite.

1.5.1 Supression dlments

Dnition 1.5.1

Soit e E un lment du matrode qui ne soit pas un isthme. On dnit le

15

matrode obtenu par suppression de e par

M e = (E { e }, {I I : e I} ) .
La preuve quil sagit dun matrode est immdiate partir du moment o lon remarque que les indpendants de M ne contenant pas e sont bien des indpendants de M e.
Preuve.

La supression dans un matrode vectoriel ou graphique sexprime naturellement par la suppression dun vecteur ou dun arc. On peut gnraliser cette proprit de supression tout un ensemble dlments puis dnir la restriction M|F dun matrode M un sousensemble F du support de M par :

M |F = M (E A ).
Dans le cas des matrodes asssocis un sous-espace vectoriel, cette proprit consiste prendre un sous-espace vectoriel et considrer le matrode linaire associ.

1.5.2 Contraction dlments

De la mme manire on peut considrer la contraction dlments du matrode :
Dnition 1.5.2

Soit e E un lment du matrode qui ne soit pas une boucle. On dnit le matrode obtenu par suppression de e par

M/e = (E {e}, {I {e} : e I I}) .

Dans un matrode graphique la contraction dun lment sexprime en supprimant larte et en assimilant les deux sommets de cette arte :
3 2 4 5 2 1
(a) Un graphe

1 4 3
(b) Contraction de larte 5

Fig. 1.8 Contraction dans un matrode graphique

En terme de matrode vectoriel, la suppression correspond la projection orthogonale sur le sous-espace vectoriel engendr par E {e}.

1.5.3 Mineurs dun matrode

Les matrodes obtenus par une suite nie de suppressions et de contractions dlments sont appells des mineurs de M. Cette classe de ma16

trodes est particulirement importante dans ltude des invariants de Tutte-Grothendieck comme nous le verrons par la suite. La proprit fondamentale de ces constructions est quelles ne dpendent pas de lordre dans lequel les oprations de supression et de contraction sont effectues. De manire plus formelle, on a la proprit suivante :
Proposition 1.5.1

Soit e, f E(M) deux lments distincts du support de M. Alors on a :

(M e)/ f

(M/ f ) e

autrement dit les oprations de supression et de contraction commutent.

Preuve. Premirement, les deux matrodes ont le mme support qui est E { e, f }.

On considre maintenant lensemble des indpendants. Dans le premier cas, lensemble des indpendants correpond aux lments de I ne contenant pas e et privs de f . Dans le deuxime cas ils sagit des indpendants de I privs de llments f et ne contenant pas e. Comme les lments sont supposs distincts alors ces deux ensembles sont gaux donc la proprit est dmontre. De plus les oprations de contractions et suppressions sont "duales" (nous verrons par la suite la dnition de dualit) :
Proposition 1.5.2

Soit e un lment du matrode, on a la relation :

M/e = (M e) .

1.5.4 Somme directe

On peut aussi dnir une somme directe sur les matrodes :
Proposition 1.5.3

Soient deux matrodes M1 = (E1 , I1 ) et M2 = (E2 , I2 ). On dnit la somme directe M1 M2 comme le matrode de support E1 E2 et comme ensemble dindpendants I1 I2 . En terme de matrode graphique, la somme directe peut se voir avec deux composantes connexes dun graphe ou bien avec deux graphes partageant un unique sommet comme le montre la gure 1.9. La somme directe de deux matrodes linaires de deux congurations de vecteurs V1 V1 et V2 V2 peut se voir comme le matrode associ la conguration de vecteurs (0 V1 ) (V2 0) de V1 V2 . En terme de rang, un corollaire de la dnition est :
Corollaire 1.5.1

Soit M1 M2 la somme directe de deux matrodes, alors on a r ( M1 M2 ) = r ( M1 ) + r ( M2 ). 17

v v
(a) Un premier graphe G1 (b) Un deuxime graphe G2

v
(c) La somme directe M(G1 ) M(G2 ) = M(G1 v G2 )

Fig. 1.9 Somme directe de graphe

1.5.5 Matrode dual

En thorie des graphes, la dualit joue un rle extrmement important dans ltude des graphes planaires, cest dire des graphes admettant un plongement plan sans croisement des artes. Nous voyons ici comment on peut gnraliser cette notion aux matrodes. On dnit un matrode partir de ses bases. Dans ce cas, les complmentaires des bases forment un nouvel ensemble de bases qui caractrise le matrode dual.
Thorme 1.5.1

Soit M = (E, B ) un matrode. Soit

B = {E B | B B} .
Alors (E, B ) est un matrode appell matrode dual.
Preuve.

On cherche vrier les axiomes (B1) et (B2).

Il est clair que (B1) est vri car lensemble des lments de E nest pas une base. Soit A , B B , alors il existe par dnition des bases A et B de M telles que A = E A et B = E B. Soit e A B = E A (E B) = B A. Or B et A sont des bases de M et e B A donc il existe f A B tel que A {e} { f } B . Donc le complmentaire de cette base de M A { f } {e} est une base de M . Donc la proprit (B2) est bien vrie. On peut exprimer le rang du matrode dual en fonction du rang du matrode :
Corollaire 1.5.2

18

On note r la fonction rang du matrode dual. On a la relation : r (E A) = |E| r (E) |A| + r (A). On regarde ce qui se passe dans le cas des matrodes linaires :
Proposition 1.5.4

Si M est le matrode linaire associ un sous-espace de Rn alors le matrode dual est isomorphe au matrode linaire associ au complmentaire orthogonal du sous-espace dans Rn . De manire plus gnrale on peut tendre cette proprit aux matrodes reprsentables sur un corps. Si un matrode est reprsentable sur un corps K quelconque alors son dual est aussi reprsentable sur K. La notion de dualit gnralise aussi la notion de dualit dans les graphes planaires :
Proposition 1.5.5

Soit G un graphe planaire et G son graphe dual, alors le dual du matrode graphique associ G est isomorphe au matrode graphique associ G . La gure 1.9 donne un exemple de graphe dual. Et on peut montrer que le matrode de la gure 1.1 est autodual, cest dire que son dual est isomorphe lui mme.

Fig. 1.10 Un graphe G et son dual G

1.6

Invariants de Tutte-Grothendieck
Nous dnissons ici des invariants de matrodes construits partir de suppressions et contractions dlments. Nous introduisons formellement les anneaux de Tutte-Grothendieck de manire catgorique en partant de la notion de dcomposition introduite par Brylawski []. On a besoin pour cela dun peu de thorie des multiensembles. Les multiensembles sont une gnralisation des ensembles o les lments dun ensemble peuvent apparatre plus dune fois. 19

Dnition 1.6.1

On appelle multiensemble les couples (A, m) tels que A soit un ensemble nonvide appel support de A et m une fonction de A dans lensemble des entiers naturels. Pour tout lment a A, m( a) est appel multiplicit de a. Le cas des multiensembles support ni nous permet de dnir une notion de cardinalit dun ensemble qui tend la notion classique :
Dnition 1.6.2

On dit quun multiensemble est ni si cest un multiensemble support ni. Dans ce cas la somme f (e) est bien dnie et on lappelle la cardinalit de f
e E

et on note | f |. On dit que f est vide si | f | = 0. La notation classique des multiensembles est la suivante :
Notation 1.6.1

On note {{2, 2, 3, 2, 4}} le multiensemble ni de support {2, 3, 4} et avec la multiplicit : f (2) = 3, f (3) = 1, f (4) = 1. Lorsque le multiensemble f est de cardinal ni, on peut crire le multiensemble sous la forme ai avec ai A, par
i =0

|f|

exemple dans le cas prcdent, on lcrira 2 + 2 + 3 + 2 + 4. On remarque que si f ne prend pas de valeurs suprieures 1, alors on peut voir f comme un sous-ensemble de A puisque les lments apparaissent au plus une fois. On peut dnir une opration commutative sur lensemble des multiensembles nis note a + b o le support est donn par lunion des supports de a et b et la fonction de multiplicit est donne par :

a, b M, f ( a + b) = f ( a) + f (b).
Ainsi on a muni les multiensembles nis dune structure de monode commutatif libre engendr par A et llment identit correspond au multiensemble vide, cest--dire dont la fonction de multiplicit est identiquement nulle. On peut maintenant introduire la notion de dcomposition dune ensemble :
Dnition 1.6.3

Une dcomposition D(A) sur un ensemble A est une catgorie ayant comme objets les multiensembles nis non-vides de A et les morphismes de multiensembles vriant : 1. Hom( f , g) =

{( f , g)} si | f | < | g| ou si f = g sinon

2. Hom( f + g, h) = si et seulement si il existe h1 et h2 tels que h1 + h2 = h, Hom( f , h) = et Hom( g, h) = . Si Hom( f , g) = alors on dit que f se dcompose dans g et on note f < g. En effet, on a construit une relation dordre partielle sur les sous20

multiensemble, en utilisant la cardinalit, de manire ce que cette relation dordre se comporte bien pour la relation +. Pour cet ordre, les plus petits lments sont les lments de A. On peut voir la cardinalit comme un foncteur dans la catgorie des entiers naturels ordonns. En effet lensemble des entiers naturels muni de la relation dordre canonique forme une catgorie dont les morphismes sont donns par les fonctions prservant lordre. Les morphismes de la catgorie sont alors donns par : Hom( a, b) =

{( a, b)} si a b sinon

La reexivit assure lexistence de lidentit tandis que la transitivit de la relation dordre donne une composition naturelle de ces morphismes. De plus comme les classes de morphismes possdent un unique lment alors cette composition est associative.
Dnition 1.6.4

On dit quun lment a A est irrductible ou indcomposable si b D(A), a < b. Ces lments vont jouer un rle important puisque lon va chercher dcomposer les lments de A en un multiensemble form dlments irrductibles. On dit quune telle dcomposition est complte. Dans le cas des matrodes nous nous plaons en considrant lensemble S des classes disomorphismes de matrode : Si e est un lment dun matrode M qui nest ni un isthme ni une boucle, alors on peut dnir, comme on la vu prcdemment, la contraction et la supression de llment e. Par suite on a une premire dcomposition des classes disomorphismes de matrodes donn par [M] < [M e] + [M/e]. On appelle cette dcomposition dcomposition de Tutte. Dans ce cas les lments irrductibles concident par construction avec les classes de matrodes forms uniquement par des isthmes et des boucles. Il existe une deuxime dcomposition possible des classes disomorphismes de matrodes donne par la dcomposition par somme directe. Soit [M] = [M1 ] [M2 ], on considre la dcomposition donne par [M] < [M1 ] [M2 ]. Les lments irrductibles correspondents alors aux matrodes ne pouvant scrire sous forme de somme directe. On appelle ces lments lments connects.
Notation 1.6.2
n

Lorsque nous utilisons plusieurs dcompositions, nous noterons par ai les obi =0

jets de la catgorie D2 et ai les objets de la catgorie D1 . Nous verrons par

i =0

la suite que cette notation nest pas innocente. De mme nous prciserons la dcomposition utilise pour parler des lments irrductibles. Un lment sera dit D1 -irrductible sil est irrductible pour la dcomposition D1 . Sil est irrductible pour les dcompositions D1 et D2 alors il sera dit D1 , D2 -irrductible. 21

Dnition 1.6.5

On dit quune dcomposition est nie si pour tout a A, s < I avec I un multiensemble form dlments irrductibles.
Dnition 1.6.6

On dit quune dcomposition est rafnable si et seulement si

( f < g et f < h j tel que g < j et h < j) .

Ces lments irrductibles sont les lments maximaux pour la relation dordre donne par D(A) :
Proposition 1.6.1

Un multiensemble est indcomposable si et seulement si il est compos dlments irrductibles.

Preuve. On reformule la proprit 2) de la dnition 1.6.3 avec la notation de relation dordre < :

f + g < h si et seulement si h1 , h2 , h = h1 + h2 et f < h1 , g < h2 . Supposons quon ait un multiensemble form dlments irrductibles alors par la proprit prcdente, en crivant le multiensemble comme somme de ses lments, pour tout lment irrductible i, il existe hi tel que i < hi ce qui est impossible. Rciproquement si un multisemble nest pas dcomposable mais nest pas compos que dlments irrductibles, cest--dire quil existe un lment k dcomposable alors on peut dcomposer le multiensemble ce qui est une contradiction. Si la dcomposition est rafnable alors il existe une unique dcomposition en lments irrductibles. On appelle dcomposition unique une dcomposition nie et rafnable. Autrement dit les dcompositions uniques sont celles o tout lment de A admet une et une seule dcomposition en lments irrductibles.
Dnition 1.6.7

Soit N un sous-ensemble des entiers naturels. On appelle dcomposition entire une dcomposition sur un sous-ensemble N des entiers naturels et pour toute dcomposition n < ni alors ni <N n.
i

Dnition 1.6.8

Une dcomposition D est dite strictement nie sil existe un foncteur de la catgorie D dans une dcomposition entire envoyant les lments diffrents de lidentit sur des lments diffrents de lidentit. Il est clair que les dcompositions uniques sont strictement nies. En effet on peut dnir le foncteur tel que, pour tout a A, T( a) = |I| avec I la dcomposition de a en lmnts irrductibles. Nous voulons maintenant faire cohabiter deux dcompositions de la meilleure manire possible, on dnit donc les bidcompositions et les 22

bidcompositions distributives qui sont celles vriant de "bonnes" proprits. Cest--dire quil faut pouvoir dcomposer les lments de S en lments D1 , D2 -irrductibles, et ce de manire unique.
Dnition 1.6.9

Soit A un ensemble. On appelle bidcomposition tout couple de dcompositions strictement nies D1 (A) et D2 (A) tel quil existe deux foncteurs T1 et T2 envoyant les deux dcompositions dans la mme dcomposition entire D(N) et tel que le diagramme suivant soit commutatif : SI uu III IIi2 uu u II u II uu u z $ u
i1

D1 (A)

II II II I T1 II$

v vv vv v v z v T2 v

D2 (A)

D(N)
Dnition 1.6.10

Une bidcomposition (D1 , D2 ) est dite distributive si elle vrie les proprits : 1. D1 et D2 sont uniques. 2. Soit s < s j D1 (S) avec s j des lments D2 -irrductibles alors s est
j =1 n

D2 -irrductible. 3. Si f < f i D1 (S) et pour un k < n, f k < hi D2 (S) alors il

i =1 j =1 n m

existe m multiensembles g j tels que s < g j D2 (S) et pour tout j on

j =1

ait g j < f i h j .
i =k

La proprit 2) exprime simplement le fait que tout lment dcomposable par D1 en lments D2 -irrductibles est lui mme D2 -irrductible. La proprit 3) exprime la distributivit de la dcomposition D1 sur la dcomposition D2 dune manire similaire la distributivit de laddition sur la multiplication, ce qui justie la terminologie et la notation utilise pour les morphismes des deux catgories. Ainsi ceci implique bien lexistence dune unique dcomposition en lments D1 , D2 -irrductibles. La proprit suivante permet si lon a deux dcompositions qui vrient les axiomes dune bidcomposition distributive, de ne pas avoir montrer que cela forme une bidcomposition dans un premier temps.
Proposition 1.6.2

Si D1 et D2 sont deux dcompositions vriant les axiomes 1), 2) et 3) de la dnition ci-dessus, alors (D1 , D2 ) est une bidcomposition distributive.
Preuve.

On construit une fonction f faisant commuter le diagramme ci-

dessus :

s S, f (s) =

i =1

ki
23

o pour tout i, k i = 2mi obenu en considrant s < si la dcomposition

i =1

en lments D2 -irrductibles (elle existe car D2 est unique) et si < sij la

j =1

mi

dcomposition en lments D1 -irrductibles. On vrie que cette fonction induit bien une dcomposition. Ainsi si lon revient aux matrodes et si lon considre D1 la dcomposition en somme directe et D2 la dcomposition de Tutte. Les deux dcompositions dcomposent un lment en lment de cardinalit infrieure. Par suite les dcompositions sont uniques. De plus tout lment se dcomposant en somme directe de boucles et disthmes est bien D1 -irrductible, ce qui vrie le deuxime axiome. Soit M = M1 M2 un matrode. La distributivit se montre en considrant la dcomposition dans D1 : [M] < [M1 ] [M2 ], soit e un lment de M1 qui ne soit ni une boucle ni un isthme alors on a la dcomposition dans D2 : [M1 ] < [M1 e] + [M1 /e]. De plus on a les dcompositions dans D1 de [M e] < [M1 e] [M2 ] et [M/e] < [M1 /e] [M2 ]. Par construction de la somme directe, on en dduit la dcomposition dans D1 :

[M] < [M1 e] M2 + [M1 /e] M2

ce qui prouve la distributivit de D1 sur D2 . On a bien une bidcomposition distributive. On lappelle bidcomposition de Tutte. Nous avons vu prcdemment que les lments irrductibles sont les matrodes forms de boucles et disthmes. Comme une boucle ou un isthme dans un tel matrode (non rduit un lment car les multiensembles doivent tre non vides par hypothse) permet dcrire ce matrode sous forme dune somme directe, alors les lments irrductibles et indcomposables sont le matrode L et le matrode C que nous avons vu prcdemment. On sintresse maintenant aux fonctions se comportant "bien" pour une dcomposition.
Dnition 1.6.11

On appelle un invariant de dcomposition associ la dcomposition D (ou Dinvariant), une fonction f : S A valeur dans un groupe ablien tel que pour toute dcomposition dun lment s S : s < si , on ait la relation :
i =1 n

f (s) =

i =1

f ( s i ).

Le thorme suivant donne la proprit universelle que vrient les Dinvariant :

Thorme 1.6.1

Soit D(S) une dcomposition unique, alors il existe un groupe ablien G appel 24

groupe de Tutte-Grothendieck et un D-invariant t tel que tout homomorphisme de groupe engendre un unique D-invariant par composition avec t et tel que le diagramme : S ??
t

?? f ?? ?? 

/G ~ ~ h ~ ~~ ~ ~ ~

G soit commutatif pour tout D-invariant f valeur dans un groupe ablien G . De plus G est isomorphe au groupe libre avec pour gnrateurs les lments irrductibles de D(S). Nous dmontrons ce thorme dans le cas de lextension au cas des bidcompositions. On gnralise dabord la notion de D-invariants au cas des bidcompositions :
Dnition 1.6.12

Un invariant de bidcomposition est une fonction f : S R avec R un anneau commutatif tel que pour toute dcomposition dans D1 dun lment s S : s < si on ait f (s) = si et pour toute dcomposition dans D2 : s < si ,
i =1 n n n n i =1 i =1

on ait f (s) = si .
i =1

Tout invariant associ la bidcomposition de Tutte sera appel invariant de Tutte-Grothendieck. De la mme manire on a la proprit universelle pour une bidcomposition :
Thorme 1.6.2

Soit B(S) une bidcomposition distributive alors il existe un anneau commutatif A appel anneau de Tutte-Grothendieck et un invariant t tel que tout homomorphisme danneau engendre un unique D-invariant par composition avec t et tel que le diagramme : S ??
t

?? f ?? ?? 

/A ~ ~ h~ ~ ~~ ~~ ~

A soit commutatif pour tout D-invariant f valeur dans un anneau A . De plus A est isomorphe lanneau commutatif libre engendr par les lments irrductibles pour les deux dcompositions D1 et D2 (i.e. lanneau des polynmes coefcients entiers dont les indtermins sont donns par les lments irrductibles).
Preuve. Soit F lanneau commutatif libre ayant pour gnrateurs lensemble S. On considre I lidal de F engendr par les lments de la forme s si pour toute dcomposition s < si et par les lments

s s j pour toute dcomposition s < s j .

j j

25

On note alors R = F/I lanneau quotient. On a les diagrammes commutatifs suivants : ? F AA

AA p ~~ AA ~~ ~ AA ~ / ~~ t /A S ?? ~ ?? f ~ h~ ~ ?? ?? ~~ ~  ~~
i

A o i est linjection canonique et p la surjection canonique qui un lment de P associe sa classe dquivalence dans F/I. On a, pour tout homomorphisme danneau h, que h t est un B-invariant. En effet, si lon utilise (par exemple) la dcomposition D2 , soit s < si . Alors s si est dans le noyau de p, cest dire que p(s si ) = 0 donc p(s) = p(si ). Par suite on a t(s) = t(si ) puis que
i i i i i

h t(s) =

h t ( s i ).
i

Nous allons maintenant montrer que (A, t) est universel dans lensemble des objets vriant cette proprit. Pour tout couple (A , t ) tel que pour tout homomorphisme h, h t est un B-invariant, on a le diagramme S BB
t



BB t BB BB h !  |

/A

/ A/I
h

{{ {{ { { } { id  {

On peut construire h de manire avoir h i = t en posant h (s) = t (s). Comme les gnrateurs de A sont les lments de S, on a bien dni h sur tout A et cest un homomorphisme danneaux. Par hypothse, on a montr que tout homomorphisme danneau h compos avec t est un B-invariant. Or comme lidentit est un homomorphisme danneau, alors t est aussi un B-invariant. Par dnition, cela signie que tous les lments de I sont contenus dans le noyau de h donc on peut tendre lhomomorphisme h un homomorphisme h : A/I A. Donc (A, t) vrie la proprit universelle et pour tout couple (A, t ) avec cette proprit, il existe h : A : A tel que le diagramme suivant soit commutatif : t /A S @@
@@ t @@ @@

A Ce qui montre le premier point. 26

}} }} } } ~} }
h

Soit A lanneau libre commutatif engendr par les lments irrductibles pour D1 et D2 . Soit s S et soit la dcomposition s < sij o les sij sont des irrductibles pour D1 et D2 . On pose t (s) = Nous voulons montrer que t est un B-invariant : Soit s < s j un morphisme de D2 . Alors en dcomposant compltement
j =1 m j =1 i =1 n sij j =1 i =1 n n n

A.

les si et en composant les morphismes, on a t(s ) =

j =1 k =1 m

nj

s jk =

j =1

t ( s j ).

Maintenant soit s < s j un morphisme de D1 . Soit pour tout k, on pose

j =1

sk < sk ik la dcomposition des sk en D2 -irrductibles. De mme soit skik < sk ik j la dcomposition des skik en lments D1 -irrductibles. On a
j =1 i k =1 nik

nk

enn notre dcomposition en lments D1 , D2 -irrductibles et de plus :

k =1

t (sk ) =

k =1 i k =1 j =1

t (sk i

nk

nik

j)

A.

En appliquant la distributivit dans A, on en dduit :

k =1

t (sk ) =

n1

...

i1 =1

i n =1 k =1 j =1

t (sk i

nn

nik

j)

A.

Or en appliquant la distributivit sur les dcompositions, on obtient aussi : s<

i1 =1

n1

...

i n =1 k =1 j =1

sk i

nn

nik

la dcomposition en lments D1 , D2 -irrductibles. Par unicit de cette dcomposition, on en dduit t (s) =

t ( s i ).
i =1

Donc t est un B-invariant et comme (A, t) est un lment universel, on peut trouver un homomorphisme h tel que h t = t . Or comme pour tout lment D2 -irrductible, on a t (i ) = i donc h t(i ) = i et comme A est libre, il ne peut y avoir de relation non-triviale entre les classes des lments irrductibles dans A. De plus F est engendr par S et pour tout lment s S, p(s) F/I peut scrire en utilisant uniquement des lments D1 , D2 -irrductibles. Par suite A A.

27

On appelle invariant de Tutte-Grothendieck tout invariant pour la dcomposition de Tutte. Dans le cas des classes disomorphismes de matrodes on peut dnir explicitement lanneau de Tutte-Grothendieck et linvariant universel.
Thorme 1.6.3

Il existe une unique fonction T : M Z[ x, y] telle que : T(C, x, y) = x, T(L, x, y) = y, T(M, x, y) = T(M e, x, y) + T(M/e, x, y) si e nest ni une boucle ni un isthme et T(M1 M2 , x, y) = T(M1 , x, y)T(M2 , x, y). De plus tout autre invariant de Tutte-Grothendieck f est une valuation de cette fonction : f (M) = T( f (C), f (L)). La preuve est immdiate par construction. En effet lanneau de Tutte-Grothendieck est isomorphe lanneau libre commutatif deux gnrateurs par le thorme prcdent donc Z[ x, y]. On en dduit que :
Preuve.

T(C, x, y) = x, T(L, x, y) = y, De plus la fonction T est un invariant pour la bidcomposition de Tutte, cest dire : T(M, x, y) = T(M e, x, y) + T(M/e, x, y) si e nest ni une boucle ni un isthme et T(M1 M2 , x, y) = T(M1 , x, y)T(M2 , x, y). La dmonstration de luniversalit de cette fonction est identique celle faite ci-dessous pour les invariants de Tutte-Grothendieck gnraliss. On montre que lon a bien la correspondance sur les classes de matrodes [C] et [L] ce qui est trivialement vrai puis par induction on montre que luniversalit est conserve pour la bidcomposition. Cette fonction est appele polynme de Tutte. On notera que M dsigne ici les classes disomorphismes de matrodes ce qui nest pas trs pratique. On peut donc ajouter une condition supplmentaire qui dnit cette fonction comme un invariant sur les matrodes, cest--dire : M N T(M, x, y) = T(N, x, y).

Nanmoins cette classe dinvariants est assez rduite et gnralement les fonctions que nous rencontrerons vrient au niveau de la dcomposition par mineur, une relation de la forme : f (M) = a f (M e) + b f (M/e) 28

avec a et b des entiers. Nous dnissons donc une autre classe dinvariants qui tendent les invariants de Tutte-Grothendieck et que nous appellerons invariants de TutteGrothendieck gnraliss. On en dduit un thorme similaire pour ces invariants :
Thorme 1.6.4

Il existe une unique fonction TM : M Z[ x, y, a, b] telle que : T(C, x, y) = x, T(L, x, y) = y, T(M, x, y) = aT(M e, x, y) + bT(M/e, x, y) si e nest ni une boucle ni un isthme et T(M1 M2 , x, y) = T(M1 , x, y)T(M2 , x, y). De plus tout autre invariant de Tutte-Grothendieck gnralis f est une valuation de cette fonction : f (M) = a|E|r(E) br(E) T(M, f (C) f (L) , ). b a

Preuve. Lexistence dune telle fonction est assure par le thorme de Brylawski. Lunicit provient du fait que T(M, x, y) est uniquement dtermin par T(M e, x, y) et T(M/e, x, y) et nous avons vu que les oprations de contractions-supressions sont commutatives.

Maintenant si nous avons un invariant de Tutte-Grothendieck gnralis f , on montre par induction f peut sobtenir comme une valuation de cette fonction : On remarque que si lon considre le matrode L, a|E|r(E) br(E) T(L, f (C) f (L) f (L) , ) = a1 = f (L). b a a

De mme si lon considre le matrode C, a|E|r(E) br(E) T(C, f (C) f (L) f (C) , ) = b1 = f (C). b a b

Ainsi les fonctions correspondent sur les boucles et isthmes. Soit maintenant e qui ne soit ni une boucle ni un isthme, on suppose que : f (M e) = a|E |r(E ) br(E ) T(M e, f (M/e) = a|E|r(E) br(E) T(M/e, f (C) f (L) , ) b a f (C) f (L) , ) b a

29

or comme r (M e) = r (M) = r (E ) et r (M/e) = r (M) 1 = r (E), a f (M e) + b f (M/e) = a a|E|1r(E) br(E) T(M e, f (C) f (L) , ) b a f (C) f (L) + b a|E|1(r(E)1) br(E)1 T(M/e, , ) b a f (C) f (L) , ) = a|E|r(E) br(E) T(M e, b a f (C) f (L) + a|E|r(E) br(E) T(M/e, , ) b a f (C) f (L) = a|E|r(E) br(E) T(M, , ) b a = f (M) M1 M2 alors |M|

De mme, si M = r (M) = r (M1 ) + r (M2 ),

|M1 | + |M2 | et

f (M1 ) f (M2 ) = a|M1 |r(M1 ) br(M1 ) T(M1 ,

f (C) f (L) f (C) f (L) , ) a|M2 |r(M2 ) br(M2 ) T(M2 , , ) b a b a f (C) f (L) f (C) f (L) = a|M1 |+|M2 |r(M1 )r(M2 ) br(M1 )+r(M2 T(M1 , , )T(M2 , , ) b a b a f (C) f (L) , ) = a|M|r(M) br(M) T(M1 M2 , b a = f (M)

On a donc montr luniversalit de la fonction T. De manire pratique, nous parlerons dinvariants de Tutte-Grothendieck mme sil sagit en fait dinvariants de Tutte-Grothendieck gnraliss.

30

Applications du polynme de Tutte

Nous commenons ici, le coeur du sujet, qui est ltude de certaines proprits combinatoires encodes par le polynme de Tutte. Nous avons vu dans le chapitre les thormes duniversalit qui seront un outil fondamental par la suite. Les sujets touchant au polynme de Tutte sont trs varis et certains sujets peuvent tre reli entre eux plus ou moins directement. Cest pourquoi nous navons pas trait les sections suivantes dans un ordre linaire.

2.1

Polynme de Tutte dun matrode

Nous commenons par quelques proprits gnrales sur les matrodes et de leur interprtation combinatoire.

2.1.1 Gnralits
Dans le chapitre prcdent, nous avons vu la proprit universelle que vriaient les invariants de matrodes ainsi que la dnition des invariants de Tutte-Grothendieck. Dans le cas des classes disomorphismes de matrodes, nous avons aussi vu que linvariant de Tutte-Grothendieck concidait avec le polynme de Tutte. Nous reprenons ici les diffrentes dnitions du polynme de Tutte et commenons tudier ses diffrentes proprits. Nous avons vu dans le chapitre prcdent que la dnition du polynme de Tutte comme un morphisme respectant la dcomposition de Tutte mais nous pouvons aussi le voir dune manire diffrente via la fonction de rang dun matrode :
Proposition 2.1.1

Le polynme de Tutte peut sexprimer grce la fonction de rang dun matrode : T( M, x , y ) =

AE

(x 1)r(E)r(A) (y 1)|A|r(A)

Pour cela on va montrer que la fonction dnie comme ci-dessus est un invariant de Tutte-Grothendieck (non gnralis dans ce cas). 31

Preuve.

On note t(G, x, y) la fonction dnie comme ci-dessus.

On commence dj par remarquer que la fonction t(G, x, y) est entirement dnie par la fonction de rang donc cest un invariant de matrodes. On dduit le reste des proprits du rang et en particulier : r ( M1 M2 ) = r ( M1 ) + r ( M2 ) que : t ( M1 M2 , x , y ) = t ( M1 , x , y ) t ( M2 , x , y ). De plus r (M e) = r (M) et r (M/e) = r (M) 1 pour e ntant ni une boucle ni un isthme, do lon dduit : t ( M, x , y ) =

AE{e}

( x 1)r(E)r(A{e}) (y 1)|A{e}|r(A{e}) ( x 1)r(E)r(A) (y 1)|A|r(A)

AE{e}

= t ( M / e, x , y ) + t ( M e, x , y )
Ainsi la fonction t est un invariant de Tutte-Grothendieck et t(M, x, y) = T(M, t(C, x, y), t(L, x, y)) or t(C, x, y) = x et t(L, x, y) = y donc t ( M, x , y ) = T( M, x , y ) On remarque maintenant, via la dnition rcursive du polynme de Tutte, que les coefcients du polynme de Tutte sont tous positifs. Nous donnons maintenant une interprtation combinatoire des coefcients du polynme de Tutte. Soit M = (E, B ) un matrode avec B lensemble de ses bases. On ordonne arbitrairement les lments de E et on considre les bases du matrode.
Dnition 2.1.1

Soit B B et e B. On dit que e est extrieurement actif sil est le plus petit lment du circuit B {e}. On note E(B) lensemble des lments extrieurement actifs de la base B et (B) son cardinal.
Dnition 2.1.2

Soit B B et i B. On dit que i est intrieurement actif sil est le plus petit lment du circuit B {e} de M avec B la base de M obtenu en prenant le complmentaire de la base B. On note I(B) lensemble des lments intrieurement actifs de la base B et (B) son cardinal.
Exemple : Si lon considre le graphe de la gure 1.4 avec les arcs ordon-

ns par leurs numros, le tableau suivant rcapitule les lments extrieurement actifs et intrieurements actifs : 32

B E(B) I(B) B

12 12 34

13 1 24

23 1 14

24 1 2 13

34 12 12

Le thorme suivant qui donne linterprtation du polynme de Tutte en termes dactivit interne et externe :
Thorme 2.1.1

T( M, x , y ) =

BB

x (B) y (B) .

Le coefcient du monme x ye correpond au nombre de base dactivit interne et dactivit externe e. On donne lide de la preuve. Pour plus de details, nous nous rfrerons (Cra69). Tout sous-ensemble A de E peut scrire sous la forme A = B I E o B est une base, I I(B), E E(B). (On peut par exemple montrer que les intervalles du type [B I(B), B E(B)] o B est une base forment une partition du treillis des sous-ensembles de E pour linclusion.)
Preuve.

Ensuite, on a A = B I E donc r (A) = r (M) (B) et donc T( M, x , y ) =

AE

( x 1)r(M)r(S) (y 1)|S|r(S) ( x 1)r(M)r(M)+|I| (y 1)|S|r(M)+|I| ( x 1 ) |I| ( y 1 ) |E|

= = =

A=BI+E A=BI+E

BB

II(B) (B) k =0

( x 1 ) |I|
(B) ( x 1) k k
(B)

EE(B) (B) k =0

( y 1 ) |E|

= = =

BB BB BB

(B) ( y 1) k k

(1 + ( x 1)

)(1 + (y 1) (B)

x (B) ) y (B)

La notion de dualit pour le polynme de Tutte sexprime trs simplement :

Proposition 2.1.2

Soit M un matrode alors T( M, x , y ) = T( M , y, x )

Preuve.

La preuve est assez directe, on a T( M , x , y ) =

AE

(x 1)r(M )r (A) (y 1)|A|r (A)

33

Or on a les relations : r (A) = |A| r ( M ) + r (E A), donc

|A| r (A) = r ( M ) r (E A),

r ( M ) r (A) = |E| r ( M ) r (A) = |E| |A| r (E A).

On en dduit T( M , x , y ) =
AE

(x 1)|EA|r(EA) (y 1)r(E)r(EA)

= T( M, y, x )

Une autre forme sous laquelle nous pouvons trouver le polynme de Tutte est sa forme rcursive :
Dnition 2.1.3

On dnit le polynme de Tutte dun matrode M commme le polynme deux variables vriant : 1. Si |E(M)| = 0, T(M, x, y) = 1, 2. T(M, x, y = T(M e, x, y) + T(M/e, x, y) si e nest ni une boucle ni un isthme, 3. T(M, x, y) = xT(M/e, x, y) si e est un isthme 4. T(M, x, y) = yT(M e, x, y) si e est une boucle.

Fig. 2.1 Calcul rcursif du polynme de Tutte

Nous ne lutiliserons gnralement pas pour faire les dmonstrations (sauf dans certains cas particuliers). La dmonstration de lquivalence 34

se fait assez rapidement en montrant que cest un invariant de TutteGrothendieck. On voit en effet que la fonction est bien un invariant pour la dcomposition de Tutte et quelle est bien dnie sur les lments irrductibles de la dcomposition en somme directe. Cette dnition est par contre trs utile pour calculer explicitement le polynme de Tutte. Par exemple le polynme de Tutte du graphe de la gure 2.2 est donn par la gure 2.1.

2.1.2 Nombre dlments du matrode

Proposition 2.1.3

Soit M un matrode et T( x, y) son polynme de Tutte, alors T(M, 2, 2) compte 2|M| avec |M| le nombre dlments de M.
Preuve.

Soit e un lment qui ne soit ni une boucle ni un isthme alors 2|(Me)| + 2|(M/e)| = 2|M|1 + 2|M|1

= 2|M|
De mme on a clairement que 2|M1 M2 | = 2M1 2M2 . Donc cest un invariant de Tutte-Grothendieck et 2|C| = 2|L| = 2 donc on en dduit que : T(M, 2, 2) = 2|M| .

On peut donc trouver le nombre dlments du matrode en utilisant le polynme de Tutte : |M| = log2 (T(M, 2, 2).

2.1.3 Nombres de bases

Proposition 2.1.4

T(M, 1, 1) compte le nombre de bases du matrode.

Preuve.

Nous avons, par dnition, T( M, x , y ) =

AE

( x 1)r(E)r(A) (y 1)|A|r(A)

avec r la fonction de rang associe au matrode. On en dduit que T(M, 1, 1) =

AE

0r(E)r(A) 0|A|r(A)

or 0r(E)r(A) 0|A|r(A) vaut 1 si r (E) r (A) = 0 et |A| r (A) = 0 et 0 sinon. On a donc que T(M, 1, 1) correspond au nombre de sous-ensemble 35

de E vriant les conditions |A| = r (A), cest--dire que lensemble A est un indpendant, et r (E) = r (A), cest--dire que E est un indpendant maximal. Par dnition, cest une base de M.
Remarque 2.1.1

Nous avons vu dans dans le chapitre prcdent que les bases dun matrode graphique sont les arbres couvrants. Si G est un graphe connexe alors T(G, 1, 1) compte le nombre darbres couvrants. Si G nest pas connexe, T(G, 1, 1) compte le nombre de forts maximales couvrantes. En thorie algbrique des graphes, nous disposons dune autre mthode pour calculer le nombre darbres couvrants utilisant la matrice laplacienne dun graphe :
Dnition 2.1.4

Soit G un graphe connexe non orient. On appelle matrice laplacienne de G la matrice L = (li j )i j dnie par : deg(vi ) si i = j li j = 1 si i = j et si les sommets vi et v j sont adjacents 0 sinon On remarque que cette matrice peut scrire comme la diffrence de la matrice diagonale des degrs et de la matrice dadjacence. Nous pouvons maintenant noncer le thorme de Kirshhoff :
Thorme 2.1.2

Soit G un graphe connexe tiquet n sommets et soit L la matrice laplacienne de G et 1 , . . . , n1 les valeurs propres positives de L. Alors le nombre darbres couvrants de G est donn par t (G) = 1 1 2 . . . n 1 . n

La dmonstration est assez longue donc nous ne linclurons pas ici. Nous renvoyons (C.G) pour plus de dtails ce sujet. Le point important que cela apporte est que lvaluation du polynme de Tutte au point (1, 1) revient au calcul dun dterminant, ce qui fait du point (1, 1) lun des quelques points du plan o lvaluation du polynme de Tutte se fait en temps polynomial.

2.1.4 Nombre dindpendants

Une autre proprit du polynme de Tutte est que :
Proposition 2.1.5

T(M, 2, 1) compte le nombre dindpendants dun matrode.

Preuve.

La dmonstration est similaire la prcdente : T(M, 2, 1) =

AE

1r(E)r(A) 0|A|r(A)

36

or 1r(E)r(A) 0|A|r(A) vaut 1 seulement si |A| r (A) = 0, cest--dire que lensemble A est un indpendant. Donc T(M, 2, 1) compte bien le nombre dindpendants dun matrode.
Remarque 2.1.2

Si G est un graphe alors T(G, 2, 1) compte le nombre de forts du graphe. On introduit ici linterprtation duale :
Proposition 2.1.6

T(M, 1, 2) compte le nombre de sous-ensembles de E de rang maximal.

Preuve.

Encore une fois T(M, 1, 2) =

AE

0r(E)r(A) 1|A|r(A)

et 0r(E)r(A) 1|A|r(A) vaut 1 si r (E) = r (A), cest--dire que A est de rang maximal, et 0 sinon. Donc T(M, 1, 1) compte bien le nombre de sousensembles de E de rang maximal. En terme de graphe T(M, 1, 2) compte le nombre de sous-graphes couvrants pour un graphe connexe.

2.1.5 Polynme des indpendants

Nous venons juste de voir que lon pouvait compter le nombre dindpendants dun matrode. Nous nous intressons maintenant aux indpendants de taille xe et plus particulirement au polynme suivant.
Dnition 2.1.5

On appelle polynme des indpendants la srie gnratrice

|E|1

F( M, s ) =

i =0

f i si ,

o f i correspond au nombre dindpendants de taille i. Nous allons montrer quil existe une intrprtation du polynme de Tutte gnralisant linterprtation prcdente.
Proposition 2.1.7

Le polynme des indpendants F(M, s) est li au polynme de Tutte via la relation F( M, s ) = sr ( M ) T( M,

Preuve.

1 + 1, 1). s

On pourrait le montrer en utilisant les relations de TutteGrothendieck et en trouvant des relations entre les coefcients du polynme (il faudrait dans ce cas partitionner les forts de taille i en celles qui contiennent un arc e et celles qui ne le contiennent pas puis trouver des bijections entre ces forts et les forts de taille i, i 1 de G e ou G/e) 37

Nanmoins nous allons encore une fois utiliser une mthode plus directe : 1 1 T( + 1, 1) = ( + 1 1)r(E)r(A) (1 1)|A|r(A) s s AE

= =

1 ( )r(E)|A| s A fort

s|A|r(E)

A fort

1 = ( ) r (E) s |A| s A fort 1 = ( )r(E) F(G, s) s Ce qui conclut la preuve. De plus nous pouvons donner linterprtation duale (nous lavons dj vu, il sagit des sous-ensembles de rang maximal) :
Proposition 2.1.8

La srie gnratrice des sous-ensembles de rang maximal est lie au polynme de Tutte via la relation :
|E||V|+1
k =0

ck si = T(M, 1,

1 + 1) s

o ck compte le nombre de sous-ensembles de E de rang maximal et de taille k.

Preuve.

Immdiate par ce qui prcde en utilisant la dualit.

2.2

Polynme de Tutte dun matrode graphique

Intressons nous maintenant aux matrodes graphiques. Les graphe seront supposs, sauf mention du contraire, non-orients.

2.2.1 Polynme chromatique

Nous montrons ici la relation entre le polynme chromatique dun graphe et son polynme de Tutte. Nous rappelons ici la dnition dune coloration dun graphe :
Dnition 2.2.1

Soit G = (V, E) un graphe. Une -coloration est une fonction : V [] = {1, . . . , }.

Dnition 2.2.2

Une -coloration est dite propre si (vi , v j ) E, (vi ) = (v j ). La gure 2.2 donne un exemple dune telle coloration.

38

Fig. 2.2 Une 3-coloration propre dun graphe

Nous considrons maintenant le nombre de -colorations propres possibles que nous notons G (). Nous verrons que la fonction (G; ) est une fonction polynomiale en .
Thorme 2.2.1

Si G = (V, E) est un graphe, alors (G; ) =

AE

( 1 ) |A| (A)

avec (A) le nombre de composantes connexes du sous-graphe engendr par A. On considre Pij lensemble des -colorations telles que les sommets i et j reoivent la mme couleur et Pij lensemble des colorations telles que i et j ont des couleurs diffrentes. On a ainsi
Preuve.

(G, ) = |
i , j E

Pij |

= n

i , j E

|Pij | +

i , j,k ,l E
i , j = k ,l

|Pij Pkl |

. . . + ( 1 ) |E| |
i , j E

Pij

Tous les termes de cette somme sont de la forme | Pij | o A est est lenAE

semble des couples dindices ij parcourus dans chaque terme. Chaque lment de ces ensembles correspond une -coloration telle quelle prenne une valeur propre sur chacune des composantes connexes de (V, A), cest-dire . Comme il y a (A) composantes, chaque terme est de la forme ( 1 ) |A| (A) . De plus nous montrons la proprit suivante :
Proprit 2.2.1

Soit G un graphe et (G, ) son polynme chromatique, alors 1. (G, ) = (G e, ) (G/e, ) 2. (G, ) = 0 si G contient une boucle 3. (G, ) = ( 1)(G/e, ) si e est un isthme Pour le premier point, soit e un arc de G et soit u et v ses extrmits. Alors soit une -coloration propre de G e. Si u et v ont une couleur diffrente alors cest une -coloration propre de G, et rciproquement une -coloration de G est une -coloration propre de G e avec u et v de couleurs diffrentes. Si u et v ont la mme couleur alors on en dduit
Preuve.

39

une -coloration propre de G/e induite et rciproquement si on a une coloration propre de G/e alors on en dduit une -coloration propre de G e en coloriant u et v de la mme couleur. Par ces correspondances, on en dduit que (G e, ) = (G, ) + (G/e, ) puis le rsultat. Si G contient une boucle alors clairement il nexite pas de -coloration propre donc (G, ) = 0, ce qui montre le deuxime point. Soit e un isthme et u et v les extrmits de cet isthme. On note G1 et G2 les deux composantes connexes obtenues aprs supression de larte e telles que u G1 et v G2 . Une -coloration de G/e est une -coloration de G1 et G2 telle que la couleur de u et v soit la mme. Pour tout couple de ces -coloration de G1 et G2 , on peut associer 1 colorations telles que les couleurs de u et v soient diffrentes. Ces nouvelles -coloration sont des colorations de G donc on a : (G, ) = ( 1)(G/e, ). Ce qui montre le troisime point. Le polynme chromatique peut donc se calculer rcursivement par supression-contraction. Nous voudrions donc montrer que cette fonction est un invariant de Tutte-Grothendieck, nanmoins si nous considrons le graphe suivant :
a

sont en somme directe et de polynme Les deux sous-graphes chromatique () = ( 1), pourtant le polynme chromatique de ce graphe est G () = ( 1)2 . Ce qui contredit la proprit de multiplicativit des invariants de Tutte-Grothendieck.
De manire plus gnrale nous avons la proprit :
Thorme 2.2.2

Soit G un graphe et H1 , H2 deux sous graphes de G tels que H1 H2 K p le graphe complet p lments, alors (G, ) = (H1 , )(H2 , ) . (K p , )

K p avec

Pour contourner ce problme, on pose (G, ) = (G) (G, ) avec (G) le nombre de composantes connexes de G.
Thorme 2.2.3

(G, ) est un invariant de Tutte-Grothendieck. On vrie juste la multiplicativit, le reste se dduit de la proposition prcdente. Soient H1 et H2 tels que G = H1 H2 . Si H1 et H2 sont
Preuve.

40

disjoints alors (G) = (H1 ) + (H2 ) et (G, ) = (H1 , )(H2 , ) et on a donc (G, ) = (G) (G, )

= (H1 ) (H2 ) (H1 , )(H2 , ) = (H1 ) (H1 , ) (H2 ) (H2 , ) = ( H1 , ) ( H2 , )

Maintenant si H1 H2 = {e} K1 alors (G) = (H1 ) + (H2 ) 1 donc

(G, ) = (H1 ) (H2 )+1 (G, ) Or par le thorme prcdent, (G, ) = et (K1 , ) = donc (G, ) = (H1 ) (H2 ) ( H1 , ) ( H2 , ) (H1 ) (H2 ) ( H1 , ) (H2 , ) = (H1 , )(H2 , ) (K p , )

= ( H1 , ) ( H2 , )
Nous pouvons donc exprimer (G, ) en fonction du polynme de Tutte :

(G, ) = (1)|E|r(E) 1|E| T G,

1 0 , 1 1

(G) (G, ) = (1)|E|r(E) T (G, 1 , 0) (G, ) = (1)|E|r(E) (G) T (G, 1 , 0)

Ce qui conclut la preuve On en dduit que le polynme chromatique est lui aussi une valuation du polynme de Tutte : (G, ) = (1)r(E) (G) T(G, 1 , 0).

2.2.2 Le polynme monochromatique

Une manire de gnraliser le polynme chromatique est de considrer, contrairement la partie prcdente, toutes les -colorations possibles et pas seulement les -colorations admissibles. Autrement dit on admet quelques "dfauts" de coloration dans le graphe. On dnit un nouveau polynme, appel polynme monochromatique, par sa srie gnratrice :

41

Dnition 2.2.3

Soit G un graphe, on dnit le polynme chromatique avec dfauts B(G, , s) comme la srie gnratrice B(G, , s) =

bi (G, )si
i

avec bi (G, ) le nombre de -colorations de G comportant exactement i arcs dont les extrmits sont de la mme couleur. Nous avons le mme problme concernant la multiplicativit de ce polynme pour deux graphes en somme directe. Nous posons donc nouveau B(G, , s) = (G) B(G, , s). La proprit suivante nous montre que cest un invariant de TutteGrothendieck :
Thorme 2.2.4

Soit G un graphe, e un arc de G et B(G, , s) son polynme monochromatique, alors B(G, , s) est un invariant de Tutte-Grothendieck : 1. B(G, , s) = B(G e, , s) + (s 1)B(G/e, , s). 2. B(G1 G2 , , s) = B(G1 , , s)B(G2 , , s). En particulier, on a B(G, , s) = (s 1)r(G) T G, s+1 ,s . s1

Lide de la preuve est similaire celle du polynme chromatique :

Preuve.

On veut montrer le premier point. Montrons dabord que pour i 1 on a la relation de rcurrence suivante : bi (G, ) = bi (G e, ) bi (G/e, ) + bi1 (G/e, ).

Soit donc une -coloration de G e avec i dfauts. Soient (u, v) les extrmits de e. Si (u) = (v), alors cest une -coloration avec i dfauts de G. Par contre si on prend une -coloration de G avec i dfauts, alors on doit de plus supposer que cette coloration ne comporte pas de dfaut sur larc e, autrement dit si ce nest pas une coloration de G/e avec k 1 dfauts (cest--dire que si lon contracte e, on ne supprime pas lun des dfauts de coloration). De plus les colorations de G/e avec i dfauts induisent des colorations de G e avec i dfauts donc bi (G/e, ) bi (G e, ). On en dduit une correspondance biunivoque qui se traduit par la relation : bi (G, ) = bi (G e, ) bi (G/e, ) pour (u) = (v) Si maintenant (u) = (v), alors cette coloration induit, de manire biunivoque, une coloration de G/e avec i dfauts. On en dduit la relation de rcurrence ci-dessus. Par suite, sommant entre 1 et |E| et en multipliant par si , on obtient :

i =1

bi (G, )si =

|E|

i =1

bi (G e, )si bi (G/e, )si + bi1 (G/e, )si

i =1 i =1

|E|

|E|

|E|

42

De plus, si i = 0, alors b0 (G, ) = (G, ) donc on a la relation b0 (G, ) = b0 (G e, ) b0 (G/e, ). On en dduit que : B(G, , s) =

i =0

bi (G, )si
|E| |E| |E|
i =0 i =1

|E|

= = = = =

i =1

bi (G e, )si bi (G/e, )si + bi1 (G/e, )si

|E| |E| |E|
i =0 i =0

i =1

bi (G e, )si bi (G/e, )si + bi (G/e, )si+1

|E| |E|
i =0

i =1

bi (G e, )si bi (G/e, )si + si+1

|E|
i

i =1

bi ( G e , ) s
|E|

+ bi (G/e, )(s 1)si

i =0

|E|

i =1

bi (G e, )si + (s 1) bi (G/e, )si

i =0

|E|

= B(G e, ) + (s 1)B(G/e, )
do le premier point. La dmonstration de la multiplicativit est identique celle faite pour le polynme chromatique. On a donc un invariant de Tutte-Grothendieck. De plus, B(L, , s) = s on peut colorier la boucle en admettant un dfaut de coloration. De mme, B(C, , s) = (s + 1). On en dduit B(G, , s) = (s 1)r(G) T G, s+1 ,s . s1

Par suite on peut retrouver le polynme monochromatique B(G, , s) = (G) (s 1)r(G) T G, s+1 ,s . s1

1 En posant x = s+ s1 et y = s, on a ( x 1)( y 1) = et on peut exprimer le polynme de Tutte en fonction de B(G, , s) :

T(G, x, y) =

(y

1)r(G)+ (G) ( x

1 ) (G)

B(G, ( x 1)(y 1), y).

Cette dernire relation sera particulirement utile plus tard lorsque nous tudierons la fonction de partition en physique statistique ou la thorie des codes linaires. Elle nous permet au moins de mettre en vidence limportance de lhyperbole H = {( x, y) | ( x 1)(y 1) = } dans le plan de Tutte. Par exemple le long de lhyperbole H1 , le polynme de Tutte se simplie joliment : 43

Proposition 2.2.1

Soit G un graphe connexe. Le long de lhyperbole H1 , nous avons la relation : T(G, x, y) = x |E| ( x 1)r(E)|E| . Nous nous plaons sur H1 , alors la proposition prcdente nous donne que 1 B(G, 1, y). T(G, x, y) = ( y 1 ) |V| ( x 1 )
Preuve.

Si nous considrons le polynme monochromatique B(G, 1, y) = bi (G, 1)yi .

i =0

|E|

Autrement dit on cherche colorier le graphe G avec une seule couleur en admettant certains dfauts de colorations. Supposons dans un premier temps que G est connexe. Alors la seule manire de colorier le graphe G dans ces conditions est dadmettre |E| dfauts de colorations. Autrement pour tout i plus petit que |E|, on a que bi (G, 1) = 0 et pour i = |E|, on a que b|E| (G, 1) = 1. Finalement B(G, 1, y) = y|E| si G est connexe. On en dduit 1 y |E| . T(G, x, y) = ( y 1 ) |V| ( x 1 ) Or si lon considre lexpression ( x 1)(y 1) = 1 de lhyperbole H1 , on en dduit que 1 ( y 1) = x1 et donc aussi que y= 1 +1 x1 1+x1 = x1 x = x1

En intgrant ces donnes dans lexpression de T(G, x, y) prcdente, on obtient T(G, x, y) =

( x 1 ) |V| ( x 1)

x x1

|E|

( x 1)|V|1 x |E| ( x 1 ) |E|

= ( x 1)|V||E|1 x |E| = x |E| ( x 1)r(E)|E|

car comme G est suppos connexe, r (E) = |V| (G) = |V| 1.

2.2.3 Le polynme de ots

Nous nous intressons ici la notion de k-ots partout non-nuls. 44

Dnition 2.2.4

Soit G = (V, E) un graphe orient et A un groupe ablien ni. Un A-ot est une application : G A telle que la loi de conservation de Kirshoff soit vrie :

v V,

e+ (v)

(e) =

e (v)

( e ).

Si supp() = E, on dira que le ot est partout non-nul.

Exemple : La gure 2.3 donne un exemple de Z4 -ot partout non-nul sur un graphe orient.

2 1 1 2
Fig. 2.3 Exemple de Z4 -ot partout non-nul

1 1

On peut considrer que la notion de k-ots nuls nulle part est la notion duale de celle de coloration. En effet supposons que lon ait une k-coloration propre de G, alors on peut construire une application : E(G) {(k 1), . . . , 1, 0, 1, . . . , k 1} comme ceci : si les extrmits dun arc e ont pour couleur x et y, on pose (e) = x y et (e) = 0 sinon. On montre que cest un k-ot. De plus comme la coloration de G est propre alors nest jamais nulle. Soit G un graphe planaire. Si G admet une k-coloration si et seulement si G admet un k-ot nul nulle part. Nous nous intressons au nombre de A-ots partout non-nuls dans le graphe. La proposition suivante montre que le nombre de A-ots partout non-nuls est un polynme qui ne dpend pas de la structure du groupe ablien A, et qui, de plus, est reli au polynme de Tutte. On appelle ce polynme, polynme de ot.
Thorme 2.2.5

Pour tout graphe G, il existe un polynme not F(G, ) tel que pour tout groupe ablien ni A dordre , F(G, 1) compte le nombre de A-ots partout nonnuls de G. De plus, on a la relation F(G, ) = (1)|E|r(E) T(G, 0, 1 ). On commence avec quelque lemmes :
Lemme 2.2.1

Soit G = (V, E) un graphe orient et e E un arc du graphe ntant ni un isthme ni une boucle. Si est un Zk -ot sur G, alors la restriction de E {e} est : 1. un Zk -ot sur G/e, 45

2. un Zk -ot sur G e si et seulement si (e) = 0. Soit e = (u, v) un arc de G orient de u vers v ntant ni un isthme, ni une boucle. Le premier point est immdiat. En effet, si on note par i1 et i2 la valeur du ot entrant respectivement dans u et v et par o1 et o2 la valeur du ot sortant respectivement de u et v. Alors la loi de Kirshoff nous donne les relations :
Preuve.

i1 = o1 + ( e ) i2 + ( e ) = o2 Si lon contracte larte e, on identie u et v, et par suite la valeur du ot entrant sur ce nouveau sommet est de i1 + i2 et la valeur du ot sortant est de o1 + o2 . Par les relations prcdentes, on a : i1 + i2 = o1 + ( e ) + o2 ( e )

= o1 + o2
Par suite la loi de Kirshoff est bien vrie en ce point. On montre maintenant le deuxime point : Si f (e) = 0 alors on a trivialement un Zk -ot sur G e. Rciproquement, si on a un Zk -ot sur G e, alors on dduit de la loi de Kirshoff en u et v que (e) = 0.
Lemme 2.2.2

Soit G = (V, E) un graphe orient et e un arc de G ntant ni un isthme, ni une boucle. On a les proprits : 1. tant donn un Zk -ot sur G/e, il existe un seul Zk -ot sur G tel que |Ee = . 2. tant donn un Zk -ot sur G e, il existe un seul Zk -ot sur G tel que|Ee = . De plus ce ot vrie la proprit (e) = 0.
Preuve.

Pour tout e = e, nous avons ncessairement (e ) = (e ). On veut donc trouver une unique valeur de (e) qui rend le ot sur G valide. On note i1 , i2 , o1 , o2 les valeurs des ots entrant et sortant des sommets u et v de G. Comme, par la remarque au dessus, le seul point o nest pas encore dni est en e. Or (e) vrie les quations dans G : ( e ) = i1 o1 ( e ) = o2 i2 Dans le cas de G/e, on a lquation i1 + i2 = o1 + o2 donc i1 o1 = o2 i2 et donc (e) est dni de manire unique. Dans le cas de G e, on a que i1 = o1 et i2 = o2 . Donc dans ce cas, on a une unique valeur possible : (e) = 0 On sattaque maintenant la preuve du thorme :

Les deux lemmes prcdents nous fournissent une correspondance bijective entre les Zk -ots partout non-nuls de G e et les Zk -ots de G partout non-nuls sauf en e ainsi quune correspondance entre les Zk ots partout non-nuls de G/e et les Zk -ots partout non-nuls sauf peuttre en e de G (avec e un arc qui nest ni un isthme ni une boucle).
Preuve.

46

On en dduit que F(G/e, Zk ) = F(G e, Zk ) + F(G, Zk ) donc que F(G, Zk ) = F(G/e, Zk ) F(G e, Zk ). pour tout arc e un arc qui nest ni une boucle ni un isthme. Sur le graphe L (graphe compos dun sommet et dune boucle), on a F(L, Zk ) = k 1 car la boucle peut prendre toutes les valeurs possibles sauf llment neutre 0. Sur le graphe C (graphe compos de deux sommets et dune arte entre ces sommets), on a F(C, Zk ) = 0 (il ny a pas de ot valide sur ce graphe). De plus si lon considre un graphe G = G1 G2 . Comme un Zk ot dun graphe est dtermin par la valeur de ses artes et que G1 et G2 nen partagent aucune alors on a immdiatement que F(G, Zk ) = F(G1 , Zk )F(G2 , Zk ). Ainsi, F(G, Zk ) = (1)|E|r(E) T(G, 0, k1 ) 1 = (1)|E|r(E) T(G, 0, 1 k)

et de ce fait F(G, Zk ) est un polynme en k. Cette proprit a des implications importantes dans ltude des congurations de glace dans un graphe :
Dnition 2.2.5

Soit G un graphe 4-rgulier. On appelle "conguration de glace" de G toute orientation des artes telle que pour tout sommet v du graphe, on ait + (v) = (v) = 2. Le nom de "conguration de glace" vient de la physique. En effet, certains cristaux, la temprature du zro absolu, ont une entropie non nulle (on parle dentropie rsiduelle) du fait de certaines forces conictuelles dans le rseau cristallin qui interdisent une minimisation globale de lentropie (on parle de frustration gomtrique). En dautres termes, la structure ne peut tre "gele" compltement. Il en est par exemple de la glace qui possde une nergie estime de 3.4 J/(mol K) du fait de la structure ttradrique des cellules du cristal. Dans la glace, les atomes dhydrogne sont toujours aligns sur une liaison du type oxygne-oxygne. Ainsi, chaque atome doxygne est entour de 4 atomes dhydrogne et chaque atome dhydrogne est ajacent deux atomes doxygne. Le problme tant que ltat dnergie minimale du systme nest pas obtenu lorsque les atomes dhydrogne sont situs au milieu de la liaison O-O.Les atomes dhydrogne peuvent donc prendre deux positions diffrentes sur cette liaison : soit tre plus proches de latome doxygne central, soit tre plus proches des atomes doxygne adjacents. On est dans un cas classique de frustration gomtrique o les cellules forment un rseau ttradrique. 47

La gure 2.4 montre cette situation o les points noirs sont les atomes dhydrogne, les cercles sont les atomes doxygne et les ches noires sont les spins associs chacun des atomes dhydrogne.

Fig. 2.4 Frustration gomtrique dans un cristal ttradrique de molcules deau

Pour revenir la notion de "conguration de glace" en thorie des graphes, on voit que lon peut associer chaque atome doxygne un sommet du graphe et chaque atome dhydrogne un arc entre les deux sommets reprsentant les atomes doxygne qui lui sont adjacents. En ajoutant des orientations ces arcs, on peut reprsenter ltat de latome dhydrogne : un arc entrant v si latome H est proche du sommet v et sortant sil lui est plus loign. La proprit suivante fait intervenir le polynme de Tutte dans le comptage des "congurations de glace" dun graphe 4-rgulier.
Corollaire 2.2.1

T(G, 0, 2) compte le nombre de "congurations de glace" de G.

Remarque 2.2.1

On peut en effet construire une bijection entre les Z3 -ots partout non-nuls compts par T(G, 0, 2) et les congurations de glaces de G. La notion de k-ots partout non-nuls est la notion duale de coloration propre. On a la proprit
Proposition 2.2.2

Soit G un graphe planaire connexe. Alors on a (G, ) = F(G , ).

Preuve.

Cest immdiat en utilisant la formule de dualit du polynme T(G, x, y) = T(G , y, x ).

de Tutte :

On a donc comme G est suppos connexe : (G, 1, 0) = (1)|E|r(E) T(G, 1, 0)

= (1)|E|r(E) T(G , 0, 1) = F (G , )

48

2.2.4 Le polynme de connectivit

Nous nous intressons maintenant un autre polynme connu sous le nom de polynme de connectivit (ou polynme de abilit). Ce polynme est trs intressant car il sexprime en terme de probabilit. La connectivit dun graphe exprime le fait que lon puisse supprimer un certains nombre darcs tout en conservant la connexit du graphe :
Dnition 2.2.6

On dit quun graphe connexe G a une connectivit de k si en supprimant k lments de G, G reste connexe. On se demande maintenant ce qui arrive si lon supprime des arcs de graphe indpendamment avec une probabilit p. Lune des applications naturelles de ce sujet est par exemple ltude de la abilit des rseaux informatiques. Les liens dans le graphe reprsentent les connexions entre les machines. Ces liens peuvent tomber en panne et on se demande alors si toutes les machines vont rester accessibles par toutes les autres. En fait, cette proprit de connectivit est un polynme en la probabilit p:
Dnition 2.2.7

Soit G un graphe connexe. La probabilit que le graphe reste connexe aprs suppression de chacune des artes indpendamment avec une probabilit p est donne par le polynme : R(G, p) =

A connexe couvrant m n +1 g k p k + n 1 (1 k =0

p |A| (1 p ) |EA| p ) m k n +1

avec n le nombre de sommets de G, m le nombre dartes et gk le nombre de sous-graphes connexes couvrant de k + n 1 arcs. Le point important est que cest aussi un invariant de Tutte-Grothendieck :
Thorme 2.2.6

Soit G un graphe connexe alors R(G, p) est un invariant de Tutte-Grothendieck et R(G, p) = p|E|r(E) (1 p)r(E) T(G, 1, 1/ p).
Preuve.

On va montrer que : R(G, p) = pR(G e, p) + (1 p)R(G/e, p)

si e nest ni une boucle ni un isthme et que R(H1 H2 , p) = R(H1 , p)R(H2 , p) Soit e un arc de G qui nest ni une boucle ni un isthme. On considre les cas : 49

 si e est supprim, alors G reste connexe si et seulement si G e reste connexe, ce qui arrive avec la probabilit R(G e, p) or la probabilit que e soit supprim est de p donc la probabilit que e soit supprim mais que G reste connexe est donn par pR(G e, p). si e nest pas supprim, alors G reste connexe si et seulement si G/e reste connexe ce qui arrive avec la probabilit R(G/e, p) donc la probabilit que e ne soit pas supprim et que G reste connexe est donne par (1 p)R(G/e, p) On somme les probabilits sur ces deux cas spars pour obtenir la premire relation : R(G, p) = pR(G e, p) + (1 p)R(G/e, p). De plus, on a clairement que si G = H1 H2 alors G reste connexe si et seulement si H1 reste connexe et H2 reste connexe donc on a bien : R(G, p) = R(H1 , p)R(H2 , p). Donc le polynme R(G, p) est un invariant de Tutte-Grothendieck, donc peut sobtenir comme une valuation du polynme de Tutte : On a que : Si G = L alors e est une boucle et clairement sa suppression ne change pas le nombre de composantes connexes de G donc R(G, p) = 1. Si G = C alors e est un isthme et donc le nombre de composantes connexes de G nest pas modi si et seulement si e nest pas supprim R(G, p) = p. donc on a bien la relation : R(G, p) = p|E|r(E) (1 p)r(E) T(G, 1, 1/ p).

Remarque 2.2.2

On peut tendre la proprit prcdente au cas des graphes plusieurs composantes connexes en posant : R(G H, p) = R(G, p)R(H, p)

et au lieu davoir un graphe restant connexe, on a un graphe dont le nombre de composantes connexes naugmente pas.

2.2.5 Orientations dun graphe

On donne maintenant une proprit combinatoire sur les graphes assez surprenante, puisquelle sexprime en comptant certaines orientations particulires du graphe.
Dnition 2.2.8

Soit G = (V, E) un graphe connexe. Une orientation de G correspond donner une orientation chacun des arcs de G. On peut la dnir formellement comme une fonction : E {1, 1} telle que pour tout couple (u, v) V2 , ( u, v ) = ( v, u ). On dit quune orientation est : 50

 acyclique si le graphe orient na pas de cycles totalement cyclique si tout arc du graphe orient est contenu dans un cycle Comme nous le verrons ensuite ces deux notions sont duales. Nous montrons maintenant que cest bien un invariant de Tutte-Grothendieck :
Thorme 2.2.7

Soit (G) le nombre dorientations acycliques de G. (G) est un invariant de Tutte-Grothendieck : (G) = (G e) + (G/e) si e nest ni une boucle ni un isthme (H1 H2 ) = (H1 ) (H2 ). et on a la relation : (G) = T(G, 2, 0)
Preuve.

Soit G = (V, E) un graphe.

La seconde relation est vidente. On montre la premire. Soit donc e = (u, v) une arte de G qui ne soit ni un arc ni une boucle. Si est une orientation acyclique de G alors on a immdiatement que = |Ve est une orientation acyclique de G e. De plus, est une orientation acyclique de G/e si et seulement si il nexiste pas de chemins orients joignant u v ou v u dans G e. Il y a exactement (G/e) orientations acycliques de ce type et chaque orientation acyclique de G/e permet de construire deux orientations acycliques de G (en orientant larc dans les deux sens). Maintenant il reste (G e) (G/e) orientations acycliques qui nont pas cette proprit, donc on en dduit : (G) = 2 (G/e) + ( (G e) (G/e))

= (G e) + (G/e)
Ce qui montre que (G) est un invariant de Tutte-Grothendieck. Or si G contient une boucle, il ne peut y avoir dorientations acycliques de G donc (L) = 0 et si G = C alors il y a deux orientations acycliques donc (C) = 2. On en dduit que : (G) = T(G, 2, 0).

De mme pour la proprit duale :

Thorme 2.2.8

Soit (G) le nombre dorientations totalement cycliques de G. (G) est un invariant de Tutte-Grothendieck : (G) = (G e) + (G/e) si e nest ni une boucle ni un isthme (H1 H2 ) = (H1 ) (H2 ). et on a la relation : (G) = T(G, 0, 2) 51

La dmonstration se fait exactement de la mme manire que la prcdente.

Preuve.

On considre maintenant les orientations acycliques avec une seule source. Il est loin dtre vident que le nombre dorientation de ce type soit indpendant du sommet choisi, pourtant on a la proprit :
Proposition 2.2.3

Soit (G, v) le nombre dorientation avec pour seule sourve v V. Alors (G, v) est un invariant de Tutte-Grothendieck et (G, v) = T(G, 1, 0). La proprit duale est loin dtre aussi naturelle que la prcdente :
Proposition 2.2.4

Soit G un graphe muni dun ordre sur ses artes. Alors T(G, 0, 1) compte le nombre de rorientation totallement cyclique de G telles que pour chaque cycle de la plus petite arte du cycle nest pas roriente. Stanley donn dans (Sta06), une interprtation plus gnrale recouvrant les deux prcdentes. Nous nonons la proprit ici, elle est la suite de la remarque que nous avons faite dans le chapitre sur le polynme chromatique concernant linterprtation en terme dorientations.
Dnition 2.2.9

On note par (G, ) le nombre de couples ( f , ) avec f une fonction f : V {1, 2, . . . , } et une orientation acyclique de G telle que : Si u v alors f (u) f (v). On peut montrer la proprit suivante :
Proposition 2.2.5

On a pour, tout entier positif, (G, ) = (1)|V| (G, ), avec (G, ) le polynme chromatique. De plus comme (G, ) = (1)r(E) k(G) T(G, 1 , 0) alors (G, ) = k(G) T(G, 1 + , 0). De plus on voit que cette interprtation recouvre bien la proprit prcdente pour = 1. De plus elle tend la notion de polynme chromatique aux valeurs ngatives.

2.2.6 Espace des bicycles et polynme de Tutte

Nous voyageons maintenant dans lespace des bicycles. Pour cela nous avons besoin de quelques dnitions :

52

Dnition 2.2.10

Soient G un graphe et M sa matrice dincidence. On appelle lespace des cycles, lespace vectoriel engendr par les colonnes de M et on le note C . On appelle espace des co-cycles, lespace orthogonal C : C . On appelle espace des bicycles B = C C . Les lments de C sont appels les cycles, les lments de C sont appels co-cycles et les lments de B sont appels bicycles. Si lon considre lespace des cycles comme un R-espace vectoriel alors comme lespace des co-cycles est lorthogonal de lespace des cycles, lespace des bicycles est trivial donc nest pas trs intressant. Nanmoins comme la matrice dincidence est compose uniquement de 0 et de 1, on peut considrer le Z2 -espace vectoriel et dans ce cas lespace des bicycles nest plus trivial. Avec lespace des bicycles, nous pouvons introduire une partition naturelle des artes du graphe en trois classes diffrentes, ce qui est donn par le thorme suivant :
Thorme 2.2.9

Soit e un arc dun graphe G. Alors exactement une des proprits suivantes est vrie : 1. e appartient un bicycle. 2. e appartient un cycle tel que e soit un co-cycle. 3. e appartient un co-cycle tel que e soit un cycle.
Exemple :

La gure 2.5 montre la tripartition des arcs dun graphe en lments de type 1) en bleu, 2) en vert et 3) en rouge.

Fig. 2.5 Tripartition des arcs dun graphe

On pourra trouver une dmonstration de ce thorme dans (PR78). On peut relier la dimension de lespace des bicycles de G avec celle de G/e et G e en utilisant le thorme prcdent.
Proposition 2.2.6

Soit e une arte dun graphe G qui ne soit ni une boucle ni un isthme et dont lespace des bicycles soit de dimension dimB (G) = b. Par le thorme prcdent, e vrie lun des trois cas prcdents. On a donc les trois relations suivantes : Si e est dans le cas 1) alors dimB (G e) = b 1 et dimB (G/e) = b 1 Si e est dans le cas 2) alors dimB (G e) = b + 1 et dimB (G/e) = b Si e est dans le cas 3) alors dimB (G e) = b et dimB (G/e) = b + 1
Preuve. On cherche exprimer la dimension de lespace des bicycles de G e en fonction de celui de G. On traitera le cas de la dimension de

53

lespace des bicycles de G/e par dualit. Soit un cycle, cocycle ou bicycle de G. On regarde les lments qui se transforment en bicycles de G e en supprimant larte e. Si est un bicycle de G alors cest un bicycle de G si et seulement si ne contient pas e. Si nest pas un bicycle et ne contient pas larte e alors ce nest pas un bicycle de G e. Par contre si e appartient , alors cest un bicycle dans G e si et seulement si en supprimant e de on obtient un cocycle de G. On traite maintenant les trois cas donns par la tripartition des artes : Si on est dans le cas 1) alors e appartient un bicycle donc tous les bicycles de G contenant e sont perdus en passant G e. Par suite la dimension de lespace des bicycles de G e est diminu de 1 donc vaut b 1. Par dualit, on en dduit aussi que la dimension de lespace des bicycles de G/e diminue aussi de 1. Si on est dans le cas 2), e appartient un cycle et e est un cocycle donc un bicycle dans G e donc la dimension de lespace des bicycles de G e vaut b + 1. Si on est dans le cas 3), e appartient un cocycle et e est un cycle donc nest pas un cocycle car dans ce cas ce serait un bicycle ce qui est impossible. Donc ce cas ne se produit pas.

A partir de ces diffrents cas, on peut exhiber un invariant de TutteGrothendieck qui correspond (au signe prs) au nombre de bicycles : bike(G) = (1)|E| (2)dim(B ) .
Proposition 2.2.7

bike(G) est un invariant de Tutte-Grothendieck et on a : T(G, 1, 1) = (1)|E| (2)dim(B ) .

Preuve. Soit e un arc qui ne soit ni une boucle ni un isthme. On distingue trois cas comme prcdemment : Si e est dans le cas 1) alors on a :

bike(G e) + bike(G/e) = (1)|E|1 (2)dim(B )1 + (1)|E|1 (2)dim(B )1

= 2(1)|E|1 (2)dim(B )1 = (1)|E| (2)dim(B ) = bike(G)

Si e est dans le cas 2) ou 3), alors on a : bike(G e) + bike(G/e) = (1)|E|1 (2)dim(B )1 + (1)|E|1 (2)dim(B )1

= 2(1)|E|1 (2)dim(B )+1 = (1)|E| (2)dim(B ) = bike(G)

54

On en dduit que bike(G) = bike(G e) + bike(G/e) si e nest ni une boucle ni un isthme. De plus on a clairement que : bike(H1 H2 ) = bike(H1 )bike(H2 ). Donc bike(G) est un invariant de Tutte-Grothendieck et de plus on a que bike(L) = 1 et bike(C) = 1, donc on en dduit que T(G, 1, 1) = bike(G) = (1)|E| (2)dim(B ) .

2.3

Applications la physique statistique

Nous avons nonc plusieurs applications la thorie des graphes. Nous allons maintenant voir des domaines plus varis. Nous commenons lexploration avec certaines applications la physique statistique. La physique statistique sintresse au comportement et lvolution de systmes physiques comportant un grand nombre de particules (atomes, ions, molcules). De manire plus gnrale, la physique statistique est un outil particulirement puissant pour ltude des systmes comportant un grand nombre de variables en utilisant des mthodes statistiques. Nous nous intressons ici ltude des congurations de spins sur des graphes nis. Nous introduisons plusieurs dnitions dans un premier temps :
Dnition 2.3.1

On appelle conguration du graphe une application de lensemble des sommets vers un ensemble {s1 , s2 , . . . , sk }. Les lments de {s1 , s2 , . . . , sk } sont appels les spins. Lensemble de toutes les congurations est appel espace des congurations. Les artes du graphe reprsentent des interactions entre les diffrents spins. Ainsi seuls deux sommets adjacents dans le graphe peuvent intragir (de manire directe). En fait nous pouvons associer une certaine nergie dinteraction entre les diffrents spins. Nous nous posons maintenant la question de savoir comment volue la conguration lorsque la temprature varie. Plus particulirement nous nous intressons aux congurations dnergie minimale. Diffrents modles ont t dvelopps pour rpondre cette question. Le modle de Lenz-Ising ou modle dIsing est lun des plus connus.

55

2.3.1 Le modle dIsing

Dans ce modle, nous avons uniquement deux spins possibles que nous reprsenterons par +1 et -1 respectivement. Nous nous intressons dans un premier temps au systme le plus simple sans champ magntique extrieur et o lnergie dinteraction entre deux spins vaut une constante note J. A toute conguration du graphe, nous pouvons associer lnergie de la conguration ou hamiltonien :

H () =

( x ,y ) E

J ( x ) ( y )

Lorsque J > 0 les spins ont tendance saligner la mme valeur que celle de leurs voisins, le modle est dit ferromagntique :

Fig. 2.6 Alignement des spins dans le modle ferromagntique

Si J < 0 alors le modle est dit anti-ferromagntique et les spins ont tendance prendre la valeur oppose celle de leurs voisins :

Fig. 2.7 Alignement des spins dans le modle anti-ferromagntique

La probabilit de trouver le systme dans un conguration est donne via la mesure de Gibbs : 1 = e H( ) Z avec =
1 kT

la temprature inverse et k la constante de Boltzmann.

Dans cette quation, la constante de normalisation Z est appele la fonc-

56

tion de partition du systme et est donne par : Z=

e H( ) .

Cette fonction joue un rle trs important en physique statistique car elle encode quasiment lensemble des proprits statistiques (entropie, nergie totale, etc.) du systme. Plus prcisment, cest lnergie libre de Helmholtz A donne par A = kT log Z qui joue ce rle. Par exemple, on peut trouver lentropie S du systme en drivant lnergie libre volume x : F S= T V Nous allons voir que nous pouvons trouver une interprtation combinatoire de ce modle. Nous aurions pu montrer que la fonction de partition est un invariant de Tutte-Grothendieck et vrie : Z(G) = e J Z(Ge ) + 2sinh ( J)Z(Ge ) Z (C ) = 2 e J + 2 e J Z (L ) = 2 e J ce qui conduit la formule suivante : Z(G) = (2e J )|E|r(E) (4sinh J)r(E) T(G, coth J, e2J ) Nanmoins nous prfrons introduire pour montrer cela, un autre polynme qui nous servira gnraliser plus facilement le modle dIsing. Pour cela nous avons besoin de la notion de coupe dans un graphe.
Dnition 2.3.2

On appelle coupe une partition F des artes telle quil existe une partition des sommets du graphe. A partir de l, nous considrons la taille des coupes et notons bi le nombre de coupe avec i arcs.
Dnition 2.3.3

Soit donc G = (V, E) un graphe. On appelle polynme des coupes et on note B(G, s) la srie gnratrice B(G, s) =

i =0

bi s i

|E|

On peut exprimer la fonction de partition en fonction de ce polynme. En effet si lon considre une conguration du modle dIsing. Alors chaque sommet du graphe un spin pouvant prendre deux valeurs possibles. On peut donc partitionner le graphe suivant la valeur prise par le spin,

57

ce qui nous donne une partition des sommets V = (V1 , V2 ) et on peut dcomposer lhamiltonien du systme suivant cette partition :

H () = = =

{ x,y}V { x,y}V1 { x,y}V1

J ( x ) ( y )

J ( x ) ( y ) + J+

{ x,y}V2 { x,y}V2

J ( x ) ( y ) +

x V1 ,yV2

J ( x ) ( y )

J+

x V1 ,yV2

= mJ + J|C(V1 , V2 )|
avec |C(V1 , V2 )| le nombre dartes dont lune des extrmits est dans V1 et lautre dans V2 . Autrement dit, lorsque lon recherche les congurations dnergie minimale de ce systme on est rammen trouver une coupe dans le graphe. Dans le cas ferromagntique, le problme revient minimiser |C(V1 , V2 )|, ce qui est le problme de la coupe minimale donc un problme polynomial. Par contre, dans le modle anti-ferromagntique, ce problme est NP-complet (et mme non-approximable).
Thorme 2.3.1

MAXCUT est un problme NP-complet. Le problme appartient clairement la classe NP. On effectue une rduction depuis le problme NAE 3 SAT (Not All Equal 3-SAT). On considre une instance du problme NAE 3 SAT, cest-dire un ensemble C de m clauses logiques sur un ensemble de n variables : a1 , . . . , an . Les clauses sont de la forme Ci = x y z avec x, y, z des littraux associs aux variables a1 , . . . , an .
Preuve.

A partir de ces clauses, on construit un graphe dont les sommets sont les littraux donc de 2n sommets (les variables et leur ngation). On relie ensuite les sommets correspondants aux littraux dune mme clause. De mme on relie chaque littral avec son littral oppos. On a donc 3m + n artes. On vrie que les clauses sont satisfaites si et seulement si le graphe cidessus admet une coupe de taille 2m + n. Supposons que les clauses soient NAESAT. Alors, si lon considre lensemble des littraux positifs S, (S, V S) est une coupe de taille 2m + n. Rciproquement, on peut supposer sans perte de gnralit que les littraux xi et xi ne sont pas dans le mme ensemble. En effet dans le cas contraire on peut le changer de ct sans changer la taille de la coupe. Ainsi il y a exactement n arcs entre littraux donc au plus 2m arcs introduits lorsquon ajoute les arcs associs aux clauses. Par suite on a lgalit si et seulement si toutes les clauses sont NAESAT. On a donc bien la rduction donc MAXCUT est NP-complet. Ainsi le problme de trouver la fonction de partition dans le cas antiferromagntique est un problme NP-difcile. Nanmoins dans le cas des 58

graphes planaires, la fonction de partition est calculable en temps polynomial. On sintresse maintenant la relation quentretient la fonction de partition avec le polynme de Tutte. En effet le polynme de coupe est un invariant de Tutte-Grothendieck par la proposition suivante :
Proposition 2.3.1

Soit G un graphe et e un arc qui ne soit ni une boucle ni un isthme alors on a : B(G, s) = sB(G e, s) + (1 s)B(G/e, s) et de plus B(C, s) = 1 + s B(L, s) = 1
Preuve.

Les deux dernires proprits sont triviales.

Pour la premire, on va montrer que la proprit est vrie sur les coefcients bi (G) de la srie gnratrice. On pose e = ( a, b) un arc quelconque et on essaye de partitionner les coupes. Soit donc C une coupe quelconque : Si e nappartient pas la coupe C alors cest une coupe de G/e. Si e appartient la coupe C alors cest une coupe de G e telle que a et b sont dans deux composantes diffrentes. Or une coupe de G dans laquelle a et b sont dans la mme composante est aussi une coupe de G/e. En partitionnant les coupes selon si elle contiennent e ou pas, on en dduit la relation : bi (G) = bi1 (G e) + bi (G) bi1 (G/e) ce qui conduit la relation nale. On peut montrer (de la mme manire que pour le polynme monochromatique) que : B(G, s) = smn+1 (1 s)n+1 T(G, 1+s 1 , ) 1s s

et donc exprimer la fonction de partition en fonction du polynme de Tutte : 1+ 1 , ) Z(G, ) = 2 m/2n+1 (1 )n1 T(G, 1 avec = e2J . Il existe des gnralisations de ce modle un cas inhomogne cest--dire o les nergies dinteractions entre spins sont toutes diffrentes. On peut aussi ajouter un champ magntique extrieur et dans ce cas les spins vont avoir tendance saligner en fonction de ce champ. Lhamiltonien pour ce modle est donn par : H() = Jij i j Mi
(ij)
i

o M est lnergie apporte par le champ magntique. 59

2.3.2 Le modle de Potts

On considre maintenant une gnralisation du modle dIsing au cas o le nombre de valeurs possibles prises par les spins vaut q 2. On suppose un modle sans champ magntique extrieur. Lhamiltonien du systme est donn par : H( ) =
(ij)

Kij (1 (i j ))

o Kij est lnergie dinteraction associe larc (ij) et est le symbole de Kronecker. La fonction de partition est donc : Z=

e H( ) .

Si lon considre lensemble des artes E on peut partitionner naturellement les artes en celles dont les extrmits sont de spin diffrents (E ) et celle dont le spin est identique (E+ ). Si lon suppose que lnergie dinteraction est constante et gale K alors on peut rcrire la fonction de partition : Z = e K|E
|

or E = E E+ et E+ reprsente les arcs dont les extrmits sont de mme spin. Une conguration de spin peut donc se voir comme une coloration avec q couleurs et |E+ | dfauts. On peut donc rcrire la fonction de partition : Z = e K|E| e K|E

+|

=e =e

K|E|

qcoloration

b j (q)(eK ) j

K|E|

B(G, q, eK )

avec B(G, q, ek ) le polynme chromatique. Or nous avons vu que le polynme monochromatique est un invariant de Tutte-Grothendieck et T(G, x, y) = 1

( y 1 ) |V| ( x

1)

B(G, ( x 1)(y 1), y).

Ainsi lvaluation du polynme de Tutte sur lhyperbole Hq fournit la fonction de partition du modle de Potts. Le cas q = 2 se ramne au modle dIsing.

2.4

Applications la thorie des noeuds

Nous allons voir que le polynme de Tutte peut avoir certaines applications en thorie des noeuds.

60

2.4.1 Gnralits
Un noeud est un plongement dun cercle dans R3 . Par exemple, on peut considrer le noeud de tre est reprsent par la gure 2.8. Ce noeud nous servira rgulirement dexemple par la suite.

Fig. 2.8 Le noeud de tre

Comme la reprsentation dun noeud dans lespace de dimension 3 nest pas facile se reprsenter, on considre la projection sur un plan. Ces projections doivent vrier certaines conditions de rgularit notamment que les tangentes en un point du noeud se projettent sur les droites du plan ou encore quil faut avoir un nombre ni de croisements. On appelle ces projections diagrammes de noeuds. Un entrelacs est un plongement de plusieurs cercles dans R3 . Lexemple le plus connu est certainement lentrelacs borromen reprsent par la gure 2.9.

Fig. 2.9 Lentrelacs borromen

Formellement, on peut dnir les entrelacs de la manire suivante :

Dnition 2.4.1

On considre la varit diffrentiable obtenue en considrant lunion disjointe de n cercles S1 . On appelle entrelacs n composante limage dun plongement : f : S1 S1 . . . S1 R3

et on note L = K1 K2 . . . Kn . Les Ki reprsentent les composantes de lentrelacs. Si n = 1, lentrelacs est un noeud not K. La question naturelle qui se pose est de savoir si deux noeuds sont quivalents. On peut dnir lquivalence de deux noeuds en considrant les isotopies ambiantes entre deux noeuds, cest--dire : 61

Dnition 2.4.2

Deux entrelacs n composantes sont isotopes sil existe une application diffrentiable : F : S3 [0, 1] S3

( x , t ) Ft ( x )
telle que F0 = Id et F1 (L) = L et telle que Ft soit un diffomorphisme pour tout t vriant Ft (Ki ) = Ki . Cest--dire que lon a une famille de diffomorphismes prservant lordre des composantes de lentrelacs. Le thorme suivant, d Reidemeister, permet de caractriser facilement les entrelacs isotopes :
Thorme 2.4.1

Deux entrelacs sont isotopes si on peut transformer lun des diagrammes en lautre en utilisant un nombre ni de mouvement de Reidemeister (donnes par la gure 2.10).

(a) Premier ment

mouve-

(b) Deuxime mouvement

(c) Troisime mouvement

Fig. 2.10 Mouvements de Reidemeister

Par simplicit, par la suite, on notera Ri et Ri les diagrammes ci-dessus, correspondant aux i-me mouvement de Reidemeister avec i = {1, 2, 3}.

2.4.2 Graphe mdial et graphe sign dun entrelacs

Graphes planaires et entrelacs entretiennent des relations trs proches. Nous voyons ici comment construire un graphe partir dun diagramme dentrelacs. Par la suite, soit L un entrelacs et D son diagramme obtenu par projection rgulire sur un plan. Un diagramme peut tre considr comme 62

un graphe planaire 4-rgulier et donc ses faces sont 2-coloriables. Habituellement on utilise les couleurs noire et blanche et on colorie la face non-borne en blanc.
Exemple :

Une coloration du graphe du noeud de tre droit est donne par la gure 2.11.

Fig. 2.11 Coloration du diagramme du noeud de tre

Maintenant on considre uniquement les faces colories en noir. A chacune de ces faces, on associe un sommet. Deux sommets sont adjacents si et seulement si les faces noires sont adjacentes. On obtient un graphe nomm graphe mdial associ au diagramme not M(L).
Exemple : Le graphe mdial du noeud de tre droit est donn par la

gure 2.12.

Fig. 2.12 Graphe mdial du noeud de tre M(&)

On peut maintenant associer un signe chaque croisement selon la rgle donne par la gure 2.13.

(a) Signe +

(b) Signe

Fig. 2.13 Signature des croisements

On obtient alors un graphe sign.

63

Exemple :

Le graphe sign du noeud de tre droit est donn par la -

gure 2.14.

+ + +

Fig. 2.14 Graphe sign du noeud de tre droit Remarque 2.4.1

Si le noeud est altern, alors tous les arcs du graphe ont le mme signe, ce qui est le cas du noeud de tre. On dnit maintenant un polynme sur ces diagrammes :
Dnition 2.4.3

Le crochet de Kauffman [D] dun diagramme dentrelacs dnit par : 1. [ 2. [ D

]=1, ] = d [D] ,

3. [ 0 ] = A [ 1 ] + B [ H ] . Le crochet de Kauffman est clairement un polynme en 3 variables A, B et d.

Exemple :

Le crochet du noeud de tre droit vaut :

[&] = A3 d(21) + A2 Bd(11) + A2 Bd(11) + AB2 d(21) + A2 Bd(11) + AB2 d(21) + AB2 d(21) + B3 d(31) = A3 d1 + 3A2 B + 3AB2 d1 + B3 d2 .
Nanmoins il est assez facile de montrer que ce nest pas un invariant de noeud. En effet, ainsi dni, le crochet de Kauffman nest pas invariant selon le second mouvement de Reidemeister. Une application directe de la dnition du crochet 6 5 montre que lon a :

[6 5] = (A2 + B2 + ABd)[H] + AB[1].

Or comme le second mouvement de Reidemeister impose que lon ait [6 5] = [H], on pose : AB = 1 et A2 + B2 + ABd = 0, cest dire : B = A1 et d = (A2 + A2 ).

Ainsi on peut dnir un nouveau crochet qui sera invariant pour le deuxime mouvement de Reidemeister. 64

On peut aussi montrer que le polynme est invariant pour le troisime mouvement de Reidemeister. En effet les deux diagrammes du troisime mouvement (R3 et R3 ) possdent un croisement de type 0 donc on peut crire la relation 3) de la dnition prcdente sur ce croisement. Ensuite on applique le deuxime mouvement de Reidemeister sur la partie en A et on remarque que le dveloppement est le mme donc que les polynmes sont gaux : [R3 ] = [R3 ]. Malheureusement le crochet de Kauffman nest toujours pas invariant pour le premier mouvement. Pour rendre le crochet invariant pour ce mouvement, nous avons besoin de dnir une orientation sur les entrelacs. On dfnit donc une orientation sur chacune des composantes de lentrelacs. On a alors dni les diagrammes orients selon la rgle donne par la gure 2.15.

Fig. 2.15 Croisements dans un diagramme orient

Ainsi on peut associer chaque croisement dun entrelacs orient un signe : +1 si le croisement est de type L+ et 1 sil est de type L . On note (L) la somme des signes. La gure 2.16 donne les signes des croisements du noeud de tre orient dans le sens des aiguilles dune montre.

+1

+1

+1 Fig. 2.16 Noeud de tre droit orient : (&) = 3 Proposition 2.4.1

f D ( A ) = ( A3 ) ( D ) [ D ] est invariant pour les trois mouvements de Reidemeister.

Preuve.

Comme (D) et [D] sont invariants pour les mouvements deux et trois alors il en est de mme pour f D (A). On considre maintenant le premier mouvement de Reidemeister. Supposons que lon ait un entrelacs L contenant un croisement de type R1 . On note L lentrelacs obtenu aprs avoir effectu le mouvement de Reidemeister. On note D et D les diagrammes associs. En crivant la relation 3) du crochet de Kauffman sur le croisement

0 de

65

R1 , on obtient :

[D] = (A + A1 (A2 A2 ))[R1 ] = A3 [ D ]

De plus (R1 ) = 1 quel que soit lorientation de R1 . On a que (D) = (D ) 1 et donc on a bien f D (A) = f D (A). En fait, dans ce cas le polynme de Kauffman sidentie au polynme de Jones VL (t) o VL (t) se dnit de la manire suivante :
Dnition 2.4.4

On appelle polynme de Jones dun entrelacs orient L, le polynme de Laurent en une variable VL (t) dnie par : 1. V ( t ) = 1 2. la relation de Skein

1 1 VL+ (t) tVL (t) = ( t )VL0 (t). t t

Le polynme de Jones est un invariant de noeud. On voit facilement que f D (t1/4 ) vrie ces conditions. De plus si lon a un invariant dni sur une relation de type Skein et si lon connait sa valeur prise sur le noeud trivial alors linvariant est uniquement dtermin, ce qui permet de relier le polynme de Jones et le polynme f prcdent : VL (t) = f D (t1/4 )

= (t)3 (L)/4 [L]A=t1/4

La relation de Skein permet de calculer le polynme de manire pratique. Par exemple le polynme de Jones du noeud de tre droit est V& (t) = t + t3 t4 .

2.4.3 Mais o est pass le polynme de Tutte ?

On veut maintenant interprter la relation 3) du crochet de Kauffman en termes de graphe mdial et de graphe sign. En effet le crochet de Kauffman tant bien dni sur les diagrammes, on peut alors le dnir sur les graphes mdiaux associs. On peut caractriser laction de la relation 3) du crochet sur le graphe mdial via la relation :

Fig. 2.17 Relation de Kauffman et graphe mdial

En notant G le graphe mdial de L et e une arte de ce graphe, on peut traduire la relation suivante :

[G] = A[G e] + A1 [G/e]

66

lorsque le signe de e dans le graphe sign est + et

[G] = A[G/e] + A1 [G e]
lorsque e est de signe . On a donc une dcomposition de Tutte du graphe mdial. La dcomposition en somme directe ncessaire pour introduire le polynme, est bien moins traite dans la littrature sur le sujet. Nous allons essayer de trouver une opration sur les noeuds qui corresponde la somme directe des graphes mdiaux. Soit L un entrelacs On suppose que M(L) = M(L1 ) M(L2 ) avec M(L) le graphe mdial associ lentrelacs L. On cherche caractriser Si M(L1 ) et M(L2 ) sont des composantes connexes diffrentes de M(L) alors il suft de considrer lunion disjointe des entrelacs associs M(L1 ) et M(L2 ). Sinon M(L1 ) et M(L2 ) partagent un point du graphe et alors on utilise la somme connexe de deux noeuds :
Dnition 2.4.5

Comme en topologie algbrique, la somme connexe de deux noeuds sobtient en considrant un ouvert sur chaque noeud et en identiant les bords. On ajoute la condition que la somme connexe de deux noeuds ne change pas le nombre de croisements. Soient L1 et L2 deux noeuds. On note L1 L2 la somme connexe de ces deux noeuds. Si on a des entrelacs alors il faut spcier les composantes que lon relie.
Exemple : La somme connexe de deux noeuds (noeud de tre droit et

noeud de huit) est donne par la gure 2.18.

Fig. 2.18 Somme connexe dun noeud de tre et dun noeud de huit

En terme de graphe mdial, on a reli deux faces noires entre elles, cest-dire que lon a identi deux sommets des graphes mdiaux. Ainsi la dcomposition en somme directe des graphes mdiaux revient dcomposer un noeud en une somme de noeuds disjoints ou en somme connexe de plusieurs noeuds. De plus, le crochet de Kauffman se comporte presque bien pour cette somme directe. On a par exemple [ ] = (A2 + A2 )[ ] = (A2 + A2 ). 67

Cette quantit nous servira normaliser le crochet de Kauffman des graphes mdiaux plusieurs composantes. Plus gnralement, nous avons la proprit suivante :
Proposition 2.4.2

Soit L1 et L2 deux entrelacs. On a

[L1
et

L2 ] = (A2 + A2 )[L1 ] [L2 ],

[L1 L2 ] = [L1 ] [L2 ],

On a par une rcurrence immdiate L1 L2 ... L n ] = ( A2 + A 2 ) n 1 [ L 1 ] . . . [ L n ] .

On peut donc normaliser le crochet de Kauffman par (A2 + A2 )n1 o n reprsente le nombre de composantes de lentrelacs, de manire le rendre parfaitement compatible avec la somme directe des graphes mdiaux. Ce crochet de Kauffman normalis est donc un invariant de TutteGrothendieck. On a les relations :

[L+ ] = A3 et [L ] = A3 , [C+ ] = A3 et [C ] = A3 ,
o L+ et L reprsentent le graphe compos dune boucle et (respectivement) sign positivement et ngativement. De mme C+ et C reprsentent les graphes signs composs dun isthme. On pose |V| (resp. |E|) le nombre de sommets (resp. dartes) du graphe mdial M(L) et r (M) son rang. Si lon se place dans un entrelacs altern alors tous les arcs du graphe sign ont le mme signe (on supposera positif dans ce cas) :

[L] A 3 A3 |E|r (M) 1 r (M) = A ( A ) T ( M ( L ) , , ) A A ( A2 + A 2 ) n 1 = A|E|2r(M) T(G, A4 , A4 )

or n est le nombre de composantes connexes de M(G) donc n = |V| r (M). On en dduit que :

[L] = (A2 A2 )|V|r(M)1 A|E|2r(M) T(G, A4 , A4 )

Lorsque le graphe mdial na quune seule composante connexe, on a r (M) = |V| 1 et donc la relation :

[L] = A2|V||E)|2 T(M(L), A4 , A4 ).

68

On considrera maintenant, pour simplier, que lon est dans le cas dun graphe mdial une seule composante. Par suite, via le polynme f , on peut exprimer le polynme de Jones en fonction du polynme de Tutte : VL (t) = (t)3 (L)/4 (t1/4 )2|V|+|E|2 T(M(L), t, t1 )

= (1) (L) (t1/4 )3 (L)2|V|+|E|2 T(M(L), t, t1 )

notre exemple du noeud de tre droit. Cest un noeud altern et le polynme de Tutte du graphe mdial (Figure 2.12) est donn par T(M(&), x, y) = x2 + x + y donc T(M(&), t, t1 ) = t2 t t1 . On a = 3 commme on la vu prcdemment. On en dduit le polynme de Jones V& ( t ) = 1 t 2 ( t 2 t t 1 ) = t + t 3 t 4 . Lvaluation du polynme de Tutte sur lhyperbole dgnre xy = 1 se spcialise dans le polynme de Jones. Le point (1, 1) du plan de Tutte appartient cette hyperbole et dj t trait prcdemment. Nous avions vu quil avait rapport avec la dimension de lespace de bicycles dun graphe. Lorsque G est planaire, on peut montrer que T(G, 1, 1) = (1)|E(G)| (2) (M(G))1 avec (M(G)) le nombre de composantes connexes du graphe mdial de G. Plus spciquement VL (1) = (2)c(L)1 o c(L) est le nombre de composantes de L. Au point 1, VL (1) admet une interprtation en terme dinvariant de Arf. Linvariant de Arf est un invariant de noeuds prenant les valeurs +1 ou 1. En particulier linvariant de Arf permet de distinguer le noeud trivial du noeud de tre et en dnisant une relation dquivalence approprie, on peut se ramener ces deux cas. De plus linvariant de Arf a une interprtation en terme du polynme de Jones : Ar f ( L ) = ou encore A r f ( L ) = VL ( i ) . Cest--dire quil existe une relation avec le nombre darbres couvrants du graphe mdial donn par T(G, 1, 1). En effet, en 1, le polynme de Jones correspond au polynme dAlexander-Conway : VL (1) = L (1). Les relations entre les arbres couvrants et le polynme dAlexander-Conway sont dveloppes dans (Mas01) et (Thi87). Des relations entre le polynme de Tutte et le polynme de Homy sont dveloppes dans (Jae88) en utilisant une mthode similaire celle utilise ci-dessus pour le polynme de Jones. Le polynme de Homy est un polynme deux variables et a des spcialisations contenant le polynme de Jones et le polynme dAlexander-Conway.
Exemple : Reprenons

(VL (1))2 1 ( mod 2) 8

2.5

Zonotopes et thorie dErhart

Nous nous intressons maintenant la thorie dEhrhart. Celle-ci sintresse compter le nombre de points dun rseau contenu dans un polytope. 69

Dnition 2.5.1

Soit V = (v1 , . . . , vn ) un sous-ensemble ni de lespace euclidien Rn . On appelle polytope lenveloppe convexe de ce sous-espace, cest dire lensemble des combinaison linaires convexes :

P (V ) = { x Rn : x = i x i ,
i

i = 1, i 0}.
i

Cest un compact de Nn formant le plus petit ensemble convexe de Rn contenant V. On remarque quil existe certains points ne pouvant scrire comme une combinaison linaire stricte de points de V, cest- -dire sil nest lintrieur daucun segment strictement contenu dans P . Ces points sont appels sommets du polytope. On peut montrer ce rsultat en utilisant le thorme de Carathodory :
Thorme 2.5.1

Soit V un sous-ensemble de Rn . Alors tout point de lenveloppe convexe P (V) est dans lenveloppe convexe dun sous- ensemble de points afnement indpendants. que ces points sont en nombre ni et correpondent aux points de V. Ainsi on a lensemble de cardinal minimal tel que lenveloppe convexe soit P . On dnit aussi les faces comme les sous-ensembles de P forms par lintersection de P avec un hyperplan afne et tel que P soit contenu entirement dans lun des deux demi-espaces forms par lhyperplan. On appelle intrieur relatif du polytope, lintrieur du polytope dans lespace afne quil engendre. On considre le rseau Zn Rn . tant donn un ensemble ni de points de Zn , on considre le polytope associ P . On appelle un tel polytope un polytope entier. tant donn un polytope entier P, Ehrhart tudi la fonction : i P : N N q | q P Zn | qui compte le nombre de points entiers dans le polytope dilat dun facteur m. Son rsultat principal est donn par le thorme suivant :
Thorme 2.5.2

iP est une fonction polynmiale en q de degr n. En fait seul le cas des simplexes est intressant tudier car il existe une dcomposition dun polytope en simplexe. Un simplexe de dimension r (ou r-simplexe) est un polytope associ un ensemble de r + 1 points indpendants de Rn . Un simplexe est donc un polytope avec r + 1 sommets. Par exemple, le simplexe de dimension 3 est le ttradre.
Proposition 2.5.1

70

Tout polytope P peut se dcomposer comme une runion dintrieurs relatifs de simplexes dont les sommets sont des points de P . Ehrhart a aussi introduit une deuxime fonction comptant le nombre de points contenu strictement lintrieur du polytope. Cette fonction est directement relie au polynme dEhrhart par la loi de rciprocit dEhrhartMacDonald :
Proposition 2.5.2

Soit k(P, q) le nombre de points du rseau contenu dans P0 o P0 correspond lintrieur de P. Alors k(P, q) = (1)dim(P) i (P, q) On restreint maintenant ltude des polytopes plus particuliers : les zonotopes.
Dnition 2.5.2

Soient A et B deux ensembles dun espace euclidien. On appelle somme de Minkowski de A et B et on note A + B : A + B = { a + b | a A, b B}.
Exemple :

On considre la somme de Minkowski des ensembles A = {(0, 0), (1, 1)} et B = {(0, 0), (1, 1)}, ce qui donne lensemble

{(0, 0), (1, 1), (1, 1), (1, 2)}.

Dnition 2.5.3

Soit V = {v1 , . . . , vk } un ensemble ni dlments de Rn . On appelle zonotope et on note Z(V) le polytope form par la somme de Minkowski des segments de droite ferms Li = { xi vi | 0 xi 1} : Z(V) = {1 + . . . + n | 1 L1 . . . n Ln } .
Exemple : Si lon considre les ensembles de lexemple prcdents qui

sont deux segments de R2 , linterprtation gomtrique en terme de zonotopes donne la gure 2.20. Le quadrillage reprsente le rseau Z2 et dans la troisme sous-gure les points bleus reprsentent les points du rseau lintrieur de zonotope. Notons quil ny a quun seul point strictement lintrieur de ce zonotope. De la mme manire que nous pouvions dcomposer un polytope en simplexe, nous avons un dcomposition dun zonotope en cubes :
Dnition 2.5.4

tant donn un ensemble D de droites afnes linairements indpendantes. On appelle cube semi-ouvert et on note C(D) la somme de Minkowski de ces demidroites. Si on note ces droites sous la forme 1 = 1 1 , . . . , n = n n avec i , i Rn , alors : C(D) = { a1 1 + (1 a1 ) 1 + . . . + a n n + (1 a n ) n | 0 a i < 1}. 71

(a) Lignes A et B de R2

(b) Zonotope associ A + B

(c) Points lintrieur du zonotope

Fig. 2.19 Exemple de zonotope dans R2

Les vecteurs i sont appels les vecteurs gnrateurs du cube. Si n = 0, lensemble des gnrateurs est vide. Notons que, quitte translater les vecteurs, on peut supposer que les segments de droite ont pour origine O. Le lemme suivant donne la dcomposition dun zonotope en cubes semiouverts :
Proposition 2.5.3

Soit 1 , . . . , r un ensemble de points de Rn . On note Li le segment de droite ferm reliant lorigine i . Alors Z = Z(1 , . . . , r ) peut scrire comme runion disjointe de cube semi-ouvert : Z=
X

CX ,

o CX est le cube semi-ouvert engendr par X et o X parcourt les sous-ensembles linairements indpendants de {1 , . . . , n }.
Preuve.

La preuve seffectue par induction :

Cest clair lorsque n = 0, Z est alors rduit un seul point (lorigine). Supposons la proprit vraie au rang r 1 alors on a une dcomposition de Z = Z(L1 , . . . , Lr1 ) en cubes semi-ouverts : Z =
X

CX ,

o X parcourt les sous-ensembles linairements indpendants de {1 , . . . , r1 }. 72

On projette alors le zonotope Z sur un hyperplan orthogonal Lr . On obtient alors un zonotope Z= CY ,

Y

o Y correspond aux projets des sous-ensembles Y de {1 , . . . , r } tels que Y {r } soit linairement indpendant. En revenant maintenant dans Rn , chacun des CY scrit comme un produit ]O, r ] CY . On a alors la dcomposition de Z donne par Z=
X

CX

]O, r ] CY .

On notera que la nature inductive de cette preuve permet de trouver un algorithme de dcomposition en cube semi-ouverts. On consultera (Cha92) pour plus de details sur cette dcomposition et sur la mthode.

Fig. 2.20 Exemple de zonotope dans R3

On remarque que si i, i Zn alors les sommets de chaque CX sont entiers. Cela va nous permettre de dcomposer un zonotope en cubes entiers et de pouvoir chercher le polynme dErhart uniquement sur les cubes semi-ouverts. Cest ce que fait la proposition suivante :
Thorme 2.5.3

Soit 1 , . . . , r Zn . On considre le zonotope entier Z = Z( 1 , . . . , r ). Alors la fonction dEhrhart scrit : i (Z, q) =

h (X ) q |X| ,
X

o X parcourt les sous-ensembles linairement indpendants de { 1 , . . . , r } et o h(X) dnote le pgcd des mineurs de taille |X| de la matrice forme par les lignes i . Par la proposition prcdente, on peut dcomposer notre zonotope en cubes : Z= CX .
Preuve.
X

73

X parcourt les sous-ensembles indpendants de { 1 , . . . , r }. On note X = {1 , . . . , s } avec s r. Par dnition, CX est engendr par 1 , . . . , s . On considre dsormais un tel cube CY associ un ensemble Y = {1 , . . . , s }. Si lon considre lensemble des vecteurs entiers de lespace vectoriel engendr par Y, ils forment un groupe ablien not G. De plus comme les vecteurs i sont aussi entiers, on peut considrer le sous-groupe de G engendr par la partie Y et not H. Comme A est un groupe linaire alors h(Y) = [G : H] lindice de H dans G (produit des k premiers facteurs invariants). De plus les lments de C G forment une famille de reprsentants des classes de G (i.e. des orbites) pour laction du sous-groupe H sur G car les gnrateurs de C sont entiers et linairement indpendants, donc |(C G)| est gal au nombre dorbites. Or les orbites pour laction de H sur G forment une partition de G et les orbites sont toutes de cardinal |H| (on a une bijection immdiate entre les lments de gH avec g G et ceux de H). On en dduit que |G| = |C G||H|. Par suite i (Z, 1) = |(C G)| = h(Y). En passant lchelle par un facteur q, on en dduit que i (Z, q) =

i(CX , q) = h(X)q|X| .
X X

La matrice forme par les lignes i est une matrice coefcients entiers. Maintenant si lon se restreint un cas bien particulier de matrice :
Dnition 2.5.5

Une matrice coefcients entiers est dite unimodulaire si son dterminant vaut 1.
Dnition 2.5.6

Une matrice coefents entiers est dite totalement unimodulaire si toute sousmatrice carre inversible est unimodulaire. Par exemple la matrice suivante est de ce type : 1 1 0 0 0 +1 +1 0 1 1 0 0 A= 0 +1 +1 0 1 0 0 0 0 +1 +1 1 Il est alors clair que tous les mineurs dune matrice totalement unimodulaire sont 0 ou 1. Dans ce cas, le coefcient du monme qi est gal au nombre de sous-ensembles linairement indpendants de taille i parmi lensemble des gnrateurs. Si nous avons un matrode M reprsentable par une telle matrice totalement unimodulaire alors nous pouvons lui associer un zonotope form par les lignes de la matrice. On note ce zonotope Z(M). Ce type de matrode est appel matrode rgulier. De plus il est immdiat de remarquer que le nombre de sous-ensembles linairement indpendants de taille i est valuable par le polynme de Tutte comme nous lavons vu prcdemment. 74

On en dduit la proposition suivante :

Proposition 2.5.4

Soit M un matrode rgulier et M sa reprsentation par une matrice totalement unimodulaire alors le polynme dEhrhart associ au zonotope Z(M) est donn par : 1 i (Z, q) = qr(M) T M, 1 + , 1 . q On peut maintenant utiliser la loi de rciprocit dEhrhart-Macdonald. On suppose pour simplier que la matrice a le mme rang que lespace Rn dans lequel le zonotope vit. On a alors : 1 k(Z, q) = (1)n i (Z, q) = (1)n qr(M) T M, 1 , 1 q 1 = ( q )r ( M ) T M, 1 , 1 q On a ainsi que (1)r(M) T(M, 0, 1) compte le nombre de points strictement lintrieur de Z(M).

2.6

Physique du tas de sable et jeux combinatoires

Nous nous intressons maintenant au modle du tas de sable ablien. Ce modle t introduit dans les annes 1980 pour introduire le concept dtats critiques auto-organiss. Cest un modle o des perturbations locales du systme peuvent engendrer une pertubation globale. Nous allons dans un premier temps tudier un modle combinatoire li au tas de sable : le chip-ring game. Nous verrons ensuite la relation avec le modle du tas de sable. Dans le chip-ring game, on considre un graphe point (G, q) o q est un sommet quelconque. On dnit une fonction de hauteur : V(G) Z qui chaque sommet v associe un entier (v) 0 pour tout sommet v = q et (q) = (v). On note indeg(v) deux fois (on peut voir une boucle
v =q

comme un arc sortant et entrant) le nombre de boucles sur le sommet v et exdeg(v) le nombre darcs incidents qui ne sont pas des boucles. On a bien deg(v) = indeg(v) + exdeg(v). Le vecteur des hauteurs est appel la conguration du systme. Ce vecteur dcrit ltat global du systme. Un sommet v = q est dit prt lorsque (v) deg(v). On dit que q est prt uniquement dans le cas o aucun autre sommet ne lest. Soit v un sommet prt, on dit que le sommet v tire lorsque la conguration du systme est rorganise selon la rgle : (v) = (v) + v(v, w) si v = w (v) exdeg(v) sinon ,

o v(v, w) correspond au nombre darcs entre les sommets v et w. Autrement dit les vaisseaux se dplacent sur les sommets adjacents. 75

Aprs un tir, il peut se produire de nouveaux tirs car le mouvement des vaisseaux pu amener de nouveaux sommets tre prts. On considre donc une squence de tirs successifs. Si lon se donne une suite de sommets (v1 , . . . , vk ). Cette suite est appele squence q-valide pour une conguration 1 si v1 est prt pour la conguration 1 et pour tout 2 i k, vi est prt dans la conguration i o i est la conguration obtenue aprs le tir du sommet v dans la conguration i1 . Intuitivement cela modlise le principe de causalit ; on a une succession de rorganisations du systme dans le temps induit par les prcdents. On va maintenant caractriser les congurations :
Dnition 2.6.1

Une conguration est dite stable si v = q, (v) deg(v). Certaines congurations peuvent rapparatre (considrer par exemple le graphe form dune seule boucle) :
Dnition 2.6.2

On appelle conguration rcurrente une conguration telle quil existe une squence commenant et nissant par la conguration .
Dnition 2.6.3

Une conguration stable et rcurrente est dite critique. On dnit alors son niveau par level( ) = (v) |E(G)| + deg(q).
v =q

Les propositions suivantes sont dmontres dans (Big99), (AB91) et (Mer97), elles caractrisent les congurations critiques :
Proposition 2.6.1

Soit G un graphe connexe, q V(G) et une conguration stable. ALors est une conguration critique si et seulement si il existe une squence q-valide telle que chaque sommet tire exactement une fois. De plus il est clair que si deux sommets sont prts au mme instant alors les oprations de tir commutent :
Lemme 2.6.1

Soit une squence q-valide. Si deux lments de cette squence sont prts au mme instant, alors la squence obtenue par permutation de ces deux lments est aussi une squence q-valide et la conguration nale est identique. En effet on peut voir que si deux sommets sont prts au mme moment alors les oprations de tir commutent. Soit en effet deux sommets u et u prts aprs que q ait tir et (resp. ) la conguration aprs que u ait tir suivi de u (resp. u suivi de u). Alors la conguration est dnie par : (v) + v(v, u) + v(v, u ) si v = u, u = (u) exdeg(u) + v(u, u ) si v = u (u) + v(u, u ) exdeg(u ) si v = u
Preuve.

76

On vrie ensuite aisment que la conguration est identique. On peut montrer que les niveaux des congurations critiques sont borns par le nombre cyclotomique de G. En particulier, on a le thorme :
Thorme 2.6.1

Soit G un graphe connexe et une conguration critique alors 0 level( ) |E(G)| |V(G)| + 1. On peut donc considrer le nombre de congurations critiques de niveau i not ci et considrer la fonction gnratrice :
|E(G)||V(G)|+1

Pq (G, y) =

i =0

ci yi .

On va montrer que ce polynme est identiable une valuation du polynme de Tutte. Comme G est connexe et que lon a affaire des graphes points, nous utiliserons la dnition rcursive du polynme de Tutte :
Thorme 2.6.2

Soit (G, q) un graphe point alors la srie gnratrice Pq (G, y) vrie : Pq (G, y) = Pq (G e, y) + Pq (G/e, y) si e nest ni une boucle ni un isthme. Pq (G/e, y) = Pq (G, y), P( q (G e, y ) = yP(G e, y ). De plus on a : Pq (G, y) = T(G, 1, y). Soit e = (q, u) avec u un sommet adjacent q dans G. On a trois cas possibles :
Preuve.

Si e est un isthme, soit une conguration critique de G/e alors on dni une conguration de G par ( v ) , v = q, u (v) = (deg u) 1 , si v = u deg q , si v = q Dans cette conguration, le sommet q tire en premier suivit du sommet u. De plus, comme est critique dans G/e et aprs que q et u aient tirs on arrive dans la mme conguration que celle de car e est un isthme. On a donc construit une conguration critique de G partir dune conguration critique de G/e. Rciproquement, soit une conguration critique de G. On dnit la conguration sur G/e (le sommet u est identi q) par : (v) = (v) , v = q deg q , si v = q

77

Si lon a une squence critique de G, (q, u, v1 , . . . , vk ) alors la squence (q, v1 , . . . , vk ) est une squence critique de G/e. Par suite la conguration est une conguration critique de G/e. De plus, on a level( ) =

w = q,u

(w) (w) (w) (w)

|E(G/e)| + degG/e (q) (|E(G)| 1) + (degG (q) + degG (u) 2) |E(G)| + degG (q) + degG (u) 1 |E(G)| + degG (q)

= = =

w = q,u

w = q,u

w =q

= level( )
On a donc construit une bijection entre les congurations critiques de G et celles de G qui prserve les niveaux des congurations. On en dduit Pq (G, y) = Pq (G/e, y). Si e est une boucle, alors il suft de considrer la construction de suivante : (v) , v = q (v) = degGe v , si v = q et on a level( ) =

w = q,u

(w) (w) (w)

|E(G e)| + degGe (q) (|E(G)| 1) + degGe (q) |E(G)| + degG (q) 1

= =

w =q

w =q

= level( ) 1
On en dduit que : Pq (G, y) = yPq (G e, y). Si e nest une boucle ni un isthme On considre alors la partition des congurations critiques en posant A lensemble des des congurations critiques vriant (u) = deg(u) 1 et A celles ne le vriant pas. On considre une conguration de A. Alors on en dduit une conguration critique de G/e en posant : (v) = 78 (v) , v = q deg v , si v = q

Alors u est prt aprs que q ait tir donc quitte permuter les sommets prts la seconde tape, on peut supposer que u est le deuxime lment de la squence. Aprs que u ait tir, on est dans une conguration similaire dans G et G/e. Or comme on a une conguration critique de G, on en dduit une conguration critique de G/e. Rciproquement, tant donn une conguration critique de G/e, on construit une conguration de G en posant : ( v ) , v = q, u (v) = (deg u) 1 , si v = u deg q , si v = q Aprs que q ait tir, (u) = deg(u) 1 + v(q, u). Ensuite, aprs que u ait tir, (u) = deg(u) 1 + v(q, u) exdeg(u). Aprs que les voisins de u aient tirs, on a que : (u) = deg(u) 1 + v(q, u) exdeg(u) + (exdeg(u) v(q, u))

= deg(u) 1
donc la conguration est bien rcurrente. De plus comme est critique dans G/e, on en dduit que est critique dans G. On a donc une bijection entre les congurations critiques de A et celles de G/e. De plus on peut montrer (de la mme manire que prcdemment) que le niveau reste inchang. De la mme manirre, on tablit une bijection entre les congurations de A et les congurations critiques de G e en posant : (v) = (v) , v = q Comme par hypothse (u) < deg(u) 1 toute squence q-valide de G e est une squence q-valide de G et rciproquement. Or comme level( ) =

v =q

(v) |E(G)| + degG (q) (v) (|E(G e)| + 1) + (degGe (q) + 1)

v =q

= level( )
On en dduit que lon a une bijection entre les congurations de A et les congurations critiques G e conservant le niveau donc Pq (G, y) = Pq (G e, y) + Pq (G/e, y). A partir de l il suft de remarquer que Pq (C, y) = 1 car la seule conguration critique sur un graphe avec un seul isthme est la conguration telle que (u) = 0, de niveau 0. De mme Pq (L, y) = y car la seule conguration critique est celle telle que (q) = 0 de niveau 1. Puis comme G

79

est suppos connexe et T(G, 1, y) et Pq (G, y) suivent la mme formule de rcursion et prennent la mme valeur sur C et L, on en dduit lgalit : T(G, 1, y) = Pq (G, y).

Ainsi le choix du sommet q est arbitraire ce qui ntait pas vident priori. De plus si on considre linterprtation du polynme de Tutte en termes dactivit, cela signie quil y a une bijection entre les congurations critiques et les bases dactivit extrieure i. Ltude des congurations critiques rvle dautres suprises. On peut par exemple munir lensemble des congurations rcurrentes dune structure de groupe ablien dont lordre correspond au nombre darbres couvrants de G. La loi de groupe est donne en faisant la somme des fonctions de conguration et en boulant la conguration + . On peut, de mme, munir lensemble des congurations critiques dune telle loi. Ces aspects sont dvelopps dans (Big99). En fait le modle du tas de sable est un modle plus gnral. De la mme manire que le chip-ring game, on considre un ensemble de sites pondrs par une fonction de hauteur. On a aussi une borne sur cette fonction de hauteur. Nanmoins la rorganisation du systme lorsquun site est prt suit la rgle : (v) = (v) ij , o (ij ) est une matrice coefcients entiers satisfaisant ii > 0, ij 0, si =

ij 0
j

et o si est appel la dissipation du site i. Un site i est dit non-dissipatif si si = 0. Une succession de rarrangements est appele un boulement. Ainsi on peut voir la hauteur dun site comme un nombre de grains de sable. Lorsque le nombre de grains sur un site est trop grand alors il se produit un boulement. Lorsque le systme est dans une conguration stable alors le nombre de grains de sable augmente. Le modle du chip-ring game se rduit ce modle en considrant un sommet associ chaque site. On dispose donc dun graphe N sommets. Le site 0 va correspondre au sommet spcial q du modle du chip-ring game. On construit les arcs du graphe en plaant |ij | lments parallles entre les sommets i et j (i, j = 0). On relie le sommet 0 au sommet i en utilisant | ij | arcs en parallle. On pose aussi ij = ji , cest--dire que
j =1 N

la matrice est symtrique. Le tir du sommet 0 correspond ajouter des grains de sable et nest utilis que dans le cas dune conguration stable. Nous avons vu que les squences critiques dans le chip-ring game taient nies et correspondaient une suite de tirs o chaque sommet tirait une 80

et une seule fois. Le problme avec le modle du tas de sable est que les squences peuvent tre innies. Ce problme peut tre rsolu en considrant que lajout de grain de sable au site i est gal la dissipation du site i.

2.7

Applications la thorie des codes

Nous allons voir une dernire application du polynme de Tutte la thorie des codes correcteurs. Les codes correcteurs sont utiliss en informatique pour dtecter et ventuellement corriger des erreurs dans une transmission dinformations.

2.7.1 Generalits
De manire trs gnrale, pour dnir un code correcteur, nous avons besoin de dnir un alphabet, cest dire un ensemble ni A, et dun entier n. Nous considrons alors les mots de taille n sur lalphabet A. tant donnes deux suites a = ( a1 , . . . , an ) et b = (b1 , . . . , bn ) nous pouvons dnir une notion de distance entre ces deux mots : d( a, b) = |{i : 1 i n, ai = bi }|. Cette distance est appele distance de Hamming entre a et b. Nous tudierons plus spciquement une catgorie bien particulire de codes correcteurs : les codes linaires. On se donne alors comme alphabet un corps F. Les mots sont alors des lments de Fn . On appelle code un ensemble de mots (cest dire un sous-ensemble de Fn ) contenant au moins deux mots.
Dnition 2.7.1

Un code est dit linaire sur le corps F si cest un sous-espace vectoriel de Fn . Ainsi, de manire compacte, nous pouvons considrer un code comme une matrice G en se xant une base. Cette matrice est dimension k n o k est la dimension du code et n la dimension de lespace vectoriel. Les lignes de la matrices forment donc une base du code : C = { x G | x Fk } . On appelle cette matrice matrice gnratrice du code. Une deuxime manire de dnir un code est de le faire via sa matrice de contrle H. Le code tant un sous-espace vectoriel de dimension k, il existe une application linaire surjective de F dans un espace de dimension n k ayant pour noyau le code :

C = { c Fn | c t H = 0 } .
On dnit maintenant le code dual : 81

Dnition 2.7.2

Soit C un code. On appelle code dual de C et on note C lensemble :

C = { x Fn | x c = 0 c C} .
Il est clair que ma matrice gnratrice de C correspond la matrice de contrle de C et vice versa.
Exemple : On considre le code linaire sur F3 2 (code binaire) donn par

la matrice sous forme standard : M= 1 0 1 0 1 1

Si lon veut transmettre un mot ( a, b), on calcule : ( a, b)M = ( a, b, a + b). Comme la matrice est sous forme standard, on remarque bien que les deux premires lettres sont le message et que la redondance est a + b. Les mots de ce code sont {(0, 0, 0), (0, 1, 1), (1, 0, 1), (1, 1, 0)}.
Dnition 2.7.3

Lorsque la matrice gnratrice dun code C Fk est de la forme Idk B o Idk est la matrice identit de taille k k et B une matrice de taille k (n k), on dit que la matrice gnratrice est sous forme standard. On peut toujours se ramener une matrice de ce type par opration sur les lignes et les colonnes quitte considrer un code monomialement quivalent. En effet les oprations sur les lignes ne changent pas le code mais celles sur les colonnes changent la structure du code mais pas ses caractristiques (dimension, polynme numrateur des poids, distance minimale, etc.) Cette forme est particulirement utile car les k premiers lments correspondent alors au message et les n k la partie redondante du message. Dans les preuves utilisant les matrices gnratrices, nous considrerons uniquement des matrices sous cette forme. On peut trouver une relation entre la matrice gnratrice du code C et la matrice gnratrice de son dual :
Proposition 2.7.1

Si la matrice gnratrice du code C est sous forme standard M = Idk B alors la matrice du code dual est de la forme : M =
Preuve.

t B . In k

Il est clair que M t M = 0 donc les colonnes de t M engendrent le noyau de lapplication linaire associ M. De plus comme G est de rang k et que t M est de rang n k alors les colonnes forment une base de ce noyau. Une grandeur importante est donne par la distance minimale : dm = inf d(u, v).
u,vC u =v

La distance minimale permet de caractriser les codes linaires : 82

Thorme 2.7.1

Un code linaire C de distance minimale dm peut : dtecter au plus dm 1 erreurs corriger au plus
d m 1 2

erreurs avec [ x ] la partie entire de x.

La gure 2.21 illustre ce thorme. Les points noirs sont des mots du code et les points de couleur des mots reus. La mtrique de cette gure est donne par la distance de Hamming. Lorsquun mot reu appartient lintrieur de la boule en pointills alors les erreurs peuvent tre corriges (points verts).Sils se trouvent lextrieur de la boule en pointills mais lintrieur de la boule en trait continu, ils sest produit moins de dm 1 erreurs. Ces erreurs sont dtectes mais ne peuvent tre corriges (points bleus) Sils se trouvent lextrieur de toutes les boucles, on ne peut ni dtecter ni corriger les erreurs (points rouges).

Fig. 2.21 Distance minimale et code correcteur Notation 2.7.1

On notera par C (n, k, dm ) le code linaire sur lespace Fn de taille k et de distance minimale dm . Lorsque F est ni alors on peut dnir deux polynmes :
Dnition 2.7.4

Soit C un code linaire sur un corps ni. On appelle polynme numrateur des poids le polynme de Z[z] dni par WC (z) =

cC

zwt(c) = ai zi
i =0

o ai est le nombre de mots du code C de poids i et wt(c) = d(c, 0) est appel le poids du mot et correpond au nombre de coordonnes non-nulles du vecteur c. Parfois on rencontrera le polynme sous une forme deux variables :
Dnition 2.7.5

Soit C un code linaire sur un corps ni. On appelle polynme numrateur des poids homogne le polynme de Z[ x, y] dni par WC ( x , y ) =

cC

x nwt(c) ywt(c) =

i =0

a i x n i y i
83

o ai est le nombre de mots du code C de poids i. En fait ces deux polynmes sont relis simplement par la relation : y WC ( x , y ) = x n WC ( ). x
Exemple : Le polynme numrateur des poids homogne de lexemple

donn dans le dbut du chapitre est : W( x , y ) = y2 + 3 x 2

2.7.2 Matrodes et codes correcteurs

Soit C un code linaire sur un corps F et M sa matrice gnratrice. On peut naturellement lui associer un matrode engendr par les lignes de la matrice M. On en dduit immdiatement la proposition suivante :
Proposition 2.7.2

Si le matrode M correspond un code C alors le matrode dual M correspond au matrode du code dual C .
Preuve.

Si la matrice gnratrice du code est de la forme Ik B o Ik est la matrice identit de taille k k alors le code dual est reprsent par t B la matrice gnratrice de mme que pour le matrode dual M . In k La proposition suivante relie le polynme numrateur des poids homogne au polynme de Tutte :

Proposition 2.7.3

Soit C un code sur un corps ni q lments o q est une puissance dun nombre premier et M le matrode linaire associ au code. Alors on a WC ( x, y) = yndim(C) ( x y)dim(C) T M, x + ( q 1) y x , xy y .

Pour pouvoir faire la preuve nous avons besoin de trouver des analogues aux boucles, co-boucles ainsi quaux oprations de contraction, suppression et de somme directe. On peut construire la somme directe de matrodes associs des congurations de vecteurs de la manire vue au chapitre prcdent. En particulier pour les codes linaires, soient C1 = (n1 , k1 , d1 ) et C2 = (n2 , k2 , d2 ) deux codes linaires. On peut dnir la somme directe de ces deux codes comme le code C = (n1 + n2 , k1 k2 , min(d1 , d2 ). Les mots de ces codes c1 peuvent scrire comme un vecteur o c1 est un vecteur corresponc2 dant un mot du code C1 et c2 un vecteur dun mot du code C2 . Il est facile de voir que les matrodes associs aux codes sont en somme directe si et seulement si les codes sont en somme directe dans le sens donn ci-dessus. 84

Une boucle du matrode est dcrite dans la matrice gnratrice dun code comme une coordonne valant 0 partout. En effet un tel lment nappartient bien aucune base du matrode. De mme une co-boucle est un lment appartenant toutes les bases. On peut se ramener, par opration sur les lignes, une matrice de la forme : 0 ... 0 1 0 ... 0 0 . . M . M
1 2

0 Il est clair quun tel lment appartient toutes les bases. Lopration de supression dun lment i dun matrode associ un code correspond supprimer toutes les coordonnes en i-me position dans ce code. Lopration de contraction consiste considrer le sous-code engendr par les lments dont la i-me coordonne est 0 et supprimer la i-me position de ce sous-code. Pour lopration de supression la preuve que M(C e) M(C ) e est immdiate. Pour lopration de contraction cela lest moins. On montre la proprit suivante :
Proposition 2.7.4

Si on note C /i lopration de contraction dans un code dcrite ci-dessus, alors

M ( C /i )
Preuve.

M ( C ) /i.

Soit M la matrice gnratrice de C . Si i est une boucle alors les oprations de suppression et de contraction sont les mmes et

M(C i )

M ( C /i )

M ( C ) /i.

Si i nest pas une boucle, par oprations sur les lignes, on peut supposer que la cordonne (1, i ) de la premire ligne et de la i-me colonne vaut 0. et que les k 1 lignes restantes forment une matrice gnratrice A du code C /i. Par suite le rang du matrode M(C /i ) peut scrire r (A i ) 1. Donc A i est un indpendant de M(C ) si et seulement si cest un indpendant de M(C /i ). Par suite M ( C /i ) M ( C ) /i.

On peut maintenant donner la preuve de la proposition prcdente :

Preuve.

Par dnition, on a :
n1 + n2

WC1 C2 ( x, y) =

i =0

a i x n1 + n2 i y i .

Or, au vu de la construction de la somme directe de deux codes, si on considre les mots de C = C1 C2 de poids i (cest--dire ceux dont le nombre de coordonnes diffrentes de 0 vaut i) alors ils peuvent tre obtenu grce un mot de C1 de poids j et un mot C2 de poids k tels que 85

j + k = i. On note alors a j (resp. ak ) le nombre de mots de poids j (resp. k) du code C1 (resp. C2 ). On a :

n1 + n2

WC1 C2 ( x, y) =

i =0 n1 + n2

a i x n1 + n2 i y i

= =

i =0 n1

j + k =i
1

a j ak

x n1 + n2 j k y j + k

j =0

a j xn j y j

k =0

ak x n k yk
2

n2

= WC1 ( x , y ) WC2 ( x , y )
On montre maintenant que le polynme numrateur des poids est un invariant pour la dcomposition de Tutte. Soit e un lment qui ne soit ni une boucle ni un isthme. On partitionne le polynme WC ( x, y) en considrant W1 ( x, y) (resp. W2 ( x, y)) la somme des termes de WC ( x, y) correspondant aux mots tel que la e coordonne vaille 0 (resp. = 0). Par construction, on W ( x ,y ) W ( x ,y ) a WC ( x, y) = W1 ( x, y) + W2 ( x, y). De plus WCe ( x, y) = 1 x + 2 y et WC /e ( x, y) = On en dduit WC ( x, y) = W1 ( x, y) + W2 ( x, y)
W1 ( x,y) . x

= xWC /e ( x, y) + yWCe ( x, y) y

W1 ( x, y) x = xWC /e ( x, y) + yWCe ( x, y) yWC /e ( x, y)

= yWCe ( x, y) + ( x y)WC /e ( x, y)
On a donc un invariant de Tutte-Grothendieck. De plus si lon considre le code L constitu dune seule boucle, ce code est de dimension 1 et sa matrice gnratrice na que des zros. Le code est alors constitu dun unique mot de poids 0. On en dduit WL ( x, y) = X. De mme si lon considre le code L constitu dun seul isthme, ce code est de dimension 1 et sa matrice gnratrice comporte une seule ligne constitue de zros sauf la i-me position o cest un 1. Ce code contient p 1 lments de poids 1 et un lment de poids 0 donc WC ( x, y) = X + (q 1)Y. Comme dim(C ) = r (M), on a WC ( x, y) = yndim(C ) ( x y)dim(C ) T M, x + ( q 1) y x , xy y .

86

On remarque aussi quen posant X =

x +(q1)y x y

x et Y = y , alors

(X 1)(Y 1) = q.
Ainsi lvaluation du polynme enumrateur des poids correspond valuer le polynme de Tutte sur lhyperbole H p o q est une puissance dun nombre premier. Nous avons dj rencontr cette hyperbole en physique statistique avec le modle de Potts et dans les graphes avec le polynme monochromatique. Ce rsultat permet de donner une dmonstration combinatoire du thorme de MacWilliams. Ce thorme relie le polynme numrateur des poids dun code avec celui de son dual :
Thorme 2.7.2

Soit C un code sur un Fq -espace vectoriel de dimension n alors WC ( x , y ) =

Preuve.

1 W ( x + ( p 1) y, x y ). |C| C

Le code dual a pour dimension n dim(C ) et son matrode associ correspond M . On a x x + ( p 1) y WC ( x, y) = ydim(C ) ( x y)ndim(C ) T M, , y xy .

Dun autre cot 1 W ( x + ( p 1) y, x y ) = |C| C px x + ( p 1)y 1 = dim(C ) ( x y)ndim(C ) ( py)dim(C ) T M, , py xy p x x + ( p 1) y = ydim(C ) ( x y)ndim(C ) T M, , y xy On en dduit donc lgalit. Nous donnons maintenant une autre manire de dmontrer le rsultat sur le polynme de Tutte, sans utiliser les invariants de Tutte-Grothendieck. La mthode t developpe dans (Ard07) et pour un cas plus gnral dans (MB05). Soit C Fn q un code linaire. On peut voir les colonnes de la matrice gnratrice comme un arrangement de n hyperplans dans Fn q dont les vecteurs normaux sont donns par les colonnes de la matrice gnratrice. On note H1 , . . . , Hn ces hyperplans de vecteurs normaux v1 , . . . , vn . Cet arrangement dhyperplan est central. On remarque que si un mot c de C a sa i-me coordonne nulle alors c vi = 0 donc c Hi . Donc pour chaque coordonne nulle, un mot du code appartient un hyperplan. On en dduit une bijection entre Fn q et C donne par la fonction : : Fn q C

( p1 , . . . , p n ) p1 v1 + . . . + p n v n
87

La gure 2.22 montre la conguration dhyperplans de lexemple du dbut. Les hyperplans sont dnis par les quations x = 0, y = 0 et x + y = 0.
Exemple : v2 v3

0
(a) Vecteurs normaux

v1
(b) Arrangement plans dhyper-

Fig. 2.22 Arrangement dhyperplan associ un code

On peut ensuite rexprimer le poids dun mot en fonction du nombre h(c) dhyperplans auquel il appartient et on en dduit : wt(c) = nombre de coordonnes non nulles de c = n h(c). On en dduit : WC ( x , y ) =
cC

xnwt(c) ywt(c)
x h(c) ynh(c) x y
h(c)

c Fn q

= yn

c Fn q

On peut maintenant utiliser la mthode du corps ni pour calculer cette fonction. La mthode du corps ni a t dveloppe pour calculer le polynme du cobord (coboundary polynomial) et le polynme caractristique dun arrangement dhyperplans de Rn . A tout arrangement dhyperplans A de Rn , on peut lui associer un arrangement Aq de Fn q en considrant larrangement induit par les quations rduites dans Fq des quations dnissant A dans Rn . On a ensuite le thorme suivant :
Thorme 2.7.3

Soit A un arrangement dhyperplans dans Rn . Soit q une puissance dun nombre premier assez grande pour que A Aq o Aq est larrangement induit dans Fn q. Alors A ( q, t ) = t h ( p ) ,
p Fn q

o h( p) correspond au nombre dhyperplans de Aq contenant p.

88

Ce thorme est dmontr dans (Ard07). A (q, t) est le polynme du cobord dni pour un arrangement A par A ( q, t ) =
BA central

qr(A)r(B ) (t 1)|B| ,

o r est la fonction de rang de larrangement. Dans notre cas comme larrangement est central, on vrie sans effort que lon peut exprimer le polynome du cobord dun arrangement central en terme de polynme de Tutte du matrode associ cet arrangement : A ( q, t ) = ( t 1)r ( M A )T M A , et T( M A , x , y ) = On en dduit nalement : yn q+t1 ,t t1

1 (( x 1)(y 1), y). ( y 1)r ( M A ) A

c Fn q

x y

h(c)

x = y n A ( q, ) y

=y

q + x /y 1 x , x /y 1 y x + ( q 1) y x = y n r ( M ) ( x y )r ( M ) T M, , xy y
n

x 1 y

r (M)

T M,

Ce qui est le rsultat attendu. Nous pouvons aussi interprter ce rsultat dans le contexte des matrodes graphique. On se place sur le corps F2 . Alors on peut interprter les colonnes de la matrice gnratrice comme des arcs dans un graphe. Le graphe associ la matrice de notre exemple est donn par la gure suivante o les arcs 1, 2 et 3 correspondent aux colonnes 1 1 0 respectives de la matrice , et . 0 1 1
Exemple : 3 2

Cette interprtation permet de faire le lien avec la fonction de partition du modle de Potts et avec le polynme monochromatique sur les hyperboles Hq .

89

Conclusion

Nous avons tudi des domaines dapplications assez varis du polynme de Tutte. Par ce fait nous avons aperu que la structure de matrode pouvait tre prsente (de manire sous-jacente) dans des structures et des domaines trs diffrents. Certaines applications nont pas t incluses dans ce mmoire, par faute de temps pour les tudier ou les rdiger. Il en est par exemple dune gnralisation du modle de Potts dans le cas ferromagntique : le modle des amas alatoire (random cluster model) dont ltude mne la thorie de la percolation en physique. Ou encore le nombre de pavage dun rectangle par des tetromino et la couverture dun graphe par des griffes (claw covering) qui savre tre une valuation du polynme de Tutte au point (3, 3). Cela peut ensuite se gnraliser aux graphes rubans (ribbon graph) via le polynme de Bollobs-Riordan qui gnralise le polynme de Tutte dans ces graphes. En thorie des codes, ltude des codes Z4 -linaires peut se faire via la notion de paire de matrodes. Le polynme de Rutherford est une extension trois variables du polynme de Tutte adapt ltude de ces structures. Enn nous navons pas inclus ltude des matrodes orients et les applications du polynme de Tutte dans ce cadre (rgions dun arrangement dhyperplans, etc.), ce qui aurait demand tout un chapitre supplmentaire.

91

Bibliographie

[AB91] P.W. Shor A. Bjrner, L. Lovsz. Chip-ring games on graphs. Ann. Discrete Math., 12 :283291, 1991. [AdM04] M. Noy A. de Mier. On graphs determined by their tutte polynomials. Graphs and Combinatorics, 20 :105119, 2004. [Ard07] F. Ardila. Computing the tutte polynomial of a hyperplane arrangement. Pacic Journal of Mathematics, 230 :126, 2007. [Big99] N.L. Biggs. Chip ring and the critical group of a graph. Journal of Algebraic Combinatorics, 9 :2545, 1999. [bNW] Edited by N. White. Matroids applications. Encyclopedia of Mathematics and its Applications. [Bry72a] T.H. Brylawsky. A decomposition for combinatorial geometries. Transactions of the American Mathematical Society, 171 :235282, 1972. [Bry72b] T.H. Brylawsky. The tutte-grothendieck ring. Algebra Universalis, 2 :375388, 1972. [Cam] P.J. Cameron. Polynomial aspects of codes, matroids and permutation groups. [Cam06] P.J. Cameron. Finite geometry and permutation groups : some polynomial links. Rendiconti di Mathematica, 26 :339350, 2006. [CE99] M.J. Falk C. Eschenbrenner. Orlik-solomon algebras and tutte polynomial. Journal of Algebraic Combinatorics, 10 :189199, 1999. [C.G] G. Royle C.Godsil. Algebraic graph theory. Springer. [Cha92] C.S. Chan. On shelling and subdivision of convex polytopes. PhD thesis, MIT, 1992. [Cra69] H.H. Crapo. The tutte polynomial. 1969. [DW00] C. Merino D.J.A. Welsh. The potts model and the tutte polynomial. Journal of mathematical physics, 41(3), 2000. [FB09] R. Sanyal F. Breuer. Ehrhart theory, modular ow reciprocity, and the tutte polynomial. arXiv :math/0907.0845v1, 2009. [Jae88] F. Jaeger. Tutte polynomials and link polynomials. Proceedings of the American Mathematical Society, 103(2) :647654, 1988. 93

[JEM08] C. Merino J.A. Ellis-Monaghan. Graph polynomials and their applications i : The tutte polynomial. arXiv :math/0803.3079v2, 2008. [Kun08] J.P.S. Kung. Coboundaries, ows, and tutte polynomial of matrices. Annals of Combinatorics, 12 :183194, 2008. [Mas01] G. Masbaum. Matrix-tree theorems and the alexander-conway polynomial. Geometry & Topology Monographs, 4 :201214, 2001. [MB05] V. Reiner M. Barany. The tutte polynomial of a nite projective space. 2005. [Mer97] C. Merino. Chip ring and tutte polynomial. Annals of Combinatorics, 3 :253259, 1997. [Mer01] C. Merino. The chip ring game and matroid complexes. Discrete Mathematics and Theoretical Computer Science Proceedings, pages 245256, 2001. [Oxl] J. Oxley. Matroids theory. Oxford. [PR78] R.C. Read P. Rosenstiehl. On the principal edge tripartition of a graph. Ann. Discrete Math., 3 :195226, 1978. [Rei99] V. Reiner. An interpretation for the tutte polynomial. European Journal of Combinatorics, 20 :149161, 1999. [She74] G.C. Shephard. Combinatorial properties of associated zonotopes. Can. J. Math., XXVI(2) :302321, 1974. [Sta80] R.P. Stanley. Decomposition of rational convex polytope. Annals of Discrete Mathematics, 6 :333342, 1980. [Sta91] R.P. Stanley. A zonotope associated with graphical degree sequences. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 4 :555570, 1991. [Sta06] R.P. Stanley. Acyclic orientations of graphs. Discrete Mathematics, 306 :905909, 2006. [Thi87] M.B. Thistlethwaite. A spanning tree expansion of thr jones polynomial. Topology, 26(3) :297309, 1987. [Wel] D.J.A. Welsh. Complexity : Knots, Colourings and Counting. Cambridge University Press. [Wel94] D.J.A. Welsh. The computational complexity of knot and matroid polynomials. Discrete Mathematics, 124 :251269, 1994.

Ce document a t prpar laide des diteurs de texte libre Vim et Medit et AT X 2 sous Frugalware Linux. Les du logiciel de composition typographique L E graphiques ont t produit grce Metapost et Gimp. Le texte est distribu sous licence Creative Common by-nc-sa. Certaines images sont sous leurs licence dorigine (Creative Common by-sa) et restent la proprit de leurs auteurs respectifs (voir les sources pour plus de dtails).

94