On a conjecture of Andrews and almost alternating sign patterns

Résumé Technique : Sur une conjecture d'Andrews et les motifs de signes presque alternés

Énoncé du Problème
Cet article traite d'un phénomène de signe observé par George Andrews dans certaines séries en $q$ issues du Carnet Perdu de Ramanujan. Alors que les séries en $q$ classiques liées aux partitions présentent généralement des coefficients qui croissent de manière monotone ou restent bornés, Andrews a identifié cinq séries ($\sigma(q), v_1(q), v_2(q), v_3(q), v_4(q)$) présentant un comportement inhabituel. Plus précisément, pour $v_2(q), v_3(q)$ et $v_4(q)$, des preuves numériques suggéraient que les coefficients présentent une « grande régularité de signe », paraissant alterner de signe avec seulement un ensemble épars d'exceptions. L'article vise à prouver les conjectures d'Andrews concernant ces trois séries et à établir un cadre général expliquant ce phénomène.

Méthodologie
Les auteurs utilisent une version adaptée de la méthode du cercle de Wright, une technique bien adaptée aux séries en $q$ non modulaires. La méthodologie procède en trois étapes principales :

1. Asymptotique près des racines de l'unité : Les auteurs analysent les fonctions génératrices $v_j(q)$ lorsque $q$ approche des racines de l'unité. Ils utilisent une forme $q$-hypergéométrique généralisée $V_{r,b}(q)$ pour englober $v_2$ et $v_4$. En employant l'intégration par contour (spécifiquement l'intégrale de contour de Watson) et la méthode du point selle, ils dérivent des développements asymptotiques précis pour ces fonctions lorsque $q \to \zeta e^{-z}$, où $\zeta$ est une racine de l'unité.

   • Pour les racines de l'unité d'ordre $m \not\equiv 2 \pmod 4$, les fonctions restent bornées.
   • Pour les ordres $m \equiv 2 \pmod 4$ (spécifiquement le pôle dominant en $-1$), les fonctions présentent une croissance exponentielle couplée à des termes oscillatoires impliquant le dilogarithme de Bloch–Wigner $D(e^{i\theta})$.

2. Extraction de coefficients : En utilisant les asymptotiques dérivées des fonctions génératrices près du pôle dominant, les auteurs appliquent la méthode du cercle pour extraire le comportement asymptotique des coefficients $V_j(n)$. Cela implique de décomposer l'intégrale de contour en un arc majeur (autour du pôle dominant) et des arcs mineurs. La contribution de l'arc majeur donne le terme dominant, tandis qu'il est démontré que les arcs mineurs contribuent à un terme d'erreur plus petit.

3. Analyse du motif de signe : Les auteurs établissent un théorème général (Théorème 6.4) démontrant que toute suite entière satisfaisant une forme asymptotique spécifique — caractérisée par un facteur de croissance exponentielle, un facteur de signe dépendant de la parité $(-1)^n$, et un terme cosinus oscillatoire — présente nécessairement un « motif de signe presque alterné ». Ils utilisent la théorie de la discrépance (spécifiquement les bornes sur la distribution de suites comme $\sqrt{n} \pmod 1$) pour prouver que les zéros du terme oscillatoire ont une densité nulle, garantissant que l'alternance de signe se vérifie pour presque tout $n$.

Contributions Clés et Résultats

• Preuve des Conjectures d'Andrews : L'article fournit des preuves rigoureuses du comportement de signe de $v_2(q), v_3(q)$ et $v_4(q)$.

  • Théorème A : Confirme que les suites $V_2(n), V_3(n)$ et $V_4(n)$ satisfont un motif de signe presque alterné. Spécifiquement, $|V_j(n)| \to \infty$ quand $n \to \infty$ en dehors d'un ensemble de densité nulle, et pour presque tout $n$, $V_j(n)$ et $V_j(n+1)$ ont des signes opposés.
  • Théorème B : Fournit des formules asymptotiques précises pour les coefficients. Pour $j \in \{2, 3, 4\}$, les coefficients se comportent comme :
    $$V_j(n) \sim (-1)^n \alpha_j \frac{e^{2\sqrt{n}\text{Re}(\sqrt{W_j})}}{\sqrt{n}} \cos\left(2\sqrt{n}\text{Im}(\sqrt{W_j}) - \delta_j\right)$$
    où $W_j$ implique le dilogarithme de Bloch–Wigner et $\alpha_j, \delta_j$ sont des constantes explicites. Cette formule révèle explicitement l'interaction entre la croissance exponentielle et le comportement oscillatoire qui régit le signe.

• Interprétations Combinatoires : Les auteurs fournissent de nouvelles interprétations combinatoires pour les coefficients $V_2(n), V_3(n)$ et $V_4(n)$ en termes de partitions et de surpartitions. Notamment, ils corrigent et affinent l'interprétation de $V_4(n)$, en ajoutant une condition concernant la congruence de la plus grande partie modulo 4, qui manquait dans la formulation originale d'Andrews.

• Généralisation : Les résultats sont étendus à des familles infinies de séries $q$-hypergéométriques de la forme $V_{r,b}(q)$ et de combinaisons linéaires $U_{2,b}(q)$. L'article démontre que le phénomène de signe n'est pas une curiosité isolée mais provient systématiquement des asymptotiques oscillatoires de ces séries près des racines de l'unité.

• Nouvelle Famille et Observations Numériques : Les auteurs introduisent une nouvelle famille de séries $v_{\{k\}}(q)$ et présentent des preuves numériques suggérant que leurs coefficients présentent un motif de signe généralisé de longueur $k$. Bien que non prouvé, cela suggère que le phénomène est répandu.

Signification
L'article résout des conjectures de longue date d'Andrews concernant la régularité de signe de certaines séries en $q$ issues du Carnet Perdu de Ramanujan. En reliant ces séries à l'arithmétique des corps quadratiques (via le dilogarithme de Bloch–Wigner) et aux objets automorphes, ce travail situe ces exemples dans un cadre théorique plus large connectant les séries $q$-hypergéométriques, les partitions et les formes modulaires. Le développement d'un cadre général pour prouver les motifs de signe « presque alternés » basés sur les oscillations asymptotiques offre un nouvel outil pour analyser les coefficients de séries non modulaires. Les auteurs notent que si les résultats pour $v_1(q)$ ont été précédemment établis par Folsom, Males, Rolen et Storzer, cet article traite les séries restantes et fournit une approche unifiée pour une classe plus large de fonctions.