🔢 mathematics

A Matrix Analogue of Rational Number Systems

Diese Arbeit legt hinreichende Bedingungen für die Existenz von Ziffernsystemen mit Endlichkeitseigenschaften für Matrixanaloga rationaler Zahlensysteme fest und nutzt endliche Automaten, um Systeme zu konstruieren, die sowohl Endlichkeits- als auch Eindeutigkeitseigenschaften in zwei Dimensionen besitzen, während sie gleichzeitig Vektorexpansionen über Expansionsbäume herleitet.

Ursprüngliche Autoren: Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

Veröffentlicht 2026-07-10

📖 6 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie hätten ein magisches Zahlensystem, aber anstatt mit nur einer Basis wie 10 (unserem üblichen Dezimalsystem) oder 2 (Binärsystem) zu zählen, zählen Sie mit einer Matrix. Betrachten Sie eine Matrix nicht als ein langweiliges Gitter aus Zahlen, sondern als eine komplexe, mehrdimensionale Maschine, die den Raum dehnt, verdreht und rotiert.

Dieses Papier, geschrieben von Anjelo Gabriel R. Cruz und Manuel Joseph C. Loquias, stellt eine große Frage: Können wir ein Zahlensystem aufbauen, bei dem die „Basis“ diese verdrehende Maschine ist, und können wir jeden Vektor (einen Pfeil im Raum) mithilfe einer endlichen Liste einfacher „Ziffern“ darstellen?

Die große Idee: Die Matrix-Maschine

In unserer normalen Welt, wenn man die Zahl 13 in Basis 10 schreiben möchte, sagt man „eine Zehn und drei Einer“. Man zerlegt die Zahl in Potenzen von 10.

Die Autoren versuchen genau das zu tun, aber mit Pfeilen im Raum. Sie haben zwei spezielle Maschinen, die Matrizen P und Q genannt. Sie kombinieren sie, um eine neue Maschine zu erschaffen, Q⁻¹P (denken Sie an „Q invers mal P“). Diese Maschine ist die „Basis“ ihrer neuen Welt.

Das Ziel ist es, jeden Pfeil x als Summe darzustellen:
x = (Maschine)⁰ × (Ziffer) + (Maschine)¹ × (Ziffer) + (Maschine)² × (Ziffer) ...

Die „Ziffern“ sind hier nicht einfach nur 0 bis 9; sie sind kleine Pfeile, die aus einer speziellen, begrenzten Menge namens D ausgewählt werden.

Die zwei goldenen Regeln: Endlichkeit und Eindeutigkeit

Die Autoren suchen nach einem System, das zwei strengen Regeln folgt:

Die Endlichkeitseigenschaft: Man muss jeden Pfeil in Ihrem System mit nur einer endlichen Anzahl von Ziffern aufschreiben können. Keine unendlichen Listen von Ziffern erlaubt! Wenn Sie ewig viele Ziffern hinzufügen, versagt das System.
Die Eindeutigkeitseigenschaft: Es sollte nur einen Weg geben, einen bestimmten Pfeil darzustellen. Wenn man denselben Pfeil auf zwei verschiedene Arten schreiben kann, ist das System chaotisch und verwirrend.

Das Papier beweist, dass man, wenn man seine Maschinen P und Q sorgfältig wählt (speziell, wenn sie „teilerfremd“ sind und die Maschine Q⁻¹P „expandierend“ ist – das heißt, sie dehnt den Raum so stark, dass die Dinge auseinanderfliegen), eine Menge von Ziffern D finden kann, die das System funktionieren lässt.

Die Geheimwaffe: Endliche Automaten (Die magischen Übersetzer)

Wie beweisen sie das? Sie verwenden etwas, das man endliche Automaten nennt. Stellen Sie sich einen winzigen, superschnellen Roboter vor, der eine Zeichenfolge von Ziffern liest und sie übersetzt.

In Abschnitt 3 bauen die Autoren diese Roboter für den 2-dimensionalen Raum (flache Pfeile auf einem Blatt Papier). Sie erstellen einen „Transducer“ – eine Maschine, die eine Eingabe (wie das kleine Schrittchen nach rechts) nimmt und die neue Ziffernfolge ausgibt.

Sie zeichnen Karten (genannt Übergangsdiagramme), die zeigen, wie der Roboter von einem Zustand zum nächsten wandert.
Sie fanden heraus, dass diese Roboter für bestimmte Arten von Maschinen P und Q immer zur Ruhe kommen. Sie bleiben nicht in einer unendlichen Schleife des Chaos stecken; sie hören schließlich auf. Dies beweist, dass die „Endlichkeitseigenschaft“ gilt.

Der Expansionsbaum: Ein Labyrinth aus Pfaden

