ミルズの定数とは？わかりやすく解説

数論におけるミルズの定数（英: 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 32.537$ が知られている^[2]。ミルズの定数を証明するにはこれを超えるまでミルズ素数を求めればよいが、そのような検証を行うにはあまりにも大きすぎる上界のため実用的でない。参考までに、2024年時点で知られている最大の素数は $2136279841 - 1$ であり、 $e e 32.537 \approx 2 194901013120041.40...$ よりはるかに小さい。

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]。また2024年時点で、確率的素数としては15番目まで知られており、その値

\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)^{3}+8436308

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

数値計算

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

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

これにより、リーマン予想仮定の下の $A$ が6,850桁まで計算されている^[4]。

近似分数

ミルズの定数の近似分数を近い順に記載する。収束分数（オンライン整数列大辞典の数列 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, ...

無理性

2024年 4月30日、齋藤耕太^{[注釈 1]}によってミルズの定数が無理数であるとする論文がArXiv上に投稿された^[5]。

一般化

$\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$

脚注

[脚注の使い方]

注釈

^ 投稿当時は日本学術振興会特別研究員(PD)。2025年4月から日本大学理工学部数学科助手。

出典

^ 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.
^ Cully-Hugill, Michaela (2023). Explicit estimates for the distribution of primes (Ph.D. thesis). UNSW Canberra. doi:10.26190/unsworks/24916。
^ 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.
^ Saito, Kota (30 April 2024). "Mills' constant is irrational". arXiv:2404.19461 [math.NT]。
^ 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.

[5] 投稿当時は日本学術振興会特別研究員(PD)。2025年4月から日本大学理工学部数学科助手。

[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.

[Cully-Hugill2023-2] Cully-Hugill, Michaela (2023). Explicit estimates for the distribution of primes (Ph.D. thesis). UNSW Canberra. doi:10.26190/unsworks/24916。

[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.

[6] Saito, Kota (30 April 2024). "Mills' constant is irrational". arXiv:2404.19461 [math.NT]。

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

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

[Tóth2017-9] 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.

[10] 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]

[注釈 1]

[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$ ) 四次 ( $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$ ) 置換可能循環切り捨て可能ストロボグラマティック素数 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$
素数の一覧

ミルズの定数とは？ わかりやすく解説