🔢 mathematics

Primes in LCM recurrences

Der Artikel untersucht eine LCM-basierte Primzahl-generierende Rekursion, für die er bedingte und unbedingte Dichte-1-Ergebnisse liefert, die mit offenen Problemen der analytischen Zahlentheorie wie dem Satz von Linnik und der Verteilung von Primzahlen in arithmetischen Folgen verknüpft sind.

Ursprüngliche Autoren: Benoit Cloitre

Veröffentlicht 2026-04-17

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Benoit Cloitre

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 haben eine Maschine, die Zahlen erzeugt. Diese Maschine folgt einer sehr einfachen Regel: Sie nimmt die letzte Zahl, addiert etwas dazu, und das Ergebnis ist die neue Zahl.

In diesem Papier untersucht Benoît Cloitre eine spezielle Art dieser Maschine, die auf dem Kleinsten Gemeinsamen Vielfachen (kgV) basiert. Das Besondere an dieser Maschine ist, dass sie scheinbar zufällig Primzahlen „ausspuckt".

Hier ist die Geschichte der Forschung, einfach erklärt:

1. Die Maschine und ihre Geheimnisse

Stellen Sie sich die Maschine als einen riesigen Turm aus Steinen vor.

Die alte Maschine (Rowland): Es gab schon eine bekannte Maschine, die auf dem größten gemeinsamen Teiler basierte. Sie funktionierte so, dass die Differenz zwischen zwei aufeinanderfolgenden Zahlen immer entweder 1 oder eine Primzahl war. Das war wie ein Zaubertrick: Die Maschine produzierte nur Primzahlen (oder Einsen) als Sprünge.
Die neue Maschine (Cloitre): Cloitre baute eine neue Version. Statt den größten gemeinsamen Teiler zu nutzen, nutzte er das kgV. Die Regel ist: Nimm die letzte Zahl, multipliziere sie mit dem kgV der aktuellen Nummer und der alten Zahl, und addiere das Ergebnis.
- Das Ergebnis ist eine riesige Zahl.
- Aber Cloitre schaut nicht auf die riesige Zahl selbst, sondern auf den Faktor, mit dem sie gewachsen ist.
- Die große Vermutung: Dieser Wachstumsfaktor ist fast immer 1 oder eine Primzahl.

Die Zahlen, die dabei herauskommen, sehen aus wie: 2, 1, 2, 5, 1, 7, 1, 1, 5, 11...
Es sieht so aus, als würde die Maschine Primzahlen wie Perlen auf eine Schnur fädeln. Aber warum? Und ist das immer wahr?

2. Das Problem: Ein undurchdringlicher Nebel

Warum ist das Beweisen so schwer?
Stellen Sie sich vor, Sie versuchen zu beweisen, dass in einem riesigen Wald immer nur bestimmte Blumen wachsen. Das Problem bei Cloitres Maschine ist, dass jede neue Zahl von allen vorherigen Zahlen abhängt. Die Geschichte der Maschine ist in jeder neuen Zahl gespeichert.

Um zu beweisen, dass der Wachstumsfaktor immer eine Primzahl ist, müsste man wissen, wie Primzahlen in bestimmten Mustern (arithmetischen Progressionen) verteilt sind. Hier stößt man auf eine Mauer, die Mathematiker als Linnik-Barriere kennen.

Die Analogie: Es ist, als ob man beweisen müsste, dass es in jedem Dorf mindestens einen Bäcker gibt, aber man darf nur bis zu einer bestimmten Entfernung schauen. Die Mathematik sagt uns, dass es Bäcker gibt, aber wir wissen nicht genau, wie weit wir schauen müssen, um garantiert einen zu finden. Diese Unsicherheit macht einen vollständigen Beweis für jede einzelne Zahl bisher unmöglich.

3. Die Lösung: Der „Dichte"-Trick

Da sie die Mauer nicht direkt überwinden konnten, haben die Forscher einen cleveren Umweg gewählt. Statt zu beweisen, dass die Maschine immer funktioniert, haben sie bewiesen, dass sie fast immer funktioniert.

