🔢 mathematics

Sign changes of the Liouville function in arithmetic progressions

Dit artikel bewijst dat voor elke voldoende grote priemgetal $q$ en elke restklasse $a$ die onderling ondeelbaar is met $q$ , de Liouville-functie $\lambda$ zowel de waarden $+1$ als $-1$ aanneemt binnen de rekenkundige rij $a \pmod{q}$ voor gehele getallen tot $q^{5/2 + \varepsilon}$ .

Oorspronkelijke auteurs: Kevin Ford, Maksym Radziwiłł

Gepubliceerd 2026-05-06

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Kevin Ford, Maksym Radziwiłł

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 je een enorme, oneindige rij genummerde lockers organiseert, beginnend bij 1 en oneindig doorgaand. Elke locker bevat een geheime code: ofwel een +1 of een -1. Deze code wordt bepaald door een speciale regel genaamd de Liouville-functie (laten we deze "De Schakelaar" noemen).

De regel voor De Schakelaar is simpel maar lastig:

Als een getal bestaat uit een even aantal priembouwstenen (zoals $6 = 2 \times 3$ , wat 2 blokken heeft), is de code +1.
Als een getal bestaat uit een oneven aantal priembouwstenen (zoals $12 = 2 \times 2 \times 3$ , wat 3 blokken heeft), is de code -1.

Meestal wisselen deze codes willekeurig heen en weer naarmate je de rij afloopt. Soms zie je een +1, dan een -1, dan weer een +1. Het is als een muntworp.

De Grote Vraag

Wiskundigen hebben zich lange tijd geïnteresseerd in een specifieke manier om naar deze lockers te kijken: Aritmetische Progressies.

Stel je voor dat je alleen naar lockers kijkt die op een specifieke afstand van elkaar staan, bijvoorbeeld elke 7e locker (7, 14, 21, 28...). Of elke 100e locker. De vraag is: Hoe ver moet je deze specifieke rij aflopen voordat je gegarandeerd zowel een +1 als een -1 ziet?

Als je te vroeg stopt, kun je misschien door geluk alleen +1's (of alleen -1's) vinden. De auteurs van dit artikel wilden de "veilige afstand" vinden het punt waarop het wiskundig onmogelijk wordt om alleen maar één teken te blijven zien.

De Eerdere Pogingen

Het priemgetalprobleem: Een beroemde wiskundige, Dirichlet, bewees dat als je naar een specifieke rij kijkt (zoals elk 7e getal), je uiteindelijk een priemgetal zult vinden. Maar hoe groot is dat eerste priemgetal?
De "wortel"-barrière: Lange tijd dachten wiskundigen dat het antwoord gerelateerd was aan het kwadraat van de stapgrootte. Als je met sprongen van $q$ gaat, moet je misschien tot $q^2$ gaan om te vinden wat je zoekt.
De recordhouder: Een wiskundige genaamd Linnik bewees dat je niet zo ver hoeft te gaan. Hij toonde aan dat er een constante $L$ bestaat zodat je alleen tot $q^L$ hoeft te gaan. Door de jaren heen probeerden mensen $L$ kleiner te maken. Het huidige beste record is $L=5$ , wat betekent dat je tot $q^5$ moet gaan.

Wat Dit Artikel Doet

Kevin Ford en Maksym Radziwiłł pakten een iets andere versie van dit probleem aan. In plaats van te zoeken naar priemgetallen, zoeken ze naar tekenwisselingen in De Schakelaar (de Liouville-functie).

Ze bewezen een nieuw, sterker resultaat:
Als je een willekeurige stapgrootte $q$ kiest (een priemgetal), en je kijkt naar lockers tot een afstand van ongeveer $q^{2.5}$ (dat wil zeggen $q$ tot de macht 2,5), dan ben je gegarandeerd zowel een +1 als een -1 te vinden.

Dit is een enorme verbetering ten opzichte van het vorige "priemgetal"-record van $q^5$ . Ze hebben de vereiste afstand aanzienlijk verkort.

Hoe Ze Het Deden (Het Detectiveverhaal)

De auteurs gebruikten een slimme strategie van "bewijs door contradictie". Hier is de analogie van hun logica:

De Hypothetische Nachtmerrie: Ze begonnen met het veronderstellen van het tegenovergestelde van wat ze wilden bewijzen. Ze zeiden: "Stel je een wereld voor waarin, over een zeer lange afstand (tot $q^{2.5}$ ), elk enkel getal in onze specifieke rij (bijvoorbeeld getallen die 3 mod 7 zijn) HETZELFDE teken heeft. Laten we zeggen dat ze allemaal +1 zijn."
Het Golvend Effect: Ze toonden aan dat als deze "allemaal +1"-nachtmerrie waar zou zijn, het het hele universum van getallen zou dwingen zich op een zeer stijve, onnatuurlijke manier te gedragen.
- Het zou betekenen dat De Schakelaar helemaal niet willekeurig is; het zou een strikt, herhalend patroon (periodiciteit) moeten volgen dat een specifieke wiskundige vorm nabootst die een "Legendre-symbool" wordt genoemd.
- In wezen zou de willekeurigheid van de getallen moeten verdwijnen en een perfecte, voorspelbare dans moeten worden.
De Valstrik: Vervolgens toonden ze aan dat deze "perfecte dans" onmogelijk is.
- De Eerste Valstrik: Als het patroon op de ene manier zou zijn, zou het aantal priemgetallen volledig verkeerd zijn (te weinig).
- De Tweede Valstrik: Als het patroon op de andere manier zou zijn, zou het een beroemde wiskundige wet (Siegel's Theorem) schenden over hoe deze getallen zich verdelen.
De Conclusie: Aangezien de aanname "allemaal +1" (of "allemaal -1") leidt tot een wiskundige contradictie, moet de aanname onwaar zijn. Daarom moeten de tekens binnen die afstand veranderen.

Een Opmerking over "Magie"

Het artikel noemt één addertje onder het gras. Hoewel ze bewezen hebben dat de afstand ongeveer $q^{2.5}$ is, is hun bewijs afhankelijk van een wiskundig hulpmiddel (Siegel's Theorem) dat als een "zwarte doos" werkt. Het vertelt ons dat het resultaat waar is, maar het geeft ons geen specifiek getal voor hoe "groot" $q$ moet zijn voordat deze regel ingaat. Het is alsof je weet dat een brug veilig is, maar niet precies weet hoeveel auto's hij kan dragen totdat je hem bouwt.

Samenvatting

In eenvoudige termen: De auteurs bewezen dat als je kijkt naar een specifieke rij getallen die op een priemgetal $q$ van elkaar staan, je niet ver hoeft te lopen (slechts tot $q^{2.5}$ ) om te zien dat de "schakelaar" omslaat van positief naar negatief. Als je tegen die tijd geen omslag ziet, zou de hele structuur van de wiskunde breken.

Technische Samenvatting: Tekenveranderingen van de Liouville-functie in Aritmetische Progressies

Probleemstelling
Het artikel behandelt een analoog voor een multiplicatieve functie van Linniks stelling over het kleinste priemgetal in een arithmetische progressie. Waar Linniks stelling het bestaan garandeert van een priemgetal $p \equiv a \pmod q$ met $p \ll q^L$ (momenteel $L=5$ ), onderzoekt dit werk de verdeling van de Liouville-functie $\lambda(n)$ binnen arithmetische progressies. Specifiek vragen de auteurs: voor een priemmodulus $q$ en een gereduceerde restklasse $a \pmod q$ , hoe groot moet $N$ zijn om het bestaan te garanderen van gehele getallen $n, m \le N$ zodat $n \equiv m \equiv a \pmod q$ , maar $\lambda(n) = -1$ en $\lambda(m) = +1$ ? Met andere woorden: op welke schaal verandert de Liouville-functie noodzakelijkerwijs van teken binnen een vaste arithmetische progressie?

Methodologie
Het bewijs verloopt via een contradictie. De auteurs veronderstellen dat voor een voldoende groot priemgetal $q$ , de Liouville-functie een constant teken $\kappa \in \{-1, +1\}$ behoudt voor alle $n \equiv a \pmod q$ met $n \le q^{5/2+\varepsilon}$ . Het argument is gestructureerd in drie hoofdfasen:

Periodiciteit en Evenwicht via Combinatorische Argumenten:
Met behulp van Lemma 7 tonen de auteurs aan dat als $\lambda(n)$ constant is op een progressie tot $N \ge q^{2+\varepsilon}$ , dan moet $\lambda(n)$ $q$ -periodiek zijn voor $n \le N/q$ (specifiek $\lambda(n+q) = \lambda(n)$ voor $(n,q)=1$ ). Bovendien dwingt deze aanname dat de som van $\lambda(n)$ over gereduceerde resten modulo $q$ exact nul is. Deze stap vertrouwt op combinatorische verzamelingstheorie (Lemma 6, een toepassing van het duivenhokprincipe) om te laten zien dat als de aantallen $+1$ en $-1$ waarden in een interval van lengte $q$ onevenwichtig waren, men producten van gehele getallen in de progressie zou kunnen construeren die de hypothese van een constant teken schenden.
Benadering door een Dirichlet-karakter:
Onder de veronderstelling dat de periodiciteits- en nul-somvoorwaarden gelden, gebruikt Lemma 8 de ongelijkheid van het grote zeef en Poisson-sommatie om aan te tonen dat $\lambda(n)$ in wezen moet overeenkomen met een reëel Dirichlet-karakter $\chi_q$ (het Legendre-symbool) geschaald met een constante $\kappa' \in \{-1, 1\}$ . Specifiek geldt $\lambda(n) = \kappa' \chi_q(n)$ voor alle $n \le q$ , met ten hoogste $O(q^{1-\varepsilon/4})$ uitzonderingen.
Eliminatie van de Twee Gevallen:
Het bewijs wordt afgesloten door beide mogelijke waarden voor $\kappa'$ uit te sluiten:
- Geval $\kappa' = -1$ : Als $\lambda(n) \approx -\chi_q(n)$ , analyseren de auteurs de verdeling van priemgetallen $p \le q^{1/2}$ waarbij $\chi_q(p) = \pm 1$ . Door producten van dergelijke priemgetallen te beschouwen, tonen ze aan dat het aantal uitzonderingen dat nodig zou zijn om aan de hypothese te voldoen, in strijd zou zijn met de bekende dichtheid van priemgetallen (via de priemgetalstelling).
- Geval $\kappa' = +1$ : Als $\lambda(n) \approx \chi_q(n)$ , construeren de auteurs een multiplicatieve functie $g(n) = \sum_{d|n} \chi_q(d)$ . Ze tonen aan dat onder deze hypothese $g(n)$ verdwijnt voor de meeste niet-kwadratische gehele getallen. Echter, met behulp van Lemma 5 (Mellin-inversie) en Siegels ondergrens voor $L(1, \chi_q)$ (Lemma 3), leiden ze een ondergrens af voor de som $\sum g(n)W(n/q)$ die in strijd is met de bovengrens die voortvloeit uit de verdwijnende eigenschap.

Belangrijkste Resultaten
De hoofdstelling (Stelling 1) stelt dat voor elke $\varepsilon > 0$ , en voor elke priem $q$ die voldoende groot is ten opzichte van $1/\varepsilon$ , en elke restklasse $(a, q)=1$ , er gehele getallen $n, m \le q^{5/2+\varepsilon}$ bestaan zodat $n \equiv m \equiv a \pmod q$ met $\lambda(n) = -1$ en $\lambda(m) = +1$ .

Betekenis en Beperkingen
De auteurs positioneren dit resultaat als een belangrijke stap in het begrijpen van tekenveranderingen van multiplicatieve functies in arithmetische progressies. De grens $q^{5/2+\varepsilon}$ verbetert eerdere onvoorwaardelijke resultaten voor algemene multiplicatieve functies en komt overeen met de kwaliteit van resultaten die eerder alleen bekend waren onder de Algemene Riemann-hypothese (GRH) voor specifieke gevallen.

Het artikel wijst expliciet op een beperking met betrekking tot de effectiviteit van het resultaat: in tegenstelling tot Linniks stelling, waarbij de exponent en de impliciete constanten effectief berekenbaar zijn, vertrouwt het argument hier op Siegels stelling. Bijgevolg is de drempel voor $q$ om "voldoende groot" te zijn in termen van $1/\varepsilon$ onberekenbaar.

De auteurs onderscheiden hun aanpak van gelijktijdig werk van Matomäki en Teräväinen [7], dat een sterkere grens van $q^{2+\varepsilon}$ bereikt voor algemene reëelwaardige multiplicatieve functies (onvoorwaardelijk voor de Liouville-functie). De auteurs benadrukken dat hun argument kort is en langs andere lijnen verloopt, specifiek gebruikmakend van het samenspel tussen het grote zeef, Poisson-sommatie en de specifieke eigenschappen van de Liouville-functie om de drempel $q^{5/2}$ af te leiden.