🔢 mathematics

From some Pisot numerations to topological groups

Dit artikel introduceert een topologisch groepanaloog van de $p$ -adische integers voor Pisot-numeratiesystemen die nulwaarden behouden, waarbij wordt aangetoond dat deze groepen homomorf projecteren op een torus en continu isomorf zijn aan een torus wanneer de numeratie unimodulair is.

Oorspronkelijke auteurs: Olivier Carton, Jake Sudbery, Reem Yassawi

Gepubliceerd 2026-06-30

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Olivier Carton, Jake Sudbery, Reem Yassawi

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 heel speciale manier hebt om getallen te tellen, anders dan het gebruikelijke decimale stelsel dat we elke dag gebruiken. In plaats van machten van 10 (1, 10, 100...), gebruik je een reeks getallen die volgens een specifieke regel groeien, zoals de beroemde Fibonacci-reeks (1, 1, 2, 3, 5, 8...). Dit wordt een Pisot-numeratiesysteem genoemd.

In onze normale wereld, als je twee getallen bij elkaar optelt, bewegen eventuele "overdrachten" (zoals wanneer 5 + 5 = 10, en je de 1 doorgeeft) alleen naar links. Maar in deze speciale tellingssystemen kunnen overdrachten in de war raken en zowel naar links als naar rechts bewegen. Dit maakt rekenen met hen lastig en breekt de gebruikelijke regels van hoe we getallensystemen opbouwen.

Het Hoofdartikel: Een "Getallenstad" Bouwen

De auteurs van dit artikel wilden een wiskundige "stad" (een topologische groep) bouwen voor deze speciale Fibonacci-achtige tellingssystemen, vergelijkbaar met hoe wiskundigen een stad van p-adische getallen hebben gebouwd voor standaard base-p systemen.

Denk aan de p-adische getallen als een stad waar elk adres een oneindige reeks cijfers is. In deze stad worden twee getallen als "dichtbij" beschouwd als ze een lange staart van identieke cijfers aan het einde delen. Dit creëert een zeer nette, georganiseerde structuur.

De auteurs vroegen zich af: Kunnen we een soortgelijke stad bouwen voor deze speciale Fibonacci-achtige tellingssystemen?

Het Probleem: De "Overdracht"-chaos

In de standaard wiskunde, als je twee getallen bij elkaar optelt, is het resultaat voorspelbaar. In deze speciale systemen, omdat overdrachten alle kanten op kunnen springen, werkt de gebruikelijke manier om "nabijheid" te definiëren niet. Als je probeert twee getallen op te tellen, kan het resultaat er heel anders uitzien dan de inputs, op een manier die de gladde structuur van de stad doorbreekt.

Om dit op te lossen, introduceerden de auteurs een concept genaamd "nul-behoud" (preserving zeros).

De Analogie: Stel je voor dat je blokken probeert te stapelen. In een normaal systeem, als je een blok onderaan verwijdert, blijft de hele toren stabiel. In deze speciale systemen kan het soms zo zijn dat het verwijderen van een blok ervoor zorgt dat de hele toren wiebelt of instort.
De Oplossing: De auteurs ontdekten dat als het systeem "nul behoudt" (wat betekent dat het wiebelen gecontroleerd is en niet uit de hand loopt), ze een stabiele stad kunnen bouwen. Ze noemen deze nieuwe stad $Z_U$ .

De Grote Ontdekking: De Stad is een Donut

Zodra ze deze stad $Z_U$ bouwden en de juiste regels voor "nabijheid" gaven, ontdekten ze iets prachtigs over de vorm ervan.

Ze bewezen dat deze stad topologisch gezien hetzelfde is als een torus (een donutvorm).

De Analogie: Stel je voor dat je een lange, oneindige strook papier neemt (die de alle mogelijke getallen in dit systeem vertegenwoordigt) en deze oprolt tot een buis, en vervolgens de uiteinden verbindt om een donut te maken. Zelfs al gaan de getallen oneindig door, de "vorm" van de hele verzameling getallen krult om zichzelf heen om een donut te vormen.
Het Resultaat: Als de regels van het tellingssysteem "unimodaal" zijn (een specifieke wiskundige eigenschap die alles in balans houdt), is de stad $Z_U$ perfect identiek aan deze donutvorm. Als de regels niet perfect in balans zijn, brengt de stad nog steeds een kaart aan op de donut, maar kan het er ook een paar keer omheen wikkelen of het op een complexere manier bedekken.

Waarom dit Belangrijk Is (Volgens het Artikel)

Het artikel verbindt drie verschillende werelden van de wiskunde:

Tellingssystemen: Hoe we getallen schrijven met speciale reeksen (zoals Fibonacci).
Topologie: De studie van vormen en ruimtes (zoals donuts).
Algebra: De studie van groepen en operaties.

