# Une conjecture en théorie des partitions

## 1 Introduction

Nous revenons dans cette Note sur une conjecture que nous avons été conduit à formuler dans un précédent article . Cette conjecture s’exprime dans le cadre de la théorie classique des partitions. Il est remarquable que sa formulation ne nécessite que des notions extrêmement élémentaires. Nous la présentons ici sous sa forme la plus naturelle, et nous explicitons plusieurs de ses conséquences.

## 2 Notations

Une partition $`\lambda `$ est une suite décroissante finie d’entiers positifs. On dit que le nombre $`n`$ d’entiers non nuls est la longueur de $`\lambda `$. On note $`\lambda =(\lambda _1,\mathrm{},\lambda _n)`$ et $`n=l(\lambda )`$. On dit que $`\left|\lambda \right|=\underset{i=1}{\overset{n}{}}\lambda _i`$ est le poids de $`\lambda `$, et pour tout entier $`i1`$ que $`m_i(\lambda )=card\{j:\lambda _j=i\}`$ est la multiplicité de $`i`$ dans $`\lambda `$. On identifie $`\lambda `$ à son diagramme de Ferrers $`\{(i,j):1il(\lambda ),1j\lambda _i\}`$. On pose

$$z_\lambda =\underset{i1}{}i^{m_i(\lambda )}m_i(\lambda )!.$$

Nous avons introduit dans  la généralisation suivante du coefficient binomial classique. Soient $`\lambda `$ une partition et $`r`$ un entier $`0`$. On note $`\genfrac{}{}{0.0pt}{}{\lambda }{r}`$ le nombre de façons dont on peut choisir r points dans le diagramme de $`\lambda `$ de telle sorte que au moins un point soit choisi sur chaque ligne de $`\lambda `$.

Soient $`X`$ une indéterminée et $`n`$ un entier $`1`$. On note désormais

$$(X)_n=X(X+1)\mathrm{}(X+n1)$$

$$[X]_n=X(X1)\mathrm{}(Xn+1).$$

les coefficients hypergéométriques ”ascendant” et ”descendant” classiques. On pose

$$\left(\genfrac{}{}{0pt}{}{X}{n}\right)=\frac{[X]_n}{n!}.$$

## 3 Notre conjecture

Il s’agit d’une généralisation de la propriété classique suivante, qui est par exemple démontrée au Chapitre 1, Section 2, Exemple 1 du livre de Macdonald . Soit $`X`$ une indéterminée. Pour tout entier $`n1`$ on a

$$\underset{\left|\mu \right|=n}{}(1)^{nl(\mu )}\frac{X^{l(\mu )}}{z_\mu }=\left(\genfrac{}{}{0pt}{}{X}{n}\right),$$

$$\underset{\left|\mu \right|=n}{}\frac{X^{l(\mu )}}{z_\mu }=\left(\genfrac{}{}{0pt}{}{X+n1}{n}\right).$$

Ces deux relations sont équivalentes en changeant $`X`$ en $`X`$.

Dans  nous avons formulé la conjecture suivante qui généralise ce résultat. Soit $`X`$ une indéterminée. Pour tous entiers $`n,r,s1`$ nous avons conjecturé l’identité

$$\begin{array}{c}\underset{\left|\mu \right|=n}{}(1)^{rl(\mu )}\frac{\genfrac{}{}{0.0pt}{}{\mu }{r}}{z_\mu }X^{l(\mu )1}\left(\underset{i=1}{\overset{l(\mu )}{}}(\mu _i)_s\right)\hfill \\ \hfill =(s1)!\left(\genfrac{}{}{0pt}{}{n+s1}{nr}\right)\underset{k=1}{\overset{\mathrm{min}(r,s)}{}}\left(\genfrac{}{}{0pt}{}{Xs}{rk}\right)\left(\genfrac{}{}{0pt}{}{s}{k}\right).\end{array}$$

Mais il est bien connu ( , p.13) que la suite de polynômes $`\{[X]_n,n0\}`$ est du type binomial , c’est-à-dire qu’elle satisfait l’identité

$$[X+Y]_n=\underset{k0}{}\left(\genfrac{}{}{0pt}{}{n}{k}\right)[X]_{nk}[Y]_k.$$

