Sign Laws and Mock Theta Functions

Sintesi Tecnica: Leggi dei Segni e Funzioni Mock Theta

Enunciato del Problema
Questo articolo affronta il comportamento del segno dei coefficienti $r(n)$ della funzione mock theta di terzo ordine di Ramanujan $\rho(q)$, definita dalla serie:
$$\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'osservazione empirica dei coefficienti iniziali rivela un pattern di segno periodico sorprendente modulo 3: $r(3m) > 0$, mentre $r(3m+1) \le 0$ e $r(3m+2) \le 0$. Gli zeri nelle classi di residuo non positive sembrano verificarsi solo in specifici interi piccoli ($n = 2, 4, 8, 11, 20$). L'obiettivo primario è dimostrare rigorosamente questa "legge del segno" per ogni $n \ge 0$ e identificare l'insieme esatto degli indici dove $r(n) = 0$.

Metodologia
La dimostrazione combina la teoria analitica dei numeri (specificamente il metodo del cerchio adattato per le funzioni mock theta) con l'aritmetica esatta degli interi.

1. Riduzione tramite l'Identità di Watson:
   Gli autori utilizzano l'identità di Watson che mette in relazione $\rho(q)$ con un'altra funzione mock theta di terzo ordine $\omega(q)$ e un prodotto eta $T(q)$:
   $$2\rho(q) + \omega(q) = T(q), \quad \text{dove } T(q) = 3 \frac{(q^6; q^6)_\infty^4}{(q^3; q^3)_\infty^2 (q^2; q^2)_\infty}.$$
   Ciò riduce il problema all'analisi della differenza $T(q) - \omega(q)$. I coefficienti di $T(q)$ sono modulari, mentre $\omega(q)$ è una funzione mock theta.

2. Metodo del Cerchio e Analisi delle Radici dell'Unità:
   I coefficienti $r(n)$ vengono estratti tramite la formula integrale di Cauchy su un cerchio $|q| = e^{-\beta}$. L'integrale viene decomposto in "archi maggiori" vicino alle radici dell'unità e "archi minori".

   • Cancellazione a $q=1$: I termini polari dominanti di $T(q)$ e $\omega(q)$ a $q=1$ sono identici e si cancellano nella differenza, lasciando un contributo polinomialmente limitato.
   • Vanimento a $q=-1$: Si dimostra anche che il contributo a $q=-1$ è polinomialmente limitato.
   • Dominanza alle Radici Cubiche: I primi termini esponenziali sopravvissuti derivano dalle radici cubiche primitive dell'unità ($\zeta = e^{2\pi i/3}$ e $\zeta^2$). Utilizzando la completazione di Zwegers e le leggi di trasformazione, gli autori derivano stime asintotiche efficaci per $\rho(q)$ in prossimità di queste radici.

3. Asintotica Efficace:
   Il contributo dagli archi cubici produce un termine principale della forma:
   $$\kappa_{n \pmod 3} \frac{2\pi}{d_n^{1/4}} I_{1/2}(x),$$
   dove $d_n = 12n+8$, $x = \pi\sqrt{d_n}/18$, e le costanti $\kappa_0, \kappa_1, \kappa_2$ sono derivate da valori trigonometrici coinvolgenti $\pi/18$. Nello specifico:

   • $\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$

   Gli autori stabiliscono limiti di errore espliciti per gli archi minori e le parti non dominanti degli archi maggiori. Dimostrano che per $n$ sufficientemente grandi, il termine principale domina il termine di errore, determinando così il segno di $r(n)$.

4. Verifica Finita:
   Per gestire l'intervallo di $n$ in cui la dominanza asintotica non è ancora stata provata, gli autori eseguono un calcolo esatto utilizzando l'aritmetica degli interi. Implementano un algoritmo nell'anello polinomiale troncato $\mathbb{Z}[q]/(q^{L+1})$ per calcolare esattamente i coefficienti $r(n)$ fino al punto di incrocio determinato dalle stime analitiche.

Risultati Chiave
L'articolo dimostra il Teorema 1.1, che stabilisce la legge del segno per ogni $n \ge 0$:

• $r(3m) > 0$ per ogni $m \ge 0$.
• $r(3m+1) \le 0$ e $r(3m+2) \le 0$ per ogni $m \ge 0$.
• L'uguaglianza ($r(n)=0$) avviene precisamente per $n \in \{2, 4, 8, 11, 20\}$.

La parte analitica della dimostrazione garantisce la legge del segno per $n \ge 392,275$. La verifica esatta degli interi conferma il risultato per $0 \le n < 392,275$, identificando gli zeri specifici e confermando che non esistono violazioni del segno in questo intervallo finito.

Significato e Rivendicazioni
L'articolo sostiene che il comportamento del segno dei coefficienti mock theta può essere controllato da un "principio di dominanza delle radici dell'unità". Nel caso di $\rho(q)$, la cancellazione del polo dominante a $q=1$ sposta il fattore determinante alle radici cubiche dell'unità, le cui fasi dettano il pattern periodico del segno.

Gli autori suggeriscono che questa metodologia non è isolata a $\rho(q)$. Indicano che la stessa strategia — identificare il primo contributo non cancellante delle radici dell'unità e controllare gli archi rimanenti — dovrebbe applicarsi ad altre funzioni mock theta di terzo ordine: citano prove preliminari di analoghe leggi del segno per le funzioni $\phi(q)$ (periodo 4) e $\chi(q)$ (periodo 6) di Ramanujan, proponendo un programma sistematico per estendere questi risultati a tutte le funzioni mock theta di Ramanujan. Il lavoro colma il divario tra le proprietà modulari qualitative delle funzioni mock theta e le precise proprietà aritmetiche quantitative dei loro coefficienti.