On the sign changes of $ψ(x)-x$

Titel: Over de tekenwisselingen van ψ(x) − x

Auteurs: M. Grześkowiak, J. Kaczorowski, Ł. Pańkowski, M. Radziejewski
Doelgroep: Wiskundigen gespecialiseerd in analytisch getaltheorie.

---

1. Probleemstelling en Context

Het artikel behandelt de ondergrens voor $V(T)$, het aantal tekenwisselingen van de foutterm $\psi(x) - x$ in de Priemgetalstelling binnen het interval $[1, T]$, voor grote waarden van $T$.

• Achtergrond: De functie $\psi(x) = \sum_{n \le x} \Lambda(n)$ is de Chebyshev-functie. De afwijking van $\psi(x)$ van $x$ wordt gedomineerd door de niet-triviale nulpunten van de Riemann-zetafunctie $\zeta(s)$.
• Historisch perspectief:
  • Ingham (1936) bewees, onder een veronderstelling vergelijkbaar met de Riemann-hypothese, dat de limiet $\kappa_0 = \liminf_{T \to \infty} \frac{V(T)}{\log T}$ positief is.
  • Later werd onvoorwaardelijk bewezen dat $\kappa_0 \ge \gamma_0/\pi$, waarbij $\gamma_0 \approx 14.13$ het imaginaire deel is van het laagstliggende niet-triviale nulpunt van $\zeta(s)$.
  • Eerdere pogingen om deze ondergrens te verbeteren (bijv. door Morrill, Platt en Trudgian) leverden slechts marginale verbeteringen op (in de orde van $10^{-30}$).
• Doel van dit artikel: Het bewijzen van een aanzienlijk sterkere ondergrens:
  $$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$$

2. Methodologie en Kernideeën

De auteurs baseren hun bewijs op een analyse van de dichtheid van nulpunten van een geassocieerde "k-functie" (een genormaliseerde Dirichlet-reeks) in het bovenste halve vlak.

A. Relatie met de k-functie

Onder de aanname van de Riemann-hypothese is $\kappa_0$ gerelateerd aan de dichtheid van nulpunten van de functie:
$$F^*(z) = 1 + \sum_{n=1}^{\infty} \frac{\rho_0}{\rho_n} e^{i(\gamma_n - \gamma_0)z}$$
waarbij $\rho_n = \frac{1}{2} + i\gamma_n$ de nulpunten zijn. Het bewijs reduceert het probleem tot het vinden van een ondergrens voor de dichtheid $\kappa$ van de nulpunten van deze functie.

B. Nieuwe Benadering: Het "Tiling"-Methode

De kern van de verbetering ligt in twee nieuwe ideeën die de eerdere methoden (gebaseerd op de Minkowski-convexe lichaamstelling en Diophantische benadering) overtreffen:

1. Flexibele Voorwaarde voor Nulpunten (Propositie 1):
   In plaats van een uniforme bovengrens te eisen voor de afstand van de verschuivingen $\tau$ tot rationale verhoudingen, gebruiken de auteurs een gewogen som. Ze introduceren een functie $w_n$ en een contour $z_1(t)$ zodat een verschuiving $\tau$ een nulpunt garandeert als:
   $$\sum_{n=1}^N w_n \left( \left\| \frac{\omega_n \tau - \eta_n}{2\pi} \right\| \right) \le 1$$
   Hierbij kunnen de fasen van de sommanden ($\eta_n$) en de contour vrij worden gekozen om de kans op een nulpunt te maximaliseren.

2. De Tiling-Methode (Theorema 3):
   De klassieke methode schatte de dichtheid van geschikte verschuivingen $\tau$ af als $2^{-N} \text{vol}(A)$, wat zeer inefficiënt is. De auteurs introduceren een "Tiling"-methode (tegelleggen):

   • Ze construeren een dicht rooster van bereikbare punten in de $N$-dimensionale ruimte.
   • Ze vullen de oplossingset $A$ met parallelle pipeden (tegels) die afgeleid zijn van een fundamenteel parallellepipedum van dit rooster.
   • Hierdoor kunnen ze de dichtheid schatten als $\text{vol}(A')$, waarbij $A'$ een subset is van $A$ die vrijwel even groot is als $A$ zelf, in plaats van een factor $2^{-N}$ kleiner.
   • Dit vereist het genereren van een zeer dicht rooster, wat wordt bereikt met een aangepaste versie van het LLL-algoritme (Lenstra-Lenstra-Lovász).

C. Numerieke Verificatie

Het bewijs is grotendeels computationeel:

• Ze kiezen $N=21$ en definiëren specifieke contouren en parameters.
• Ze gebruiken intervalrekening (via de ARB-bibliotheek in Mathematica) om foutmarges strikt te beheersen.
• Ze verifiëren dat de geselecteerde parameters voldoen aan de voorwaarden van Propositie 1 en dat het volume van de oplossingset groot genoeg is.

3. Belangrijkste Resultaten

• Hoofdstelling (Theorema 1):
  De auteurs bewijzen dat:
  $$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$$
  Dit is een kwantitatieve verbetering van ongeveer $1.66 \times 10^{-2}$ boven de eerdere grens van $\gamma_0/\pi$.

• Verbeterde Dichtheidsschatting:
  De methode levert een dichtheidsschatting op die meer dan $4 \cdot 10^{21}$ keer beter is dan eerdere schattingen van dit type.

• Onafhankelijkheid van de Riemann-hypothese:
  Hoewel de hoofdredenering de Riemann-hypothese (RH) gebruikt, wordt opgemerkt dat als de RH onwaar is (d.w.z. als er nulpunten buiten de kritische lijn zijn), de ondergrens voor $\kappa_0$ zelfs nog veel sterker is ($\approx 10^{12}$), waardoor het resultaat onvoorwaardelijk geldig blijft.

4. Significatie en Impact

1. Doorbraak in de Barrière: Het artikel breekt de barrière van $\gamma_0/\pi$ op een significante manier. Eerdere pogingen leverden slechts verwaarloosbare verbeteringen op ($10^{-30}$). Een verbetering van $1/60$ is wiskundig zeer betekenisvol in dit domein.
2. Nieuw Wiskundig Gereedschap: De "Tiling-methode" voor het schatten van de dichtheid van Diophantische benaderingen is een nieuwe, krachtige techniek die waarschijnlijk toepasbaar is op andere problemen binnen de theorie van bijna-periodieke functies en nulpunten van Dirichlet-reeksen.
3. Synthese van Analyse en Computation: Het artikel demonstreert hoe geavanceerde numerieke methoden (LLL, intervalrekening) kunnen worden geïntegreerd in rigoureuze wiskundige bewijzen om problemen op te lossen die analytisch alleen niet haalbaar zijn.
4. Erkenning van Alberto Perelli: Het artikel is opgedragen aan Alberto Perelli ter ere van zijn 70e verjaardag, een vooraanstaand figuur in de analytische getaltheorie.

Conclusie

Dit artikel presenteert een fundamentele verbetering in het begrip van de oscillaties van de priemgetalstelling. Door een combinatie van een verfijnde theoretische analyse van bijna-periodieke functies en een innovatieve numerieke strategie (Tiling-methode met LLL), slagen de auteurs erin om de ondergrens voor het aantal tekenwisselingen van $\psi(x)-x$ aanzienlijk te verhogen. Dit resulteert in een van de sterkste bekende resultaten op dit gebied.