欣策爾假設H

數學上，欣策爾假設H（Schinzel's hypothesis H）是數論中最有名的開放問題之一。這問題是孿生質數猜想等高度開放問題的大幅推廣。這猜想以波蘭男性數學家Andrzej Schinzel為名。

**陳述**
這假設聲稱，對於任意定義在整數上、由首項係數為正的整係數不可約多項式而言，以下兩條有且僅有一條成立：
# 有無限多的正整數使得皆為質數；或
# 有一個取決於這整數多項式的正整數（又稱「固定除數」），總能除盡這些多項式的乘積（或等價地說，存在一個質數，使得對於任意正整數而言，總有一個，使得能除盡）
像這樣的集合能滿足第二個條件，而這是因為總能被2除盡之故。而很容易就可知道在這種狀況下，第一條不會成立；而欣策爾假設H基本就是說，上述第一條的斷言，僅在第二條成立時會不成立。
目前沒有任何已知的有效技巧可以確定一組多項式是否符合上述的第一個條件；反之，確定一組多項式符合第二個條件的方法相當直接：設並計算的連續個值的最大公因數。之後可藉由對有限差的外推，知道說這這因數也可除盡的所有其他值。
欣策爾假設H建立於布尼亞科夫斯基猜想這個對單一多項式的猜想，以及哈代-李特爾伍德猜想和迪克森猜想等對多個線性多項式的猜想的基礎上。而這猜想又受到Bateman–Horn conjecture所推廣。

**例子**
取時的簡單例子如下：

這多項式沒有固定的質因數，因此我們可以期待說有無限多個質數有著如下的形式：

然而這點並未得證。這是蘭道問題的其中一題，且可追溯至歐拉在1752年給哥德巴赫的一封信中的觀察，其中提到說在到1500的範圍內，形如的數，經常是質數。
作為另一個例子，可取，並設及。而這猜想指出，這例子會導出有無限多對的孿生質數的結果，而這是一個基本但知名的開放問題。

**變體**
欣策爾和謝爾賓斯基證明說，上述內容等價如次的敘述：若條件二不成立，那對於任意首項係數為正的整係數不可約多項式的集合而言，存在至少一個正整數，使得所有的都是質數。若首項係數為負，那可期待會出現負質數，因此這是一個無害的限制。
或許並無理由將問題限制於整係數多項式，而非更一般的Integer-valued polynomial上，而這是因為像是如這樣的多項式，在為整數時，其值也必然是整數，即使其係數並非整數亦然。

**先前的結果**
單個線性多項式的特殊情況即是等差數列上的狄利克雷定理，而這定理是數論上最重要的定理之一；事實上，狄利克雷定理是欣策爾假設H唯一已知的例子。目前尚不知這猜想是否對於任意次數大於多項式，或對於多於一個多項式組成的系統也成立。
目前已有許多學者嘗試以殆質數來解決欣策爾假設H，其中最顯著的結果是陳氏定理。陳氏定理表示說有無限多個質數，使得是質數或半質數；而伊萬尼茨則證明說有無限多個正整數，使得是質數或半質數。而Alexei Skorobogatov和梭佛斯（Sofos）證明瞭說幾乎所有次數固定的多項式都滿足欣策爾假設H。 
設為一個公因數為的Integer-valued polynomial，並設那麼就是一個原初整值多項式。
隆納·約瑟夫·米奇（Ronald Joseph Miech）證明瞭說對無限多的正整數成立，因此對無限多的正整數成立，其中和不取決於，且對於的次數有。這定理又稱為米奇定理（Miech's theorem），而米奇定理的證明使用了布朗篩法。
若一個假定的機率密度篩確實存在，那就可利用米奇定理，藉由數學歸納法證明欣策爾假設H在任何情況下都成立。

**前景和應用**
這假設可能超出解析數論目前的方法所能及的範圍，但在算術幾何等的研究中，這假設常用以給出conditional result。這假設和算術幾何之間的關聯可見於Jean-Louis Colliot-Thélène和Jean-Jacques Sansuc等人的研究，對此關聯的說明可見Peter Swinnerton-Dyer的註解。有鑑於這假設的的強度，因此或許可從此假設得到的結果會超乎預期。

**包含哥德巴赫猜想的推廣**
這假說並不能導出哥德巴赫猜想，但一個密切相關的推廣（假設HN）可導出哥德巴赫猜想。這推廣需要假定一個額外的多項式（在哥德巴赫猜想的情境下這額外的多項式是），其中

必須是質數；此外，這假說在哈巴施潭與理希的《篩法》 一書中有提及。這假設在此的形式涉及「在足夠大」的情境及

沒有固定且大於一的公因數的這條件，因此在此情境下，證明此假設就是證明存在一個，使得為一個正質數，並使得所有的都是質數。
對此假設，已知的結果並不多，但目前已有詳細的理論（見Bateman–Horn conjecture一文）。

**局部分析**
沒有固定公因數這條件是局部的，也就是隻取決於質數的；換句話說，這猜想就是有限多個沒有局部阻礙因而得以有無限多個質數值的不可約整值多項式的集合可取無限多個值。

**不成立的類比**
將原假設中的整數改成有限域上的單值多項式環的類比是錯的，像例如說，Swan在1962年（因為和欣策爾假設H無關的理由）註解到說以下在這個環上的多項式

是不可約的，且沒有固定的質多項式公因數（因其在和的取值是兩個互質的多項式之故），但這多項式在上的所取的所有值都是合成多項式，將改成其他有限域，也都能找到類似的例子；因此在假定欣策爾假設H正確的狀況下，在任意有限域的多項式環上定義欣策爾假設H類比的工作上的阻礙不僅是局部的，而是完全且沒有經典類比的。

**參考資料**
 cite book | title=Prime Numbers: A Computational Perspective | url=https://archive.org/details/primenumberscomp0002cran | edition=Second | first1=Richard | last1=Crandall | author1-link=Richard Crandall | first2=Carl B. | last2=Pomerance | author2-link=Carl Pomerance | publisher=Springer-Verlag | location=New York | year=2005 | isbn=0-387-25282-7 | zbl=1088.11001 | mr=2156291 | doi=10.1007/0-387-28979-8- cite book |last=Guy | first=Richard K. | author-link=Richard K. Guy | title=Unsolved problems in number theory |url=https://archive.org/details/unsolvedproblems0003guyr | publisher=Springer-Verlag |edition=Third | year=2004 |isbn=978-0-387-20860-2 | zbl=1058.11001 - cite book | last=Pollack | first=Paul | chapter=An explicit approach to hypothesis H for polynomials over a finite field | pages=259–273 | editor1-last=De Koninck | editor1-first=Jean-Marie | editor1-link=Jean-Marie De Koninck | editor2-last=Granville | editor2-first=Andrew | editor2-link=Andrew Granville | editor3-last=Luca | editor3-first=Florian | title=Anatomy of integers. Based on the CRM workshop, Montreal, Canada, March 13–17, 2006 | location=Providence, RI | publisher=American Mathematical Society | series=CRM Proceedings and Lecture Notes | volume=46 | year=2008 | isbn=978-0-8218-4406-9 | zbl=1187.11046 - cite journal |last1=Swan |first1=R. G. |title=Factorization of Polynomials over Finite Fields |journal=Pacific Journal of Mathematics |volume=12 |issue=3 |year=1962 |pages=1099–1106 |doi=10.2140/pjm.1962.12.1099 |url=https://projecteuclid.org/euclid.pjm/1103036322 |doi-access=free 

**外部連結==