🔢 mathematics

Irrationality of finite logarithms in a congruence-class adèle ring

Dieses Papier erweitert vorangegangene Ergebnisse zur Irrationalität endlicher Logarithmen im „Poor Man’s Adèle-Ring“ auf Primzahlen, die auf spezifische arithmetische Progressionen beschränkt sind, und zeigt unter der Bedingung der $abc$-Vermutung, dass diese Logarithmen nicht quadratisch irrational sein können.

Ursprüngliche Autoren: Daniel Evans

Veröffentlicht 2026-07-31

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Daniel Evans

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 die Welt der Zahlen nicht nur als eine gerade Linie vor, die sich von negativer Unendlichkeit bis zur positiven Unendlichkeit erstreckt, sondern als eine riesige, mehrdimensionale Stadt. In dieser Stadt sind die vertrauten rationalen Zahlen (wie 1/2, 3 oder -7/4) die Hauptstraßen, die jeder kennt. Aber Mathematiker haben ein spezielles, etwas chaotisches Viertel gebaut, das „Poor Man's Adèle Ring“ genannt wird. Denken Sie an dieses Viertel als an eine riesige Bibliothek, in der jedes Buch eine andere Primzahl repräsentiert (2, 3, 5, 7, 11 und so weiter). Um in diesem Viertel zu leben, muss eine Zahl einen „Reisepass“ für jede einzelne Primzahl besitzen, der zeigt, wie sie aussieht, wenn man sie durch diese Primzahl teilt. Es ist ein Ort, an dem wir untersuchen können, wie sich Zahlen verhalten, wenn sie durch die winzigen, einzigartigen Filter der Primzahlen gepresst werden.

In diesem seltsamen Viertel haben Mathematiker ein Werkzeug namens „endlicher Logarithmus“ erfunden. In der normalen Welt sagt ein Logarithmus, wie oft man eine Basiszahl mit sich selbst multiplizieren muss, um ein Ergebnis zu erhalten (wie zum Beispiel 2 mal sich selbst 3 Mal ergibt 8). In dieser Primzahl-Bibliothek ist der endliche Logarithmus ein spezieller Code, der durch einen Prozess namens „Fermat-Quotient“ erzeugt wird. Es ist so, als würde man eine Zahl nehmen, sie zu einer massiven Potenz basierend auf einer spezifischen Primzahl erheben, eins abziehen und sehen, was übrig bleibt, wenn man durch diese Primzahl teilt. Die große Frage, die Mathematiker sich gestellt haben, laod: „Was für Arten von Zahlen sind diese Codes?“ Sind sie einfach nur einfache, langweilige Brüche (rationale Zahlen), oder sind sie wild, unvorhersehbar und irrational? Dies ist wichtig, denn das Verständnis dieser Codes hilft uns zu sehen, welche verborgene, tiefe Struktur Zahlen über das gesamte Universum der Primzahlen hinweg miteinander verbinden.

In dieser Arbeit wirft Daniel Evans einen genaueren Blick auf diese endlichen Logarithmen, aber mit einem Twist. Anstatt alle Primzahlen in der Bibliothek zu betrachten, entscheidet er sich, nur jene Primzahlen zu betrachten, die einer bestimmten Marschordnung folgen: jenen, die beim Teilen durch eine feste Zahl $m$ einen Rest von 1 lassen (wie Primzahlen, die 1 plus ein Vielfaches von 3 sind, oder 1 plus ein Vielfaches von 5). Er nennt dies eine „Kongruenzklasse“.

Evans beweist zwei wesentliche Dinge über diese eingeschränkten Codes. Erstens zeigt er, dass für fast jede Startzahl, die man wählt (solange sie nicht 1 oder -1 ist), der resultierende endliche Logarithmus-Code niemals eine einfache, nicht-null rationale Zahl ist. Es ist nicht nur ein Bruch wie 3/4 oder 5/2; es ist etwas viel Komplexeres, das man in dieser speziellen Bibliothek nicht als eine einzige, ordentliche Fraktion aufschreiben kann. Zweitens zeigt er, dass diese Codes niemals Null sind, vorausgesetzt, wir akzeptieren eine berühmte, unbewiesene Vermutung in der Mathematik, die „abc-Vermutung“. Wenn diese Vermutung wahr ist, verschwindet der Code niemals in das Nichts.

Die Arbeit befasst sich auch mit einer etwas komplexeren Idee: Könnten diese Codes „quadratische Irrationale“ sein? In der Welt der Zahlen ist eine quadratische Irrationale eine Zahl, die eine Quadratwurzel aus einer Nicht-Quadratzahl beinhaltet (wie $\sqrt{2}$ oder $\sqrt{3}$ ), die man nicht als einfachen Bruch schreiben kann, aber einem spezifischen, vorhersehbaren Muster folgt. Evans demonstriert, dass – unter der Annahme, dass die abc-Vermutung wahr ist – diese endlichen Logarithmen auch keine quadratischen Irrationalen sind. Sie sind noch chaotischer und unvorhersehbarer als das.

