Inequalities for the number of $t$-hooks in two partition classes arising from sum-product identities

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 à généraliser un résultat récent concernant les « biais de crochets » (hook bias) entre deux classes de partitions équivalentes en nombre, mais définies par des conditions différentes.

• Contexte historique : La célèbre identité d'Euler établit que le nombre de partitions de $n$ en parties distinctes est égal au nombre de partitions de $n$ en parties impaires. Andrews a récemment démontré une inégalité sur le nombre total de parties : pour $n \ge 1$, le nombre total de parties dans les partitions distinctes est supérieur ou égal au nombre total de parties différentes dans les partitions impaires.
• Conjecture de Ballantine et al. : Cette inégalité s'inverse pour les crochets de longueur $t > 1$. Plus précisément, pour $t \ge 2$, le nombre total de $t$-crochets dans les partitions impaires ($a_t(n)$) dépasse celui des partitions distinctes ($b_t(n)$) lorsque $n$ est suffisamment grand.
• Objectif de l'article : Étendre cette question de biais de crochets à d'autres identités de partitions célèbres, spécifiquement celles impliquant des conditions d'écart (gap conditions) de taille 2. Les auteurs se concentrent sur :
  1. La première identité de Rogers-Ramanujan (écart $\ge 2$ vs parties $\equiv 1, 4 \pmod 5$).
  2. La première identité de Little Göllnitz (écart $\ge 2$ avec restrictions supplémentaires vs parties $\equiv 1, 5, 6 \pmod 8$).

2. Méthodologie

La preuve repose sur une analyse asymptotique fine des fonctions génératrices associées au nombre de $t$-crochets.

• Fonctions génératrices : Les auteurs dérivent les fonctions génératrices bivariables $R_{j,t}(x, q)$ et $G_{j,t}(x, q)$ pour les deux classes de partitions (notées $R_1, R_2$ et $G_1, G_2$). En différentiant par rapport à $x$ en $x=1$, ils obtiennent les séries génératrices $S_{j,t}(q)$ et $H_{j,t}(q)$ pour le nombre total de $t$-crochets.
• Nature des séries : Ces fonctions génératrices se révèlent être soit des sommes de Nahm (des séries $q$ dont les rapports de coefficients successifs sont rationnels), soit des produits d'une série infinie et d'une fonction rationnelle.
• Analyse Asymptotique :
  • Théorème Tauberien d'Ingham : Pour obtenir le comportement asymptotique des coefficients $r_{j,t}(n)$ et $g_{j,t}(n)$, les auteurs utilisent le théorème tauberien d'Ingham. Cela nécessite d'étudier le comportement des fonctions génératrices lorsque $q \to 1$ (c'est-à-dire $z \to 0$ avec $q = e^{-z}$).
  • Méthode du point col (Saddle Point) : Pour estimer les sommes de Nahm, les auteurs identifient le « pic » (peak) de la sommemande. Ils décomposent la somme en deux parties : une région centrale $N_\varepsilon$ autour du pic et une région d'erreur $E$.
  • Estimations complexes : Ils utilisent des développements asymptotiques de fonctions $q$-Pochhammer (via des lemmes de Bringmann et al.) et des estimations précises des sommes de Riemann pour les valeurs de $y$ (partie imaginaire de $z$) dans un cône borné.
  • Simplification : La méthode suit l'approche de Bringmann, Man, Rolen et Storzer, mais les auteurs simplifient les preuves et fournissent plus de détails techniques sur les estimations nécessaires.

3. Résultats Principaux

Les auteurs établissent des formules asymptotiques précises pour $n \to \infty$ et en déduisent des inégalités strictes pour les nombres de crochets.

A. Identité de Rogers-Ramanujan

Soient $r_{1,t}(n)$ et $r_{2,t}(n)$ les nombres de $t$-crochets respectivement pour les partitions avec écart $\ge 2$ et les partitions avec parties $\equiv 1, 4 \pmod 5$.

• Formules Asymptotiques (Théorèmes 1.3 et 1.4) :
  • Pour $t=1$ : $r_{1,1}(n) \sim r_{2,1}(n) \sim C_1 n^{-1/4} e^{2\pi\sqrt{n/15}}$.
  • Pour $t=2$ : Les constantes préfacteurs diffèrent. $r_{2,2}(n)$ est asymptotiquement plus grand que $r_{1,2}(n)$.
• Inégalités (Théorème 1.2) : Pour $n$ suffisamment grand :
  • $r_{1,1}(n) > r_{2,1}(n)$ (Les partitions à écart ont plus de 1-crochets).
  • $r_{1,2}(n) < r_{2,2}(n)$ (Les partitions à congruence ont plus de 2-crochets).

B. Identité de Little Göllnitz

Soient $g_{1,t}(n)$ et $g_{2,t}(n)$ les nombres de $t$-crochets pour les partitions avec écart $\ge 2$ (sans parties impaires différant de 2) et les partitions avec parties $\equiv 1, 5, 6 \pmod 8$.

• Formules Asymptotiques (Théorèmes 1.6 et 1.7) :
  • Pour $t=1$ : $g_{1,1}(n) \sim g_{2,1}(n) \sim C_2 n^{-1/4} e^{\pi\sqrt{n/2}}$.
  • Pour $t=2$ : Les constantes diffèrent à nouveau, favorisant le cas de congruence pour $t=2$.
• Inégalités (Théorème 1.5) : Pour $n$ suffisamment grand :
  • $g_{1,1}(n) > g_{2,1}(n)$.
  • $g_{1,2}(n) < g_{2,2}(n)$.

4. Contributions Clés

1. Généralisation du biais de crochets : Confirmation que le phénomène observé par Andrews et ses collaborateurs pour l'identité d'Euler se généralise aux identités de Rogers-Ramanujan et de Göllnitz. Le « biais » dépend de la longueur du crochet $t$.
2. Développement de formules asymptotiques précises : Calcul explicite des termes dominants et des constantes pour des sommes de Nahm complexes liées à ces identités de partitions.
3. Méthodologie technique : Affinement des techniques d'analyse asymptotique pour les sommes de Nahm, en particulier la gestion des erreurs dans les régions éloignées du pic et l'extension des estimations à des cônes complexes larges.

5. Signification et Perspectives

• Validation de conjectures : Ces résultats renforcent la compréhension structurelle des partitions, montrant que les conditions de congruence tendent à produire plus de crochets de longueur supérieure à 1, tandis que les conditions d'écart favorisent les crochets de longueur 1 (liés au nombre de parties distinctes).
• Conjecture pour $t > 2$ : Les auteurs conjecturent que pour tout $t > 2$, l'inégalité s'inverse systématiquement en faveur des partitions de congruence ($r_{1,t}(n) < r_{2,t}(n)$ et $g_{1,t}(n) < g_{2,t}(n)$).
• Applications futures : La méthode développée est applicable à d'autres identités, notamment la deuxième identité de Rogers-Ramanujan, la deuxième identité de Little Göllnitz et les identités de Göllnitz-Gordon. Cela ouvre la voie à l'analyse asymptotique d'autres sommes de Nahm en théorie des partitions.

En résumé, cet article fournit une preuve rigoureuse et des formules asymptotiques détaillées confirmant un phénomène universel de « biais de crochets » dans les paires de partitions définies par des identités de type Rogers-Ramanujan, reliant ainsi la combinatoire des partitions aux propriétés analytiques profondes des séries $q$.