🔢 mathematics

If a machine did it, it is probably transcendental (even $p$ -adically)

Diese Arbeit stellt fest, dass $p$ -adische Zahlen mit Kettenbrüchen, die durch verallgemeinerte automatische, periodische oder palindromische Wörter erzeugt werden, entweder algebraisch vom Grad höchstens 2 oder transzendent sind, wodurch zentrale Ergebnisse aus dem reellen Kontext auf den $p$ -adischen Kontext ausgeweitet werden.

Ursprüngliche Autoren: Laura Capuano, Sara Checcoli, Marzio Mula, Lea Terracini

Veröffentlicht 2026-07-14

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Laura Capuano, Sara Checcoli, Marzio Mula, Lea Terracini

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 magische Maschine, die eine Zahl nimmt und sie in eine lange, endlose Kette von Symbolen zerlegt, wie einen Geheimcode. In der Welt der reellen Zahlen (der Art, die wir zur Messung von Pizzastücken verwenden) wissen Mathematiker schon seit langem, dass wenn dieser Code einem einfachen, sich wiederholenden Muster folgt, die Zahl meistens „besonders“ ist (wie die Quadratwurzel aus 2). Aber wenn der Code chaotisch und unordentlich ist, ist die Zahl wahrscheinlich „transzendent“ – ein schickes Wort für eine Zahl, die so wild und komplex ist, dass sie nicht durch irgendeine einfache algebraische Gleichung beschrieben werden kann.

Stellen Sie sich nun ein anderes System von Zahlen vor, die p-adischen Zahlen. Denken Sie an diese als Zahlen, die in einem seltsamen, umgedrehten Universum leben, in dem die „Größe“ einer Zahl davon abhängt, wie teilbar sie durch eine bestimmte Primzahl ist (wie 3, 5 oder 7), anstatt wie groß sie auf einem Lineal aussieht. In diesem Universum sind die Regeln, nach denen man Zahlen in Codes zerlegt (genannt Kettenbrüche), viel unschärfer. Es gibt nicht nur einen Weg, sie zu erstellen; es gibt unendlich viele Wege, und lange Zeit wusste niemand, ob dieselbe Regel „einfacher Code = besondere Zahl“ auch hier gilt.

Die große Entdeckung
In dieser Arbeit haben Laura Capuano und ihr Team eine Brücke zwischen der chaotischen Welt der p-adischen Codes und der strengen Welt der Algebra gebaut. Sie stellten eine einfache Frage: „Wenn eine Maschine eine p-adische Zahl unter Verwendung eines Codes erzeugt, der ein spezifisches, strukturiertes Muster aufweist (wie sich wiederholende Blöcke oder gespiegelte Abschnitte), ist diese Zahl dann entweder eine einfache ‚quadratische‘ Zahl oder eine wilde ‚transzendente‘ Zahl?“

Ihre Antwort ist ein entschiedendes Ja. Sie haben bewiesen, dass, wenn der Code diesen spezifischen Mustern folgt (die sie „Eigenschaft ♠“ und „Eigenschaft ♣“ nennen), die resultierende Zahl nicht eine komplexe algebraische Zahl vom Grad 3 oder höher sein kann. Es ist eine Alles-oder-Nichts-Situation: Die Zahl ist entweder einfach (Grad 2 oder weniger) oder transzendent. Es gibt keinen Mittelweg.

Was sie ausgeschlossen haben
Die Arbeit argumentiert explizit gegen die Idee, dass man „komplexe“ algebraische Zahlen (die komplizierte Gleichungen benötigen, um gelöst zu werden) innerhalb dieser strukturierten Codes finden kann.

