Гипотеза Гилбрита
Гипотеза Гилбрита — это гипотеза теории чисел относительно последовательностей, генерируемых путем применения оператора прямой разности к последовательным простым числам и оставления результатов беззнаковыми, а затем повторения этого процесса для последовательных членов в полученной последовательности и так далее. Утверждение названо в честь Нормана Л. Гилбрита , который в 1958 году представил его математическому сообществу после того, как случайно заметил закономерность, выполняя арифметические действия на салфетке. [1] Однако в 1878 году, за восемьдесят лет до открытия Гилбрита, Франсуа Прот опубликовал те же наблюдения вместе с попыткой доказательства , которая позже оказалась неверной. [1]
Мотивирующая арифметика
[ редактировать ]Гилбрет заметил закономерность, играя с упорядоченной последовательностью простых чисел.
- 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, ...
Вычисление абсолютного значения разницы между термином n + 1 и термином n в этой последовательности дает последовательность
- 1, 2, 2, 4, 2, 4, 2, 4, 6, 2, ...
Если тот же расчет выполняется для членов этой новой последовательности и последовательности, которая является результатом этого процесса, и снова до бесконечности для каждой последовательности, которая является результатом такого вычисления, следующие пять последовательностей в этом списке будут
- 1, 0, 2, 2, 2, 2, 2, 2, 4, ...
- 1, 2, 0, 0, 0, 0, 0, 2, ...
- 1, 2, 0, 0, 0, 0, 2, ...
- 1, 2, 0, 0, 0, 2, ...
- 1, 2, 0, 0, 2, ...
Гилбрет – а до него Франсуа Прот – заметили, что первый член в каждой серии разностей оказывается равным 1.
Гипотеза
[ редактировать ]Формально сформулировать наблюдение Гилбрита значительно проще после разработки обозначений для последовательностей в предыдущем разделе. С этой целью позвольте обозначают упорядоченную последовательность простых чисел и определяют каждый член последовательности к
где является положительным. Также для каждого целого числа больше 1, пусть члены в быть предоставлено
Гипотеза Гилбрита утверждает, что каждый член последовательности для позитива равен 1.
Проверка и попытки доказательства
[ редактировать ]Франсуа Прот опубликовал то, что, по его мнению, было доказательством утверждения, которое, как позже выяснилось, было ошибочным. Андрей Одлызко это подтвердил. равен 1 для в 1993 году, [2] но эта гипотеза остается открытой проблемой. Вместо оценки n строк Одлизко оценил 635 строк и установил, что 635-я строка начинается с 1 и продолжается только 0 и 2 для следующих n чисел. Это означает, что следующие n строк начинаются с 1.
Обобщения
[ редактировать ]В 1980 году Мартин Гарднер опубликовал гипотезу Халларда Крофта , в которой утверждалось, что свойство гипотезы Гилбрита (наличие 1 в первом члене каждой разностной последовательности) должно выполняться в более общем смысле для каждой последовательности, которая начинается с 2 и впоследствии содержит только нечетные числа . и имеет достаточно низкую границу промежутков между последовательными элементами последовательности. [3] Эту гипотезу повторили и более поздние авторы. [4] [5] Однако это неверно: для каждой начальной подпоследовательности из 2 и нечетных чисел и для каждой непостоянной скорости роста существует продолжение подпоследовательности нечетными числами, промежутки которых подчиняются скорости роста, но чьи разностные последовательности не могут бесконечно начинаться с 1. часто. [6] Одлыжко (1993) более осторожен, указывая некоторые эвристические причины верить в гипотезу Гилбрита о том, что «приведенные выше аргументы применимы ко многим другим последовательностям, в которых первый элемент равен 1, а остальные даже и где промежутки между последовательными элементами не слишком велики». большие и достаточно случайные». [2] [7] Однако он не дает формального определения того, что означает «достаточно случайно».
См. также
[ редактировать ]- Разностный оператор
- Премьер-разрыв
- Правило 90 , клеточный автомат , контролирующий поведение частей строк, содержащих только значения 0 и 2
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Колдуэлл, Крис. «Главный глоссарий: гипотеза Гилбрита» . Главные страницы . Архивировано из оригинала 24 марта 2012 г. Проверено 7 марта 2008 г. .
- ^ Перейти обратно: а б Одлызко, А.М. (1993). «Итерированные абсолютные значения разностей последовательных простых чисел» . Математика вычислений . 61 (203): 373–380. дои : 10.2307/2152962 . JSTOR 2152962 . Збл 0781.11037 . Архивировано из оригинала 27 сентября 2011 г. Проверено 25 мая 2006 г. .
- ^ Гарднер, Мартин (декабрь 1980 г.). «Шаблоны простых чисел — ключ к пониманию строгого закона малых чисел». Математические игры. Научный американец . Том. 243, нет. 6. С. 18–28.
- ^ Гай, Ричард К. (2004). Нерешенные проблемы теории чисел . Задачи по математике (3-е изд.). Спрингер-Верлаг . п. 42. ИСБН 0-387-20860-7 . Збл 1058.11001 .
- ^ Дорогая, Дэвид (2004). «Гипотеза Гилбрита». Универсальная книга по математике: от абракадабры до парадоксов Зенона . Джон Уайли и сыновья. стр. 133–134. ISBN 9780471667001 . Архивировано из оригинала 5 мая 2016 г. Проверено 21 апреля 2015 г.
- ^ Эппштейн, Дэвид (20 февраля 2011 г.). «Последовательности Анти-Гилбрета» . 11011110 . Архивировано из оригинала 12 апреля 2017 года . Проверено 12 апреля 2017 г.
- ^ Чейз, Закари (2023). «Случайный аналог гипотезы Гилбрита». Математика. Энн . arXiv : 2005.00530 . дои : 10.1007/s00208-023-02579-w .