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 ...
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 />
,