双子素数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

双子素数(ふたごそすう、twin prime)とは、差が 2 である2つの素数の組のことである。2 と 3 の組を除くと、双子素数は最も近い素数の組である。双子素数の例としては、3 と 5 、11 と 13、857 と 859 などがある。

双子素数の予想[編集]

素数が無数に存在することは古代ギリシャ時代からほぼ分かっており、ユークリッドの『原論』に証明がある。これに対し、双子素数は無数に存在するかという問題、いわゆる「双子素数の予想」や「双子素数の問題」は、いまだに数学上の未解決問題である。無数に存在するだろう、とは、多くの数論学者が予想している。

双子素数問題そのものについては、古代ギリシャ時代から知られていたとの記述あるいは示唆が多く見られるが、何らの確証も存在しない。文献の上で確認できるものは、 A. de Polignac (1849) の言明である。彼は双子素数予想を一般化して任意の偶数を与え、それを差とする素数の組が無数にあるか、という問題を提出している。

上からの評価式など部分的な結果があるが、その中でも漸近公式の予想は注目に値する。双子素数の組の数の漸近公式はハーディ・リトルウッド予想の一部であり、これは素数定理と似通った次のような双子素数の漸近的な分布公式を予想している。

x 以下の双子素数の組の数は、漸近的に

2C\frac{x}{(\log x)^2}、あるいは 2C\int_2^x \frac{dx}{(\log x)^2} で与えられる。後者の積分による表示式のほうがよい近似を与える。ここで、定数 C は次のような無限積で定義される。
C=\prod_{p>2} \left\{ 1-\frac{1}{(p-1)^2} \right\} =0.6601\cdots

この定数 C は「ハーディ・リトルウッド定数」の一つである。

この問題は、特に2素数の場合のゴールドバッハの予想に密接に関係しており、篩法などの研究者によって双方の研究が同時に進められてきた。

2004年5月に、「双子素数が無数に存在することの証明」と題された論文が Richard Arenstorf によって提出され[1]、上記のハーディ・リトルウッドの予想は正しいと主張したが、内容に重大な誤りがあるとして著者自身によって撤回された。

最初の20組の双子素数[編集]

(3, 5),(5, 7),(11, 13),(17, 19), (29, 31),(41, 43),(59, 61),(71, 73),(101, 103),(107, 109),(137, 139),(149, 151),(179, 181),(191, 193),(197, 199),(227, 229),(239, 241),(269, 271),(281, 283),(311, 313), …

小さい方の数はオンライン整数列大辞典の数列 A1359、大きい方の数はオンライン整数列大辞典の数列 A006512、真ん中の偶数はオンライン整数列大辞典の数列 A014574、合計の数はオンライン整数列大辞典の数列 A054735を参照。

知られている最大の双子素数[編集]

2011年12月の時点で知られている最大の双子素数は、200,700桁の 3756801695685 × 2666669 ± 1 である。これは、2011年12月分散コンピューティングプロジェクトの一つであるPrimeGridにより発見された[2]

双子素数に関する諸結果[編集]

  • (3, 5) を除く全ての双子素数は、(6n − 1, 6n + 1) に自然数 n を代入した数となっている。
  • 最初の2組を除き、双子素数の1の位は(十進法で)(1, 3), (7, 9), (9, 1) のいずれかになる。
  • x より小さな双子素数の個数は高々 O(x/(log x)2) である。したがって、pp + 2 が共に素数の場合、
    B=\sum_p \left( \frac{1}{p} +\frac{1}{p+2} \right)

