🗺 Anosov-Abbildung — Arnolds Katzenabbildung & hyperbolisches Chaos

Da Pixelkoordinaten ganze Zahlen auf einem endlichen Raster sind, ist die Transformation effektiv eine Permutation einer endlichen Punktmenge. Jede Permutation einer endlichen Menge muss nach einer gewissen Anzahl von Anwendungen schließlich zur Identität zurückkehren — das garantiert das Schubfachprinzip. Die Periode hängt von der Bildauflösung ab; für ein n×n-Raster teilt sie stets 3n, wenn n eine Zweierpotenz ist.

Chaos erfordert empfindliche Abhängigkeit von Anfangsbedingungen: Zwei beliebig nah beieinanderliegende Punkte müssen unter Iteration exponentiell divergieren. Die Katzenabbildung erreicht das, weil ihre Jacobi-Matrix Eigenwerte (3±√5)/2 hat, beide reell und fern vom Einheitskreis — was bedeutet, dass jede Richtung im Torus exponentielle Streckung oder Kontraktion erfährt. Kombiniert mit der modularen Faltung erzeugt das die Kennzeichen des Chaos: Durchmischung, Ergodizität und einen positiven Lyapunov-Exponenten.

Ein Anosov-Diffeomorphismus ist eine glatte Abbildung auf einer kompakten Mannigfaltigkeit, bei der sich das Tangentialbündel überall in stabile und instabile Teilräume aufspaltet, jeweils invariant unter der Abbildung, mit Kontraktion entlang der stabilen und Expansion entlang der instabilen Richtung. Diese Aufspaltung ist gleichmäßig (die Raten variieren nicht mit der Position), was Anosov-Systeme zum „Goldstandard“ hyperbolischen Chaos' macht. Die Katzenabbildung ist das einfachste Beispiel, definiert auf dem 2-Torus.

Der größte Lyapunov-Exponent ist λ = ln((3 + √5)/2) ≈ 0,962 Nats pro Iteration, äquivalent ln(φ²), wobei φ = (1+√5)/2 der Goldene Schnitt ist. Das bedeutet, der Abstand zwischen zwei anfangs nahen Punkten wächst bei jeder Anwendung der Abbildung auf dem kontinuierlichen Torus (vor der Faltung) um den Faktor e≈2,6. In der Praxis ist nach wenigen Dutzend Schritten auf einem groben Pixelraster die Verwischung visuell vollständig.

Ja — die Jacobi-Matrix [[1,1],[1,2]] hat Determinante 1×2 − 1×1 = 1, sie erhält also die Fläche (und das Volumen in höheren Dimensionen). Das macht sie zu einer symplektischen Abbildung, was in der Hamiltonschen Mechanik wichtig ist, und ist auch der Grund, warum keine Information verloren geht: Jedes Pixel im verwischten Bild entspricht genau einem Pixel im Original.

Die Periode (auch Poincaré-Wiederkehrzeit genannt) für ein n×n-Pixel-Bild variiert auf komplexe, zahlentheoretische Weise. Für n=2 ist sie 3, für n=3 ist sie 4, für n=12 ist sie 12, und für n=256 ist sie 192. Es gibt keine einfache geschlossene Form, aber die Periode ist stets endlich und teilt bestimmte arithmetische Funktionen von n. Größere Bilder brauchen im Allgemeinen länger zur Wiederkehr, aber nicht monoton.

Ja. Die 2D-Katzenabbildung lässt sich auf 3D und höher erweitern, indem ganzzahlige Matrizen mit Determinante ±1 und allen Eigenwerten außerhalb des Einheitskreises gewählt werden. Solche Abbildungen werden in der mehrdimensionalen hyperbolischen Geometrieforschung und in der Kryptografie verwendet, wo die Durchmischungseigenschaft genutzt wird, um Daten zu verwürfeln. Eine 3D-Version operiert auf dem 3-Torus und kann volumetrische Daten wie Voxelraster verwürfeln.

Die rasche Durchmischung der Katzenabbildung wurde in der Bildverschlüsselung angewendet: Das Verwürfeln von Pixelpositionen über wenige Iterationen erzeugt ein visuell unverständliches Bild, und der Schlüssel ist einfach die Iterationszahl und die inverse Abbildung. Sie wurde auch als Benchmark-Test für Quantenchaos verwendet — die quantisierte Katzenabbildung wird zu einer unitären Matrix, deren Eigenwertstatistik der Zufallsmatrixtheorie folgt — und zur Erzeugung pseudozufälliger Permutationen in der Informatik.

Die Eigenwerte der Katzenabbildungsmatrix sind die Quadrate des Goldenen Schnitts: φ² = (3+√5)/2 ≈ 2,618 und 1/φ² ≈ 0,382. Die Fibonacci-Zahlen erscheinen explizit in den Matrixpotenzen: Der (1,2)-Eintrag der auf die k-te Potenz erhobenen Matrix entspricht der k-ten Fibonacci-Zahl. Diese tiefe Verbindung entsteht, weil der Goldene Schnitt das Grenzverhältnis aufeinanderfolgender Fibonacci-Terme ist.

Vladimir Arnold führte die Abbildung 1968 in seinem Lehrbuch über Ergodentheorie mit einer Karikatur eines Katzengesichts ein, um zu zeigen, wie ein erkennbares Bild zerstört und dann rekonstruiert wird. Die Wahl war pädagogisch anschaulich — Augen und Schnurrhaare der Katze sind nach null Iterationen klar sichtbar, werden nach wenigen Schritten völlig ungeordnet und kehren dann unverkennbar nach der vollen Periode zurück. Der Name „Arnolds Katzenabbildung“ hat sich seither in der mathematischen Literatur gehalten.