Гипотеза Шинцеля H - Википедия - Schinzels hypothesis H

В математика, Гипотеза Шинцеля H одна из самых известных открытых проблем в теме теории чисел. Это очень широкое обобщение широко открытых догадки такой как гипотеза о простых близнецах. Гипотеза названа в честь Анджей Шинцель.

Заявление

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

{ Displaystyle е (п), г (п), ldots,}

со значениями в целых числах ${ displaystyle n}$ из несводимый целочисленные многочлены

{ Displaystyle е (х), г (х), ldots,}

должен быть в состоянии взять на себя простое число значения одновременно, для произвольно большой целые числа ${ displaystyle n}$ . Другими словами, таких должно быть бесконечно много. ${ displaystyle n}$ для которых каждое из значений последовательности - простые числа. На полиномы необходимы некоторые ограничения. Гипотеза Шинцеля основывается на более раннем Гипотеза Буняковского, для одиночного полинома и на Гипотезы Харди – Литтлвуда и Гипотеза Диксона для кратных линейных многочленов. Он, в свою очередь, расширяется Гипотеза Бейтмана – Хорна.

Обратите внимание, что коэффициенты полиномы не обязательно должны быть целыми числами; например, эта гипотеза включает многочлен ${ displaystyle { frac {1} {2}} x ^ {2} + { frac {1} {2}} x + 1}$ , поскольку это целочисленный многочлен.

Необходимые ограничения

Такая гипотеза требует необходимые условия. Например, если мы возьмем два многочлена ${ displaystyle x + 4}$ и ${ displaystyle x + 7}$ , здесь нет ${ displaystyle n> 0}$ для которого ${ displaystyle n + 4}$ и ${ displaystyle n + 7}$ оба являются простыми числами. Это потому, что один из них будет четное число ${ displaystyle n> 2}$ . Главный вопрос при формулировке гипотезы - исключить это явление.

Таким образом, мы должны добавить условие: «Для каждого простого числа п, существует п такие, что все значения полиномов в п не делятся на п".

Фиксированные делители

Можно понять арифметическую природу наиболее очевидных необходимых условий. Целочисленный многочлен ${ Displaystyle Q (х)}$ имеет фиксированный делитель ${ displaystyle m}$ если есть целое число ${ displaystyle m> 1}$ такой, что

{ displaystyle { frac {Q (x)} {m}}}

также является целочисленным многочленом. Например, мы можем сказать, что

{ Displaystyle (х + 4) (х + 7)}

имеет 2 фиксированным делителем. Такие фиксированные делители должны быть исключены из

{ Displaystyle Q (х) = prod _ {я = 1} ^ {k} f_ {я} (х)}

для любой гипотезы о многочленах ${ displaystyle f_ {i}}$ , ${ Displaystyle я = 1, ldots, к}$ , так как их присутствие быстро противоречит возможности того, что ${ Displaystyle f_ {я} (п)}$ все могут быть простыми, с большими значениями ${ displaystyle n}$ .

Формулировка гипотезы H

Поэтому стандартная форма Гипотеза Шинцеля H это если ${ displaystyle Q}$ определенный, как указано выше, имеет нет фиксированный простой делитель, то все ${ Displaystyle f_ {я} (п)}$ будут одновременно простыми бесконечно часто при любом выборе неприводимых целочисленные полиномы ${ displaystyle f_ {i} (x)}$ с положительными ведущими коэффициентами.

Как доказали Шинцель и Серпинский на странице 188 книги ^[1] это эквивалентно следующему: если ${ displaystyle Q}$ определено, как указано выше, нет фиксированный простой делитель, то есть существует хотя бы один положительное число ${ displaystyle n}$ так что все ${ Displaystyle f_ {я} (п)}$ будут одновременно простыми при любом выборе неприводимых целочисленные полиномы ${ displaystyle f_ {i} (x)}$ с положительными ведущими коэффициентами.

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

{ displaystyle x ^ {2} +1}

