On the discrete convolution of the Liouville and Möbius functions

Dit artikel onderzoekt eigenschappen van de discrete convolutie van de Liouville-functie, een Goldbach-achtige telfunctie, en leidt met behulp van een recente methode een expliciete formule af voor gewogen gemiddelden die inzicht biedt in de Dirichlet- en machtreeksen van deze functie.

De kern

De Dans van de Getallen: Een Verklaring van het Onderzoek

Stel je voor dat je een gigantische, chaotische dansvloer hebt. Op deze vloer dansen miljoenen getallen. Sommige dansers zijn heel voorspelbaar, maar andere, zoals de Liouville-functie en de Möbius-functie, zijn als wilde dansers die elke seconde van richting veranderen. Ze springen tussen positief (+1) en negatief (-1) zonder dat je precies kunt voorspellen wanneer ze dat doen. Wiskundigen noemen dit "erratisch gedrag".

De auteurs van dit artikel, Marco, Alessandro en Alessandro, kijken naar een heel specifiek spelletje dat deze dansers spelen: de discrete convolutie.

Wat is dit "spelletje"?

Stel je voor dat je twee dansers, laten we ze $m_1$ en $m_2$ noemen, vraagt om samen een getal $N$ te vormen. Ze moeten zo dansen dat hun som precies $N$ is ($m_1 + m_2 = N$).

• Als $m_1$ en $m_2$ beide "goed" dansen (beide +1 of beide -1), dan is hun product positief (+1).
• Als de een goed en de ander slecht danst (+1 en -1), dan is hun product negatief (-1).

De vraag die de wiskundigen stellen is: Als we alle mogelijke paren optellen die samen $N$ vormen, wat is dan het totaal?
Dit totaal noemen ze $S(N)$. Het is alsof je kijkt of de dansers in het algemeen meer naar links of meer naar rechts dansen als je ze in paren verdeelt.

Waarom is dit lastig?

In de wiskunde is het bekend dat deze dansers (de Liouville- en Möbius-functies) heel moeilijk te voorspellen zijn. Het is een beetje als proberen het weer te voorspellen op basis van de beweging van individuele luchtdeeltjes. Het is een enorme uitdaging om te zeggen of $S(N)$ positief of negatief is, of hoe groot het precies is.

Vroeger dachten wiskundigen dat dit totaal misschien gewoon heel klein zou zijn (verwaarloosbaar) als $N$ heel groot wordt. Recentere bewijzen hebben dit bevestigd, maar de auteurs van dit artikel wilden iets dieper graven. Ze wilden niet alleen zeggen "het is klein", maar ze wilden een precieze formule vinden die vertelt hoe klein het is en waarom.

De "Magische Spiegel" (De Riemann-hypothese)

Om dit probleem op te lossen, gebruiken de auteurs een krachtig hulpmiddel: de Riemann-hypothese.
Stel je voor dat de Riemann-hypothese een perfecte spiegel is. Als je erin kijkt, zie je de verborgen patronen van de getallen die normaal gesproken onzichtbaar zijn. De auteurs gaan er in hun berekeningen van uit dat deze spiegel eerlijk is (dat de hypothese waar is).

Met deze spiegel kunnen ze de chaotische dans van de getallen vertalen naar een formule die bestaat uit twee delen:

1. De hoofdrol: Een groot, duidelijk deel dat de basisgrootte van het totaal bepaalt.
2. De ruis: Een deel dat bestaat uit een oneindige som van golven. Deze golven komen voort uit de "nulpunten" van de Riemann-zeta-functie (de verborgen patronen in de spiegel).

Wat hebben ze ontdekt?

De auteurs hebben een nieuwe manier gevonden om naar deze sommen te kijken. In plaats van alleen naar één getal $N$ te kijken, kijken ze naar een gemiddelde.
Stel je voor dat je niet naar één danspaar kijkt, maar naar een hele zaal vol paren, waarbij je elk paar een gewicht geeft (bijvoorbeeld: hoe dichter ze bij een bepaald getal zitten, hoe zwaarder ze tellen).

Ze hebben een formule bedacht die zegt:

"Als je al deze gewogen sommen optelt, kun je het resultaat precies berekenen met een formule die bestaat uit een paar vaste getallen en een lange lijst van golven die afhangen van de Riemann-nulpunten."

Dit is als het vinden van de exacte muziekpartituur voor een orkest dat tot nu toe alleen maar leek te jammen.

Waarom is dit belangrijk?

