A Fixed-Prime Criterion for Reciprocals in Missing-Digit Sets

Der Artikel beweist ein strukturelles Kriterium für die $p$-adische Bewertung von Nennern rationaler Zahlen in Mengen mit fehlenden Ziffern, das die Endlichkeitsfrage für Kehrwerte von Folgen wie Superfakultäten oder Fibonacci-Produkten löst und dabei frühere Ergebnisse von Lin, Wu und Yang verallgemeinert.

Das Wesentliche

Das große Rätsel: Zahlen, die „fehlende Ziffern" haben

Stellen Sie sich vor, Sie haben einen riesigen Zähler, der nur bestimmte Zahlen anzeigt. Zum Beispiel einen Zähler, der im Dreiersystem (wie bei einer Uhr mit nur drei Zeigern) läuft, aber die Ziffer „1" komplett verbietet. Er zeigt nur 0 und 2 an. Das ist eine Art „verbotener Ziffern-Set".

Die Mathematiker nennen das Missing-Digit-Sets (Mengen mit fehlenden Ziffern). Die Frage, die sich die Forscher stellen, ist ganz einfach:
„Wenn ich eine Zahl nehme, die sehr schnell wächst (wie die Fakultät $n!$, also $1 \cdot 2 \cdot 3 \dots \cdot n$), und ihren Kehrwert ($1/n!$) berechne, landet dieser Bruch jemals in unserem verbotenen Set?"

Die Antwort ist meistens: Nein. Aber warum? Und wie können wir das beweisen, ohne unendlich lange zu rechnen?

Die neue Methode: Ein „Sicherheitsgurt" für Zahlen

Der Autor, Scott Duke Kominers, hat eine neue, sehr clevere Methode entwickelt, um diese Frage zu beantworten. Er baut auf einer früheren Entdeckung auf, die wie folgt funktioniert:

Stellen Sie sich vor, jede Zahl hat einen Schatten. Dieser Schatten ist die „Radikal-Zahl" der ursprünglichen Zahl.

• Die ursprüngliche Zahl ist wie ein schwerer Lastwagen, der viele schwere Kisten (Faktoren) trägt.
• Der Schatten (das Radikal) ist wie eine Liste der einzigartigen Kisten, die auf dem Lastwagen liegen, ohne die doppelten.

Die alte Methode von Lin, Wu und Yang sagte im Wesentlichen: „Wenn der Lastwagen zu schwer wird, passt er nicht mehr durch das Tor." Das war gut, aber manchmal war das Tor zu eng oder der Lastwagen zu speziell.

Kominers hat nun einen neuen Sicherheitsgurt erfunden. Er sagt:

„Es ist nicht nur wichtig, wie schwer der Lastwagen ist. Es ist wichtig, wie sich der Schatten des Lastwagens verhält, wenn man ihn durch eine spezielle Linse (einen bestimmten Primzahl-Filter) betrachtet."

Die drei Hauptakteure der Geschichte

Um das zu verstehen, brauchen wir drei Figuren:

1. Der Wächter (Die fehlende Ziffer):
   Dieser Wächter steht am Tor und erlaubt nur Zahlen durch, die in ihrer Darstellung (z. B. im Dreiersystem) keine „1" enthalten. Wenn eine Zahl eine „1" hat, wird sie abgewiesen.

2. Der Detektiv (Die Primzahl):
   Der Autor wählt eine spezielle Primzahl (z. B. die 5 oder die 2) aus, die nichts mit dem Zahlensystem zu tun hat. Er schaut sich an, wie oft diese Primzahl in der Nenner-Zahl steckt. Das ist wie ein Zähler, der misst, wie „tief" die Zahl in sich selbst verwoben ist.

3. Der Taktgeber (Die Periodenlänge):
   Wenn man einen Bruch in einem bestimmten Zahlensystem schreibt, wiederholen sich die Ziffern oft in einem Muster (wie ein Lied, das sich immer wiederholt). Die Länge dieses Musters ist der Taktgeber.

Das Geheimnis der Arbeit

Die große Entdeckung ist folgende Beziehung:

Wenn eine Zahl in das verbotene Set (nur bestimmte Ziffern) passt, dann muss ihre Taktgeber-Länge (wie lange das Muster dauert) in einem sehr spezifischen Verhältnis zu ihrem Schatten stehen.

