🔢 mathematics

Short Salem polynomials

Dieser Artikel liefert eine vollständige Klassifikation von Salem-Polynomen der Länge 5 und charakterisiert unter der Annahme der Vermutung von Lehmer alle bis auf endlich viele Salem-Polynome der Länge 6, indem er 12 unendliche Familien identifiziert und 126 spezifische Ausnahmen auflistet, ergänzt durch eine umfassende Tabelle kurzer Polynome für Salem-Zahlen unterhalb der kleinsten Pisot-Zahl.

Ursprüngliche Autoren: James McKee, Chris Smyth

Veröffentlicht 2026-05-20

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: James McKee, Chris Smyth

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 sind ein Detektiv, der versucht, die „kürzesten" möglichen geheimen Codes zu finden, die eine ganz bestimmte Art mathematischer Vorrichtung öffnen. Diese Vorrichtungen nennt man Salem-Zahlen.

In diesem Artikel agieren die Autoren James McKee und Chris Smyth als Meistercodeknacker. Sie haben ihre Zeit damit verbracht, nach diesen Zahlen zu jagen, jedoch mit einer sehr spezifischen Regel: Sie suchen nur nach Codes (Polynomen), die „kurz" sind.

Was ist ein „kurzer" Code?

In der Welt der Mathematik ist ein Polynom wie ein Rezept aus Zahlen und Variablen (wie $z$ ). Die „Länge" dieses Rezepts ist nicht die Anzahl der Zutaten, sondern die Summe der absoluten Beträge seiner Zahlen.

Stellen Sie sich ein Rezept vor: $z^{12} - z^7 - z^6 - z^5 + 1$ .
Die Zahlen sind $1, -1, -1, -1, 1$.
Wenn Sie die Minuszeichen ignorieren und sie addieren ( $1+1+1+1+1$ ), beträgt die Länge 5.

Die Autoren wollen jede einzelne „Salem-Zahl" finden, die durch einen Code mit einer Länge von 5 oder 6 geöffnet werden kann.

Das Rätsel der Länge 5: Die „Perfekte 17"

Zunächst griffen die Autoren die kürzestmöglichen Codes an: Länge 5.

Die Regel: Sie bewiesen, dass man keine Salem-Zahl mit einem Code kürzer als 5 herstellen kann. Es ist, als würde man versuchen, ein Haus mit nur 3 Ziegeln zu bauen; es wird einfach nicht stehen bleiben.
Die Entdeckung: Sie fanden genau 17 eindeutige Codes der Länge 5.
Das Ergebnis: Diese 17 Codes öffnen 13 verschiedene Salem-Zahlen. Eine dieser Zahlen ist berühmt: Es ist die kleinste jemals entdeckte Salem-Zahl (bekannt als Lehmer-Zahl). Die Autoren bestätigten, dass es keine weiteren „versteckten" Salem-Zahlen mit einem so kurzen Code gibt. Sie haben eine vollständige Liste, und die Liste ist abgeschlossen.

Das Rätsel der Länge 6: Die „Unendlichen Familien" und die „Ausreißer"

Als Nächstes untersuchten sie Codes der Länge 6. Hier wird die Handlung spannender.

1. Die Unendlichen Familien (Die Schienen)
Sie entdeckten, dass die meisten Codes der Länge 6 nicht zufällig sind. Sie gehören zu 12 unendlichen Familien.

Die Analogie: Stellen Sie sich eine Eisenbahnstrecke vor. Sobald Sie das Muster der Schienen gefunden haben, wissen Sie, dass der Zug unendlich weit fahren kann. Diese 12 Familien sind wie 12 verschiedene Eisenbahnstrecken, die sich ins Unendliche erstrecken. Sie können eine endlose Anzahl von Salem-Zahlen erzeugen, indem Sie diesen spezifischen Mustern folgen.

2. Die sporadischen Ausreißer (Die Streuner)
Aber nicht alle Codes der Länge 6 passen auf diese Schienen. Manche sind „sporadisch" – sie sind einzigartige, einmalige Codes, die den unendlichen Mustern nicht folgen.

Die Herausforderung: Da es unendlich viele Zahlen gibt, wie wissen Sie dann, dass Sie keinen Streuner übersehen haben?
Die Lösung: Die Autoren verwendeten mächtige mathematische Werkzeuge, um zu beweisen, dass es nur eine endliche Anzahl dieser Ausreißer gibt.
Die Liste: Sie schafften es, 126 dieser „Streuner-Codes" zu finden und aufzulisten.
- Hinweis: Sie fanden 116 davon, die Salem-Zahlen entsprechen, die kleiner sind als eine berühmte Zahl namens „kleinste Pisot-Zahl" (denken Sie daran als eine bestimmte Geschwindigkeitsbegrenzung auf der Zahlenlinie).
- Sie fanden 10 weitere, die etwas größer sind.
- Die Einschränkung: Sie sagen: „Wenn eine berühmte mathematische Vermutung namens 'Lehmers Vermutung' wahr ist (was die meisten Leute glauben), dann ist unsere Liste von 126 zu 100 % vollständig." Wenn diese Vermutung falsch ist, könnten noch ein paar sehr winzige Zahlen dort draußen lauern, aber sie sind so klein, dass sie praktisch unsichtbar sind.

