Oscillation of partial sums of the Möbius function and zeros of Riemann's zeta function

Nel vasto panorama della matematica, esiste una singola domanda che ha tormentato gli studiosi per quasi due secoli: come sono distribuiti i numeri primi? I numeri primi sono i mattoni dell'aritmetica, gli atomi indivisibili da cui sono costruiti tutti gli altri numeri interi. Sebbene sembrino apparire in modo casuale, i matematici sospettano da tempo la presenza di un ordine nascosto sotto il caos. Questo ordine è codificato in un complesso oggetto matematico noto come funzione zeta di Riemann. Il comportamento di questa funzione, specificamente la posizione dei suoi "zeri" — i punti in cui il valore della funzione scende a zero — detta il ritmo dei numeri primi. Se questi zeri giacciono su una linea specifica, i numeri primi seguono un modello prevedibile; se si discostano, il modello diventa erratico. Per oltre cento anni, la connessione tra questi zeri e gli errori nelle nostre previsioni sui numeri primi è stata un mistero centrale, guidando alcuni dei lavori più profondi nella teoria dei numeri.

Un recente articolo del matematico János Pintz affronta un aspetto specifico e difficile di questo mistero: il comportamento delle somme parziali della funzione di Möbius. Per comprendere questo, immaginate un conteggio progressivo in cui si aggiunge o si sottrae uno per ogni numero in base ai suoi fattori primi. Questo conteggio, noto come funzione di Mertens, è un barometro sensibile per la distribuzione dei numeri primi. Per decenni, i matematici hanno cercato di prevedere quanto possa oscillare verso l'alto o verso il basso questo conteggio. Una famosa congettura suggeriva un tempo che il conteggio non avrebbe mai superato la radice quadrata del numero che si stava contando, ma ciò è stato dimostrato falso negli anni '80. La domanda rimasta non riguardava solo l'entità di queste oscillazioni, ma la loro precisa relazione con gli zeri della funzione zeta. L'ampiezza media di queste oscillazioni corrisponde all'ampiezza della singola oscillazione massima? E l'una e l'altra corrispondono al massimo teorico previsto dagli zeri?

Il lavoro di Pintz fornisce una risposta definitiva a queste domande, stabilendo un legame rigoroso tra il comportamento erratico della funzione di Möbius e la geometria degli zeri della funzione zeta. L'articolo dimostra che l'ampiezza media delle oscillazioni della funzione di Möbius e l'ampiezza massima di tali oscillazioni sono, nel lungo periodo, asintoticamente equivalenti nel loro ordine logaritmico. Ancora più importante, l'autore dimostra che entrambi questi valori sono determinati con alta precisiono da una funzione reale derivata dalla distribuzione degli zeri della funzione zeta. In termini più semplici, l'articolo mostra che il "rumore" dei numeri primi non è un caos casuale ma è strettamente controllato dalla posizione dello zero più dominante. Questa scoperta unifica due modi diversi di misurare l'errore nelle previsioni sui numeri primi — l'errore medio e l'errore nel caso peggiore — mostrando che crescono allo stesso ritmo e sono governati dalla stessa forza sottostante.

La ricerca si basa su un secolo di sforzi, perfezionando risultati precedenti che avevano stabilito solo connessioni deboli o che operavano sotto ipotesi rigide. Il lavoro precedente aveva mostrato che se gli zeri della funzione zeta rimangono entro una certa regione, l'errore nel conteggio dei primi rimane piccolo. Tuttavia, la domanda inversa — se la dimensione dell'errore ci indichi esattamente dove si trovano gli zeri — era molto più difficile da risolvere. Il saggio di Pintz affronta questo punto dimostrando che i tassi di crescita degli errori medi e massimi sono asintoticamente equivalenti ai tassi di crescita previsti dagli zeri. Sviluppando nuove tecniche per gestire le singolarità matematiche che sorgono lavorando con l'inverso della funzione zeta, l'autore è stato in grado di provare che la relazione è una precisa equivalenza asintotica in termini di ordine logaritmico, il che significa che il rapporto tra i loro logaritmi tende a 1. L'articolo conferma che il valore massimo che la funzione di Möbius raggiunge in un dato intervallo e il valore medio che mantiene nello stesso intervallo condividono lo stesso tasso di crescita logaritmica. Ciò significa che, guardando numeri sempre più grandi, la differenza tra il comportamento tipico e il comportamento estremo svanisce in senso logaritmico, anche se i valori stessi non diventano identici.

Una parte cruciale di questo traguardo riguarda la gestione del caso in cui gli zeri potrebbero trovarsi molto vicino alla linea critica che separa l'ordine dal caos. L'articolo affronta lo scenario in cui gli zeri sono il più possibile a destra senza infrangere le leggi matematiche note. In questo caso difficile, l'autore dimostra che i valori medi e massimi convergono comunque alla stessa previsione derivata dagli zoli. Questo risultato è significativo perché elimina la necessità di ricorrere a regioni complesse e astratte di "spazio privo di zeri" per fare queste previsioni. Invece, l'articolo mostra che si può semplicemente guardare alla somma dei contributi di tutti gli zeri per comprendere il comportamento della funzione. L'autore stabilisce che la somma di questi contributi, il massimo contributo singolo e i valori effettivi osservati della funzione crescono tutti allo stesso ritmo.

L'articolo chiarisce anche la relazione tra la funzione di Möbius e il termine di errore del teorema dei numeri primi, che conta il numero di primi fino a un certo punto. Sebbene questi siano due oggetti matematici differenti, Pintz mostra che i loro comportamenti oscillatori sono quasi identici. La deviazione massima e la deviazione media per l'errore nel conteggio dei primi e la somma di Möbius sono mostrate essere governate dalla stessa funzione degli zeri della zeta. Ciò implica un'unità strutturale profonda nel modo in cui i numeri primi e le loro funzioni correlate fluttuano. Il lavoro non si basa su ipotesi non dimostrate come l'Ipotesi di Riemann stessa; piuttosto, è valido indipendentemente da dove si trovino effettivamente gli zeri, purché rientrino nei limiti noti. I risultati sono provati matematicamente, non simulati o suggeriti, offrendo una solida base per comprendere i limiti della distribuzione dei numeri primi.

In definitiva, questo articolo risolve un'ambiguità di lunga data sulla natura di queste oscillazioni matematiche. Conferma che lo scenario del "caso peggiore" per la distribuzione dei numeri primi non è significativamente peggiore dello scenario "medio" quando visto attraverso la lente della crescita logaritmica. Entrambi sono dettati dalla stessa geometria sottostante della funzione zeta. Il lavoro funge da potente conferma del fatto che le fluttuazioni apparentemente casuali dei numeri primi sono, in realtà, un fenomeno altamente strutturato, strettamente legato alla posizione degli zeri della funzione zeta di Riemann. Provando che l'ordine di grandezza medio e quello massimo coincidono nella loro crescita logaritmica, l'articolo fornisce una mappa più chiara e precisa del terreno in cui vivono i numeri primi, mostrando che gli estremi e la quotidianità sono due facce della stessa medaglia.