collatz/08-beweisideen.md

8 · Beweisideen und Analogien

Im Schnitt schrumpfen die Bahnen, der Rechenstand hat kein Loch bis 2^71^, Statistik reicht bis an „fast alle“ heran. Bewiesen ist nichts. Welche Werkzeuge hat die Forschung probiert — und wo rutscht jedes ab? Manches Werkzeug ist für ein anderes Problem geschärft.

Der Rückwärtsbaum: eine Frage der Überdeckung

Aus Kapitel 2 kennst du die Koralle: den Baum, der rückwärts von der 1 wächst. Jede Zahl m hat ihr Doppeltes als Vorgänger — es kommt vorwärts per Halbierung bei m an. Und manchmal einen zweiten: (m−1)/3, genau dann, wenn das eine ungerade Zahl ergibt. Rückwärts gelesen ist die Collatz-Vermutung eine Überdeckungsfrage: Enthält dieser Baum jede positive ganze Zahl?

Was das erklärt: Aus der Fahrfrage „kommt jede Bahn an?“ wird die Bestandsfrage „wohnt jede Zahl im Baum?“ Dieselbe Abstiegs-Logik tragen die Verifikationsprojekte bis 2^71^ (Kapitel 6).

Wo es hängen bleibt: Der Baum wächst wild; kein bekanntes Gesetz sagt, in welcher Reihenfolge oder Dichte er Zahlen schluckt. Ablesen, was er hat, kann man — zeigen, dass ihm nichts fehlt, nicht.

Die 2-adische Brille

Binärschreibweise, Ziffern aus 0 und 1. Die 13 schreibt sich 1101 — ein Achter, ein Vierer, kein Zweier, ein Einer. Gerade Zahlen enden auf 0, ungerade auf 1. Halbieren heißt hier: die letzte Ziffer streichen — aus 1100 (zwölf) wird 110 (sechs). Ein reines Verschieben.

Jetzt die ungerade Verzweigung (3n+1)/2: kein reines Verschieben. Das +1 ist die Störung — es zündet Überträge, die „Eins ins nächste Feld“-Schläge der schriftlichen Addition, die durch die ganze Ziffernfolge laufen und sie neu ordnen.

Die 2-adische Brille geht mutiger: Sie betrachtet Zahlen, deren Binärschreibweise nach links niemals endet — unendlich viele Ziffern, kein linker Rand. Diese Welt heißt die 2-adischen Zahlen, kurz ℤ₂; ein eigenes Zahlenreich, kein Schreibtrick. Nicht verwechseln mit Binärschreibweise: Dort endet die Kette links, hier gerade nicht.

In dieser Welt wird die Regel glatt. Man übersetzt jede Zahl in ihre Paritätsfolge — die Kette aus 0 und 1, die notiert, ob der aktuelle Wert gerade (0) oder ungerade (1) ist. Die Übersetzung ist bijektiv: Jede Paritätsfolge gehört zu genau einer 2-adischen Zahl. In ihr wird die Shortcut-Map T zur reinen Shift-Map (Shift: Schiebung): Streiche das erste Glied der Paritätsfolge, lasse alles nachrücken. Kein 3n+1 mehr, kein +1 — die Störung ist wegkoordiniert.

Was das erklärt: In ℤ₂ ist T chaotisch — benachbarte Startwerte laufen auf Dauer auseinander — und Stellen, an denen die Bahn kreist, liegen überall dicht. Die Werkzeugkiste der Dynamik lässt sich ansetzen.

Wo es hängen bleibt: An einem Staubkorn. Die positiven ganzen Zahlen sind in ℤ₂ abzählbar viele Punkte, eine Menge vom Maß null — ein zufälliger Griff träfe keine. Das Bild entscheidet nichts über genau diesen winzigen Teil; Versuche, hieraus einen Beweis zu zimmern, sind steckengeblieben.

Paritätsfolgen als Zufall

