Jump to content

Гипотеза об одиноком бегуне

Это хорошая статья. Нажмите здесь для получения дополнительной информации.

Нерешенная задача по математике :
Верна ли гипотеза одинокого бегуна для любого количества бегунов?

В теории чисел , в частности, в изучении диофантовой аппроксимации , гипотеза одинокого бегуна — это гипотеза о долгосрочном поведении бегунов на круговой дорожке. В нем говорится, что бегуны на беговой дорожке единичной длины, с постоянными скоростями, отличными друг от друга, каждый в какой-то момент будет одинок — по крайней мере единицы вдали от всех остальных.

Гипотеза была впервые сформулирована в 1967 году немецким математиком Йоргом М. Уиллсом в чисто теоретико-числовых терминах и независимо в 1974 году Т.В. Кьюзиком; ее наглядная и сейчас популярная формулировка датируется 1998 годом. Известно, что эта гипотеза верна для семи бегунов или меньше, но общий случай остается нерешенным. Последствия гипотезы включают решения проблем с препятствиями для просмотра и оценки свойств, связанных с хроматическими числами , некоторых графов.

Формулировка

[ редактировать ]
Анимация, иллюстрирующая случай шести бегунов.
Пример случая гипотезы с n =6 бегунами. Бегуны, окрашенные в черный цвет, еще не были одиноки. Белые дуги длиной 2/ n обозначают, что бегун в данный момент одинок. Желтые бегуны испытали одиночество.

Учитывать бегуны на круговой дорожке единичной длины. В начальный момент , все бегуны находятся в одном положении и начинают бежать; скорости бегунов постоянны, все различны и могут быть отрицательными. Говорят, что бегун бывает одинок временами если они находятся на расстоянии (измеренном по окружности) не менее от каждого второго бегуна. Гипотеза одинокого бегуна утверждает, что каждый бегун в какое-то время одинок, независимо от выбора скорости. [1]

Эта визуальная формулировка гипотезы была впервые опубликована в 1998 году. [2] Во многих формулировках, включая оригинал Йорга М. Уиллса, [3] [4] сделаны некоторые упрощения. Бегун, которому будет одиноко, неподвижен в точке 0 (с нулевой скоростью), и, следовательно, учитываются другие бегуны с ненулевой скоростью. [а] Движущиеся бегунки могут быть ограничены только положительными скоростями: по симметрии бегуны со скоростями и всегда находятся на одинаковом расстоянии от 0 и поэтому по существу эквивалентны. Доказательство результата для любого бегуна, стоящего на месте, подразумевает общий результат для всех бегунов, поскольку их можно сделать неподвижными, вычитая их скорость из скорости всех бегунов, оставляя их с нулевой скоростью. Гипотеза затем утверждает, что для любого набора положительных, различных скоростей, существует некоторое время такой, что где обозначает часть дробную . [6] Визуально интерпретируется следующим образом: если бегуны бегут против часовой стрелки, средний член неравенства — это расстояние от начала координат до точки. й бегун на данный момент , измеренное против часовой стрелки. [б] Это соглашение используется в оставшейся части этой статьи. Гипотеза Уиллса была частью его работы по диофантовому приближению . [7] изучение того, насколько близко дроби могут приближаться к иррациональным числам.

Подразумеваемое

[ редактировать ]
Серия красных квадратов и зеленая линия с наклоном 2, узко заходящая в квадраты.
Квадраты со стороной 1/3, расположенные в каждой полуцелой координате, загораживают любой луч из начала координат (кроме лежащих на оси). Любая меньшая длина стороны оставит небольшие зазоры.

Предполагать представляет собой n - гиперкуб с длиной стороны в n -мерном пространстве ( ). Поместите центрированную копию в каждой точке с полуцелыми координатами. Луч из начала координат может либо пропустить все копии , и в этом случае существует (бесконечно малый) пробел или попадание хотя бы в одну копию. Кьюсик (1973) в этом контексте сформулировал независимую гипотезу об одиноком бегуне; из гипотезы следует, что пробелы существуют тогда и только тогда, когда , игнорируя лучи, лежащие в одной из координатных гиперплоскостей. [8] Например, в двухмерном пространстве квадраты размером меньше по длине стороны останутся пробелы, как показано, и квадраты с длиной стороны. или больше будет препятствовать каждому лучу, который не параллелен оси. Гипотеза обобщает это наблюдение на любое количество измерений.

В теории графов дистанционный граф на множестве целых чисел и используя некоторое конечное множество положительных целых расстояний, имеет ребро между тогда и только тогда, когда . Например, если , каждая последовательная пара четных целых чисел и нечетных целых чисел является смежной, и все вместе они образуют два связных компонента . A k - регулярная раскраска целых чисел с шагом присваивает каждому целому числу один из цвета на остатков основе модуль . Например, если , раскраска повторяется каждые целые числа и каждая пара целых чисел одного цвета. принимая , гипотеза одинокого бегуна подразумевает допускает правильную k -регулярную раскраску (т. е. каждый узел раскрашен иначе, чем его соседи) для некоторого значения шага. [9] Например, генерирует правильную раскраску на графе расстояний, сгенерированном . ( известно как регулярное хроматическое число .)

