Amplified moments of the Riemann zeta function

Technische Samenvatting: Geamplificeerde Momenten van de Riemann-zetafunctie

Probleemstelling
De evaluatie van momenten van de Riemann-zetafunctie, gedefinieerd als $M_k(T) = \int_0^T |\zeta(1/2 + it)|^{2k} dt$, is een centraal probleem in de analytische getaltheorie. Hoewel asymptotische formules bekend zijn voor $k=1$ en $k=2$ (Hardy–Littlewood en Ingham), en scherpe grenzen bestaan voor hogere $k$ (conditioneel op de Riemann-hypothese voor bovengrenzen), blijven onconditionele asymptotische formules voor $k \ge 3$ buiten bereik. Het primaire doel van dit werk is het vaststellen van verbeterde, onconditionele effectieve ondergrenzen voor de klassieke momenten $M_k(T)$ en diverse gezamenlijke momenten die betrokken zijn bij afgeleiden van $\zeta(s)$. Deze grenzen worden vergeleken met de conjecturen van Keating–Snaith, Keating–Wei en anderen, die worden gemotiveerd door de random matrix theory.

Methodologie
De auteurs maken gebruik van een methode van "geamplificeerde momenten", waarbij getwiste gemiddelde waarden worden ingezet om hogere momenten te onderzoeken. De kerntechniek betreft de toepassing van de Hölder-ongelijkheid op integralen van de vorm:
$$\int_0^T |\zeta(1/2 + it)|^{2k} dt \ge \frac{\left( \int_0^T |\zeta(1/2 + it)|^4 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-4} dt \right)^{k-1}}{\left( \int_0^T |\zeta(1/2 + it)|^2 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-2} dt \right)^{k-2}}$$
waarbij $A(s)$ een Dirichlet-polynoom is van lengte $y = T^\theta$ (of $T^\vartheta$ voor vierde momenten) met gladde polynoomcoëfficiënten $P[n]$.

Belangrijke methodologische componenten zijn:

1. Twee-stuks Amplifier: In tegenstelling tot eerdere benaderingen die een enkel Dirichlet-polynoom gebruikten, gebruiken de auteurs een "twee-stuks" amplifier $A(s) + \chi(s)A(1-s)$, die de benaderende functionaalvergelijking nabootst. Dit maakt een betere modellering van $\zeta(s)$ mogelijk en vergemakkelijkt de behandeling van gezamenlijke momenten.
2. Binomiale Decompositie: De macht van de amplifier wordt uitgebreid met behulp van het Binomium van Newton, waarbij het integraal wordt gescheiden in een hoofdbetrag (diagonale bijdragen) en oscillerende termen die betrokken zijn bij machten van $\chi(1-s)$.
3. Asymptotische Evaluatie: De auteurs stellen asymptotische formules vast voor de getwiste tweede en vierde momenten met hoge machten van de amplifier. Zij bewijzen dat termen met hoge machten van $\chi(1-s)$ (specifiek $\nu \ge 2$ voor tweede momenten en $\nu \ge 3$ voor vierde momenten) verwaarloosbaar zijn ($O(T^{1-\varepsilon})$) vanwege snelle oscillatie, mits de lengteparameters van de amplifier voldoen aan $\theta_k < 1/(2k)$ en $\vartheta_k < 1/(4k)$.
4. Polytoop-integralen: De hoofdbetrag wordt gereduceerd tot hoog-dimensionale integralen over polytope (simplexen). Deze integralen worden expliciet geëvalueerd met behulp van Mellin-transformaties en eigenschappen van de Riemann-zetafunctie, wat resulteert in uitdrukkingen die de Barnes $G$-functie en rekenkundige factoren bevatten.
5. Optimalisatie: De coëfficiënten van het polynoom $P(x)$ worden numeriek geoptimaliseerd (met behulp van Wolfram Mathematica) om de resulterende ondergrenzen te maximaliseren.

Belangrijkste Bijdragen en Resultaten

