🔢 mathematics

From some Pisot numerations to topological groups

Diese Arbeit führt ein topologisches Gruppenanalogon der $p$ -adischen Zahlen für Pisot-Numerationssysteme ein, die Nullen bewahren, und zeigt auf, dass diese Gruppen homomorph auf einen Torus projizieren und kontinuierlich isomorph zu einem Torus sind, wenn die Numeration unimodular ist.

Ursprüngliche Autoren: Olivier Carton, Jake Sudbery, Reem Yassawi

Veröffentlicht 2026-06-30

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Olivier Carton, Jake Sudbery, Reem Yassawi

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 eine ganz besondere Art, Zahlen zu zählen, die sich von dem gewohnten Zehnersystem unterscheidet, das wir jeden Tag benutzen. Anstatt der Zehnerpotenzen (1, 10, 100...) verwenden Sie eine Zahlenfolge, die nach einer bestimmten Regel wächst, wie etwa der berühmten Fibonacci-Folge (1, 1, 2, 3, 5, 8...). Dies wird als Pisot-Numerationssystem bezeichnet.

In unserer normalen Welt, wenn man zwei Zahlen addiert, bewegen sich alle „Überträge“ (wie bei 5 + 5 = 10, wobei man die 1 überträgt) nur nach links. In diesen speziellen Zählsystemen können Überträge jedoch verwirrt werden und sowohl nach links als auch nach rechts springen. Das macht die Mathematik mit ihnen knifflig und bricht die üblichen Regeln, nach denen wir Zahlensysteme aufbauen.

Die Kernidee: Eine „Zahlenstadt“ bauen

Die Autoren dieser Arbeit wollten eine mathematische „Stadt“ (eine topologische Gruppe) für diese speziellen Fibonacci-ähnlichen Zählsysteme bauen, ähnlich wie Mathematiker eine Stadt der p-adischen Zahlen für Standard-Basis-p-Systeme erschaffen haben.

Denken Sie an die p-adischen Zahlen als eine Stadt, in der jede Adresse eine unendliche Zeichenfolge aus Ziffern ist. In dieser Stadt werden zwei Zahlen als „nah“ betrachtet, wenn sie am Ende einen langen identischen Teil (Tail) teilen. Dies erzeugt eine sehr ordentliche, organisierte Struktur.

Die Autoren fragten: Können wir eine ähnliche Stadt für diese speziellen Fibonacci-ähnlichen Zählsysteme bauen?

Das Problem: Das „Übertrag-Chaos“

In der Standardmathematik ist das Addieren zweier Zahlen vorhersehbar. In diesen speziellen Systemen ist das Ergebnis aufgrund der Tatsache, dass Überträge hin und her springen können, nicht so einfach, da die übliche Art, „Nähe“ zu definieren, nicht funktioniert. Wenn man versucht, zwei Zahlen zu addieren, kann das Ergebnis im Vergleich zu den Eingabewerten so unterschiedlich aussehen, dass die glatte Struktur der Stadt aufgebrochen wird.

Um dies zu beheben, führten die Autoren das Konzept des „Nuller-Erhaltens“ ein.

Die Analogie: Stellen Sie sich vor, Sie versuchen, Blöcke zu stapeln. In einem normalen System bleibt der gesamte Turm stabil, wenn man einen Block unten entfernt. In diesen speziellen Systemen kann das Entfernen eines Blocks jedoch dazu führen, dass der ganze Turm wackelt oder zusammenbricht.
Die Lösung: Die Autoren fanden heraus, dass, wenn das System „Nuller erhält“ (das heißt, das Wackeln kontrolliert bleibt und nicht außer Kontrolle gerät), sie eine stabile Stadt bauen können. Sie nennen diese neue Stadt $Z_U$ .

Die große Entdeckung: Die Stadt ist ein Donut

Sobald sie diese Stadt $Z_U$ gebaut und ihr die richtigen Regeln für „Nähe“ gegeben hatten, entdeckten sie etwas Wunderschönes über ihre Form.

Sie bewiesen, dass diese Stadt topologisch gesehen dasselbe ist wie ein Torus (eine Donut-Form).

