🔢 mathematics

A Matrix Analogue of Rational Number Systems

Dit artikel stelt voldoende voorwaarden vast voor het bestaan van cijfersystemen met eindigheidseigenschappen voor matrixanalogen van rationale getallensystemen en maakt gebruik van eindige automaten om systemen te construeren die zowel eindigheids- als uniciteitseigenschappen bezitten in twee dimensies, terwijl het ook vectorexpansies afleidt via expansiebomen.

Oorspronkelijke auteurs: Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

Gepubliceerd 2026-07-10

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

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 magisch getallensysteem hebt, maar in plaats van te tellen met slechts één grondgetal zoals 10 (ons gebruikelijke decimale stelsel) of 2 (binair), tel je met een matrix. Denk niet aan een matrix als een saai rooster van getallen, maar als een complexe, meerdimensionale machine die de ruimte uitrekt, draait en vervormt.

Dit artikel, geschreven door Anjelo Gabriel R. Cruz en Manuel Joseph C. Loquias, stelt een grote vraag: Kunnen we een getallensysteem bouwen waarbij de "basis" deze draaiende machine is, en kunnen we elke vector (een pijl die in de ruimte wijst) opschrijven met een eindige lijst van eenvoudige "cijfers"?

Het Grote Idee: De Matrix-machine

In onze normale wereld, als je het getal 13 wilt schrijven in grondgetal 10, zeg je "één tien en drie enen." Je breekt het getal af in machten van 10.

De auteurs proberen precies hetzelfde te doen, maar dan met pijlen in de ruimte. Ze hebben twee speciale machines, genaamd matrices P en Q. Ze combineren deze om een nieuwe machine te creëren, Q⁻¹P (denk aan "Q inverse keer P"). Deze machine is de "basis" van hun nieuwe wereld.

Het doel is om elke pijl x te schrijven als een som:
x = (Machine)⁰ × (Cijfer) + (Machine)¹ × (Cijfer) + (Machine)² × (Cijfer) ...

De "cijfers" zijn hier niet simpelweg 0 tot en met 9; het zijn kleine pijlen gekozen uit een specifieke, beperkte verzameling genaamd D.

De Twee Gouden Regels: Eindigheid en Uniciteit

De auteurs zoeken naar een systeem dat twee strikte regels volgt:

De Eindelijkheidseigenschap: Je moet elke pijl in je systeem kunnen opschrijven met slechts een eindig aantal cijfers. Geen oneindige lijsten met cijfers toegestaan! Als je eeuwig cijfers blijft toevoegen, faalt het systeem.
De Uniciteitseigenschap: Er moet slechts één manier zijn om een specifieke pijl op te schrijven. Als je dezelfde pijl op twee verschillende manieren kunt schrijven, is het systeem rommelig en verwarrend.

Het artikel bewijst dat als je je machines P en Q zorgvuldig kiest (specifiek, als ze "coprim" zijn en de machine Q⁻¹P "expanderend" is — wat betekent dat de machine de ruimte zo erg uitrekt dat dingen uiteenvliegen), je een verzameling cijfers D kunt vinden die het systeem laat werken.

Het Geheime Wapen: Eindige Automaten (De Magische Vertalers)

Hoe bewijzen ze dit? Ze gebruiken iets dat eindige automaten wordt genoemd. Stel je een kleine, supersnelle robot voor die een reeks cijfers leest en ze vertaalt.

In Sectie 3 bouwen de auteurs deze robots voor de 2-dimensionale ruimte (platte pijlen op een vel papier). Ze creëren een "transducer" — een machine die een invoer neemt (zoals een kleine stap naar rechts zetten) en de nieuwe reeks cijfers als uitvoer geeft.

Ze tekenen kaarten (genaamd transitiediagrammen) die laten zien hoe de robot van de ene toestand naar de andere beweegt.
Ze ontdekten dat voor bepaalde typen machines P en Q, deze robots altijd tot rust komen. Ze raken niet gevangen in een oneindige lus van chaos; ze stoppen uiteindelijk. Dit bewijst dat de "Eindelijkheidseigenschap" standhoudt.

De Expansieboom: Een Labyrint van Paden

In Sectie 4 introduceren de auteurs een concept genaamd een Expansieboom. Stel je een gigantische, vertakkende boom voor waarbij de wortel de nul-vector is (het centrum van het universum).