Kapitel 3 hat die Münzwurf-Heuristik gebaut. Kapitel 7 hat das Gefälle in Analysis übersetzt — Taos Satz (Tao 2022) zeigt für fast alle Zahlen fast beschränkte Werte, so weit, wie Statistik bisher reichte. Die Beweis-Hoffnung: Zäunt man die Streuung eng genug, entkommt kein Ausreißer.

Wo sie hängen bleibt: an zwei Stellen. Erstens: „fast alle“ ist nicht „alle“. Jedes Statistik-Ergebnis duldet eine Ausnahme-Menge — dünn, aber womöglich unbegrenzt bevölkert; ein einziges Gegenbeispiel würde genau dort wohnen, und ein Beweis muss Ausreißer einzeln ausschließen. Dafür hat Wahrscheinlichkeitsrechnung keine Zähne. Zweitens: Die Münzwurf-Annahme ist eine Annahme — die Paritätsfolge ist festgeschrieben, mit der Arithmetik von 3n+1 verknotet; bewiesen ist nicht, dass sie sich wie Zufall verhält.

Der Transferoperator

Ein anderer Blick folgt nicht einer Zahl, sondern einer Bevölkerung. Ein Transferoperator nimmt eine Verteilung von Zahlen und schiebt sie einen Schritt durch die Regel. Berg und Meinardus 1994 übersetzten die Collatz-Vermutung in erzeugende Funktionen und lineare Funktionsgleichungen: Die Vermutung wird zu einer Aussage über die Lösungen dieser Gleichungen. Spätere Arbeiten lesen dasselbe als Spektralfrage an einem Transferoperator — Eigenwerte und Spektralradius, grob gesagt: die Verstärkungsfaktoren der Maschine.

Was das erklärt: Der Ansatz verbindet Collatz mit einem ausgereiften Feld — der Spektraltheorie dynamischer Systeme.

Wo er hängen bleibt: Kein Beweis ist daraus bisher hervorgegangen — die spektrale Aussage ist so hart wie die Vermutung selbst. Die Brücke trägt, sie endet nur vor derselben Wand.

Bilder der Dynamik: der Attraktor

Die Dynamik, die Lehre von solchen Schritt-für-Schritt-Regeln, hat ein Wort für das Beobachtete: Attraktor — eine Stelle, an der Bahnen auf Dauer kleben. Bei den positiven Zahlen ist das der triviale Kreis 1 → 4 → 2 → 1; alle gerechneten Bahnen laufen hinein. Die offene Frage: Gibt es andere Attraktoren — andere Kreise oder Bahnen, die für immer steigen?

Unter der Null gibt es drei bekannte Kreise (Kapitel 2). Und bei der Schwester-Regel 5n+1 — ungerade: 5n+1 statt 3n+1 — kommen beide Fehlerarten wirklich vor: nichttriviale Kreise wie 13 → … → 26 und Bahnen, die in allen Rechnungen scheinbar grenzenlos wachsen — als divergent vermutet, unbewiesen.

Was das erklärt: exakt, was ein Beweis leisten müsste — dass 1 → 4 → 2 → 1 der einzige Attraktor der positiven Zahlen ist: kein weiterer Kreis, keine entkommende Bahn. Wo es hängen bleibt: beim Ausschluss. Dass beides bei 5n+1 vorkommt und bei 3n+1 angeblich nie, weiß niemand zu begründen.

Conways Mini-Programmiersprache

Das tiefste Werkzeug lehrt Demut. 1987 destillierte John Conway die Mechanik verallgemeinerter Collatz-Regeln — je Restfall eine eigene Vorschrift — in die Sprache FRACTRAN: Ein Programm ist nur eine geordnete Liste von Brüchen. Starte mit einer Zahl n; jeder Schritt multipliziert n mit dem ersten Bruch, für den das Ergebnis wieder ganz ist; passt keiner mehr, hält das Programm. „Geht die Multiplikation auf?“ ist eine Teilbarkeitsprüfung — eine Restklassen-Frage im multiplikativen Kleid. Jede FRACTRAN-Rechnung ist damit Collatz-artig: Fallunterscheidung per Teilbarkeit, dann ein einfacher Rechenschritt.

