双子素数

数学の未解決問題
双子素数は無数に存在するか。

双子素数（ふたごそすう、英: twin prime）とは、差が 2 である二つの素数の組を構成する各素数のことである。双子素数の組は、(2, 3) を除いた、最も近い素数の組である。双子素数を小さい順に並べた列は、次の通りである。

(3, 5), (5, 7), (11, 13), (17, 19), (29, 31), …

各組の2素数の平均値（中間の偶数）は、次の通りである。3連続した数 ( $a, a+1, a+2$ ) は2と3双方の倍数を含むことから、3の倍数で唯一素数である 3 を含む (3, 5) の組である 4 以外は全て 6 (=2x3) の倍数となる。

4, 6, 12, 18, 30, 42, 60, 72, 102, 108, 138, …

双子素数の予想

数学上の未解決問題
双子素数は無限に存在するか。

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

双子素数予想が古代ギリシア時代から知られていたとの記述も一部文献に見られるが、確証は得られていない。(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), …

各組の双子素数の関数

数	OEIS
小さいほうの数	A001359
大きいほうの数	A006512
平均値の偶数	A014574
和	A054735
積	A037074

知られている最大の双子素数

2020年7月現在で知られている最大の双子素数は、388,342 桁の $2996863034895 \times 2 1290000 \pm 1$ である。これは、2016年 9月に分散コンピューティングプロジェクトの一つである PrimeGrid により発見された^[2]。

双子素数に関する諸結果

$(3, 5)$ を除く全ての双子素数は $(6 n - 1, 6 n + 1)$ （ $n$ は特定の自然数）の形であり、これは $(3, 5)$ を除く双子素数同士の和が、常に12の倍数であることを意味する。
最初の2組を除き、双子素数の一の位は（十進法で） $(1, 3), (7, 9), (9, 1)$ のいずれかである。
$x$ より小さな双子素数の個数は高々 $O\left(x/(\log x)^{2}\right)$ である。したがって、 $p$ と $p + 2$ がともに素数の場合、次式は収束する (Brun, 1919)。
$B_{2}=\sum _{p}\left({\frac {1}{p}}+{\frac {1}{p+2}}\right)$ （双子素数の逆数和）

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

ブルン定数 $B 2$ の2005年時点での最も正確な値は、 $B 2 = 1.902160583104\dots$ である。この値は、 $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 \equiv 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千万以下のものが無数組存在する」こと、言い換えると
$\liminf _{n\to \infty }(p_{n+1}-p_{n})<7\times 10^{7}$

を証明した論文 “Bounded Gaps Between Primes” を発表し、Annals of Mathematics にアクセプトされた^[3]。なお，張益唐の定理に先行する主要な研究結果の詳細解説がテレンス・タオらによって与えられている^[4]。

2013年、張益唐の結果から数か月後、ジェームズ・メイナードとテレンス・タオがそれぞれ独立に、素数をm個含む連続した整数の区間が無数に存在する条件を解明した。区間の幅はmに依存する。例としてm=2である場合、連続した整数を $600$ ごとに区切ると素数が2個含まれる場合が無数にあり^[5]、m=3とすると、素数を3個含み39万5122の幅を持つ区間が無数に存在する。これは張益唐の「7000万ごと」を大幅に小さくする成果である^[6]^[7]^[8]。メイナードはこの発見を含む業績により2022年のフィールズ賞を受賞した^[9]。
2014年12月現在、張益唐が与えた7千万という間隔（上記のm=2である場合の区間の幅）は $246$ まで狭められている。すなわち、間隔が $246$ 以内である素数の組は無数に存在する^[10]。

脚注

[脚注の使い方]

参考文献

de Polignac, Alphonse (1849). “Six propositions arithmologiques déduites du crible d'Ératosthène”. Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale 8: 423-429.
BRUN, V. (1920). “Le crible d'Eratosthene et le theoreme de Goldbach”. Videnskaps. Skr., Mat. Natur. Kl. Kristiana (3).
JING-RUN CHEN (1973). “ON THE REPRESENTATION OF A LARGER EVEN INTEGER AS THE SUM OF A PRIME AND THE PRODUCT OF AT MOST TWO PRIMES”. Scientia Sinica 16 (2): 157-176. doi:10.1360/ya1973-16-2-157. and II, ibid. 21(1978), 421-430.
本橋洋一『解析的整数論』1 (素数分布論)、朝倉書店〈朝倉数学大系 ; 1〉、2009年。国立国会図書館書誌ID:000010611029。「第2刷 2012：加筆含む」
本橋洋一「‘篩法’概観」『数学』第57巻第2号、日本数学会、2005年、138-163頁、doi:10.11429/sugaku1947.57.138。
本橋洋一「素数の翼に乗って」（PDF）『数学通信』第10巻第1号、東京 : 日本数学会、2005年5月、4-19頁、CRID 1520572358126328192、ISSN 13421387。
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, [email protected] mailing list, 2002

外部リンク

『双子素数にまつわるいくつかの話題』 - 高校数学の美しい物語
Weisstein, Eric W. "Twin Primes". mathworld.wolfram.com (英語).
Prime Pages, Top-20 Twin Primes

