🔢 mathematics

Minimum Steps to reach to a Smaller Number in 3n+1/Collatz Process

Diese Arbeit analysiert die Stoppzeit und die Zyklustruktur der normalisierten Collatz-Iteration, um zu beweisen, dass der triviale Zyklus bei 1 die einzige zulässige periodische Bahn ist, indem sie zeigt, dass kein endlicher nicht-trivialer Zyklus mit dem Prozess kompatibel ist.

Ursprüngliche Autoren: Daohang Sha

Veröffentlicht 2026-01-28

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Daohang Sha

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 „3n + 1“-Spiel

Stellen Sie sich ein Spiel vor, das mit Zahlen gespielt wird. Sie wählen eine Startzahl und folgen zwei einfachen Regeln:

Wenn die Zahl gerade ist: Halbiere sie.
Wenn die Zahl ungerade ist: Verdreifache sie, addiere eins und halbiere sie dann.

Sie wiederholen dies immer und immer wieder. Die berühmte Collatz-Vermutung fragt: Wirst du, egal mit welcher Zahl du beginnst, am Ende immer die Zahl 1 erreichen?

Die meisten Mathematiker glauben, dass die Antwort „Ja“ lautet, aber bisher hat es niemand bewiesen. Diese Arbeit von Daohang Sha versucht zu beweisen, dass es keine „Schleifen“ (Zyklen) außer der einen bei der Zahl 1 gibt.

Die Strategie des Autors: Die Reise kartieren

Sha behandelt die Abfolge der Bewegungen (Halbieren vs. Verdreifachen) wie einen Binärcode (eine Kette aus 0en und 1en).

0 steht für einen „Halbierungsschritt“.
1 steht für einen „Verdreifachungsschritt“.

Betrachten Sie eine spezifische Startzahl als einen Reisenden. Die Arbeit analysiert die „Karte“ (die Folge von 0en und 1en), der der Reisende folgt. Der Autor konzentriert sich auf eine bestimmte Art von Reisendem: solche, die mit Zahlen beginnen, die bei Division durch 4 einen Rest von 3 lassen (wie 3, 7, 11, 15 usw.).

Erklärte Schlüsselkonzepte

1. Die „Stoppzeit“ (Wann werden wir kleiner?)

Stellen Sie sich vor, Sie wandern einen Berg hinauf. Manchmal machen Sie einen Schritt nach oben (der „1“-Schritt, der die Zahl größer macht), und manchmal einen Schritt nach unten (der „0“-Schritt, der die Zahl kleiner macht).

Stoppzeit: Dies ist der Moment, in dem Sie schließlich genug Schritte nach unten machen, dass Sie niedriger sind als zu Beginn.
Die Behauptung der Arbeit: Sha berechnet die „Best-Case“- und „Worst-Case“-Szenarien dafür, wie lange diese Wanderung dauert. Er zeigt, dass es für jede spezifische Länge der Wanderung ein mathematisches Limit gibt, wie tief man gehen kann.

2. Das „Zyklus“-Problem (Die Endlosschleife)

Ein „Zyklus“ wäre wie eine Achterbahn, die auf und ab fährt, aber schließlich genau an den Punkt zurückkehrt, an dem man gestartet ist, und so eine Endlosschleife erzeugt, die niemals den Boden (die 1) erreicht.

Das Ziel: Die Arbeit versucht zu beweisen, dass eine solche Schleife für jede endliche Reise unmöglich ist.

3. Die Analogie des „Perfekten Gleichgewichts“

Um einen Zyklus zu bilden, müsste die Zahl auf eine so perfekte Weise wachsen und schrumpfen, dass sie exakt dort landet, wo sie gestartet ist.

Die mathematische Metapher: Stellen Sie sich eine Waage vor. Auf der einen Seite haben Sie Zweierpotenzen (Halbieren). Auf der anderen Seite haben Sie Dreierpotenzen (Verdreifachen).
Damit ein Zyklus existiert, müsste die Waage perfekt im Gleichgewicht sein: $2^s = 3^r$ (wobei $s$ die Anzahl der Schritte nach unten und $r$ die Anzahl der Schritte nach oben ist).
Die Realität: Sha weist darauf hin, dass eine Zweierpotenz (wie 2, 4, 8, 16...) niemals gleich einer Dreierpotenz (wie 3, 9, 27, 81...) sein kann. Sie sind wie zwei verschiedene Sprachen, die niemals denselben Satz übersetzen können. Da sie niemals gleich sein können, kann die Waage niemals perfekt im Gleichgewicht sein.

Die Hauptergebnisse

1. Die „Fast geschafft“-Falle
Je länger die Reise wird (mehr Schritte), desto näher kommt das Verhältnis von „Verdreifachung“ zu „Halbierung“ einem perfekten Gleichgewicht. Es ist wie ein Seiltänzer, der immer näher an die Mittellinie herankommt.

