On a nonnegativity conjecture of Andrews

Résumé Technique : Sur une conjecture de non-négativité d'Andrews

Énoncé du Problème
Cet article traite d'une conjecture proposée par George Andrews concernant la non-négativité des coefficients de polynômes spécifiques dérivés de la théorie Alladi-Schur des partitions d'entiers. Le contexte est le raffinement du théorème d'Alladi-Schur, qui équivaut au nombre de partitions de $n$ en $m$ parties impaires (chaque partie apparaissant au plus deux fois) avec le nombre de partitions de Schur de $n$ (parties différant d'au moins 3, sans multiples consécutifs de 3).

Andrews a introduit une famille de polynômes $d_N(x)$ générant ces partitions. Il a établi des relations de factorisation montrant que $d_N(x)$ est divisible par un polynôme spécifique $p_k(x) = \prod_{i=1}^k (1 + xq^{2i-1} + x^2q^{4i-2})$. Plus précisément, pour les indices de la forme $6n-1$, le quotient est donné par :
$$\frac{d_{6n-1}(x)}{p_n(x)} = \sum_{i=0}^n c(n, i)x^i$$
Andrews a conjecturé que pour tout $n$ et $j$, les coefficients $c(n, j)$ sont des polynômes en $q$ ayant des coefficients entiers non négatifs. Bien qu'Andrews ait prouvé la factorisation, la non-négativité des coefficients du quotient résultant est restée non prouvée.

Méthodologie
L'auteur, Yazan Alamoudi, résout la conjecture en définissant une famille généralisée de polynômes quotients $\mathcal{d}_n(x)$ qui englobe le cas spécifique de $c(n, j)$. La définition est :
$$\mathcal{d}_n(x) = \frac{d_n(x)}{p_{\lceil \frac{n+3\chi_o(n)}{6} \rceil - \chi_o(n)}(x)}$$
où $\chi_o(n)$ est la fonction indicatrice des entiers impairs.

La stratégie de preuve emploie une induction forte sur $n$, s'appuyant sur des relations récurrentes dérivées des propriétés des ensembles de partitions sous-jacents. La méthodologie implique :

1. Établissement de relations récurrentes : L'article dérive des relations de récurrence spécifiques pour $\mathcal{d}_n(x)$ basées sur l'indice $n$ modulo 6. Ces relations connectent $\mathcal{d}_n(x)$ à $\mathcal{d}_{n-k}(x)$ (avec des arguments décalés en $q$) et impliquent le polynôme $\lambda(x) = 1 + xq + x^2q^2$.
   • Pour les indices pairs : $\mathcal{d}_{2N}(x) = \mathcal{d}_{2N-3}(xq^2)$.
   • Pour les indices impairs non divisibles par 3 : $\mathcal{d}_{2N-1}(x) = \mathcal{d}_{2N-2}(x) + xq^{2N-1}\mathcal{d}_{2N-4}(x)$.
   • Pour les indices impairs divisibles par 3 : Une relation plus complexe impliquant $\lambda_{N+1}(x)$ est établie.
2. Vérification inductive : En vérifiant les cas de base ($n=1$ à $6$) et en démontrant que les étapes récursives préservent la propriété d'avoir des coefficients entiers non négatifs, l'auteur prouve l'affirmation générale.
3. Extension aux coefficients : L'article analyse ensuite les coefficients $\mathcal{c}(n, i)$ de $\mathcal{d}_n(x)$ pour dériver des formules explicites reliant les coefficients originaux d'Andrews $c(n, i)$.

Contributions Clés et Résultats

1. Résolution de la Conjecture d'Andrews : Le résultat principal est le Théorème 1, qui stipule que pour $n \ge 1$, $\mathcal{d}_n(x)$ est un polynôme en $x$ et $q$ avec des coefficients entiers non négatifs. Cela confirme immédiatement la conjecture d'Andrews selon laquelle $c(n, j)$ possède des coefficients non négatifs.
2. Structure Récursive Généralisée : L'article fournit un ensemble complet de relations récursives pour les polynômes quotients $\mathcal{d}_n(x)$, analogues aux relations d'Andrews pour $d_n(x)$ mais adaptées à la structure du quotient.
3. Formules Explicites pour les Coefficients : Le Théorème 3 fournit des formules explicites exprimant les coefficients $\mathcal{c}(n, i)$ des polynômes quotients en termes des coefficients d'Andrews $c(n', i')$. Ces formules permettent de calculer $\mathcal{c}(n, i)$ en tant que polynômes en $q$.
4. Inégalités Renforcées : L'article dérive des inégalités pour $c(n, j)$ qui sont plus fortes que la simple assertion de non-négativité. Le Corollaire (3.11) établit une borne inférieure :
   $$c(n, j) \ge q^{6n-1}c(n-1, j-1)q^{2(j-1)}$$
   Le Corollaire (3.12) fournit une borne inférieure plus complexe impliquant un terme de série géométrique, et le Corollaire (3.13) établit une propriété de divisibilité : $q^{(2n+1)j} \mid c(n, j)$.

Signification
L'article affirme que sa résolution de la conjecture est obtenue par une approche similaire aux preuves de factorisation originales d'Andrews mais formulée à partir d'une « nouvelle perspective » qui permet de résoudre la question de la non-négativité. La signification réside dans :

• Compléter le Tableau Théorique : Il tranche une conjecture qui était restée ouverte, fournissant une preuve rigoureuse de la non-négativité des coefficients dans les fonctions génératrices raffinées d'Alladi-Schur.
• Résultats Plus Forts : L'auteur note que le Théorème 1 est plus fort que la conjecture originale car il prouve la non-négativité pour toute la famille de polynômes quotients $\mathcal{d}_n(x)$, et non seulement pour le cas spécifique de $d_{6n-1}(x)$.
• Aperçu Structurel : Les relations récursives dérivées et les formules explicites des coefficients offrent un aperçu structurel plus profond de la relation entre les polynômes d'Alladi-Schur et leurs factorisations, ce qui pourrait aider de futures recherches sur les identités de partitions.

L'article conclut en reconnaissant que les structures récursives trouvées pour $\mathcal{d}_n(x)$ reflètent celles trouvées dans une preuve bijective par l'auteur dans un travail distinct [1], suggérant une structure combinatoire sous-jacente cohérente pour ces familles de partitions.