Кнотова теорія: Розрізняння скруток реально

Чомування — це замкнене коло, а не шматок мотви.

У повсякному житті «чомування» – це в’язані та розв’язувані нами кінці мотви. У математиці чомування – це замкнене коло, занурене у тривимірний простір — уявіть собі, як сплутати шматок мотви і потім з’єднати її два кінці так, щоб його неможливо було просто звільнити. Центральне питання теорії чомувань є дещо хитрим для формулювання та часто надзвичайно складним у вирішенні: якщо дві перекручені петлі, чи є вони таємно однаковими чомуваннями, тобто одне може бути безперервно деформоване в інше без будь-якого розрізання мотви, або ж вони справді різні?

Локальні переміщення: єдині дозволені ходи

Кертіс Райдемістер продемонстрував у 1927 році, що будь-яке безперервне деформування діаграми вузла (2D проєкція з позначенням перехресть ‘над/під’) може бути розбите на послідовність точно трьох локальних ходів, які тепер називаються рухами Райдемістера:

Тип I – закрутити або розкрутити окремий ланцюжок (додає/видаляє одне перехрестя) Тип II – пересунути один елемент повністю над/під іншим (додає/видаляє два перехрестя) Тип III – перемістити елемент через перетин двох інших елементів (не змінює кількості перехресть) Будь-які дві діаграми одного й того самого вузла пов’язані між собою кінцевою послідовністю цих трьох ходів, і навпаки, дві діаграми, з’єднані рухами Райдемістера, завжди представляють один і той же вузол. Це перетворює питання ‘чи це треfoil чи незрозумілий недріт?’ з розмитого топологічного запитання на, в принципі, кінцевий пошук — хоча для складних запетлів цей пошук все ще може бути величезним.

Type I    — twist or untwist a single loop (adds/removes one crossing)
Type II   — slide one strand completely over/under another (adds/removes two crossings)
Type III  — slide a strand across a crossing of two other strands (no change in crossing count)

Кроссінговий номер та обертність

Найпростіша інваріантна величина — це кроссінговий номер: мінімальна кількість перехрещень у будь-якому діаграмі вузла. Незамкнені ланцюг (простий ланцюжок без реального сплутування) має кроссінговий номер 0; трилисник, найпростіший справжній вузол, має кроссінговий номер 3; вузол «ластовиця» має кроссінговий номер 4. Кроссінговий номер є справжньою топологічною інваріантною величиною — він не змінюється незалежно від того, як ви звисаєте вузол — але його обчислення загалом дорожче, оскільки потрібно довести, що немає простішої діаграми.

Зв’язана, але відмінна величина — це обертність: підписаний сума перехрещень у певній діаграмі, де кожне перехрещення вважається +1 або -1 залежно від орієнтації ниток. На відміну від кроссінгового номера, обертність не є топологічною інваріантною величиною вузла як такого — вона змінюється під час операцій типу I Reidemeister — але вона інваріантна за типів II та III, що робить її корисною в таких контекстах, як суперзаплетення ДНК, де фактична фізична діаграма (а не просто абстрактний тип вузла) має значення.

Поліноміал Александра: інваріант, який дійсно відрізняє вузли

Один лише номер перехрещування не завжди може розрізнити два вузли, тому теоретики вузлів будують міцніші інваріанти — алгебраїчні об’єкти, обчислені з діаграми, які доводять свою незмінність під будь-яким рухом Рейдемістера. Поліноміал Александра (Джеймс Александр, 1928) був першим практичним: ланцюговий поліном Δ(t), обчислений з матриці, побудованої на основі перехресть у діаграмі вузла, такий що еквівалентні діаграми завжди дають однакові поліноми (до нешкідливого множника ±tⁿ).

незамотаний: Δ(t) = 1 трилисник (3_1): Δ(t) = t − 1 + t⁻¹ восьмикутник (4_1): Δ(t) = −t + 3 − t⁻¹ Якщо два вузли мають різні поліноми Александра, вони доводять свою відмінність — сильне, перевірюване твердження. Але поліном не є ідеальним інваріантом: різні вузли можуть випадково мати однаковий поліном Александра, тому були розроблені пізніші інваріанти (поліном Джонса з 1984 року та ще більш потужні HOMFLY та хованової гомологія) для вирішення випадків, які не може обробити поліном Александра.

unknot:            Δ(t) = 1
trefoil (3_1):      Δ(t) = t − 1 + t⁻¹
figure-eight (4_1):  Δ(t) = −t + 3 − t⁻¹

Чому це має значення за межами головоломок

Кнотова теорія виявляється правильною математичною мовою для кількох дуже фізичних проблем. Біологи використовують її для класифікації того, як ДНК та білки зав’язуються та перекручуються, а також для розуміння ферментів топоізомерази, які розрізають і знову склеюють нитки ДНК під час реплікації. Хіміки синтезують справді зв'язані молекули та використовують незмінності вузлів, щоб відрізняти їх від своїх дзеркальних зображень (хіральність має значення для того, як взаємодіє молекула з іншими хіральними молекулами, включаючи більшість ліків і ферментів). І в фізиці незмінності вузлів, такі як поліном Jones, виявилися глибоко пов'язані з квантовою теорією поля, зокрема з теорією Черен-Шарна, поєднуючи 19-віковий головоломку про перекручене мотузку з деякими найабстрактнішими куточками сучасної теоретичної фізики.

Часті запитання

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Knot Theory і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.