Die Dichte 1: Stellen Sie sich eine unendliche Straße vor, auf der jeder Meter eine Zahl ist. Die Forscher haben gezeigt, dass wenn Sie zufällig einen Meter auswählen, die Wahrscheinlichkeit, dass die Maschine dort funktioniert, 100 % ist (mathematisch: asymptotische Dichte 1).
Die Ausnahmen: Es gibt zwar theoretisch Stellen, an denen die Maschine versagen könnte, aber diese sind so selten, dass sie auf der unendlichen Straße praktisch nicht existieren. Sie sind wie einzelne Sandkörner in einer Wüste.

4. Der „K = 2"-Trick und die Zwillings-Primzahlen

Der Autor hat auch eine zweite, leicht veränderte Maschine gebaut (K=2). Diese ist noch spannender, weil sie ein geheimes Signal sendet: Zwillingsprimzahlen.

Zwillingsprimzahlen sind Primzahlenpaare mit Abstand 2 (wie 11 und 13, oder 17 und 19).
Bei dieser speziellen Maschine gibt es einen Moment, in dem der Wachstumsfaktor auf 1 springt.
Die Entdeckung: Dieser Sprung auf 1 passiert genau dann, wenn die aktuelle Zahl eine Zwillingsprimzahl ist (mit einer kleinen Ausnahme).
Die Analogie: Die Maschine ist wie ein Detektor. Wenn sie „1" sagt, dann wissen wir: „Aha! Hier gibt es ein Zwillingspaar!" Wenn die Vermutung stimmt, dass die Maschine immer nur Primzahlen oder 1 ausspuckt, dann könnte man damit beweisen, dass es unendlich viele Zwillingsprimzahlen gibt – eines der größten ungelösten Rätsel der Mathematik.

5. Was bleibt noch zu tun?

Die Forscher haben die Maschine so weit analysiert, dass sie sagen können:

Wenn die Maschine jemals einen Fehler macht (also eine zusammengesetzte Zahl ausspuckt), dann muss diese Zahl riesige Primfaktoren haben.
Um den Beweis für alle Zahlen zu vervollständigen, müsste man zwei neue Vermutungen über die Verteilung von Primzahlen beweisen. Diese Vermutungen liegen genau an der Grenze dessen, was wir heute mathematisch können.

Zusammenfassung

Dieses Papier ist wie eine Reise zu einer magischen Maschine, die Primzahlen produziert.

Wir konnten nicht beweisen, dass sie nie einen Fehler macht (wegen einer mathematischen Mauer).
Aber wir konnten beweisen, dass sie in 99,999... % der Fälle perfekt funktioniert.
Eine Variante dieser Maschine scheint ein geheimes Signal für Zwillingsprimzahlen zu sein.
Die Arbeit zeigt uns, wie tief die Verbindung zwischen einfachen Rechenregeln und den tiefsten Geheimnissen der Primzahlen ist.

Es ist ein Triumph der modernen Mathematik: Auch wenn wir das letzte Puzzleteil noch nicht haben, haben wir das Bild so klar gesehen, dass wir wissen, wie es aussehen muss.

Titel: Primzahlen in LCM-Rekurrenzen (Primes in LCM recurrences)

1. Problemstellung und Hintergrund

Das Paper untersucht eine auf dem kleinsten gemeinsamen Vielfachen (LCM) basierende Variante der berühmten Rowland-Rekurrenz, die Primzahlen generiert.

Rowland-Rekurrenz (2008): $a_1 = 7, a_n = a_{n-1} + \gcd(n, a_{n-1})$ . Die Differenzen $a_n - a_{n-1}$ sind stets 1 oder eine Primzahl.
LCM-Variante (hier untersucht):
$a_1 = 1, \quad a_n = a_{n-1} + \operatorname{lcm}(n, a_{n-1}) \quad (n \ge 2)$
Der relevante Parameter ist der multiplikative Inkrement:
$b_n = \frac{a_n}{a_{n-1}} - 1 = \frac{n}{\gcd(n, a_{n-1})}$
Hauptvermutung (Conjecture 1.1): Für alle $n \ge 2$ gilt $b_n \in \{1\} \cup \mathbb{P}$ (d.h. $b_n$ ist entweder 1 oder eine Primzahl).
Numerische Berechnungen bestätigen dies bis $n = 10^6$ .

