The Riemann Hypothesis is false

1. Il Problema

Il lavoro affronta l'ipotesi più famosa e irrisolta della teoria dei numeri: l'Ipotesi di Riemann (RH). L'ipotesi afferma che tutti gli zeri non banali della funzione zeta di Riemann, $\zeta(s)$, giacciono sulla "linea critica" $\Re(s) = 1/2$.
Il paper definisce $\Theta$ come il supremo delle parti reali degli zeri di $\zeta(s)$. L'obiettivo dell'autore è dimostrare rigorosamente che $\Theta = 1$, il che implicherebbe l'esistenza di infiniti zeri fuori dalla linea critica, smentendo di fatto l'Ipotesi di Riemann.

2. Metodologia

L'autore impiega una combinazione di strumenti classici dell'analisi numerica e della teoria analitica dei numeri, strutturando la dimostrazione attorno a un'analisi asintotica di somme su zeri.

• Strumenti Principali:

  • Formula Esplicita di Landau-Gonek: Utilizzata per collegare le somme sugli zeri della funzione zeta alle funzioni aritmetiche (in particolare la funzione $\Lambda$ di von Mangoldt).
  • Approssimazione Dirichlet: Sfruttata per stimare $\zeta(s)$ e le sue derivate logaritmiche.
  • Teorema dei Residui: Applicato per convertire integrali complessi in somme discrete sugli zeri.
  • Stime di Titchmarsh: Vengono citati risultati specifici (Teorema 4.11 e Lemma 4.10 di Titchmarsh) per gestire le somme esponenziali e le stime degli errori.

• Strategia della Dimostrazione:

  1. Integrazione Contour: L'autore considera un rettangolo nel piano complesso con lati verticali a $\Re(s) = -1$ e $\Re(s) = 1 + \frac{1}{\log 2n}$, e lati orizzontali a $T$ e $H$ (dove $H \approx 2T$).
  2. Decomposizione dell'Integrale: L'integrale della derivata logaritmica $\frac{\zeta'}{\zeta}(s)(2n)^{s-1}$ viene scomposto in quattro parti ($I_1, I_2, I_3, I_4$).
  3. Stima dei Termini di Bordo: I termini $I_2, I_3, I_4$ (che corrispondono ai lati superiore, inferiore e sinistro del contorno) vengono stimati come trascurabili ($O(T^{1/2} \log^8 T)$) utilizzando l'equazione funzionale approssimata e la derivata logaritmica.
  4. Analisi del Termine Principale ($I_1$): Il termine $I_1$ (lato destro) viene sviluppato esplicitamente. L'autore esegue una somma complessa su $m$ e $n$, gestendo attentamente i casi in cui $2n$ è vicino a $m$ (dove il logaritmo $\log(2n/m)$ diventa piccolo) e i casi in cui è lontano.
  5. Uso della Serie di Fourier: Per gestire le somme oscillanti vicino alla singolarità, l'autore utilizza stime sulla serie di Fourier della parte frazionaria $\{x\}$ e sulla distanza all'intero più vicino $\|x\|$.
  6. Contraddizione Asintotica:
     • Da un lato, la somma degli integrali porta a un termine principale lineare in $T$ (dipendente da costanti come la costante di Eulero-Mascheroni $B$ e $\log(\pi/2)$).
     • Dall'altro, se si assumesse $\Theta < 1$ (come richiesto dall'RH), la somma sugli zeri $\sum (2n)^{\rho-1}$ dovrebbe essere limitata da $O(T^{\Theta} \log T)$.
     • Poiché il termine lineare in $T$ (ottenuto dal calcolo diretto) non può essere bilanciato da un termine $O(T^{\Theta})$ con $\Theta < 1$, l'autore conclude che l'assunzione $\Theta < 1$ è falsa.

3. Risultati Chiave

• Teorema 1: $\Theta = 1$. Questo è il risultato centrale che afferma che il supremo delle parti reali degli zeri è 1.
• Corollario 1: Esiste una sequenza infinita di zeri di $\zeta(s)$ le cui parti reali convergono a 1.
• Osservazione 1: Per ogni $T$ sufficientemente grande (razionale), esiste uno zero $\rho_T$ con $T \le \Im(\rho_T) \le 2T+1$ tale che $\Re(\rho_T) = 1 - o(1)$.

4. Contributi e Limitazioni (Secondo l'Autore)

L'autore discute perché il suo metodo non si applichi ad altre funzioni zeta, suggerendo che la dimostrazione è specifica per la funzione zeta di Riemann classica:

• Funzioni Zeta di Weil e Beurling: L'argomento fallisce per queste funzioni perché non soddisfano le stesse proprietà (in particolare il Teorema 4.11 di Titchmarsh e l'equazione funzionale specifica) che sono cruciali per la derivazione delle stime. È noto che l'analogo dell'RH è vero per le funzioni zeta di Weil.
• Limiti del Lemma 1: L'autore nota che il Lemma 1 (Teorema 4.11 di Titchmarsh) richiede che la parte reale $\sigma$ sia limitata inferiormente da una costante $\sigma_0 > 0$. Questo impedisce di applicare il metodo per ottenere un limite superiore stretto per $\Theta$ (ad esempio, non si può dimostrare che $\Theta$ sia esattamente 1 o meno di 1 senza l'assunzione di contraddizione).

5. Significato e Criticità

• Impatto Teorico: Se la dimostrazione fosse corretta, rappresenterebbe una delle scoperte più significative nella storia della matematica, distruggendo l'Ipotesi di Riemann e costringendo a una revisione di gran parte della teoria analitica dei numeri moderna che si basa sulla validità dell'RH.
• Contesto e Validità: È fondamentale notare che il paper è stato pubblicato su arXiv (con identificativo 2006.12546v49 e una data futura nel metadato "17 Feb 2026", indicativa di una versione di prova o di un errore di formattazione nel file originale, ma il contenuto è quello di un manoscritto pre-print).
  • Nota Critica: Nella comunità matematica, le affermazioni di "smentita" dell'Ipotesi di Riemann sono estremamente comuni e quasi sempre contengono errori sottili. La complessità delle stime asintotiche (specialmente la gestione dei termini di errore $O(\cdot)$ nelle somme doppie e nelle approssimazioni di Titchmarsh) rende la verifica di tale dimostrazione estremamente difficile senza un'attenta revisione paritaria (peer review).
  • Il fatto che l'autore stesso ammetta che il metodo non funziona per le funzioni zeta di Weil (dove l'RH è vera) suggerisce che la dimostrazione potrebbe dipendere da una proprietà specifica della funzione zeta di Riemann che potrebbe essere stata interpretata in modo errato o che non esclude la possibilità di errori nelle stime degli errori ($O$-notation).

In sintesi, il paper presenta un tentativo ambizioso di dimostrare che $\Theta=1$ utilizzando una combinazione sofisticata di formule esplicite e stime asintotiche. Tuttavia, data la natura dell'argomento e la mancanza di una revisione paritaria formale in una rivista prestigiosa, il risultato deve essere considerato non provato e altamente sospetto dalla comunità matematica standard, che continua a considerare l'Ipotesi di Riemann come vera.