🏆 Математические прорывы 2023 года: от теории графов до мозаик 0:00
2023 год стал для математики временем неожиданных открытий, когда исследователи смогли решить задачи, остававшиеся нерешёнными десятилетиями. В этом обзоре от Quanta Magazine рассматриваются три ключевых достижения: прогресс в числах Рамсея, открытие первого апериодического монотайла («плитки Эйнштейна») и прорыв в задаче о трёхчленных арифметических прогрессиях.
🕸 Новое понимание чисел Рамсея 0:00
Числа Рамсея являются центральным понятием в теории графов, изучающей сети и связи между объектами. По сути, это математический способ определить момент, когда в системе, даже при попытке внести беспорядок, неизбежно возникают структурированные закономерности.
Суть проблемы
Задача часто иллюстрируется примером с вечеринкой: сколько гостей нужно пригласить, чтобы гарантированно найти троих, которые либо все знакомы друг с другом, либо все являются незнакомцами? Решением для троих является 6 человек. Однако для четверых это число вырастает до 18, а нахождение пятого числа Рамсея до сих пор остаётся одной из самых сложных задач в теории графов.
Революция после 80 лет попыток
Международная группа исследователей, включая Джулиана Сахасрабудде, Роба Морриса и Саймона Гриффитса, совершила значительный прорыв, экспоненциально сократив известный верхний предел чисел Рамсея.
- Метод: Команда использовала усовершенствованную технику «сортировки клик» (структур внутри графа).
- Улучшение: Они применили стратегию «книги», позволяющую эффективно выделять подструктуры, что помогло значительно ускорить поиск.
- Вклад студента: В 2021 году к команде присоединился аспирант Марсело Кампос, чья работа помогла довести исследование до конца.
По словам исследователей, это первый прорыв такого масштаба за 80 лет, который открывает новые горизонты в использовании алгоритмов для конструктивных задач.
🧩 «Плитка Эйнштейна»: конец 50-летних поисков 6:23
Более полувека математики искали «апериодический монотайл» — фигуру, которая может замостить плоскость до бесконечности, никогда не повторяясь. Это задача, выходящая за рамки простого искусства: такие замощения моделируют структуру кристаллов и квазикристаллов.
От «кита и дротика» к «шляпе»
В 1970-х годах сэр Роджер Пенроуз открыл апериодическое замощение, используя два вида плиток. Вопрос о том, можно ли сделать это с помощью одной фигуры (названной «плиткой Эйнштейна» от немецкого ein Stein — «один камень»), оставался открытым более 50 лет.
- Открытие: Энтузиаст головоломок Дэвид Смит случайно обнаружил форму, напоминающую шляпу, используя программное обеспечение для моделирования.
- Доказательство: С помощью компьютерного учёного Крейга Каплана и других математиков было доказано, что «плитка-шляпа» действительно является апериодическим монотайлом.
- «Черепаха» и континуум: В процессе работы Смит нашёл вторую форму, «черепаху», и выяснилось, что обе фигуры принадлежат к бесконечному континууму 13-сторонних апериодических плиток.
Спорный момент и окончательное решение
После публикации работы возникло возражение: часть плиток приходилось переворачивать (отражать), что, по мнению критиков, делало набор не монотайлом. Смит блестяще ответил на это, менее чем через неделю обнаружив новую фигуру — «спектр», которая заполняет плоскость без использования отражений.
🔢 Прорыв в задаче о трёх арифметических прогрессиях 14:22
Задача о трёх арифметических прогрессиях — один из главных нерешённых вопросов в аддитивной комбинаторике, изучающей паттерны чисел. Суть проблемы: как выбрать максимальное количество чисел из заданного множества, чтобы среди них не нашлось трёх, которые образуют прогрессию с одинаковым шагом (например, 1, 2, 3)?
Неожиданное решение
Аспирант Ксандер Келли и доцент Рагу Мэа, работая над проблемой в области теоретической информатики, смогли значительно снизить верхний предел (потолок), при достижении которого прогрессия неизбежно возникает.
- Комбинирование методов: Они объединили стратегию «увеличения плотности» (фокусировка на более плотных подмножествах) с алгоритмической процедурой «просеивания» (очистка хаотичных множеств от шума для поиска скрытых структур).
- Проверка: Будучи «аутсайдерами» в этой конкретной области, авторы отправили работу предыдущим рекордсменам — Томасу Блуму и Олафу Сиску. После совместного анализа те подтвердили корректность доказательства.
Этот результат эксперты называют «красивым» решением задачи, которая десятилетиями считалась практически неприступной с использованием имеющихся методов.