Elke tak vertegenwoordigt het toevoegen van een cijfer.
Elke knoop (een punt op de boom) vertegenwoordigt een specifieke pijl die je kunt bereiken.
Het pad van de wortel naar een knoop is de "code" of de expansie van die pijl.

Ze bewezen iets fascinerends over deze boom:

Het is geen simpele lus: De boom is zo complex dat geen enkel eenvoudig computerprogramma (een "reguliere taal") alle paden kan voorspellen. Hij is oneindig ingewikkeld.
Het enige herhalende patroon is nul: Als je de boom afloopt en een patroon ziet dat zich oneindig herhaalt, is de enige reeks die werkt een reeks nullen. Elk ander herhalend patroon leidt tot een doodlopende weg of een tegenstrijdigheid.

Wat met Reële Getallen? (Het Open Mysterie)

Tot nu toe hebben we het gehad over pijlen bestaande uit gehele getallen (integers). Maar hoe zit het met reële getallen (zoals 3,14)?

De auteurs suggereren dat als je de cijfers oneindig lang laat doorgaan naar de rechterkant van een "decimaal punt" (met negatieve machten van de machine), je reële vectoren kunt representeren.

Ze hebben simulaties (computerbenaderingen) uitgevoerd om te zien hoe deze reële vectoren eruitzien.
Het resultaat: De verzameling van alle representeerbare reële vectoren ziet eruit als een vreemde, grillige vorm die de vlakte tegelt (zoals een puzzel).
De kanttekening: Ze zeggen niet dat ze het probleem hebben opgelost van welke reële vectoren gerepresenteerd kunnen worden. Ze stellen expliciet dat het bepalen hiervan "substantieel moeilijker" is dan het geval met gehele getallen. Ze bieden een conjectuur (een sterke gok) aan dat deze vormen de hele ruimte bedekken zonder te overlappen, maar dit is gebaseerd op hun simulaties en visuele benaderingen, niet op een definitief bewijs.

Wat Ze Expliciet Uitsluiten

Het artikel is zeer duidelijk over wat niet werkt of wat extra voorwaarden vereist:

Uniciteit is niet automatisch: Alleen omdat je een eindige verzameling cijfers hebt, betekent dit niet dat de representatie uniek is. Je moet de juiste verzameling cijfers kiezen (een "volledig residu-systeem") om uniciteit te krijgen.
Niet alle matrices werken: De machine Q⁻¹P moet "expanderend" zijn (alle eigenwaarden moeten een modulus groter dan 1 hebben). Als de machine de ruimte inkrimpt in plaats van uitrekt, stort het systeem in.
Gehele getallen vs. Reële getallen: De methoden die perfect werken voor gehele vectoren (bewezen met de automaten), lossen het probleem voor reële vectoren niet automatisch op. Het geval van de reële vectoren blijft een open onderzoeksgebied, waarbij de auteurs slechts een tegel-eigenschap suggereren op basis van hun visuele modellen.

De Kern van het Verhaal

Cruz en Loquias hebben succesvol een brug geslagen tussen de wereld van rationale getallen (breuken) en de wereld van matrices. Ze hebben aangetoond dat als je je machines goed kiest, je elke gehele vector kunt opschrijven met een eindige, unieke code. Ze bouwden de "robots" (automaten) om het te bewijzen en tekenden de "bomen" om het te visualiseren.

Echter, wanneer het aankomt op de rommelige, oneindige wereld van reële getallen, hebben ze slechts de eerste stap gezet. Ze hebben een prachtige kaart van het gebied getekend en gegokt dat het de hele wereld beslaat, maar ze geven toe dat het volledige bewijs nog in afwachting is.

Technische Samenvatting: Een Matrix-analoog van Rationele Getallensystemen

