ОДИНОКИЙ БЕГУН НАКОНЕЦ ПОЛУЧАЕТ ПРОСТОР

Представьте круговую дорожку длиной в один круг. Несколько бегунов стартуют из одной точки в один и тот же момент, каждый со своей постоянной скоростью, и все скорости разные. Гипотеза об одиноком бегуне (lonely runner conjecture) утверждает, что каждый бегун в какой-то момент окажется один: на расстоянии не менее 1/(n + 1) круга от всех остальных, если всего бегунов n + 1.

Задача старше своего названия. По словам Сию Ху (Университет Китайской академии наук) и Ифань Цзин (Университет штата Огайо), она восходит к докторской диссертации Йорга Виллса 1965 года о приближении чисел дробями. Кьюсик дал равносильную формулировку в терминах линий взгляда, перекрытых препятствиями; бегуны появились позже, в переформулировке Годдина. С тех пор задачу связали с траекториями бильярда, раскрасками графов и потоками в абстрактных структурах, называемых матроидами.

Как измерить одиночество

Математики обычно фиксируют одного бегуна и смотрят на скорости остальных относительно него: это множество V из n различных целых положительных чисел. В момент t бегун со скоростью v находится в точке vt на дорожке, а его расстояние от старта обозначают ∥vt∥ — расстояние от vt до ближайшего целого числа. Максимальное одиночество V равно

ML(V) = максимум по t от минимума по v из V величины ∥vt∥

Лучший момент, оцениваемый по ближайшему бегуну. Гипотеза утверждает, что ML(V) ≥ 1/(n + 1), и эта оценка была бы точной: для скоростей 1, 2, …, n максимальное одиночество равно ровно 1/(n + 1). Например, при двух движущихся бегунах со скоростями 1 и 2 неподвижный бегун может удалиться от обоих не более чем на треть круга — в момент 1/3.

Лёгкая половина

Половина ответа даётся дёшево. Моменты, когда данный бегун находится ближе чем на δ от старта, занимают долю 2δ времени. При n бегунах, если 2nδ меньше 1, эти временные окна не могут покрыть всё, а значит, есть момент, свободный от всех них. Устремляя δ к пределу, получаем

ML(V) ≥ 1/(2n)

Это примерно половина того, что предсказывает гипотеза. Выйти за эту границу оказалось упорно трудно. Авторы перечисляют историю: десятилетиями — лишь выигрыши порядка 1/n²; затем улучшения Перарно и Серры, Теренса Тао в 2018 году, Бенджамина Бедерта в 2025-м. Но у всех них общая слабость: относительно 1/(2n) улучшение стремится к нулю с ростом числа бегунов.

Выигрыш, который не исчезает

Новая теорема это меняет:

ML(V) > (1 + c)/(2n)

для фиксированной константы c > 0 и любого набора из n ≥ 2 скоростей. Дополнительный запас теперь составляет постоянную долю лёгкой оценки, сколько бы ни было бегунов. Константа явная, но в статье не вычислена, и авторы не пытаются её оптимизировать. Она не доходит до гипотетических 1/(n + 1); это первый выигрыш, который не растворяется.

Доказательство изучает, как перекрываются «окна опасности» разных бегунов. Одни перекрываются, потому что у них общий центр: бегуны, чьи скорости имеют общие делители, проходят старт одновременно. Другие перекрываются в разных центрах. Для первого типа авторы уточняют рассуждение о больших общих делителях, принадлежащее Грину и Уокеру. Для второго они доказывают новое геометрическое неравенство: когда окна расширяются вокруг своих центров, их перекрытия должны расти быстрее, чем пропорционально. Так или иначе, непокрытое время не может сжаться до нуля.

В качестве бонуса результат улучшает нижнюю оценку в «задаче о пижаме»: сколько повёрнутых и растянутых копий полосатого узора нужно, чтобы покрыть плоскость.

Кто что сделал

В статье есть явное заявление об использовании ИИ. Стратегия и общая схема принадлежат самим авторам. ChatGPT 6 Pro и ChatGPT 6 Astra использовались в основном для проверки рассуждений, превращения неформальных доказательств в строгие и поиска уточнений. Pro предложила привлечь суммы по общим делителям, а позже устранила «несколько небольших пробелов» в первой версии доказательства ключевого неравенства. Окончательные доказательства написали авторы. Их вердикт об инструментах точен: «модели не смогли самостоятельно улучшить оценку для одинокого бегуна».

Через шестьдесят лет после Виллса у одиночества, гарантированного каждому бегуну, впервые появился запас, который никуда не исчезает.