Kominers hat bewiesen:

• Wenn die Zahl im verbotenen Set ist, dann darf der „Schatten" der Zahl nicht zu viel „Druck" auf den Taktgeber ausüben.
• Aber: Bei sehr schnell wachsenden Zahlen (wie Produkten von Fibonacci-Zahlen oder Fakultäten) wächst der „Druck" (die Teilbarkeit durch die spezielle Primzahl) viel schneller als der Taktgeber es zulassen darf.

Die Analogie:
Stellen Sie sich vor, der Taktgeber ist ein kleiner, empfindlicher Motor, der nur eine bestimmte Anzahl an Umdrehungen pro Minute schafft. Der „Druck" der Zahl ist wie ein immer schwerer werdender Stein, der auf den Motor gelegt wird.

• Die alte Methode sagte: „Der Stein wird irgendwann zu schwer für den Motor."
• Die neue Methode sagt: „Wir können genau berechnen, wie viel Kraft der Motor wirklich braucht, um das Muster zu drehen. Und wir sehen, dass der Stein so schwer wird, dass der Motor schon längst vorher abgestellt hätte."

Warum ist das so cool?

Früher musste man oft die größte Primzahl in einer Zahl finden, um zu beweisen, dass sie nicht ins Set passt. Das ist wie zu versuchen, einen riesigen Elefanten zu wiegen, indem man nur das schwerste Bein wiegt. Das funktioniert oft, aber manchmal ist das schwerste Bein gar nicht das Problem.

Kominers' Methode schaut sich das ganze Skelett (den Schatten) an.

• Beispiel: Bei Produkten von Zahlen wie $(3^k - 1)$ sind die einzelnen Primzahlen riesig (wie Riesen-Elefanten). Wenn man nur auf die größten schaut, denkt man, die Zahl ist zu schwer. Aber Kominers zeigt: Die Struktur dieser Zahlen ist so, dass der Motor (der Taktgeber) gar nicht so viel Arbeit hat. Trotzdem ist der Stein (die Teilbarkeit) so schwer, dass die Zahl trotzdem nicht durchkommt.

Was bedeutet das für uns?

1. Es ist ein Werkzeugkasten: Die Formel, die er entwickelt hat, ist wie ein universeller Schlüssel. Man kann sie auf viele verschiedene Arten von Zahlen anwenden (Fakultäten, Fibonacci-Zahlen, Produkte von Polynomen).
2. Endlichkeit: Er beweist, dass es nur eine endliche Anzahl an solchen Brüchen gibt, die in das verbotene Set passen. Irgendwann, bei sehr großen Zahlen, hören sie einfach auf, dort zu landen.
3. Präzision: Seine Methode ist so scharf, dass sie Fälle löst, bei denen die alten Methoden versagt hätten. Sie zeigt uns, dass die Mathematik hinter diesen Zahlenmustern noch tiefer und interessanter ist, als wir dachten.

Zusammenfassung in einem Satz

Scott Duke Kominers hat eine neue, schärfere Lupe entwickelt, um zu beweisen, dass bestimmte mathematische Brüche, die aus sehr großen Zahlen bestehen, niemals in eine Welt aus „verbotenen Ziffern" eindringen können, weil ihre innere Struktur zu stark mit den Gesetzen der Zahlenwelt kollidiert.

Es ist wie der Beweis, dass ein bestimmter Schlüssel (die Zahl) niemals in ein bestimmtes Schloss (das Set) passt, weil die Zähne des Schlüssels (die mathematische Struktur) einfach zu lang sind, egal wie sehr man sie dreht.

Technische Zusammenfassung

Titel

Ein Kriterium für feste Primzahlen für Kehrwerte in Mengen mit fehlenden Ziffern
(A Fixed-Prime Criterion for Reciprocals in Missing-Digit Sets)

1. Problemstellung