Probleemstelling
Dit artikel behandelt de generalisatie van rationele getalbasis-systemen (specifiek de $p/q$ -expansie geïntroduceerd door Akiyama et al.) naar het domein van matrix-cijfersystemen. Terwijl standaard matrix-cijfersystemen doorgaans een gehele basismatrix $A$ en een cijferverzameling $D \subseteq \mathbb{Z}^d$ gebruiken, onderzoekt dit werk systemen waarbij de basis een rationale matrix is van de vorm $Q^{-1}P$ , waarbij $P, Q \in \mathbb{Z}^{d \times d}$ invers en coprime (onderling priem) matrices zijn. Het centrale probleem is het bepalen van de voorwaarden waaronder elk vector in een specifieke $\mathbb{Z}$ -module, $\mathbb{Z}^d[Q^{-1}P]$ , een eindige expansie toelaat van de vorm:
$x = \sum_{i=0}^{\ell-1} (Q^{-1}P)^i Q^{-1} d_i$
waarbij de cijfers $d_i$ behoren tot een eindige verzameling $D$ . De auteurs zoeken naar voldoende voorwaarden voor de eindigheidseigenschap (het bestaan van een dergelijke eindige expansie) en de uniciteitseigenschap (uniciteit van de expansie voor een minimale lengte $\ell$ ).

Methodologie
De auteurs maken gebruik van een combinatie van algebraïsche gethenkunde, dynamische systemen en automata-theorie:

Algebraïsch Kader: De studie definieert $\mathbb{Z}^d[Q^{-1}P]$ als de kleinste niet-triviale $Q^{-1}P$ -invariante $\mathbb{Z}$ -module die $\mathbb{Z}^d$ bevat. De auteurs maken gebruik van het concept van coprime matrices ( $P\mathbb{Z}^d + Q\mathbb{Z}^d = \mathbb{Z}^d$ ) om een quotiëntgroepstructuur te definiëren. Zij stellen vast dat de cijferverzameling $D$ een volledige residuverdeling moet bevatten van $(\mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]) / P\mathbb{Z}^d[Q^{-1}P]$ .
Dynamische Systemen: Een dynamisch systeem $\Phi$ (de quotiëntfunctie) wordt gedefinieerd om een verdeelalgoritme na te bootsen. Het bestaan van eindige expansies is gekoppeld aan de eindigheid van de attractor $A_\Phi$ van dit dynamische systeem. Als de attractor eindig is, bezit het systeem de eindigheidseigenschap.
Beperkte Divisie voor Gehele Vectoren: Om de expansies van specifiek vectoren in $\mathbb{Z}^d$ te behandelen, introduceren de auteurs een "beperkte cijferfunctie" $d_r$ die afbeeldt op residuen van $\mathbb{Z}^d/P\mathbb{Z}^d$ . Dit leidt tot een beperkt dynamisch systeem $\Phi_r$ . Een cruciaal lemma toont aan dat als $\Phi_r$ een eindige attractor heeft, het uitgebreide systeem op $\mathbb{Z}^d[Q^{-1}P]$ ook een eindige attractor heeft.
Automata-theorie (Dimensie $d=2$ ): Voor het specifieke geval van $2 \times 2$ matrices construeren de auteurs eindige letter-naar-letter transducers. Deze automata modelleren de optelling van basisvectoren (bijv. $(1,0)^\top$ ) aan een gegeven cijferexpansie. Door de transitiediagrammen en cycli (specifiek zelflussen en eindige paden) van deze transducers te analyseren, bepalen de auteurs de structuur van de attractor voor verschillende coëfficiënten van de karakteristieke polynoom.
Expansiebomen: Het artikel construeert een "expansieboom" $T_{P/Q}$ om vectoren in $\mathbb{R}^d$ te representeren, wat de $p/q$ -expansieboom voor reële getallen generaliseert, waarbij padlabels als $P/Q$ -expansies worden gedefinieerd en de taal-eigenschappen van deze paden worden onderzocht.

Belangrijkste Bijdragen en Resultaten