Die Schwierigkeit: Im Gegensatz zur GCD-Variante führt die LCM-Rekurrenz zu einer globalen Akkumulation ( $a_n = \prod (1+b_k)$ ), sodass der Wert von $a_{n-1}$ von der gesamten Historie abhängt. Ein direkter punktweiser Beweis der Vermutung erfordert für jede Primzahl $p$ und jedes $k$ mindestens $k$ Primzahlen $q \equiv -1 \pmod p$ mit $q < p^{k+1}$ . Dies entspricht einer Version von Linniks Theorem mit der Konstante $L=2$ , was derzeit unbewiesen ist (der beste bekannte Wert ist $L \le 5$ ).

2. Methodik: Das "Companion-Sieve"-Framework

Um die Linnik-Barriere zu umgehen, verwendet der Autor eine Methode, die von der punktweisen Analyse zur Durchschnittsanalyse übergeht.

Isolierung deterministischer Faktoren: Anstatt die exakte $p$ -adische Bewertung von $a_{n-1}$ zu verfolgen, wird ein deterministischer Teilprodukt-Teil ( $C_n$ ) isoliert, der nur von Primzahl-Indizes stammt. Für Primzahlen $q \ge 5$ gilt $b_q = q$ , was bedeutet, dass $(q+1)$ immer ein Faktor von $a_{n-1}$ ist.
Companions (Begleiter): Der Autor definiert "Companions" als obere Schranken für $b_n$ $b_{n}$ :
1. $B^{(P)}_n$ : Basierend auf dem Produkt der garantierten Primfaktoren.
2. $B^{(1)}_n$ : Eine weitere Lockerung, die nur zählt, ob eine Primzahl $p$ mindestens einmal als Teiler von $(q+1)$ für $q \equiv -1 \pmod p$ aufgetreten ist.
Defizit-Kriterium: Es wird definiert, wie oft die "Versorgung" an Primzahlen $q \equiv -1 \pmod p$ (die $p$ in $a_{n-1}$ liefern) hinter der "Nachfrage" ( $v_p(n)$ ) zurückbleibt.
$\delta^{(1)}_p(n) = \max\{0, v_p(n) - S^{(1)}_p(n-1)\}$
Kernlemma: Wenn die Summe der Defizite $\sum_p \delta^{(1)}_p(n) \le 1$ ist, dann ist $b_n$ entweder 1 oder eine Primzahl.
Analytische Werkzeuge: Die Verteilung der Primzahlen in arithmetischen Progressionen wird mittels des Bombieri–Vinogradov-Theorems (für mittlere Moduli) und des Siegel–Walfisz-Theorems (für kleine Moduli) analysiert. Dies erlaubt es, die Verteilung im Durchschnitt zu kontrollieren, ohne die strengen punktweisen Schranken von Linnik zu benötigen.

3. Wichtige Ergebnisse

A. Unbedingte Dichte-1-Ergebnisse (Theorem 1.2)
Der Autor beweist, dass die Menge der $n$ , für die $b_n \in \{1\} \cup \mathbb{P}$ gilt, eine asymptotische Dichte von 1 hat.

Das bedeutet, dass die Vermutung für fast alle $n$ wahr ist.
Die Ausnahmen liegen in einer Menge von Dichte 0, die durch "schlechte" Moduli (die die Gleichverteilung stören) oder große Primfaktorenstrukturen (z.B. $p^2 | n$ ) verursacht werden.

B. Effektive endliche Reduktion (Theorem 1.3)
Es wird gezeigt, dass für jede Schranke $P_0$ eine berechenbare Zahl $N^*(P_0)$ existiert, sodass für alle $n \ge N^*(P_0)$ ein mögliches Gegenbeispiel zur Vermutung nur Primfaktoren größer als $P_0$ enthalten kann.