Die Analogie: Stellen Sie sich vor, man nimmt einen langen, unendlichen Papierstreifen (der alle möglichen Zahlen in diesem System darstellt), rollt ihn zu einem Rohr auf und verbindet dann die Enden, um einen Donut zu formen. Obwohl die Zahlen ewig weitergehen, „wickelt“ sich die gesamte Sammlung der Zahlen um sich selbst und bildet die Form eines Donuts.
Das Ergebnis: Wenn die Regeln des Zählsystems „unimodular“ sind (eine spezifische mathematische Eigenschaft, die alles im Gleichgewicht hält), ist die Stadt $Z_U$ perfekt identisch mit dieser Donut-Form. Wenn die Regeln nicht perfekt ausbalanciert sind, bildet die Stadt dennoch eine Abbildung auf den Donut, aber sie wickelt sich vielleicht mehrmals darum oder bedeckt ihn auf eine komplexere Weise.

Warum das wichtig ist (laut der Arbeit)

Die Arbeit verbindet drei verschiedene Welten der Mathematik:

Zählsysteme: Wie wir Zahlen unter Verwendung spezieller Sequenzen (wie Fibonacci) schreiben.
Topologie: Die Lehre von Formen und Räumen (wie Donuts).
Algebra: Die Lehre von Gruppen und Operationen.

Die Autoren zeigten, dass die „Form“ der Menge aller Zahlen in diesen speziellen Systemen ein Donut ist. Sie bewiesen auch, dass dies nur funktioniert, wenn das System eine spezifische Bedingung erfüllt, die als „Bedingung F“ (eine von anderen Mathematikern wie Frougny und Solomyak entdeckte Regel) bezeichnet wird. Wenn das System dieser Regel folgt, wird das „Übertrag-Chaos“ gezähmt und die Donut-Form tritt hervor.

Ein visuelles Beispiel

Die Arbeit verwendet das Tribonacci-System (wo jede Zahl die Summe der vorangegangenen drei Zahlen ist) als Beispiel.

Sie nahmen die „Standard“-Art, Zahlen in diesem System zu schreiben.
Sie bildeten diese Zahlen in einen geometrischen Raum ab.
Das Ergebnis war eine einzige, wunderschöne Kachel, die aussieht wie ein Fraktal (eine Form, die sich selbst wiederholt).
Wenn man all diese Kacheln zusammenfügt, füllen sie einen Raum perfekt ohne Lücken oder Überlappungen aus und bilden die beschriebene „Donut“-Form.

Zusammenfassung in Kürze

Die Arbeit nimmt eine seltsame, komplexe Art, Zahlen zu zählen, bei der die mathematischen Überträge chaotisch werden. Sie beweist, dass die gesamte Sammlung dieser Zahlen eine perfekte, glatte Form bildet: einen Donut, sofern man einer spezifischen Regel folgt, um das Chaos unter Kontrolle zu halten. Dies schlägt die Brücke zwischen der Art, wie wir zählen, und den geometrischen Formen, die diese Zahlen erzeugen.

Technische Zusammenfassung: Von gewissen Pisot-Numerationen zu topologischen Gruppen

Problemstellung
Die additive Gruppe der $p$ -adischen Zahlen, $\mathbb{Z}_p$ , wird klassischerweise als inverser Limit endlicher Gruppen $\mathbb{Z}/p^n\mathbb{Z}$ oder als topologische Vervollständigung der natürlichen Zahlen $\mathbb{N}$ unter einer $p$ -adischen Metrik konstruiert, die auf Basis- $p$ -Expansionsverfahren beruht. Eine Schlüsseleigenschaft dieser Konstruktion ist, dass Überträge strikt nach links propagieren und die nicht-Archimedische Ungleichung $\nu_p(x+y) \geq \min(\nu_p(x), \nu_p(y))$ erfüllen.