In Abschnitt 4 führen die Autoren das Konzept eines Expansionsbaums ein. Stellen Sie sich einen riesigen, verzweigenden Baum vor, bei dem die Wurzel der Null-Vektor (das Zentrum des Universums) ist.

Jeder Ast repräsentiert das Hinzufügen einer Ziffer.
Jeder Knoten (ein Punkt auf dem Baum) repräsentiert einen spezifischen Pfeil, den man erreichen kann.
Der Pfad von der Wurzel zu einem Knoten ist der „Code“ oder die Expansion dieses Pfeils.

Sie haben etwas Faszinierendes über diesen Baum bewiesen:

Es ist keine einfache Schleife: Der Baum ist so komplex, dass kein einfaches Computerprogramm (eine „reguläre Sprache“) alle Pfade vorhersagen kann. Er ist unendlich kompliziert.
Das einzige sich wiederholende Muster ist die Null: Wenn Sie den Baum hinuntergehen und ein Muster sehen, das sich ewig wiederholt, ist das einzige Muster, das funktioniert, eine Folge von Nullen. Jedes andere sich wiederholende Muster führt zu einer Sackgasse oder einem Widerspruch.

Was ist mit reellen Zahlen? (Das offene Mysterium)

Bisher haben wir über Pfeile aus ganzen Zahlen gesprochen. Aber was ist mit reellen Zahlen (wie 3,14)?

Die Autoren schlagen vor, dass man reelle Vektoren darstellen kann, wenn man die Ziffern nach „rechts“ (unter Verwendung negativer Potenzen der Maschine) unendlich weit laufen lässt.

Sie führten Simulationen (Computer-Approximationen) durch, um zu sehen, wie diese reellen Vektoren aussehen.
Das Ergebnis: Die Menge aller darstellbaren reellen Vektoren sieht aus wie eine seltsame, gezackte Form, die die Ebene fliesartig ausfüllt (wie ein Puzzle).
Die Einschränkung: Sie sagen nicht, dass sie das Problem gelöst haben, welche reellen Vektoren dargestellt werden können. Sie stellen explizit fest, dass die Bestimmung dessen „wesentlich schwieriger“ ist als der Fall der ganzen Zahlen. Sie bieten eine Vermutung (eine starke Vermutung) an, dass diese Formen den gesamten Raum ohne Überlappungen ausfüllen, aber dies basiert auf ihren Simulationen und visuellen Annäherungen, nicht auf einem endgültigen Beweis.

Was sie explizit ausschließen

Das Papier ist sehr deutlich darüber, was nicht funktioniert oder was zusätzliche Bedingungen erfordert:

Eindeutigkeit ist nicht automatisch gegeben: Nur weil man eine endliche Menge von Ziffern hat, bedeutet das nicht, dass die Darstellung eindeutig ist. Man muss die richtige Menge an Ziffern wählen (ein „vollständiges Residuensystem“), um Eindeutigkeit zu erhalten.
Nicht alle Matrizen funktionieren: Die Maschine Q⁻¹P muss „expandierend“ sein (alle ihre Eigenwerte müssen einen Betrag größer als 1 haben). Wenn die Maschine den Raum eher schrumpft als dehnt, bricht das System zusammen.
Ganze Zahlen vs. Reelle Zahlen: Die Methoden, die für ganzzahlige Vektoren perfekt funktionieren (bewiesen durch die Automaten), lösen das Problem der reellen Vektoren nicht automatisch. Der Fall der reellen Vektoren bleibt ein offenes Forschungsgebiet, in dem die Autoren lediglich eine Kachelungseigenschaft basierend auf ihren visuellen Modellen vorschlagen.

Das Fazleit

Cruz und Loquias haben erfolgreich eine Brücke zwischen der Welt der rationalen Zahlen (Brüche) und der Welt der Matrizen geschlagen. Sie haben gezeigt, dass man, wenn man seine Maschinen richtig wählt, jeden ganzzahligen Vektor mit einem endlichen, eindeutigen Code darstellen kann. Sie haben die „Roboter“ (Automaten) gebaut, um es zu beweisen, und die „Bäume“ gezeichnet, um es zu visualisieren.

Doch wenn es um die chaotische, unendliche Welt der reellen Zahlen geht, haben sie erst den ersten Schritt getan. Sie haben eine wunderschöne Karte des Territoriums gezeichnet und vermutet, dass es die ganze Welt abdeckt, aber sie geben zu, dass der vollständige Beweis noch darauf wartet, entdeckt zu werden.

Technische Zusammenfassung: Ein Matrix-Analogon zu rationalen Zahlensystemen

