🔢 mathematics

Four-digit Kaprekar dynamics in odd bases

Dit artikel stelt vast dat in elke oneven grondtal groter dan drie, de viercijferige Kaprekar-routine een rigide structuur vertoont waarbij alle niet-constante banen snel een specifieke driehoekige regio binnenkomen en zich gedragen als projectieve verdubbeling, waardoor het een volledige eindige classificatie biedt van alle terminale cycli, hun lengtes en hun aantallen.

Oorspronkelijke auteurs: Evan Chen, Ken Ono, Richard E. Schwartz, Dinesh S. Thakur

Gepubliceerd 2026-06-19

📖 6 min leestijd🧠 Diepgaand

CC0 1.0

Oorspronkelijke auteurs: Evan Chen, Ken Ono, Richard E. Schwartz, Dinesh S. Thakur

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

Stel je voor dat je een magische getallenmachine hebt. Je voert er een viercijferig getal in, en het voert een zeer specifieke, herhalende truc uit:

Sorteren: Het rangschikt de cijfers van groot naar klein.
Omkeren: Het rangschikt dezelfde cijfers van klein naar groot.
Aftrekken: Het trekt het tweede getal af van het eerste.
Herhalen: Het neemt het resultaat en herhaalt het hele proces opnieuw.

In onze alledaagse wereld (Basis 10), als je begint met bijna elk viercijferig getal, spuwt de machine uiteindelijk het getal 6174 uit en blijft het dan voor altijd 6174 uitspugen. Het is alsof het een magneet is die alles naar één enkel punt trekt.

Maar wat gebeurt er als we de regels van het spel veranderen? Wat als we niet in tientallen tellen, maar in zeven, elf, of elk ander "vreemd" getallensysteem? Dit artikel, geschreven door een team van wiskundigen (waaronder enkele beroemde namen zoals Ken Ono), onderzoekt precies hoe dit werkt in andere bases. Ze ontdekten dat hoewel het gedrag in andere bases complexer is dan in Basis 10, het een verrassend rigide en prachtig patroon volgt.

Hier is het verhaal van hun ontdekking, eenvoudig uitgelegd.

De Geheime Taal van Verschillen

De auteurs realiseerden zich dat kijken naar de werkelijke getallen (zoals 5100 of 9650) is alsof je probeert een storm te begrijpen door naar individuele regendruppels te kijken. Het is te chaotisch. In plaats daarvan besloten ze te kijken naar de afstand tussen de getallen.

Stel je voor dat je vier cijfers in een rij staan.

Het Uiterste Verschil is het gat tussen de langste persoon en de kortste persoon.
Het Inwendige Verschil is het gat tussen de twee mensen in het midden.

De magie van dit artikel is dat de volledige toekomst van de machine alleen afhangt van deze twee gaten. Zodra je de twee gaten weet, heb je de oorspronkelijke cijfers niet meer nodig. Het gedrag van de machine wordt volledig bepaald door hoe deze twee gaten veranderen.

De "Opwarmfase"

Wanneer je de machine voor het eerst start, kunnen de gaten vreemd zijn. Soms zijn ze nul, soms zijn ze even getallen, soms zijn ze gelijk. De auteurs bewezen dat de machine, ongeacht waarmee je begint, zeer efficiënt is in het opruimen van deze rommel.

Binnen drie stappen (maximaal) dwingt de machine de gaten in een speciale, ordelijke zone. In deze zone:

Zijn de gachten nooit nul.
Zijn de gaten nooit gelijk.
Zijn de gaten altijd "oneven" getallen.

Denk aan een chaotische dansvloer. In het begin botsen mensen tegen elkaar op, staan ze in cirkels en bewegen ze willekeurig. Maar binnen drie liedjes heeft iedereen zijn perfecte plek gevonden in een nette, geordende rij. Zodra ze in deze rij staan, wordt de dans ongelooflijk voorspelbaar.

De "Verdubbelingsdans"

Zodra de machine in deze ordelijke zone is, vonden de auteurs een verborgen code. Ze realiseerden zich dat als ze de gaten vertalen naar een speciale "projectieve" taal (een manier om naar getallen te kijken waarbij positief en negatief als hetzelfde worden behandeld), de machine stopt met aftrekken en sorteren.

In plaats daarvan verdubbelt het simpelweg de getallen.

Stel je een paar getallen voor, zeg 3 en 2.

Stap 1: Verdubbel ze $\rightarrow$ 6 en 4.
Stap 2: Verdubbel ze opnieuw $\rightarrow$ 12 en 8.
Stap 3: Verdubbel ze nog een keer $\rightarrow$ 24 en 16.

