Positive Lower Density for Hofstadter's $ab-1$ Problem

Het Oneindige Spel van Getalbouw

Stel je een enorme, eindeloze speeltuin voor waar getallen de speelgoedstukken zijn. In de wereld van de wiskunde, specifiek een tak genaamd getaltheorie, houden onderzoekers ervan om spelletjes te spelen met regels die nieuwe getallen genereren uit oude. Een van de beroemdste soorten spelletjes gaat over "recursie" of "vernieuwing". Denk aan het als een spelletje stoelendans, maar in plaats van mensen zijn het getallen, en in plaats van een stoel is het een specifieke plek op een getallenlijn. De grote vraag die wiskundigen al decennia lang stellen is: als je dit spel eeuwig blijft spelen, verspreiden de getallen die je creëert zich dan gelijkmatig over de speeltuin, of klonteren ze samen in één hoek, waardoor er enorme lege ruimtes achterblijven?

Dit specifieke artikel pakt een puzzel aan die begon met een eenvoudige regel: begin met de getallen 2 en 3. Neem dan elk twee verschillende getallen die je al hebt, vermenigvuldig ze en trek er 1 van af. Als het resultaat een geheel getal is, voeg het dan toe aan je collectie. Herhaal dit eeuwigdurend. De vraag, gesteld door de legendarische wiskundige Paul Erdős (die het hoorde van de auteur van de beroemde "Hofstadter's Figure-Figure" reeksen), is of deze collectie getallen "dik" genoeg is. Heeft het een "positieve lagere dichtheid"? In gewone mensentaal: vult de verzameling getallen die je genereert uiteindelijk een aanzienlijk, niet-nul percentage van de getallenlijn op, hoe ver je ook gaat? Een lange tijd wist niemand of het antwoord ja of nee was.

De Oplossing: Een Verkeerssysteem voor Getallen

In dit artikel bewijst Samuel Korsky dat het antwoord ja is. De verzameling getallen die door deze regel wordt gegenereerd, heeft inderdaad een positieve lagere dichtheid. Dit betekent dat wanneer je naar steeds grotere bereiken van getallen kij{t}, je altijd een gegarandeerd, niet-nul deel van hen in deze speciale verzameling zult vinden. Het zijn niet slechts een paar verspreide getallen; ze zijn overvloedig.

Om te begrijpen hoe de auteur dit heeft opgelost, stel je de verzameling getallen voor als een stad, en de regel "vermenigvuldigen en 1 aftrekken" als een reeks eenrichtingsverkeerstraten. Het doel van de auteur was om aan te tonen dat er zoveel verschillende manieren zijn om door deze stad te rijden dat je niet kunt voorkomen dat je veel bestemmingen raakt. Echter, er is een addertje onder het gras: de regel zegt dat je alleen verschillende getallen mag vermenigvuldigen. Als je een getal met zichzelf probeert te vermenigvuldigen, breekt de regel. Dit is als een verkeerswet die zegt dat je niet op een weg mag rijden als je dat exacte wegsegment al eerder in dezelfde rit hebt gebruikt.

De strategie van de auteur is om een "verkeersregelsysteem" te bouwen met behulp van een kaart die is verdeeld in 20 specifieke zones (intervallen). Hij wijst verschillende "vermenigvuldigers" (zoals 2, 3, 5, 9, 14) toe aan deze zones. Wanneer een getal in een zone landt, vertelt het systeem het welke vermenigvuldiger het vervolgens moet gebruiken. Het genie van het bewijs ligt in de manier waarop deze vermenigvuldigers worden gekozen. De auteur stelt vier verschillende "verkeerspatronen" (toewijzingen) op. Door tussen deze patronen te schakelen op basis van de huidige staat van het systeem, zorgt hij ervoor dat de getallen niet vastlopen of in de overtreding van de "onderscheidingsregel" terechtkomen.

Denk aan het als een spelletje "Volg de Leider" waarbij de leider probeert een perfect evenwicht te bewaren. De auteur houdt de "ingrediënten" van de getallen bij (specifiek de machten van de priemgetallen 2, 3, 5 en 7). Hij wil dat het recept in balans blijft, zodat de getallen op een zeer specifieke, voorspelbare manier groeien. Hij gebruikt een feedbackloop: als het recept te zwaar wordt op het getal 2, schakelt het systeem naar een patroon dat meer 3'en of 5'en toevoegt om het te balanceren. Dit houdt de "helling" van de groei (hoe snel de getallen groter worden) vast op een specifief doel.

Het artikel laat zien dat door deze schakelingen zorgvuldig te beheren, het systeem een enorm aantal unieke paden creëert die allemaal naar dezelfde "helling" leiden. Omdat de paden uniek zijn en het systeem zo is ontworpen dat het steeds naar zijn startpunt terugkeert (een concept genaamd "positieve recurrentie"), bewijst de wiskunde dat er oneindig veel verschillende getallen worden gegenereerd.

Cruciaal is dat de auteur bewijst dat deze paden verschillend zijn, ook al staat de onderliggende wiskunde toe dat er enige overlap is (het systeem is niet "vrij" in de strikte wiskundige zin). Hij doet dit door aan te tonen dat als je de paden achteruit volgt op zijn 20-zoneskaart, ze elkaar nooit kruisen totdat ze het einde bereiken. Dit garandeert dat elk pad een uniek eindgetal produceert.

De uiteindelijke uitsmijter is een telargument. De auteur berekent dat voor elke "stap" in dit proces, het aantal geldige paden groeit met een snelheid die overeenkomt met de groei van de getallen zelf. Hij bewijst dat voor een specifiek groot getal $x$, de hoeveelheid van zijn speciale verzameling gevonden binnen $1$ tot $x$ ten minste $c \times x$ is, waarbij $c$ een constante groter dan nul is. Met andere woorden: hoe ver je ook telt, je zult altijd een constante stroom van deze getallen vinden.

Het artikel suggereert dit niet alleen; het biedt een rigoureus, stap-voor-stap wiskundig bewijs. Het maakt gebruik van een combinatie van waarschijnlijkheid (om aan te tonen dat het systeem steeds naar zijn startpunt terugkeert), meetkunde (om de intervallen in kaart te brengen) en getaltheorie (om de priemfactoren te tellen). Het resultaat is een definitief antwoord op een decennia-oude vraag: de verzameling is niet ijl; zij is dicht en vult de getallenlijn met een betrouwbare, positieve aanwezigheid.