🔢 mathematics

Parry order of Parry numbers

Die Arbeit führt die Parry-Ordnung für Perron-Zahlen ein, zeigt, dass genau die Pisot- und Salem-Zahlen unendlich viele Parry-Potenzen besitzen, und liefert Schranken sowie Beispiele, die eine neue dynamische Perspektive auf diese Zahlenklassen eröffnen.

Ursprüngliche Autoren: Kevin G Hare, Hachem Hichri

Veröffentlicht 2026-03-23

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Kevin G Hare, Hachem Hichri

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 haben eine magische Maschine, die Zahlen in eine Art „Zahlen-DNA" zerlegt. Diese Maschine heißt β-Expansion. Wenn Sie eine Zahl (nennen wir sie β) in diese Maschine werfen, spuckt sie eine unendliche Folge von Ziffern aus, die beschreibt, wie sich die Zahl verhält.

Manche Zahlen haben eine besonders schöne, ordentliche DNA: Ihre Ziffernfolge wiederholt sich irgendwann oder endet einfach. Diese Zahlen nennen die Mathematiker Parry-Zahlen. Sie sind wie gut organisierte Orchester, die einen klaren Rhythmus haben.

Andere Zahlen sind chaotisch. Ihre Ziffernfolge wiederholt sich nie und endet auch nicht. Das sind die nicht-Parry-Zahlen.

Die Forscher Kevin G. Hare und Hachem Hichri haben sich nun gefragt: Was passiert, wenn wir diese Zahlen potenzieren? Das heißt, was passiert, wenn wir die Zahl β mit sich selbst multiplizieren (β², β³, β⁴...)?

Hier ist die einfache Erklärung ihrer Entdeckungen, gemischt mit ein paar kreativen Bildern:

1. Die zwei unsterblichen Familien (Pisot und Salem)

Es gibt zwei besondere Gruppen von Zahlen, die wir Pisot- und Salem-Zahlen nennen.

Das Bild: Stellen Sie sich diese Zahlen als unsterbliche Könige vor. Egal, wie oft Sie sie potenzieren (β², β¹⁰⁰, β¹⁰⁰⁰), sie bleiben immer „Parry-Zahlen". Sie behalten ihre perfekte Ordnung.
Die Entdeckung: Die Autoren beweisen, dass nur diese beiden Familien unendlich oft Parry-Zahlen bleiben. Wenn eine Zahl unendlich viele Potenzen hat, die „ordentlich" sind, dann muss sie zwingend zu dieser Familie gehören.

2. Die sterblichen Zahlen (Die anderen Perron-Zahlen)

Alle anderen Zahlen, die wir Perron-Zahlen nennen, sind anders.

