ミルズの定数

数論におけるミルズの定数（英: Mills' constant）とは、任意の自然数 $n$ に対して

\left\lfloor A^{3^{n}}\right\rfloor

がすべて素数となる最小の正実数 $A$ のことを言う。1947年に名前の由来である William Harold Mills により、素数の間隔に関する en:Guido Hoheisel および Albert Ingham らの成果を用いてその存在が証明された^[1]。値は証明されていないものの、リーマン予想を真と仮定した場合

A = 1.3063778838630806904686144926...

（オンライン整数列大辞典の数列 A051021）

となることが知られている。

ミルズ素数[編集]

ミルズの定数から生成される素数 $a n$ はミルズ素数と呼ばれる。ミルズ素数を求めるには、適当な $a 1$ から順に $a n$ を

{a_{n-1}}^{3}<a_{n}<(a_{n-1}+1)^{3}

の範囲における最小の素数としていけばよい。Hoheisel と Ingham らによって、 $a$ が十分大きいとき $a 3$ と $(a + 1) 3$ の間には少なくとも1つの素数が存在することが証明されているため、この不等式を満足するには $a 1$ を十分大きく取ればよい。もしリーマン予想が真ならば「十分大きい」必要はなくなり、 $a 1 = 2$ としてミルズ素数

2, 11, 1361, 2521008887, ...

（オンライン整数列大辞典の数列 A051254）

および上述した $A$ が得られる。

$a$ の上界として $e e 34$ が知られている^[2]。ミルズの定数を証明するにはこれを超えるまでミルズ素数を求めればよいが、そのような検証を行うにはあまりにも大きすぎる上界のため実用的でない。参考までに、2018年時点で知られている最大の素数は $282589933 - 1$ であり、 $e e 34 \approx 2 14058779606.34...$ よりはるかに小さい。

2017年現在、リーマン予想仮定の下（ $a 1 = 2$ ）のミルズ素数は11番目までは素数であることが証明されており、その値

\displaystyle (((((((((2^{3}+3)^{3}+30)^{3}+6)^{3}+80)^{3}+12)^{3}+450)^{3}+894)^{3}+3636)^{3}+70756)^{3}+97220

は20,562桁にも及ぶ^[3]。また確率的素数としては14番目まで知られており、その値

\displaystyle ((((((((((((2^{3}+3)^{3}+30)^{3}+6)^{3}+80)^{3}+12)^{3}+450)^{3}+894)^{3}+3636)^{3}+70756)^{3}+97220)^{3}+66768)^{3}+300840)^{3}+1623568

は555,154桁にも及ぶ（オンライン整数列大辞典の数列 A108739）。

数値計算[編集]

ミルズ素数が分かればミルズの定数を計算することができる。

A\approx {a_{n}}^{1/3^{n}}.

これにより、リーマン予想仮定の下の $A$ が6,850桁まで計算されている^[4]。ミルズの定数を表す閉じた式は知られておらず、有理数かどうかも知られていない^[5]。

近似分数[編集]

ミルズの定数の近似分数を近い順に記載する。収束分数（オンライン整数列大辞典の数列 A123561）は太字で示した。

1/1, 3/2, 4/3, 9/7, 13/10, 17/13, 47/36, 64/49, 81/62, 145/111, 226/173, 307/235, 840/643, 1147/878, 3134/2399, 4281/3277, 5428/4155, 6575/5033, 12003/9188, 221482/169539, 233485/178727, 245488/187915, 257491/197103, 269494/206291, 281497/215479, 293500/224667, 305503/233855, 317506/243043, 329509/252231, 341512/261419, 353515/270607, 365518/279795, 377521/288983, 389524/298171, 401527/307359, 413530/316547, 425533/325735, 4692866/3592273, 5118399/3918008, 5543932/4243743, 5969465/4569478, 6394998/4895213, 6820531/5220948, 7246064/5546683,7671597/5872418, 8097130/6198153, 8522663/6523888, 8948196/6849623, 9373729/7175358, 27695654/21200339, 37069383/28375697, 46443112/35551055, 148703065/113828523, 195146177/149379578, 241589289/184930633, 436735466/334310211, 1115060221/853551055, 1551795687/1187861266, 1988531153/1522171477, 3540326840/2710032743, 33414737247/25578155953, ...

一般化[編集]

$\left\lfloor A^{c^{n}}\right\rfloor$ は $c = 3$ 以外でも、 $c \geq 2.106$ であれば $n = 1, 2, 3, ...$ が全て素数となる $A$ が存在する。ルジャンドル予想が真ならば $c = 2$ の場合にも $A$ が存在することが言える^[6]が、後にルジャンドル予想を仮定しない証明が与えられた^[7]。