Die „Pisot"-Verbindung

Um zu verstehen, wie sie diese unendlichen Familien fanden, verwendeten die Autoren einen Helfer namens Pisot-Zahl.

Die Analogie: Denken Sie an eine Pisot-Zahl als einen „Samen". Wenn Sie diesen Samen pflanzen und eine bestimmte Art mathematischer Pflanze wachsen lassen (unter Verwendung einer Methode, die von einem Mathematiker namens Salem entdeckt wurde), wächst sie zu einer Salem-Zahl heran.
Die Autoren zeigten, dass man für jeden „Samen" (Pisot-Polynom) einer bestimmten Art eine unendliche Reihe von Salem-Zahlen wachsen lassen kann. Sie katalogisierten genau, welche Samen welche Reihen wachsen lassen.

Die finale Schatzkarte

Der Artikel endet mit einer riesigen Tabelle (Tabelle 4).

Dies ist ein „Wer ist Wer" aller bekannten Salem-Zahlen, die kleiner sind als die kleinste Pisot-Zahl.
Für jede Zahl geben sie den „kürzesten Code" (das Polynom) an, der sie öffnet.
Sie geben auch den „Grad" an (wie komplex der Code ist) und die „Kürze" (die Summe der Zahlen).

Zusammenfassung

Einfach ausgedrückt haben McKee und Smyth:

Die Arbeit für die kürzesten Codes (Länge 5) abgeschlossen: Es gibt genau 17 davon.
Die Landschaft für die nächstkürzesten Codes (Länge 6) kartiert: Sie fanden 12 unendliche Muster und eine spezifische Liste von 126 einzigartigen Ausnahmen.
Ein Nachschlagewerk für alle kleinen Salem-Zahlen erstellt, die der Menschheit derzeit bekannt sind.

Sie haben keine neue Verwendung für diese Zahlen in der realen Welt gefunden (wie in der Medizin oder Technik); stattdessen haben sie einfach ein riesiges Rätsel in der reinen Mathematik gelöst und sichergestellt, dass für diese spezifischen „kurzen" Codes die Liste so vollständig ist, wie sie nur sein kann.

Technische Zusammenfassung: Kurze Salem-Polynome

Problemstellung
Der Artikel behandelt die Klassifizierung von Salem-Polynomen basierend auf ihrer „Länge", definiert als die Summe der Absolutwerte ihrer Koeffizienten. Eine Salem-Zahl $\tau > 1$ ist eine reelle algebraische ganze Zahl, deren Galois-Konjugierten (mit Ausnahme von $\tau$ ) den Betrag höchstens 1 haben, wobei mindestens einer den Betrag genau 1 hat. Ein Salem-Polynom ist das Minimalpolynom einer Salem-Zahl, potenziell multipliziert mit zyklotomischen Polynomen. Die Autoren konzentrieren sich auf Polynome kurzer Länge, speziell Länge 5 und Länge 6. Während bekannt ist, dass normierte reziproke ganzzahlige Polynome der Länge $\le 4$ zyklotomisch sind, beträgt die minimale Länge für ein Salem-Polynom 5. Der Artikel zielt darauf ab, eine vollständige Enumeration von Salem-Polynomen der Länge 5 und eine strukturelle Klassifizierung derjenigen der Länge 6 zu liefern.

Methodik
Die Autoren verwenden eine Kombination aus analytischer Zahlentheorie, algebraischer Manipulation und computergestützten Suchalgorithmen:

Analytische Schranken und Verflechtung: Für die Länge 5 analysieren die Autoren die Funktion $s(\theta)$ , die aus dem auf dem Einheitskreis ( $z = e^{i\theta}$ ) ausgewerteten Polynom abgeleitet ist. Sie nutzen Lemma 2.1 bezüglich der Verflechtung der Nullstellen von $f(\theta)$ und $f'(\theta)$ , um die Anzahl der Lösungen von $s(\theta)=1$ abzuschätzen. Dies ermöglicht ihnen zu beweisen, dass für hinreichend große Grade das Polynom die Bedingungen für ein Salem-Polynom nicht erfüllen kann, wodurch die Suche auf eine endliche Menge von Parametern beschränkt wird.
Salems Konstruktion und Pisot-Folgen: Für die Länge 6 stützt sich der Artikel auf Salems Methode zur Konstruktion von Folgen von Salem-Zahlen, die gegen Pisot-Zahlen konvergieren. Spezifisch wird für ein irreduzibles Pisot-Polynom $P(z)$ und $\epsilon \in \{-1, 1\}$ die Folge $P_n(z) = z^n P(z) + \epsilon P^*(z)$ analysiert. Proposition 2.5, die weitgehend auf Boyds Arbeiten basiert, stellt Bedingungen auf, unter denen diese Polynome eine eindeutige Nullstelle außerhalb des Einheitskreises besitzen (was sie zu Salem- oder Pisot-Polynomen macht), und charakterisiert ihre zyklotomischen Faktoren.
Computergestützte Suche mit Lückenschranken: Um sporadische (nicht-familienartige) Salem-Polynome der Länge 6 zu finden, adaptieren die Autoren einen Algorithmus aus [10], um nach reziproken Polynomen innerhalb spezifischer Intervalle $[a, b]$ zu suchen. Sie nutzen Gonçalvess Ungleichung und Dobrowolisks untere Schranken, um den Suchraum einzuschränken. Die Suche umfasst die Abschätzung der „Lücken" zwischen nicht-null Koeffizienten. Wenn eine Lücke aufgrund einer Nullstelle eines intermediären Polynoms im Intervall nicht abgeschätzt werden kann, identifizieren die Autoren dies als Grenzpunkt, der einer unendlichen Familie oder einem spezifischen sporadischen Fall entspricht.
Analyse zyklotomischer Faktoren: Die Autoren berechnen explizit die zyklotomischen Faktoren der unendlichen Familien unter Verwendung von Resultanten und Eigenschaften von Einheitswurzeln (Lemma 2.3), was ihnen erlaubt, die Minimalpolynome und Grade der resultierenden Salem-Zahlen zu bestimmen.