• Onconditionele Ondergrenzen voor Klassieke Momenten:
  Het artikel stelt een nieuwe onconditionele ondergrens vast voor het zesde moment:
  $$M_3(T) \ge (34.1 + o(1))c_3 T (\log T)^9$$
  Dit verbetert de eerdere grenzen van Conrey–Ghosh, Soundararajan en Page, en nadert de door Keating–Snaith geconstueerde waarde van $42c_3 T (\log T)^9$.

• Afgeleide Momenten:
  Nieuwe onconditionele ondergrenzen worden verkregen voor de zesde momenten van de eerste en tweede afgeleiden van $\zeta(s)$:
  $$\int_0^T |\zeta'(1/2 + it)|^6 dt \ge (0.549 + o(1))c_3 T (\log T)^{15}$$
  $$\int_0^T |\zeta''(1/2 + it)|^6 dt \ge (0.0231 + o(1))c_3 T (\log T)^{21}$$
  Deze resultaten verbeteren de eerdere grenzen van Page en anderen.

• Gezamenlijke Momenten:
  De auteurs bieden onconditionele ondergrenzen voor verschillende gezamenlijke momenten waarbij $\zeta(s)$ en zijn afgeleiden betrokken zijn (bijv. $\int |\zeta|^2 |\zeta'|^4$, $\int |\zeta|^4 |\zeta'|^2$, etc.). Deze grenzen komen sterk overeen met de conjecturen van Keating–Wei.

• Verfijning van Soundararajan's Grenzen (Theorem 10):
  Het artikel verwijdert de aanname van de Lindelöf-hypothese voor de grenzen van Soundararajan voor $M_5(T)$ en $M_6(T)$, waardoor deze onconditioneel worden. Bovendien, door een tweede stuk aan de amplifier toe te voegen, verbeteren de auteurs de ondergrenzen voor $M_k(T)$ voor $7 \le k \le 11$. Bijvoorbeeld:
  $$M_5(T) \ge (6484 + o(1))c_5 T (\log T)^{25}$$
  $$M_6(T) \ge (56260 + o(1))c_6 T (\log T)^{36}$$
  Deze resultaten zijn afgeleid door de argumenten van Soundararajan te modificeren om de oscillerende termen onconditioneel te behandelen.

• Algemene Gezamenlijke Momenten (Theorem 11):
  Een algemene onconditionele ondergrens wordt vastgesteld voor alle gezamenlijke gehele momenten van $\zeta(s)$ en zijn afgeleiden. De grens wordt gegeven in termen van een constante $C(a_1, \dots, a_K)$ afgeleid van een Euler-product en een afgeleide van een rationale functie, consistent met de voorspellingen van de random matrix theory.

Betekenis en Claims
Het artikel claimt de kennis over de ondergrenzen van zeta-momenten aanzienlijk te hebben gevorderd. De primaire betekenis ligt in:

1. Verwijderen van Conditionele Aannames: Het slaagt erin de vereiste van de Lindelöf-hypothese voor specifieke hogere momenten ($k=5, 6$) te verwijderen en biedt onconditionele grenzen voor een breed scala aan gezamenlijke momenten.
2. Verbeteren van Numerieke Constanten: De afgeleide ondergrenzen zijn numeriek dichter bij de geconstueerde waarden (Keating–Snaith, Keating–Wei) dan enige eerdere onconditionele resultaten.
3. Methodologische Flexibiliteit: De "twee-stuks" geamplificeerde moment-benadering blijkt bijzonder effectief voor gezamenlijke momenten, waarbij de computationele moeilijkheden van polytope-integralen voor hogere momenten worden overwonnen door de technieken van de amplifier van Soundararajan te combineren.

De auteurs merken op dat hoewel hun methode sterke grenzen oplevert, de lengte van het toegestane Dirichlet-polynoom afneemt naarmate het moment-orde $k$ toeneemt, wat het herstel van bepaalde uniforme fenomenen beperkt die in andere kaders worden waargenomen (zoals die van Bui, Hall, en Subira Jorge). Echter, voor het specifieke doel van het verkrijgen van effectieve onconditionele ondergrenzen voor gehele momenten, blijkt de benadering zeer succesvol.