Diese Arbeit befasst sich mit der Konstruktion einer analogen topologischen Gruppe für Pisot-Numerationssysteme. In solchen Systemen werden die Potenzen einer Basis $p$ durch eine Folge natürlicher Zahlen $(u_n)_{n \geq 0}$ ersetzt, die durch eine lineare Rekurrenz erzeugt wird, deren charakteristisches Polynom das Minimalpolynom einer Pisot-Zahl $\beta$ (einer algebraischen Ganzzahl $>1$ , deren Konjugierte strikt innerhalb des Einheitskreises liegen) ist. Im Gegensatz zu Basis- $p$ -Systemen weisen Pisot-Numerationen (z. B. Zeckendorf/Fibonacci) eine „nicht-standardmäßige“ Übertragung von Überträgen auf, wobei Überträge sowohl nach links als auch nach rechts wandern können. Folglich versagen die klassischen $p$ -adischen Valuations-Eigenschaften, und die resultierende Gruppenstruktur ist keine profine Gruppe mit einer nulldimensionalen Topologie. Die Autoren streben danach, eine Gruppe $\mathbb{Z}_U$ zu definieren, die als Analogon zu $\mathbb{Z}_p$ für diese Systeme dient, und deren topologische Struktur zu charakterisieren.

Methodik
Die Autoren konstruieren die Gruppe $\mathbb{Z}_U$ durch folgende Schritte:

Gruppenkonstruktion über Quotienten:
- Sei $G$ die abelsche Gruppe der beschränkten, ganzzahligen Folgen $(g_n)_{n \geq 0}$ unter komponentenweiser Addition.
- Eine „Pseudo-Valuation“ $\nu_U$ wird auf endlichen Folgen basierend auf der Ordnung der ersten nicht-nullen Stelle in der normalisierten $U$ -Expansion der repräsentierten Ganzzahl definiert.
- Das Konzept der Nullerhaltung (zero preservation) wird eingeführt: Eine Numeration $U$ erhält Nullen, wenn es eine Konstante $K_c$ gibt, so dass für jede Folge $g$ mit beschränkten Einträgen gilt: $\nu_U(g) \geq \text{ord}(g) - K_c$ . Diese Bedingung stellt sicher, dass Überträge nicht beliebig weit nach rechts propagieren.
- Eine Untergruppe $H_U \subset G$ wird als die Menge der Folgen $g$ definiert, bei denen die Valuation der Präfixe gegen Unendlich strebt.
- Die Gruppe der $U$ -adischen Zahlen wird als der Quotient $\mathbb{Z}_U := G/H_U$ definiert.
Topologische Struktur und Abbildung:
- Eine Metrik-Topologie wird auf $G$ unter Verwendung einer durch die Konjugierten von $\beta$ gewichteten Norm definiert: $\|g\|_U = \sum |g_n| \gamma^n$ , wobei $\gamma < 1$ der maximale Modulus der Konjugierten von $\beta$ ist.
- Ein Homomorphismus $\tilde{\Phi}: G \to \mathbb{C}^k \times \mathbb{R}^\ell$ wird konstruiert, der eine Folge auf eine Summe involvierend die Konjugierten von $\beta$ abbildet.
- Es wird gezeigt, dass das Bild der Untergruppe $H_U$ unter $\tilde{\Phi}$ innerhalb eines spezifischen Gitters $L$ liegt, das von den Potenzen der Konjugierten erzeugt wird.
- Dies induziert einen stetigen Gruppenhomomorphismus $\Phi: \mathbb{Z}_U \to (\mathbb{C}^k \times \mathbb{R}^\ell)/L$ , wobei der Codomain ein Torus $\mathbb{T}^{d-1}$ ist.
Äquivalenz mit Bedingung F:
- Die Arbeit stellt eine kritische Verbindung zwischen der algebraischen Bedingung der „Nullerhaltung“ für die Numeration $U$ und der Bedingung F (eingeführt von Frougny und Solomyak) für die zugehörige $\beta$ -Numeration her. Bedingung F erfordert, dass $\mathbb{Z}[\beta] \subset \text{Fin}(\beta)$ gilt, was bedeutet, dass jedes Element des Rings $\mathbb{Z}[\beta]$ eine endliche $\beta$ -Expansion besitzt.
- Die Autoren beweisen, dass $U$ Nullen erhält genau dann, wenn das zugehörige $\beta$ die Bedingung F erfüllt.

