スキューズ数（スキューズすう、Skewes number）は、南アフリカの数学者スタンレー・スキューズが素数の個数に関する研究において用いた、極めて大きな数である。具体的には、 以下の素数の個数 および 対数積分 について、 を満たす最小の自然数 の上界としてスキューズが与えた数を指すが、このような 自体を指すこともある。2021年時点で、このような は 1019 より大きく 1.3972 × 10316 未満であることが知られているが、正確な値は不明である。
歴史 素数定理によれば、 は漸近的に に等しい。実際の値を比較すると、現実的に計算が実行可能な程度に が小さいあいだは常に の方が大きいように見える。このことから、 となる が存在するか、という問題が自然に考えられる。ガウスやリーマンはそのような は存在しない、と予想していた。スキューズの指導教官であるリトルウッドは、1914年の論文において、そのような が存在することのみならず、 の符号は無限回変わることを示した。すなわち、 と は無限回抜きつ抜かれつするのである。しかし、リトルウッドの証明は、いつ初めて が を追い抜くか、という見積もりを与えるようなものではなかった。
スキューズは、1933年の論文において、リーマン予想が真であるとの仮定の下に、 となる は、次の数以下に存在することを証明した。
これがオリジナルのスキューズ数であり、第一スキューズ数とも呼ばれる。
後にグラハム数などにその座を譲ることになるが、当時としては意味のある数学的議論に登場する最大の数であった。なお、この見積もりは非常に大雑把なものであり、後述のように評価は大幅に改良される。
さらに、スキューズは1955年には、リーマン予想が真であると仮定することなしに、 は次の数以下に存在することを証明した。
これは第二スキューズ数と呼ばれる。よりシンプルな表現の近似 も第二スキューズ数の近似値としてしばしば用られる。
リーマン公式との関係 リーマンの公式によるとについての明示公式を与えた。その主要項は（いくつかの微妙な収束の問題を無視すれば）次のようになる。
ここで和の はゼータ関数の全ての非自明な零点をわたる。
近似式 の主な誤差項（リーマン予想を仮定すると）は であり、 は通常 より大きい。他の誤差項はそれより小さく、複素偏角も見かけ上ランダムなため、ほとんど互いに打ち消し合う。ただし、まれに偏角がいくつか揃うと の寄与を上回ることがある。
スキューズ数 が極めて大きいのは、これらの項が小さく、かつ最初の複素零点（非自明な零点）の虚部が大きいため多く（数百個）が同時に揃う必要があるからである。もし偏角がランダムであれば、 個の零点があるとき、それらの偏角が互いに打ち消さない確率はおよそ となる。
そのため、 が を上回るのは非常に稀である。また、このような現象が起こる位置を特定するには、リーマンゼータ関数の零点を数百万個規模で高精度に計算する必要がある。
ここまでの議論は厳密ではなく、リーマンゼータ関数の零点は実際にはランダムではない。事実、リトルウッドはディリクレの近似定理を用いて、多くの項の偏角がほぼ一致する状況が実際に起こり得ることを示している。
一方、リーマン予想が偽である場合は、実部が を超える零点が存在し、その零点に対応する項 は、やがて よりも大きくなり、支配的になる。
という項が現れるのは、大まかには、 が本質的には素数そのものではなく、素数の冪 を重み で数えていることによる。このとき、 は、特に素数の二乗の寄与を補正する項、すなわち二次の補正項に対応していると考えられる。
評価の改良 スキューズの与えたこれらの見積もりは非常に大きいため、より小さな評価を与える研究が進められた。それは、コンピュータを用いてリーマンゼータ関数の零点を計算することによって行われる。
上からの評価 が示したところによると、1.53 × 101165 から 1.65 × 101165 の間に となるような整数 が連続して 10500 個以上ある。
は上からの評価を約 7 × 10370 にまで下げた。
は約 1.39822 × 10316 にまで下げ、その付近に なる が少なくとも個連続して存在することを示した。また、BaysとHudsonは と の値が近づくより小さい を発見している。これらの付近に交叉が存在するかどうかは、コンピュータ計算では存在しない可能性があることが示唆されているが、完全に否定されたわけではない。
はBaysとHudsonの結果に対してわずかな改善と修正を加えた。
は交叉が存在するより狭い区間を発見した。
はSaouterとDemichelの結果を改良した。Zegowitzはこの文献で、上からの評価をに改良している。また、リーマン予想を仮定すれば、上限はまで小さくなることも示している。
は 2 個の複素零点を用いた解析を行い、付近に交叉点が存在する可能性がある計算的証拠を与えた。
+ 交叉区間 年 使用した複素零点の個数 発見者 区間 となる連続整数の個数2000 Bays, Hudson [1.39821924, 1.39821925] > 12010 Chao, Plymen [exp(727.951858), exp(727.952178)] 12010 2.2 Saouter, Demichel [exp(727.95132478), exp(727.95134682)] (without RH) [exp(727.95133239), exp(727.95133920)] (assuming RH) 6.6587 (without RH) 1.2741 (assuming RH)2010 2.2 Zegowitz [exp(727.951324783), exp(727.951346802)] (without RH) [exp(727.951332973), exp(727.951338612)] (assuming RH) 6.695531258 (without RH) 1.15527413 (assuming RH)
下からの評価
は、 においては常に であることを示した。
によって 8 × 1010 にまで更新された。
によって 1014 にまで更新された。
はに更新した。
はに更新した。
正確にいつ初めて が を追い抜くのかは、未解決の問題である。それどころか、 となる具体的な の値はひとつも知られていない。
なる のは存在しないが、 は、は正であることを示し、 はその割合がおよそ 0.00000026 であることを示した。これは、最初の例が現れるまでに極めて巨大な数まで進まなければならないことを考えると、非常に大きな値である。
出典
参考文献
関連項目 巨大数 数の比較 リーマンの素数公式
外部リンク