Algemene Voorwaarden voor Eindigheid: Het artikel bewijst dat als $Q^{-1}P$ een expanderende matrix is (alle eigenwaarden hebben een modulus $>1$ ), de attractor van het bijbehorende dynamische systeem eindig is. Bijgevolg bestaat er een cijfersysteem $(P, Q, D)$ met de eindigheidseigenschap, mits $D$ een volledige residuverdeling is van de relevante quotiëntgroep.
Uniciteit en Standaard Systemen: De auteurs verduidelijken dat als $D$ een volledige residuverdeling is en de expansielengte minimaal is, de uniciteitseigenschap standhoudt. Een systeem dat zowel de eindigheidseigenschap als de uniciteitseigenschap bezit, wordt een "standaard" systeem genoemd.
Expliciete Attractor Classificatie voor $d=2$ : Voor $2 \times 2$ $2 \times 2$ matrices $P$ $P$ en $Q$ $Q$ met coprime determinanten en specifieke structurele vormen, bieden de auteurs een volledige classificatie van de attractor $A$ $A$ op basis van de coëfficiënten $\alpha$ $α$ en $\beta$ $β$ van de karakteristieke polynoom van $Q^{-1}P$ $Q^{- 1} P$ ( $\chi(x) = x^2 + \alpha x + \beta$ $χ (x) = x^{2} + α x + β$ ).
- In gevallen waar $0 \le \alpha \le \beta - 1$ of $0 < -\alpha \le 1$ , is de attractor triviaal: $A = \{(0,0)^\top\}$ .
- In andere gevallen (bijv. $1 < -\alpha \le \beta - 1$ ), is de attractor een eindige verzameling vectoren gegenereerd door specifieke lineaire combinaties die de matrix-elementen involleren.
- Deze resultaten zijn afgeleid door het gedrag van de geconstrueerde transducers te analyseren, specifelijk door te identificeren of oneindige periodieke woorden (cycli in de automata) corresponderen met niet-nul attractor-elementen.
Taal-eigenschappen: Het artikel stelt vast dat de taal $L_{P/Q}$ van eindige $P/Q$ -expansies voor gehele vectoren prefix-gesloten maar niet regulier is. Dit wordt bewezen met behulp van de Myhill-Nerode stelling, waarbij wordt aangetoond dat verschillende vectoren verschillende equivalentieklassen genereren.
Representaties van Reële Vectoren: De auteurs definiëren $P/Q$ -expansies voor reële vectoren in $\mathbb{R}^d$ met behulp van oneindige reeksen met negatieve machten van de basis. Ze introduceren het concept van een expansieboom voor reële vectoren en vermoeden dat de verzamelingen van vectoren die door deze expansies gerepresenteerd worden, een tiling (tegellegging) van $\mathbb{R}^d$ vormen (een collectie verzamelingen waarvan de unie $\mathbb{R}^d$ is en waarvan de paarwijze intersecties een Lebesgue-maat nul hebben).

Betekenis en Claims
Het artikel positioneert zich als een directe analoog aan de rationele getalbasis-systemen bestudeerd door Akiyama et al., waarbij deze concepten worden uitgebreid van scalaire rationale bases ( $p/q$ ) naar matrix-rationale bases ( $Q^{-1}P$ ).

Theoretische Uitbreiding: De primaire betekenis ligt in het overbruggen van de kloof tussen rationale getallensystemen en matrix-cijfersystemen. De auteurs demonstreren dat het "gemodificeerde verdeelalgoritme" gebruikt voor $p/q$ bases succesvol kan worden aangepast aan de matrix-setting, mits de basismatrix expanderend is en de cijferverzameling wordt gekozen als een residuverdeling van een specifieke quotiëntgroep.
Constructieve Benadering: Door gebruik te maken van eindige automata (transducers) voor de $d=2$ casus, beweegt het artikel verder dan abstracte existentiebewijzen om constructieve methoden te bieden voor het bepalen van de attractor en het verifiëren van de eindigheidseigenschap.
Verbinding met Tiling: Het artikel verbindt deze cijfersystemen met de theorie van zelf-affine tegels. Het vermoeden dat de verzamelingen van vectoren die door deze expansies gerepresenteerd worden een tiling van $\mathbb{R}^d$ vormen, suggereert dat deze matrix-expansies geometische implicaties hebben die vergelijkbaar zijn met die van standaard radix-systemen en zelf-affine tegeltheorie.

De auteurs blijven bescheiden over de algemene casus voor $d > 2$ en de volledige karakterisering van de verzameling reële vectoren die dergelijke expansies toelaten, waarbij zij opmerken dat het bepalen van welke vectoren in $\mathbb{R}^d$ een $Q^{-1}P$ -expansie toelaten "substantieel moeilijker" is dan in het scalaire geval. Het werk dient als een fundamentele stap, waarbij voldoende voorwaarden en expliciete constructies voor de $2 \times 2$ casus worden geleverd, terwijl het de algemene geometrische eigenschappen als een open gebied voor toekomstig onderzoek laat staan.