Учитывая ориентированный граф , ненулевой поток нигде ассоциируется с положительным значением к каждому краю , так что поток наружу из каждого узла равен потоку внутрь. Гипотеза одинокого бегуна подразумевает, что если имеет нигде ненулевой поток с не более чем различные целочисленные значения, тогда имеет нигде ненулевой поток со значениями только в (возможно, после изменения направления некоторых дуг ). Этот результат был доказан для с помощью отдельных методов, а поскольку меньшие случаи гипотезы одинокого бегуна решены, полная теорема доказана. [10]

Известные результаты

[ редактировать ]

Для данной настройки бегунов пусть обозначают наименьшую из максимальных дистанций одиночества бегунов и разрыв одиночества [11] обозначаем минимум во всех установках с бегуны. В этих обозначениях гипотеза утверждает, что , граница, которая, если она верна, не может быть улучшена. Например, если бегун, которому предстоит быть одиноким, стоит на месте и ускоряется выбраны, то не существует момента времени, когда они строго больше единиц от всех остальных, показывая, что . [с] В качестве альтернативы этот вывод можно быстро вывести из аппроксимационной теоремы Дирихле . Для простая нижняя граница может быть получено с помощью вероятностного аргумента. [12]

Гипотезу можно свести к ограничению скорости бегунов целыми положительными числами: если гипотеза верна для бегунов с целыми скоростями, это верно для бегуны с реальной скоростью. [13]

Более жесткие границы

[ редактировать ]

Небольшие улучшения нижней границы известны. Чен и Кьюсик (1999) показали что если является простым, то , и если является простым, то . Перарнау и Серра (2016) показали безоговорочно для достаточно больших что

Тао (2018) доказал самый известный на данный момент асимптотический результат: для достаточно больших , для некоторой константы . Он также показал, что полная гипотеза подразумевается, доказав гипотезу для целочисленных скоростей размера (см. большое обозначение O ). Это импликация теоретически позволяет доказать гипотезу для заданного путем проверки конечного набора случаев, но число случаев растет слишком быстро, чтобы это было практично. [14]

Гипотеза была доказана при конкретных предположениях о скорости бегунов. Для достаточно большого , это справедливо, если Другими словами, гипотеза справедлива для больших если скорости растут достаточно быстро. Если константу 22 заменить на 33, то гипотеза верна для . [15] Аналогичный результат для достаточно больших требуется только аналогичное предположение для . [14] Безоговорочно включено , гипотеза верна, если для всех . [16]

Для конкретного n

[ редактировать ]

Гипотеза верна для бегуны. Доказательства для являются элементарными; тот Дело было возбуждено в 1972 году. [17] , , и дела были урегулированы в 1984, 2001 и 2008 годах соответственно. Первое доказательство для было проведено с помощью компьютера, но с тех пор все случаи были доказаны элементарными методами. [18]

Для некоторых существуют спорадические примеры с максимальным разделением помимо примера приведено выше. [6] Для , единственный известный пример (с точностью до сдвигов и масштабирования) — это ; для единственный известный пример ; и для известные примеры и . [19] Существует явное бесконечное семейство таких спорадических случаев. [20]

Кравиц (2021) сформулировал более точную версию гипотезы, касающуюся случаев, близких к равенству. Более конкретно, он предполагает, что для данного набора скоростей , или для некоторого положительного целого числа , [д] или , где это разрыв одиночества в этой установке. Он подтвердил эту гипотезу для и несколько особых случаев.

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

Другие результаты

[ редактировать ]

Гораздо более сильный результат существует для случайно выбранных скоростей: использование соглашения о стационарном бегуне, если и фиксированы и бегуны с ненулевыми скоростями выбираются равномерно случайным образом из , затем как . Другими словами, бегуны со случайной скоростью, скорее всего, в какой-то момент окажутся «очень одинокими» — почти единиц от ближайшего другого бегуна. [21] Полная гипотеза верна, если «одиночество» заменить на «почти одиночество», что означает, что не более одного бегуна находится внутри. данного бегуна. [22] Гипотеза была обобщена до аналога в полях алгебраических функций . [23]

Примечания и ссылки

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ Некоторые авторы используют соглашение, согласно которому - это количество нестационарных бегунов, и, таким образом, можно предположить, что разрыв одиночества не более . [5]
  2. ^ Например, если начало координат находится в положении «6 часов», бегун в положении «9 часов» будет иметь .
  3. ^ Пусть одинокий бегун зафиксирован на уровне 0. Ради противоречия предположим, что существует такой, что для всех . По принципу «ячейки» существуют отдельные и такой, что Но для некоторых , так что либо или , противоречие. [6]
  4. ^ Взятие приводит к гипотезе одинокого бегуна.

Цитируемые работы

[ редактировать ]
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: d3581bcf72f942dd0bd02eeb6230d39f__1700454780
URL1:https://arc.ask3.ru/arc/aa/d3/9f/d3581bcf72f942dd0bd02eeb6230d39f.html
Заголовок, (Title) документа по адресу, URL1:
Lonely runner conjecture - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)