🔢 mathematics

Distribution of integers with digit restrictions via Markov chains

Dit artikel introduceert een nieuwe techniek op basis van Markov-ketens om de verdeling van getallen met beperkingen in cijfers en cijfersommen over rekenkundige progressies te bestuderen, waarbij de noodzakelijke en voldoende voorwaarden voor een uniforme verdeling worden bepaald voor een brede klasse van multiplicatief invariante verzamelingen.

Oorspronkelijke auteurs: Vicente Saavedra-Araya

Gepubliceerd 2026-02-11

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Vicente Saavedra-Araya

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 bak met miljarden LEGO-steentjes hebt. De meeste mensen pakken gewoon een handvol steentjes om iets te bouwen. Maar wat als we een heel streng spelletje afspreken? Bijvoorbeeld: "Je mag alleen de rode en de blauwe steentjes gebruiken, en je mag nooit twee gele steentjes achter elkaar leggen."

Dit wetenschappelijke artikel van Vicente Saavedra-Araya gaat precies over zo'n spelletje, maar dan met getallen in plaats van LEGO.

Hier is de uitleg in begrijpelijke taal:

1. Het spel: Getallen met "regels"

Normaal gesproken zijn getallen heel vrij. Maar in dit onderzoek kijken we naar speciale groepen getallen die aan strenge regels voldoen. Denk aan:

De "Verboden Kleur" regel: Je mag alleen getallen gebruiken die bestaan uit de cijfers 1, 3 en 7. De cijfers 0, 2, 4, 5, 6, 8 en 9 zijn "verboden".
De "Patroon" regel: Je mag wel alle cijfers gebruiken, maar je mag nooit het patroon "4-5" achter elkaar zetten.

Deze speciale groepen getallen noemen de wetenschappers "multiplicatief invariante verzamelingen". Dat klinkt ingewikkeld, maar het betekent eigenlijk gewoon dat als je een getal uit de groep pakt en je haalt het eerste of laatste cijfer weg, het nieuwe getal nog steeds aan de regels voldoet.

2. De grote vraag: Hoe verspreiden ze zich?

De auteur stelt een belangrijke vraag: Als we deze speciale getallen in een rij zetten, hoe verdelen ze zich dan over de rest van de wereld?

Stel je voor dat we de getallen in groepjes verdelen (bijvoorbeeld: alle even getallen in de ene bak, alle oneven in de andere). Of we kijken naar de "som van de cijfers" (bijvoorbeeld: getallen waarvan de cijfers samen 10 zijn, of 11, etc.).

De vraag is: zijn deze speciale getallen "eerlijk" verdeeld? Of klonteren ze samen in bepaalde groepen? Als ze perfect verspreid zijn, noemen we dat "uniform verdeeld". Dat is alsof je een zak met knikkers schudt en de kleuren perfect door de hele kamer verspreid liggen, in plaats van dat alle rode knikkers in één hoek liggen.

3. De oplossing: De "Markov-keten" (De onzichtbare trein)

Hoe bewijs je dat die getallen zich eerlijk verspreiden? De auteur gebruikt een slimme truc: Markov-ketens.

Stel je een trein voor die over een spoor rijdt. Elke wagon is een cijfer. De regels van ons spel bepalen welke wagon op welke andere wagon mag volgen.

Als de trein "vrij" is en alle stations kan bereiken, dan zal de trein na een tijdje overal even vaak zijn.
De auteur bouwt een wiskundig model van deze trein. Door te kijken naar hoe de trein van het ene station naar het andere rijdt, kan hij bewijzen dat de getallen die door deze "cijfer-trein" worden gevormd, zich uiteindelijk heel gelijkmatig over de getallenlijnen verspreiden.

4. Wat heeft de auteur ontdekt? (De conclusie)

De belangrijkste resultaten zijn:

De "Eerlijkheids-check": Hij heeft een formule gevonden waarmee je precies kunt uitrekenen of een groep getallen zich eerlijk verdeelt of niet. Het hangt af van de "afstand" tussen de cijfers die je wel en niet mag gebruiken.
Fractal-mysterie: Hij heeft een antwoord gevonden op een openstaande vraag over "fractals" (complexe patronen die zichzelf herhalen). Hij laat zien dat voor sommige groepen getallen, het patroon van de groep hetzelfde blijft, zelfs als je alleen naar een specifiek deel (zoals een rekenkundige reeks) kijkt. Voor andere groepen verandert het patroon juist volledig.

Samenvattend in één metafoor

Het is alsof je een dansgroep hebt met een heel streng choreografie-protocol (de regels). De wetenschapper heeft niet de dansers zelf bestudeerd, maar hij heeft de regels van de dans bestudeerd. Door die regels te vertalen naar een model van een bewegende trein (de Markov-keten), kon hij bewijzen dat de dansers, ondanks hun strenge regels, uiteindelijk toch de hele dansvloer op een perfecte, gelijkmatige manier vullen.

Technische Samenvatting: Verdeling van gehele getallen met beperkingen in cijfers via Markov-ketens

Auteur: Vicente Saavedra-Araya
Onderwerp: Getaltheorie, Symbolische Dynamica, Markov-ketens