Die Arbeit zeigt, dass sich, während die Sequenz länger wird, die endgültige Zahl der Startzahl immer weiter annähert ( $F_q(m)/m \to 1$ ).
Jedoch erreicht sie die 1 nie wirklich. Sie kommt der 1 unendlich nahe, aber es bleibt immer eine winzige, nicht-null Lücke bestehen.

2. Die „Endliche“ Barriere
Da der Abstand zwischen den Zweierpotenzen und Dreierpotenzen niemals Null sein kann, ist eine „perfekte Schleife“ für jede endliche Anzahl von Schritten mathematisch unmöglich.

Analogie: Stellen Sie sich vor, Sie versuchen, eine Brücke mit Ziegeln zu bauen, die leicht unterschiedliche Größen haben. Sie können die Enden zwar sehr nah zusammenbringen, aber wenn die Ziegel niemals exakt dieselbe Größe haben, können Sie die Lücke niemals perfekt schließen, ohne dass eine kleine Lücke bleibt.
Daher kann ein „nicht-trivialer Zyklus“ (eine Schleife, die nicht die Zahl 1 beinhaltet) nicht existieren.

3. Der einzige sichere Hafen
Die Arbeit kommt zu dem Schluss, dass die Sequenz nur dann tatsächlich wiederholt, was der triviale Zyklus bei der Zahl 1 ist (1 $\to$ 4 $\to$ 2 $\to$ 1). Jede andere Startzahl wird schließlich das Muster durchbrechen und sich in Richtung 1 bewegen, anstatt in einer anderen Schleife stecken zu bleiben.

Zusammenfassung

Daohang Sha nutzt eine detaillierte Karte von „Aufwärts“- und „Abwärts“-Schritten, um zu zeigen, dass Zahlen im Collatz-Spiel zwar sehr nah an ein perfektes Gleichgewicht kommen können, die grundlegende Mathematik der Zweier- und Dreierpotenzen jedoch verhindert, dass sie den Kreis jemals vollständig schließen.

Das Fazlelement: Wenn Sie mit irgendeiner Zahl beginnen, können Sie sich vielleicht in einem sehr langen, komplizierten Tanz verfangen, aber Sie werden niemals eine Tanzfläche finden, die zum Anfang zurückkehrt, ohne dass Sie schließlich vom Boden abtreten und bei der 1 landen. Die „Endlosschleife“ ist eine mathematische Unmöglichkeit.

Technische Zusammenfassung: Über die Schranken der Stoppzeiten und Zyklenzahlen im Collatz-Prozess

Problemstellung
Diese Arbeit befasst sich mit dem 3n + 1-Problem (Collatz-Vermutung), insbesondere mit der Analyse der normalisierten Collatz-Iteration, definiert als $F_0(n) = n/2$ für gerade $n$ und $F_1(n) = (3n+1)/2$ für ungerade $n$ . Das primäre Ziel besteht darin, die Stoppzeit und die Zyklustruktur dieses Prozesses zu analysieren. Der Autor beschränkt die Analyse auf ungerade Startwerte $m \equiv 3 \pmod 4$ mit einer Stoppzeit $s \ge 4$ , da kleinere Fälle trivial verifizierbar sind. Die zentrale Frage ist, ob endliche nicht-triviale Zyklen (periodische Orbits außer dem trivialen Zyklus bei 1) innerhalb dieser Iteration existieren können.

Methodik
Die Arbeit verwendet eine rekursive Beschreibung zulässiger Binärsequenzen, um den Collatz-Prozess zu modellieren. Eine Sequenz $q$ der Länge $s$ , die $r$ Einsen (repräsentiert ungerade Schritte) und $s-r$ Nullen (repräsentiert gerade Schritte) enthält, wird verwendet, um die Transformation $F_q(n)$ zu definieren.

Zentrale methodische Komponenten sind:

Binärsequenz-Repräsentation: Die Transformation wird als $F_q(n) = \frac{3^r n + \sum_{i=1}^r 3^{r-i} 2^{l(i)-1}}{2^s}$ ausgedrückt, wobei $l(i)$ die Position der $i$ -ten '1' in der Sequenz bezeichnet.
Rekursive Baumkonstruktion: Der Autor führt einen modifizierten Wurzelsequenzbaum (Abbildung 1) ein, um zulässige Sequenzen zu generieren. Dieser Baum wird durch das Einfügen spezifischer Substrings ("1" oder "10") vor dem terminalen Null-Block konstruiert, wodurch eine eindeutige Abbildung zwischen Sequenzen und Startganzzahlen gewährleistet wird.
Zahlentheoretische Analyse: Die Arbeit nutzt Eigenschaften der modularen Arithmetik (speziell modulo $2^s$ und modulo 4) sowie die Eindeutigkeit binärer Expansionsdarstellungen, um eine Bijektion zwischen zulässigen Binärsequenzen $q$ und ganzen Zahlen $m \equiv 3 \pmod 4$ herzustellen.
Ableitung von Ungleichungen: Durch Anwendung der Umordnungsgleichung (Rearrangement Inequality) leitet der Autor untere und obere Schranken für den Summationsterm $\sum_{i=1}^r 3^{r-i} 2^{l(i)-1}$ ab, welcher den additiven Bestandteil der Iteration darstellt.