Nous sommes ainsi conduits à présenter notre conjecture sous la forme suivante qui est beaucoup plus naturelle.

###### Conjecture 1

Soit $`X`$ une indéterminée. Pour tous entiers $`n,r,s1`$ on a

$$\begin{array}{c}\underset{\left|\mu \right|=n}{}(1)^{rl(\mu )}\frac{\genfrac{}{}{0.0pt}{}{\mu }{r}}{z_\mu }X^{l(\mu )1}\left(\underset{i=1}{\overset{l(\mu )}{}}(\mu _i)_s\right)\hfill \\ \hfill =(s1)!\left(\genfrac{}{}{0pt}{}{n+s1}{nr}\right)\left[\left(\genfrac{}{}{0pt}{}{X}{r}\right)\left(\genfrac{}{}{0pt}{}{Xs}{r}\right)\right].\end{array}$$

Ou de manière équivalente

$$\begin{array}{c}\underset{\left|\mu \right|=n}{}\frac{\genfrac{}{}{0.0pt}{}{\mu }{r}}{z_\mu }X^{l(\mu )1}\left(\underset{i=1}{\overset{l(\mu )}{}}(\mu _i)_s\right)\hfill \\ \hfill =(s1)!\left(\genfrac{}{}{0pt}{}{n+s1}{nr}\right)\left[\left(\genfrac{}{}{0pt}{}{X+r+s1}{r}\right)\left(\genfrac{}{}{0pt}{}{X+r1}{r}\right)\right].\end{array}$$

L’équivalence est obtenue en changeant $`X`$ en $`X`$. Comme on a

$$\genfrac{}{}{0.0pt}{}{\mu }{r}=0\text{si }r>\left|\mu \right|,$$

la Conjecture 1 est triviale pour $`r>n`$. Comme on a

$$\genfrac{}{}{0.0pt}{}{\mu }{r}=0\text{si }r<l(\mu ),$$

la sommation au membre de gauche de la Conjecture 1 est limitée aux partitions $`\mu `$ telles que $`l(\mu )r`$. Chacun des membres est ainsi un polynôme en $`X`$ de degré $`r1`$.

Comme on a

$$\genfrac{}{}{0.0pt}{}{\mu }{\left|\mu \right|}=1,$$

la Conjecture 1 prend la forme suivante pour $`r=n`$.

###### Conjecture 2

Soit $`X`$ une indéterminée. Pour tous entiers $`n,s1`$ on a

$$\underset{\left|\mu \right|=n}{}(1)^{nl(\mu )}\frac{X^{l(\mu )1}}{z_\mu }\left(\underset{i=1}{\overset{l(\mu )}{}}(\mu _i)_s\right)=(s1)!\left[\left(\genfrac{}{}{0pt}{}{X}{n}\right)\left(\genfrac{}{}{0pt}{}{Xs}{n}\right)\right].$$

Ou de manière équivalente

$$\underset{\left|\mu \right|=n}{}\frac{X^{l(\mu )1}}{z_\mu }\left(\underset{i=1}{\overset{l(\mu )}{}}(\mu _i)_s\right)=(s1)!\left[\left(\genfrac{}{}{0pt}{}{X+n+s1}{n}\right)\left(\genfrac{}{}{0pt}{}{X+n1}{n}\right)\right].$$

La Conjecture 2 est vérifiée pour $`s=1`$ car on retrouve dans ce cas la propriété classique énoncée au commencement de cette section.

## 4 Commentaires

Nous avons vérifié la Conjecture 1 dans les cas particuliers suivants:

* pour $`n7`$ avec $`r`$ et $`s`$ arbitraires (au moyen d’un calcul explicite),
* pour $`s=1`$ avec $`n`$ et $`r`$ arbitraires (c’est le théorème 1 de ),
* pour $`r=1,2,3`$ avec $`n`$ et $`s`$ arbitraires (voir ci-dessous).

En général la Conjecture 1 se décompose en $`r1`$ conjectures obtenues en identifiant les coefficients de $`X^k(0kr1)`$ dans chaque membre.

Pour $`k=0`$ la sommation au membre de gauche est limitée à la partition $`(n)`$ de longueur $`1`$. En identifiant les termes constants dans chaque membre, on obtient

