素数ギャップとは、連続する2つの素数間の差のことである。n番目の素数ギャップはg nまたはg ( p n )と表記され、( n  + 1)番目とn番目の素数間の差である

g n = p n +1p n

g 1 = 1g 2 = g 3 = 2g 4 = 4です素数ギャップの( g n ) は広く研究されてきましたが、多くの疑問や推測が未だに解明されていません。

最初の 60 個の素数ギャップは次のとおりです。

1、2、2、4、2、4、2、4、6、2、6、4、2、4、6、6、2、6、4、2、6、4、6、8、4、2、4、2、4、14、4、6、2、10、2、6、6、4、6、6、2、10、2、4、2、12、12、4、2、4、6、2、10、6、6、6、2、6、4、2、... (OEIS のシーケンスA001223 )

g nの定義により、すべての素数は次のように表される。

単純な観察

最初で最小かつ唯一の奇数素数ギャップは、唯一の偶数素数である2と最初の奇数素数である3との間のギャップであり、長さは1です。その他の素数ギャップはすべて偶数です。長さが2の連続するギャップは1組のみ存在します。それは、素数3、5、7の間の ギャップg 2g 3です。

任意の整数 nに対して階乗 n !はn以下のすべての正の整数の積である。そして、数列

最初の項は2で割り切れ、2番目の項は3で割り切れ、などとなる。したがって、これはn − 1個の連続する合成整数の列であり、長さが少なくともnである素数間のギャップに属していなければならない。したがって、素数間のギャップは任意の大きさである。つまり、任意の整数Nに対して、 g mNとなる整数mが存在する。

しかし、 n個の数の素数ギャップは、n !よりもはるかに小さい数にも発生することがあります。例えば、14より大きい数の最初の素数ギャップは、素数523と541の間に発生しますが、15!はそれよりもはるかに大きい数1307674368000です。

素数間の平均ギャップは、これらの素数の自然対数とともに増加するため、素数ギャップと含まれる素数の比は減少し(漸近的にゼロになる)、これは素数定理の結果である。経験的な観点から、ギャップの長さと自然対数の比が一定の正の数k以上である確率はe kであると予想される。したがって、この比は任意の大きさになり得る。実際、ギャップと含まれる整数の桁数の比は無限に増加する。これは、Westzynthiusによる結果である。[1]

逆に、双子素数予想では、無限個の整数nに対してg n = 2が成り立つと仮定します

数値結果

通常、比g n / ln( p n )はギャップg nのメリットと呼ばれます。非公式には、ギャップg nのメリットは、ギャップの大きさをp n近傍の素数ギャップの平均サイズと比較した比率と考えることができます

プライムギャップの終端が特定されている最大の既知のプライムギャップの長さは16 045 848385 713桁の素数があり、メリットM = 18.067は、2024年3月にアンドレアス・ホグルンドによって発見されました。[2]ギャップの端に素数が特定されている最大の素数ギャップの長さは1 113 106と功績25.90、P. Cami、M. Jansen、JK Andersenによって発見された18662桁の素数。[ 3 ] [4]

2022 年 9 月現在、Gapcoin ネットワークによって発見された、既知の最大のメリット値であり、メリットが 40 を超える最初の値は 41.93878373 で、87 桁の素数 2​9​3​7​0​3​2​3​4​0​6​8​0​2​2​5​9​0​1​5​8​7​2​3​7​6​6​1​0​4​4​1​9​4​6​3​4​2​5​7​0​9​0​7​5​5​7​4​8​1​1​7​6​2​0​9​8​5​8​8​7​9​8​2​1​7​8​9​5​7​2​8​8​5​8​6​7​6​7​2​8​1​4​3​2​2​7 となります。この素数と次の素数との差は8350である。[5] [6]

クラメール・シャンクス・グランヴィル比は、 g n / (ln p n ) 2 の比である[5]素数2、3、7におけるこの比の異常に高い値を除外すると、この比の最大値は素数1693182318746371における0.9206386となる。比較のために、Gapcoinネットワークによって発見されたギャップ(メリット41.938784)は、このインデックスでは0.205879136という値しか得られない。その他のレコード用語は、 OEIS : A111943で確認できる

g n が最大ギャップであるとは、すべてのm < nに対してg m < g nとなる場合を言う。2025年11月現在、最大最大素数ギャップは長さ1676で、ブライアン・ケーリッグによって発見された。これは83番目の最大素数ギャップであり、素数20733746510561442863の後に発生する。[10]その他の(最大)ギャップサイズの記録はOEIS : A005250に掲載されており、対応する素数p nはOEIS : A002386nの値はOEIS : A005669に掲載されている。n番目素数までの最大ギャップの列は、約2 ln n項を持つと推測される[11]