Dies reduziert das Problem auf die Analyse sehr großer Primfaktoren.
Die "Defizite" für kleine Primzahlen sind ab einem bestimmten Schwellenwert dauerhaft null, da die Versorgung durch Primzahlen in der Progression $-1 \pmod p$ die Nachfrage übersteigt.

C. Die K=2-Variante und Zwillingsprimzahlen (Theorem 1.4 & 1.5)
Eine Variante der Rekurrenz $x_n = 2x_{n-1} + \operatorname{lcm}(n, x_{n-1})$ mit Inkrementen $c_n$ wird untersucht.

Zwillingsprimzahl-Erkennung: Es wird bewiesen, dass unter der Annahme der Hauptvermutung ( $c_n \in \{1\} \cup \mathbb{P}$ ) gilt: $c_q = 1$ für eine Primzahl $q \ge 5$ genau dann, wenn $q-2$ eine Primzahl ist (mit der einzigen Ausnahme $q=7$ ).
Die Rekurrenz "erkennt" also Zwillingsprimzahlenpaare $(p, p+2)$ durch das Auftreten von $c_{p+2}=1$ .
Unter einer Hypothese über die Verteilung von Zwillingsprimzahlen in arithmetischen Progressionen (Brun-Typ-Schranke) wird auch für diese Variante ein Dichte-1-Ergebnis bewiesen.

D. 2-adische Struktur
Für die K=2-Variante wird eine vollständige Beschreibung der 2-adischen Bewertung $v_2(x_n)$ gegeben, die eine "Treppenstruktur" (Staircase) aufweist. Dies löst eine Vermutung von McEachen, dass die Zahl 2 unendlich oft in der Folge $c_n$ vorkommt.

4. Offene Probleme und neue Vermutungen

Das Paper identifiziert die verbleibenden Hindernisse für einen vollständigen Beweis der Vermutung für alle $n$ und formuliert zwei neue Vermutungen:

Conjecture 7.2 (Zweite Primzahl im Quadrat-Fenster): Für jede Primzahl $p \ge 17$ gibt es mindestens zwei Primzahlen $q \equiv -1 \pmod p$ mit $q < p^2$ . Dies würde das Problem der quadratischen Primfaktoren ( $p^2 | n$ ) eliminieren.
Conjecture 7.3 (Divisor-safe Equidistribution): Eine stärkere, aber schwächere als Montgomerys Vermutung, die besagt, dass die Primteiler von $n$ nie "schlechte" Moduli für die Gleichverteilung sind.

Unter der Annahme der Elliott–Halberstam-Vermutung (Level $\vartheta > 1/2$ ) und Conjecture 7.3 könnte die Vermutung 1.1 für alle hinreichend großen $n$ bewiesen werden.

5. Bedeutung und Fazit

Theoretischer Durchbruch: Das Paper zeigt, wie tiefgehende Ergebnisse zur Gleichverteilung von Primzahlen (Bombieri–Vinogradov) genutzt werden können, um Probleme zu lösen, die sonst an der Linnik-Barriere scheitern würden.
Verbindung zu offenen Problemen: Die Analyse verknüpft einfache arithmetische Rekurrenzen direkt mit der Verteilung von Primzahlen in arithmetischen Progressionen und der Zwillingsprimzahlvermutung.
Methodik: Der Ansatz des "Companion-Sieve" bietet ein neues Werkzeug, um rekursive Folgen zu analysieren, indem er deterministische Teilmengen isoliert und den Rest probabilistisch behandelt.
Ergebnis: Obwohl die Vermutung nicht für alle $n$ bewiesen wurde, wurde gezeigt, dass sie für eine Menge der Dichte 1 gilt und dass alle potenziellen Gegenbeispiele nur sehr spezifische, "große" Strukturen aufweisen können. Dies stellt einen signifikanten Schritt in Richtung des vollständigen Beweises dar.