Siegel zeros and small gaps between zeros of the Riemann zeta function

Résumé Technique : Zéros de Siegel et Petits Écarts entre les Zéros de la Fonction Zeta de Riemann

Énoncé du Problème
L'article traite de la distribution verticale des zéros non triviaux de la fonction zeta de Riemann, $\zeta(s)$. Plus précisément, il étudie l'existence de « petits écarts » entre les ordonnées consécutives $\gamma_n$ et $\gamma_{n+1}$. La distribution est normalisée par l'espacement moyen $2\pi/\log \gamma_n$. Les auteurs définissent la quantité $\mu = \liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) / (2\pi/\log \gamma_n)$.

Une conjecture de longue date postule que $\mu = 0$. Bien que l'Hypothèse de Riemann (HR) soit supposée, la meilleure borne inférieure inconditionnelle connue pour $\mu$ n'est pas le sujet ; plutôt, l'article se concentre sur la borne supérieure. Avant ce travail, le meilleur résultat sous HR était $\mu < 0,50895$ (Inoue). Il existait un sentiment prédominant que la valeur $1/2$ représentait une barrière naturelle pour $\mu$ en raison de l'existence potentielle de zéros de Siegel (zéros réels exceptionnels des fonctions $L$ de Dirichlet). Des travaux antérieurs de Heath-Brown et Conrey–Iwaniec suggéraient que si des zéros de Siegel existent, ils pourraient imposer une rigidité aux zéros de zeta, empêchant la fréquence d'écarts plus petits que $1/2$ (l'« Hypothèse Alternative »).

Méthodologie
Les auteurs emploient la méthode de Montgomery–Odlyzko, qui compare deux intégrales pondérées pour détecter les petits écarts. L'innovation centrale réside dans le choix de la fonction « résonateur » $R(t)$ et de la longueur du polynôme de Dirichlet associé.

1. Polynômes de Dirichlet Longs : Les applications traditionnelles de la méthode de Montgomery–Odlyzko sont limitées à des polynômes de Dirichlet « courts » (longueur $L \ll T$) pour éviter les termes hors-diagonaux intraitables impliquant des corrélations additives de coefficients. Cet article brise cette barrière en utilisant des polynômes de Dirichlet longs de longueur $L \approx T^{17/14}$.
2. Construction du Résonateur : Le résonateur est choisi comme $R(t) = \sum_{n \le L} \chi(n)G(n)n^{-1/2-it}$, où $\chi$ est un caractère de Dirichlet quadratique primitif associé à un zéro de Siegel. Les coefficients impliquent un poids lisse $G(n)$ et le caractère $\chi$.
3. Gestion des Termes Hors-Diagonaux : Le principal défi technique consiste à estimer les corrélations hors-diagonales $\sum \chi(m)\chi(km+r)$ et $\sum \Lambda(k)\chi(km+r)$. Les auteurs développent un nouveau schéma pour gérer ces corrélations avec des termes d'erreur à économie de puissance, en divisant l'analyse en trois régimes basés sur la taille de la variable première $k$ :
   • Petit $k$ : Traité via des bornes sur les sommes de corrélation en utilisant le Lemme 4 (une extension des travaux de Heath-Brown).
   • $k$ Intermédiaire : Traité à l'aide d'estimations de second moment pour les sommes de caractères décalées (combinaison de Cauchy–Schwarz et de techniques de problèmes de diviseurs additifs).
   • Grand $k$ : Résolu en séparant les variables dans $\chi(km+r)$ via l'inversion de Fourier (sommes de Jacobi généralisées) et en appliquant des estimations de densité de zéros pour les fonctions $L$ de Dirichlet (spécifiquement l'estimation de Chen–Gupta–Li) pour borner la somme sur les caractères.

Résultats Clés
L'article établit son théorème principal sous l'hypothèse de la Riemann (HR) :

Théorème 1 : Supposons HR et qu'il existe une séquence exceptionnelle de zéros de Siegel avec une qualité $E = \inf_j E_j$ suffisamment grande. Alors :
$$\mu < 0,4733$$
Plus précisément, les auteurs montrent que $\liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) \frac{\log \gamma_n}{2\pi} < 0,4733$.

Corollaire 2 : Sous les mêmes hypothèses, une distribution asymptotique où les écarts normalisés sont restreints à l'ensemble $\frac{1}{2}\mathbb{Z}_{\ge 1} + o(1)$ ne peut exister. Cela réfute une forme forte de l'« Hypothèse Alternative » qui postule que les zéros de Siegel forcent tous les écarts à être des demi-entiers.

Signification et Revendications
Les auteurs affirment que leur résultat est surprenant car il démontre que les zéros de Siegel ne constituent pas une barrière pour prouver $\mu < 1/2$ ; au contraire, l'existence de tels zéros peut être utilisée pour prouver l'existence d'écarts plus petits que $1/2$.

• Réfutation des Hypothèses Alternatives Fortes : Le résultat réfute l'idée que les zéros de Siegel impliquent une distribution rigide où presque tous les écarts sont $\ge 1/2$. Au lieu de cela, il montre que si des zéros de Siegel existent, il doit y avoir un regroupement de zéros avec des écarts normalisés strictement inférieurs à $0,4733$.
• Percée Méthodologique : L'article souligne que la limitation de la méthode de Montgomery–Odlyzko à $\mu < 0,508$ était due à la restriction aux polynômes courts. En gérant avec succès les termes hors-diagonaux de polynômes longs (longueur $T^{17/14}$) en utilisant les zéros de Siegel pour structurer les coefficients, les auteurs contournent cette barrière computationnelle.
• Nuance Technique : Les auteurs précisent que leur résultat ne contredit pas Heath-Brown ou Conrey–Iwaniec. Ces travaux établissaient que les zéros de Siegel impliquent peu d'écarts inférieurs à $1/2$ (un résultat de proportionnalité quantitative). Ce travail établit l'existence d'au moins un écart inférieur à $0,4733$ (un résultat de liminf) sans revendiquer une proportion positive de tels écarts.

L'article conclut que bien que les zéros de Siegel restent une barrière pour établir une proportion positive de petits écarts (en raison de la nécessité de moments supérieurs qui restreignent davantage la longueur des polynômes), ils ne sont pas une barrière pour établir l'existence d'écarts sous $1/2$. Les auteurs notent que de nouveaux raffinements dans le choix des coefficients ou les estimations de densité de zéros (par exemple, l'Hypothèse de Densité) pourraient potentiellement abaisser la borne, peut-être à $\mu < 0,467$, mais le présent travail se concentre sur le mécanisme d'utilisation des zéros de Siegel pour briser la barrière de $1/2$.