Rozciąganie, Zginanie i Powtarzanie: Arnoldowa Mapa Kota

Zaskakująco proste rozciąganie i składanie

Weź kwadrat o zidentyfikowanych przeciwnych bokach (torus) i zastosuj tę liniową mapę do każdego punktu (x, y), modulo 1:

[x'] [2 1] [x] [y'] = [1 1] [y] (mod 1)

Tedy pojedyncza macierz to mapa kota Arnolda, popularną dzięki Władysławowi Arnoldowi, który słynnie ilustrował ją wielokrotnym stosowaniem do rysunku twarzy kota i obserwacją, jak rozrywa się on w widoczny hałas. Macierz ma wyznacznik 1 (co oznacza, że zachowuje powierzchnię – nic nie jest tracone, wszystko jest przestawiane) oraz wartości własne λ = (3 ± √5)/2, jedna większa od 1 a druga jej odwrotność, mniejsza od 1. Ta para wartości własnych stanowi całą mechanizm: wzdłuż jednego kierunku wartości własnej każda odległość jest rozciągana przez λ ≈ 2,618 na każdym kroku, a wzdłuż prostopadłego kierunku wartości własnej jest ona kompresowana tym samym współczynnikiem.

[x']   [2  1] [x]
[y'] = [1  1] [y]     (mod 1)

Co czyni ją mapą Anosowa

Mapa nazywana jest mapą Anosowa (od Dmitrija Anosowa), gdy w każdym punkcie przestrzeń styczna dzieli się na kierunek stabilny, który kurczy, i kierunek niestabilny, który rozszerza się, spójnie i trwale pod iteracją, bez kierunków neutralnych pomiędzy nimi. Mapa kota jest najprostszym możliwym przykładem: liniowa, więc kierunki stabilne i niestabilne są identyczne wszędzie (dwa wektory własne macierzy), a nie wyginają się z punktu na punkt, jak w ogólnym nieliniowym systemie Anosowa, takim jak przepływ geodezyjny na powierzchni ujemnie zakrzywionej.

Dlaczego składanie torusu sprawia, że staje się on chaotyczny, a nie tylko rozciąganie

Rozciągnięcie samo w sobie, na nieskończonej płaszczyźnie, powodowałoby jedynie rozpraszanie się punktów w nieskończoność — interesujące, ale w żadnym sposób nie prowadzące do chaotycznego zachowania w ograniczonym obszarze. Torus jest tym, co przekształca rozciąganie w składanie: za każdym razem, gdy rozciągnięta współrzędna przekroczy 1, operacja modulo zamyka ją ponownie w przedziale [0,1), co z kolei składa się kierunek rozszerzania na siebie. Ten wzorzec rozciągania i składania jest tym samym mechanizmem jakościowym, jak wyrabianie ciasta, i to właśnie on generuje dwie charakterystyczne cechy chaosu: wrażliwość na warunki początkowe (punkty znajdujące się blisko siebie oddalają z szybkością λ♮ na n iteracji — dodatni wyżarzysty eksponent Lyapunov mapy wynosi ln λ ≈ 0,962) oraz mieszanie topologiczne (dowolny mały obszar torusu, powtarzany wystarczająco wiele razy, równomiernie rozkłada swoją powierzchnię na całej powierzchni, co wizualnie niszczy obraz kota w to, co wygląda jak szum).

Trudna metoda nie-mieszania: doskonała okresowość, a nie rzeczywisty losowość

Pomimo wyglądu jak szum po kilku iteracjach, mapa kota na torusie składającym się z N x N dyskretnych pikseli jest bijekcją z arytmetyką całkowitą, a twierdzenie Poincarégo o powrotach gwarantuje jej okresowość: wystarczy ją odpowiednio dużo razy powtórzyć i dokładny oryginalny obraz pojawi się piksel w piksel. Okres ten zależy od N w sposób słynnie nieregularny, związany z teorią liczb (powiązany z rzędem macierzy modulo N), ale jest zawsze skończony i zawsze dokładny – w przeciwieństwie do ciągłego układu chaotycznego, nic nie ulega utraceniu z powodu zaokrągleń, ponieważ mapa dyskretna jest odwracalna. Jest to najczystsza demonstracja, że deterministyczny chaos nie jest losowością: każdy element informacji o początkowym stanie przetrwał, jedynie zagmatwany w sposób statystycznie niezróżnicowany od szumu, dopóki go nie odkryjemy.

Stabilne i niestabilne rozmaite

Dla ogólnego punktu, jego rozmaite stabilne to linia przez niego przechodząca w kierunku skurczającym się — punkty na tej linii zbiegają się ze sobą pod wpływem iteracji do przodu, a jego rozmaite niestabilne to linia w kierunku rozszerzającym się, gdzie punkty oddalają się w czasie do przodu, ale zbliżają się w czasie wstecz. Ponieważ kierunki własne mają irracjonalny zwężony kąt (regulowany przez √5), te rozmaite rozwijają się wokół torusu nieskończenie wiele razy bez dokładnego zamykania, gęsto wypełniając całą powierzchnię — fakt geometryczny leżący u podstaw ergodyczności mapy.

Często zadawane pytania

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Anosov Map i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.