Problemstellung
Diese Arbeit befasst sich mit der Verallgemeinerung von rationalen Zahlbasis-Systemen (speziell der von Akiyama et al. eingeführten $p/q$ -Expansion) auf den Bereich von Matrix-Ziffernsystemen. Während Standard-Matrix-Ziffernsysteme typischerweise eine ganzzahlige Basismatrix $A$ und einen Ziffernsatz $D \subseteq \mathbb{Z}^d$ verwenden, untersucht diese Arbeit Systeme, bei denen die Basis eine rationale Matrix der Form $Q^{-1}P$ ist, wobei $P, Q \in \mathbb{Z}^{d \times d}$ invertible, teilerfremde Matrizen sind. Das zentrale Problem besteht darin, Bedingungen zu bestimmen, unter denen jeder Vektor in einem spezifischen $\mathbb{Z}$ -Modul $\mathbb{Z}^d[Q^{-1}P]$ eine endliche Expansion der Form
$x = \sum_{i=0}^{\ell-1} (Q^{-1}P)^i Q^{-1} d_i$
aufweist, wobei die Ziffern $d_i$ zu einer endlichen Menge $D$ gehören. Die Autoren suchen nach hinreichenden Bedingungen für die Endlichkeitseigenschaft (Existenz einer solchen endlichen Expansion) und die Eindeigenschaft (Eindezigkeit der Expansion für eine minimale Länge $\ell$ ).

Methodik
Die Autoren verwenden eine Kombination aus algebraischer Zahlentheorie, dynamischen Systemen und Automatentheorie:

Algebraischer Rahmen: Die Untersuchung definiert $\mathbb{Z}^d[Q^{-1}P]$ als den kleinsten nicht-trivialen, $Q^{-1}P$ -invarianten $\mathbb{Z}$ -Modul, der $\mathbb{Z}^d$ enthält. Die Autoren nutzen das Konzept der teilerfremden Matrizen ( $P\mathbb{Z}^d + Q\mathbb{Z}^d = \mathbb{Z}^d$ ), um eine QuotientenGruppenstruktur zu definieren. Sie stellen fest, dass der Ziffernsatz $D$ ein vollständiges Restsystem von $(\mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]) / P\mathbb{Z}^d[Q^{-1}P]$ enthalten muss.
Dynamische Systeme: Ein dynamisches System $\Phi$ (die Quotientenfunktion) wird definiert, das den Divisionsalgorithmus nachahmt. Die Existenz endlicher Expansionen ist mit der Endlichkeit des Attraktors $A_\Phi$ dieses dynamischen Systems verknüpft. Wenn der Attraktor endlich ist, besitzt das System die Endlichkeitseigenschaft.
Restriktive Division für ganzzahlige Vektoren: Um die Expansionen von Vektoren in $\mathbb{Z}^d$ speziell zu behandeln, führen die Autoren eine „restriktive Ziffernfunktion“ $d_r$ ein, die auf Residuen von $\mathbb{Z}^d/P\mathbb{Z}^d$ abbildet. Dies führt zu einem restriktiven dynamischen System $\Phi_r$ . Ein Schlüssellemma zeigt, dass, falls $\Phi_r$ einen endlichen Attraktor besitzt, auch das erweiterte System auf $\mathbb{Z}^d[Q^{-1}P]$ einen endlichen Attraktor besitzt.
Automatentheorie (Dimension $d=2$ ): Für den spezifischen Fall von $2 \times 2$ -Matrizen konstruieren die Autoren endliche Letter-to-Letter-Transducer. Diese Automaten modellieren die Addition von Basisvektoren (z. B. $(1,0)^\top$ ) zu einer gegebenen Ziffernexpansion. Durch die Analyse der Übergangsgraphen und Zyklen (insbesondere Selbstschleifen und endliche Pfade) dieser Transducer bestimmen die Autoren die Struktur des Attraktors für verschiedene Koeffizienten des charakteristischen Polynoms.
Expansionsbäume: Das Paper konstruiert einen „Expansionsbaum“ $T_{P/Q}$ , um Vektoren in $\mathbb{R}^d$ darzustellen, welcher den $p/q$ -Expansionsbaum für reelle Zahlen generalisiert, wobei die Pfadbeschriftungen als $P/Q$ -Expansionen definiert werden und die Spracheigenschaften dieser Pfade untersucht werden.

Wesentliche Beiträge und Ergebnisse