Das Paper untersucht die Schnittmenge zwischen der Menge der Kehrwerte einer Folge ganzer Zahlen $\{1/a_n : n \in \mathbb{N}\}$ und einer sogenannten Menge mit fehlenden Ziffern (missing-digit set) $K_{m,D}$.
Eine solche Menge $K_{m,D} \subset [0, 1]$ ist definiert als die Menge aller reellen Zahlen, deren Darstellung zur Basis $m$ ausschließlich Ziffern aus einer Teilmenge $D \subset \{0, 1, \dots, m-1\}$ verwendet, wobei $1 < |D| < m$.
Das zentrale Problem ist die Bestimmung der Endlichkeit (Finiteness) der Schnittmenge:
$$\left\{ \frac{1}{a_n} : n \in \mathbb{N} \right\} \cap K_{m,D}$$
Bisherige Arbeiten, insbesondere von Lin, Wu und Yang [LWY26], zeigten die Endlichkeit für den Spezialfall der Kehrwerte von Fakultäten ($a_n = n!$). Die Herausforderung besteht darin, ein allgemeines Kriterium zu finden, das auf verschiedene Folgen $a_n$ anwendbar ist und die strukturellen Hindernisse für die Zugehörigkeit zu $K_{m,D}$ aufzeigt.

2. Methodik und theoretische Grundlagen

Die Methode basiert auf einer Kombination aus zwei Hauptkomponenten:

1. Digit-Verteilungsschätzung (Korobov):
   Der Autor nutzt einen Satz von Korobov [Kor72], der die Verteilung der Ziffern in rein periodischen Basis-$m$-Entwicklungen rationaler Zahlen beschreibt.

   • Lemma 2.1: Wenn ein Bruch $r/q$ (mit $\gcd(q, m)=1$) in $K_{m,D}$ liegt, dann ist die Periodenlänge $\text{ord}_q(m)$ durch die Periodenlänge modulo des Radikals von $q$ beschränkt:
     $$\text{ord}_q(m) \leq c_{m,D} \cdot \text{ord}_{\text{rad}(q)}(m)$$
     wobei $c_{m,D}$ eine Konstante ist, die nur von $m$ und $D$ abhängt. Dies zeigt, dass die Zugehörigkeit zu $K_{m,D}$ starke Einschränkungen an die arithmetische Struktur des Nenners stellt.

2. Ordnungslifting (Order Lifting):
   Es werden Standardformeln verwendet, um die $p$-adische Ordnung der multiplikativen Ordnung zu analysieren.

   • Für eine feste Primzahl $p_0 \nmid m$ und einen Nenner $Q$, der Potenzen von $p_0$ enthält, wächst die $p_0$-adische Bewertung der Ordnung $\text{ord}_Q(m)$ linear mit der Exponentenhöhe von $p_0$ in $Q$ (unter Berücksichtigung eines konstanten "Overhead"-Terms $t(m, p_0)$).

Der Kernmechanismus:
Die Zugehörigkeit zu $K_{m,D}$ erzwingt eine obere Schranke für $\nu_{p_0}(Q)$ (die $p_0$-adische Bewertung des Nenners), die durch den Term $\nu_{p_0}(\text{ord}_{\text{rad}(Q)}(m))$ kontrolliert wird. Wenn die Folge $a_n$ so beschaffen ist, dass $\nu_{p_0}(Q_n)$ schneller wächst als dieser Kontrollterm, führt dies zu einem Widerspruch, was die Endlichkeit der Schnittmenge beweist.

3. Hauptergebnisse

A. Strukturelles Hindernis (Proposition 3.3)

Für einen beliebigen Nenner $Q$ mit $\gcd(Q, m)=1$ und eine feste Primzahl $p_0 \nmid m$ gilt:
Wenn $r/Q \in K_{m,D}$, dann ist:
$$\nu_{p_0}(Q) \leq t(m, p_0) + \nu_{p_0}(\text{ord}_{\text{rad}(Q)}(m)) + \log_{p_0}(c_{m,D})$$
Dies ist ein rein arithmetisches Hindernis auf Ebene eines einzelnen Nenners, unabhängig von der spezifischen Folge $a_n$.

B. Das Sequenz-Kriterium (Theorem 3.5)

Das Paper leitet daraus ein allgemeines Kriterium für Folgen $\{a_n\}$ ab. Definiert man $Q_n$ als den Teil von $a_n$, der teilerfremd zu $m$ ist, so ist die Schnittmenge endlich, wenn für eine feste Primzahl $p_0$ und hinreichend große $n$ gilt:
$$\nu_{p_0}(Q_n) > t(m, p_0) + \nu_{p_0}(\text{ord}_{\text{rad}(Q_n)}(m)) + \log_{p_0}(c_{m,D})$$
Das Theorem trennt die Folge-spezifischen Wachstumsabschätzungen ($\alpha(n)$ für die Bewertung und $\gamma(n)$ für den Ordnungsterm) von der strukturellen Bedingung.