Hauptbeiträge und Ergebnisse

Klassifizierung der Länge 5 (Satz 1): Der Artikel liefert eine vollständige Liste aller Salem-Polynome der Länge 5. Es gibt genau 17 solche Polynome, die 13 verschiedenen Salem-Zahlen zugeordnet sind. Diese Ergebnisse bestätigen, dass keine Salem-Zahlen der Kürze 5 unterhalb der Lehmer-Zahl ( $\lambda_0 \approx 1.176$ ) existieren, was frühere Befunde in [7] bestätigt, aber einen rigorosen Beweis der Vollständigkeit liefert.
Klassifizierung der Länge 6 (Satz 2): Die Autoren zeigen, dass alle bis auf endlich viele Salem-Polynome der Länge 6 zu einer von 12 unendlichen Familien gehören. Diese Familien werden durch Salems Konstruktion unter Verwendung spezifischer Pisot-Polynome (Trinomien und $z-2$ $z - 2$ ) erzeugt.
- Der Artikel identifiziert 126 „sporadische" Salem-Polynome der Länge 6 mit Salem-Zahlen $\ge 1.01$ .
- Davon entsprechen 116 Salem-Zahlen unterhalb der kleinsten Pisot-Zahl $\theta_0 \approx 1.3247$ , und 10 liegen oberhalb von $\theta_0$ .
- Die Existenz dieser Familien und die Endlichkeit der sporadischen Menge werden bewiesen, wobei die Vollständigkeit der sporadischen Liste unterhalb von 1.01 von der Annahme abhängt, dass die Suche beliebig nahe an 1 ausgedehnt werden kann (was rechnerisch unpraktikabel ist), oder von der Wahrheit der Vermutung von Lehmer.
Zyklotomische Faktoren in Familien (Satz 3 & Proposition 5.1): Der Artikel detailliert die zyklotomischen Faktoren für die 12 unendlichen Familien. Er liefert explizite Formeln für die Minimalpolynome der Salem-Zahlen in diesen Familien und zeigt, dass für große $n$ der Grad des Minimalpolynoms linear mit $n$ wächst, abzüglich eines periodischen Korrekturterms, der durch die zyklotomischen Faktoren bestimmt wird.
Umfassende Tabellen: Die Autoren stellen bereit:
- Tabelle 1: Die 17 Salem-Polynome der Länge 5 und ihre entsprechenden Zahlen.
- Tabelle 2: Die 126 bekannten sporadischen Salem-Polynome der Länge 6 (für Zahlen $\ge 1.01$ ).
- Tabelle 4: Eine Zusammenstellung aller bekannten Salem-Zahlen unterhalb der kleinsten Pisot-Zahl $\theta_0$ , mit Angabe ihrer Grade, ihrer Kürze und ihrer Minimalgrad-kurzen Polynome. Dies umfasst die Folge $\tau_n$ , die gegen $\theta_0$ konvergiert, sowie 53 sporadische Zahlen.

Bedeutung
Der Artikel beansprucht, die erste vollständige Klassifizierung von Salem-Polynomen der Länge 5 zu liefern. Für die Länge 6 etabliert er eine strukturelle Dichotomie: Die Menge solcher Polynome besteht aus einer endlichen Anzahl sporadischer Beispiele und einer abzählbaren Menge unendlicher Familien. Die Autoren stellen fest, dass ihre Liste sporadischer Salem-Polynome der Länge 6 für Salem-Zahlen $\ge 1.01$ vollständig ist. Sie geben an, dass zwar die Erweiterung dieser Liste auf Zahlen, die beliebig nahe an 1 liegen, unpraktikabel ist, die Liste jedoch vollständig wäre, wenn die Vermutung von Lehmer (dass $\lambda_0$ die kleinste Salem-Zahl ist) wahr wäre. Die Arbeit verfeinert das Verständnis der Verteilung von Salem-Zahlen nahe 1 und klärt die Beziehung zwischen Salem-Zahlen, Pisot-Zahlen und zyklotomischen Faktoren durch explizite Polynomkonstruktionen.