Das Bild: Diese Zahlen sind wie Laufschuhe, die sich mit der Zeit abnutzen. Am Anfang (bei kleinen Potenzen) laufen sie vielleicht noch gut (sind Parry-Zahlen). Aber je weiter Sie laufen (je höher die Potenz), desto mehr verschleißen sie, bis sie irgendwann kaputtgehen (nicht mehr Parry-Zahlen sind).
Die Regel: Für fast alle dieser Zahlen gibt es einen Endpunkt. Ab einer bestimmten Potenz (nennen wir sie die „Parry-Ordnung") ist die Zahl für immer chaotisch. Sie wird nie wieder eine ordentliche Parry-Zahl.

3. Die Parry-Ordnung: Ein Maß für die Haltbarkeit

Die Autoren haben einen neuen Begriff erfunden: die Parry-Ordnung.

Die Analogie: Stellen Sie sich vor, jede Zahl hat eine Batterielebensdauer.
- Die unsterblichen Könige (Pisot/Salem) haben eine unendliche Batterie.
- Die anderen haben eine endliche Batterie. Die Parry-Ordnung sagt uns genau, wie viele Stunden die Batterie noch hält, bevor sie leer ist.
- Beispiel: Eine Zahl könnte eine Ordnung von 5 haben. Das bedeutet: β, β², β³, β⁴ und β⁵ sind noch „ordentlich". Aber β⁶ ist bereits „kaputt" und bleibt es für immer.

4. Die große Überraschung: Zahlen, die erst kaputt, dann wieder ordentlich werden?

Früher dachte man vielleicht, wenn eine Zahl einmal „kaputt" (nicht Parry) ist, bleibt sie es immer. Oder wenn sie ordentlich ist, bleibt sie es immer.

Die neue Entdeckung: Die Autoren haben Zahlen gefunden, die weder noch sind.
- Es gibt Zahlen, die selbst „kaputt" sind (nicht Parry).
- Aber ihre Potenz (z. B. das Quadrat β²) ist plötzlich wieder „ordentlich" (Parry).
- Und dann wird β³ wieder kaputt, β⁴ vielleicht wieder ordentlich, bis die Batterie endlich leer ist.
Das Bild: Das ist wie ein Tanz, bei dem der Tänzer stolpert, dann einen perfekten Schritt macht, wieder stolpert, und dann für immer stolpert. Die Autoren haben die ersten Beispiele für diesen seltsamen Tanz gefunden.

5. Warum ist das wichtig? (Die Verbindung zu alten Rätseln)

Diese Forschung ist nicht nur Spielerei. Sie verbindet zwei Welten:

Die Welt der Dynamik: Wie sich Zahlen verhalten, wenn man sie immer wieder in die Maschine wirft.
Die Welt der alten Rätsel: Es gibt ein berühmtes Problem (die Lehmer-Vermutung), das fragt, wie „klein" eine bestimmte Art von Zahl sein kann, ohne trivial zu sein.

Die Autoren sagen im Grunde: „Wenn wir verstehen, wie lange eine Zahl ihre Parry-Eigenschaft behält (ihre Parry-Ordnung), bekommen wir neue Hinweise darauf, wie klein die kleinsten mysteriösen Zahlen (Salem-Zahlen) wirklich sein können."

Zusammenfassung in einem Satz

Die Autoren haben eine neue Landkarte der Zahlenwelt erstellt, die zeigt, dass die meisten Zahlen nur eine begrenzte Zeit lang „ordentlich" bleiben, wenn man sie potenziert, während nur eine winzige, besondere Gruppe (Pisot und Salem) diese Ordnung für immer bewahrt – und dass es sogar Zahlen gibt, die zwischen Ordnung und Chaos tanzen, bevor sie endgültig in das Chaos abgleiten.

1. Problemstellung und Motivation

Die Arbeit untersucht die arithmetische Natur algebraischer Zahlen, insbesondere der Perron-Zahlen, im Kontext der $\beta$ -Entwicklungstheorie.

Hintergrund: Perron-Zahlen sind reelle algebraische Ganzzahlen $\beta > 1$ , deren andere Galois-Konjugierte einen kleineren Betrag als $\beta$ haben. Zu den wichtigen Teilmengen gehören Pisot-Zahlen (alle Konjugierten im offenen Einheitskreis) und Salem-Zahlen (Konjugierte im abgeschlossenen Einheitskreis, mindestens einer auf dem Rand).
Parry-Zahlen: Eine reelle Zahl $\beta > 1$ heißt Parry-Zahl, wenn die $\beta$ -Entwicklung der 1 endlich oder periodisch ist. Dies korreliert mit der Endlichkeit der Bahn der 1 unter der $\beta$ -Transformation.
Offene Fragen: Es ist bekannt, dass alle Pisot-Zahlen Parry-Zahlen sind. Für Salem-Zahlen ist dies eine offene Vermutung (Schmidts Vermutung), wobei Boyd vermutet, dass es höhere Grade gibt, die keine Parry-Zahlen sind. Die algebraische Charakterisierung von Parry-Zahlen ist ein ungelöstes Problem.
Zentrales Ziel: Die Autoren untersuchen das dynamische Verhalten von Potenzen $\beta^n$ eines Perron-Zahl $\beta$ . Die Kernfrage lautet: Unter welchen Bedingungen sind Potenzen $\beta^n$ Parry-Zahlen? Insbesondere wird die Frage gestellt, ob ein nicht-Parry-Zahl Potenzen haben kann, die Parry-Zahlen sind.

2. Methodik

Die Autoren kombinieren Methoden aus der algebraischen Zahlentheorie, der Theorie der dynamischen Systeme und computergestützten Experimenten:

Definition des Parry-Ordnung (Parry Order):
Für eine Perron-Zahl $\beta$ definieren sie die Parry-Ordnung $\text{Ord}_P(\beta)$ als die größte ganze Zahl $n$ , für die $\beta^n$ eine Parry-Zahl ist.
- Falls $\beta^n$ für unendlich viele $n$ eine Parry-Zahl ist, setzen sie $\text{Ord}_P(\beta) = \infty$ .
- Falls $\beta^n$ für alle $n \ge 1$ keine Parry-Zahl ist, ist $\text{Ord}_P(\beta) = 0$ .
Kriterien zur Nicht-Parry-Eigenschaft:
- Solomjak-Kriterium: Wenn $\beta$ eine Konjugierte $\gamma$ mit $|\gamma| > \theta_0 = \frac{1+\sqrt{5}}{2}$ (dem goldenen Schnitt) hat, ist $\beta$ keine Parry-Zahl.
- Boyd-Kriterium: Basierend auf dem „Companion-Polynom" der $\beta$ -Entwicklung.
- Akiyama-Test: Ein Test, der die Existenz einer Konjugierten nutzt, um zu zeigen, dass $\beta$ keine Parry-Zahl ist, falls eine bestimmte Ungleichung für die Iterierten der $\beta$ -Transformation erfüllt ist.
Abschätzung der Ordnung:
Die Autoren leiten explizite obere Schranken für $\text{Ord}_P(\beta)$ her, die von der Mahler-Maß $M(\beta)$ und dem Grad $d$ der Zahl abhängen.
Computergestützte Analyse:
Es werden umfangreiche numerische Berechnungen für Polynome niedrigen Grades (insbesondere kubische und Polynome der Form $x^d - x - 1$ sowie $x^d - x^{d-1} - 1$ ) durchgeführt, um die Parry-Spektren zu bestimmen und Beispiele zu finden.

3. Hauptbeiträge und Ergebnisse

A. Charakterisierung unendlicher Parry-Potenzen

Der zentrale theoretische Befund ist Proposition 1.2:

Eine Perron-Zahl $\beta$ hat genau dann unendlich viele Potenzen $\beta^n$ , die Parry-Zahlen sind, wenn $\beta$ eine Pisot- oder eine Salem-Zahl ist.

Für alle anderen Perron-Zahlen (die weder Pisot noch Salem sind) ist die Menge der Exponenten $n$ , für die $\beta^n$ eine Parry-Zahl ist, endlich.

B. Der Parry-Ordnung und die Partition der Perron-Zahlen

Aufgrund des obigen Ergebnisses führen die Autoren eine neue Partition der Menge der Perron-Zahlen $\mathcal{P}$ ein:
$\mathcal{P} = \left( \bigcup_{n \ge 0} H_n \right) \cup H_\infty$
wobei:

$H_n = \{ \beta \in \mathcal{P} \mid \text{Ord}_P(\beta) = n \}$ (Zahlen mit endlicher Parry-Ordnung $n$ ).
$H_\infty = \mathcal{S} \cup \mathcal{T}$ (Die Menge aller Pisot- und Salem-Zahlen).

Dies bietet einen neuen dynamischen Blickwinkel auf die Verteilung dieser Zahlenklassen.

C. Explizite Schranken

Satz 2.2 liefert eine explizite obere Schranke für die Parry-Ordnung einer nicht-Pisot/Salem-Zahl $\beta$ vom Grad $d$ :
$\text{Ord}_P(\beta) \le \frac{d \log(\theta_0)}{\log(M(\beta)) - \log(\beta)}$
Dies zeigt, dass die Parry-Ordnung durch die algebraischen Eigenschaften (Grad und Mahler-Maß) kontrolliert wird.

D. Existenz von Beispielen mit nicht-trivialer Ordnung

Ein bedeutender experimenteller Beitrag ist die Entdeckung von nicht-Parry-Zahlen, deren Potenzen Parry-Zahlen werden.

Beispiel 3.1: Die Autoren stellen explizite Beispiele vor (z. B. Wurzeln von $x^{12} - x^{10} - x^9 + x^4 + x^3 - x - 1$ ), die selbst keine Parry-Zahlen sind ( $\beta \in H_2 \cap \mathcal{P}_a$ ), aber deren Quadrat $\beta^2$ eine Parry-Zahl ist.
Dies widerlegt implizit die Annahme, dass die Eigenschaft „Parry" nur bei Pisot/Salem-Zahlen stabil unter Potenzen bleibt, und zeigt, dass die Mengen $H_n$ für $n \ge 1$ nicht leer sind.

E. Kubische Perron-Zahlen

Für kubische Zahlen (Grad 3) wird eine detaillierte Analyse durchgeführt:

Es wird gezeigt, dass für bestimmte Konfigurationen der Konjugierten die Parry-Ordnung ungerade sein muss.
Satz 3.13: Es wird eine unendliche Familie von nicht-Pisot-Zahlen konstruiert, deren Parry-Ordnung beliebig groß werden kann. Dies beweist, dass die Parry-Ordnung nicht durch eine universelle Konstante beschränkt ist, sondern mit der Komplexität der Zahl wachsen kann.

F. Vermutungen zu Lehmer-Problem und Dichte

Die Autoren formulieren eine dynamische Version der starken Lehmer-Vermutung (Konjektur 1.6):

Wenn $\beta < \tau_{10}$ (die kleinste bekannte Salem-Zahl) eine Perron-Zahl ist, dann kann $\beta^n$ nur für endlich viele $n$ eine Parry-Zahl sein.

Zudem werden Dichte-Ergebnisse diskutiert: Die Menge der nicht-Parry-Zahlen ist dicht in $(1, \infty)$ , und es wird vermutet, dass auch die Mengen $H_n$ (für $n \ge 1$ ) dicht sind.

4. Signifikanz und Implikationen

Verbindung von Algebra und Dynamik: Die Arbeit stellt eine tiefe Verbindung zwischen der algebraischen Struktur (Lage der Konjugierten, Mahler-Maß) und dem dynamischen Verhalten ( $\beta$ -Expansion) her.
Neue Klassifikation: Die Einführung der Parry-Ordnung bietet ein neues Werkzeug zur Klassifizierung von Perron-Zahlen jenseits der traditionellen Einteilung in Pisot/Salem/Andere.
Lösung eines offenen Problems: Die Entdeckung von nicht-Parry-Zahlen mit Parry-Potenzen füllt eine Lücke im Verständnis der Dynamik dieser Zahlen. Es zeigt, dass die Eigenschaft „Parry" nicht monoton unter Potenzen verläuft, sondern oszillieren kann, bevor sie für große Potenzen verschwindet (außer bei Pisot/Salem).
Beitrag zu offenen Vermutungen: Die Ergebnisse liefern neue Evidenz und Rahmenbedingungen für die Schmidtsche und Boydsche Vermutung bezüglich Salem-Zahlen und das Lehmer-Problem. Sie deuten darauf hin, dass das Studium der Parry-Ordnung ein neuer Ansatz sein könnte, um die kleinste Salem-Zahl zu charakterisieren.

Zusammenfassend etabliert dieses Paper eine neue dynamische Perspektive auf Perron-Zahlen, die zeigt, dass die Menge der Parry-Zahlen unter Potenzen eine komplexe, aber durch algebraische Invarianten streng kontrollierte Struktur aufweist.