Allgemeine Bedingungen für Endlichkeit: Das Paper beweist, dass, falls $Q^{-1}P$ eine expandierende Matrix ist (alle Eigenwerte haben Modulus $>1$ ), der Attraktor des zugehörigen dynamischen Systems endlich ist. Folglich existiert ein Ziffernsystem $(P, Q, D)$ mit der Endlichkeitseigenschaft, vorausgesetzt $D$ ist ein vollständiges Restsystem der relevanten Quotientengruppe.
Eindezigkeit und Standardsysteme: Die Autoren klären, dass, falls $D$ ein vollständiges Restsystem ist und die Expansionslänge minimal ist, die Eindeigenschaft gilt. Ein System, das sowohl die Endlichkeit als auch die Eindezigkeit besitzt, wird als „Standard“ bezeichnet.
Explizite Attraktor-Klassifizierung für $d=2$ : Für $2 \times 2$ $2 \times 2$ -Matrizen $P$ $P$ und $Q$ $Q$ mit teilerfremden Determinanten und spezifischen Strukturformen liefern die Autoren eine vollständige Klassifizierung des Attraktors $A$ $A$ basierend auf den Koeffizienten $\alpha$ $α$ und $\beta$ $β$ des charakteristischen Polynoms von $Q^{-1}P$ $Q^{- 1} P$ ( $\chi(x) = x^2 + \alpha x + \beta$ $χ (x) = x^{2} + α x + β$ ):
- In Fällen, in denen $0 \le \alpha \le \beta - 1$ oder $0 < -\alpha \le 1$ gilt, ist der Attraktor trivial: $A = \{(0,0)^\top\}$ .
- In anderen Fällen (z. B. $1 < -\alpha \le \beta - 1$ ) ist der Attraktor eine endliche Menge von Vektoren, die durch spezifische Linearkombinationen unter Einbeziehung der Matrixeinträge erzeugt werden.
- Diese Ergebnisse werden durch die Analyse des Verhaltens der konstruierten Transducer abgeleitet, insbesondere durch Identifizierung, ob unendliche periodische Wörter (Zyklen im Automaten) auf Nicht-Null-Attraktor-Elemente korrespondieren.
Spracheigenschaften: Das Paper stellt fest, dass die Sprache $L_{P/Q}$ der endlichen $P/Q$ -Expansionen für ganzzahlige Vektoren präfixabgeschlossen, aber nicht regulär ist. Dies wird unter Verwendung des Myhill-Nerode-Theorems bewiesen, welches zeigt, dass distinkte Vektoren distinkte Äquivalenzklassen erzeugen.
Darstellung reeller Vektoren: Die Autoren definen $P/Q$ -Expansionen für reelle Vektoren in $\mathbb{R}^d$ unter Verwendung unendlicher Reihen mit negativen Potenzen der Basis. Sie führen das Konzept eines Expansionsbaums für reelle Vektoren ein und vermuten, dass die Mengen der durch diese Expansionen repräsentierbaren Vektoren eine Parkettierung (Tiling) von $\mathbb{R}^d$ bilden (eine Sammlung von Mengen, deren Vereinigung $\mathbb{R}^d$ ist und deren paarweise Schnittmengen das Lebesgue-Maß Null besitzen).

Bedeutung und Ansprüche
Das Paper positioniert sich als direktes Analogon zu den von Akiyama et al. untersuchten rationalen Basissystemen, indem es diese Konzepte von skalaren rationalen Basen ( $p/q$ ) auf Matrix-rationale Basen ( $Q^{-1}P$ ) erweitert.

Theoretische Erweiterung: Die primäre Bedeutung liegt in der Überbrückung der Lücke zwischen rationalen Zahlensystemen und Matrix-Ziffernsystemen. Die Autoren zeigen, dass der „modifizierte Divisionsalgorithmus“, der für $p/q$ -Basen verwendet wird, erfolgreich an den Matrix-Kontext angepasst werden kann, sofern die Basis eine expandierende Matrix ist und der Ziffernsatz als Restsystem einer spezifischen Quotientengruppe gewählt wird.
Konstruktiver Ansatz: Durch die Verwendung endlicher Automaten (Transducer) für den Fall $d=2$ geht das Paper über abstrakte Existenzbeweise hinaus und bietet konstruktive Methoden zur Bestimmung des Attraktors und zur Verifizierung der Endlichkeitseigenschaft.
Verbindung zur Parkettierung: Das Paper verbindet diese Ziffernsysteme mit der Theorie der selbstaffinen Kacheln. Die Vermutung bezüglich der Parkettierung von $\mathbb{R}^d$ durch die Mengen $G_{P/Q}(v)$ legt nahe, dass diese Matrix-Expansionen geometrische Implikationen haben, die denen von Standard-Radix-Systemen und selbstaffinen Kacheltheorien ähneln.

Die Autoren bleiben hinsichtlich des allgemeinen Falles für $d > 2$ und der vollständigen Charakterisierung der Menge der reellen Vektoren, die solche $Q^{-1}P$ -Expansionen zulassen, bescheiden und merken an, dass die Bestimmung, welche Vektoren in $\mathbb{R}^d$ eine $Q^{-1}P$ -Expansion besitzen, „wesentlich schwieriger“ ist als im skalaren Fall. Die Arbeit dient als grundlegender Schritt, der hinreichende Bedingungen und explizite Konstruktionen für den Fall $2 \times 2$ liefert, während sie die allgemeinen geometrischen Eigenschaften als offenes Forschungsgebiet für zukünftige Arbeiten deklariert.