не имеет фиксированного простого делителя. Поэтому мы ожидаем, что существует бесконечно много простых чисел

{ Displaystyle п ^ {2} +1}

Однако это не было доказано. Это был один из Гипотезы Ландау и восходит к Эйлеру, который заметил в письме Гольдбаху в 1752 году, что ${ Displaystyle п ^ {2} +1}$ часто является основным для ${ displaystyle n}$ до 1500.

Предыдущие результаты

Частным случаем одного линейного многочлена является Теорема Дирихле об арифметических прогрессиях, один из важнейших результатов теории чисел. Фактически, этот частный случай - единственный известный пример гипотезы Шинцеля H. Мы не знаем, что гипотеза верна для любого заданного полинома степени выше ${ displaystyle 1}$ , ни для какой-либо системы из более чем одного полинома. Чтобы понять, насколько сложна гипотеза, обратите внимание, что в очень небольшом частном случае ${ Displaystyle f_ {1} (t) = t, f_ {2} (t) = t + 2}$ , гипотеза предполагает существование бесконечно большого числа простые числа-близнецы, основная и пресловутая открытая проблема.

Многие математики пытались приблизить почти простые приближения к гипотезе Шинцеля; среди них, в первую очередь,Теорема Чена утверждает, что существует бесконечное число ${ displaystyle n}$ такой, что ${ displaystyle n + 2}$ либо простое число, либо полупервичный ^[2] и Иванец доказал, что существует бесконечно много целых чисел ${ displaystyle n}$ для которого ${ Displaystyle п ^ {2} +1}$ либо простое число, либо полупервичный ^[3]. Скоробогатов и Софос доказали, что почти все полиномы любой фиксированной степени удовлетворяют гипотезе Шинцеля H.^[4].

Перспективы и приложения

Гипотеза, вероятно, недоступна с помощью существующих методов в аналитическая теория чисел, но сейчас довольно часто используется для доказательства условные результаты, например в Диофантова геометрия. Это соединение связано с Жан-Луи Коллио-Телен и Жан-Жак Сансук ^[5]. Дополнительные пояснения и ссылки по этой связи см. В примечаниях ^[6] из Суиннертон-Дайер Предполагаемый результат настолько силен по своей природе, что вполне возможно, что его можно было бы ожидать слишком многого.

Расширение, включающее гипотезу Гольдбаха

Гипотеза не покрывает Гипотеза Гольдбаха, но близкая версия (гипотеза H_N) делает. Это требует дополнительного полинома ${ Displaystyle F (х)}$ , что в задаче Гольдбаха было бы просто ${ displaystyle x}$ , для которого

N − F(п)

также должно быть простым числом. Это цитируется в Halberstam and Richert, Ситовые методы. Гипотеза здесь принимает форму утверждения когда N достаточно велико, и при условии

Q(п)(N − F(п))

имеет нет фиксированного делителя > 1. Тогда мы должны иметь возможность требовать существования п такой, что N − F(п) одновременно положительное и простое число; и со всеми ж_я(п) простые числа.

Известно не так много случаев этих предположений; но есть подробная количественная теория (Гипотеза Бейтмана – Хорна ).

Локальный анализ

Условие отсутствия фиксированного простого делителя является чисто локальным (то есть зависит только от простых чисел). Другими словами, конечный набор неприводимых целочисленных многочленов без местное препятствие предполагается, что брать бесконечное количество простых значений принимает бесконечно много простых значений.

Аналог, который не работает

Аналогичная гипотеза с заменой целых чисел кольцом многочленов одной переменной над конечным полем имеет вид ложный. Например, Свон отметил в 1962 г. (по причинам, не связанным с гипотезой H), что многочлен

{ Displaystyle х ^ {8} + и ^ {3} ,}

над кольцом F₂[ты] неприводима и не имеет фиксированного делителя простого полинома (в конце концов, его значения в Икс = 0 и Икс = 1 - относительно простые многочлены), но все его значения как Икс переезжает F₂[ты] составные. Подобные примеры можно найти с F₂ заменяется любым конечным полем; препятствия в правильной формулировке Гипотезы H над F[ты], куда F это конечное поле, больше не просто местный но новый Глобальный препятствие возникает без классической параллели, если предположить, что гипотеза H действительно верна.

