On a conjecture of Andrews and almost alternating sign patterns

Sintesi Tecnica: Su una congettura di Andrews e sui pattern di segno quasi alternati

Enunciato del Problema
Questo articolo affronta un fenomeno di segno osservato da George Andrews in specifiche serie $q$ presenti nel Lost Notebook di Ramanujan. Mentre le classiche serie $q$ della teoria delle partizioni solitamente presentano coefficienti che crescono monotonicamente o rimangono limitati, Andrews ha identificato cinque serie ($\sigma(q), v_1(q), v_2(q), v_3(q), v_4(q)$) con un comportamento insolito. Nello specifico, per $v_2(q), v_3(q)$ e $v_4(q)$, l'evidenza numerica suggeriva che i coefficienti esibissero una "grande regolarità di segno", apparendo come alternati nel segno con solo un insieme rado di eccezioni. L'articolo mira a dimostrare le congetture di Andrews riguardanti queste tre serie e a stabilire un quadro generale che spieghi tale fenomeno.

Metodologia
Gli autori utilizzano una versione adattata del Metodo del Cerchio di Wright, una tecnica ben adatta per le serie $q$ non modulari. La metodologia procede in tre fasi principali:

1. Asintotiche vicino alle radici dell'unità: Gli autori analizzano le funzioni generatrici $v_j(q)$ quando $q$ tende alle radici dell'unità. Utilizzano una forma $q$-ipergeometrica generalizzata $V_{r,b}(q)$ per comprendere $v_2$ e $v_4$. Impiegando l'integrazione su contorno (specificamente l'integrale di Watson) e il metodo del punto di sella, derivano espansioni asintotiche precise per queste funzioni quando $q \to \zeta e^{-z}$, dove $\zeta$ è una radice dell'unità.

   • Per radici dell'unità di ordine $m \not\equiv 2 \pmod 4$, le funzioni rimangono limitate.
   • Per ordini $m \equiv 2 \pmod 4$ (specificamente il polo dominante in $-1$), le funzioni esibiscono una crescita esponenziale accoppiata a termini oscillatori che coinvolgono il dilogaritmo di Bloch–Wigner $D(e^{i\theta})$.

2. Estrazione dei coefficienti: Utilizzando le asintotiche derivate delle funzioni generatrici vicino al polo dominante, gli autori applicano il Metodo del Cerchio per estrarre il comportamento asintotico dei coefficienti $V_j(n)$. Questo comporta la decomposizione dell'integrale di contorno in un arco maggiore (attorno al polo dominante) e archi minori. Il contributo dell'arco maggiore fornisce il termine dominante, mentre si dimostra che gli archi minori contribuiscono a un termine di errore più piccolo.

3. Analisi del pattern di segno: Gli autori stabiliscono un teorema generale (Teorema 6.4) dimostrando che qualsiasi sequenza intera che soddisfi una specifica forma asintotica — caratterizzata da un fattore di crescita esponenziale, un fattore di segno dipendente dalla parità $(-1)^n$ e un termine coseno oscillatorio — presenta necessariamente un "pattern di segno quasi alternato". Utilizzano la teoria della discrepanza (specificamente i limiti sulla distribuzione di sequenze come $\sqrt{n} \pmod 1$) per provare che gli zeri del termine oscillatorio avvengono con densità zero, garantendo che l'alternanza di segno si mantenga per quasi tutti gli $n$.

Contributi Chiave e Risultati

• Dimostrazione delle Congetture di Andrews: L'articolo fornisce prove rigorose per il comportamento del segno di $v_2(q), v_3(q)$ e $v_4(q)$.

  • Teorema A: Conferma che le sequenze $V_2(n), V_3(n)$ e $V_4(n)$ soddisfano un pattern di segno quasi alternato. Nello specifico, $|V_j(n)| \to \infty$ quando $n \to \infty$ al di fuori di un insieme di densità zero, e per quasi tutti gli $n$, $V_j(n)$ e $V_j(n+1)$ hanno segni opposti.
  • Teorema B: Fornisce formule asintotiche precise per i coefficienti. Per $j \in \{2, 3, 4\}$, i coefficienti si comportano come:
    $$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)$$
    dove $W_j$ coinvolge il dilogaritmo di Bloch–Wigner e $\alpha_j, \delta_j$ sono costanti esplicite. Questa formula rivela esplicitamente l'interazione tra la crescita esponenziale e il comportamento oscillatorio che governa il segno.

• Interpretazioni Combinatorie: Gli autori forniscono nuove interpretazioni combinatorie per i coefficienti $V_2(n), V_3(n)$ e $V_4(n)$ in termini di partizioni e overpartizioni. In particolare, correggono e raffinano l'interpretazione per $V_4(n)$, aggiungendo una condizione riguardante la congruenza della parte massima modulo 4, che era precedentemente mancante nella formulazione originale di Andrews.

• Generalizzazione: I risultati sono estesi a famiglie infinite di serie $q$-ipergeometriche della forma $V_{r,b}(q)$ e combinazioni lineari $U_{2,b}(q)$. L'articolo dimostra che il fenomeno del segno non è una curiosità isolata, ma sorge sistematicamente dalle asintotiche oscillanti di queste serie vicino alle radici dell'unità.

• Nuova Famiglia e Osservazioni Numeriche: Gli autori introducono una nuova famiglia di serie $v_{\{k\}}(q)$ e presentano evidenze numeriche che suggeriscono che i loro coefficienti esibiscano un pattern di segno generalizzato di lunghezza $k$. Sebbene non provato, ciò suggerisce che il fenomeno sia diffuso.

Significatività
L'articolo risolve congetture di lungo corso di Andrews riguardanti la regolarità del segno di specifiche serie $q$ dal Lost Notebook di Ramanujan. Collegando queste serie all'aritmetica dei campi quadratici (tramite il dilogaritmo di Bloch–Wigner) e agli oggetti automorfi, il lavoro colloca questi esempi all'interno di un quadro teorico più ampio che connette serie $q$-ipergeometriche, partizioni e forme modulari. Lo sviluppo di un quadro generale per provare pattern di segno "quasi alternati" basati su oscillazioni asintotiche offre un nuovo strumento per analizzare i coefficienti di serie non modulari. Gli autori notano che, sebbene i risultati per $v_1(q)$ siano stati precedentemente stabiliti da Folsom, Males, Rolen e Storzer, questo articolo affronta le restanti serie e fornisce un approccio unificato per una classe più ampia di funzioni.