さらなる結果

上限

1852 年に証明されたベルトランの公理によれば、kと 2 kの間には常に素数が存在し、特にp n +1 < 2 p n、つまりg n < p nとなります。

1896年に証明された素数定理によれば、素数pと次の素数の間の平均距離は、十分に大きな素数に対して、 pの自然対数ln( p )に漸近する。実際の距離はこれよりはるかに長かったり短かったりする可能性がある。しかし、素数定理から、距離は素数の数に比例して任意に小さくなることが分かる。つまり、商は

言い換えれば(極限の定義により)、すべてのϵ > 0に対して、すべてn > Nに対して

ホーハイゼル(1930)は定数θ < 1 が存在し、

したがって、

十分に大きい nの場合

ホーハイゼルはθの可能な値として32999/33000を得た。これはハイルブロン[ 13]によって249/250に改良され、チュダコフ[ 14]によって任意のε >0に対してθ = 3/4 + εに改良された。

大きな改善はインガム[ 15]によるもので、彼はある正の定数cに対して、

もし、その後、任意の

ここで、O大文字の O 記法ζ はリーマンゼータ関数π は素数関数を表します。c > 1/6許容されることからθ は5/8 より大きい任意の数になり得ることがわかります。

5/8+ ε < 2/3であり、連続する立方体間の隙間が のオーダーであることから、 nが十分に大きい場合、n 3( n + 1) 3の間には常に素数が存在することになります[16] 2016年に、DudekはInghamの結果の明示的なバージョンを示しました。つまり、すべての に対して、連続する立方体の間には素数が存在するということです[17]

リンデレフ予想は、インガムの公式が任意の正数cに対して成立することを意味する。しかし、これだけでは、 nが十分に大きい場合、 n 2( n + 1) 2の間に素数が存在することを示唆するには不十分であるルジャンドル予想を参照)。これを検証するには、クラメール予想のようなより強力な結果が必要となる。

1972年にハクスリーはθ = 7/12 = 0.58 3を選択できることを示した[18]

2001年にベイカー、ハーマンピンツが行った結果によると、 θは0.525とすることができることが示されています。[19]

上記はすべてのギャップの極限を述べたものですが、もう一つ興味深いのはギャップの最小サイズです。双子素数予想は、サイズ2のギャップが常に複数存在することを主張していますが、未だ証明されていません。2005年、ダニエル・ゴールドストンヤノシュ・ピンツジェム・ユルドゥルムは、

そして2年後にこれを改良した[ 20]

2013年にYitang Zhang

は、7000万を超えないギャップが無限に存在することを意味する。[21]ポリマスプロジェクトの共同作業により、張の境界を最適化することで、2013年7月20日に境界を4680まで下げることができた。[22] 2013年11月、ジェームズ メイナードは、 GPYふるいの新しい改良を導入し、境界を600まで下げ、また、m離れた素数間のギャップがすべてのmについて有界であることを示した。つまり、任意のmについて、無限個のnに対してpn + m − pn ≤ Δmなるよう境界Δm存在する[ 23 ]メイナードアイデア使用、ポリマス プロジェクトは境界を246まで改善した。[22] [24]エリオット–ハルバースタム予想とその一般化形を仮定すると、境界はそれぞれ12と6に削減された。[22]

下限

1931年、エリック・ヴェスティンティウスは、最大素数間隔は対数的ではなくそれ以上に大きくなることを証明した。つまり、[1]

1938年、ロバート・ランキンは定数c > 0の存在を証明し、その不等式は

はnの無限の値に対して成り立ち、ヴェストジンティウスとポール・エルデシュの結果を改善した。彼は後に、γをオイラー・マスケローニ定数とすると、定数c < e γの任意の値をとることができることを示した。定数cの値は1997年に2 e γ未満の任意の値に改良された[25]

ポール・エルデシュは、上記の不等式における定数cが任意の大きさに取れることを証明または反証した者に1万ドルの賞金を提供すると発表しました。 [26]これは2014年にフォード・グリーン・コニャギン・タオと、独立にジェームズ・メイナードによって正しいことが証明されました。[27] [28]

結果はさらに改善され、

フォード・グリーン・コニャギン・メイナード・タオによる無限個のnの値に対する等式[29]

エルデシュの当初の賞の精神に倣い、テレンス・タオは、この不等式においてcを任意に大きくとることができることを証明した人に1万ドルの賞金を提示した。 [30]

素数連鎖の下限値も決定されている。[31]

素数間のギャップに関する予想

