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

Technische Samenvatting: Siegel-nulpunten en kleine gaten tussen de nulpunten van de Riemann-zetafunctie

Probleemstelling
Het artikel behandelt de verticale distributie van de niet-triviale nulpunten van de Riemann-zetafunctie, $\zeta(s)$. Specifiek wordt onderzocht naar het bestaan van "kleine gaten" tussen opeenvolgende ordinaten $\gamma_n$ en $\gamma_{n+1}$. De distributie wordt genormaliseerd door de gemiddelde afstand $2\pi/\log \gamma_n$. De auteurs definiëren de grootheid $\mu = \liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) / (2\pi/\log \gamma_n)$.

Een langlopende conjectuur stelt dat $\mu = 0$. Hoewel de Riemann-hypothese (RH) wordt aangenomen, is de best bekende onvoorwaardelijke ondergrens voor $\mu$ niet het probleem; de focus van het artikel ligt juist op de bovengrens. Voorafgaand aan dit werk was de beste resultaat onder RH $\mu < 0,50895$ (Inoue). Er heerste een algemeen sentiment dat de waarde $1/2$ een natuurlijke barrière vormt voor $\mu$ vanwege het potentiële bestaan van Siegel-nulpunten (uitzonderlijke reële nulpunten van Dirichlet $L$-functies). Vorig werk van Heath-Brown en Conrey–Iwaniec suggereerde dat als Siegel-nulpunten bestaan, zij een zekere rigiditeit in de zeta-nulpunten zouden kunnen afdwingen, waardoor gaten kleiner dan $1/2$ niet frequent voorkomen (de "Alternatieve Hypothese").

Methodologie
De auteurs maken gebruik van de Montgomery–Odlyzko-methode, die twee gewogen integralen vergelijkt om kleine gaten te detecteren. De kerninnovatie ligt in de keuze van de "resonator"-functie $R(t)$ en de lengte van de bijbehorende Dirichlet-polynoom.

1. Lange Dirichlet-polynomen: Traditionele toepassingen van de Montgomery–Odlyzko-methode zijn beperkt tot "korte" Dirichlet-polynomen (lengte $L \ll T$) om ingewikkelde off-diagonal termen met betrekking tot additieve correlaties van coëfficiënten te vermijden. Dit artikel doorbreekt deze barrière door gebruik te maken van lange Dirichlet-polynomen met een lengte $L \approx T^{17/14}$.
2. Resonator-constructie: De resonator wordt gekozen als $R(t) = \sum_{n \le L} \chi(n)G(n)n^{-1/2-it}$, waarbij $\chi$ een primitieve kwadratische Dirichlet-karakter is die geassocieerd wordt met een Siegel-nulpunt. De coëfficiënten bevatten een gladde weging $G(n)$ en de karakter $\chi$.
3. Afhandeling van Off-Diagonal Termen: De primaire technische uitdaging is het schatten van de off-diagonal correlaties $\sum \chi(m)\chi(km+r)$ en $\sum \Lambda(k)\chi(km+r)$. De auteurs ontwikkelen een nieuw schema om deze correlaties te behandelen met power-saving fouttermen, waarbij de analyse wordt opgesplitst in drie regimes op basis van de grootte van de priemvariabele $k$:
   • Kleine $k$: Afgehandeld via grenzen op correlatiesommen met behulp van Lemma 4 (een uitbreiding van het werk van Heath-Brown).
   • Intermediaire $k$: Aangepakt met second-moment schattingen voor verschoven karakterzommen (Cauchy–Schwarz gecombineerd met technieken voor het additieve divisorprobleem).
   • Grote $k$: Opgelost door variabelen in $\chi(km+r)$ te scheiden via Fourier-inversie (gegeneraliseerde Jacobi-sommen) en zero-density schattingen voor Dirichlet $L$-functies toe te passen (specifiek de Chen–Gupta–Li schatting) om de som over de karakters te begrenzen.

Belangrijkste Resultaten
Het artikel stelt de volgende hoofdstelling vast onder de aanname van de Riemann-hypothese:

Stelling 1: Neem aan dat RH geldt en dat er een uitzonderlijke sequentie van Siegel-nulpunten bestaat met kwaliteit $E = \inf_j E_j$ die voldoende groot is. Dan geldt:
$$\mu < 0,4733$$
Specifiek tonen de auteurs aan dat $\liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) \frac{\log \gamma_n}{2\pi} < 0,4733$.

Corollary 2: Onder dezelfde aannames kan een asymptotische distributie waarbij genormaliseerde gaten beperkt zijn tot de verzameling $\frac{1}{2}\mathbb{Z}_{\ge 1} + o(1)$ niet bestaan. Dit weerlegt een sterke vorm van de "Alternatieve Hypothese" die stelt dat Siegel-nulpunten een rigide distributie afdwingen waarbij bijna alle gaten half-integers zijn.

Betekenis en Claims
De auteurs stellen dat hun resultaat verrassend is omdat het aantoont dat Siegel-nulpunten geen barrière vormen voor het bewijzen van $\mu < 1/2$; integendeel, het bestaan van dergelijke nulpunten kan gebruikt worden om het bestaan van gaten kleiner dan $1/2$ te bewijzen.

• Weerlegging van Sterke Alternatieve Hypothesen: Het resultaat weerlegt het idee dat Siegel-nulpunten een rigide distributie impliceren waarbij bijna alle gaten $\ge 1/2$ zijn. In plaats daarvan laat het zien dat als Siegel-nulpunten bestaan, er een clustering van nulpunten moet zijn met genormaliseerde gaten strikt kleiner dan $0,4733$.
• Methodologische Doorbraak: Het artikel benadrukt dat de beperking van de Montgomery–Odlyzko-methode tot $\mu < 0,508$ te wijten was aan de restrictie tot korte polynomen. Door succesvol de off-diagonal termen van lange polynomen (lengte $T^{17/14}$) te beheren door Siegel-nulpunten te gebruiken om de coëfficiënten te structureren, omzeilen de auteurs deze computationele barrière.
• Technische Nuance: De auteurs verduidelijken dat hun resultaat niet in strijd is met Heath-Brown of Conrey–Iwaniec. Die werken stelden vast dat Siegel-nulpunten weinig gaten kleiner dan $1/2$ impliceren (een kwantitatief proportionaliteitsresultaat). Dit artikel stelt het bestaan van ten minste één gat kleiner dan $0,4733$ vast (een liminf-resultaat) zonder te claimen dat het om een positief aandeel van deze gaten gaat.

Het artikel concludeert dat hoewel Siegel-nulpunten een barrière blijven voor het vaststellen van een positief aandeel van kleine gaten (vanwege de noodzaak voor hogere momenten die de lengte van de polynomen verder beperken), zij geen barrière zijn voor het vaststellen van het bestaan van gaten onder $1/2$. De auteurs merken op dat verdere verfijningen in de keuze van coëfficiënten of zero-density schattingen (bijv. de Density Hypothesis) de grens potentieel verder kunnen verlagen, wellicht naar $\mu < 0,467$, maar de huidige focus van het werk ligt op het mechanisme van het gebruik van Siegel-nulpunten om de $1/2$ barrière te doorbreken.