メルセンヌ予想のソースを表示

[[数学]]において、'''メルセンヌ予想'''（メルセンヌよそう、{{lang-en-short|''Mersenne conjectures''}}）とは、{{math|2<sup>''n''</sup> − 1}}（''n'' は自然数）で表されるような数である[[メルセンヌ数]]のうち[[素数]]のもの（メルセンヌ素数）の特徴づけに関する予想である。

== マラン・メルセンヌによる元々のメルセンヌ予想の内容 ==
メルセンヌ予想は[[マラン・メルセンヌ]]によって「Cogitata Physica-Mathematica」（[[1644年]]発表; 例えば Dickson 1919を参照）の中で次のような形で初めて言及された。すなわち、「''n'' = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127, 257 の ''n'' に対して {{math|2<sup>''n''</sup> − 1}} は素数であり、これ以外のすべて正の整数に対しては ''n'' ≤ 257 の範囲で {{math|2<sup>''n''</sup> − 1}} は合成数である」というものであった。しかし、これらの n に対する {{math|2<sup>''n''</sup> − 1}} は、素数判定の計算をするにはあまりに巨大すぎて（例えば {{math|2<sup>257</sup> - 1}} ）、メルセンヌはそれらの数字すべてが本当に素数であるか判定をしなかったし、できなかった。ただし、17世紀当時ではメルセンヌ以外の数学者も同様にこのような巨大な数の素数判定はできなかったであろう。3世紀後、[[リュカ–レーマー・テストの証明|リュカ–レーマー・テスト]]のような新たな素数判定の技法の発見により、メルセンヌ予想は5つの間違いを含んでいることが明らかになった。まず、これらの ''n'' のうち、 ''n'' = 67, 257 の2つの場合において {{math|2<sup>''n''</sup> − 1}} は合成数であるし、''n'' = 61, 89, 107 の3つの場合において {{math|2<sup>''n''</sup> − 1}} は素数となるがメルセンヌはこれを見落としていた。正しくは、 ''n'' ≤ 257 の範囲でメルセンヌ数が素数となるような ''n'' は次の通りである。 ''n'' = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127。メルセンヌの元々の予想は間違っていた一方で、 '''新メルセンヌ予想'''（New Mersenne conjecture）と '''Lenstra–Pomerance–Wagstaff 予想'''の研究へと繋がった。

== 新メルセンヌ予想 ==
'''新メルセンヌ予想'''（New Mersenne conjecture）あるいは '''Bateman, Selfridge and Wagstaff conjecture''' (Bateman et al. 1989) とは、「任意の[[奇数|奇]]の[[自然数]] ''p'' に対して、 もし次の条件のうち2つを満たしているならば、3つめの条件も同様に満たされるであろう」というものである。

# ある自然数 ''k'' に対して、''p'' = 2<sup>''k''</sup> ± 1 あるいは ''p'' = 4<sup>''k''</sup> ± 3 ({{OEIS|id=A122834}})
# 2<sup>''p''</sup> &minus; 1 が素数 （メルセンヌ素数） ({{OEIS2C|id=A000043}})
# (2<sup>''p''</sup> + 1) / 3 が素数 （[[ワグスタッフ素数]]） ({{OEIS2C|id=A000978}})

もし ''p'' が奇の合成数であるなら、2<sup>''p''</sup>&nbsp;&minus;&nbsp;1 および (2<sup>''p''</sup>&nbsp;+&nbsp;1)/3 は両方とも合成数である。すなわち、この予想の真偽は素数判定のみで示すことができる。

現在、これら3つの条件をすべて満たす既知の数字は 3, 5, 7, 13, 17, 19, 31, 61, 127 である（{{OEIS2C|id=A107360}}）。なお、この新メルセンヌ予想は「127よりも大きい数字はこれら3つのすべての条件を満たさないだろう」ということも含む。

3つの条件のうち、少なくとも1つを満たす素数は次の通り。<br/>
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 43, 61, 67, 79, 89, 101, 107, 127, 167, 191, 199, 257, 313, 347, 521, 607, 701, 1021, 1279, 1709, 2203, 2281, 2617, 3217, 3539, 4093, 4099, 4253, 4423, 5807, 8191, 9689, 9941, ...（{{OEIS2C|id=A120334}}による数列）

