🔢 mathematics

Partial sums of random multiplicative functions with supercritical divisor twists

Deze paper bewijst een scherp bovengrens voor de momenten van partiële sommen van een Steinhaus-stochastische multiplicatieve functie vermenigvuldigd met een superkritische delerfunctie, wat overeenkomt met voorspellingen uit de theorie van Gaussische multiplicatieve chaos en een antwoord biedt op een vraag van Gerspach over pseudomomenten van de Riemann-zetfunctie.

Oorspronkelijke auteurs: Jad Hamdan

Gepubliceerd 2026-04-08

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Jad Hamdan

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat wiskunde een enorme, chaotische stad is. In deze stad lopen er miljoenen mensen (getallen) rond, en sommige van hen dragen een geheimzinnig masker. De wiskundigen proberen te voorspellen hoe deze mensen zich gedragen als ze in groepen samenkomen.

Dit artikel, geschreven door Jad Hamdan, gaat over een heel specifiek soort "maskers" die wiskundigen Steinhaus-random multiplicative functies noemen. Laten we dit verhaal vertalen naar een verhaal over een gigantische, willekeurige danspartij.

1. De Danspartij en de Maskers

Stel je een enorme danszaal voor met getallen $1, 2, 3, \dots$ tot heel groot $x$ .

De dansers: Elke danser heeft een "stem" (een getal).
De maskers: Sommige dansers dragen een willekeurig gekozen masker. Als twee dansers samenkomen (bijvoorbeeld $2$ en $3$ worden $6$), dan is het masker van de groep het product van hun individuele maskers. Dit noemen we een multiplicatieve functie.
Het doel: De wiskundigen willen weten wat er gebeurt als ze alle dansers in de zaal bij elkaar optellen. Doen ze dit in een rechte lijn (zoals een gewone optelling), of cancelen ze elkaar uit door de willekeurige maskers?

In het verleden (werk van Adam Harper) hadden we al ontdekt dat bij een bepaalde soort dansers (waarbij de maskers heel "kritisch" gedragen), er een verrassende hoeveelheid uitwisseling plaatsvindt. Ze cancelen elkaar bijna perfect uit, veel meer dan je zou verwachten van willekeurige mensen. Het resultaat is dat de totale som veel kleiner is dan de "normale" grootte.

2. Het Nieuwe Experiment: De "Superkrachtige" Dansers

Hamdan kijkt nu naar een nieuw soort danspartij. Hij voegt een extra ingrediënt toe: de $\alpha$ -delers.
Stel je voor dat elke danser niet alleen zijn eigen masker heeft, maar ook een "kracht" krijgt die afhangt van hoeveel vrienden hij heeft (delers).

Als $\alpha = 1$ , hebben we de oude situatie (de kritische dans).
Als $\alpha$ tussen 1 en 2 ligt, hebben we te maken met supercritische dansers. Dit zijn dansers die "te krachtig" zijn. Ze proberen de danszaal te overstemmen.

De vraag is: Hoe groot wordt de totale som nu? Doen deze superkrachtige dansers erin slagen om de cancelatie te doorbreken, of houden ze elkaar nog steeds in toom?

3. De Oplossing: Het Meten van de "Pieken"

Hamdan gebruikt een slimme truc. In plaats van naar de hele danszaal te kijken, kijkt hij naar een wiskundig instrument dat hij een Euler-product noemt.

De Analogie: Stel je voor dat je de danszaal niet als één grote massa ziet, maar als een landschap met heuvels en dalen. De hoogte van het landschap op een bepaald punt vertegenwoordigt hoe sterk de dansers op dat moment samenkomen.
Bij de oude situatie (kritisch) waren de heuvels redelijk gelijkmatig.
Bij de nieuwe situatie (supercritisch) ontstaan er extreme pieken. Er zijn plekken waar de dansers zo sterk samenkomen dat ze een enorme berg vormen.

Hamdan ontdekt dat het gedrag van de totale som wordt bepaald door deze hoogste pieken. Hij moet precies begrijpen hoe hoog deze pieken kunnen worden en hoe breed ze zijn.

4. De Belangrijkste Ontdekkingen

Hier is wat Hamdan heeft gevonden, vertaald naar alledaagse taal:

De Formule voor de Grootte: Hij heeft een formule bedacht die precies voorspelt hoe groot de totale som wordt. Het resultaat is een combinatie van twee dingen:
1. Een factor die groeit met de grootte van de zaal ( $\log x$ ).
2. Een factor die de "willekeurige uitwisseling" corrigeert ( $\log \log x$ ).
  Het mooie is dat zijn formule perfect overeenkomt met wat theoretische modellen uit de natuurkunde (Gaussische Multiplicatieve Chaos) voorspellen. Het is alsof hij een brug heeft gebouwd tussen pure getaltheorie en de statistiek van complexe systemen.