FRACTRAN ist Turing-vollständig — es kann jede beliebige Rechnung ausführen. Conways Vorzeigeprogramm PRIMEGAME kommt mit vierzehn Brüchen aus und spuckt die Primzahlen als Exponenten von Zweierpotenzen aus.

Was das erklärt: Sobald Fallunterscheidung und multiplikative Schritte kombiniert werden dürfen, steckt ein vollwertiger Rechner in diesem Regel-Format. Wo es hängen bleibt: Die Sätze treffen Familien von Regeln, nicht die einzelne 3n+1-Regel. Kapitel 12 nimmt genau diese Grenze als Horizont.

Addition und Multiplikation verkeilt

Bleibt die Diagnose, warum der Kasten so schwer aufzumachen ist. Multiplikation und Addition gehören in verschiedene Werkstätten. Die Multiplikation sortiert Zahlen nach Bausteinen: 12 ist 2 · 2 · 3 — diese Sortierung ist das Handwerk der Zahlentheorie. Die Addition wirft sie um: 12 + 1 = 13, eine Primzahl; die alte Zerlegung ist spurlos weg. Die Collatz-Regel nimmt beide Werkzeuge in einen Griff: 3n+1 — mal drei, plus eins, ein Atemzug. David Barina betont die Spitze: Aus 3n+1 = 3(n+1) − 2 liest man ab, dass die Regel die Zerlegung von n an die Zerlegung von n+1 koppelt (Barina 2020). Kein klassisches multiplikatives Werkzeug überlebt diese Kopplung. Und keine Größe ist bekannt, die in jedem Schritt strikt fällt — jeder Kandidat ist irgendwo gestolpert.

Hammer und Zange in einem Griff verkeilt: Jedes für sich unschlagbar, verkeilt blockieren sie sich. Deshalb glänzt jedes Werkzeug einzeln, und keins allein greift: Das Problem sitzt auf der Fuge zwischen den Werkstätten.

• Rückwärtsbaum. Trägt als Übersetzung und als Motor der Verifikation. Hängt: kein Wachstumsgesetz, keine Überdeckungsgarantie.
• 2-adische Brille. Trägt als Glättung: In ℤ₂ wird T zur Shift-Map, die Dynamik-Werkzeuge greifen. Hängt: Die positiven Zahlen sind dort Staub vom Maß null.
• Zufalls-Heuristik. Trägt als Ordner der Erwartungen, rigoros bis fast beschränkte Werte für fast alle (Tao 2022, log-Dichte). Hängt: der Weg von „fast alle“ zu „alle“ — Ausreißer muss ein Beweis einzeln ausschließen; die Unabhängigkeit ist Annahme.
• Transferoperator. Trägt als Brücke zur Spektraltheorie (Berg und Meinardus 1994). Hängt: kein spektrales Ergebnis lieferte bisher einen Beweis.
• Dynamik-Bilder. Tragen als Landkarte: Attraktor 1 → 4 → 2 → 1 plus das Verzeichnis dessen, was ausgeschlossen werden müsste. Hängen beim Ausschluss selbst.
• FRACTRAN (Conway 1987; Mechanik Conway 1972). Trägt als Tiefenlot: In diesem Format steckt ein vollwertiger Rechner. Hängt: Die Sätze treffen die Familie, nicht die einzelne Regel (Kapitel 12).
• Das verkeilte Bild. Trägt als Diagnose. Es ist ein Bild.

Die Werkstatt ist nicht leer — jedes Werkzeug hat einen anderen Satz geschärft oder einen Ausweg verbaut. Nur gereicht hat es für keins. Die Vermutung ist unbewiesen. Kapitel 9 geht durch die Werkstattabfälle: wo es strandet, wenn Menschen einen Beweis glauben gefunden zu haben.