Um zu diesen Schlussfolgerungen zu gelangen, verwendet Evans einen klugen mathematischen Trick unter Verwendung von „Zyklotomischen Polynomen“. Man kann sich diese als spezielle, mehrschichtige Filter vorstellen, die Zahlen basauschen auf ihrer Beziehung zu Einheitswurzeln (imaginären Zahlen, die zu 1 zurückkehren) sortieren. Durch die Analyse, wie diese Filter reagieren, wenn sie auf die Fermat-Quotienten angewendet werden, findet Evans heraus, dass es einen Widerspruch erzeugen würde, falls der Logarithmus eine einfache rationale Zahl oder eine quadratische Irrationale wäre – wie ein Puzzleteil, das einfach nicht in die Form des Lochs passt, für das es bestimmt ist.

Die Arbeit sagt nicht nur „es ist irrational“; sie beweist rigoros, dass diese Werte niemals einfache Brüche sein können und – unter der Annahme der abc-Vermutung – niemals Null oder einfache, auf Quadratwurzeln basierende Zahlen sind. Sie erweitert die bisherige Arbeit, die alle Primzahlen betrachtete, auf diese spezifische, eingeschränkte Gruppe von Primzahlen in arithmetischen Progressionen. Das Ergebnis ist eine stärkere, verfeinerte Karte des „Poor Man's Adèle Ring“, die uns zeigt, dass die endlichen Logarithmen rationaler Zahlen tiefgreifend und fundamental irrational sind und in den Schatten der Primzahlen verborgen liegen, wo einfache Muster einfach nicht existieren.

Technische Zusammenfassung: Irrationalität finiter Logarithmen in einem Kongruenzklassen-Adèle-Ring

Problemstellung
Die vorliegende Arbeit untersucht die arithmetischen Eigenschaften „finiter Logarithmen“ innerhalb des „Poor Man's Adèle-Rings“ $\mathcal{A}$ , der als das eingeschränkte Produkt von $\mathbb{Z}/p\mathbb{Z}$ über alle Primzahlen $p$ definiert ist. Elemente in diesem Ring sind Sequenzen $(t_p)_{p \in \mathbb{P}}$ mit $t_p \in \mathbb{Q}$ , identifiziert modulo $p$ für hinreichend große Primzahlen. Die finite Logarithmusfunktion $\log_{\mathcal{A}}: \mathbb{Q}^\times \to \mathcal{A}$ ist über Fermat-Quotienten definiert als:
$\log_{\mathcal{A}}(\alpha) = (q_p(\alpha) \pmod p)_{p \in \mathbb{P}}, \quad \text{wobei } q_p(\alpha) = \frac{\alpha^{p-1}-1}{p}.$
Vorherige Arbeiten von Matsusaka und Seki etablierten, dass für $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ der Wert $\log_{\mathcal{A}}(\alpha)$ niemals ein nicht-nulles rationales Element in $\mathcal{A}$ ist. Des Weiteren zeigte Silverman (unter der Annahme der $abc$-Vermutung), dass $\log_{\mathcal{A}}(\alpha) \neq 0$ gilt.

Das zentrale Problem, das in dieser Arbeit behandelt wird, ist die Erweiterung dieser Irrationalitäts- und Nicht-Verschwindens-Ergebnisse auf eingeschränkte Primzahlschemata. Konkret betrachtet der Autor Primzahlen, die auf arithmetische Progressionen der Form $p \equiv 1 \pmod m$ für eine feste ganze Zahl $m \ge 1$ beschränkt sind. Das Ziel ist es zu bestimmen, ob $\log_{\mathcal{A}}(\alpha)$ rationale Werte annehmen oder innerhalb des eingeschränkten Rings $\mathcal{A}(m)$ verschwinden kann, und um den „Rekurrenzgrad“ dieser Logarithmen zu analysen, insbesondere ob sie quadratisch-irrationale Elemente sein können.

Methodik
Die Arbeit verwendet eine Kombination aus zyklotomischer Polynomtheorie und klassischen Techniken der Irrationalitätsbeweise, die an den Adèle-Kontext angepasst wurden.

