On $\frac{1}{n!}$ in Cantor sets

Der Artikel beweist, dass die Menge der Kehrwerte von Fakultäten im Cantor-Menge genau die Elemente $1$ und $\frac{1}{5!}$ enthält, und verallgemeinert dieses Ergebnis auf allgemeine fehlende-Ziffern-Mengen, indem er zeigt, dass diese stets nur endlich viele derartige Elemente enthalten.

Das Wesentliche

Stell dir vor, du hast einen riesigen, unendlichen Kuchen, den du immer wieder in drei Teile schneidest. Aber du isst nicht einfach davon – du wirfst immer das mittlere Drittel weg. Das, was übrig bleibt, ist ein seltsames, zerklüftetes Gebilde, das Mathematiker die Cantor-Menge nennen. Es sieht aus wie Staub, ist aber unendlich komplex.

Jetzt kommt ein anderer Charakter ins Spiel: Die Fakultäten. Das sind Zahlen wie 1, 2, 6, 24, 120, 720... (also 1!, 2!, 3!, 4!, 5!, 6!...). Wenn wir diese Zahlen in den Kehrwert verwandeln (also 1/1, 1/2, 1/6, 1/24...), erhalten wir eine Liste von immer kleineren Bröckchen.

Die große Frage, die sich die Autoren dieses Papers gestellt haben, war ganz einfach: Welche dieser Bröckchen landen tatsächlich auf dem zerklüfteten Kuchen der Cantor-Menge?

Die Entdeckung: Nur zwei Treffer!

Die Forscher (Lin, Wu und Yang) haben herausgefunden, dass die Antwort überraschend kurz ist. Von der unendlichen Liste aller möglichen Bröckchen landen nur zwei sicher auf dem Kuchen:

1. Das erste Bröckchen: 1 (das ist 1/1!).
2. Das Bröckchen: 1/120 (das ist 1/5!, denn 5! = 120).

Alle anderen Bröckchen (wie 1/2, 1/6, 1/24, 1/720 usw.) landen nicht auf dem Kuchen. Sie fallen durch das Gitter.

Wie haben sie das herausgefunden? (Die Detektivarbeit)

Stell dir vor, die Cantor-Menge ist ein streng bewachter Club. Um hineinzukommen, musst du eine bestimmte Eintrittskarte haben. In der Welt der Mathematik wird diese Karte durch die Zahlenform bestimmt.

• Der Club-Code: Die Cantor-Menge besteht nur aus Zahlen, die in einer speziellen Zählweise (der "Dreier-System"-Schreibweise) nur die Ziffern 0 und 2 verwenden dürfen. Die Ziffer 1 ist verboten. Wenn deine Zahl in dieser Schreibweise eine "1" enthält, bist du raus.
• Die Prüfung: Die Autoren haben sich angeschaut, wie die Bröckchen (1/n!) in diesem Dreier-System aussehen. Sie haben festgestellt: Sobald die Zahl n groß genug wird (ab n=21), ändern sich die Muster in den Ziffern so sehr, dass eine "verbotene Ziffer" (eine 1) unvermeidlich auftaucht.

Es ist wie bei einem Schloss, das nur mit einem sehr spezifischen Schlüsselcode funktioniert. Die Forscher haben bewiesen, dass für alle großen Fakultäten der Code einfach nicht mehr passt. Die Zahl wird zu "unordentlich", um im Club zu bleiben.

Der große Trick: Ein Werkzeug für alle Fälle

Das Schönste an dieser Arbeit ist, dass sie nicht nur für den einen speziellen Kuchen (die Cantor-Menge) gilt. Die Autoren haben ein universelles Werkzeug entwickelt.

Stell dir vor, es gibt nicht nur einen Kuchen, sondern tausende verschiedene "vermisste-Ziffern-Kuchen". Bei jedem wird eine andere Ziffer weggeworfen (z. B. bei einem anderen Kuchen wird die 3 weggeworfen, bei einem anderen die 7).

Die Forscher sagen: Egal welchen dieser Kuchen du nimmst, es gibt immer nur eine endliche Anzahl an Bröckchen (1/n!), die hineingehören. Und das Beste: Mit ihrem Algorithmus (einer Art Rechenrezept) kann man genau berechnen, welche das sind. Man muss sie nicht alle einzeln ausprobieren, bis man müde wird; das Rezept sagt einem genau, wann man aufhören kann zu suchen.

Zusammenfassung für den Alltag

