На первый взгляд, это звучит как простой мысленный эксперимент: группа людей бежит по круговой дорожке с разной, но постоянной скоростью. Окажется ли в итоге каждый бегун «одиноким» — то есть находящимся на достаточном расстоянии от всех остальных, чтобы вокруг него было свободное пространство?
Хотя саму идею легко визуализировать, стоящая за ней математика невероятно сложна. На протяжении десятилетий гипотеза об одиноком бегуне оставалась трудноразрешимой загадкой, затрагивающей различные области науки: от теории чисел до геометрии. Однако после почти двадцати лет застоя недавний «квантовый скачок» в исследованиях наконец-то позволил преодолеть этот тупик.
Что такое проблема одинокого бегуна?
Изначально эта задача формулировалась не в терминах атлетов, а на языке теории чисел. В 1960-х годах математик Йорг М. Виллс выдвинул предположение, что определенный метод использования дробей для аппроксимации иррациональных чисел (таких как $\pi$) является оптимальным.
В 1998 году исследователи перевели эту абстрактную концепцию в «поэтическую» метафору бегунов на дорожке. Формальная гипотеза гласит:
Если $N$ бегунов стартуют из одной точки на круговой дорожке и бегут с различными постоянными скоростями, то в какой-то момент каждый бегун будет находиться на расстоянии не менее $1/N$ от каждого другого бегуна.
Это не просто узкоспециальный курьез. Задача математически эквивалентна нескольким реальным и теоретическим вопросам, таким как:
— Геометрия: определение максимально возможного размера препятствий на поле, прежде чем прямая линия неизбежно столкнется с одним из них.
— Физика: прогнозирование движения бильярдных шаров на столе.
— Теория сетей: организация сложных систем и связей.
Стена сложности
Долгое время прогресс в доказательстве гипотезы был медленным и постепенным. Математикам довольно легко удавалось доказать теорему для двух или трех бегунов. К 1970-м годам они решили её для четырех бегунов, а к 2007 году добрались до семи.
Сложность заключается в том, что добавление даже одного бегуна делает задачу экспоненциально труднее. Каждый новый участник вызывает колоссальное увеличение количества возможных комбинаций скоростей. Поскольку математики использовали разные, специфические методы для разного количества бегунов, им не хватало единой стратегии для решения проблемы в целом.
Прорыв: от семи к десяти
Тупиковая ситуация была наконец преодолена благодаря сочетанию теоретических открытий и вычислительных мощностей.
1. Установление порога
В 2015 году выдающийся математик Теренс Тао предоставил ключевую зацепку. Он продемонстрировал: если гипотеза верна для относительно низких скоростей, то она автоматически будет верна и для гораздо более высоких скоростей. Это фактически превратило бесконечную задачу в конечную, установив «скоростной предел», в рамках которого могли работать математики.
2. Доказательство Розенфельда
Опираясь на работу Тао, математик Маттье Розенфельд изменил подход. Вместо того чтобы пытаться доказать, что бегуны будут одинокими, он начал искать контрпримеры. Он задался вопросом: какими должны быть скорости, если бегун никогда не окажется в одиночестве?
Используя компьютерные программы и теорию чисел, Розенфельд обнаружил, что любой подобный контрпример потребовал бы таких скоростей, произведение которых делилось бы на определенные простые числа. Он доказал, что такое произведение должно быть настолько огромным, что оно превысит порог Тао, а значит, контрпример математически невозможен. Это позволило успешно доказать гипотезу для восьми бегунов.
3. Оксфордское ускорение
На этом движение не остановилось. Танупат (Пол) Тракултонгчай, студент второго курса Оксфордского университета, усовершенствовал вычислительные методы Розенфельда. Найдя более эффективный способ идентификации необходимых простых делителей, Тракултонгчай смог доказать гипотезу для девяти и десяти бегунов вскоре после прорыва Розенфельда.
Почему это важно
Этот внезапный скачок — переход от семи бегунов к десяти за очень короткий промежуток времени — представляет собой значительный сдвиг в подходе математиков к проблеме. Отходя от разрозненных, узкоспециализированных доказательств в сторону более единой, вычислительной стратегии, исследователи наконец-то начали подтачивать проблему, которая когда-то казалась непреодолимой.
Прыжок от семи к десяти бегунам — это свидетельство того, как сочетание высокоуровневой теории с современными вычислениями позволяет решать задачи, которые десятилетиями оставались без движения.
Заключение: Недавние доказательства для восьми, девяти и десяти бегунов превратили гипотезу об одиноком бегуне из многолетней загадки в стремительно развивающуюся область исследований, доказывая, что даже самые «простые» на первый взгляд задачи могут скрывать в себе глубочайшие математические бездны.
