352 миллиона узлов: как математика спасает жизни и распутывает наушники

Veritasium 10,3 млн 35 мин 4 мин 03.09.2023
Главное

Математики классифицировали уже 352 152 252 различных узла, каждый из которых обладает уникальными свойствами. Теория узлов превратилась из абстрактной геометрии в инструмент для разработки лекарств, создания сверхпрочных материалов и понимания структуры ДНК.

🧬 От ботинок до периодической таблицы 0:00

Большинство людей завязывают шнурки неправильно . Существует два способа: обвод петли по часовой стрелке или против неё. Один из этих узлов держится гораздо крепче и не развязывается при ходьбе . Разница между ними объясняется фундаментальными законами топологии.

В математике узел — это замкнутая петля . Простейший вариант представляет собой обычный круг, который называют тривиальным узлом (unknot). Чтобы изучать узлы строго, математики соединяют концы веревки. Это позволяет менять форму петли, не разрушая саму структуру узла .

Два узла считаются идентичными, если один можно превратить в другой, не разрывая веревку. Самый простой узел после тривиального — трилистник . Его невозможно превратить в круг без разрезания петли.

📜 Дымовые кольца и ошибка Кельвина 4:13

История теории узлов началась с попытки объяснить устройство Вселенной. В 1867 году Колин Адамс и другие исследователи ссылаются на эксперименты Питера Гютри Тэта с дымовыми кольцами . Физик Уильям Томсон (лорд Кельвин) увидел в этих кольцах модель атома.

Кельвин предположил, что:

Питер Гютри Тэт начал составлять таблицу узлов, надеясь создать аналог периодической таблицы элементов . Хотя физика Кельвина оказалась ошибочной после открытия электрона в 1897 году, математическая работа Тэта заложила основу новой науки .

📐 Проблема эквивалентности и ходы Райдемейстера 9:32

Главный вопрос теории — как доказать, что два запутанных мотка веревки являются одним и тем же узлом. Эта задача называется проблемой эквивалентности . Алан Тьюринг в своей последней публикации сомневался, что для этой проблемы существует общее решение .

В 1927 году Курт Райдемейстер доказал, что любые два идентичных узла можно преобразовать друг в друга с помощью трех манипуляций:

  1. Скручивание (twist) — создание или удаление петли.
  2. Продевание (poke) — перемещение одной нити под или над другой.
  3. Скольжение (slide) — перемещение нити через перекресток.

Однако использование этих ходов не дает быстрого ответа . Можно годами менять форму узла, так и не приведя его к виду другого, даже если они одинаковы. Математики установили верхний предел количества ходов Райдемейстера, необходимых для проверки эквивалентности . Это число настолько огромно, что для его записи требуется операция тетрации — возведение в степень цепочкой из двоек .

🧪 Инварианты: как отличить один узел от другого 12:55

Чтобы не перебирать бесконечные варианты ходов, математики используют инварианты. Это свойства узла, которые не меняются при любых деформациях. Одним из простейших инвариантов является трираскрашиваемость .

Правила раскраски узла тремя цветами:

Трилистник можно раскрасить тремя цветами, а тривиальный узел — нет . Это строго доказывает, что они различаются. Для более сложных случаев используют полиномы.

В 1923 году был открыт полином Александра . В 1984 году Вон Джонс обнаружил новый тип полинома, который различает гораздо больше узлов . За это открытие он получил Филдсовскую премию в 1990 году . Позже шесть групп математиков независимо вывели еще более мощный инструмент — HOMFLY-полином .

👟 Пара Перко и компьютерная табуляция 21:41

Таблицы Тэта и его коллег считались эталонными более 75 лет. В них числились два узла с десятью перекрестками как разные объекты. В 1973 году юрист Кеннет Перко, увлекавшийся математикой, обнаружил, что эти два узла идентичны . Теперь эта структура известна как пара Перко.

Количество известных узлов резко возросло с применением компьютеров:

💊 Узлы в биологии и медицине 26:07

Теория узлов спасает жизни через понимание работы ДНК. Бактериальная ДНК представляет собой замкнутую петлю. При репликации две дочерние нити оказываются сцепленными друг с другом . Бактерия не может разделиться, пока ДНК запутана.

Для решения этой проблемы природа создала фермент топоизомераза II. Он работает как молекулярные ножницы: разрезает одну нить, пропускает сквозь разрез другую и снова соединяет концы .

Применение теории в медицине:

  1. Антибиотики: препараты группы хинолонов блокируют топоизомеразу бактерий, что ведет к их гибели .
  2. Химиотерапия: лекарства подавляют человеческую топоизомеразу в раковых клетках, останавливая их быстрое деление .

Также узлы встречаются в белках. Около 1% всех белков имеют узлы в своей структуре . Неправильное сворачивание (knotting) белков приводит к сбоям в работе организма.

🎧 Почему наушники всегда запутываются 28:33

Исследователи Дориан Реймер и Даг Смит провели 3415 экспериментов, встряхивая веревки в коробках . Они выяснили, что узлы образуются почти мгновенно, если веревка достаточно длинная и гибкая.

Основные выводы исследования:

Чтобы избежать узлов, можно увеличить жесткость провода. В биологии ДНК увеличивает жесткость за счет суперспирализации . В быту можно сложить провод вдвое и перекрутить его — это создаст внутреннее напряжение, препятствующее запутыванию .

💬 Цитаты

«До сих пор не известно ни одного систематического метода, с помощью которого можно было бы определить, являются ли два узла одинаковыми.»

Алан Тьюринг 04:01

«Через 100 лет вещи, которые сейчас кажутся нам такими таинственными, не будут тайнами вовсе.»

Уильям Томсон (лорд Кельвин) 32:58
👥 Спикеры
🔗 Упомянутые сайты и проекты
📖 Термины
Тривиальный узел
Простейший узел в форме обычного незамкнутого кольца.
Трилистник
Простейший нетривиальный узел с тремя перекрестками.
Инвариант
Математическая характеристика узла, которая остается неизменной при любых его деформациях без разрыва.
Тетрация
Математическая операция сверхвозведения в степень, используемая для записи сверхбольших чисел.
Топоизомераза
Фермент, способный изменять топологию ДНК, разрезая и заново соединяя ее нити.
📊 Цифры
🗓 Хронология
  1. 1867 Уильям Томсон (лорд Кельвин) выдвигает вихревую теорию атома.
  2. 1877 Питер Гютри Тэт публикует первую математическую статью об узлах.
  3. 1923 Джеймс Александер открывает первый полиномиальный инвариант узлов.
  4. 1927 Курт Райдемейстер доказывает теорему о трех типах движений узла.
  5. 1973 Кеннет Перко доказывает идентичность двух узлов, считавшихся разными 75 лет.
  6. 1984 Вон Джонс открывает новый мощный инвариант — полином Джонса.
  7. 1989 Жан-Пьер Саваж синтезирует первую молекулу в форме узла.
  8. 2020 Бен Бертон завершает табуляцию всех узлов до 19 перекрестков.
⚖️ Другая сторона
Математика и физика Veritasium теория узлов полином Джонса топоизомераза KnotPlot