Das Argument der „unwahrscheinlichen Schnittmenge“: Die Autoren erklären, dass strukturierte Codes selten sind, wie das Finden eines spezifischen Satzes in einer Bibliothek aus jeglichem möglichen Kauderwelsch. Algebraische Zahlen hohen Grades sind ebenfalls selten. Die Arbeit legt nahe, dass es höchst unwahrscheinlich ist, dass diese beiden seltenen Gruppen jemals aufeinandertreffen, es sei denn, der Code ist extrem einfach (endlich oder perfekt periodisch).
Das „Maschinen“-Limit: Sie zeigen, dass selbst wenn man eine Maschine (einen endlichen Automaten) verwendet, um den Code zu erzeugen, oder wenn der Code eine „geringe Komplexität“ aufweist (das heißt, nicht zu viele verschiedene Muster hat), man trotzdem diese kniffligen, hochgradigen algebraischen Zahlen nicht findet. Wenn der Code strukturiert genug ist, um interessant zu sein, ist die Zahl, die er produziert, entweder zu einfach oder zu wild, um dieser spezifischen „Mittelstufe“ der algebraischen Zahl zu entsprechen.

Wie sicher sind sie?
Die Autoren haben nicht nur geraten oder Simulationen durchgeführt; sie haben es bewiesen.

Sie verwendeten ein mächtiges mathematisches Werkzeug namens Subspace-Theorem (eine p-adische Version eines berühmten Theorems von Schmidt). Denken Sie an dieses Theorem als einen super-sensiblen Detektor, der erkennen kann, ob eine Zahl „zu gut“ durch einfache Brüche approximiert wird.
Sie zeigten, dass, wenn der Code die richtige Struktur hat, die Zahl so perfekt durch eine Folge einfacherer Zahlen approximiert wird, dass sie entweder quadratisch oder transzendent sein muss.
Ihr Beweis gilt für jede p-adische Floor-Funktion (die Regel, die die Maschine verwendet, um das nächste Symbol auszuwählen), vorausgesetzt, die Symbole sind in einem spezifischen p-adischen Sinne nicht zu klein. Sie gaben sogar exakte Formeln dafür an, wie groß diese Symbole sein müssen (unter Einbeziehung von Konstanten wie $p^k$ ), damit der Beweis funktioniert.

Die „Maschinen“-Metapher
Stellen Sie sich die p-adische Zahl wie ein Lied vor.

Wenn das Lied eine einfache, sich wiederholende Schleife ist, ist es eine „quadratische“ Zahl.
Wenn das Lied reines Chaos ist, ist es „transzendent“.
Die Arbeit beweist, dass man kein Lied haben kann, das eine komplexe, nicht-periodische Melodie ist (wie eine Jazz-Improvisation, die einer strengen Regel folgt), und dennoch eine „Mittelgrund“-algebraische Zahl bleibt. Wenn die Melodie den spezifischen „strukturierten“ Regeln folgt, die die Autoren gefunden haben, kollabiert das Lied entweder zu einer einfachen Schleife oder zu totalem Chaos.

Warum das wichtig ist
Vor diesem Zeitpunkt wussten wir diese Regel nur für reelle Zahlen. In der p-adischen Welt war alles unübersichtlich, weil es so viele verschiedene Möglichkeiten gibt, die „Floor-Funktion“ (das Regelbuch der Maschine) zu gestalten. Diese Arbeit sagt: „Es spielt keine Rolle, welches Regelbuch Sie wählen; solange der Code diese spezifischen Muster aufweist, ist das Ergebnis dasselbe.“ Sie erweitert ein berühmtes Resultat von Bugeaud aus der reellen Welt auf die p-adische Welt und schließt damit eine Lücke in unserem Verständnis darüber, wie Zahlen und Muster in diesen seltsamen mathematischen Universen interagieren.

Kurz gesagt: Wenn eine Maschine eine p-adische Zahl mit einem strukturierten, sich wiederholenden oder gespiegelten Code baut, ist diese Zahl entweder einfach oder transzendent. Es gibt keine „dazwischenliegende“ algebraische Zahl, die sich dort versteckt.

Technische Zusammenfassung: „Wenn eine Maschine es getan hat, ist es wahrscheinlich transzendental (sogar p-adisch)“

Problemstellung
Die Arbeit untersucht die algebraische Natur von $p$ -adischen Zahlen, deren Kettenbruchentwicklungen zu spezifischen Klassen von Wörtern korrespondieren. Während Kettenbrüche im reellen Fall ( $\mathbb{R}$ ) eine gut etablierte Brücke zwischen der kombinatorischen Struktur von Wörtern und den algebraischen Eigenschaften von Zahlen schlagen (z. B. der Satz von Lagrange, der periodische Wörter mit quadratischen Irrationalen verknüpft), stellt der $p$ -adische Fall ( $\mathbb{Q}_p$ ) erhebliche strukturelle Herausforderungen dar.

