ウラムの螺旋

ウィキペディア

ウラムの螺旋

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/02/03 13:31 UTC 版)

200×200のウラムの螺旋。黒点が素数を示す。素数が高密度に集まった対角線、水平線、垂線がはっきりと見て取れる。

ウラムの螺旋もしくは素数螺旋（ウラムのらせん、そすうらせん、言語によってはウラムの布とも）とは、素数の分布をある簡単なルールに従って2次元平面に並べ、可視化したものである。これにより、いくつかの二次多項式が非常に多くの素数を生成する傾向にあることが容易に示される。これは1963年、数学者のスタニスワフ・ウラムによって発見された。彼によれば学会の「長くて非常に退屈な論文」の発表の際に落書きをしていてこれを発見した^[1]。その後間もなくして、ウラムはマイロン・スタインやマーク・ウェルズと協力し、ロスアラモス国立研究所のMANIAC II（英語版）を使って65,000までの範囲の螺旋を、当時まだ初期の段階にあったコンピュータグラフィックスを使用して描いた^[1][2][3]。翌年の3月、マーティン・ガードナーがサイエンティフィック・アメリカンで連載を持っていた数学ゲームに関するコラムでウラムの螺旋について紹介し^[1]、そのコラムが掲載された号はウラムの螺旋が表紙を飾った。

サイエンティフィック・アメリカンのコラムについて補足すると^[4]、ガードナーは爬虫両棲類学者ローレンス・モンロー・クローバー（英語版）が1932年、ウラムの発見に先立つこと30年以上前にアメリカ数学会で発表した、素数を多く生成する二次多項式を発見するための素数の2次元配列の研究についても言及している。クローバーの配列はウラムのような螺旋状ではなく、方型というよりは三角形状であった^[5]。

構造

ウラムは数字の螺旋を中心の1から始めて、渦巻状に、長方形の格子状に書き下した。

そして素数に印をつけ、次の図を得た。

驚くべきことに、素数は45度の斜線に沿って並ぶ傾向があった。上に示された例に比べれば水平線や垂線はやや目立たないが、やはり明確である。

ウラムの螺旋の構成方法から、仮に奇数を黒、偶数を白と塗り分ければチェスボードのような模様になる。素数は2を除き全て奇数であるから、（2以外の）素数が黒マスにのみ存在するのは自明である。驚くべきは、黒マスの中でも素数の分布が濃いラインと薄いラインに明らかな傾向が見られることである。

より範囲を広げてウラムの螺旋を描いてみても、斜線が浮かび上がることが今までのところ確認されている。こうした模様は、最初の真ん中の数字が1でなくても同様に現れるように思われる（実際、1よりはるかに大きくできる）。このことはつまり、関数

${\displaystyle f(n)=4n^{2}+bn+c}$

4x² − 2x + 41(x = 0, 1, 2, ...)で与えられる素数を強調した。画像の下半分にある、特に目立つ平行な半直線は、4x² + 2x + 41に相当する。あるいは、元の半直線のxが負の整数の場合とも言える。

F予想はax² + bx + cのa、b、cがすべて整数であり、aが正の整数の場合を考えるものである。もし係数が1より大きい公約数を持っているか、もしくは判別式Δ = b² − 4acが平方数であるならば、この多項式は因数分解できるのでxが0, 1, 2, ...の値をとれば合成数を与える（ただし、xの取り方によっては片方の素因数が1である可能性はある。そのようなxは高々2個存在する）。さらに、a + bとcが両方とも偶数であれば、多項式はすべて偶数となり、したがって合成数である（素数2である可能性はある）。ハーディとリトルウッドはこうした場合を除外すれば、ax² + bx + c(x=0, 1, 2, ...)からは無限の素数が生成されると予想した。これはより古いブニャコフスキー予想の特殊な場合であり、現在まで証明されていない。ハーディとリトルウッドはさらに進んで、ax² + bx + cから生成される、n以下の素数の個数P(n)は次の公式で近似できると予想した。

${\displaystyle P(n)\sim A{\frac {1}{\sqrt {a}}}{\frac {\sqrt {n}}{\log n}}}$

クローバーの三角形。オイラー多項式のx²  −  x  +  41の部分を強調した。