внешняя ссылка

[1] для публикаций польского математика Анджей Шинцель. Гипотеза основана на бумаге ^[7], это статья 25 в этом списке от 1958 года, написанная Серпинский.

^ Шинцель, А.; Серпинский, В. (1958). «С уверенностью можно сказать, что гипотезы касаются премьер-министров». Acta Arithmetica. 4 (3): 185–208. Дои:10.4064 / aa-4-3-185-208. МИСТЕР 0106202.
^ Чен, Дж. (1973). «О представлении большего четного числа как суммы простого и произведения не более двух простых чисел». Sci. Синица. 16: 157–176. МИСТЕР 0434997.
^ Иванец, Х. (1978). «Почти простые числа, представленные квадратичными многочленами». Inventiones Mathematicae. 47 (2): 171–188. Bibcode:1978InMat..47..171I. Дои:10.1007 / BF01578070. МИСТЕР 0485740. S2CID 122656097.
^ Скоробогатов, А.; Софос, Э. (2020). «Гипотеза Шинцеля с вероятностью 1 и рациональными точками». arXiv:2005.02998 [math.NT ].
^ Коллио-Телен, Ж.Л.; Sansuc, J.J. (1982). «Sur le principe de Hasse et l'approximation faible, et sur une hypothese de Schinzel». Acta Arithmetica. 41 (1): 33–53. Дои:10.4064 / aa-41-1-33-53. МИСТЕР 0667708.
^ Суиннертон-Дайер, П. (2011). «Темы в диофантовых уравнениях». Арифметическая геометрия. Конспект лекций по математике. 2009. Спрингер, Берлин. С. 45–110. МИСТЕР 2757628.
^ Шинцель, А.; Серпинский, В. (1958). «С уверенностью можно сказать, что гипотезы касаются премьер-министров». Acta Arithmetica. 4 (3): 185–208. Дои:10.4064 / aa-4-3-185-208. МИСТЕР 0106202.

[1] Шинцель, А.; Серпинский, В. (1958). «С уверенностью можно сказать, что гипотезы касаются премьер-министров». Acta Arithmetica. 4 (3): 185–208. Дои:10.4064 / aa-4-3-185-208. МИСТЕР 0106202.

[2] Чен, Дж. (1973). «О представлении большего четного числа как суммы простого и произведения не более двух простых чисел». Sci. Синица. 16: 157–176. МИСТЕР 0434997.

[3] Иванец, Х. (1978). «Почти простые числа, представленные квадратичными многочленами». Inventiones Mathematicae. 47 (2): 171–188. Bibcode:1978InMat..47..171I. Дои:10.1007 / BF01578070. МИСТЕР 0485740. S2CID 122656097.

[4] Скоробогатов, А.; Софос, Э. (2020). «Гипотеза Шинцеля с вероятностью 1 и рациональными точками». arXiv:2005.02998 [math.NT ].

[5] Коллио-Телен, Ж.Л.; Sansuc, J.J. (1982). «Sur le principe de Hasse et l'approximation faible, et sur une hypothese de Schinzel». Acta Arithmetica. 41 (1): 33–53. Дои:10.4064 / aa-41-1-33-53. МИСТЕР 0667708.

[6] Суиннертон-Дайер, П. (2011). «Темы в диофантовых уравнениях». Арифметическая геометрия. Конспект лекций по математике. 2009. Спрингер, Берлин. С. 45–110. МИСТЕР 2757628.

[7] Шинцель, А.; Серпинский, В. (1958). «С уверенностью можно сказать, что гипотезы касаются премьер-министров». Acta Arithmetica. 4 (3): 185–208. Дои:10.4064 / aa-4-3-185-208. МИСТЕР 0106202.

[1]

[2]

[3]

[4]

[5]

[6]

[7]