De auteurs hebben aangetoond dat de "vorm" van de verzameling van alle getallen in deze speciale systemen een donut is. Ze hebben ook bewezen dat dit alleen werkt als het systeem voldoet aan een specifieke voorwaarde genaamd "Conditie F" (een regel ontdekt door andere wiskundigen zoals Frougny en Solomyak). Als het systeem deze regel volgt, wordt de "overdracht-chaos" getemd en komt de donutvorm tevoorschijn.

Een Visueel Voorbeeld

Het artikel gebruikt het Tribonacci-systeem (waar elk getal de som is van de drie voorgaande getallen) als voorbeeld.

Ze namen de "standaard" manier om getallen in dit systeem te schrijven.
Ze brachten deze getallen in kaart in een geometrische ruimte.
Het resultaat was een enkele, prachtige tegel die eruitziet als een fractal (een vorm die zichzelf herhaalt).
Wanneer je al deze tegels bij elkaar zet, vullen ze een ruimte perfect zonder gaten of overlappingen, waardoor de "donutvorm" ontstaat die in het artikel wordt beschreven.

Samenvatting in een Notendop

Het artikel neemt een vreemde, complexe manier van tellen waarbij de overdrachten bij het rekenen rommelig worden. Het bewijst dat als je een specifieke set regels volgt om de rommel onder controle te houden, de gehele verzameling getallen een perfecte, gladde vorm vormt: een donut. Dit slaat een brug tussen hoe we tellen en de geometrische vormen die die getallen creëren.

Technische Samenvatting: Van Sommige Pisot-numeraties naar Topologische Groepen

Probleemstelling
De additieve groep van $p$ -adische integers, $\mathbb{Z}_p$ , wordt klassiek geconstrueerd als de inverse limiet van eindige groepen $\mathbb{Z}/p^n\mathbb{Z}$ of als de topologische voltolediging van de natuurlijke getallen $\mathbb{N}$ onder een $p$ -adische metriek afgeleid van basis- $p$ expansies. Een sleutelkenmerk van deze constructie is dat carries (overdrachten) strikt naar links propageren, waarbij zij voldoen aan de niet-Archimedeische ongelijkheid $\nu_p(x+y) \geq \min(\nu_p(x), \nu_p(y))$ .

Dit artikel behandelt de constructie van een analoge topologische groep voor Pisot-numeratiesystemen. In dergelijke systemen worden de machten van een basis $p$ vervangen door een sequentie van natuurlijke getallen $(u_n)_{n \geq 0}$ gegenereerd door een lineaire recursie waarvan de karakteristieke polynoom de minimale polynoom is van een Pisot-getal $\beta$ (een algebraïsche intermediaire $>1$ waarvan de geconjugeerden strikt binnen de eenheidsschijf liggen). In tegen tegenstelling tot basis- $p$ systemen vertonen Pisot-numeraties (bijv. Zeckendorf/Fibonacci) "niet-standaard" carry-propagatie, waarbij carries zowel naar links als naar rechts kunnen bewegen. Bijgevolg falen de klassieke $p$ -adische waarderingseigenschappen, en de resulterende groepsstructuur is geen profiete groep met een nuldimensionale topologie. De auteurs zoeken naar een definitie van een groep $\mathbb{Z}_U$ die dient als het analogue van $\mathbb{Z}_p$ voor deze systemen en willen de topologische structuur ervan karakteriseren.

Methodologie
De auteurs construeren de groep $\mathbb{Z}_U$ via de volgende stappen:

Groepconstructie via Quotiënten:
- Laat $G$ de abelse groep zijn van begrensde, op gehele getallen gebaseerde sequenties $(g_n)_{n \geq 0}$ onder componentgewijze optelling.
- Een "pseudo-waardering" $\nu_U$ wordt gedefinieerd op eindige sequenties op basis van de orde van het eerste niet-nul digiet in de genormaliseerde $U$ -expansie van het gerepresenteerde geheel getal.
- Het concept van nul-preservatie (behoud van nul) wordt geïntroduceerd: een numeratie $U$ behoudt nullen als er een constante $K_c$ bestaat zodat voor elke sequentie $g$ met begrensde elementen, $\nu_U(g) \geq \text{ord}(g) - K_c$ . Deze conditie zorgt ervoor dat carries niet willekeurig ver naar rechts propageren.
- Een subgroep $H_U \subset G$ wordt gedefinieerd als de verzameling sequenties $g$ waarbij de waardering van de prefixes naar oneindig convergeert.
- De groep van $U$ -adische integers wordt gedefinieerd als het quotiënt $\mathbb{Z}_U := G/H_U$ .
Topologische Structuur en Mapping:
- Een metrieke topologie wordt gedefinieerd op $G$ met behulp van een norm gewogen door de geconjugeerden van $\beta$ , specifiek $\|g\|_U = \sum |g_n| \gamma^n$ , waarbij $\gamma < 1$ de maximale modulus is van de geconjugeerden van $\beta$ .
- Een homomorfisme $\tilde{\Phi}: G \to \mathbb{C}^k \times \mathbb{R}^\ell$ wordt geconstrueerd, die een sequentie afbeeldt op een som die de geconjugeerden van $\beta$ betreft.
- De afbeelding van de subgroep $H_U$ onder $\tilde{\Phi}$ wordt getoond te liggen binnen een specifieke rooster $L$ gegenereerd door de machten van de geconjugeerden.
- Dit induceert een continue groeps-homomorfisme $\Phi: \mathbb{Z}_U \to (\mathbb{C}^k \times \mathbb{R}^\ell)/L$ , waarbij het codomein een torus $\mathbb{T}^{d-1}$ is.
Equivalentie met Conditie F:
- Het artikel legt een kritieke link tussen de algebraïsche conditie van "nul-preservatie" voor de numeratie $U$ en Conditie F (geïntroduceerd door Frougny en Solomyak) voor de geassocieerde $\beta$ -numeratie. Conditie F vereist dat $\mathbb{Z}[\beta] \subset \text{Fin}(\beta)$ , wat betekent dat elk element van de ring $\mathbb{Z}[\beta]$ een eindige $\beta$ -expansie heeft.
- De auteurs bewijzen dat $U$ nullen behoudt dan en slechts dan als de geassocieerde $\beta$ aan Conditie F voldoet.

