Sign Laws and Mock Theta Functions

Résumé Technique : Lois de Signes et Fonctions Mock Theta

Énoncé du Problème
Cet article traite du comportement du signe des coefficients $r(n)$ de la fonction mock theta de troisième ordre de Ramanujan $\rho(q)$, définie par la série :
$$\rho(q) = \sum_{m \ge 0} \frac{q^{2m(m+1)}}{(1 + q + q^2)(1 + q^3 + q^6) \cdots (1 + q^{2m+1} + q^{4m+2})} = \sum_{n \ge 0} r(n)q^n.$$
L'observation empirique des premiers coefficients révèle un motif de signe périodique frappant modulo 3 : $r(3m) > 0$, tandis que $r(3m+1) \le 0$ et $r(3m+2) \le 0$. Les zéros dans les classes de résidus non positives ne semblent apparaître qu'à des entiers spécifiques de petite taille ($n = 2, 4, 8, 11, 20$). L'objectif principal est de prouver rigoureusement cette « loi de signe » pour tout $n \ge 0$ et d'identifier l'ensemble exact des indices où $r(n) = 0$.

Méthodologie
La preuve combine la théorie analytique des nombres (spécifiquement la méthode du cercle adaptée aux fonctions mock theta) avec l'arithmétique entière exacte.

1. Réduction via l'Identité de Watson :
   Les auteurs utilisent l'identité de Watson reliant $\rho(q)$ à une autre fonction mock theta de troisième ordre $\omega(q)$ et à un quotient d'eta $T(q)$ :
   $$2\rho(q) + \omega(q) = T(q), \quad \text{où } T(q) = 3 \frac{(q^6; q^6)_\infty^4}{(q^3; q^3)_\infty^2 (q^2; q^2)_\infty}.$$
   Cela réduit le problème à l'analyse de la différence $T(q) - \omega(q)$. Les coefficients de $T(q)$ sont modulaires, tandis que $\omega(q)$ est une fonction mock theta.

2. Méthode du Cercle et Analyse des Racines de l'Unité :
   Les coefficients $r(n)$ sont extraits via la formule intégrale de Cauchy sur un cercle $|q| = e^{-\beta}$. L'intégrale est décomposée en « arcs majeurs » près des racines de l'unité et en « arcs mineurs ».

   • Annulation à $q=1$ : Les termes polaires dominants de $T(q)$ et $\omega(q)$ à $q=1$ sont identiques et s'annulent dans la différence, laissant une contribution de croissance polynomiale.
   • Annulation à $q=-1$ : La contribution à $q=-1$ est également démontrée comme étant de croissance polynomiale.
   • Dominance aux Racines Cubiques : Les premiers termes exponentiels survivants proviennent des racines cubiques primitives de l'unité ($\zeta = e^{2\pi i/3}$ et $\zeta^2$). En utilisant la complétion de Zwegers et les lois de transformation, les auteurs dérivent des estimations asymptotiques effectives pour $\rho(q)$ au voisinage de ces racines.

3. Asymptotiques Effectives :
   La contribution des arcs cubiques produit un terme principal de la forme :
   $$\kappa_{n \pmod 3} \frac{2\pi}{d_n^{1/4}} I_{1/2}(x),$$
   où $d_n = 12n+8$, $x = \pi\sqrt{d_n}/18$, et les constantes $\kappa_0, \kappa_1, \kappa_2$ sont dérivées de valeurs trigonométriques impliquant $\pi/18$. Spécifiquement :

   • $\kappa_0 = \frac{1}{3}\cos(\frac{\pi}{18}) > 0$
   • $\kappa_1 = -\frac{1}{3}\sin(\frac{2\pi}{9}) < 0$
   • $\kappa_2 = -\frac{1}{3}\sin(\frac{\pi}{9}) < 0$

   Les auteurs établissent des bornes d'erreur explicites pour les arcs mineurs et les parties non dominantes des arcs majeurs. Ils prouvent que pour $n$ suffisamment grand, le terme principal domine le terme d'erreur, déterminant ainsi le signe de $r(n)$.

4. Vérification Finie :
   Pour traiter la plage de $n$ où la dominance asymptotique n'a pas encore été prouvée, les auteurs effectuent un calcul exact en utilisant l'arithmétique entière. Ils implémentent un algorithme dans l'anneau polynomial tronqué $\mathbb{Z}[q]/(q^{L+1})$ pour calculer exactement les coefficients $r(n)$ jusqu'au point de croisement déterminé par les estimations analytiques.

Résultats Clés
Le papier prouve le Théorème 1.1, qui établit la loi de signe pour tout $n \ge 0$ :

• $r(3m) > 0$ pour tout $m \ge 0$.
• $r(3m+1) \le 0$ et $r(3m+2) \le 0$ pour tout $m \ge 0$.
• L'égalité ($r(n)=0$) se produit précisément pour $n \in \{2, 4, 8, 11, 20\}$.

La partie analytique de la preuve garantit la loi de signe pour $n \ge 392,275$. La vérification entière exacte confirme le résultat pour $0 \le n < 392,275$, identifiant les zéros spécifiques et confirmant qu'aucune violation de signe n'existe dans cette plage finie.

Signification et Revendications
Le papier affirme que le comportement du signe des coefficients mock theta peut être contrôlé par un « principe de dominance des racines de l'unité ». Dans le cas de $\rho(q)$, l'annulation du pôle dominant à $q=1$ déplace le facteur déterminant vers les racines cubiques de l'unité, dont les phases dictent le motif de signe périodique.

Les auteurs suggèrent que cette méthodologie n'est pas isolée à $\rho(q)$. Ils indiquent que la même stratégie — identifier la première contribution non-annulée des racines de l'unité et contrôler les arcs restants — devrait s'appliquer à d'autres fonctions mock theta de troisième ordre. Plus précisément, ils citent des preuves préliminaires pour des lois de signes analogues pour les fonctions $\phi(q)$ (période 4) et $\chi(q)$ (période 6) de Ramanujan, proposant un programme systématique pour étendre ces résultats à toutes les fonctions mock theta de Ramanujan. Ce travail comble le fossé entre les propriétés modulaires qualitatives des fonctions mock theta et les propriétés arithmétiques quantitatives précises de leurs coefficients.