Restricted Overpartitions and concave compositions: their modularity and asymptotics

1. Problématique et Contexte

L'article se situe au carrefour de la théorie des partitions, de la théorie des nombres et de l'analyse complexe (formes modulaires). Le problème central est l'étude des fonctions génératrices associées à des familles spécifiques de partitions restreintes et de compositions concaves.

• Contexte : Traditionnellement, les fonctions génératrices en théorie des partitions sont souvent liées à une seule structure modulaire (par exemple, une forme modulaire classique ou une fonction thêta de type mock).
• Problème : Les auteurs s'intéressent à des restrictions sur les surpartitions (overpartitions) et les compositions concaves qui, de manière inattendue, conduisent à des fonctions génératrices possédant une structure modulaire mixte. Ces structures combinent simultanément :
  • Des formes modulaires classiques.
  • Des fonctions thêta de type mock (introduites par Ramanujan).
  • Des fonctions thêta de type mock Maass.
  • Des fonctions thêta fausses (false theta functions).
• Objectifs :
  1. Établir des identités exactes pour les fonctions génératrices de ces nouvelles familles.
  2. Décomposer ces fonctions en termes d'objets modulaires connus.
  3. Dériver les termes principaux des développements asymptotiques pour les coefficients de ces séries (le nombre de partitions).
  4. Étudier des statistiques associées (comme le rang).

2. Méthodologie

Les auteurs emploient une combinaison puissante d'outils analytiques et combinatoires :

• Identités de séries $q$ : L'analyse repose lourdement sur des transformations de séries $q$ classiques et avancées, notamment les identités de Ramanujan (Lemmes 2.1 et 2.2), l'identité de Rogers-Fine, et des résultats récents de Garvan, Andrews et d'autres.
• Théorie des formes modulaires et mock modulaires :
  • Utilisation de la théorie de Zwegers pour compléter les fonctions thêta de type mock en formes de Maass harmoniques.
  • Identification des parties holomorphes et non-holomorphes des fonctions génératrices.
  • Utilisation de fonctions thêta de type false (qui ne sont pas modulaires mais deviennent modulaires après complétion ou combinaison).
• Théorèmes Taubériens : Pour obtenir les asymptotiques, les auteurs utilisent une version modifiée du théorème Taubérien d'Ingham (Proposition 2.15). Cela nécessite de prouver que les coefficients sont non négatifs et faiblement croissants, puis d'analyser le comportement de la fonction génératrice lorsque $q \to 1$ (ou $z \to 0$ avec $q=e^{-z}$).
• Formule de sommation d'Euler-Maclaurin : Utilisée pour approximer les sommes infinies apparaissant dans l'analyse asymptotique des fonctions thêta et des séries $q$ (Propositions 2.17 et 2.18).
• Limites et règles de L'Hôpital : Pour traiter les cas limites où les paramètres des fonctions génératrices (comme $\zeta$) tendent vers des valeurs singulières (ex: $\zeta \to q^{-2}$), permettant de dériver de nouvelles identités.

3. Contributions et Résultats Clés

L'article présente plusieurs théorèmes majeurs décrivant de nouvelles familles de surpartitions et leurs propriétés :

A. Surpartitions avec restrictions de parité et de surlining

Les auteurs définissent deux nouvelles familles de surpartitions, notées $pod(n)$ et $pev(n)$, soumises à des règles strictes concernant les parties paires/impaires et leur surlining (barre).

• Théorème 1.1 ($pod(n)$) : La fonction génératrice $P_{od}(q)$ est décomposée en une somme de :
  1. Une fonction thêta de type mock Maass ($W_1(q)$).
  2. Une forme modulaire.
  3. Une fonction thêta fausse.
  • Résultat Asymptotique (Corollaire 1.2) :
    $$pod(n) \sim \frac{5\pi}{48\sqrt{2}n^{3/2}} e^{\pi\sqrt{\frac{5n}{6}}}$$
• Théorème 1.3 ($pev(n)$) : La fonction génératrice $P_{ev}(q)$ est exprimée comme une forme modulaire mixte impliquant la fonction thêta de type mock d'ordre 3 de Ramanujan, $\phi(q)$.
  • Résultat Asymptotique (Corollaire 1.4) :
    $$pev(n) \sim \frac{e^{\pi\sqrt{\frac{2n}{3}}}}{4\sqrt{3}n}$$
  • Une application de ce résultat permet de retrouver l'asymptotique d'une fonction de partitions colorées $g(n)$ étudiée par Andrews et Kumar.

B. Généralisations à deux variables et statistiques de rang

Les auteurs introduisent des versions pondérées ($P_{od}(\zeta; q)$ et $P_{ev}(\zeta; q)$) où $\zeta$ compte le nombre de parties paires ou impaires.

• Théorèmes 1.6 et 1.9 : Ces fonctions sont décomposées en termes de fonctions thêta de type mock généralisées (extensions de $f$ et $\nu$ de Ramanujan) et de formes modulaires.
• Cas particuliers : En spécialisant $\zeta$, on obtient des identités reliant ces fonctions à des fonctions thêta de type mock d'ordre 2 et 3 (ex: $\mu(q)$, $f(q)$, $\nu(q)$).
• Théorème 1.12 : Une nouvelle preuve d'une identité célèbre de Ramanujan reliant $2\phi(-q) - f(q)$ à une fonction thêta carrée, démontrée via les limites des fonctions génératrices étudiées.

C. Compositions concaves restreintes

• Théorème 1.14 : L'étude des compositions concaves avec des contraintes de parité et de surlining ($vod(n)$) montre que leur fonction génératrice est liée aux fonctions génératrices des rangs de surpartitions sans parties impaires répétées ($R_2$) et des rangs classiques ($R$).

4. Signification et Impact

• Nouveaux exemples de structures modulaires mixtes : L'article démontre que des restrictions combinatoires "naturelles" sur les surpartitions ne conduisent pas toujours à une seule classe d'objets modulaires, mais souvent à des combinaisons complexes (formes modulaires + mock + fausses). Cela enrichit la compréhension de la façon dont les structures modulaires émergent en combinatoire.
• Lien entre objets disjoints : Il établit des ponts explicites entre des objets qui étaient auparavant étudiés séparément, comme les fonctions thêta fausses et les formes de Maass harmoniques, dans le contexte des partitions.
• Outils pour l'asymptotique : La méthode employée pour obtenir les termes principaux asymptotiques (en combinant le théorème Taubérien d'Ingham avec l'analyse fine des singularités des fonctions modulaires mixtes) fournit un modèle pour l'étude d'autres problèmes de partitions complexes.
• Ouvertures de recherche : L'article propose plusieurs pistes, notamment la recherche de preuves bijectives pour certaines identités, l'étude de congruences arithmétiques pour ces nouvelles fonctions, et l'exploration de statistiques de rang et de "crank" pour ces familles restreintes.

En résumé, cet article apporte une contribution significative à la théorie des partitions en révélant la richesse des structures modulaires cachées derrière des restrictions combinatoires apparemment simples, tout en fournissant des outils analytiques robustes pour quantifier la croissance de ces objets.