1. Nieuwe Inzichten: Ze laten zien dat je deze chaotische sommen kunt beschrijven met een formule die "analytisch" is. Dat betekent dat je de formule kunt gebruiken om eigenschappen te ontdekken die je met gewoon tellen nooit zou zien.
2. De Muur van 1: Ze bewijzen dat er een soort muur is bij een bepaalde waarde (Re(s) = 1). Je kunt de formule wel heel ver uitbreiden, maar je kunt die muur niet overschrijden zonder dat de formule ineenstort. Dit geeft aan dat er een fundamentele grens is aan hoe goed we deze getallen kunnen begrijpen.
3. Meer dan twee dansers: Ze tonen aan dat je dit niet alleen kunt doen met twee dansers ($m_1 + m_2$), maar ook met drie, vier of zelfs $d$ dansers. De formule werkt voor elke groep grootte.

Samenvattend

Dit artikel is als het vinden van een geheime code voor een heel onvoorspelbaar spel. De auteurs zeggen: "Oké, deze getallen lijken willekeurig, maar als je ze in paren (of groepen) stopt en naar het gemiddelde kijkt, en als je de Riemann-hypothese als waar aanneemt, dan volgt er een prachtig, strak patroon."

Ze hebben de "ruis" van de getallen omgezet in een zang van golven, en dat geeft wiskundigen een krachtig nieuw gereedschap om de diepste mysteries van de getallentheorie te ontrafelen. Het is alsof ze van een luidruchtige menigte een harmonieus koor hebben gemaakt.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Discrete Convolution of the Liouville and Möbius Functions" in het Nederlands.

Titel: Over de Discrete Convolutie van de Liouville- en Möbiusfuncties

Auteurs: Marco Cantarini, Alessandro Gambini, Alessandro Zaccagnini

---

1. Het Probleem en Achtergrond

Het artikel richt zich op de studie van de discrete convolutie van de Liouville-functie $\lambda(n)$. De Liouville-functie is gedefinieerd als $\lambda(n) = (-1)^{\Omega(n)}$, waarbij $\Omega(n)$ het aantal priemfactoren van $n$ is (met multipliciteit). Een centrale rol speelt de som:
$$S(N) := \sum_{n \le N} \lambda(n)\lambda(N-n)$$
Dit is een optelprobleem (additief probleem) dat analoog is aan het beroemde Goldbach-probleem, maar dan met de Liouville-functie in plaats van de von Mangoldt-functie $\Lambda(n)$.

• Context: Het Goldbach-probleem stelt dat elke even getal $N > 2$ geschreven kan worden als de som van twee priemgetallen. De convolutie van $\Lambda(n)$ met zichzelf, $R(N)$, moet positief zijn voor zulke $N$.
• De Chowla-conjectuur: Een gerelateerd open probleem is de Chowla-conjectuur, die stelt dat de correlatie $\sum \lambda(n)\lambda(n+h)$ klein is ($o(x)$). Voor $h=2$ is dit nauw verbonden met de tweelingpriem-conjectuur.
• Doel van het artikel: De auteurs willen expliciete formules vinden voor gewogen gemiddelden van $S(n)$. Ze onderzoeken of men, net als bij het Goldbach-probleem, expliciete formules kan afleiden die de relatie tussen $S(n)$ en de niet-triviale nulpunten van de Riemann-zetafunctie $\zeta(s)$ blootleggen.

2. Methodologie

De auteurs gebruiken een combinatie van analytische getaltheorie en complexe analyse, gebaseerd op een recente generalisatie uit een eerder werk [6]. De kern van hun aanpak bestaat uit de volgende stappen:

1. Expliciete Formules voor Somfuncties:
   Ze beginnen met de somfunctie $L(x) = \sum_{n \le x} \lambda(n)$. In plaats van alleen de klassieke expliciete formule voor $x \ge 1$ te gebruiken, breiden ze deze uit naar het domein $x > 0$. Dit is cruciaal omdat de convolutie $\int_0^x L(y)L(x-y)dy$ gedrag nabij $0$en$x$ omvat.
   Ze maken gebruik van de Perron-formule en de Riemann-hypothese (RH) om $L(x)$ te benaderen met een som over de niet-triviale nulpunten $\rho$ van $\zeta(s)$.

2. Convolutie van Somfuncties:
   Ze definiëren $C_\lambda(x)$ als de Laplace-convolutie van $L(x)$ met zichzelf:
   $$C_\lambda(x) = \int_0^x L(y)L(x-y)dy = \sum_{n \le x} S(n)(x-n)$$
   Door de expliciete formule van $L(x)$ in deze integraal te substitueren en term voor term te integreren, ontstaat een uitdrukking die bestaat uit:

   • Een hoofdterm (gebaseerd op de pool bij $s=1/2$).
   • Een som over de nulpunten $\rho$ (en paren van nulpunten $\rho_1, \rho_2$).
   • Een restterm.

3. Gewogen Gemiddelden:
   Ze passen een algemene stelling toe (gebaseerd op Proposition 2 uit [6]) om een expliciete formule af te leiden voor de gewogen som:
   $$\sum_{n \le \eta b} \sum_{m \le \eta b - n} \lambda(n)\lambda(m) f\left(\frac{m+n}{\eta}\right)$$
   waarbij $f$ een geschikte gewichtsfunctie is (met ondersteuning in $[a, b)$ en voldoende differentieerbaarheid).

