🔢 mathematics

Small values of Carmichael's lambda function

Diese Arbeit etabliert unter einer plausiblen Hypothese über glatte verschobene Primzahlen eine asymptotisch scharfe obere Schranke für die Anzahl der ganzen Zahlen $n \le x$ mit kleinen Werten der Carmichael-Lambda-Funktion und wendet dieses Ergebnis an, um eine neue obere Schranke für die Anzahl der ungeraden ganzen Zahlen abzuleiten, bei denen die multiplikative Ordnung von 2 signifikant kleiner als $x^{1/2}$ ist.

Ursprüngliche Autoren: Paul Pollack

Veröffentlicht 2026-06-18

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Paul Pollack

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

Das große Ganze: Das „Tempolimit“ der Zahlen

Stellen Sie sich vor, Sie haben einen riesigen Tresor mit der Zahl $n$ darauf. In diesem Tresor befindet sich ein spezieller Club von Zahlen (die multiplikative Gruppe), die ein Spiel der Multiplikation modulo $n$ spielen können.

In diesem Spiel wählen Sie eine Zahl $a$ und multiplizieren sie immer wieder mit sich selbst ( $a, a^2, a^3, \dots$ ), bis Sie schließlich wieder bei der Zahl 1 ankommen. Die Anzahl der Schritte, die benötigt werden, um zur 1 zurückzukehren, nennt man die Ordnung von $a$ .

Carmichaels $\lambda(n)$ ist das „meisterliche Tempolimit“ für diesen Club. Es ist die kleinste Anzahl an Schritten, die man benötigt, um zu garantieren, dass jedes Mitglied des Clubs gleichzeitig zur 1 zurückkehrt.

Wenn $n$ eine Primzahl ist, ist der Club riesig und das Tempolimit ist fast so groß wie die Zahl selbst.
Wenn $n$ eine „unordentliche“ zusammengesetzte Zahl ist, kann das Tempolimit überraschend klein sein.

Die Frage: Wie viele Zahlen $n$ (bis zu einem riesigen Limit $x$ ) haben ein sehr kleines Tempolimit ( $\lambda(n) \le y$ )?
Die Arbeit versucht, diese „langsamen“ Zahlen zu zählen.

Die Analogie: Die Bibliothek der Zahlen

Stellen Sie sich eine massive Bibliothek vor, die jedes Buch (jede Zahl) von 1 bis $x$ enthält.

Das „typische“ Buch: Die meisten Bücher in dieser Bibliothek sind „schnell“. Ihr Tempolimit ist riesig. Wenn Sie eine zufällige Zahl wählen, wird ihr $\lambda(n)$ wahrscheinlich sehr groß sein.
Die „langsamen“ Bücher: Ein paar Bücher sind „langsam“. Ihr Tempolimit ist winzig.

Der Autor, Paul Pollack, versucht herauszufinden, wie viele „langsame“ Bücher in der Bibliothek vorhanden sind, wenn wir ein spezifisches Tempolimit $y$ festlegen.

Die wichtigste Entdeckung: Eine neue Karte für die „Slow-Zone“

Vor dieser Arbeit kannten Mathematiker die „schnellen“ Bücher (die typischen) und die „super-langsamen“ Bücher (die extrem seltenen). Aber es gab einen mysteriösen Mittelgrund – eine „Zwielichtzone“ von Zahlen, die zwar langsam, aber nicht zu langsam waren.

Pollack zeichnet eine präzise Karte für diese Zwielichtzone. Er liefert eine Formel, die die Anzahl dieser langsamen Zahlen mit unglaublicher Genauigkeit vorhersagt.

Das Geheimnis der Formel:
Die Arbeit enthüllt, dass die Anzahl dieser langsamen Ganzzahlen von einer spezifischen, komplizierten Funktion abhängt, die Logarithmen beinhaltet (nennen wir sie die „Log-Log-Log-Funktion“).

Wenn Sie Ihr Tempolimit $y$ sehr klein ansetzen, sinkt die Anzahl der langsamen Bücher drastisch ab.
Wenn Sie $y$ moderat klein ansetzen, folgt die Anzahl der langsamen Bücher einer bestimmten Kurve.