上で説明したように、ギャップのサイズに関する最も証明された境界はg np n 0.525です(n が十分に大きい場合。5 − 3 > 3 0.525または29 − 23 > 23 0.525については心配する必要はありません)。しかし、最大ギャップでもそれよりも大幅に小さいことが観察されており、証明されていない推測が大量に生じています。

最初のグループは指数をθ = 0.5まで減らすことができると仮定します。

連続する完全平方数の間には常に素数が存在するというルジャンドルの予想と、連続する素数の平方根の差は1で制限されるというアンドリカの予想[32]は、次のことを意味している。

オッパーマンの予想は、十分に大きなn(おそらくn ≥ 31)に対して、

これらはすべて未証明のままである。 ハラルド・クラマーはリーマン予想g nギャップ

ビッグオー記法を使用する。(実際、この結果を得るには、無限に大きい指数を許容できるのであれば、より弱いリンデレフ仮説のみが必要である。 [34]

デュデックはまた、リーマン予想を仮定した上で、クラマーの結果の明示的なバージョンをすべてのn ≥ 2に対して証明した。

プライムギャップ関数

同じ論文で、クラメールは、そのギャップははるかに小さいと推測しました。大まかに言えば、クラメールの推測は、

任意の指数θ > 0よりも遅い多重対数成長率。

クラメールのモデルは、彼が推測したように、過度に単純化されており(一部のイベントは統計的に独立しているが、それらは従属しているものと仮定している)、したがってあまり正確ではなかった(クラメールの推測を参照)が、さらに調査を進めた結果、新しいヒューリスティックが見つかり、推測が正しいという強力な証拠となった。

これは素数ギャップの観測された成長率と一致するため、同様の予想がいくつか存在する。フィルーズバクトの予想はやや強く、p n 1/ nはn厳密に減少する関数である、すなわち、

この予想が正しいとすると、すべてのn ≥ 10に対してg n < (log p n ) 2 − log p n − 1 が成り立ちます。[35] [36]これは Cramér の予想の強い形を意味しますが、GranvillePintzのヒューリスティックとは矛盾しています。[37] [38] [39] は、任意のϵ > 0に対してg n > (2 − ϵ ) e γ (log p n ) 2 > (1.1229 − ϵ )(log p n ) 2 が無限に頻繁に成り立つことを示唆しています。ここでγ はオイラー・マスケローニ定数を表します

ポリニャックの予想は、すべての正の偶数k が素数ギャップとして無限回出現するというものである。k  = 2 の場合を双子素数予想というこの予想はkの特定の値に対してはまだ証明も反証もされていない が、上述の張の結果の改良により、少なくとも 1 つの(現時点では未知である) k  ≤ 246 の値に対しては正しいことが証明されている。

算術関数として

n番目と( n  +1)番目の素数の間のgnは算術関数の一例である。この文脈では、通常dn表記され、素差関数と呼ばれる。[32]この関数は乗法関数でも加法関数でもない

参照

参考文献

  1. ^ ab Westzynthius, E. (1931)、「Über die Verreilung der Zahlen die zu den n ersten Primzahlen tilerfremd sind」、Commentationes Physico-Mathematicae Helsingsfors (ドイツ語)、5 : 1–37JFM  57.0186.02、Zbl  0003.24601
  2. ^ ATH (2024年3月11日). “Mersenneforum.orgでの発表”. Mersenneforum.org . 2024年3月12日時点のオリジナルよりアーカイブ。
  3. ^ Andersen, Jens Kruse. 「The Top-20 Prime Gaps」. 2019年12月27日時点のオリジナルよりアーカイブ2014年6月13日閲覧。
  4. ^ Andersen, Jens Kruse (2013年3月8日). 「A megagap with merit 25.9」. primerecords.dk . 2019年12月25日時点のオリジナルよりアーカイブ2022年9月29日閲覧。
  5. ^ abc Nicely, Thomas R. (2019). 「NEW PRIME GAP OF MAXIMUM KNOWN MERIT」faculty.lynchburg.edu . 2021年4月30日時点のオリジナルよりアーカイブ2022年9月29日閲覧。
  6. ^ “Prime Gap Records”. GitHub . 2022年6月11日.
  7. ^ “Record prime gap info”. ntheory.org . 2016年10月13日時点のオリジナルよりアーカイブ。 2022年9月29日閲覧
  8. ^ Nicely, Thomas R. (2019). "TABLES OF PRIME GAPS". faculty.lynchburg.edu . 2020年11月27日時点のオリジナルよりアーカイブ。 2022年9月29日閲覧
  9. ^ “Top 20 overall merits”. Prime gap list . 2022年7月27日時点のオリジナルよりアーカイブ。 2022年9月29日閲覧
  10. ^ Andersen, Jens Kruse. 「Record prime gaps」 . 2024年10月10日閲覧
  11. ^ Kourbatov, A.; Wolf, M. (2020). 「剰余クラスにおける素数間のギャップの初発生について」. Journal of Integer Sequences . 23 (Article 20.9.3). arXiv : 2002.02115 . MR  4167933. S2CID  211043720. Zbl  1444.11191. 2021年4月12日時点のオリジナルよりアーカイブ。 2020年12月3日閲覧
  12. ^ ホーハイゼル、G. (1930)。 「分析におけるプリムザールの問題」。ベルリンの学校教育アカデミー33 : 3–11 . JFM  56.0172.02。
  13. ^ HA 州ハイルブロン (1933 年)。 「ヘルン・ホーハイゼルのプリムツァルザッツ」。数学的ツァイシュリフト36 (1): 394–423土井:10.1007/BF01188631。JFM  59.0947.01。S2CID  123216472。
  14. ^ Tchudakoff, NG (1936). 「二つの隣接する素数の差について」. Mat. Sb . 1 : 799–814 . Zbl  0016.15502.
  15. ^ Ingham, AE (1937). 「連続する素数間の差について」. Quarterly Journal of Mathematics . Oxford Series. 8 (1): 255– 266. Bibcode :1937QJMat...8..255I. doi :10.1093/qmath/os-8.1.255.
  16. ^ Cheng, Yuan-You Fu-Rui (2010). 「連続する立方体間の素数の明示的推定」Rocky Mt. J. Math 40 : 117–153 . arXiv : 0810.2113 . doi : 10.1216/rmj-2010-40-1-117. S2CID  15502941. Zbl  1201.11111.
  17. ^ Dudek, Adrian (2014年1月17日)、「立方体間の素数の明示的な結果」arXiv、doi :10.48550/arXiv.1401.4233、arXiv:1401.4233 、 2025年11月6日取得
  18. ^ Huxley, MN (1972). 「連続する素数間の差について」. Inventiones Mathematicae . 15 (2): 164– 170. Bibcode :1971InMat..15..164H. doi : 10.1007/BF01418933 . S2CID  121217000.
  19. ^ Baker, RC; Harman, G.; Pintz, J. (2001). 「連続する素数間の差 II」(PDF) .ロンドン数学会報. 83 (3): 532– 562. CiteSeerX 10.1.1.360.3671 . doi :10.1112/plms/83.3.532. S2CID  8964027. 
  20. ^ ゴールドストン、ダニエル A.;ピンツ、ヤーノス。ユルドゥルム、ジェム・ヤルシン(2010)。 「タプルの素数 II」。アクタ・マセマティカ204 (1 ) : 1–47.arXiv : 0710.2728 土井:10.1007/s11511-010-0044-9。S2CID  7993099。
  21. ^ Zhang, Yitang (2014). 「素数間の境界ギャップ」Annals of Mathematics . 179 (3): 1121– 1174. doi : 10.4007/annals.2014.179.3.7 . MR  3171761.
  22. ^ abc 「素数間の境界ギャップ」。Polymath. 2020年2月28日時点のオリジナルよりアーカイブ。 2013年7月21日閲覧
  23. ^ メイナード, ジェームズ(2015年1月). 「素数間の小さな隙間」Annals of Mathematics . 181 (1): 383– 413. arXiv : 1311.4600 . doi : 10.4007/annals.2015.181.1.7 . MR  3272929. S2CID  55175056.
  24. ^ DHJ Polymath (2014). 「セルバーグふるいの変種と多数の素数を含む有界区間」.数学科学研究. 1 (12) 12. arXiv : 1407.4897 . doi : 10.1186/s40687-014-0012-7 . MR  3373710. S2CID  119699189.
  25. ^ Pintz, J. (1997). 「連続する素数間の非常に大きなギャップ」. J. Number Theory . 63 (2): 286– 301. doi : 10.1006/jnth.1997.2081 .
  26. ^ エルデシュ、ポール;ボロバス、ベラ。トマソン、アンドリュー編。 (1997年)。組み合わせ論、幾何学、確率: Paul Erdős へのトリビュート。ケンブリッジ大学出版局。 p. 1.ISBN 9780521584722. 2022年9月29日時点のオリジナルよりアーカイブ2022年9月29日閲覧。
  27. ^フォード ,ケビン; グリーン, ベン; コニャギン, セルゲイ; タオ, テレンス (2016). 「連続する素数間の大きなギャップ」. Ann. of Math. 183 (3): 935–974 . arXiv : 1408.4505 . doi :10.4007/annals.2016.183.3.4. MR  3488740. S2CID  16336889.
  28. ^ メイナード、ジェームズ (2016). 「素数間の大きなギャップ」. Ann. of Math. 183 (3): 915–933 . arXiv : 1408.5110 . doi : 10.4007 /annals.2016.183.3.3. MR  3488739. S2CID  119247836.
  29. ^ フォード, ケビン; グリーン, ベン; コニャギン, セルゲイ; メイナード, ジェームズ; タオ, テレンス (2018). 「素数間の長いギャップ」. J. Amer. Math. Soc. 31 (1): 65– 105. arXiv : 1412.5029 . doi :10.1090/jams/876. MR  3718451. S2CID  14487001.
  30. ^ Tao, Terence (2014年12月16日). “Long gaps between primes / What's new”. 2019年6月9日時点のオリジナルよりアーカイブ。 2019年8月29日閲覧
  31. ^ フォード、ケビン、メイナード、テレンス・タオ(2015年10月13日)「素数間の大きなギャップの連鎖」arXiv : 1511.04468 [math.NT].
  32. ^ ab ガイ (2004) §A8
  33. ^ Cramér, Harald (1936). 「連続する素数間の差の大きさの順序について」. Acta Arithmetica . 2 : 23–46 . doi : 10.4064/aa-2-1-23-46 .
  34. ^ Ingham, Albert E. (1937). 「連続する素数間の差について」(PDF) . Quarterly Journal of Mathematics . 8 (1). Oxford: 255– 266. Bibcode :1937QJMat...8..255I. doi :10.1093/qmath/os-8.1.255. 2022年12月5日時点のオリジナルよりアーカイブ(PDF) 。
  35. ^ Sinha, Nilotpal Kanti (2010). 「クラマー予想の一般化につながる素数の新たな性質について」arXiv : 1010.1399 [math.NT].
  36. ^ Kourbatov, Alexei (2015). 「Firoozbakhtの予想に関連する素数ギャップの上限」Journal of Integer Sequences . 18 (11) 15.11.2. arXiv : 1506.03042 .
  37. ^ Granville, Andrew (1995). 「Harald Cramérと素数の分布」(PDF) . Scandinavian Actuarial Journal . 1 : 12– 28. CiteSeerX 10.1.1.129.6847 . doi :10.1080/03461238.1995.10413946. 2015年9月23日時点のオリジナルよりアーカイブ(PDF) . 2016年3月2日閲覧 
  38. ^ グランビル、アンドリュー(1995). 「素数の分布における予期せぬ不規則性」(PDF) .国際数学者会議紀要. 第1巻. pp.  388– 399. doi :10.1007/978-3-0348-9078-6_32. ISBN 978-3-0348-9897-3. 2016年5月7日時点のオリジナルよりアーカイブ(PDF) . 2016年3月2日閲覧
  39. ^ ピンツ、ヤーノス(2007 年 9 月)。 「クラメール vs. クラメール: クラメールの素数の確率モデルについて」。関数と近似の数学的解説37 (2): 232–471土井: 10.7169/facm/1229619660

さらに読む

  • Soundararajan, Kannan (2007). 「素数間の小さな隙間:ゴールドストン=ピンツ=ユルドゥルムの研究」. Bull. Am. Math. Soc . New Series. 44 (1): 1– 18. arXiv : math/0605696 . doi :10.1090/s0273-0979-06-01142-6. S2CID  119611838. Zbl  1193.11086.
  • ミハイレスク, プレダ(2014年6月). 「加法数論におけるいくつかの予想について」(PDF) . EMSニュースレター(92): 13– 16. doi :10.4171/NEWS. hdl : 2117/17085 . ISSN  1027-488X.
  • Thomas R. Nicely著『素数に関する計算研究の成果 - 計算数論』。この参考ウェブサイトには、最初に出現した素数ギャップのリストが掲載されています。
  • ワイスタイン、エリック・W.「素差関数」。MathWorld
  • 「素差関数」。PlanetMath
  • アーミン・シャムスによる、ベルトランの予想に関するチェビシェフの定理の再拡張では、他の報告された結果のように「任意に大きな」定数は考慮されません。
  • クリス・コールドウェル『素数間のギャップ:初歩的な入門』
  • Andrew Granville、「Primes in Intervals of Bounded Length」、2013 年 11 月の James Maynard の研究までの、これまでに得られた結果の概要。
  • Birke Heeren、[1]ここでは大きなギャップを計算する方法に関する論文を見つけることができます。