ウラムの螺旋

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

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

1. 構造
-----

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

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

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

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

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

を考え、ここで//n//を{1, 2, 3, ...}と動くものとし、また//b//、//c//を整数とするとき、大多数の場合と比べて多くの素数を生成するような整数の組//b//、//c//が多く存在することを示唆している。

この特徴的とも言えるパターンが確認されているにも拘らず、未だにこれだけの手掛かりしか得られていない。

以下の表は基準 1 からみたときの出現する数の特徴である。

{|class="wikitable" style="text-align:center"!方向!!具体的な数!!数の形!!オンライン数列!!素数列 |- !右横 |2, 11, 28, 53, 86, 127, 176, 233, 298,…|| 4//n// −3//n// + 1 || || |- !右上 |3, 13, 31, 57, 91, 133, 183, 241, 307,…|| 4//n// −2//n// + 1 || || |- !上 |4, 15, 34, 61, 96, 139, 190, 249, 316,…|| 4//n// −//n// + 1 || || |- !左上 |5, 17, 37, 65, 101, 145, 197, 257, 325,…|| 4//n// + 1 || || |- !左横 |6, 19, 40, 69, 106, 151, 204, 265, 334,…|| 4//n// + //n// + 1 || || |- !左下 |7, 21, 43, 73, 111, 157, 211, 273, 343,…|| 4//n// + 2//n// + 1 || || |- !下 |8, 23, 46, 77, 116, 163, 218, 281, 352,…|| 4//n// + 3n + 1|| || |- !右下 |9, 25, 49, 81, 121, 169, 225, 289, 361,…||  || || |- |}

2. ハーディ・リトルウッドのF予想
------------------

ゴッドフレイ・ハロルド・ハーディとジョン・エデンサー・リトルウッドは1923年のゴールドバッハの予想に関する論文の中でいくつかの予想を述べているが、その中にはもし真であればウラムの螺旋の特に目立つ特徴について説明を与える可能性があるものが含まれている。ハーディとリトルウッドが“F予想”と呼ぶこの予想は、ベイトマン・ホーン予想の特殊な場合であり、//ax//2  +  //bx//  +  //c//の形をした素数の個数の漸近式について主張するものである。ウラムの螺旋の中央部から生じる、水平線と垂線に対し45°の角度をなす半直線上に乗る数字は4//x//2  +  //bx//  +  //c//で表すことができ、ここに//b//は偶数である。水平もしくは垂直な半直線の上に乗る数字は先述の公式で//b//が奇数の場合である。F予想は、こうした半直線上に乗る素数の密度を見積もる公式を与える。これは半直線によって密度が相当ばらつくことを示唆している。とりわけ、密度は判別式//b//2  − 16//c//にかなり左右される。

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

ただし、ここで//A//は//a//、//b//、//c//に依存するが、//n//からは独立な値である。素数定理によれば、公式の//A//を1とすれば、//n//以下の整数のうち素数が占める密度と、//ax//2  +  //bx//  +  //c//により生成される//n//以下の素数の密度は漸近的に等しいということになる。しかし//A//の値は1以上も1以下も取りうるので、この予想によればいくつかの多項式はより多く素数を生成し、他はより少ない。非常に多くの素数を生成する多項式として4//x//2  − 2//x//  + 41があり、これはウラムの螺旋において視覚的に目立つ半直線を形成する。この多項式の場合、定数//A//は約6.6であり、予想によればこの多項式から生成される//n//以下の整数の集合と、同じ個数だけランダムに//n//以下の整数を集めた集合を比較した場合、前者のほうが約7倍も素数を含んでいることを示している。この多項式はレオンハルト・オイラーの素数生成多項式//x//2  −  //x//  + 41と密接な関係があり、オイラーの式の//x//を2//x//で置き換えるか、//x//を偶数に限定することで得られる。

ハーディ・リトルウッドの予想では式中の//A//は以下の式で与えられる。

ただし、//p//は//a//と//b//の両方を割り切るような素数であり、は//a//を割りきらないような奇素数である。εは、//a//  +  //b//が奇数であれば1、//a//  +  //b// が偶数であれば2である。はルジャンドル記号である。現在までに知られている最大の//A//は約11.3で、ヤコブソンとウィリアムズによって発見された。

3. 亜種
-----

3.1. クローバーの三角形
--------------

クローバーが1932年の論文で言及したのは三角形状で、//n//行目が2  + 1から//n//2までの数字で構成されている。ウラムの螺旋と同じように、二次多項式によって生成される数は直線をなす。垂線上の数字は//k//2  −  //k//  +  //M//の形で書くことができる。素数の密度が高い垂線や斜線は図から明らかである。

3.2. 正三角ウラムの螺旋
--------------

正三角形上に自然数を並べたもの。

3.3. 六角ウラムの螺旋
-------------

正六角形上に自然数を並べたもの。

3.4. サックスの螺旋
------------

ロバート・サックスは1994年にウラムの螺旋の亜種を考案した。ウラムの螺旋が四角の螺旋状だったのに対して、サックスの螺旋はアルキメデスの螺旋状に非負の整数を並べ、1周ごとに平方数が来るようにする。オイラーの素数生成多項式//x//2  −  //x//  + 41は//x//の値が0, 1, 2, ...と動くとき、1本のカーブとして現れる。曲線は図の左半分側にて、漸近的に水平線に近づいていく。

もしくは、極座標表示で

と表される。

3.5. 約数の数を表すウラムの螺旋
------------------

ウラムの螺旋に合成数を加えるとさらなる構造が見えてくる。1は自分自身しか約数を持たない。全ての素数は自分自身と1しか約数を持たない。合成数は少なくとも3つの約数を持つ。点の大きさを対応する数字の約数の数で表現し、素数を赤、合成数を青とすると、このような図が現れる。

上記の六角ウラムの螺旋も、影の濃さで約数の数が表現されている。

4. 脚注
-----

5. 参考文献
-------

last = ガードナー .
last = ガードナー .
last1 = ハーディ .
last=ホフマン .
last1 = スタイン .
last1 = スタイン .

6. 外部リンク
--------

iFuR97YcSLM。ジェームス・グリム博士とノッティンガム大学による映像。
3K-12i0jclM。ジェームス・クレウェット博士とノッティンガム大学による映像。