$$(1)^r\frac{\left(\genfrac{}{}{0pt}{}{n}{r}\right)}{n}(n)_s=(s1)!\left(\genfrac{}{}{0pt}{}{n+s1}{nr}\right)\left(\genfrac{}{}{0pt}{}{s}{r}\right).$$

Cette identité est très facilement vérifiée.

D’autre part on a le développement

$$\left[\left(\genfrac{}{}{0pt}{}{X}{r}\right)\left(\genfrac{}{}{0pt}{}{Xs}{r}\right)\right]=\frac{1}{r!}\left(rsX^{r1}\frac{r(r1)}{2}s(r+s1)X^{r2}+\text{etc…}\right).$$

Le coefficient de $`X^{r1}`$ au membre de gauche de la Conjecture 1 correspond à la sommation sur les partitions $`\mu `$ de longueur $`r`$. Comme on a

$$\genfrac{}{}{0.0pt}{}{\mu }{l(\mu )}=\underset{i=1}{\overset{l(\mu )}{}}\mu _i=\underset{i1}{}i^{m_i(\mu )},$$

en identifiant les coefficients de $`X^{r1}`$ dans chaque membre, on obtient la

###### Conjecture 3

Pour tous entiers $`n,r,s1`$ on a

$$(r1)!\underset{\begin{array}{c}\left|\mu \right|=n\hfill \\ l(\mu )=r\hfill \end{array}}{}\frac{{\displaystyle \underset{i1}{}}m_i(\mu )(i)_s}{{\displaystyle \underset{i1}{}}m_i(\mu )!}=s!\left(\genfrac{}{}{0pt}{}{n+s1}{nr}\right).$$

Le coefficient de $`X^{r2}`$ au membre de gauche de la Conjecture 1 correspond à la sommation sur les partitions $`\mu `$ de longueur $`r1`$. On voit facilement qu’on a

$$\genfrac{}{}{0.0pt}{}{\mu }{l(\mu )+1}=\frac{1}{2}\left(\left|\mu \right|l(\mu )\right)\underset{i=1}{\overset{l(\mu )}{}}\mu _i.$$

En identifiant les coefficients de $`X^{r2}`$ dans chaque membre, on retrouve la même Conjecture 3, mais écrite en remplacant $`r`$ par $`r1`$.

La Conjecture 3 est vérifiée pour $`s=0`$ et $`s=1`$, avec $`n`$ et $`r`$ arbitraires (voir , page 462). Pour $`s=0`$ (resp $`s=1`$) le membre de gauche est égal au nombre de compositions (c’est-à-dire de multi-entiers) de poids $`n`$ et de longueur $`r`$ (resp. ce nombre multiplié par $`n/r`$).

La Conjecture 3 est également vérifiée pour $`r=1`$ et $`r=2`$, avec $`n`$ et $`s`$ arbitraires. Pour $`r=1`$ elle devient l’identité

$$(n)_s=s!\left(\genfrac{}{}{0pt}{}{n+s1}{s}\right).$$

Pour $`r=2`$ elle s’écrit

$$\underset{i=1}{\overset{n1}{}}(i)_s=s!\left(\genfrac{}{}{0pt}{}{n+s1}{n2}\right).$$

Cette identité est vérifiée car elle est équivalente à la propriété classique suivante

$$\left(\genfrac{}{}{0pt}{}{N}{k}\right)=\underset{i=1}{\overset{N1}{}}\left(\genfrac{}{}{0pt}{}{i}{k1}\right).$$

Nous généralisons ce résultat au moyen de la conjecture suivante.

###### Conjecture 4

Pour tous entiers $`n,r,s1`$ on a.

$$(r1)!\underset{\begin{array}{c}\left|\mu \right|=n\hfill \\ l(\mu )=r\hfill \end{array}}{}\frac{{\displaystyle \underset{i1}{}}m_i(\mu )(i)_s}{{\displaystyle \underset{i1}{}}m_i(\mu )!}=\underset{i=1}{\overset{nr+1}{}}\left(\genfrac{}{}{0pt}{}{ni1}{r2}\right)(i)_s.$$

La Conjecture 4 permet de démontrer facilement la Conjecture 3 au moyen d’une récurrence sur l’entier $`r`$. Nous l’avons vérifiée explicitement pour $`rn7`$ avec $`n`$ et $`s`$ arbitraires.