In de wereld van deze machine werkt "verdubbelen" als een klok. Als je blijft verdubbelen, draaien de getallen uiteindelijk rond en komen ze terug waar ze begonnen zijn. Dit creëert een cyclus.

Het artikel bewijst dat het complexe, rommelige proces van het sorteren en aftrekken van cijfers eigenlijk gewoon een chique vermomming is voor dit eenvoudige "verdubbelingsspel".

Hoe lang is de cyclus?

Omdat de machine simpelweg getallen verdubbelt, hangt de lengte van de cyclus (hoeveel stappen het duurt om terug te keren naar het begin) volledig af van de basis die je gebruikt.

De Limiet: De langst mogbare cyclus kan nooit langer zijn dan de helft van de basis minus één. Bijvoorbeeld, in Basis 11 is de langste cyclus 5 stappen. In Basis 17 is het hooguit 8 stappen.
De Priemregel: De machine bereikt deze maximale lengte alleen als de basis een priemgetal is (zoals 7, 11, 13, 17) en het getal 2 een speciale eigenschap heeft in die basis. Het is als een slot en een sleutel: de basis moet een priemgetal zijn, en de "sleutel" (het getal 2) moet precies het juiste aantal stappen nemen om het slot te draaien.

Als de basis een samengesteld getal is (zoals 9 of 15), is de cyclus altijd korter dan de maximale lengte.

De AI-connectie

Een van de meest unieke delen van dit artikel is hoe het is geschreven. De auteurs vermelden dat de kernideeën eerst werden voorgesteld door twee van de mede-auteurs, maar dat ze een AI-tool genaamd AxiomProver gebruikten om te helpen bij het schrijven van het formele wiskundige bewijs.

Beschouw de AI als een zeer strikte redacteur. De menselijke auteurs schreven het verhaal en de hoofdideeën, en de AI controleerde elke individuele logische stap om er zeker van te zijn dat er geen fouten waren, waarbij de wiskunde werd vertaald naar een computertaal (Lean) die een machine kon verifiëren. Dit artikel is een testcase voor hoe mensen en AI samen kunnen werken om diepe wiskundige mysteries op te lossen.

Samenvatting

Kortom, dit artikel neemt een leuk getallen trucje (de Kaprekar-routine) en onthult de verborgen structuur ervan.

Chaotisch begin: Het proces begint chaotisch.
Snelle opruiming: Het settleert zich in een stabiel patroon binnen drie stappen.
Eenvoudige kern: Eenmaal stabiel, is het proces simpelweg het "verdubbelen" van getallen in een speciale wiskundige wereld.
Voorspelbaar einde: Dit betekent dat we nu exact kunnen berekenen hoe lang de cycli zullen zijn en hoeveel er van bestaan voor elke oneven basis, simpelweg door te kijken naar de eigenschappen van het getal 2 in die basis.

Het verandert een "magische truc" in een voorspelbare, elegante dans die wordt beheerst door eenvoudige rekenkundige regels.

Technische Samenvatting: Viercijferige Kaprekar-dynamica in Oneven Basissen

Probleemstelling
Het artikel onderzoekt de dynamica van de Kaprekar-routine toegepast op viercijferige reeksen in oneven basissen $B > 3$ . De routine houdt in dat men een viercijferig getal neemt, de cijfers in aflopende en oplopende volgorde zet, en het laatste van het eerste aftrekt, waarbij dit proces wordt geïtegreerd. Terwijl de gevalideerde basis-10 casus beroemd is om zijn convergentie naar het vaste punt 6174, is het gedrag in algemene basissen complexer en omvat het vaak meerdere terminale cycli in plaats van één enkele attractor. De auteurs streven ernaar om een volledige, expliciete beschrijving te geven van de terminale cycli (attractoren) en hun lengtes voor alle oneven basissen $B > 3$ .

Methodologie
De auteurs reduceren de viercijferige cijferdynamica tot een eenvoudiger systeem gebaseerd op de verschillen tussen de gesorteerde cijfers.

