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