Die Arbeit beweist, dass seine Formel eine obere Schranke (eine Decke) dafür ist, wie viele langsame Zahlen existieren können. Er zeigt auch, dass wenn eine bestimmte vernünftige Vermutung über Primzahlen (genannt „Hypothese U“) wahr ist, diese Decke tatsächlich die exakte Anzahl ist. Mit anderen Worten: Die Formel ist nicht nur ein Limit, sondern die tatsächliche Antwort.

Das Rätsel der „verschobenen Primzahlen“ (Hypothese U)

Um zu beweisen, dass seine Formel perfekt ist, stützt sich Pollack auf eine Hypothese über verschobene Primzahlen.

Betrachten Sie eine Primzahl $p$ als einen speziellen Schlüssel.
Eine „verschobene Primzahl“ ist $p-1$ .
Die Hypothese besagt, dass die „Glätte“ (wie leicht $p-1$ in kleine Faktoren zerlegt werden kann) dieser verschobenen Primzahlen sich genau wie die von Zufallszahlen gleicher Größe verhält.

Wenn diese Hypothese zutrifft, ist Pollacks Karte 100 % genau. Wenn nicht, ist seine Karte dennoch eine sehr enge Decke, die niemand durchbrechen kann.

Die Anwendung in der Praxis: Die „Ordnung von 2“

Die Arbeit endet mit einer praktischen Anwendung involving der Zahl 2.
In der Kryptographie und Informatik interessiert uns oft die „Ordnung von 2 modulo $n$ “. Dies ist die Anzahl der Male, die man 2 mit sich selbst multiplizieren muss, um modulo $n$ wieder zur 1 zu gelangen.

Das alte Wissen: Wir wussten, dass für fast alle ungeraden Zahlen $n$ die Ordnung von 2 riesig ist (mindestens die Quadratwurzel von $n$ ).
Das neue Ergebnis: Pollack nutzt seine neue Karte, um zu beweisen, dass es fast keine Zahlen gibt, bei denen die Ordnung von 2 signifikant kleiner als die Quadratwurzel von $n$ ist.

Er gibt eine strikte obere Grenze an, wie viele solcher „super-langsamen“ Zahlen existieren können. Es ist, als würde man sagen: „Wenn Sie nach einem Auto suchen, das auf einer Autobahn langsamer als 10 mph fährt, werden Sie fast null davon finden, und hier ist der exakte mathematische Beweis dafür.“

Zusammenfassung der Ergebnisse der „Zwielichtzone“

Die Arbeit konzentriert sich auf einen spezifischen Bereich, in dem $y$ (das Tempolimit) weder winzig noch riesig ist.

Die obere Schranke: Er beweist, dass man nicht mehr als eine bestimmte Anzahl an langsamen Ganzzahlen haben kann.
Die Schärfe: Er argumentiert, dass dieses Limit wahrscheinlich die exakte Anzahl ist, vorausgesetzt unser Verständnis von Primzahlen ist korrekt.
Die Methode: Er verwendet eine Mischung aus alten Tricks (von Mathematikern wie Erdős und Pomerance) und neuen, feinen Techniken, um diese Zahlen zu zählen, indem er sie wie ein komplexes Puzzle aus Faktoren und Primzahlen behandelt.

Kurz gefasst

Paul Pollack hat ein hochpräzises „Geschwindigkeitsmessgerät“ für eine bestimmte Gruppe von Zahlen gebaut. Er hat gezeigt, dass die meisten Zahlen schnell sind, die „langsamen“ jedoch unglaublich selten sind, und er hat uns die präzise mathematische Formel geliefert, um genau zu zählen, wie selten sie sind. Dies hilft uns, die verborgene Struktur von Zahlen zu verstehen und verbessert unser Wissen darüber, wie sich die Zahl 2 in der modularen Arithmetik verhält, die ein Eckpfeiler der modernen Verschlüsselung ist.

Technische Zusammenfassung von „Small Values of Carmichael's $\lambda$ -Function“ von Paul Pollack