Die zentrale Frage ist, ob Familien von „strukturierten“ Wörtern (Verallgemeinerungen von periodischen, automatischen oder palindromischen Wörtern) zu algebraischen Zahlen vom Grad größer als 2 in $\mathbb{Q}_p$ führen. Im reellen Fall legen Ergebnisse von Bugeaud und Adamczewski-Bugeaud nahe, dass solche strukturierten Wörter im Allgemeinen transzendentale Zahlen ergeben, wobei die einzigen algebraischen Ausnahmen quadratisch (periodisch) oder rational (endlich) sind. Die Autoren zielen darauf ab, ein analoges Ergebnis für $p$ -adische Zahlen zu etablieren, indem sie das Fehlen einer kanonischen Floor-Funktion und das Fehlen eines vollständigen $p$ -adischen Analogons zum Satz von Lagrange überwinden.

Methodik
Die Autoren adaptieren die Strategie, die von Bugeaud im reellen Fall verwendet wurde, und nutzen dabei das $p$ -adische Subspace-Theorem (speziell die Version von Schlickewei) als primäres Werkzeug. Die Methodik verläuft wie folgt:

Wortklassen: Die Untersuchung konzentriert sich auf zwei Verallgemeinerungen periodischer Wörter, die von Bugeaud definiert wurden:
- $\spadesuit$ -Wörter: Wörter, die Präfixe der Form $W_n U_n V_n U_n$ enthalten (repetitive Blöcke).
- $\clubsuit$ -Wörter: Wörter, die Präfixe der Form $W_n U_n V_n \tilde{U}_n$ enthalten (palindromische Blöcke, wobei $\tilde{U}_n$ die Umkehrung von $U_n$ ist).
  Diese Klassen umfassen automatische Wörter und Wörter mit geringer Komplexität.
Approximationsstrategie: Der Kern der Idee besteht darin, die repetitive oder palindromische Struktur des Wortes zu nutzen, um eine Sequenz von Approximationszahlen ( $\alpha_n$ ) zu konstruieren, die entweder quadratisch oder rational sind.
- Für $\spadesuit$ -Wörter konstruieren die Autoren $\alpha_n$ mit periodischen Kettenbrüchen.
- Für $\clubsuit$ -Wörter konstruieren die Autoren $\alpha_n$ mit palindromischen Kettenbrüchen.
  Da die ursprüngliche Zahl $\alpha$ und die Approximanten $\alpha_n$ ein langes gemeinsames Präfix in ihren Kettenbruchentwicklungen teilen, sind sie in der $p$ -adischen Metrik extrem nah beieinander.
Anwendung des Subspace-Theorems: Die Autoren definieren spezifische lineare Formen unter Einbeziehung von $\alpha$ und den Kontinuanten ( $A_n, B_n$ ) des Kettenbruchs. Sie zeigen auf, dass, falls $\alpha$ algebraisch vom Grad $\ge 3$ wäre, die Qualität der Approximation durch die strukturierten Wörter die durch das $p$ -adische Subspace-Theorem gesetzten Schranken verletzen würde. Dies führt zu einem Widerspruch, was impliziert, dass $\alpha$ nicht von Grad 3 oder höher sein kann.
Umgang mit $p$ -adischen Spezifika: Ein erheblicher Teil der technischen Arbeit besteht darin, die nicht-kanonische Natur der $p$ -adischen Floor-Funktionen ( $s: \mathbb{Q}_p \to \mathbb{Z}[1/p]$ ) zu handhaben. Die Autoren legen milde Bedingungen für die Teilbrüche fest (insbesondere Beschränkungen auf deren $p$ -adische und euklidische Normen), um die Konvergenz und Anwendbarkeit des Subspace-Theorems sicherzustellen.

