12.08.2013 Views

TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...

TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...

TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

26 Chap. 1 – Part. 1.3<br />

Pour définir <strong>de</strong>n u, nous avons non seu<strong>le</strong>ment besoin <strong>de</strong> “inv” qui<br />

désigne <strong>le</strong> nombre d’inversions ordinaires, mais aussi <strong>le</strong> nombre d’inversions<br />

faib<strong>le</strong>s<br />

imv u = #{i < j | ui ≥ uj}.<br />

Comme <strong>pour</strong> <strong>le</strong>s permutations ordinaires, on dit que <strong>pour</strong> <strong>le</strong> mot u =<br />

u1u2 . . . un, l’entier i est une place d’excédance, ou <strong>de</strong> non-escédance, si<br />

l’on a ui > ai, ou si l’on a ui ≤ ai. Comme dans la définition 1.1(iv), on<br />

peut former <strong>le</strong>s <strong>de</strong>ux sous-mots Exc u et Nexc u.<br />

DÉFINITION 1.3. — Pour un mot u, on pose<br />

<strong>de</strong>n u = <br />

{i | ui > ai} + imv Exc u + inv Nexc u.<br />

i<br />

On notera que dans cette définition on prend <strong>le</strong>s inversions faib<strong>le</strong>s <strong>pour</strong><br />

<strong>le</strong> sous-mot <strong>de</strong>s places d’excédances et <strong>le</strong>s inversions ordinaires <strong>pour</strong> <strong>le</strong><br />

sous-mot <strong>de</strong>s places <strong>de</strong> non-excédances.<br />

Par exemp<strong>le</strong>, <strong>pour</strong> <strong>le</strong> mot<br />

<br />

a<br />

<br />

=<br />

u<br />

1 1 1 2 3 3 3 3 3 4 5 5 5 5<br />

3 5 3 3 4 5 1 3 5 1 2 5 3 1<br />

on a exc u = 7, puis Exc u = 3533455 et Nexc u = 1312531. D’où<br />

<strong>de</strong>n u = (1 + 2 + 3 + 4 + 5 + 6 + 9) + imv(3533455) + inv(1312531)<br />

= 30 + 9 + 7 = 46.<br />

Le résultat essentiel <strong>de</strong> ce mémoire est <strong>de</strong> donner la construction <strong>de</strong><br />

cette troisième transformation fondamenta<strong>le</strong>, c’est-à-dire, la construction<br />

d’une bijection u ↦→ u <strong>de</strong> R(a) sur lui-même satisfaisant<br />

<strong>de</strong>s u = exc u ; maj u = <strong>de</strong>n u.<br />

La construction d’une transformation ayant ces propriétés entraîne <strong>le</strong><br />

théorème suivant.<br />

THÉORÈME 1.4. — Pour tout mot u, <strong>le</strong>s <strong>de</strong>ux paires <strong>de</strong> statistiques<br />

(<strong>de</strong>s, maj) et (exc, <strong>de</strong>n) sont équidistribuées sur R(u).<br />

Pour la construction <strong>de</strong> la troisième fondamenta<strong>le</strong>, nous avons repris<br />

<strong>le</strong>s techniques <strong>de</strong> décomposition <strong>de</strong>s bimots en cyc<strong>le</strong>s (voir [Fo1]). Il faut<br />

alors recourir à <strong>de</strong>s transpositions <strong>de</strong> bi<strong>le</strong>ttres successives, dont la règ<strong>le</strong> <strong>de</strong><br />

commutation est plus comp<strong>le</strong>xe que dans <strong>le</strong> cas <strong>de</strong> la construction <strong>de</strong> la<br />

première transformation fondamenta<strong>le</strong>. Nous terminons cette partie par<br />

une présentation <strong>de</strong> plusieurs tab<strong>le</strong>aux annexes.<br />

<br />

,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!