Problemstellung
Die Arbeit untersucht die Verteilung „intermediärer“ Werte der Carmichael- $\lambda$ -Funktion $\lambda(n)$ , welche den Exponenten der multiplikativen Gruppe $(\mathbb{Z}/n\mathbb{Z})^\times$ darstellt. Während die maximale Ordnung von $\lambda(n)$ trivial ist ( $n-1$ für Primzahlen) und die typische Ordnung gut verstanden ist (Erdős, Pomerance und Schmutz zeigten $\lambda(n) \approx n(\log n)^{-\log \log \log n - A}$ für fast alle $n$ ), bleibt die Verteilung von Werten, die signifikant kleiner als die typische Größe, aber größer als die minimale Ordnung sind, weniger erforscht.

Das zentrale Untersuchungsobjekt ist die Zählfunktion $L(x, y) = \#\{n \le x : \lambda(n) \le y\}$ . Die Arbeit zielt darauf ab, eine obere Schranke für $\log L(x, y)$ zu etablieren, die im Bereich, in dem $y$ im Verhältnis zu $x$ „angemessen groß“ ist, asymptotisch scharf ist, spezifisch für $y$ , das gilt als:
$\exp((\log_2 x)^{1+\varepsilon}) \le y \le x / \exp((\log_2 x)^{1+\varepsilon})$
wobei $\log_k$ den $k$ -ten Iterationsschritt des natürlichen Logarithmus bezeichnet.

Methodik
Die Beweisstrategie unterteilt sich in das Etablieren strenger oberer Schranken und bedingter unterer Schranken (unter Annahme einer spezifischen Hypothese über verschobene Primzahlen) über verschiedene Bereiche von $y$ .

