🔢 mathematics

Aperiodicity and subword complexity in the binary expansion of powers of three

Dit artikel stelt vast dat de binaire expansies van machten van drie een toenemende aperiodiciteit vertonen, waarbij het aantal periodiciteitsbrekende posities groeit als $\log m/\log\log m$ , en demonstreert dat hun laag-orde cijfers volledige subwoordcomplexiteit bereiken voor voldoende grote exponenten.

Oorspronkelijke auteurs: Ralf Stephan

Gepubliceerd 2026-07-17

📖 5 min leestijd🧠 Diepgaand

CC0 1.0

Oorspronkelijke auteurs: Ralf Stephan

Oorspronkelijk artikel vrijgegeven aan het publieke domein onder CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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

Het geheime leven van getallen: Een reis naar binaire patronen

Stel je voor dat je een detective bent die probeert patronen te vinden in een chaotische stad. In de wereld van de wiskunde is deze stad het getallensysteem, en de chaos is de manier waarop getallen eruitzien wanneer ze in verschillende talen worden geschreven. Meestal spreken wij "decimaal", gebruikmakend van tien cijfers (0 tot en met 9), maar computers spreken "binair", een taal die slechts uit twee cijfers bestaat: 0 en 1. Wanneer je een getal zoals 3 herhaaldelijk met zichzelf vermenigvuldigt (3, 9, 27, 81, enzovoort), krijg je een reeks getallen die enorm snel groeien. Als je deze enorme getallen in binair schrijft, zien ze eruit als lange, grillige reeksen van nullen en enen.

Wiskundigen vragen zich al lang af: volgen deze reeksen van nullen en enen een verborgen ritme, of zijn ze volkomen willekeurig? Deze vraag behoort tot een vakgebied genaamd getaltheorie, dat de diepe, vaak mysterieuze eigenschappen van gehele getallen bestudeert. Een kernconcept hier is "periodiciteit". Denk bij een periodiek patroon aan een behangontwerp waarbij elke paar centimeter hetzelfde bloemetje zich herhaalt. Als de binaire code van een getal een periode had, zou dat betekenen dat de reeks van nullen en enen na een bepaald punt zichzelf perfect zou gaan herhalen, zoals een liedje in een loop. Een ander belangrijk concept is "complexiteit", wat meet hoeveel verschillende kleine stukjes er in het patroon bestaan. Als een reeks eenvoudig is, heeft het weinig verschillende stukjes; als het complex is, heeft het een enorme variëteit aan stukjes. Het begrijpen van deze patronen helpt ons te zien of getallen zoals machten van drie werkelijk chaotisch zijn, of dat ze een geheim evenwicht verbergen dat we nog niet hebben gevonden.

De ontdekking van het artikel: Chaos in de binaire code

In dit artikel onderzoekt de wiskundige Ralf Stephan de binaire expansie van machten van drie ( $3^m$ ). Hij stelt een zeer specifieke vraag: Naarmen deze binaire cijfers, terwijl de getallen steeds groter worden, uiteindelijk in een herhalende lus, of blijven ze rommelig en onvoorspelbaar?

Het artikel bewijst twee belangrijke zaken, die beide bevestigen dat de binaire code van $3^m$ heerlijk chaotisch is en weigert getemd te worden door eenvoudige herhaling.

Ten eerste, de "Geen-Loop"-regel:
De auteur bewijst dat voor elk vastgesteld herhalend patroon dat je zou kunnen proberen te vinden (zeg, een patroon dat elke 5 cijfers of elke 100 cijfers herhaalt), de binaire code van $3^m$ dat patroon uiteindelijk zal doorbreken. Het is alsof je probeert een wild dier in een perfecte cirkel te dwingen te marcheren; hoe lang je ook wacht, het dier zal uiteindelijk uit de pas lopen. Het artikel laat zien dat naarmate de macht $m$ groter wordt, het aantal keren dat de binaire code deze periodiciteit "doorbreekt", groeit. Specifiek groeit het aantal van deze doorbraken ongeveer als $\frac{\log m}{\log \log m}$ .

Om een analogie te gebruiken: Stel je voor dat de binaire cijfers van $3^m$ een lange rij dansers zijn. Als je probeert hen in een herhalende stap te laten dansen (een periode), bewijst het artikel dat hoe langer de rij wordt, hoe meer dansers onvermijdelijk de pas zullen missen. Het artikel berekent dat het aantal "fouten" toeneemt naarmate het getal groter wordt, wat betekent dat de dans nooit settleert in een perfecte, saaie loop. Zelfs als je kijkt naar een venster van de dansvloer dat zo diep is als een vaste macht van de logaritme van $m$ , zul je geen perfect herhalend patroon vinden.