なお、67と257 (67=2<sup>6</sup>+3, 257=2<sup>8</sup>+1) は元々のメルセンヌ予想に含まれていたが、一方で89と107は元々のメルセンヌ予想に含まれていなかった。そのため、メルセンヌは「ある自然数 ''k'' に対して ''p'' = 2<sup>''k''</sup> ± 1 もしくは ''p'' = 4<sup>''k''</sup> ± 3 を[[必要十分条件]]として 2<sup>''p''</sup> - 1 が素数である」というように考えていた可能性がある（{{OEIS2C|id=A122834}}）。

新メルセンヌ予想は数世紀も前のメルセンヌ予想を甦らせようという試みにも受け取られるが、そのような認識は正しくない。しかし、[http://www.mersenneforum.org/showpost.php?p=53533&postcount=3 Robert D. Silverman]によれば、[[:en:John Selfridge]]は「新メルセンヌ予想は既知のデータに合うように選ばれており、これらに対する反例は全くあり得そうにないため『明らかに真である』」と述べている。この問いかけは新メルセンヌ予想の証明の必要性に対する興味深い考察であると言える。

Renaud Lifchitzは3つの条件のうち1つを持つことが既に知られているすべての奇素数を検定することで新メルセンヌ予想が20,996,010以下のすべての整数に対して真であることを示した<ref>[http://primes.utm.edu/mersenne/NewMersenneConjecture.html The New Mersenne Prime Conjecture on Prime Pages]</ref>。[http://www.primenumbers.net/rl/nmc/ Lifchitzのウェブサイト]では20,996,010までのすべての数字の検定についてドキュメント化している。さらに、新メルセンヌ素数に関する現在の最新のニュースに関しては[http://primes.utm.edu/mersenne/NewMersenneConjecture.html The New Mersenne Prime conjecture]を参照。

== Lenstra–Pomerance–Wagstaff 予想 ==
{{仮リンク|Hendrik Lenstra|en|Hendrik Lenstra}}, [[Carl Pomerance]], {{仮リンク|Samuel S. Wagstaff Jr.|en|Samuel S. Wagstaff Jr.}} は[[メルセンヌ素数]]が無限にあることを予想した。予想は正確には、''x'' より小さいメルセンヌ素数の個数は漸近的に

:<math>e^\gamma\cdot\log \log(x)/\log(2)</math>

（&gamma; は[[オイラーの定数]]）によって近似されるというものである<ref name=heur>[http://primes.utm.edu/mersenne/heuristic.html Heuristics: Deriving the Wagstaff Mersenne Conjecture]. Primes.utm.edu. Retrieved on 2014-05-11.</ref>。言い換えると、指数 ''p'' が ''y'' 以下のメルセンヌ素数の個数は漸近的に

:<math>e^\gamma\cdot\log(y)/\log(2)</math>

と表される<ref name=heur/>。これはすなわち、与えられた(十進)桁数の自然数のうち 2<sup>''p''</sup> &minus; 1 が素数となるような ''p'' は、平均して約<math>e^\gamma\cdot\log(10)/\log(2)</math> ≈ 5.92 個存在するはずだということを意味する。

== 脚注 ==
{{reflist}}

== 参考文献 ==
*{{cite journal
 | author = [[:en:Paul T. Bateman|Bateman, P. T.]]; [[:en:John Selfridge|Selfridge, J. L.]]; [[:en:Samuel S. Wagstaff, Jr.|Wagstaff, Jr., Samuel S.]]
 | title = The new Mersenne conjecture
 | journal = [[:en:American Mathematical Monthly]]
 | volume = 96
 | year = 1989
 | pages = 125–128
 |mr=0992073
 | doi = 10.2307/2323195
 | issue = 2
 | publisher = Mathematical Association of America
 | jstor = 2323195 }}
*{{cite book
 | author = [[:en:Leonard Eugene Dickson|Dickson, L. E.]]
 | title = [[:en:History of the Theory of Numbers]]
 | publisher = Carnegie Institute of Washington
 | year = 1919
 | ol=6616242M
 | page = 31 }} Reprinted by Chelsea Publishing, New York, 1971, ISBN 0-8284-0086-5.

== 外部リンク ==
* The Prime Pages. [http://primes.utm.edu/glossary/page.php?sort=MersennesConjecture Mersenne's conjecture.]
{{素数に関する予想}}
{{デフォルトソート:めるせんぬよそう}}
[[Category:素数に関する予想]]
[[Category:数学に関する記事]]