1. Het Probleem

Het artikel onderzoekt de verdeling van specifieke verzamelingen gehele getallen in rekenkundige progressies (residuele klassen). De focus ligt op verzamelingen die worden gedefinieerd door restricties op hun cijfers in een bepaald grondtal $g \geq 2$ .

De auteur richt zich op een brede klasse van verzamelingen genaamd multiplicatief invariante verzamelingen (of $\times g$ -invariante verzamelingen). Een verzameling $A$ is $\times g$ -invariant als de eigenschappen van een getal behouden blijven wanneer de meest significante of minst significante cijfers worden verwijderd. Deze klasse omvat bekende verzamelingen zoals "missing digits sets" (getallen waarbij bepaalde cijfers verboden zijn), maar is veel breder en kan worden gekarakteriseerd via de symbolische dynamica (subshifts).

De centrale vraag is: Wanneer zijn deze verzamelingen uniform verdeeld over residuele klassen? Dit betekent dat de verzameling getallen met een bepaalde som van cijfers of een bepaalde restwaarde mod $a$ met dezelfde frequentie voorkomt. Daarnaast wordt een open vraag van Glasscock, Moreira en Richter behandeld over de interactie tussen deze verzamelingen en de fractale dimensie (mass dimension) van hun intersectie met rekenkundige progressies.

2. Methodologie

De belangrijkste innovatie van dit papier is de introductie van een nieuwe techniek die gebruikmaakt van Markov-ketens in plaats van de traditionele Fourier-analyse.

Constructie van Markov-ketens: De auteur construeert Markov-ketens die het gedrag van de residuele klassen van de getallen modelleren. De toestandsruimte van deze ketens is het product van de residuele klassen ( $\mathbb{Z}_a$ ) en de verzameling van "follower sets" (volgende mogelijke cijfercombinaties) uit de symbolische dynamica.
Symbolische Dynamica: De verzamelingen worden gerepresenteerd als subshifts (bijv. sofic subshifts of shifts of finite type). De eigenschappen van de Markov-keten (zoals irreducibiliteit en aperiodiciteit) worden direct gekoppeld aan de structurele eigenschappen van de subshift (zoals transitiviteit en regulariteit).
Convergentie: Door gebruik te maken van klassieke convergentieresultaten voor Markov-ketens (zoals het Perron-Frobenius theorema), kan de auteur bewijzen dat de verdeling van de getallen convergeert naar een uniforme limiet.

3. Belangrijkste Bijdragen en Resultaten

A. Uniforme verdeling van "Missing Digits" sets (Theorem A & Corollary A)

De auteur levert een noodzakelijke en voldoende voorwaarde voor de uniforme verdeling van getallen met ontbrekende cijfers in rekenkundige progressies. Waar eerdere resultaten (zoals die van Erdős) slechts voldoende voorwaarden gaven, stelt dit werk dat een verzameling $C_{g,D}$ uniform verdeeld is mod $a$ dan en slechts dan als:
$\gcd(a, d_2 - d_1, \dots, d_t - d_1) = 1$
waarbij $d_i$ de toegestane cijfers zijn.

B. Generalisatie van Gelfonds' Stelling (Theorem B)

Het artikel breidt de bekende stelling van Gelfond uit over de verdeling van de som van cijfers ( $S_g(n)$ ). De auteur toont aan dat de verdeling van $n \pmod a$ en $S_g(n) \pmod{a'}$ onafhankelijk en uniform is als en slechts als er een getal $n$ bestaat dat aan specifieke congruentievoorwaarden voldoet.

C. Transversaliteit en Fractale Dimensie (Theorem C)

Het artikel geeft een antwoord op de open vraag over de "mass dimension" ( $\dim_M$ ).

Negatief antwoord in het algemeen: Voor algemene multiplicatief invariante verzamelingen is de dimensie van de intersectie met een rekenkundige progressie niet noodzakelijkerwijs gelijk aan de dimensie van de oorspronkelijke verzameling.
Positief antwoord voor transitieve sofic subshifts: Als de verzameling wordt gerepresenteerd door een transitieve sofic subshift, dan is de dimensie van de intersectie met een rekenkundige progressie $P$ ofwel $0$, ofwel gelijk aan de oorspronkelijke dimensie $\dim_M(A)$ .

D. Nieuwe klassen van verzamelingen

De auteur laat zien dat de methode ook werkt voor complexere restricties, zoals het verbieden van specifieke combinaties van cijfers (bijv. in een 1-step shift of finite type) of voor S-gap subshifts.

4. Betekenis

Dit werk is significant omdat het een nieuw paradigma biedt voor het bestuderen van de aritmetische eigenschappen van getallen met digitale restricties. Door de brug te slaan tussen de getaltheorie en de symbolische dynamica via Markov-ketens, biedt de auteur een krachtiger instrumentarium dan de traditionele methoden. De resultaten verfijnen de bestaande kennis over de verdeling van cijfers en bieden een dieper inzicht in de fractale structuur van getallenverzamelingen. De voorgestelde conjunctuur aan het einde van het artikel opent bovendien nieuwe wegen voor toekomstig onderzoek naar de relatie tussen entropie en transversale intersecties.