Гипотеза об одиноком бегуне
В теории чисел , в частности, в изучении диофантовой аппроксимации , гипотеза одинокого бегуна — это гипотеза о долгосрочном поведении бегунов на круговой дорожке. В нем говорится, что бегуны на беговой дорожке единичной длины, с постоянными скоростями, отличными друг от друга, каждый в какой-то момент будет одинок — по крайней мере единицы вдали от всех остальных.
Гипотеза была впервые сформулирована в 1967 году немецким математиком Йоргом М. Уиллсом в чисто теоретико-числовых терминах и независимо в 1974 году Т.В. Кьюзиком; ее наглядная и сейчас популярная формулировка датируется 1998 годом. Известно, что эта гипотеза верна для семи бегунов или меньше, но общий случай остается нерешенным. Последствия гипотезы включают решения проблем с препятствиями для просмотра и оценки свойств, связанных с хроматическими числами , некоторых графов.
Формулировка
[ редактировать ]Учитывать бегуны на круговой дорожке единичной длины. В начальный момент , все бегуны находятся в одном положении и начинают бежать; скорости бегунов постоянны, все различны и могут быть отрицательными. Говорят, что бегун бывает одинок временами если они находятся на расстоянии (измеренном по окружности) не менее от каждого второго бегуна. Гипотеза одинокого бегуна утверждает, что каждый бегун в какое-то время одинок, независимо от выбора скорости. [1]
Эта визуальная формулировка гипотезы была впервые опубликована в 1998 году. [2] Во многих формулировках, включая оригинал Йорга М. Уиллса, [3] [4] сделаны некоторые упрощения. Бегун, которому будет одиноко, неподвижен в точке 0 (с нулевой скоростью), и, следовательно, учитываются другие бегуны с ненулевой скоростью. [а] Движущиеся бегунки могут быть ограничены только положительными скоростями: по симметрии бегуны со скоростями и всегда находятся на одинаковом расстоянии от 0 и поэтому по существу эквивалентны. Доказательство результата для любого бегуна, стоящего на месте, подразумевает общий результат для всех бегунов, поскольку их можно сделать неподвижными, вычитая их скорость из скорости всех бегунов, оставляя их с нулевой скоростью. Гипотеза затем утверждает, что для любого набора положительных, различных скоростей, существует некоторое время такой, что где обозначает часть дробную . [6] Визуально интерпретируется следующим образом: если бегуны бегут против часовой стрелки, средний член неравенства — это расстояние от начала координат до точки. й бегун на данный момент , измеренное против часовой стрелки. [б] Это соглашение используется в оставшейся части этой статьи. Гипотеза Уиллса была частью его работы по диофантовому приближению . [7] изучение того, насколько близко дроби могут приближаться к иррациональным числам.
Подразумеваемое
[ редактировать ]Предполагать представляет собой 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]
Примечания и ссылки
[ редактировать ]Примечания
[ редактировать ]- ^ Некоторые авторы используют соглашение, согласно которому - это количество нестационарных бегунов, и, таким образом, можно предположить, что разрыв одиночества не более . [5]
- ^ Например, если начало координат находится в положении «6 часов», бегун в положении «9 часов» будет иметь .
- ^ Пусть одинокий бегун зафиксирован на уровне 0. Ради противоречия предположим, что существует такой, что для всех . По принципу «ячейки» существуют отдельные и такой, что Но для некоторых , так что либо или , противоречие. [6]
- ^ Взятие приводит к гипотезе одинокого бегуна.
Цитаты
[ редактировать ]- ^ Бохман, Хольцман и Клейтман 2001 , стр. 1.
- ^ Биения и др. 1998 , с. 3.
- ^ Уиллс 1967 ; Биения и др. 1998 год .
- ^ Уиллс 1967 .
- ^ Люди 2018 .
- ^ Jump up to: Перейти обратно: а б с Бохман, Хольцман и Клейтман 2001 , с. 2.
- ^ Уиллс 1967 ; Бетке и Уиллс, 1972 .
- ^ Кьюсик 1974 , с. 1.
- ^ Барахас и Серра 2009 , с. 5688.
- ^ Биения и др. 1998 год .
- ^ Перарнау и Серра 2016 .
- ^ Человек 2018 , стр. 2–3.
- ^ Бохман, Хольцман и Клейтман 2001 , стр. 12–13.
- ^ Jump up to: Перейти обратно: а б Червинский 2018 , стр. 1302.
- ^ Дубицкас 2011 , с. 27.
- ^ Барахас и Серра 2009 .
- ^ Бетке и Уиллс 1972 , стр. 215–216; Кьюсик 1974 , с. 5. Статья Кьюсика независимо доказывает этот результат.
- ^ Кьюсик и Померанс 1984 , с. 133; Бохман, Хольцман и Клейтман, 2001 ; Барахас и Серра, 2008a ; Рено 2004г . Renault дает элементарное доказательство .
- ^ Бохман, Хольцман и Клейтман 2001 , стр. 3.
- ^ Годдин и Вонг 2006 .
- ^ Червинский 2012 , стр. 2.
- ^ Червинский и Гричук 2008 .
- ^ Чоу и Риманич 2019 .
Цитируемые работы
[ редактировать ]- Барахас, Хавьер; Серра, Ориол (2008a). «Одинокий бегун с семью бегунами» . Электронный журнал комбинаторики . 15 (1): Р48. дои : 10.37236/772 .
- ——; —— (сентябрь 2009 г.). «О хроматическом числе циркулянтных графов» . Дискретная математика . 309 (18): 5687–5696. дои : 10.1016/j.disc.2008.04.041 .
- Бетке, У.; Уиллс, Дж. М. (1972). «Нижние оценки для двух функций диофантовой аппроксимации». Ежемесячные журналы по математике . 76 (3): 214. doi : 10.1007/BF01322924 . S2CID 122549668 .
- Биения, Войцех; Годдин, Луис; Гвоздяк, Павол; Себё, Андраш; Тарси, Майкл (январь 1998 г.). «Потоки, препятствия обзора и одинокий бегун» . Журнал комбинаторной теории, серия B. 72 (1): 1–9. дои : 10.1006/jctb.1997.1770 .
- Боман, Том ; Хольцман, Рон; Клейтман, Дэн (февраль 2001 г.). «Шесть одиноких бегунов» . Электронный журнал комбинаторики . 8 (2): Р3. дои : 10.37236/1602 .
- Чен, Юн-Гао; Кьюсик, Т.В. (январь 1999 г.). «Проблема препятствия обзору для n-мерных кубов» . Журнал теории чисел . 74 (1): 126–133. дои : 10.1006/jnth.1998.2309 .
- Чоу, Сэм; Риманич, Лука (январь 2019 г.). «Одинокие бегуны в функциональных полях» (PDF) . Математика . 65 (3): 677–701. дои : 10.1112/S002557931900007X . S2CID 118621899 .
- Кьюсик, TW (1973). «Проблемы с затруднением обзора». Математические уравнения . 9 (2–3): 165–170. дои : 10.1007/BF01832623 . S2CID 122050409 .
- —— (1974). «Проблемы с препятствиями для просмотра в n-мерной геометрии» . Журнал комбинаторной теории, серия А. 16 (1): 1–11. дои : 10.1016/0097-3165(74)90066-1 .
- ——; Померанс, Карл (1984). «Проблемы с затруднением обзора, III» . Журнал теории чисел . 19 (2): 131–139. дои : 10.1016/0022-314X(84)90097-0 .
- Червинский, Себастьян (2012). «Случайные бегуны очень одиноки». Журнал комбинаторной теории, серия А. 119 (6): 1194–1199. arXiv : 1102.4464 . дои : 10.1016/j.jcta.2012.02.002 . S2CID 26415692 .
- —— (май 2018 г.). «Задача одинокого бегуна для лакунарных последовательностей» . Дискретная математика . 341 (5): 1301–1306. дои : 10.1016/j.disc.2018.02.002 .
- ——; Гричук, Ярослав (сентябрь 2008 г.). «Невидимые бегуны в конечных полях». Письма об обработке информации . 108 (2): 64–67. дои : 10.1016/j.ipl.2008.03.019 .
- Дубицкас, А. (2011). «Проблема одинокого бегуна для многих бегунов» . Гласник Математики . 46 : 25–30. дои : 10.3336/gm.46.1.05 .
- Годдин, Л.; Вонг, Эрик Б. (2006). «Тяжелые случаи одинокого бегуна» (PDF) . Целые числа . 6 (А38) . Проверено 1 мая 2022 г.
- Кравиц, Н. (2021). «Едва одинокие бегуны и очень одинокие бегуны: изысканный подход к проблеме одинокого бегуна». Комбинаторная теория . 1 . arXiv : 1912.06034 . дои : 10.5070/C61055383 . S2CID 245100000 .
- Перарнау, Гиллем; Серра, Ориол (март 2016 г.). «Корреляция между бегунами и некоторые результаты по гипотезе одинокого бегуна» . Электронный журнал комбинаторики . 23 (1): 1,50 песо. дои : 10.37236/5123 . S2CID 7039062 .
- Рено, Дж. (2004). «Препятствие для обзора: более короткое доказательство для шести одиноких бегунов» . Дискретная математика . 287 (1–3): 93–101. дои : 10.1016/j.disc.2004.06.008 .
- Риффорд, Л. (2022). «Когда бегуну станет одиноко» (PDF) . Acta Applicandae Mathematicae . 180 : Бумага № 15. doi : 10.1007/s10440-022-00515-9 .
- Тао, Теренс (31 декабря 2018 г.). «Некоторые замечания по поводу гипотезы одинокого бегуна» . Вклад в дискретную математику . 13 : № 2 (2018). дои : 10.11575/cdm.v13i2.62728 .
- Уиллс, Йорг М. (1967). «Две теоремы о неоднородной диофантовой аппроксимации иррациональных чисел». Ежемесячные журналы по математике . 71 (3): 263–269. дои : 10.1007/BF01298332 . S2CID 122754182 .
Внешние ссылки
[ редактировать ]- Статья в саду открытых проблем №. 4, 551–562.