Zyklotomische Konstruktionen: Der Autor setzt Fermat-Quotienten in Beziehung zu den Werten zyklotomischer Polynome $\Phi_n(u, v)$ und deren partiellen Ableitungen. Eine zentrale Identität, die genutzt wird, ist die homogenisierte Form $\Phi_n(X^p, Y^p) = \Phi_n(X, Y)\Phi_{np}(X, Y)$ .
Kongruenzanalyse: Durch die Analyse der Primfaktoren von $\Phi_n(u, v)$ stellt das Papier fest, dass wenn eine Primzahl $p$ teilt $\Phi_n(u, v)$ (mit $p \nmid n$ ), dann $p \equiv 1 \pmod n$ gilt. Diese Eigenschaft ist entscheidend für die Beschränkung der Analyse auf die Kongruenzklasse $p \equiv 1 \pmod m$ .
Widerspruch durch verschwindende Sequenzen: Um die Irrationalität (Theorem 1.2(i)) zu beweisen, nimmt der Autor an, dass $\log_{\mathcal{A}(m)}(\alpha)$ rational sei. Diese Annahme ermöglicht die Konstruktion einer Sequenz nicht-nuller ganzer Zahlen, die aus den Werten von $\Phi_{m\ell}(u, v)$ und deren Ableitungen abgeleitet sind. Der Beweis zeigt, dass diese Sequenz, wenn sie normiert wird, gegen Null tendiert, während die Hilfsprimzahl $\ell \to \infty$ geht, was einen Widerspruch liefert.
Anwendung der $abc$-Vermutung: Um das Nicht-Verschwinden (Theorem 1.2(ii)) zu beweisen, passt das Papier Silvermans Methode an. Es nutzt die $abc$-Vermutung, um den „mächtigen Teil“ (powerful part) von $u^n - v^n$ zu beschränken. Durch den Nachweis, dass die zyklotomischen Werte zu schnell wachsen, um unter der Annahme, dass der Logarithmus verschwindet, „mächtig“ (quadratisch voll) zu sein, wird ein Widerspruch erreicht.
Klassifizierung des Rekurrenzgrades: Das Papier definiert den Rekurrenzgrad $\deg_{\mathcal{A}}(t)$ als die minimale Ordnung einer linearen Rekurrenz mit rationalen Koeffizienten, die die Sequenz erfüllt, welche $t \in \mathcal{A}$ repräsentiert. Es klassifiziert Elemente des Grad $\le 2$ mittels quadratischer Dirichlet-Charaktere.

Zentrale Beiträge und Ergebnisse

Erweiterung auf Kongruenzklassen (Theorem 1.2): Das Papier beweist, dass für beliebig $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ und $m \ge 1$ :
- (i) $\log_{\mathcal{A}(m)}(\alpha)$ keine nicht-nullen rationalen Zahlen im eingeschränkten Ring $\mathcal{A}(m)$ ist.
- (ii) Unter der Annahme der $abc$-Vermutung gilt $\log_{\mathcal{A}(m)}(\alpha) \neq 0$ in $\mathcal{A}(m)$ .
- Hinweis: Die Beschränkung $p \equiv 1 \pmod m$ ist intrinsisch für den verwendeten zyklotomischen Ansatz; der Autor merkt an, dass das Erzwingen anderer Residuenklassen $p \equiv b \pmod m$ (wobei $b \not\equiv 1$ ) mit diesem spezifischen Ansatz nicht handhabbar ist.
Quadratische Irrationalität (Theorem 1.3): Das Papier untersucht, ob finite Logarithmen „quadratisch“ sein können, im Sinne eines Rekurrenzgrades $\le 2$ .
- Es wird gezeigt, dass, falls $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) \le 2$ , dann $\log_{\mathcal{A}}(\alpha)$ die spezifische Form $r(1 - (\frac{D}{p}))_p$ für ein $r \in \mathbb{Q}$ und eine quadratfreie ganze Zahl $D$ annehmen muss.
- Entscheidend ist, dass unter der Annahme der $abc$-Vermutung das Papier beweist, dass $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) > 2$ . Dies impliziert, dass finite Logarithmen keine quadratischen irrationalen Elemente in $\mathcal{A}$ sein können.
Verallgemeinerung auf abelsche Erweiterungen (Bemerkung 4.2): Das Argument wird erweitert, um nahe zu legen, dass, falls das Splittingfeld des charakteristischen Polynoms einer Rekurrenz abelsch ist, der Logarithmus nicht im Bild dieser Rekurrenz liegen kann (ebenfalls unter Annahme der $abc$-Vermutung).

Bedeutung und Behauptungen
Das Papier beansprucht, die bekannten Irrationalitätsresultate von Matsusaka, Seki und Silverman vom vollen Adèle-Ring auf Ringe zu erweitern, die auf spezifische arithmetische Progressionen beschränkt sind. Dies ist signifikant, da es zeigt, dass die Irrationalität finiter Logarithmen selbst dann robust bleibt, wenn die zugrunde liegende Primzahlmenge auf eine Dichte von $1/\phi(m)$ ausgedünnt wird.

Darüber hinaus verbindet die Arbeit die Arithmetik von Fermat-Quotienten mit der Theorie der endlichen algebraischen Zahlen (im Sinne von Rosen). Durch den Beweis, dass $\log_{\mathcal{A}}(\alpha)$ nicht ein quadratisches Element sein kann (und im Allgemeinen nicht in dem Bild von Rekurrenzen mit abelschen Splittingfeldern liegen kann), liefert das Papier Evidenz für die breitere Vermutung, dass finite Logarithmen „naiv transzendent“ sind (d. h. nicht algebraisch im Sinne der Erfüllung linearer Rekurrenzen). Der Autor merkt bescheiden an, dass der nicht-abelsche Fall aufgrund des Fehlens eines direkten zyklotomischen Ansatzes für Primzahlen in nicht-identischen Residuenklassen offen bleibt.

Mehr davon