Verschilcoördinaten: Voor een gesorteerde reeks $a_1 \ge a_2 \ge a_3 \ge a_4$ definiëren de auteurs twee kernvariabelen: het buitenste verschil $d_1 = a_1 - a_4$ en het binnenste verschil $d_2 = a_2 - a_3$ . Zij tonen aan dat de volgende staat in de Kaprekar-routine uitsluitend afhangt van het paar $(d_1, d_2)$ , wat de staatruimte effectief reduceert van cijferreeksen naar een tweedimensionaal geheel getallig rooster $X_B$ .
Pre-periodieke Analyse: De auteurs bewijzen dat voor elke oneven basis $B > 3$ , elke baan binnen maximaal drie iteraties een specifieke "stabiele oneven regio" $T_B$ binnenkomt (waar $d_1 > d_2 > 0$ en beide oneven zijn).
Projectieve Transformatie: Binnen de stabiele regio $T_B$ introduceren de auteurs een verandering van variabelen naar projectieve coördinaten: $r = (d_1 + d_2)/2$ en $s = (d_1 - d_2)/2$ . Zij mappen deze paren naar ongeordende twee-elementen deelverzamelingen van de projectieve residuklassen modulo $B$ , aangeduid met $\binom{P_B}{2}$ , waarbij $P_B = ((\mathbb{Z}/B\mathbb{Z}) \setminus \{0\}) / \{\pm 1\}$ .
Conjugatie naar Verdubbeling: Het kernresultaat van de technische analyse is het bewijs dat de Kaprekar-afbeelding, beperkt tot $T_B$ , conjugaat is aan de "projectieve verdubbelings"-afbeelding: $\{[r], [s]\} \mapsto \{[2r], [2s]\}$ . Dit transformeert het cijferaftrekkingsprobleem in een probleem van de multiplicatieve orde van 2 in de groep van eenheden modulo $B$ (modulo teken).

Belangrijkste Bijdragen en Resultaten

Structurele Classificatie (Stelling 1.1): Het artikel stelt vast dat de Kaprekar-dynamica in oneven basissen wordt beheerst door projectieve verdubbeling na een begrensde pre-periode. Dit biedt een eindige, expliciete beschrijving van het gedrag van het systeem.
Cyclelengte-bounds (Corollary 1.2): De maximale lengte van een terminale cyclus, $c_{\max}(B)$ , wordt begrensd door $(B-1)/2$ . Het artikel bewijst dat gelijkheid $c_{\max}(B) = (B-1)/2$ geldt indien en slechts indien $B$ een priemgetal $p \ge 7$ is en het kleinste positieve geheel getal $m$ waarvoor geldt $2^m \equiv \pm 1 \pmod p$ exact $m = (p-1)/2$ is.
Cyclus-telling (Stelling 4.4): De auteurs leiden een expliciete formule af voor het aantal terminale cycli van een gegeven lengte $L$ . Deze formule hangt af van de projectieve orde van 2 modulo de delers van $B$ en bevat combinatorische termen die rekening houden met paren van cycli en antipodale punten.
Specifieke Kenmerken van Primaire Basissen (Corollary 1.3): Voor primaire basissen waar de maximale cycluslengte wordt bereikt, wordt het aantal van dergelijke maximale cycli gegeven door $\lfloor (c_{\max}(B) - 1)/2 \rfloor$ .
Formele Verificatie: De resultaten werden eerst geformuleerd door Schwartz en Thakur en vervolgens geformaliseerd in Lean/mathlib met behulp van het AI-ondersteunde systeem AxiomProver, wat een door machine geverifieerd bewijs leverde voor de structurele en rekenkundige claims.

Betekenis en Claims
Het artikel beweert een "rigide structuur" te hebben onthuld die ten grondslag ligt aan de Kaprekar-routine in oneven basissen, waarbij het proces wordt gedemystificeerd door aan te tonen dat het wordt beheerst door eenvoudige modulaire aritmetica (projectieve verdubbeling) in plaats van complexe cijferinteracties.

Vereenvoudiging: De auteurs benadrukken dat de reductie naar projectieve verdubbeling een "transparante route" biedt voor het begrijpen van cycluslengtes en -aantallen, die voorheen werden bestudeerd via meer complexe subgroep/kost-methoden of specifieke basisanalyses.
Volledigheid: In tegenstelling tot eerdere werken die zich mogelijk concentreerden op vaste punten of specifieke basissen, biedt dit artikel een verenigde, volledige classificatie voor alle oneven basissen $B > 3$ met vier cijfers.
Bescheidenheid: De auteurs positioneren dit werk als een "laag-dimensionaal model" dat de dynamica expliciet maakt voor de viercijferige casus. Zij erkennen dat hun resultaten bredere theorieën (zoals die van Yamagami, Matsui, Kay, en Downes-Ward) aanvullen, maar beweren niet het algemene probleem voor willekeurige aantal cijfers of even basissen te hebben opgelost, waarbij zij opmerken dat de even basis-casus "intricater" is.

Het artikel concludeert dat het gedrag van de Kaprekar-routine geen "numerieke goocheltruc" is, maar een direct gevolg van de orde van 2 modulo de basis, waarbij tekens genegeerd worden.