Obere Schranken für kleines $y$ :
Für den Bereich $\exp((\log_2 x)^{1+\varepsilon}) \le y \le x^{1/\log_2 x}$ adaptiert der Autor Techniken von Erdős und Pomerance. Das Kernargument nutzt die Rankin-Methode (Rankin's trick), um die Anzahl der ganzen Zahlen $n \le x$ mit einem festen $\lambda(n) = m$ zu beschränken. Durch die Analyse der Bedingung $p-1 \mid m$ für alle Primfaktoren $p$ von $n$ leitet der Autor eine exponentielle obere Schranke unter Verwendung der Funktion $\mathcal{L}(x, y) = \exp\left(\frac{\log x \log_3 x}{\log_2 y}\right)$ her.
Untere Schranken (bedingt):
Um zu zeigen, dass die oberen Schranken scharf sind, nimmt die Arbeit Hypothese U an, eine Vermutung bezüglich der Verteilung von powersmooth verschobenen Primzahlen. Speziell postuliert sie, dass die Anzahl der Primzahlen $p \le x$ , sodass die größte Primzahlpotenz, die $p-1$ teilt, höchstens $y$ ist, sich wie die Anzahl der $y$ -powersmooth ganzen Zahlen bis $x$ verhält.
- Für kleines $y$ konstruiert der Autor „populäre“ Werte von $\lambda(n)$ , indem er Produkte von Primzahlen $p$ bildet, bei denen $p-1$ powersmooth ist, wobei er Argumente von Erdős und Pomerance bezüglich der Eulerschen Totientfunktion adaptiert.
- Für großes $y$ (speziell $y \ge \mathcal{L}(x)^2$ ) wird eine andere Konstruktion unter Verwendung von Paaren ganzer Zahlen $(a, b)$ verwendet, um die Existenz von ausreichend vielen $n$ mit kleinem $\lambda(n)$ zu demonstrieren.
Obere Schranken für großes $y$ :
Der innovativste Beitrag der Arbeit ist die rigorose obere Schranke für großes $y$ (bis zu $x/\exp((\log_2 x)^{1+\varepsilon})$ ). Dieser Abschnitt überarbeitet und verfeinert Methoden früherer Arbeiten über das Urbild der Eulerschen $\phi$ -Funktion und Faktorisierungszählfunktionen.
- Der Beweis beinhaltet eine detaillierte Stratifizierung ganzer Zahlen basierend auf ihren Primfaktorizationseigenschaften.
- Er nutzt multiplikative Kompositionen (geordnete Faktorisierungen) und Schranken auf die Anzahl solcher Kompositionen, bezeichnet als $g_w(n)$ .
- Zentrale Lemmata etablieren, dass für eine Menge ganzer Zahlen $S$ mit Dichte $x^{1-\beta}$ , die Summe der multiplikativen Kompositionen durch $x/\mathcal{L}(x)^\beta$ beschränkt ist.
- Das Argument reduziert das Problem auf das Zählen von quadratfreien ganzen Zahlen und nutzt die Brun-Titchmarsh-Ungleichung sowie Eigenschaften des Radikals ganzer Zahlen, um die Anzahl der $n$ zu beschränken, bei denen $\phi(n)/\lambda(n)$ in spezifische dyadische Intervalle fällt.

Hauptergebnisse
Das Hauptergebnis ist Theorem 1.1, welches eine obere Schranke für $L(x, y)$ in dem spezifizierten Bereich liefert. Sei $\mathcal{L}(x) = \exp\left(\frac{\log x \log_3 x}{\log_2 x}\right)$ . Wenn $x \to \infty$ :
$\frac{L(x, y)}{x} \le \begin{cases} \mathcal{L}(x/y)^{-1+o(1)} & \text{falls } y \ge \mathcal{L}(x)^2, \\ \mathcal{L}(x, y)^{-1+o(1)} & \text{andernfalls.} \end{cases}$
Die Arbeit behauptet, dass diese oberen Schranken unter Hypothese U asymptotisch scharf sind (d. h. Gleichheit gilt).

Anwendung auf multiplikative Ordnungen
Als direkte Anwendung leitet die Arbeit Korollar 1.2 ab, welches eine neue obere Schranke für die Anzahl ungerader ganzer Zahlen $n \le x$ liefert, für die die multiplikative Ordnung von 2 modulo $n$ , bezeichnet als $l(n)$ , klein ist.
Speziell gilt für jedes feste $\delta > 0$ und $\beta \ge 0$ :
$\#\{ \text{ungerade } n \le x : l(n) \le x^\beta \} \le \frac{x}{\mathcal{L}(x)^{\frac{1}{2} - \beta - \delta}}$
Dieses Resultat verbessert das bisherige Wissen, welches keine nicht-trivialen Schranken für Exponenten $\beta$ signifikant unter $1/2$ etablieren konnte. Der Autor merkt an, dass obwohl der Exponent $1/2 - \beta$ in der Schranke erscheint, die „korrekte“ Version wahrscheinlich $1 - \beta$ ist, eine Verfeinerung, die weitere Arbeit über die Verteilung von Primzahlen mit kleinen multiplikativen Ordnungen erfordern würde.

Bedeutung und Behauptungen
Die Arbeit behauptet, die ersten präzisen asymptotischen oberen Schranken für die Verteilung intermediärer Werte von $\lambda(n)$ zu liefern. Die Bedeutung liegt in:

Schließung der Lücke: Sie füllt die Lücke zwischen der typischen Ordnung und der minimalen Ordnung von $\lambda(n)$ , einem Regime, das zuvor in der Literatur unquantifiziert war.
Schärfe: Die Ergebnisse werden als asymptotisch scharf unter einer plausiblen Hypothese (Hypothese U) über die Smoothness verschobener Primzahlen gezeigt, einer Vermutung, die durch heuristische Prinzipien und verwandte Arbeiten über Pseudoprimzahlen gestützt wird.
Methodische Neuheit: Der Beweis der oberen Schranke für großes $y$ führt verfeinerte Techniken unter Verwendung multiplikativer Kompositionen und Faktorisierungszählung ein, von denen der Autor suggeriert, dass sie Anwendungen auf andere Probleme der analytischen Zahlentheorie haben könnten, wie etwa die Verteilung populärer Werte der Eulerschen $\phi$ -Funktion.
Anwendung auf Ordnungen: Das Korollar bezüglich $l(n)$ bietet die stärksten bekannten oberen Schranken für die Häufigkeit kleiner multiplikativer Ordnungen und adressiert eine langjährige Einschränkung auf dem Gebiet, in dem der Exponent $1/2$ zuvor eine Barriere darstellte.

Der Autor wahrt einen bescheidenen Ton hinsichtlich der bedingten Natur der unteren Schranken und des Potenzials zur Verbesserung des Exponenten in der Anwendung auf $l(n)$ , indem er anmerkt, dass das aktuelle Wissen noch nicht ausreicht, um den „korrekten“ Exponenten ohne weitere Vermutungen zu beweisen.