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

Résumé Technique : « Plus des deux tiers des zéros de la fonction zêta de Riemann sont simples et sur la droite critique »

Énoncé du Problème
Le papier traite de la distribution des zéros non triviaux de la fonction zêta de Riemann, $\zeta(s)$. Plus précisément, il cherche des bornes inférieures inconditionnelles pour deux quantités lorsque $T \to \infty$ :

1. La proportion de zéros situés sur la droite critique ($\text{Re}(s) = 1/2$) qui sont simples (multiplicité 1).
2. La proportion de zéros distincts (comptant la multiplicité comme 1 quel que soit l'ordre) situés sur la droite critique.

Avant ce travail, les records inconditionnels étaient de $5/12$ ($\approx 0,4167$) pour les zéros simples sur la droite et de $0,6603$ pour les zéros distincts. Sous l'hypothèse de Riemann (RH), Montgomery (1973) a déduit qu'au moins $2/3$ des zéros sont simples sur la droite, et des travaux ultérieurs ont amélioré les bornes des zéros distincts. Le défi consistait à supprimer la dépendance vis-à-vis de la RH, qui était historiquement requise pour garantir la positivité du « côté des zéros » de la formule explicite de Weil lors de la sommation sur les ordinées réelles.

Méthodologie
La preuve construit une approximation de dimension finie de la formule explicite de Weil et applique des inégalités de rang-trace de type algébrique linéaire pour contourner le besoin de la RH.

1. Formule explicite de Weil et formes Hermitiennes :
   Les auteurs utilisent la formule explicite de Weil pour définir une forme hermitienne $W(f, g) = \sum_\rho m_\rho \hat{f}(\gamma_\rho) \overline{\hat{g}(\gamma_\rho)}$ sur des fonctions de test. La positivité de cette forme sur toutes les fonctions à support compact est équivalente à la RH.
   Au lieu de supposer la positivité, les auteurs restreignent cette forme à une famille spécifique de fonctions modulées $d \approx N(T, 2T)$ (une « fenêtre » $\psi$) espacées sur l'intervalle $[T, 2T]$. Cela produit une matrice réelle symétrique $\tilde{G}$ de taille $d \times d$.

2. Décomposition de la Matrice (Le Côté des Zéros) :
   La matrice $\tilde{G}$ est décomposée en $\tilde{G} = P + Q + E$, où :

• $P$ représente les contributions des zéros sur la droite critique.
• $Q$ représente les contributions des paires hors ligne $\{\rho, 1-\bar{\rho}\}$.
• $E$ est un terme de queue avec une norme de trace faible.

Crucialement, les auteurs analysent le rang et l'indice positif (nombre de valeurs propres positives) de ces composantes :

• Chaque zéro simple sur la ligne contribue de rang 1 à $P$.
• Chaque paire hors ligne contribue par un bloc de signature $(1, 1)$ à $Q$, ce qui signifie qu'elle contribue de 1 à l'indice positif $n_+(Q)$ mais de 0 au rang de la partie « sur la ligne ».
• Cette analyse structurelle, attribuée à Bombieri, permet aux auteurs de borner le nombre de paires hors ligne en utilisant l'indice positif de $Q$.

3. Inégalité Rang-Trace (L'Innovation Centrale) :
   Le papier introduit une inégalité algébrique linéaire spécifique (Lemme 3.2) pour les matrices hermitiennes $P_1 \succeq 0$ et $Q'$ :
   $$\text{rank}(P_1) \ge 2\text{tr}(P_1) + 4\text{tr}(Q') - 4n_+(Q') - \|P_1 + Q'\|_{HS}^2$$
   En fixant $P_1$ comme la partie de $P$ correspondant aux zéros simples sur la ligne et $Q'$ comme le reste, les auteurs dérivent une borne inférieure pour le nombre de zéros simples sur la ligne ($N_s^0$) purement en termes de la trace et de la norme de Frobenius de $\tilde{G}$ et du décompte des paires hors ligne. Cela remplace l'exigence classique de positivité terme à terme (qui échoue hors de la ligne) par une borne « rang-trace ».

4. Le Côté des Nombres Premiers (Évaluation Inconditionnelle) :
   La trace $\text{tr}(\tilde{G})$ et la norme de Frobenius au carré $\|\tilde{G}\|_{HS}^2$ sont évaluées en utilisant le « côté des nombres premiers » de la formule de Weil.

• $\text{tr}(\tilde{G})$ est montré être asymptotiquement $N(T, 2T)$.
• $\|\tilde{G}\|_{HS}^2$ est évalué comme une valeur moyenne d'un polynôme de Dirichlet. Cela repose sur l'inégalité de Montgomery–Vaughan et des bornes sur les sommes de $\Lambda(n)^2$.
• Le résultat est $\|\tilde{G}\|_{HS}^2 = (R(\psi) + o(1))N(T, 2T)$, où $R(\psi)$ est une constante dépendant de la fonction fenêtre. Pour la fenêtre indicatrice, $R(\psi_0) = 4/3$.

Contributions Clés et Résultats
Le papier établit les résultats inconditionnels suivants pour l'intervalle $(T, 2T)$ :

• Théorème A(i) : Au moins $2/3$ (spécifiquement $2/3 - o(1)$) des zéros non triviaux sont simples et situés sur la droite critique.
  • En utilisant la fenêtre de Montgomery–Taylor, cette constante s'améliore à $0,6725$.
• Théorème A(ii) : Au moins $5/6$ (spécifiquement $5/6 - o(1)$) des zéros non triviaux sont distincts et situés sur la droite critique.
  • En utilisant la fenêtre de Montgomery–Taylor, cette constante s'améliore à $0,8362$.
• Théorème B : Ces résultats s'étendent de manière identique aux fonctions $L$ de Dirichlet primitives $L(s, \chi)$.

La preuve n'utilise pas de mollificateurs, d'estimations de densité de zéros ou de régions sans zéros. Elle repose sur la formule explicite, l'estimation de Stirling, les estimations de Chebyshev–Mertens et l'inégalité de Montgomery–Vaughan.

Signification et Revendications

• Rendre la Déduction de Montgomery Inconditionnelle : Le papier affirme rendre inconditionnelle la déduction de Montgomery (1973) concernant la proportion de $2/3$. Classiquement, la RH était nécessaire pour interpréter la somme du côté des zéros comme une somme positive sur les ordinées réelles. Ici, les auteurs remplacent cette positivité par une inégalité rang-trace appliquée à une compression finie de la forme de Weil.
• Optimalité de la Méthode : Les auteurs soutiennent que la borne de $2/3$ est optimale pour cette méthode spécifique. Ils démontrent que l'inégalité utilisée est exacte compte tenu uniquement de la trace, de la norme de Frobenius et de la structure en blocs de la matrice. Améliorer la borne au-delà de $2/3$ en utilisant ce processus spécifique de « rang-trace » nécessiterait des informations de corrélation de paires au-delà du support de Fourier 1 (c'est-à-dire une connaissance des moments supérieurs du côté des nombres premiers), ce qui n'est pas disponible inconditionnellement.
• Vérification Formelle : L'argument mathématique a été découvert et écrit par une IA (Claude), vérifié par des auteurs humains, et formellement vérifié dans Lean 4. La formalisation confirme que la preuve repose uniquement sur des axiomes standards.
• Limitations : Le papier précise explicitement ce que ses résultats ne sont pas. Ce sont des bornes inférieures uniquement ; les zéros restants ne sont pas prouvés comme étant hors de la ligne, ils sont simplement non capturés par ce certificat spécifique. La méthode est insensible aux zéros hors ligne de l'ordre de $o(N)$ et tiendrait même pour des fonctions où l'hypothèse de Riemann est fausse (par exemple, les fonctions zêta de Davenport–Heilbronn), pourvu que les entrées arithmétiques soient respectées.

En résumé, le papier fournit une preuve rigoureuse et inconditionnelle qu'une majorité significative ($>66\%$) des zéros de la fonction zêta sont simples et sur la droite critique, atteignant une borne qui correspond au résultat conditionnel classique de Montgomery grâce à une application novatrice des contraintes de rang algébrique à la formule explicite.