🗺️ Відображення Аносова — Котяча карта Арнольда

Котяча карта Арнольда — канонічний приклад дифеоморфізму Аносова — гіперболічного зберігаючого площу відображення на торі: (x′, y′) = (x + y, x + 2y) mod 1. Кожна точка є гіперболічною нерухомою/периодичною точкою: сусідні траєкторії розходяться експоненційно вздовж нестійкого многовиду і так само швидко збігаються вздовж стійкого многовиду. Розмістіть будь-яке зображення на торі: кожен крок перемішує його до удаваної випадковості. Але оскільки відображення є оборотним і тор має скінченну кількість цілочислових вузлів, будь-яке зображення точно повертається до початкового стану через скінченний період (зазвичай 1–200 кроків для N≤256).

🇬🇧 English
Оригінал
Крок 0
Стійкий (синій) та нестійкий (червоний) напрямки многовидів

Джерело зображення

Параметри відображення

Анімація

Статистика

Крок0
Оцінка периоду
Показник Ляпунова λ
Ентропія перемішування
Котяча карта Арнольда:
[x′; y′] = [[1,1];[1,2]]·[x;y] mod 1

Загальний Аносов:
[x′; y′] = [[1,p];[q,pq+1]]·[x;y] mod 1

Власні числа:
λ = ½(tr ± √(tr²−4))
ln(λ₊) = показник Ляпунова

Гіперболічна динаміка та підкова

Дифеоморфізм Аносова є гіперболічним всюди — дотичний простір у кожній точці розбивається на стійкий (стискаючий) та нестійкий (розтягуючий) підпростори. Це надає динаміці структурної стійкості: малі збурення не змінюють якісного характеру поведінки. Котяча карта Арнольда тісно пов'язана з відображенням підкови Смейла — архетипом гіперболічного хаосу. Той факт, що хаотичне відображення може бути точно обернено (квантова рекурентність), робить його цінною моделлю в квантовій інформатиці: воно використовувалось для демонстрації квантового хаосу та декогеренції на квантових комп'ютерах (Жоржо і Шепелянський, 2001).

Про відображення Аносова — Кіт Арнольда

Відображення кота Арнольда — це хаотичне, площезберігаюче перетворення одиничного тора, задане формулою (x, y) → (x + y, x + 2y) mod 1, яке Володимир Арнольд вперше проілюстрував на зображенні котячої морди. Відображення є класичним прикладом дифеоморфізму Аносова: воно має додатний показник Ляпунова λ = ln(φ²) ≈ 0,962 (де φ — золотий перетин), тобто близькі точки розходяться експоненційно з кожним кроком. Попри це хаотичне перемішування, перетворення повністю оборотне і, застосоване до зображення з кінцевою роздільністю пікселів, обов’язково повертає зображення до початкового стану через певну кількість кроків — це властивість Пуанкаре.

Ви можете завантажити будь-яке зображення (або скористатися стандартною котячою мордою), переглядати ітерації по одній або в автоматичному режимі та спостерігати, як зображення перетворюється на цифровий «шум», а потім дивовижно відновлюється. Для сітки 64×64 пікселі повернення відбувається через 48 кроків; для 256×256 — через 192.

Поширені запитання

Чому зображення зрештою відновлюється?

Координати пікселів — цілі числа на скінченній сітці, тому перетворення є перестановкою скінченної множини. Будь-яка перестановка скінченної множини після певної кількості застосувань повертається до тотожного відображення — це гарантується принципом Діріхле. Період залежить від роздільності: для сітки n×n він завжди ділить деякі арифметичні функції від n.

Чому це відображення є хаотичним?

Хаос вимагає чутливої залежності від початкових умов: дві точки, що починають довільно близько, мають експоненційно розходитися. Матриця Якобі відображення кота має власні значення (3±√5)/2 — дійсні й такі, що стоять поза одиничним колом. Це означає, що кожен напрям на торі зазнає експоненційного розтягнення або стиснення. У поєднанні з модульним загортанням це дає класичні ознаки хаосу: перемішування, ергодичність і додатний показник Ляпунова.

Що таке дифеоморфізм Аносова?

Дифеоморфізм Аносова — це гладке відображення на компактному многовиді, для якого дотичний розшарування розщеплюється на стійкий і нестійкий інваріантні підпростори з рівномірним стисненням уздовж стійкого та розширенням уздовж нестійкого напрямків. Таке рівномірне розщеплення робить системи Аносова «золотим стандартом» гіперболічного хаосу, а відображення кота — найпростішим їх прикладом на двовимірному торі.

Який показник Ляпунова у відображення кота?

Найбільший показник Ляпунова дорівнює λ = ln((3+√5)/2) ≈ 0,962 нат на ітерацію, або ln(φ²), де φ = (1+√5)/2 — золотий перетин. Це означає, що відстань між двома близькими точками зростає в e ≈ 2,6 рази з кожним застосуванням відображення на неперервному торі (до загортання). На практиці вже через кілька десятків кроків на грубій піксельній сітці зображення стає візуально повністю перемішаним.

Чи справді відображення зберігає площу?

Так — визначник матриці Якобі [[1,1],[1,2]] дорівнює 1×2 − 1×1 = 1, тому відображення зберігає площу (і об’єм у вищих вимірах). Це робить його симплектичним відображенням, що важливо в гамільтоновій механіці, і означає відсутність втрати інформації: кожен піксель перемішаного зображення відповідає рівно одному пікселю оригіналу.

Як залежить період від розміру зображення?

Період (час рекурентності Пуанкаре) для сітки n×n змінюється складним чином, залежним від теорії чисел. Для n=2 — 3, для n=3 — 4, для n=12 — 12, для n=256 — 192. Закритої формули не існує, але період завжди скінченний і ділить деякі арифметичні функції від n. Більші зображення загалом мають довший період, однак це не монотонна залежність.

Чи можна узагальнити відображення на вищі виміри?

Так. Двовимірне відображення кота узагальнюється на 3D і вищі виміри вибором цілочисельних матриць із визначником ±1 і власними значеннями поза одиничним колом. Такі відображення використовують у дослідженнях гіперболічної геометрії та в криптографії, де властивість швидкого перемішування застосовується для шифрування даних.

Де ще застосовується відображення кота?

Завдяки швидкому перемішуванню відображення кота використовували для шифрування зображень: кілька ітерацій роблять їх нерозпізнаваними, а ключем слугує кількість ітерацій та обернене відображення. Воно також застосовується як тест для квантового хаосу — квантова версія зводиться до унітарної матриці, статистика власних значень якої підпорядковується теорії випадкових матриць.

Який зв’язок із числами Фібоначчі?

Власні значення матриці відображення кота є квадратами золотого перетину: φ² = (3+√5)/2 ≈ 2,618 і 1/φ² ≈ 0,382. Числа Фібоначчі з’являються явно в степенях матриці: елемент (1,2) матриці у k-му степені дорівнює k-му числу Фібоначчі. Цей зв’язок виникає тому, що золотий перетин — це границя відношення послідовних чисел Фібоначчі.

Чому відображення назвали «котом»?

Арнольд вперше описав його у підручнику з ергодичної теорії 1968 року, використавши для ілюстрації малюнок котячої морди, щоб наочно показати перемішування й відновлення. Вибір котячого обличчя виявився педагогічно влучним — вуха й вуса розпізнаються до і після повного циклу, але повністю зникають у проміжних ітераціях. Назва «відображення кота Арнольда» закріпилась у математичній літературі.