[1] Proof of Infinitely many Twin Primes

[2] PrimePages, The Prime Database: 2996863034895*2^1290000-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 2016年1月14日閲覧。

[5] 別の表現をすると「素数が2個含まれる連続した $600$ の整数の組の最大値は存在しない」

[6] “素数の間隔で新定理発見　極端な偏りなく分布、米英数学者”. 千葉日報オンライン. (2014年2月26日) 2022年3月19日閲覧。

[sportnippon20140226-7] “素数の新定理発見　極端な偏りなく分布　米英数学者「夢のような成果」”. スポーツニッポン. (2014年2月26日). オリジナルの2015年10月5日時点におけるアーカイブ。 2024年3月13日閲覧。

[47news20140226-8] “素数の間隔で新定理発見　極端な偏りなく分布、米英数学者”. 47NEWS. 共同通信社. (2014年2月26日). オリジナルの2014年3月2日時点におけるアーカイブ。 2024年3月13日閲覧。

[9] 国際数学連合 (2022-07-05), Fields Medals 2022, 国際数学連合 2022年7月5日閲覧。

[10] Klarreich, Erica (2014-12-10), Prime Gap Grows After Decades-Long Lull, QUANTA magazine 2016年1月14日閲覧。

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

表話編歴素数の分類
生成式	フェルマー ( $2 2 n + 1$ ) メルセンヌ ( $2 p - 1$ ) 二重メルセンヌ ( $2 2 p -1 - 1$ ) ワグスタッフ ( $(2 p + 1)/3$ ) プロス ( $k \cdot2 n + 1$ ) 階乗 ( $n! \pm 1$ ) 素数階乗 ( $p n # \pm 1$ ) ユークリッド ( $p n # + 1$ ) ピタゴラス ( $4 n + 1$ ) ピアポント ( $2 u \cdot3 v + 1$ ) Quartan（英語版） ( $x 4 + y 4$ ) ソリナス（英語版） ( $2 a \pm 2 b \pm 1$ ) カレン ( $n \cdot2 n + 1$ ) ウッダル ( $n \cdot2 n - 1$ ) Cuban（英語版） ( $(x 3 - y 3)/(x - y)$ ) キャロル ( $(2 n - 1) 2 - 2$ ) Kynea ( $(2 n + 1) 2 - 2$ ) レイランド ( $x y + y x$ ) サービト（英語版） ( $3\cdot2 n - 1$ ) ミルズ ( $[A] 3 n$ )
漸化式（英語版）	フィボナッチリュカペルニューマン–シャンクス–ウィリアムズペラン分割ベルモツキン
各種の性質	ヴィーフェリッヒ（英語版） (対（英語版）) ウォール–孫–孫（英語版）ウォルステンホルムウィルソン幸運フォーチュンラマヌジャン（英語版）ピライ正則強（英語版）スターン Supersingular (楕円曲線)（英語版） Supersingular (ムーンシャイン理論)（英語版）良いスーパーヒッグス（英語版）高度コトーティエント（英語版）
基数依存	ハッピー二面体回文エマープレピュニット ( $(10 n - 1)/9$ ) 置換可能 Circular（英語版）切り捨て可能 Strobogrammatic（英語版） Minimal（英語版）弱いフルサイクルプライム Unique（英語版） Primeval（英語版）自己スマランダチェ–ウェラン（英語版）
組	互いに素双子 ( $p, p + 2$ ) Bi-twin chain ( $n - 1, n + 1, 2 n - 1, 2 n + 1, \dots$ ) 三つ子 ( $p, p + 2$ or $p + 4, p + 6$ ) 四つ子 ( $p, p + 2, p + 6, p + 8$ ) k−Tuple いとこ ( $p, p + 4$ ) セクシー ( $p, p + 6$ ) 陳ソフィー・ジェルマン ( $p, 2 p + 1$ ) カニンガム鎖 ( $p, 2 p \pm 1, \dots$ ) 安全 ( $p, (p - 1)/2$ ) 算術数列（英語版） ( $p + an; n = 0, 1, \dots$ ) 平衡 ( $p - n, p, p + n$ )
桁数	タイタニック ( $103$ 桁以上) 巨大 ( $104$ 桁以上) メガ ( $106$ 桁以上)
複素数	アイゼンシュタイン素数（英語版）ガウス素数
合成数	擬素数概素数半素数楔数 Interprime（英語版）
関連する話題	確率的素数 Industrial-grade prime（英語版）違法素数素数の公式（英語版）素数の間隔『巨大な素数の一覧』
最初の50個	$2$ $3$ $5$ $7$ $11$ $13$ $17$ $19$ $23$ $29$ $31$ $37$ $41$ $43$ $47$ $53$ $59$ $61$ $67$ $71$ $73$ $79$ $83$ $89$ $97$ $101$ $103$ $107$ $109$ $113$ $127$ $131$ $137$ $139$ $149$ $151$ $157$ $163$ $167$ $173$ $179$ $181$ $191$ $193$ $197$ $199$ $211$ $223$ $227$ $229$
素数の一覧