(双子素数の逆数)は収束する (Brun, 1919)。この和 (1.90195…) をブルン定数と呼ぶ。素数の逆数の和は発散するので、素数の中で双子素数は、さほど多くはないといえる。また、すべての偶数は、高々 9 個の素数の積で現される 2 つの整数の差として無限通りに表すことができることもヴィーゴ・ブルンは示している (Brun, 1920)。これらの結果は篩法によるもので、篩法の最初の本格的な成果であると同時に、双子素数に関する最初の理論的な結果であり、双子素数に関する研究の出発点となった。

  • ブルン定数 B2 の2005年時点での最も正確な値は、B2 ≈ 1.902160583104… である。この値は、1016 までに現れる双子素数を使用して求められた (Sebah, 2002)。なお、1994年にブルン定数を計算する過程で P54C Pentium浮動小数点演算命令にバグが存在することが発見され、話題となった。詳しくは Pentium の項を参照。
  • 陳景潤 (Chen Jing Run) は、p + 2 が高々 2 個の素数の積となるような素数 p が無数に存在することを示している (Chen, 1966)。
  • p + 2 が高々 2 個の素数の積となるような素数 p陳素数と定義したとき、無限個の陳素数の3項等差数列が存在する(Ben Green, テレンス・タオ, 2005)。
  • (n, n + 2) が双子素数であるための必要十分条件は、4{(n − 1)! + 1} + n ≡ 0 (mod n(n + 2)) である (Clement, 1949)。
  • 2005年、D. Goldston-J. Pintz-C. Yildirim により次のことが証明された。\liminf_{n\to \infty} \frac{p_{n+1} -p_n}{\log p_n} =0
  • 2013年4月17日に、ニューハンプシャー大学英語版張益唐中国語版 (Zhang Yitang) は、「隣り合った素数の隔たりが、7千万以下のものが無数組存在する」ことを証明した論文「Bounded Gaps Between Primes」を発表し、Annals of Mathematicsアクセプトされた[3]。つまり、\liminf_{n\to\infty} (p_{n+1}-p_n )<7\times 10^7。なお,張益唐の定理に先行する主要な研究結果の詳細解説がテレンス・タオらによって与えられている[4]
  • 2013年、ジェームズ・メイナードとテレンス・タオが、連続した整数を 600 ごとに区切ると素数が2個含まれる場合が無数にあり[5]、3個では区間の幅は39万5122であり、個数と区間の幅との関係を証明した。これは張益唐の「7000万ごと」を大幅に小さくする成果である[6][7][8]。 
  • 2014年12月現在、張益唐が与えた7千万という間隔は246まで狭められている。すなわち、間隔が246以内である素数の組が無限個存在する[9]

脚注[編集]

  1. ^ Proof of Infinitely many Twin Primes
  2. ^ PrimePages, The Prime Database: 3756801695685*2^666669-1
  3. ^ Bounded gaps between primes|Annals of Mathematics
  4. ^ Tao, Terence (2013-06-03), The prime tuples conjecture, sieve theory, and the work of Goldston-Pintz-Yildirim, Motohashi-Pintz, and Zhang 
  5. ^ 別の表現をすると「素数が2個含まれる連続した 600 の整数の組の最大値は存在しない」
  6. ^ “素数の新定理発見 極端な偏りなく分布 米英数学者「夢のような成果」”. スポーツニッポン. (2014年2月26日). http://www.sponichi.co.jp/society/news/2014/02/26/kiji/K20140226007668140.html 2014年12月6日閲覧。 
  7. ^ “素数の間隔で新定理発見 極端な偏りなく分布、米英数学者”. 47NEWS. (2014年2月26日). http://www.47news.jp/CN/201402/CN2014022601001180.html 2014年12月6日閲覧。 
  8. ^ “素数の間隔で新定理発見 極端な偏りなく分布、米英数学者”. 琉球新報. (2014年2月26日). http://ryukyushimpo.jp/news/storyid-220227-storytopic-1.html 2014年12月6日閲覧。 
  9. ^ Klarreich, Erica (2014-12-10), Prime Gap Grows After Decades-Long Lull, QUANTA magazine, https://www.quantamagazine.org/20141210-prime-gap-grows-after-decades-long-lull/ 2016年1月14日閲覧。 

参考文献[編集]

  • A. de Polignac, Six propositions arithmetiques deduites de crible d'Eratosthenes, Nouv. Ann. Math., 8 (1849), 423-429.
  • V. Brun, Le crible d'Erathostene et la theoreme de Goldbach, Videnskapsselskapets Skrifter Kristiania, Mat.-nat. K1. 1920, No. 3, 36 pages.
  • J. R. Chen, On the representation of a large even integer as the sum of a prime and the product of at most two primes, I, Sci. Sinica, 16(1973), 157-176 and II, ibid. 21(1978), 421-430.
  • 本橋洋一,解析的整数論 I -- 素数分布論 --,朝倉書店,東京 2009 (第2刷 2012:加筆含む)ISBN 978-4-254-11821-6
  • 本橋洋一,篩法概観,日本数学会「数学」57 (2005), 138-163.
  • 日本数学会市民講演 ”素数の翼に乗って” http://mathsoc.jp/publication/tushin/1001/motohashi.pdf
  • H. Davenport, Multiplicative Number Theory, 3rd edition, Springer-Verlag, 2002.
  • H. Halberstam and H. E. Richert, Sieve Methods, Academic Press, 1974.
  • M. B. Nathanson, Additive Number Theory: The Classical Bases, Springer-Verlag, 1996.
  • P. Sebar, Counting twin primes and Brun's constant new computation, NMBRTHRY@listserv.nodak.edu mailing list, 2002

関連項目[編集]

外部リンク[編集]