Belangrijkste Bijdragen en Resultaten

Definitie van $\mathbb{Z}_U$ : Het artikel introduceert $\mathbb{Z}_U$ als een topologische groep die de $p$ -adische integers generaliseert naar Pisot-numeraties. Er wordt aangetoond dat elementen van $\mathbb{Z}_U$ gerepresenteerd kunnen worden door oneindige genormaliseerde sequenties van digiten.
Topologische Isomorfie met een Torus:
- Stelling 1: Als $U$ een Pisot-numeratie is geassocieerd met een Pisot-getal $\beta$ van graad $d$ en $U$ nullen behoudt, dan bestaat er een continue groeps-epimorfisme $\Phi: \mathbb{Z}_U \to \mathbb{T}^{d-1}$ .
- Unimodulair geval: Als $\beta$ unimodulair is (de norm van $\beta$ is $\pm 1$ ), dan is $\Phi$ een continue groeps-isomorfisme. Aldus is $\mathbb{Z}_U$ topologisch isomorf aan een $(d-1)$ -dimensionale torus.
Karakterisering van Nul-Preservatie: Het artikel biedt een beslissingsprocedure voor wanneer een numeratie nullen behoudt door dit te koppelen aan Conditie F. Het bevestigt dat standaard $k$ -bonacci numeraties (inclusief Fibonacci) nullen behouden.
Geometrische Realisatie: De groep $\mathbb{Z}_U$ laat een geometrische representatie toe als een tiling (tegelpatroon) van de Euclidische ruimte (of een fundamentele domein van de torus). De afbeelding $\Phi$ stuurt de groepselementen naar punten op de torus, waarbij de afbeelding van de genormaliseerde expansies een tiling vormt (bijv. de Rauzy fractal voor het Tribonacci-geval).

Betekenis en Claims
De auteurs positioneren hun werk als het vullen van een gat in het begrip van de algebraïsche structuur van numeratiesystemen. Hoewel eerder werk (bijv. Vershik, Rittaud, Vivier) specifieke voltoledingen of verbindingen met Wang-tegels had verkend, construeert dit artikel expliciet de groepsstructuur voor de algemene klasse van Pisot-numeraties die nul-preservatie vertonen.

De auteurs claimen dat:

De constructie van $\mathbb{Z}_U$ een rigoureus algebraïsch kader biedt voor de "Fibonacci-decompositie van natuurlijke getallen" en soortgelijke systemen, waarbij zij verder gaan dan karaktertheorie naar expliciete groeps-isomorfismen.
De conditie van nul-preservatie de precieze analogie is van Conditie F in de context van het construeren van topologische groepen uit numeraties.
In tegenstelling tot de $p$ -adische integers die nuldimensionaal zijn, zijn deze groepen hogere-dimensionale manifolds (torussen) wanneer het onderliggende getal unimodulair is.
De resultaten specifiek zijn voor numeraties en niet louter voor substituties, hoewel de auteurs opmerken dat hun resultaten naar $\beta$ -substituties kunnen worden overgedragen om af te leiden dat dergelijke shifts bijna automorf zijn (een resultaat dat in toekomstig werk nader zal worden toegelicht).

Het artikel vermeldt expliciet beperkingen: de multiplicatieve structuur van $\mathbb{Z}_p$ laat zich niet natuurlijk uitbreiden naar $\mathbb{Z}_U$ omdat standaard gehele getal vermenigvuldiging niet compatibel is met de topologie (het behoudt geen nullen), en alternatieve vermenigvuldigingen (zoals die van Knuth) missen distributiviteit. Daarom ligt de focus strikt op de additieve topologische groepsstructuur.