Partial sums of random multiplicative functions with supercritical divisor twists

1. Il Problema e il Contesto

Il paper si inserisce nell'ambito della teoria dei numeri probabilistica, focalizzandosi sullo studio delle somme parziali di funzioni moltiplicative casuali. In particolare, l'autore analizza il comportamento delle somme parziali della funzione $f(n)$ moltiplicata per una funzione moltiplicativa deterministica $d_\alpha(n)$, dove:

• $f(n)$ è una funzione moltiplicativa casuale di Steinhaus, definita assegnando a ogni numero primo $p$ una variabile casuale $Z_p$ distribuita uniformemente sul cerchio unitario complesso, e estendendo $f$ per moltiplicatività completa.
• $d_\alpha(n)$ è la funzione divisore generalizzata (o coefficiente di Dirichlet), definita tramite lo sviluppo in serie di Dirichlet di $\zeta(s)^\alpha = \sum d_\alpha(n)n^{-s}$.

L'obiettivo principale è determinare l'ordine di grandezza dei momenti delle somme parziali normalizzate:
$$E\left\{ \left| \frac{1}{\sqrt{x}} \sum_{n \le x} d_\alpha(n)f(n) \right|^{2q} \right\}$$
per $\alpha \in (1, 2)$ e $q \in [0, 1/\alpha]$.

Questo lavoro estende un risultato seminale di Adam Harper (2020) che risolveva la congettura di Helson per il caso critico $\alpha = 1$. Mentre il caso $\alpha=1$ corrisponde alla fase "critica" della teoria del caos moltiplicativo gaussiano (GMC), il caso $\alpha \in (1, 2)$ rappresenta la fase supercritica, dove le correzioni logaritmiche doppie (double-logarithmic corrections) diventano più complesse e richiedono una comprensione precisa dei massimi locali dei prodotti di Eulero.

2. Metodologia

L'approccio dell'autore si basa su una nuova e autonoma dimostrazione del confronto tra le somme parziali e gli integrali di prodotti di Eulero casuali, evitando l'uso di teoremi di Girsanov approssimati (usati da Harper) a favore di uno studio diretto delle deviazioni grandi (large deviations) dei prodotti di Eulero.

I pilastri metodologici includono:

1. Riduzione a Prodotti di Eulero: Utilizzando argomenti di setaccio (sieve-theoretic) e il teorema di Parseval, la somma parziale viene ridotta allo studio dei momenti di integrali del tipo:
   $$\int_0^1 |F_y(\sigma + ih)|^\gamma dh$$
   dove $F_y(s) = \prod_{p \le y} (1 - f(p)p^{-s})^{-1}$ è il prodotto di Eulero troncato, e $\gamma$ è legato a $\alpha$ (nel caso principale $\gamma = 2\alpha$).

2. Analisi dei Livelli e dei Massimi: L'autore studia la misura degli insiemi di livello di $\log |F_y(s)|$. Si dimostra che l'integrale è dominato dai punti $h$ in cui $\log |F_y|$ raggiunge valori vicini al suo massimo locale.

   • Per $\alpha > 1$ (fase supercritica), il contributo principale non proviene da una distribuzione gaussiana standard, ma dalle regioni attorno ai massimi locali del campo log-correlato.
   • Vengono costruite "barriere" (upper barriers) precise per il cammino casuale associato al logaritmo del prodotto di Eulero, permettendo di stimare la probabilità che il processo superi certi livelli.

3. Strumenti Probabilistici:

   • Approssimazione Gaussiana: Uso del teorema di Berry-Esseen e confronti con cammini casuali gaussiani per gestire le fluttuazioni.
   • Misura Ribaltata (Tilted Measure): Per gestire le somme su intervalli mesoscopici e le somme parziali, l'autore introduce una misura di probabilità ribaltata (tilted measure) che introduce una deriva nel cammino casuale, permettendo di controllare i momenti in regimi dove le stime standard falliscono.
   • Discretizzazione e Chaining: Tecniche standard per controllare il massimo di campi stocastici su intervalli continui discretizzandoli.

3. Risultati Principali

Teorema 1.1 (Stima Superiore per Somme Parziali)

Per $\alpha \in (1, 2)$ e uniformemente per $x$ grande e $q \in [0, 1/\alpha]$, l'autore stabilisce:
$$E\left\{ \left| \frac{1}{\sqrt{x}} \sum_{n \le x} d_\alpha(n)f(n) \right|^{2q} \right\} \ll \frac{(\log x)^{2q(\alpha-1)}}{(\log \log x)^{3\alpha q/2 (1-\alpha q) + 1}}$$
Questo risultato corrisponde alle previsioni della teoria del Caos Moltiplicativo Gaussiano Supercritico e fornisce un analogo del risultato di Harper per il caso critico. La presenza del termine $(\log \log x)$ nel denominatore è cruciale e riflette la natura supercritica del sistema.