• Das Problem: Wir wollten wissen, welche speziellen Bruchzahlen in ein sehr seltsames, lückenhaftes mathematisches Muster passen.
• Die Lösung: Nur zwei passen wirklich rein: 1 und 1/120.
• Die Methode: Sie haben bewiesen, dass ab einem bestimmten Punkt die Zahlen zu chaotisch werden, um in das Muster zu passen.
• Die Bedeutung: Sie haben nicht nur eine Frage beantwortet, sondern eine allgemeine Regel gefunden, die für viele ähnliche mathematische Rätsel gilt. Es ist wie ein Meister-Schlüssel, der zeigt, dass in diesen komplexen, lückenhaften Welten nur sehr wenige "perfekte" Zahlen existieren.

Kurz gesagt: Die Mathematiker haben den "Club" der Cantor-Menge inspiziert und festgestellt, dass die Liste der Mitglieder, die aus der Fakultäts-Familie stammen, extrem kurz ist – und sie haben bewiesen, warum niemand sonst mehr hineinkommt.

Technische Zusammenfassung

Titel und Autoren

Titel: $1/n!$ in Cantor-Mengen
Autoren: Kehao Lin, Yufeng Wu (Korrespondierender Autor), Siyu Yang
Veröffentlicht: arXiv:2603.24614v1 [math.NT], 24. März 2026

---

1. Problemstellung

Das Paper adressiert ein Problem aus der Schnittmenge von Folgen und fraktalen Mengen, das im Kontext des berühmten (und noch offenen) Erdős-Ähnlichkeitsproblems steht.

• Hintergrund: Es ist allgemein schwierig, die Schnittmenge $S \cap K$ einer Folge $S = \{x_n\}$ und einer Cantor-Menge $K$ zu beschreiben.
• Spezifische Frage: Jiang et al. [2] stellten kürzlich die Frage nach der Schnittmenge der Folge der Kehrwerte von Fakultäten mit der klassischen Mittel-drittel-Cantor-Menge $C$:
  $$\left\{ \frac{1}{n!} : n \in \mathbb{N} \right\} \cap C$$
  Es war bereits bekannt, dass $1$ und $1/5!$ in dieser Schnittmenge liegen. Die Frage war jedoch, ob es weitere Elemente gibt.

2. Methodik und theoretischer Rahmen

Die Autoren verwenden eine Kombination aus analytischer Zahlentheorie und fraktaler Geometrie, speziell die Eigenschaften von $m$-adischen Darstellungen rationaler Zahlen.

A. Mathematische Werkzeuge

1. $m$-adische Expansion: Für einen Bruch $r/q$ mit $\gcd(q, m)=1$ ist die $m$-adische Expansion rein periodisch mit der Periodenlänge $\text{ord}_q(m)$ (der multiplikativen Ordnung von $m$ modulo $q$).
2. Korobovs Lemma (Lemma 2.1): Ein zentrales Resultat von Korobov [4] liefert eine Abschätzung für die Häufigkeit $N_i(r/q)$ des Auftretens einer Ziffer $i$ in der vollen Periode der $m$-adischen Expansion:
   $$\left| N_i\left(\frac{r}{q}\right) - \frac{\text{ord}_q(m)}{m} \right| \le 2 \cdot \text{ord}_{\text{rad}(q)}(m)$$
   Dabei ist $\text{rad}(q)$ das Produkt der verschiedenen Primteiler von $q$.
3. Eigenschaft von $m$-adischen Ziffern-Sets (Missing-Digit Sets): Eine Zahl gehört zu einer Missing-Digit-Menge $K_{m,D}$ genau dann, wenn ihre $m$-adische Expansion nur Ziffern aus der Menge $D$ enthält. Wenn eine Ziffer $i \notin D$ existiert, muss diese in der Expansion von $r/q$ nie vorkommen ($N_i(r/q) = 0$).

B. Herleitung der Hauptungleichung

Aus Korobovs Lemma und der Bedingung $N_i(r/q) = 0$ für eine fehlende Ziffer leiten die Autoren Lemma 2.2 ab:
Wenn $r/q \in K_{m,D}$, dann muss gelten:
$$\text{ord}_q(m) \le 2m \cdot \text{ord}_{\text{rad}(q)}(m)$$

C. Anwendung auf Fakultäten

Für den Fall $1/n! \in C$ (wobei $C = K_{3,\{0,2\}}$):

1. Da $C$ unter der Multiplikation mit 3 modulo 1 invariant ist, folgt aus $1/n! \in C$, dass auch $1/M_n \in C$, wobei $n! = 3^{\nu_3(n!)} M_n$ und $3 \nmid M_n$.
2. Die Bedingung aus Lemma 2.2 führt zu der notwendigen Ungleichung:
   $$\text{ord}_{M_n}(3) \le 6 \cdot \text{ord}_{\text{rad}(M_n)}(3)$$