床関数を天井関数に置き換えた $\left\lceil B^{r^{n}}\right\rceil$ でも、任意の自然数 $r \geq 3$ に対し $n = 1, 2, 3, ...$ が全て素数となる $B$ が存在することが証明されている^[8]。 $r = 3$ のとき、 $B$ は $1.24055470525201424067...$ であり、生成される素数は次の通り。

2, 7, 337, 38272739, ...

（オンライン整数列大辞典の数列 A118910）

Elsholtz はリーマン予想を仮定せずに、 $\left\lfloor A^{10^{10n}}\right\rfloor$ および $\left\lfloor B^{3^{13n}}\right\rfloor$ について $n = 1, 2, 3, ...$ が全て素数となる $A$ および $B$ の値を導いた^[9]。

$A \approx 1.00536773279814724017$
$B \approx 3.8249998073439146171615551375$

脚注[編集]

^ Mills, W. H. (1947). “A prime-representing function”. Bulletin of the American Mathematical Society 53 (6): 604. doi:10.1090/S0002-9904-1947-08849-2.
^ Dudek, Adrian W. (2016). “An explicit result for primes between cubes”. Functiones et Approximatio Commentarii Mathematici 55 (2): 177–197. arXiv:1401.4233. doi:10.7169/facm/2016.55.2.3. MR 3584567.
^ Caldwell, Chris (2006年7月7日). “The Prime Database”. Primes. 2017年5月11日閲覧。
^ Caldwell, Chris K.; Cheng, Yuanyou (2005). “Determining Mills' Constant and a Note on Honaker's Problem”. Journal of Integer Sequences 8: p. 5.4.1. MR2165330.
^ Finch, Steven R. (2003). “Mills' Constant”. Mathematical Constants. Cambridge University Press. pp. 130–133. ISBN 0-521-81805-2
^ Warren Jr., Henry S. (2013). Hacker's Delight (2nd ed.). Addison-Wesley Professional. ISBN 9780321842688
^ Matomäki, K. (2010). “Prime-representing functions”. Acta Mathematica Hungarica 128 (4): 307–314. doi:10.1007/s10474-010-9191-x.
^ Tóth, László (2017). “A Variation on Mills-Like Prime-Representing Functions”. Journal of Integer Sequences 20: p. 17.9.8. arXiv:1801.08014.
^ Elsholtz, Christian (2020). “Unconditional Prime-Representing Functions, Following Mills”. American Mathematical Monthly 127 (7): 639–642. arXiv:2004.01285. doi:10.1080/00029890.2020.1751560.

参考文献[編集]

Cheng, Yuanyou Furui 2010 (2010). “Explicit estimate on primes between consecutive cubes”. The Rocky Mountain Journal of Mathematics 40 (1): 117–153. arXiv:0810.2113. doi:10.1216/RMJ-2010-40-1-117. MR2607111.

外部リンク[編集]

Weisstein, Eric W. "Mills' Constant". mathworld.wolfram.com (英語).
Who remembers the Mills number?, E. Kowalski.
Awesome Prime Number Constant, Numberphile.

[Mills1947-1] Mills, W. H. (1947). “A prime-representing function”. Bulletin of the American Mathematical Society 53 (6): 604. doi:10.1090/S0002-9904-1947-08849-2.

[Dudek2016-2] Dudek, Adrian W. (2016). “An explicit result for primes between cubes”. Functiones et Approximatio Commentarii Mathematici 55 (2): 177–197. arXiv:1401.4233. doi:10.7169/facm/2016.55.2.3. MR 3584567.

[Caldwell2006-3] Caldwell, Chris (2006年7月7日). “The Prime Database”. Primes. 2017年5月11日閲覧。

[CaldwellCheng2005-4] Caldwell, Chris K.; Cheng, Yuanyou (2005). “Determining Mills' Constant and a Note on Honaker's Problem”. Journal of Integer Sequences 8: p. 5.4.1. MR2165330.

[Finch2003-5] Finch, Steven R. (2003). “Mills' Constant”. Mathematical Constants. Cambridge University Press. pp. 130–133. ISBN 0-521-81805-2

[WarrenJr2013-6] Warren Jr., Henry S. (2013). Hacker's Delight (2nd ed.). Addison-Wesley Professional. ISBN 9780321842688

[Matomäki2010-7] Matomäki, K. (2010). “Prime-representing functions”. Acta Mathematica Hungarica 128 (4): 307–314. doi:10.1007/s10474-010-9191-x.

[Tóth2017-8] Tóth, László (2017). “A Variation on Mills-Like Prime-Representing Functions”. Journal of Integer Sequences 20: p. 17.9.8. arXiv:1801.08014.

[9] Elsholtz, Christian (2020). “Unconditional Prime-Representing Functions, Following Mills”. American Mathematical Monthly 127 (7): 639–642. arXiv:2004.01285. doi:10.1080/00029890.2020.1751560.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

表話編歴素数の分類
生成式	フェルマー ( $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$
素数の一覧