Improved Averaged Distribution of $d_3(n)$ in Prime Arithmetic Progressions

1. Il Problema e il Contesto Storico

Il lavoro si inserisce nello studio della distribuzione delle funzioni dei divisori nelle progressioni aritmetiche. In particolare, gli autori si concentrano sulla funzione dei divisori ternaria, definita come $d_3(n)$, che conta il numero di modi in cui un intero $n$ può essere scritto come prodotto di tre interi positivi.

Il problema centrale riguarda l'esponente di distribuzione $\theta$. Si dice che $d_3(n)$ ha un esponente di distribuzione $\theta$ se l'errore asintotico nella somma di $d_3(n)$ su una progressione aritmetica $n \equiv a \pmod q$ è controllato uniformemente per tutti i moduli $q \le x^{\theta - \varepsilon}$.

• Stato dell'arte: Per la funzione dei divisori classica $d(n)$, è noto (lavori di Selberg, Linnik, Hooley) un esponente di distribuzione di $2/3$. Per $d_3(n)$, il progresso è stato molto più lento. Risultati precedenti hanno migliorato il limite da $1/2$ a $1/2 + 1/46$ (Fouvry, Kowalski, Michel) per moduli primi.
• Approccio medio: Una strategia efficace consiste nell'analizzare la distribuzione "in media", sommando gli errori su tutte le classi residue ridotte $a \pmod q$. Nguyen (2015), estendendo il lavoro di Banks, Heath-Brown e Shparlinski, ha dimostrato che, mediando su tutte le classi residue, $d_3(n)$ raggiunge un esponente di distribuzione di $2/3$.
• Obiettivo del paper: Migliorare questo esponente medio da $2/3$ a $8/11$ (circa $0.727$) specificamente quando il modulo $q$ è un numero primo, sfruttando recenti avanzamenti nella teoria dei numeri analitici.

2. Metodologia e Strumenti Matematici

La dimostrazione si basa su una combinazione di tecniche classiche di analisi armonica e risultati moderni sulle funzioni L di Dirichlet.

A. Formula di Voronoi e Trasformata di Mellin

Gli autori utilizzano la formula di Voronoi per la funzione $d_3(n)$ (derivata da Ivić) per esprimere l'errore di distribuzione $\Delta(a/q)$ in termini di somme esponenziali. Questo permette di trasformare il problema originale in uno che coinvolge:

• Somme di Ramanujan $c_q(n)$.
• Coefficienti $A_{h/q}(n)$ e $B_{h/q}(n)$ legati a somme esponenziali trivariate.
• Funzioni di peso $w(t)$ e le loro trasformate $\hat{w}_q(n)$.

B. Il Ruolo Cruciale del Legame Petrow-Young

Il contributo fondamentale che permette il miglioramento dell'esponente è l'uso del limite subconvesso (subconvexity bound) per le funzioni L di Dirichlet stabilito da Petrow e Young (2020).

• Il limite subconvesso fornisce una stima per $L(1/2+it, \chi)$ che è migliore del limite convesso classico.
• Nello specifico, per un carattere primitivo $\chi$ modulo $q$ (primo), si ha:
  $$L(1/2+it, \chi) \ll_\varepsilon (q(1+|t|))^{1/6+\varepsilon}$$
• Questo risultato è utilizzato per stimare il terzo momento delle funzioni L di Dirichlet, che appare naturalmente quando si analizzano le somme di $d_3(n)$ (essendo $d_3$ legata al cubo della funzione zeta).

C. Stima dei Momenti e Somme di Kloosterman

Il cuore tecnico della prova risiede nella stima di somme del tipo:
$$\sum_{\chi \neq \chi_0} \left| \int_1^T |L(1/2+it, \chi)|^3 \frac{dt}{t} \right|^2$$
Utilizzando il teorema di Cauchy-Schwarz e il limite subconvesso di Petrow-Young, gli autori dimostrano (Lemma 7) che questo momento è limitato da $q^{11/8+\varepsilon}$. Questa stima è superiore a quanto ottenibile con metodi precedenti (come quelli basati solo su limiti convessi o su momenti secondi).

D. Analisi delle Somme di Ramanujan

Gli autori dimostrano che le somme incrociate dei coefficienti $A_{h/q}(n)$ possono essere espresse in termini di somme di Ramanujan $c_q(n \pm m)$ e funzioni $d_3$. Questo permette di ridurre il problema alla stima di somme bilineari della forma:
$$\sum_{n, m} d_3(n)d_3(m)c_q(n-m)$$
Grazie alle stime sui momenti delle funzioni L, riescono a ottenere un "cancellation" (annullamento) più forte in queste somme.

3. Risultati Principali

Il risultato centrale è enunciato nel Teorema 1.1.

Sia $q$ un numero primo e $x$ un parametro grande. Definendo l'errore di distribuzione $\Delta(a/q)$ come la differenza tra la somma di $d_3(n)$ nella progressione e il suo termine principale atteso, gli autori provano che:

$$\sum_{a=1}^{q} |\Delta(a/q)|^2 \ll_\varepsilon x^{3/2+\varepsilon} q^{11/16}$$

valido per tutti i moduli primi $q \le x^{8/11-\varepsilon}$.

Da questo risultato, tramite la disuguaglianza di Cauchy-Schwarz, deriva il Teorema 1.2, che stabilisce l'esponente di distribuzione medio:
$$\sum_{a=1}^{q} |\Delta(a/q)| \ll_\varepsilon x^{3/4+\varepsilon} q^{11/32}$$

Ciò implica che la distribuzione di $d_3(n)$ nelle progressioni aritmetiche con modulo primo è uniforme (equidistribuita) in media per moduli fino a $q \le x^{8/11}$.

4. Significato e Impatto

1. Miglioramento Quantitativo: Il passaggio da $2/3 \approx 0.666$ a $8/11 \approx 0.727$ rappresenta un significativo avanzamento nella comprensione della distribuzione dei divisori. Questo avvicina il limite medio per $d_3(n)$ a quello classico per $d(n)$ ($2/3$), suggerendo che la struttura delle somme medie di $d_3$ è più regolare di quanto si pensasse in assenza di tecniche subconvexe.
2. Applicabilità del Limite Petrow-Young: Il lavoro dimostra l'efficacia pratica del limite subconvesso di Petrow-Young in problemi di teoria dei numeri classici legati alle funzioni dei divisori. Dimostra che questi strumenti moderni possono essere integrati nelle formule di Voronoi per ottenere risultati superiori.
3. Metodologia Ripetibile: La struttura della prova, che combina la formula di Voronoi, la decomposizione in caratteri di Dirichlet e la stima dei momenti di ordine superiore, offre un modello per affrontare problemi simili per altre funzioni aritmetiche o per $d_k(n)$ con $k > 3$.
4. Confronto con $d_4(n)$: Il lavoro segue e generalizza un risultato recente di Parry per $d_4(n)$ (che ha ottenuto un esponente di $4/7$), applicando la stessa logica al caso $k=3$ ma ottenendo un risultato migliore grazie alla specifica natura dei moduli primi e alle stime dei momenti.

In sintesi, il paper rappresenta un passo avanti significativo nella teoria analitica dei numeri, dimostrando che l'uso di limiti subconvessi moderni permette di superare le barriere storiche nella distribuzione media delle funzioni dei divisori ternarie.