Wesentliche Beiträge und Ergebnisse

Definition von $\mathbb{Z}_U$ : Die Arbeit führt $\mathbb{Z}_U$ als eine topologische Gruppe ein, die die $p$ -adischen Zahlen für Pisot-Numerationen generalisiert. Es wird gezeigt, dass Elemente von $\mathbb{Z}_U$ durch unendliche normalisierte Folgen von Ziffern dargestellt werden können.
Topologischer Isomorphismus zu einem Torus:
- Theorem 1: Wenn $U$ eine Pisot-Numeration ist, die mit einer Pisot-Zahl $\beta$ des Grades $d$ assoziiert ist und $U$ Nullen erhält, dann existiert ein stetiger Gruppenepimorphismus $\Phi: \mathbb{Z}_U \to \mathbb{T}^{d-1}$ .
- Unimodularer Fall: Wenn $\beta$ unimodular ist (die Norm von $\beta$ ist $\pm 1$ ), dann ist $\Phi$ ein stetiger Gruppenisomorphismus. Somit ist $\mathbb{Z}_U$ topologisch isomorph zu einem $(d-1)$ -dimensionalen Torus.
Charakterisierung der Nullerhaltung: Die Arbeit bietet ein Entscheidungsverfahren dafür, wann eine Numeration Nullen erhält, indem sie dies mit der Bedingung F verknüpft. Sie bestätigt, dass Standard- $k$ -bonacci-Numerationen (einschließlich Fibonacci) Nullen erhalten.
Geometrische Realisierung: Die Gruppe $\mathbb{Z}_U$ erlaubt eine geometrische Darstellung als Parkettierung (Tiling) des euklidischen Raums (oder einer Fundamentaldomäne des Torus). Die Abbildung $\Phi$ sendet die Gruppenelemente auf Punkte des Torus, wobei das Bild der normalisierten Expansionen eine Parkettierung bildet (z. B. das Rauzy-Fraktal für den Tribonacci-Fall).

Bedeutung und Behauptungen
Die Autoren positionieren ihre Arbeit als Schließung einer Lücke im Verständnis der algebraischen Struktur von Numerationssystemen. Während frühere Arbeiten (z. B. von Vershik, Rittaud, Vivier) spezifische Vervollständigungen von Numerationen oder Verbindungen zu Wang-Kacheln untersucht hatten, konstruiert diese Arbeit explizit die Gruppenstruktur für die allgemeine Klasse der Nullerhaltenden Pisot-Numerationen.

Die Arbeit behauptet:

Die Konstruktion von $\mathbb{Z}_U$ bietet einen rigorosen algebraischen Rahmen für die „Fibonacci-Zerlegung der natürlichen Zahlen“ und ähnliche Systeme, indem sie über die Charaktertheorie hinausgeht und explizite Gruppenisomorphismen liefert.
Die Bedingung der Nullerhaltung ist das präzise Analogon zur Bedingung F im Kontext der Konstruktion topologischer Gruppen aus Numerationen.
Im Gegensatz zu den $p$ -adischen Zahlen, die nulldimensional sind, sind diese Gruppen höherdimensionale Mannigfaltigkeiten (Tori), wenn die zugrunde liegende Zahl unimodular ist.
Die Ergebnisse sind spezifisch für Numerationen und nicht bloß für Substitutionen, obwohl die Autoren anmerken, dass ihre Ergebnisse auf $\beta$ -Substitutionen übertragen werden können, um zu zeigen, dass solche Shifts fast automorph sind (ein Ergebnis, das in zukünftigen Arbeiten detailliert wird).

Die Arbeit weist explizit auf Einschränkungen hin: Die multiplikative Struktur von $\mathbb{Z}_p$ lässt sich nicht natürlich auf $\mathbb{Z}_U$ erweitern, da die Standard-Ganzzahmultiplikation nicht mit der Topologie kompatibel ist (sie erhält keine Nullen) und alternative Multiplikationen (wie die von Knuth) keine Distributivität besitzen. Daher bleibt der Fokus strikt auf der additiven topologischen Gruppenstruktur.