Wesentliche Beiträge und Ergebnisse

Eindeutigkeit der Repräsentation (Theorem 2.10): Die Arbeit stellt eine Bijektion zwischen zulässigen Binärsequenzen $q$ und ganzen Zahlen $m \equiv 3 \pmod 4$ her. Jede solche ganze Zahl ergibt sich eindeutig aus einer spezifischen Sequenz im konstruierten Baum, und jede Sequenz entspricht einer eindeutigen Zahl, die $F_q(m) < m$ erfüllt.
Schranken für den additiven Term (Theorem 2.3 & 2.4): Der Summationsterm in der Iterationsformel ist beschränkt. Der minimale Wert ist $3^r - 2^r$ (wenn alle '1'er am Anfang der Sequenz stehen), und der maximale Wert wird erreicht, wenn die '1'er gemäß der logarithmischen Verteilung des Sequenzbaums verteilt sind.
Nicht-Existenz endlicher nicht-trivialer Zyklen (Theorem 2.11 & 3.1):
- Die Arbeit beweist, dass für jede endliche Sequenz $F_q(4i-1) \neq 4i-1$ gilt. Ein Zyklus würde die Gleichheit $2^s = 3^r$ erfordern, was für ganze Zahlen $s, r > 0$ unmöglich ist.
- Folglich kann kein endlicher nicht-trivialer Zyklus auftreten. Der einzige zulässige periodische Orbit ist der triviale Zyklus bei 1.
Asymptotisches Verhalten des Verhältnisses (Theorem 3.2): Die Arbeit leitet Schranken für das Verhältnis $F_q(m)/m$ $F_{q} (m) / m$ ab. Sie zeigt, dass sich das Verhältnis $3^r/2^s$ $3^{r} / 2^{s}$ , wenn die Sequenzlänge steigt ( $r \to \infty$ $r \to \infty$ ), dem Wert 1 annähert, diesen aber niemals erreicht.
- Das Verhältnis $F_q(m)/m$ ist beschränkt durch $1 - \epsilon_1 < F_q(m)/m < 1 + \epsilon_2$ .
- Für $r \to \infty$ gilt $\lim F_q(m)/m \to 1$ .
Zyklenzahlen-Schranken: Die Arbeit liefert untere und obere Schranken für eine hypothetische nicht-triviale Zyklenzahl $m_c$ . Die untere Schranke ist gegeben durch $m_c \ge \frac{3^r - 2^r}{2^s - 3^r}$ . Für große $r$ (z. B. $r \approx 4,3 \times 10^{14}$ ) liegt die untere Schranke bei etwa $7,5 \times 10^{14}$ , während die obere Schranke etwa $5,12 \times 10^{29}$ beträgt.

Bedeutung und Behauptungen
Die Arbeit behauptet zu zeigen, dass die strukturellen Anforderungen für einen endlichen nicht-trivialen Zyklus in der normalisierten Collatz-Iteration nicht erfüllbar sind. Konkret würde die Existenz eines solchen Zyklus die exakte Identität zwischen Potenzen von 2 und 3 ( $2^s = 3^r$ ) voraussetzen, was mathematisch unmöglich ist.

Der Autor kommt zu folgendem Schluss:

Die Stoppzeit im Collatz-Prozess besitzt keine endliche obere Schranke.
Das Verhältnis $F_q(m)/m$ nähert sich mit zunehmender Sequenzlänge der Einheit an, erreicht sie jedoch für keine endliche Sequenz.
Diese strukturelle Barriere, kombiniert mit den abgeleiteten Schranken, schließt die Möglichkeit endlicher nicht-trivialer Zyklen aus.
Daher ist der triviale Zyklus bei 1 der einzige zulässige periodische Orbit.

Die Arbeit stützt sich auf die computergestützte Verifizierung für kleine Fälle und auf theoretische Schranken für große $r$ , wobei angemerkt wird, dass der Abstand zwischen $3^r$ und $2^s$ für große Parameter (z. B. $1 - 3^r/2^s \approx 10^{-15}$ ) zwar verschwindend klein wird, aber strikt ungleich Null bleibt, was die Bildung eines Zyklus verhindert.