Amplified moments of the Riemann zeta function

Sintesi Tecnica: Momenti Amplificati della Funzione Zeta di Riemann

Enunciato del Problema
La valutazione dei momenti della funzione zeta di Riemann, definiti come $M_k(T) = \int_0^T |\zeta(1/2 + it)|^{2k} dt$, è un problema centrale nella teoria analitica dei numeri. Sebbene siano note formule asintotiche per $k=1$ e $k=2$ (Hardy–Littlewood e Ingham), e esistano limiti precisi per $k$ più elevati (condizionati dall'Ipotesi di Riemann per i limiti superiori), le formule asintotiche incondizionate per $k \ge 3$ rimangono fuori portata. L'obiettivo primario di questo lavoro è stabilire migliorati limiti inferiori efficaci e incondizionati per i momenti classici $M_k(T)$ e per vari momenti congiunti che coinvolgono le derivate di $\zeta(s)$. Questi limiti sono confrontati con le congetture di Keating–Snaith, Keating–Wei e altri, che sono motivate dalla teoria delle matrici casuali.

Metodologia
Gli autori utilizzano un metodo di "momenti amplificati", impiegando valori medi con torsione (twisted mean values) per sondare i momenti di ordine superiore. La tecnica fondamentale consiste nell'applicazione della disuguaglianza di Hölder ad integrali della forma:
$$\int_0^T |\zeta(1/2 + it)|^{2k} dt \ge \frac{\left( \int_0^T |\zeta(1/2 + it)|^4 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-4} dt \right)^{k-1}}{\left( \int_0^T |\zeta(1/2 + it)|^2 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-2} dt \right)^{k-2}}$$
dove $A(s)$ è un polinomio di Dirichlet di lunghezza $y = T^\theta$ (o $T^\vartheta$ per i quarti momenti) con coefficienti polinomiali lisci $P[n]$.

Componenti metodologiche chiave includono:

1. Amplificatore a due pezzi: A differenza degli approcci precedenti che utilizzavano un singolo polinomio di Dirichlet, gli autori utilizzano l'amplificatore a "due pezzi" $A(s) + \chi(s)A(1-s)$, che imita l'equazione funzionale approssimata. Ciò consente una migliore modellazione di $\zeta(s)$ e facilita la gestione dei momenti congiunti.
2. Decomposizione Binomiale: La potenza dell'amplificatore viene espansa utilizzando il Teorema Binomiale, separando l'integrale in un termine principale (contributi diagonali) e termini oscillatori che coinvolgono potenze di $\chi(1-s)$.
3. Valutazione Asintotica: Gli autori stabiliscono formule asintotiche per i secondi e i quarti momenti con torsione con alte potenze dell'amplificatore. Dimostrano che i termini con alte potenze di $\chi(1-s)$ (specificamente $\nu \ge 2$ per i secondi momenti e $\nu \ge 3$ per i quarti momenti) sono trascurabili ($O(T^{1-\varepsilon})$) a causa della rapida oscillazione, a condizione che i parametri di lunghezza dell'amplificatore soddisfino $\theta_k < 1/(2k)$ e $\vartheta_k < 1/(4k)$.
4. Integrali su Politopi: I termini principali vengono ridotti a integrali multidimensionali su politopi (simplessi). Questi integrali vengono valutati esplicitamente utilizzando trasformate di Mellin e proprietà della funzione zeta di Riemann, risultando in espressioni che coinvolgono la funzione $G$ di Barnes e fattori aritmetici.
5. Ottimizzazione: I coefficienti del polinomio $P(x)$ sono ottimizzati numericamente (utilizzando Wolfram Mathematica) per massimizzare i limiti inferiori risultanti.

Contributi Chiave e Risultati

• Limiti Inferiori Incondizionati per i Momenti Classici:
  Il documento stabilisce un nuovo limite inferiore incondizionato per il sesto momento:
  $$M_3(T) \ge (34.1 + o(1))c_3 T (\log T)^9$$
  Questo migliora i limiti precedenti di Conrey–Ghosh, Soundararajan e Page, avvicinandosi al valore congetturato da Keating–Snaith di $42c_3 T (\log T)^9$.

• Momenti delle Derivate:
  Nuovi limiti inferiori incondizionati sono ottenuti per i sesti momenti della prima e della seconda derivata di $\zeta(s)$:
  $$\int_0^T |\zeta'(1/2 + it)|^6 dt \ge (0.549 + o(1))c_3 T (\log T)^{15}$$
  $$\int_0^T |\zeta''(1/2 + it)|^6 dt \ge (0.0231 + o(1))c_3 T (\log T)^{21}$$
  Questi risultati migliorano i limiti precedenti di Page e altri.

• Momenti Congiunti:
  Gli autori forniscono limiti inferiori incondizionati per diversi momenti congiunti che coinvolgono $\zeta(s)$ e le sue derivate (ad esempio, $\int |\zeta|^2 |\zeta'|^4$, $\int |\zeta|^4 |\zeta'|^2$, ecc.). Questi limiti sono in forte accordo con le congetture di Keating–Wei.

• Raffinatezza dei Limiti di Soundararajan (Teorema 10):
  Il documento rimuove l'assunzione dell'Ipotesi di Lindelöf dai limiti di Soundararajan per $M_5(T)$ e $M_6(T)$, rendendoli incondizionati. Inoltre, introducendo un secondo pezzo all'amplificatore, gli autori migliorano i limiti inferiori per $M_k(T)$ per $7 \le k \le 11$. Ad esempio:
  $$M_5(T) \ge (6484 + o(1))c_5 T (\log T)^{25}$$
  $$M_6(T) \ge (56260 + o(1))c_6 T (\log T)^{36}$$
  Questi risultati derivano dalla modifica degli argomenti di Soundararajan per gestire incondizionatamente i termini oscillatori.

• Momenti Congiunti Generali (Teorema 11):
  Viene stabilito un limite inferiore incondizionato generale per tutti i momenti interi congiunti di $\zeta(s)$ e delle sue derivate. Il limite è espresso in termini di una costante $C(a_1, \dots, a_K)$ derivata da un prodotto di Eulero e da una derivata di una funzione razionale, coerente con le previsioni della teoria delle matrici casuali.

Significato e Rivendicazioni
Il documento sostiene di far avanzare significativamente lo stato della conoscenza riguardante i limiti inferiori per i momenti della zeta. La sua importanza primaria risiede nel:

1. Rimozione delle Assunzioni Condizionate: Rimuove con successo il requisito dell'Ipotesi di Lindelöf per specifici momenti di ordine superiore ($k=5, 6$) e fornisce limiti incondizionati per una vasta gamma di momenti congiunti.
2. Miglioramento dei Costanti Numeriche: I limiti inferiori derivati sono numericamente più vicini ai valori congetturati (Keating–Snaith, Keating–Wei) rispetto a qualsiasi precedente risultato incondizionato.
3. Flessibilità Metodologica: L'approccio dei momenti amplificati a "due pezzi" si dimostra particolarmente efficace per i momenti congiunti, superando le difficoltà computazionali associate agli integrali su politopi per i momenti più elevati combinando l'approccio con le tecniche dell'amplificatore di Soundarajan.

Gli autori osservano che, sebbene il loro metodo produca limiti forti, la lunghezza del polinomio di Dirichlet consentito diminuisce all'aumentare dell'ordine del momento $k$, il che limita il recupero di certi fenomeni uniformi osservati in altri quadri (come quelli di Bui, Hall e Subira Jorge). Tuttavia, per l'obiettivo specifico di ottenere limiti inferiori efficaci e incondizionati per i momenti interi, l'approccio si rivela altamente efficace.