More than two thirds of the zeta zeros are simple and on the critical line

Sintesi Tecnica: "Più di due terzi degli zeri della funzione zeta di Riemann sono semplici e sulla linea critica"

Definizione del Problema
Il documento affronta la distribuzione degli zeri non triviali della funzione zeta di Riemann, $\zeta(s)$. Nello specifico, cerca limiti inferiori incondizionati per due quantità all'aumentare di $T \to \infty$:

1. La proporzione di zeri che giacciono sulla linea critica ($\text{Re}(s) = 1/2$) che sono semplici (molteplicità 1).
2. La proporzione di zeri distinti (contando la molteplicità come 1 indipendentemente dall'ordine) che giacciono sulla linea critica.

Prima di questo lavoro, i record incondizionati erano $5/12$ ($\approx 0,4167$) per gli zeri semplici sulla linea e $0,6603$ per gli zeri distinti. Sotto l'ipotesi di Riemann (RH), Montgomery (1973) ha dedotto che almeno $2/3$ degli zeri sono semplici sulla linea, e il lavoro successivo ha migliorato i limiti per gli zeri distinti. La sfida è stata quella di rimuovere la dipendenza dalla RH, che storicamente era necessaria per garantire la positività del "lato degli zeri" della formula esplicita di Weil quando si somma su ordinata reali.

Metodologia
La dimostrazione costruisce un'approssimazione a dimensione finita della formula esplicita di Weil e applica disuguaglianze di rango-traccia algebriche lineari per bypassare la necessità della RH.

1. Formula Esplicita di Weil e Forme Hermitiane:
   I autori utilizzano la formula esplicita di Weil per definire una forma hermitiana $W(f, g) = \sum_\rho m_\rho \hat{f}(\gamma_\rho) \overline{\hat{g}(\gamma_\rho)}$ su funzioni di test. La positività di questa forma su tutte le funzioni a supporto compatto è equivalente alla RH.
   Invece di assumere la positività, gli autori restringono questa forma a una specifica famiglia di $d \approx N(T, 2T)$ funzioni di test modulate (una "finestra" $\psi$) spaziate sull'intervallo $[T, 2T]$. Ciò produce una matrice reale simmetrica $\tilde{G}$ di dimensione $d \times d$.

2. Decomposizione Matriciale (Il Lato degli Zeri):
   La matrice $\tilde{G}$ è decomposta in $\tilde{G} = P + Q + E$, dove:

• $P$ rappresenta i contributi degli zeri sulla linea critica.
• $Q$ rappresenta i contributi delle coppie off-line $\{\rho, 1-\bar{\rho}\}$.
• $E$ è un termine di coda con norma traccia piccola.

Fondamentalmente, gli autori analizzano il rango e l'indice positivo (numero di autovalori positivi) di questi componenti:

• Ogni zero semplice sulla linea contribuisce con rango 1 a $P$.
• Ogni coppia off-line contribuisce con un blocco di firma $(1, 1)$ a $Q$, il che significa che contribuisce con 1 all'indice positivo $n_+(Q)$ ma con 0 al rango della parte "on-line".
• Questa intuizione strutturale, attribuita a Bombieri, permette agli autori di limitare il numero di coppie off-line utilizzando l'indice positivo di $Q$.

3. Disuguaglianza Rango-Traccia (L'Innovazione Centrale):
   Il documento introduce una specifica disuguaglianza algebrica lineare (Lemma 3.2) per matrici hermitiane $P_1 \succeq 0$ e $Q'$:
   $$\text{rank}(P_1) \ge 2\text{tr}(P_1) + 4\text{tr}(Q') - 4n_+(Q') - \|P_1 + Q'\|_{HS}^2$$
   Impostando $P_1$ come la parte di $P$ corrispondente agli zeri on-line semplici e $Q'$ come il resto, gli autori derivano un limite inferiore per il numero di zeri on-line semplici ($N_s^0$) puramente in termini di traccia e norma di Frobenius di $\tilde{G}$ e del conteggio delle coppie off-line. Questo sostituisce il classico requisito di positività term-wise (che fallisce fuori dalla linea) con un limite "rango-traccia".

4. Il Lato dei Numeri Primi (Valutazione Incondizionata):
   La traccia $\text{tr}(\tilde{G})$ e la norma di Frobenius al quadrato $\|\tilde{G}\|_{HS}^2$ sono valutate utilizzando il "lato dei numeri primi" della formula di Weil.

• Si dimostra che $\text{tr}(\tilde{G})$ è asintoticamente $N(T, 2T)$.
• $\|\tilde{G}\|_{HS}^2$ è valutata come valore medio di un polinomio di Dirichlet. Ciò si basa sulla disuguaglianza di Montgomery–Vaughan e sui limiti sulle somme di $\Lambda(n)^2$.
• Il risultato è $\|\tilde{G}\|_{HS}^2 = (R(\psi) + o(1))N(T, 2T)$, dove $R(\psi)$ è una costante dipendente dalla funzione finestra. Per la finestra indicatrice, $R(\psi_0) = 4/3$.

Contributi Chiave e Risultati
Il documento stabilisce i seguenti risultati incondizionati per l'intervallo $(T, 2T)$:

• Teorema A(i): Almeno $2/3$ (specificamente $2/3 - o(1)$) degli zeri non triviali sono semplici e giacciono sulla linea critica.
  • Utilizzando la finestra di Montgomery–Taylor, questa costante migliora a $0,6725$.
• Teorema A(ii): Almeno $5/6$ (specificamente $5/6 - o(1)$) degli zeri non triviali sono distinti e giacciono sulla linea critica.
  • Utilizzando la finestra di Montgomery–Taylor, questa costante migliora a $0,8362$.
• Teorema B: Questi risultati si estendono verba ai prodotti di funzioni $L$ di Dirichlet primitive $L(s, \chi)$.

La dimostrazione non utilizza mollificatori, stime di densità degli zeri o regioni prive di zeri. Si affida alla formula esplicita, alla stima di Stirling, alle stime di Chebyshev–Mertens e alla disuguaglianza di Montgomery–Vaughan.

Significato e Rivendicazioni

• Rendere Incondizionale la Deduzione di Montgomery: Il documento sostiene di rendere incondizionale la deduzione di Montgomery del 1973 della proporzione di $2/3$. Classicamente, la RH era necessaria per interpretare la somma lato zeri come una somma positiva su ordinate reali. Qui, gli autori sostituiscono tale positività con una disuguaglianza rango-traccia applicata a una compressione finita della forma di Weil.
• Ottimalità del Metodo: Gli autori sostengono che il limite di $2/3$ sia ottimale per questo specifico metodo. Dimostrano che la disuguaglianza utilizzata è netta dato solo il rango, la traccia, la norma di Frobenius e la struttura a blocchi della matrice. Migliorare il limite oltre $2/3$ usando questo specifico approccio "rango-traccia" richiederebbe informazioni sulla correlazione di coppia oltre il supporto di Fourier 1 (ovvero, la conoscenza di momenti superiori del lato dei numeri primi), che attualmente non sono disponibili in modo incondizionato.
• Verifica Formale: L'argomento matematico è stato scoperto e scritto da un'IA (Claude), verificato da autori umani e formalmente verificato in Lean 4. La formalizzazione conferma che la dimostrazione si basa solo su assiomi standard.
• Limitazioni: Il documento dichiara esplicitamente cosa i risultati non sono. Sono solo limiti inferiori; gli zeri rimanenti non sono provati essere off-line, sono semplicemente non catturati da questo specifico certificato. Il metodo è insensibile a zeri off-line di ordine $o(N)$ e rimarrebbe valido anche per funzioni in cui l'ipotesi di Riemann è falsa (ad esempio, le funzioni zeta di Davenport–Heilbronn), purché gli input aritmetici siano validi.

In sintesi, il documento fornisce una dimostrazione rigorosa e incondizionata che una significativa maggioranza ($>66\%$) degli zeri della zeta è semplice e sulla linea critica, raggiungendo un limite che eguaglia il classico risultato condizionale di Montgomery attraverso un'originale applicazione di vincoli algebrici di rango alla formula esplicita.