Overpartitions with repeated smallest non-overlined part

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des partitions et des séries $q$. Il vise à étendre les travaux récents d'Andrews et Bachraoui [2] concernant les partitions entières classiques.

• Travail antérieur : Andrews et Bachraoui ont étudié les partitions d'un entier $n$ où la plus petite partie est répétée exactement $k$ fois, tandis que les autres parties sont distinctes. Ils ont démontré que les fonctions génératrices de ces objets peuvent s'exprimer comme des combinaisons linéaires de symboles de Pochhammer $q$ avec des coefficients polynomiaux en $q$.
• Objectif de l'article : Les auteurs généralisent ce concept aux surpartitions (overpartitions). Une surpartition est une partition où la première occurrence d'un nombre peut être surlinéée (marquée d'une barre).
• Définitions clés :
  • Soit $spt_k(n)$ le nombre de surpartitions de $n$ où la plus petite partie non surlinéée (notée $s(\pi)$) apparaît exactement $k$ fois, et où toutes les parties surlinéées sont strictement supérieures à $s(\pi)$.
  • Une variante $spt_k^o(n)$ impose une contrainte supplémentaire : toutes les parties autres que $s(\pi)$ doivent être incongruentes modulo 2 par rapport à $s(\pi)$.
  • Les auteurs définissent également des fonctions de différence $spt_k'(n)$ et $spt_k'^o(n)$ basées sur la parité du nombre de parties supérieures à $s(\pi)$.

2. Méthodologie

La démarche méthodologique repose sur l'analyse combinatoire et l'algèbre des séries $q$ :

1. Établissement des fonctions génératrices :
   Les auteurs dérivent d'abord les expressions formelles des fonctions génératrices pour les classes définies ci-dessus en utilisant des arguments combinatoires standards. Par exemple, pour $spt_k(n)$, la fonction génératrice est donnée par :
   $$\sum_{n=1}^{\infty} spt_k(n)q^n = \sum_{n=1}^{\infty} \frac{q^{kn}(-q^{n+1}; q)_\infty}{(q^{n+1}; q)_\infty}$$
   où $(a; q)_\infty$ est le symbole de Pochhammer infini.

2. Outils analytiques :
   Pour transformer ces sommes infinies en formes fermées, les auteurs utilisent deux outils fondamentaux :

   • Le théorème binomial $q$ (identité de Cauchy).
   • Une identité spécifique d'Andrews, Subbarao et Vidyasagar impliquant des sommes de type ${}_2\phi_1$.

3. Preuve par récurrence :
   La majeure partie des preuves (Théorèmes 2.1, 2.4, 2.6) utilise l'induction mathématique sur $k$. Les auteurs établissent des relations de récurrence entre les fonctions génératrices de niveau $k$ et $k-1$, permettant de déduire la forme générale.

4. Formules explicites :
   Pour les coefficients rationnels apparaissant dans les formules (notés $P_k(q)$, $V_k(q)$, $W_k(q)$, $T_k(q)$), les auteurs proposent des formules fermées sous forme de sommes finies et vérifient qu'elles satisfont les mêmes relations de récurrence que celles obtenues par induction.

3. Résultats Principaux

Les résultats sont présentés sous forme de théorèmes établissant des identités pour les fonctions génératrices des différentes classes de surpartitions.

• Théorème 2.1 (Généralisation de [2, Thm 1]) :
  La fonction génératrice pour $spt_k(n)$ s'écrit comme une combinaison linéaire de symboles de Pochhammer :
  $$\sum spt_k(n)q^n = P_k(q)\frac{(-q^2; q)_\infty}{(q^2; q)_\infty} + (-1)^k \frac{(q; q)_{k-1}}{(-q; q)_k}$$
  où $P_k(q)$ est une fonction rationnelle définie récursivement.

• Théorème 2.2 (Formule fermée pour $P_k(q)$) :
  Une expression explicite de $P_k(q)$ est donnée sous forme de somme finie, éliminant la récurrence.

• Théorème 2.3 (Fonction de différence) :
  Pour la fonction de différence $spt_k'(n)$, la fonction génératrice se simplifie considérablement :
  $$\sum spt_k'(n)q^n = \frac{(q; q)_{k-1}}{(-q; q)_k} - \frac{(q; q)_\infty}{(-q; q)_\infty}$$

• Théorèmes 2.4 à 2.7 (Cas de congruence modulo 2) :
  Pour la classe $spt_k^o(n)$ (où les parties sont incongruentes modulo 2), les auteurs obtiennent des formules plus complexes impliquant deux fonctions rationnelles $V_k(q)$ et $W_k(q)$, et des symboles de Pochhammer avec $q^2$. Des formules fermées pour $V_k, W_k$ et $T_k$ (pour la fonction de différence) sont également fournies.

• Corollaires et Applications (Section 4) :
  Les auteurs déduisent des identités combinatoires concrètes reliant les fonctions $spt_k$ à d'autres classes de surpartitions.

  • Exemple (Corollaire 4.1) : Pour $k=1$, $spt_1(n) + spt_1(n-1)$ est égal au nombre de surpartitions de $n$ n'ayant aucune partie non surlinéée égale à 1.
  • Des relations similaires sont établies pour les surpartitions en parties paires/impaires et pour les fonctions de différence.

4. Signification et Contribution

• Extension naturelle : Ce travail comble un vide en étendant la théorie des partitions avec "plus petite partie répétée" au cadre plus riche des surpartitions, un objet central reliant la combinatoire, les séries $q$ et les formes modulaires.
• Structure algébrique : La démonstration que les fonctions génératrices de ces classes complexes s'expriment comme des combinaisons linéaires de produits infinis standards (symboles de Pochhammer) avec des coefficients rationnels confirme la richesse structurelle des surpartitions.
• Nouvelles identités : Les corollaires fournis offrent de nouvelles identités et inégalités pour les partitions en parties distinctes et les surpartitions, enrichissant le corpus des résultats connus dans ce domaine.
• Perspectives : L'article ouvre la voie à l'étude des degrés des polynômes dans les coefficients rationnels et suggère la recherche de preuves combinatoires directes pour les identités dérivées, qui sont actuellement prouvées par des méthodes analytiques.

En résumé, Malik et Sarma réussissent à généraliser des résultats profonds sur les partitions classiques au domaine des surpartitions, fournissant des outils analytiques puissants et de nouvelles identités combinatoires.