Zentrale Beiträge und Ergebnisse
Der Hauptbeitrag der Arbeit ist Theorem 1.4 (und seine expliziten Versionen, Theorem 4.1 und 4.3), welches besagt:

Sei $p$ eine ungerade Primzahl und $s$ eine $p$ -adische Floor-Funktion. Wenn $\alpha = [0, a_1, a_2, \dots]_s$ eine $p$ -adische Zahl ist, deren assoziiertes Wort die Bedingung $\spadesuit$ oder $\clubsuit$ erfüllt (mit spezifischen Beschränkungen für das Wachstum der Kontinuanten und die Größe der Teilbrüche), dann ist $\alpha$ entweder rational, quadratisch oder transzendental.

Spezifische Erkenntnisse umfassen:

Verallgemeinerung reeller Ergebnisse: Dies liefert ein $p$ -adisches Analogon zu Bugeauds Theorem 1.3 für reelle Zahlen und erweitert die Philosophie der „unwahrscheinlichen Schnittmengen“ auf den nicht-archimedischen Kontext.
Korollar 1.5: Das Ergebnis gilt für klassische $p$ -adische Kettenbruchalgorithmen nach Ruban und Browkin, vorausgesetzt, die Teilbrüche erfüllen spezifische untere Schranken auf ihre $p$ -adischen Absolutwerte (z. B. $|a_n|_p \ge p^4$ für Rubans Funktion mit Repetitionen).
Korollar 1.6: Das Ergebnis gilt für automatische Sequenzen auf endlichen Alphabeten (speziell $\{n/p, m/p\}$ ) und zeigt, dass für ein ausreichend großes $p$ die resultierenden $p$ -adischen Zahlen entweder rational, quadratisch oder transzendental sind.
Verfeinerung der Bedingungen: Die Autoren liefern explizite Konstanten ( $C_\infty, C_p, k$ ) in den Theorem 4.1 und 4.3, welche die präzisen Schwellenwerte definieren, die für die Teilbrüche erforderlich sind, um Transzendenz zu garantieren.

Bedeutung und Behauptungen
Die Autoren behaupten, dass diese Arbeit Frage 1.1 (ob strukturierte Wörter algebraischen Zahlen vom Grad $>2$ entsprechen können) im negativen Sinne für eine breite Klasse von Wörtern im $p$ -adischen Setting löst.

Überwindung struktureller Schwierigkeiten: Die Arbeit hebt hervor, dass der $p$ -adische Fall komplexer ist als der reelle Fall, da es unendlich viele Wahlmöglichkeiten für Floor-Funktionen gibt und es kein universelles Lagrange-Theorem besitzt. Die Ergebnisse der Autoren sind deshalb signifikant, weil sie für jede $p$ -adische Floor-Funktion gelten, die milde Beschränkungen erfüllt, anstatt auf spezifische Konstruktionen beschränkt zu sein.
Brückenbildung zwischen Fachgebieten: Die Arbeit verstärkt die tiefe Verbindung zwischen Wortkombinatorik und Zahlentheorie und zeigt, dass der „Gap“ zwischen periodischen Wörtern (algebraischer Grad 2) und allgemeinen Wörtern (transzendental) im $p$ -adischen Bereich fortbesteht, selbst ohne die kanonischen Eigenschaften der reellen Floor-Funktion.
Bescheidenheit: Die Autoren merken an, dass während ihre Ergebnisse $\spadesuit$ - und $\clubsuit$ -Wörter (die automatische Wörter einschließen) abdecken, die Frage, ob alle Wörter mit geringer Komplexität transzendentale Zahlen ergeben, im Allgemeinen offen bleibt, da ein direktes Analogon zu Theorem 2.1 (das geringe Komplexität mit $\spadesuit$ verknüpft) für $\clubsuit$ -Wörter noch nicht etabliert ist.

Zusammenfassend lässt sich sagen, dass die Arbeit etabliert, dass „Maschinen“ (endliche Automaten, die automatische Wörter erzeugen), die strukturierte $p$ -adische Kettenbrüche produzieren, im Allgemeinen transzendentale Zahlen erzeugen, wobei die einzigen algebraischen Ausnahmen jene vom Grad höchstens 2 sind.

Mehr davon