Het Bewijs van een Oude Hypothese: Hij gebruikt zijn methode om ook een oud bewijs (van Harper) korter en simpeler te maken. Het is alsof hij een ingewikkeld mechanisme heeft ontdekt dat de hele machine in één keer uitlegt, zonder dat je alle kleine schroefjes hoeft te bekijken.
De Riemann-Zeta Functie: Aan het einde van het artikel gebruikt hij zijn resultaten om een vraag te beantwoorden over de beroemde Riemann-zeta functie (een van de belangrijkste en mysterieusste objecten in de wiskunde, verbonden met priemgetallen). Hij laat zien hoe de "gemiddelde kracht" van deze functie zich gedraagt in een bepaald bereik. Dit beantwoordt een vraag die eerder door een andere wiskundige (Gerspach) was gesteld.

5. Waarom is dit belangrijk?

Stel je voor dat wiskundigen proberen het weer te voorspellen.

Vroeger wisten ze hoe het weer was op een rustige dag (de kritische situatie).
Nu heeft Hamdan een model gemaakt voor een orkaan (de supercritische situatie).

Hij laat zien dat zelfs in deze chaotische storm, er een diepe orde schuilt. De "pieken" in de storm gedragen zich op een voorspelbare manier. Dit helpt wiskundigen om beter te begrijpen hoe getallen zich gedragen in de diepste lagen van de wiskunde, en het verbindt verschillende gebieden van de wetenschap (getaltheorie, waarschijnlijkheidsrekening en fysica) met elkaar.

Kort samengevat:
Jad Hamdan heeft een nieuwe manier gevonden om te kijken naar willekeurige getallen die met elkaar "danssen". Hij ontdekte dat als je ze een beetje extra kracht geeft, ze enorme pieken vormen, maar dat de grootte van deze pieken precies voorspelbaar is. Hij heeft hiermee een puzzel opgelost die al jaren in de wiskundige wereld ronddoolde.

1. Probleemstelling en Context

Het artikel onderzoekt het gedrag van partiële sommen van Steinhaus willekeurige multiplicatieve functies ( $f$ ), gedefinieerd door $f(p) = Z_p$ op priemgetallen (waarbij $Z_p$ onafhankelijke, uniform verdeelde variabelen op de complexe eenheidscirkel zijn), die worden "verdraaid" (twisted) met de $\alpha$ -delersfunctie $d_\alpha(n)$ .

De centrale vraag is het bepalen van de grootte van de momenten van deze gesommeerde functies:
$E \left\{ \left| \frac{1}{\sqrt{x}} \sum_{n \le x} d_\alpha(n)f(n) \right|^{2q} \right\}$
voor $\alpha \in (1, 2)$ en $q \in [0, 1/\alpha]$ .

Achtergrond:

Helson's conjectuur: Voor de ongeverdraaide som ( $\alpha=1$ ) voorspelde Helson dat er meer cancelatie optreedt dan bij onafhankelijke variabelen, namelijk $E|\sum f(n)| = o(\sqrt{x})$ . A. Harper bewees dit in 2020 door de som te relateren aan Gaussische Multiplicatieve Chaos (GMC) in de kritieke fase.
Supercritische fase: Voor $\alpha > 1$ bevindt het systeem zich in de "supercritische" fase van GMC. In dit regime wordt verwacht dat de momenten een andere schaalgedrag vertonen, gekenmerkt door dubbel-logaritmische correcties.
Riemann Zeta-functie: De resultaten hebben directe toepassingen voor de "pseudomomenten" van de Riemann zeta-functie, een probleem dat nauw verbonden is met de verdeling van waarden van $\zeta(s)$ op de kritieke lijn.

2. Methodologie

De kern van de aanpak van Hamdan is een nieuwe, zelfstandige methode om de vergelijking tussen partiële sommen en integrals van willekeurige Euler-producten te maken, zonder volledig afhankelijk te zijn van de complexe "Girsanov-transformatie" die in Harpers oorspronkelijk werk werd gebruikt.

Belangrijke methodologische stappen:

Reductie tot Euler-producten:
De momenten van de partiële som $\sum_{n \le x} d_\alpha(n)f(n)$ worden gereduceerd tot momenten van een integraal van een Euler-product $F_y(s) = \prod_{p \le y} (1 - f(p)p^{-s})^{-1}$ . Dit gebeurt via een zeef-argument en Parseval's stelling, waarbij de som wordt opgesplitst in "ruwe" en "gladde" getallen.
Analyse van Niveauverzamelingen (Level Sets):
In plaats van direct de integraal te benaderen, bestudeert de auteur de maat (measure) van de verzameling van $h \in [0, 1]$ waarvoor $\log |F_y(1/2 + ih)|$ boven een bepaalde drempelwaarde ligt.
- Voor de kritieke case ( $\alpha=1$ ) wordt de integraal gedomineerd door punten waar $\log |F| \approx \log \log x$ .
- Voor de supercritische case ( $\alpha > 1$ ) wordt de integraal gedomineerd door de lokale maxima van $|F_y|$ .
Extrema van Log-Correleerde Velden:
De auteur maakt gebruik van inzichten uit de theorie van log-correleerde velden (zoals Bramson's werk over vertakkende Brownse beweging). Er wordt een nauwkeurige bovengrens afgeleid voor het maximum van het veld $S_j(1/2 + ih)$ (een discretisatie van $\log |F|$ ) en de maat van de verzameling waar dit veld dicht bij zijn maximum ligt.
Tilted Measures (Gekantelde Maat):
Voor het bewijs van de pseudomomenten van de Riemann zeta-functie (Theorema 1.6) wordt een "tilted measure" argument gebruikt. Hierbij wordt de kansmaat gewijzigd om de bijdrage van specifieke intervallen te isoleren, wat het mogelijk maakt om de analyse uit te breiden naar mesoscopische intervallen.

3. Belangrijkste Resultaten

Het artikel presenteert drie hoofdbijdragen:

A. Supercritische Analogie van Harper's Resultaat (Theorema 1.1)

Voor $\alpha \in (1, 2)$ en uniform voor $q \in [0, 1/\alpha]$ en grote $x$ , geldt:
$E \left\{ \left| \frac{1}{\sqrt{x}} \sum_{n \le x} d_\alpha(n)f(n) \right|^{2q} \right\} \ll \frac{(\log x)^{2q(\alpha-1)}}{(\log \log x)^{\frac{3\alpha q}{2}(1 - \alpha q) + 1}}$
Dit resultaat bevestigt voorspellingen uit de theorie van supercritische GMC en generaliseert Harper's werk voor $\alpha=1$ . De term $(\log \log x)$ in de noemer vertegenwoordigt de cruciale correctiefactor die ontstaat door de supercritische aard van het proces.

B. Korte Bewijzen en Schattingen voor Euler-producten

Propositie 1.2: Een kort bewijs voor de bovengrens van de momenten van de integraal van $|F_y|^2$ (het geval $\alpha=1$ ), wat direct leidt tot een bewijs van Helson's conjectuur.
Theorema 1.3: Een schatting voor momenten van $|F_y|^\gamma$ met $\gamma > 2$ (supercritisch), inclusief analyse op lijnen net buiten de kritieke lijn ( $\sigma_k = 1/2 - k/\log x$ ).
Corollarium 1.4 & 1.5: Scherpe bovengrenzen voor het maximum van $|F_x(1/2+ih)|$ en de typische maat van de niveauverzamelingen rondom dit maximum. Deze resultaten zijn een stochastisch analogon van de Fyodorov-Hiary-Keating conjectuur.

C. Pseudomomenten van de Riemann Zeta-functie (Theorema 1.6)

Het artikel beantwoordt een vraag van Gerspach door een scherpere bovengrens te geven voor de pseudomomenten $\Psi_{2q, \alpha}(x)$ in het regime $1 < \alpha < 2$ en kleine $q$ :
$\Psi_{2q, \alpha}(x) \ll \frac{(\log x)^{2q(\alpha-1)}}{(\log \log x)^{q(3\alpha/2)}}$
Dit bevestigt de voorspelde exponent van de $(\log \log x)$ -factor in de eerste regime van de conjectuur van Gerspach, gebaseerd op heuristieken van Arguin-Ouimet-Radziwiłł en Fyodorov-Hiary-Keating.

4. Significatie en Impact

Theoretische Vooruitgang: Het werk sluit de kloof tussen de kritieke ( $\alpha=1$ ) en supercritische ( $\alpha > 1$ ) fasen van willekeurige multiplicatieve functies. Het toont aan dat de theorie van Gaussische Multiplicatieve Chaos (GMC) een robuust raamwerk biedt voor het begrijpen van deze getaltheoretische objecten, zelfs buiten het kritieke punt.
Technische Innovatie: De methode om de analyse te baseren op de maat van niveauverzamelingen en de structuur van lokale maxima (in plaats van zware kansrekening-transformaties) biedt een krachtig alternatief voor bestaande technieken. Dit maakt het bewijs korter en mogelijk makkelijker te generaliseren.
Verband met Zeta-functie: De resultaten leveren de eerste rigoureuze onderbouwing voor de specifieke schaling van de pseudomomenten van de Riemann zeta-functie in het supercritische regime, wat een belangrijk stap is in het begrijpen van de extreme waarden van $\zeta(s)$ .
Bevestiging van Conjecturen: Het artikel bevestigt voorspellingen die eerder alleen op heuristische gronden waren gedaan, en levert een scherpere foutterm dan eerder bekend was.

Samenvattend biedt dit artikel een diepgaande analyse van de interactie tussen willekeurige multiplicatieve functies en delersfuncties, gebruikmakend van geavanceerde probabilistische methoden om scherpe asymptotische resultaten te behalen die direct relevant zijn voor de analytische getaltheorie.