4. Aannames:
   De resultaten zijn afhankelijk van twee belangrijke hypothesen:

   • Riemann-hypothese (RH): Alle niet-triviale nulpunten van $\zeta(s)$ liggen op de reële lijn $\text{Re}(s) = 1/2$.
   • Stel van de eenvoudige nulpunten (SZ): Alle niet-triviale nulpunten zijn eenvoudig (geen meervoudige nulpunten).
   • Ze gebruiken ook een schatting voor de som van $1/|\zeta'(\rho)|$ (Conjecture 7 in het artikel).

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 1)

Onder de aannames van RH en SZ wordt een expliciete formule gegeven voor de gewogen som van de convolutie. De formule bevat drie hoofdcomponenten:

1. Een hoofdterm die proportioneel is aan $\eta \int f''(w) w^2 dw$.
2. Een som over de nulpunten $\rho$ van $\zeta(s)$, waarbij termen van de vorm $\zeta(2\rho)\Gamma(\rho)/\zeta'(\rho)$ voorkomen.
3. Een dubbele som over paren van nulpunten $(\rho_1, \rho_2)$, wat de interactie tussen de nulpunten weergeeft.
   De auteurs bewijzen dat deze reeksen absoluut convergeren.

Dirichlet- en Machtreeksen

Als specifieke toepassing kiezen ze de gewichtsfunctie $f(w) = w^{-s}$ (voor Dirichlet-reeksen) en $f(w) = e^{-wy}$ (voor machtreeksen).

• Dirichlet-reeks: Ze tonen aan dat de Dirichlet-reeks $\sum_{n \ge 1} S(n)n^{-s}$ een analytische voortzetting toelaat naar het halfvlak $\text{Re}(s) > 1$.
• Natuurlijke grens: Als men verder aannemen dat de imaginaire delen van de nulpunten lineair onafhankelijk zijn over de rationale getallen, dan is de lijn $\text{Re}(s) = 1$ de natuurlijke grens van de reeks. Dit betekent dat de reeks niet verder kan worden voortgezet naar het gebied $\text{Re}(s) \le 1$.

Generalisatie naar $d$ termen

Het artikel generaliseert de resultaten naar convoluties met een willekeurig aantal factoren $d \ge 2$:
$$S_d(N) = \sum_{m_1 + \dots + m_d = N} \lambda(m_1)\dots\lambda(m_d)$$
Ze leiden expliciete formules af voor de gewogen gemiddelden van $S_d(N)$, waarbij de hoofdtermen en de sommen over nulpunten worden aangepast aan de dimensie $d$ (met factoren zoals $\Gamma(\rho + d + 1/2)$).

Möbius-functie

De auteurs tonen aan dat dezelfde methoden en resultaten gelden voor de Möbius-functie $\mu(n)$. Ze definiëren $S^*(n) = \sum \mu(m_1)\mu(m_2)$ en leiden vergelijkbare expliciete formules af. Dit is relevant omdat de Dirichlet-productrelatie tussen $\Lambda(n)$ en $\mu(n)$ betekent dat controle over $S^*(n)$ inzicht geeft in het Goldbach-probleem.

4. Significatie en Bijdrage

• Verbinding met Goldbach: Het artikel legt een sterke parallel tussen het Goldbach-probleem (met $\Lambda$) en het probleem met de Liouville-functie. Het toont aan dat de "chaotische" aard van $\lambda(n)$ via expliciete formules gestructureerd kan worden beschreven met behulp van de nulpunten van $\zeta(s)$.
• Technische Innovatie: Een belangrijke bijdrage is het uitbreiden van de expliciete formule voor $L(x)$ naar het domein $x > 0$ (niet alleen $x \ge 1$). Dit maakt het mogelijk om de convolutie-integraal correct te evalueren zonder verlies van nauwkeurigheid bij de randen.
• Analytische Eigenschappen: Het bewijs dat de Dirichlet-reeks van $S(n)$ een natuurlijke grens heeft bij $\text{Re}(s)=1$ (onder de lineaire onafhankelijkheid van de nulpunten) is een fundamenteel resultaat over de complexiteit van deze getaltheoretische functie.
• Algemene Toepasbaarheid: De methode is robuust en werkt zowel voor de Liouville- als de Möbius-functie, en voor een willekeurig aantal convolutiefactoren. Dit biedt een krachtig raamwerk voor toekomstig onderzoek naar additieve problemen met multiplicatieve functies.

Kortom, het artikel levert een diepgaande analytische beschrijving van de discrete convolutie van de Liouville-functie, verbindt deze met de Riemann-hypothese en biedt nieuwe inzichten in de asymptotische gedrag van dergelijke sommen.