On a Möbius double sum

Titel: Over een Möbius Dubbel Som

Auteurs: Olivier Ramaré en Sebastian Zuniga-Alterman

---

1. Probleemstelling en Context

Het artikel richt zich op de analyse van een specifieke dubbel som die voorkomt in de analytische getaltheorie, met name in de context van nul-dichtheidschattingen voor de Riemann-zetafunctie en gerelateerde Dirichlet L-functies. De onderzochte som is gedefinieerd als:

$$S_\varepsilon(X) = \sum_{d,e \le X} \frac{\mu(d)\mu(e)}{[d,e]^{1+\varepsilon}}$$

waarbij:

• $\mu$ de Möbius-functie is.
• $[d, e]$ het kleinste gemene veelvoud (kgv) van $d$ en $e$ voorstelt.
• $\varepsilon \ge 0$ een parameter is.
• $X$ een positieve reële getal is.

Deze som vertegenwoordigt de "diagonale bijdrage" in bepaalde kwadratische gemiddelde waarden van Dirichlet-polynomen die worden gebruikt bij het mollen (mollification) van momenten van de zeta-functie. De efficiëntie van expliciete dichtheidsresultaten hangt direct af van de nauwkeurige begrensing van deze som.

Hoewel bekend is dat $S_0(X)$ convergeert naar een constante (bewezen door Dress, Tenenbaum en Iwaniec), ontbraken er tot nu toe uniforme, expliciete bovengrenzen voor $S_0(X)$ en de verstoorde variant $S_\varepsilon(X)$ (waarbij $\varepsilon$ dicht bij 0 ligt) over verschillende bereiken van $X$.

2. Methodologie

De auteurs hanteren een combinatie van directe numerieke berekeningen, analytische schattingen en het gebruik van geavanceerde middelpunt-waarde stellingen voor multiplicatieve functies. De aanpak is als volgt opgebouwd:

• Voorbereiding en Identiteiten:

  • Er wordt gebruik gemaakt van de identiteit die sommen met coprimiteitsvoorwaarden relateert aan sommen zonder deze voorwaarden (Lemma 2.5).
  • De som wordt herschreven in termen van de sommatiefunctie $m_q(X; 1+\varepsilon) = \sum_{\ell \le X, (\ell,q)=1} \frac{\mu(\ell)}{\ell^{1+\varepsilon}}$.

• Schatting van Sommatiefuncties:

  • Voor $\varepsilon = 0$ worden scherpe bovengrenzen voor $|m_q(X)|$ afgeleid door bestaande resultaten (van Helfgott en anderen) te combineren met een splitsing in gevallen afhankelijk van de delers van $q$ (vooral de factor 2).
  • Voor $\varepsilon > 0$ wordt een perturbatie-analyse uitgevoerd. De auteurs gebruiken Lemma 3.1 om $m_q(X; 1+\varepsilon)$ te benaderen via $m_q(X)$ en een foutterm $\Delta_q(X, \varepsilon)$.

• Analytische Kader en Gemiddelde Waarden:

  • De kern van de analyse rust op het toepassen van Theorema 4.1 en 4.2 (gebaseerd op werk van de auteurs en anderen zoals T. Tao en M. Radziwiłł). Deze stellingen geven expliciete middelpunt-waarde schattingen voor sommen van multiplicatieve functies $f(\ell)$ met voorwaarden $(\ell, q)=1$.
  • Er worden specifieke multiplicatieve functies geconstrueerd die de structuur van de oorspronkelijke dubbel som nabootsen, waaronder functies die de Euler $\phi$-functie en de gedefinieerde functies $g_0(q)$ en $g_2(q)$ bevatten.

• Numerieke Optimalisatie:

  • Voor kleine waarden van $X$ (tot ongeveer $10^7$) worden directe berekeningen uitgevoerd met een geoptimaliseerd algoritme dat gebruik maakt van de recursieve structuur van $S_0(\ell) - S_0(\ell-1)$.
  • Voor grote $X$ worden de analytische bovengrenzen gebruikt, waarbij parameters zoals de verdelingsgrens $D$ en de parameter $\delta$ in de middelpunt-waarde stellingen worden geoptimaliseerd om de scherpste mogelijke constanten te verkrijgen.
  • Oneindige producten en sommen over priemgetallen worden nauwkeurig geschat door ze te splitsen in een berekende eindige deel (tot $M=10^8$) en een gecontroleerde restterm.

