# Математические прорывы 2023: от «шляп» до чисел Рамсея

Источник: https://www.youtube.com/watch?v=4HHUGnHcDQw
Канал: Quanta Magazine
Опубликовано: 23.12.2023

---

## 🏆 Математические прорывы 2023 года: от теории графов до мозаик
[[JUMP:0:00]]

2023 год стал для математики временем неожиданных открытий, когда исследователи смогли решить задачи, остававшиеся нерешёнными десятилетиями. В этом обзоре от *Quanta Magazine* рассматриваются три ключевых достижения: прогресс в числах Рамсея, открытие первого апериодического монотайла («плитки Эйнштейна») и прорыв в задаче о трёхчленных арифметических прогрессиях.

## 🕸 Новое понимание чисел Рамсея
[[JUMP:0:00]]

Числа Рамсея являются центральным понятием в теории графов, изучающей сети и связи между объектами. По сути, это математический способ определить момент, когда в системе, даже при попытке внести беспорядок, неизбежно возникают структурированные закономерности.

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

### Революция после 80 лет попыток
Международная группа исследователей, включая Джулиана Сахасрабудде, Роба Морриса и Саймона Гриффитса, совершила значительный прорыв, экспоненциально сократив известный верхний предел чисел Рамсея.

* **Метод:** Команда использовала усовершенствованную технику «сортировки клик» (структур внутри графа).
* **Улучшение:** Они применили стратегию «книги», позволяющую эффективно выделять подструктуры, что помогло значительно ускорить поиск.
* **Вклад студента:** В 2021 году к команде присоединился аспирант Марсело Кампос, чья работа помогла довести исследование до конца.

По словам исследователей, это первый прорыв такого масштаба за 80 лет, который открывает новые горизонты в использовании алгоритмов для конструктивных задач.

## 🧩 «Плитка Эйнштейна»: конец 50-летних поисков
[[JUMP:6:23]]

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

### От «кита и дротика» к «шляпе»
В 1970-х годах сэр Роджер Пенроуз открыл апериодическое замощение, используя два вида плиток. Вопрос о том, можно ли сделать это с помощью одной фигуры (названной «плиткой Эйнштейна» от немецкого *ein Stein* — «один камень»), оставался открытым более 50 лет.

* **Открытие:** Энтузиаст головоломок Дэвид Смит случайно обнаружил форму, напоминающую шляпу, используя программное обеспечение для моделирования.
* **Доказательство:** С помощью компьютерного учёного Крейга Каплана и других математиков было доказано, что «плитка-шляпа» действительно является апериодическим монотайлом.
* **«Черепаха» и континуум:** В процессе работы Смит нашёл вторую форму, «черепаху», и выяснилось, что обе фигуры принадлежат к бесконечному континууму 13-сторонних апериодических плиток.

### Спорный момент и окончательное решение
После публикации работы возникло возражение: часть плиток приходилось переворачивать (отражать), что, по мнению критиков, делало набор не монотайлом. Смит блестяще ответил на это, менее чем через неделю обнаружив новую фигуру — «спектр», которая заполняет плоскость без использования отражений.

## 🔢 Прорыв в задаче о трёх арифметических прогрессиях
[[JUMP:14:22]]

Задача о трёх арифметических прогрессиях — один из главных нерешённых вопросов в аддитивной комбинаторике, изучающей паттерны чисел. Суть проблемы: как выбрать максимальное количество чисел из заданного множества, чтобы среди них не нашлось трёх, которые образуют прогрессию с одинаковым шагом (например, 1, 2, 3)?

### Неожиданное решение
Аспирант Ксандер Келли и доцент Рагу Мэа, работая над проблемой в области теоретической информатики, смогли значительно снизить верхний предел (потолок), при достижении которого прогрессия неизбежно возникает.

* **Комбинирование методов:** Они объединили стратегию «увеличения плотности» (фокусировка на более плотных подмножествах) с алгоритмической процедурой «просеивания» (очистка хаотичных множеств от шума для поиска скрытых структур).
* **Проверка:** Будучи «аутсайдерами» в этой конкретной области, авторы отправили работу предыдущим рекордсменам — Томасу Блуму и Олафу Сиску. После совместного анализа те подтвердили корректность доказательства.

Этот результат эксперты называют «красивым» решением задачи, которая десятилетиями считалась практически неприступной с использованием имеющихся методов.