Teorema 1.3 (Stima per Integrali di Prodotti di Eulero)

Viene dimostrata una stima precisa per i momenti di integrali di potenze del prodotto di Eulero su linee verticali vicine alla retta critica:
$$E\left\{ \left( \frac{1}{\log y} \int_0^1 |F_y(\sigma_k + ih)|^\gamma dh \right)^q \right\} \ll \frac{(\log y)^{(\gamma-2)q}}{(\log \log y)^{3\gamma q/4 (2-\gamma q) + 1}}$$
per $\gamma \in (2, 4)$. Questa stima è fondamentale per derivare il Teorema 1.1.

Corollari sui Massimi e Misure di Livello

• Corollario 1.4: Fornisce un limite superiore per la probabilità che il massimo di $|F_x(1/2+ih)|$ superi una certa soglia, migliorando le stime precedenti e allineandosi alla congettura di Fyodorov-Hiary-Keating.
• Corollario 1.5: Stima la misura tipica degli insiemi di livello di $\log |F_x|$ vicino all'altezza dei massimi, mostrando che la misura è molto piccola (dell'ordine di $(\log x)^{-1}$) con alta probabilità.

Teorema 1.6 (Pseudo-momenti della Funzione Zeta)

Come applicazione, l'autore risolve una domanda di Gerspach riguardante i pseudo-momenti della funzione zeta di Riemann:
$$\Psi_{2q, \alpha}(x) = \lim_{T \to \infty} \frac{1}{T} \int_T^{2T} \left| \sum_{n \le x} \frac{d_\alpha(n)}{n^{1/2+it}} \right|^{2q} dt$$
Dimostra che per $\alpha \in (1, 2)$ e $q$ piccolo, il limite superiore è:
$$\Psi_{2q, \alpha}(x) \ll \frac{(\log x)^{2q(\alpha-1)}}{(\log \log x)^{q(3\alpha/2)}}$$
Questo conferma la congettura di Gerspach sulla corretta potenza del termine $(\log \log x)$ nel regime supercritico.

4. Contributi Chiave e Innovazioni

1. Nuova Prova per il Caso Critico ($\alpha=1$): L'autore fornisce una prova breve e auto-contenuta del limite superiore di Harper per la congettura di Helson, bypassando la necessità di un teorema di Girsanov approssimato e basandosi invece sullo studio diretto delle deviazioni grandi.
2. Estensione alla Fase Supercritica: È il primo lavoro a stabilire stime precise (con correzioni logaritmiche doppie) per somme parziali con twist divisori nel regime $\alpha \in (1, 2)$, colmando un divario tra la teoria del caos critico e supercritico.
3. Metodologia Unificata: L'uso di una singola strategia basata sulla misura degli insiemi di livello e sulle barriere per i massimi permette di trattare sia il caso critico che quello supercritico in modo coerente.
4. Risoluzione di una Congettura: La conferma del comportamento asintotico dei pseudo-momenti della funzione zeta per $\alpha > 1$ risponde a una domanda aperta nella letteratura recente.

5. Significato

Questo lavoro è significativo perché:

• Collega Teoria dei Numeri e Fisica Statistica: Rafforza il legame profondo tra le somme parziali di funzioni moltiplicative casuali e la teoria del Caos Moltiplicativo Gaussiano (GMC), mostrando come le transizioni di fase (da critico a supercritico) si manifestino nelle correzioni logaritmiche delle somme.
• Avanza la Comprensione della Funzione Zeta: I risultati sui pseudo-momenti offrono nuove intuizioni sul comportamento della funzione zeta di Riemann su intervalli brevi e su linee verticali, un problema centrale nell'analisi complessa e nella teoria dei numeri.
• Fornisce Strumenti Tecnici: Le tecniche sviluppate, in particolare l'analisi dei massimi di prodotti di Eulero casuali e l'uso di misure ribaltate, sono strumenti potenti che possono essere applicati ad altri problemi nella teoria dei numeri probabilistici e nella teoria dei campi log-correlati.

In sintesi, Hamdan estende i risultati fondamentali di Harper al regime supercritico, fornendo stime ottimali che confermano le previsioni della teoria del caos moltiplicativo e risolvendo problemi aperti riguardanti i momenti della funzione zeta.