Недозвісна проста операція розтягування та складання
Візьміть квадрат з протилежними сторонами, визначеними (тороїд), і застосуйте до кожної точки (x, y), взятої за модулем 1: [x'] [2 1] [x] [y'] = [1 1] [y] (mod 1) Це єдина матриця – карта Арнольда, популяризована Володимиром Арнольдом, який знаменито ілюстрував її повторним застосуванням до рисунка обличчя кота та спостерігав, як воно розпадається на видимий шум. Матриця має визначник 1 (отже, зберігає площу – нічого не втрачається, все переупорядковується) і її власні значення: λ = (3 ± √5)/2, одне з яких більше за 1, а інше – його обернене, менше за 1. Ця пара власних значень є механізмом в цілому: вздовж одного власний напрямок відстань розтягується множником λ ≈ 2.618 на кожному кроці, а вздовж перпендикулярного власного напрямку вона стискається тим же фактором.
[x'] [2 1] [x] [y'] = [1 1] [y] (mod 1)
Що робить її картою Аносова
Карточку називають анасовою (названа на честь Дмітрія Аносова), коли в кожній точці простір однозначного дотичного многовиду розбивається на стабільну та нестабільну спрямованості, що звужуються та розширюються відповідно, послідовно та безперервно під ітерацією, без нейтральних напрямків між ними. Кастрова карта є найпростішим прикладом: вона лінійна, тому стабільна та нестабільна спрямованості однакові в кожній точці (два власні вектори матриці), на відміну від того, як вони звиваються від точки до точки у загальній нелінійній анасовій системі, як геодезичний потік на негативно викривленій поверхні.
Чому згортання тору робить його хаотичним, а не просто розтягування
Просте розтягування на нескінченній площині лише розсіювало б точки назавжди — цікаво, але хаотично в жодному обмеженому сенсі. Тору саме перетворює розтягування на згортання: кожне розширення координати, яке перевищує 1, завдяки операції модуля повертається в діапазон [0,1), що згортає розширений напрямок на себе. Цей шаблон розтягування та згортання є тією ж основною механізмою, що й замішування тіста, і саме він породжує дві характерні ознаки хаосу: чутлива залежність від початкових умов (близькі точки відокремлюються з частотою λₛ на кожному кроці ітерацій — позитивний Лівухновський показник відображається як ln λ ≈ 0,962) та топологічне змішування (будь-який невеликий фрагмент тору, що повторюється достатньо разів, рівномірно розподіляє свою площу по всій поверхні, що і призводить до візуального розриву зображення кота на те, що здається шумом).
Прийом роз’єднання: ідеальне повторення, а не справжня випадковість
Незважаючи на те, що після кількох ітерацій карта з котячою мордочкою на торі з дискретних пікселів розміром N×N (де N – число) виглядає як шум, вона є біекцією з використанням цілочисельної арифметики, а теорема Пойнера про повторення гарантує її періодичність: якщо достатньо раз повторити її, то точна оригінальна картинка відновиться піксель за пікселем. Період залежить від N нерегулярним способом, пов’язаний з теорією чисел (пов'язаний із порядком матриці за модулем N), але він завжди кінцевий і завжди точний – на відміну від безперервної хаотичної системи, де нічого не втрачається через округлення, оскільки дискретна карта є оберненою. Це найчистіший приклад того, що детермінований хаос не є випадковістю: кожна одиниця інформації про початковий стан виживає, просто заплутана таким чином, що статистично вона стає нерозрізнюваною від шуму, поки це не станеться.
Стабільні та нестабільні меандри
Для будь-якої точки її стабільний меандр – це лінія, що проходить через неї в напрямку скорочення – точки на цій самій лінії збігаються під наступною ітерацією, а нестабільний меандр – це лінія в напрямку розширення, де точки розходяться вперед, але збігаються назад у часі. Оскільки вектори власних значень мають ірраціональний нахил (утворений коренем 5), ці меандри обертаються навколо тору нескінченну кількість разів, не закриваючись точно, щільно заповнюючи всю поверхню – геометрична фактика, що лежить в основі еродольності цієї карти.
Frequently asked questions
Чому карта з котиком зрештою відтворює оригінальне зображення абсолютно точно?
На кінцевій сітці N на N пікселів, карта з котиком є зворотним цілим перетворенням, тому за принципом Пойакара вона повинна бути періодичною. Після фіксованої кількості ітерацій, яка залежить від N, карта повертає кожен піксель до його точного початкового положення без втрати інформації.
Чи є карта з котиком насправді випадковою, чи це просто складна система?
Вона повністю детермінована; поява шуму виникає через чутливу залежність від початкових умов та топологічне змішування, а не завдяки будь-якому випадковому елементу. При точному відомому початковому стані та достатній кількості ітерацій її все майбутнє та минуле повністю визначені та зворотні.
Яка різниця між картою з котиком та загальною Аносовою системою?
Карта з котиком лінійна, тому її стабільна та нестабільна спрямоності є двома прямими лініями скрізь на торсі. Загальна Аносова система, така як геодезичний потік на негативно викривленій поверхні, має ту ж структуру розтягування/стиснення, але напрямки можуть згинатися та змінюватися від точки до точки.
Спробуйте наживо
Усе, що вище, працює прямо у вашому браузері — відкрийте Anosov Map і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.
▶ Відкрити симуляцію Anosov Map