C. Vereinfachtes Kriterium über den größten Primfaktor (Corollary 3.6)

Für viele natürliche Beispiele reicht eine grobere Abschätzung aus, die nur den größten Primfaktor $P^+(Q_n)$ betrachtet:
$$\nu_{p_0}(Q_n) > t(m, p_0) + \log_{p_0}(P^+(Q_n) - 1) + \log_{p_0}(c_{m,D})$$
Dies generalisiert direkt die Methode von Lin, Wu und Yang für Fakultäten.

4. Anwendungen und Beispiele

Der Autor wendet die Kriterien auf verschiedene Folgen an und bestimmt die exakten Schnittmengen für den mittleren Drittel-Cantor-Mengenfall ($m=3, D=\{0,2\}$):

1. Fakultäten ($n!$): Wiederherstellung des Ergebnisses von [LWY26]. Die Schnittmenge ist $\{1, 1/120\}$.
2. Superfakultäten ($\prod_{k=1}^n k!$): Die Schnittmenge ist $\{1, 1/12\}$.
3. Produkte von Polynomwerten ($\prod_{k=1}^n f(k)$): Zeigt Endlichkeit für beliebige Polynome $f \in \mathbb{Z}[x]$, solange $f(k)>0$. Ein konkretes Beispiel ist $f(x)=x^2+1$, wo die Schnittmenge nur $\{1/10\}$ enthält.
4. Produkte von Fibonacci-Zahlen ($\prod_{k=1}^n F_k$): Hier wächst der größte Primfaktor exponentiell ($\sim \phi^n$), aber die $p$-adische Bewertung (für $p=2$) wächst linear. Die Schnittmenge ist $\{1, 1/30\}$.
5. Produkte von $(m^k - 1)$: Dies ist das wichtigste Beispiel für die Überlegenheit des strukturellen Kriteriums (Theorem 3.5) gegenüber dem Kriterium des größten Primfaktors (Corollary 3.6).
   • Bei $a_n = \prod_{k=1}^n (m^k - 1)$ ist der größte Primfaktor exponentiell groß, was das grobe Kriterium versagen lässt.
   • Der strukturelle Term $\nu_{p_0}(\text{ord}_{\text{rad}(Q_n)}(m))$ wächst jedoch nur logarithmisch, da die Ordnungen durch $\text{lcm}(1, \dots, n)$ beschränkt sind.
   • Ergebnis: Die Schnittmenge ist leer ($\emptyset$).

5. Bedeutung und Diskussion

• Abstraktion und Wiederverwendbarkeit: Das Paper extrahiert den Kernmechanismus des Beweises für Fakultäten und macht ihn zu einem universellen Werkzeug für beliebige Folgen von Kehrwern.
• Strukturelle vs. Grobe Abschätzung: Ein wesentlicher Beitrag ist die Demonstration, dass die Betrachtung des Radikals und der multiplikativen Ordnung (struktureller Ansatz) in manchen Fällen notwendig ist, wo die Betrachtung nur des größten Primfaktors (grobe Abschätzung) versagt. Dies ist besonders relevant für Folgen, bei denen Primfaktoren exponentiell groß werden, deren Ordnungsbeiträge aber klein bleiben.
• Grenzen der Methode: Das Paper identifiziert auch Fälle, in denen die Methode versagt, z.B. bei Primorialen (da diese quadratfrei sind und keine wachsende $p$-adische Bewertung erlauben) oder bei zentralen Binomialkoeffizienten (wo die Bewertung entlang bestimmter Teilfolgen gebunden bleibt).
• Effektivität: Alle Ergebnisse sind effektiv; die Autoren geben explizite Schwellenwerte an, ab denen keine weiteren Elemente in der Schnittmenge liegen können, und verwenden Algorithmen zur exakten Überprüfung der verbleibenden endlichen Fälle.

Zusammenfassend liefert das Paper einen tiefen Einblick in die Interaktion zwischen der $p$-adischen Struktur von Nennern und der Ziffernverteilung in fehlenden Ziffern-Mengen und etabliert ein mächtiges, verallgemeinerbares Kriterium für die Endlichkeit solcher Schnittmengen.