3. Die Autoren analysieren das asymptotische Verhalten dieser Terme für große $n$. Sie nutzen Eigenschaften der multiplikativen Ordnung (insbesondere für Potenzen von 2 und Primzahlen) und die Legendre-Formel für die Exponenten von Primfaktoren in $n!$.

3. Hauptergebnisse

Theorem 1.2 (Spezialfall: Mittel-drittel-Cantor-Menge)

Die Schnittmenge der Kehrwerte von Fakultäten mit der klassischen Cantor-Menge $C$ ist exakt:
$$\left\{ \frac{1}{n!} : n \in \mathbb{N} \right\} \cap C = \left\{ 1, \frac{1}{5!} \right\}$$
Beweisidee:

• Lemma 2.3 zeigt, dass für alle $n \ge 21$ die notwendige Ungleichung $\text{ord}_{M_n}(3) \le 6 \cdot \text{ord}_{\text{rad}(M_n)}(3)$ nicht mehr erfüllt ist. Der linke Term (Ordnung modulo $M_n$) wächst schneller als der rechte Term (Ordnung modulo dem Radikal).
• Durch eine exhaustive Überprüfung der Fälle $1 \le n \le 20$ wird bestätigt, dass nur $n=1$ ($1/1! = 1$) und $n=5$ ($1/5! = 1/120$) in $C$ liegen.

Theorem 1.4 (Allgemeiner Fall: Missing-Digit-Mengen)

Für beliebige Missing-Digit-Mengen $K_{m,D}$ (Basis $m \ge 3$, Ziffernmenge $D$ mit $1 < |D| < m$) ist die Schnittmenge
$$\left\{ \frac{1}{n!} : n \in \mathbb{N} \right\} \cap K_{m,D}$$
endlich und effektiv bestimmbar.

• Der Beweis generalisiert die Methode von Theorem 1.2. Es wird gezeigt, dass es eine effektiv berechenbare Schranke $n_0$ gibt, sodass für alle $n \ge n_0$ die entsprechende Ungleichung verletzt ist.
• Damit reduziert sich das Problem auf eine endliche Suche für $n < n_0$.

Algorithmus 1

Das Paper stellt einen Algorithmus zur Verfügung, der für eine gegebene Missing-Digit-Menge $K_{m,D}$ die exakte Schnittmenge berechnet:

1. Wähle eine Primzahl $p$ mit $\gcd(p, m)=1$.
2. Berechne Ordnungen und Exponenten, um eine obere Schranke $n_0$ zu bestimmen, für die die notwendige Bedingung für $n \ge n_0$ versagt.
3. Überprüfe exhaustiv alle $n < n_0$, ob $1/n! \in K_{m,D}$.

4. Signifikanz und Beiträge

1. Beantwortung einer offenen Frage: Das Paper löst vollständig die von Jiang et al. gestellte Frage [2] bezüglich der Schnittmenge $\{1/n!\} \cap C$.
2. Verallgemeinerung: Es wird gezeigt, dass dieses Phänomen nicht auf die klassische Cantor-Menge beschränkt ist, sondern für eine ganze Klasse von fraktalen Mengen (Missing-Digit-Sets) gilt.
3. Quantitative Ergebnisse: Im Gegensatz zu reinen Existenzaussagen liefert das Paper einen effektiven Algorithmus und konkrete Schranken ($n_0$), die es erlauben, die Schnittmengen für beliebige Parameter $m$ und $D$ zu berechnen.
4. Verbindung von Disziplinen: Die Arbeit verbindet tiefe Ergebnisse der analytischen Zahlentheorie (multiplikative Ordnungen, Verteilung von Ziffern in Perioden) mit der Strukturtheorie von Fraktalen. Sie baut auf Arbeiten von Shparlinski [6] und Schleischitz [5] auf, indem sie Korobovs Lemma quantitativ nutzt, um die Endlichkeit der rationalen Punkte in diesen Mengen zu beweisen.

Zusammenfassung der Beispiele (Tabelle 1)

Das Paper listet konkrete Ergebnisse für verschiedene Basen und Ziffernmengen auf, z.B.:

• Für $K_{3,\{0,1\}}$ (fehlende Ziffer 2): $\{1/2!, 1/3!, 1/4!, 1/6!\}$
• Für $K_{3,\{0,2\}}$ (klassische Cantor-Menge): $\{1, 1/5!\}$
• Für $K_{4,\{0,3\}}$: $\{1\}$

Dies unterstreicht, dass die Struktur der Schnittmenge stark von der Wahl der Basis und der fehlenden Ziffern abhängt, aber immer endlich bleibt.