3. Belangrijkste Resultaten

De paper presenteert twee hoofdstellingen die uniforme, expliciete bovengrenzen bieden.

Stelling 1.1 (Het geval $\varepsilon = 0$):
Voor $X > 0$ geldt dat $0 \le S_0(X) \le C(X)$, waarbij $C(X)$ afhankelijk is van het bereik van $X$:

• $0.445$ voor $422 \le X < 10^7$
• $0.5976$ voor $10^7 \le X < 10^{12}$
• $0.4988$ voor $10^{12} \le X < 10^{16}$
• $0.467$ voor $10^{16} \le X < 10^{33}$
• $0.4664$ voor $X \ge 10^{33}$

De auteurs merken op dat de limietwaarde kleiner is dan $0.4408$ (een eerdere schatting), maar dat de som lokaal kan pieken tot boven deze waarde (bijv. $0.5976$ rond $X=10^7$).

Stelling 1.2 (Het geval $0 \le \varepsilon \le 1/25$):
Voor kleine $\varepsilon$ worden vergelijkbare uniforme bovengrenzen gegeven. De resultaten tonen aan dat $S_\varepsilon(X)$ slechts marginaal zwakker is dan $S_0(X)$ voor specifieke bereiken. Bijvoorbeeld:

• Voor $X \ge 10^{33}$ en $\varepsilon \le 1/100$ is de bovengrens $0.4794$.
• Voor $10^{12} \le X < 10^{16}$ en $\varepsilon \le 1/25$ is de bovengrens $0.593$.

De auteurs speculeren dat mogelijk $S_\varepsilon(X) \le S_0(X)$ voor alle $X$, maar dit kon niet strikt worden bewezen; hun methode levert echter een zeer sterke benadering op.

4. Technische Bijdragen

• Uniformiteit: De resultaten zijn uniform in zowel $X$ als $\varepsilon$, wat essentieel is voor toepassing in dynamische contexten zoals nul-dichtheidsbewijzen.
• Expliciete Constanten: In tegenstelling tot veel theoretische resultaten die $O(\cdot)$ notatie gebruiken, leveren de auteurs exacte decimale bovengrenzen die direct toepasbaar zijn in numerieke algoritmen.
• Verbeterde Schattingen: Door de combinatie van recente resultaten over de sommatiefunctie van de Möbius-functie met geavanceerde middelpunt-waarde technieken, worden de bestaande grenzen aanzienlijk verscherpt, vooral voor de kritieke overgangsgebieden van $X$.
• Algoritme voor Directe Berekening: Een efficiënt algoritme wordt gepresenteerd om $S_0(X)$ stap voor stap te berekenen door gebruik te maken van de multiplicatieve structuur en de relatie met $m(t)$, wat de berekening voor grote $X$ haalbaar maakt.

5. Betekenis en Toepassing

Deze resultaten zijn van groot belang voor de analytische getaltheorie, en specifiek voor:

1. Nul-dichtheidsresultaten: De schattingen van $S_\varepsilon(X)$ zijn cruciaal voor het bepalen van de dichtheid van de niet-triviale nulpunten van de Riemann-zetafunctie in kritieke strepen. Een scherpere bovengrens voor deze som leidt direct tot sterkere stellingen over hoe dicht de nulpunten bij de kritieke lijn $\Re(s)=1/2$ kunnen liggen.
2. Mollified Moments: Bij het bestuderen van momenten van de zeta-functie (gebruikt in het bewijs van de Riemann Hypothesis of verzwakkingen daarvan) is de diagonale term vaak de dominante factor. De nauwkeurige controle hierover verbetert de efficiëntie van mollifiers.
3. Rekenkundige Toepassingen: De methode biedt een blauwdruk voor het analyseren van andere complexe sommen die voorkomen in de theorie van Dirichlet L-functies.

Samenvattend biedt dit artikel een brug tussen diepe theoretische inzichten en praktische, numeriek toepasbare grenzen, waardoor het een waardevol hulpmiddel is voor onderzoekers die werken aan expliciete resultaten in de analytische getaltheorie.