Ten tweede, de "Maximale Variëteit"-regel:
De tweede bevinding gaat over hoeveel verschillende "stukjes" de binaire code bevat. Als je een klein segment van de binaire reeks neemt (zeg 10 cijfers lang), hoeveel verschillende combinaties van 0 en 1 kun je dan vinden? Het artikel bewijst dat voor voldoende grote machten van drie, het aantal verschillende stukjes van lengte $n$ minstens $n + 1$ is.

In alledaagse termen betekent dit dat de binaire code "maximaal complex" is aan de lage kant. Het is niet alleen willekeurig; het is rijkelijk willekeurig. Als je een reeks hebt van lengte $n$ , dan zou het eenvoudigste mogelijke patroon (zoals een perfecte loop) slechts $n$ verschillende stukjes hebben. Maar $3^m$ heeft er minstens $n + 1$ . Het is als een kaartspel dat, hoe je het ook schudt, altijd in staat is om één unieke hand te produceren meer dan het absolute minimum dat nodig is om als "niet saai" te worden beschouwd. Dit bewijst dat de laag-orde cijfers van $3^m$ zo divers en onvoorspelbaar zijn als ze enigszins kunnen zijn zonder oneindig te zijn.

Hoe zeker zijn we?
De auteur is uiterst zelfverzekerd over deze resultaten. Het artikel gokt of simuleert niet alleen; het biedt een rigoureus wiskundig bewijs. De logica steunt op een krachtig instrument genaamd "lineaire vormen in logaritmen", wat fungeert als een wiskundige loep om aan te tonen dat als de patronen eenvoudig waren, de getallen onmogelijk klein of tegenstrijdig zouden moeten zijn. Het artikel vermeldt ook dat deze bewijzen formeel zijn geverifieerd door een computerprogramma genaamd Lean 4, dat elke logische stap dubbelcheckt om te garanderen dat er geen fouten zijn. We kunnen er dus zeker van zijn dat de binaire expansie van machten van drie aperiodiek is en een volledige subwoordcomplexiteit heeft.

Kortom, het artikel vertelt ons dat de machten van drie de ultieme rebellen zijn in de wereld van de getallen. Ze weigeren in een voorspelbaar ritme te vallen, en hun binaire code is een schatkist van unieke, niet-herhalende patronen die complexer worden naarmate de getallen groter worden.

Technische Samenvatting: Aperiodiciteit en Subwoordcomplexiteit in de Binaire Expansie van Machten van Drie

Probleemstelling
Dit artikel onderzoekt de fijnmazige structurele eigenschappen van de binaire cijfers van gehele getallen van de vorm $3^m$ . Terwijl eerder werk vaststelde dat het aantal niet-nul binaire cijfers ( $s_2(3^m)$ ) en het aantal "blokken" (maximale reeksen van identieke cijfers) naar oneindig neigen naarmate $m$ toeneemt, verklaren deze resultaten niet volledig de ordening van deze cijfers. Specifiek adresseert dit artikel twee hiaten:

Aperiodiciteit: Bestaan er lange periodieke patronen (reeksen met periode $p$ ) in de binaire expansie van $3^m$ ? Eerdere resultaten sluiten lange constante reeksen (periode $p=1$ ) uit, maar het gedrag voor vaste perioden $p > 1$ was onbekend.
Subwoordcomplexiteit: Vertoont het eindige binaire woord gevormd door de laagste orde cijfers van $3^m$ een "volledige" complexiteit? In de context van oneindige woorden stelt de Morse–Hedlund-stelling dat subwoordcomplexiteit $p(n) \le n$ impliceert dat de reeks uiteindelijk periodiek is. Dit artikel streeft ernaar te bepalen of het eindige woord van $3^m$ de ondergrens $p_{3^m}(n) \ge n+1$ behaalt voor voldoende grote $m$ , wat effectief bewijst dat het niet "te simpel" of periodiek is binnen zijn lengte.

Methodologie
De bewijzen steunen op een combinatie van transcendentietheorie en combinatorische woordanalyse:

Lineaire Vormen in Logaritmen: De kernmotor is de effectieve stelling van Baker en Wüstholz betreffende lineaire vormen in logaritmen van algebraische getallen. Het artikel gebruikt dit om "gap principles" (kloofprincipes) vast te stellen. De logica volgt: als een lange periodieke reeks bestaat in de binaire expansie van $3^m$ $3^{m}$ , dwingt dit een specifieke gehele getalidentiteit af die resulteert in een niet-nul lineaire vorm $\Lambda$ $Λ$ in logaritmen van 2, 3 en hulp-gehele getallen. De Baker–Wüstholz-stelling biedt een ondergrens op $|\Lambda|$ $∣Λ∣$ , wat in strijd is met de kleinheid die wordt geïmpliceerd door het bestaan van een lange periodieke window.
- Nieuwigheid: Het artikel introduceert een nieuwe periode- $p$ reeks-schatting (Lemma 2.2). Waar klassieke resultaten drie-term lineaire vormen gebruiken om constante reeksen te begrenzen, leidt dit werk een vier-term lineaire vorm af om periodieke reeksen van een willekeurige vaste periode $p$ te begrenzen.
Combinatorische Propagatie: Om subwoordcomplexiteit aan te pakken, hanteert het artikel een eindige kwantitatieve versie van de Morse–Hedlund-stelling (Lemma 4.1). Dit lemma stelt vast dat als een woord een lage subwoordcomplexiteit heeft (maximaal $n$ verschillende factoren van lengte $n$ ), het een lange periodieke factor moet bevatten. Deze periodieke factor wordt vervolgens ingevoerd in de periode- $p$ reeks-schatting om een contradictie af te leiden voor grote $m$ .
Formele Verificatie: Alle stellingen en lemma's in het artikel zijn formeel geverifieerd met de Lean 4 proof assistant.

Belangrijkste Bijdragen en Resultaten

1. Aperiodiciteit van Periode- $p$ Reeksen (Theorem A)
Het artikel bewijst dat voor elke vaste periode $p \ge 1$ , het aantal posities waar de binaire expansie van $3^m$ de $p$ -periodiciteit doorbreekt, aangeduid met $B_p(3^m)$ , asymptotisch groeit.

Resultaat: $B_p(3^m) \ge \frac{\log m}{\log \log m + C_p} - 2$ voor een constante $C_p > 0$ .
Implicatie: Geen window van de binaire expansie van $3^m$ die dieper is dan een vaste macht van $\log m$ kan $p$ -periodiek zijn. Dit generaliseert het bekende resultaat voor $p=1$ (Blecksmith–Filaseta–Nicol; Bugeaud–Kaneko) naar alle vaste perioden.

2. Volledige Lage-Orde Subwoordcomplexiteit (Theorem B)
Het artikel stelt een ondergrens vast voor de subwoordcomplexiteit van het eindige binaire woord gevormd door de laagste orde cijfers van $3^m$ .

Resultaat: Voor elke lengte $n \ge 1$ voldoet de complexiteitsfunctie aan $p_{3^m}(n) \ge n + 1$ voor alle voldoende grote $m$ .
Drempelwaarde: De drempelwaarde $m$ is effectief. Deze treedt op wanneer de lineaire groei van het aantal cijfers $M(3^m) \approx m \log_2 3$ een bovengrens van de orde $n^2 \log m$ overtreft, afgeleid van de periode- $p$ reeks-schatting.
Implicatie: Het eindige woord van $3^m$ is niet uiteindelijk periodiek in de zin van het hebben van een lage complexiteit; het bezit "volledige" complexiteit relatief aan zijn lengte, wat voldoet aan de voorwaarde die periodiciteit in oneindige woorden voorkomt.

Betekenis en Claims
De auteur claimt dat deze resultaten het begrip van de distributie van binaire cijfers in machten van drie in twee specifieke richtingen versterken:

Uitbreiding van Bekende Grenzen: Terwijl Stewarts stelling en opvolgend werk vaststelden dat $3^m$ weinig ijle cijfers en veel blokken heeft, breidt dit artikel het aperiodiciteitsresultaat uit naar elke vaste periode $p$ , en niet alleen naar constante reeksen.
Eindig vs. Oneindig Context: Het artikel onderscheidt zijn bijdrage van studies naar algebraïsche irrationalen (die oneindige expansies hebben). Het biedt de eerste kwantitatieve resultaten over cijferveranderingen en subwoordcomplexiteit specifiek voor het eindige woord van een enkele macht $3^m$ .
Optimaliteit: Theorem B wordt gepresenteerd als het analogue van de Morse–Hedlund-stelling voor het eindige cijferwoord van $3^m$ , gelegen op het "lineaire-vormen optimum". Het artikel merkt op dat het bewijzen van superlineaire per-woord complexiteit een aparte, moeilijkere vraagstelling is die hier niet wordt behandeld.

Het werk steunt op de wisselwerking tussen de rekenkundige eigenschappen van $3^m$ (via de theorie van Baker) en de combinatorische structuur van de digitale reeks, waarbij effectieve ondergrenzen worden geboden voor de "wanorde" of aperiodiciteit die inherent is aan deze getallen.

Het geheime leven van getallen: Een reis naar binaire patronen

De ontdekking van het artikel: Chaos in de binaire code

Meer zoals dit