リーマン予想

画像:RiemannCriticalLine.svg|thumb|300px|リーマンのゼータ関数 ζ(s) () の実部（赤線）と虚部（青線）。最初の非自明な零点が 1=Im s = x = ±14.135, ±21.022, ±25.011 に現れる。
軌跡をゼータ関数によって変換したもの。この軌跡は繰り返し原点を通る曲線になる。
直線の実部を変化させたときゼータ関数が描く軌跡の変化。実部が  のときに上記と同じく軌跡は繰り返し原点を通る曲線になる。
数学においてリーマン予想（リーマンよそう、Riemann hypothesis, Riemannsche Vermutung、略称:RH）は、リーマンゼータ関数の零点が、負の偶数と、実部が  の複素数に限られるという予想である。リーマン仮説とも。ドイツの数学者ベルンハルト・リーマン(1859)により提唱されたため、その名称が付いている。この名称は密接に関連した類似物に対しても使われ、例えば有限体上の曲線のリーマン予想がある。
リーマン予想は素数の分布についての結果を含んでいる。適切な一般化と合わせて、純粋数学において最も重要な未解決問題であると考える数学者もいる2000。リーマン予想は、ゴールドバッハの予想とともに、ヒルベルトの23の問題のリストのうちのlabel=第8問題の一部である。クレイ数学研究所のミレニアム懸賞問題の1つでもある。
リーマンゼータ関数 ζ(s) は 1 を除くすべての複素数 s で定義され、複素数の値をとる関数である。その零点（つまり、関数値が 0 となる s）のうち、負の偶数  はその自明な零点と呼ばれる。しかしながら、負の偶数以外の零点も存在し、非自明な零点と呼ばれる。リーマン予想はこの非自明な零点の位置についての主張である：
リーマンゼータ関数のすべての非自明な零点の実部は  である。
いいかえると、
リーマンゼータ関数のすべての非自明な零点は、複素数平面上の直線 （t は実数）上にある。ここで i は虚数単位である。この直線を臨界線 (critical line) という。
リーマン予想に関する非専門の本が何冊か存在する。

**概要**
リーマンは素数の分布に関する研究を行っている際にオイラーが研究していた以下の級数をゼータ関数と名づけ、解析接続を用いて複素数全体への拡張を行った。
ゼータ関数を次のように定義する（複素数 s の実部が 1 より大きいとき、この級数は絶対収束する）。

1859年にリーマンは自身の論文の中で、複素数全体 (s ≠ 1) へゼータ関数を拡張した場合、
と予想した。ここに、自明な零点とは負の偶数 (−2, −4, −6, …) のことである。自明でない零点は 0  1 からより大きい領域 Re s > 0 に、 の零点を除いて、拡張する（:en:ディリクレのエータ関数を参照）。ゼータ関数はこれらの除かれた値にも極限を取ることによって拡張でき、1=s = 1 における一位の極を除いて、正の実部を持つすべての s の値に対して有限値を与える。
帯 0 n は n 番目の調和数、すなわち
:
で定義される有理数である。

**素数の分布**
リーマンの素数公式(リーマンの明示公式)は、与えられた数よりも小さい素数の個数を、リーマンのゼータ関数の零点全てに渡る無限和により表すものであり、予想される位置の周りでの素数の振動の大きさがゼータ関数の零点の実部によって制御されることを述べている。特に、素数定理における誤差項は、零点の位置に密接に関係している。例えば、β が零点の実部の上界であれば、差 π(x) − Li(x) は error bound O(xβ log(x)) を持つloc=Theorem 30。 であることが既に知られているp=82。
Von Koch (1901) はリーマン予想が素数定理の誤差に対する「最良の」上界を導くことを示した。1976 による，Koch の結果の正確なバージョンによれば、リーマン予想からは

が従う、ただし π(x) は素数計数関数であり、log(x) は x の自然対数である。
はまた、リーマン予想から

が従うことを示した。ここで ψ(x) は 第二チェビシェフ関数である。
はリーマン予想から次のことが従うことを示した：任意の x ≥ 2 に対して、ある素数 p が存在して、

が成り立つ。これはクラメルの定理の明示的なバージョンである。

**数論的関数の増大**
リーマン予想は、上記の素数計数関数に加えて、他の多くの数論的関数の増大に関する強い上界も導く。
1つの例はメビウス関数 μ に関するものである。等式

が、実部が  よりも大きいすべての s に対して右辺の和が収束して成り立つという主張は、リーマン予想と同値である。このことから次のことも結論できる：Mertens functionを

によって定義すると、すべての ε > 0 に対して

が成り立つという主張は、リーマン予想と同値である（これらの記号の意味については、ランダウの記法を参照）。order n の Redheffer matrixの行列式は M(n) に等しいので、リーマン予想はこれらの行列式の増大に関する条件としても述べることができる。リーマン予想は M の増大度についてかなりきつい制限を与える、というのも 1985 がわずかに強い Mertens conjecture

を反証したからである．
リーマン予想は μ(n) の他の数論的関数の増大率についての多くの予想とも同値である。典型的な例は次の Robin's theorem 1984 である：σ(n) を

で与えられる約数関数とすると、

がすべての n > 5040 に対して成り立つことと、リーマン予想が真であることが同値である。ここで γ は Euler–Mascheroni 定数である。
別の例は Jérôme Franel によって発見され、ランダウによって拡張された1924。リーマン予想は Farey 数列の項がかなり規則的であることを示すいくつかの主張と同値である。1つのそのような同値は以下のようである：Fn を  で始まり  までの order n の Farey 数列とすると、すべての ε > 0 に対して

が成り立つという主張は、リーマン予想と同値である。ここで

は order n の Farey 数列における項の数である。
群論からの例として、g(n) を Landau's functionとする、つまり n 次の対称群 Sn の元の最大位数とする。1988 はリーマン予想が十分大きい全ての n に対する上界

と同値であることを示した．

**リンデレーフ予想とゼータ関数の増大**
リーマン予想は様々なより弱い結果も導く。その1つは Lindelöf hypothesisである。これは臨界線上のゼータ関数の増大率に関する予想で、任意の ε > 0 に対して、 のとき

が成り立つというものである。
リーマン予想はまた、臨界帯の他の領域におけるゼータ関数の増大率に対するかなり鋭い上界も与える。例えば、


を与えるので、ζ(1 + it) とその逆数の増大率は2倍の違いを除いて分かることになる1986。

**素数の間隔が大きいことの予想**
素数定理は平均的に素数 p とその次の素数の間の間隔が log p であることを意味する。しかしながら、素数間の間隔には平均よりもはるかに大きいものもある。クラメルはリーマン予想を仮定してすべての間隔が  であることを示した。これは、リーマン予想を用いて証明できる最もよい上界でさえ、正しいと思われるものよりも遥かに弱い場合である。すなわち、Cramér's conjectureはすべての間隔が O((log p)2) であることを意味しており、これは平均間隔よりは大きいが、リーマン予想から導かれる上界よりは遥かに小さいのである．数値計算はクラメルの予想を支持している1999。

**リーマン予想に同値な主張**
リーマン予想に同値な多くの主張が発見されているが、これまでのところそれらがリーマン予想を証明する（あるいは反証する）のに大きな進展をもたらしたことはない。いくつかの典型的な例は以下のようである。（他にpreserve=1 σ(n) に関するものがある。）
Riesz の判定法は 1916 によって与えられた、以下の主張である：

がすべての ε > 0 に対して成り立つこととリーマン予想が成り立つことは同値である。
はリーマン予想が真であることと次が同値であることを示した：

の形の関数全体のなす空間、ただし ρ(z) は z の小数部分で、0 ≤ θν ≤ 1 で、

は、単位区間上の二乗可積分関数全体のなすヒルベルト空間 L2(0, 1) において稠密である。1955 はこれを次を示すことで拡張した：ゼータ関数が実部が  よりも大きい零点を持たないこととこの関数空間が Lp(0, 1) において稠密であることは同値である。
はリーマン予想が真であることと次が同値であることを示した：積分方程式

は  に対して非自明な有界な解 φ を持たない。
はある関数の正値性がリーマン予想と同値であるという主張である．関連するのは Li's criterionで，ある数列の正値性がリーマン予想と同値であるという主張である。
はリーマン予想が次の主張と同値であることを証明した：ζ(s) の導関数 ζ′(s) は帯

に零点を持たない。ζ(s) が臨界線上に1位の零点しか持たないことはその導関数が臨界線上に零点を持たないことと同値である。

**一般リーマン予想の帰結**
いくつかの応用は ディリクレの L 級数や数体のゼータ関数のために、普通のリーマン予想ではなくてより一般リーマン予想を用いる。リーマンゼータ関数の多くの基本的な性質はすべてのディレクレ L関数に容易に一般化できるので、リーマンゼータ関数に対するリーマン予想を証明する手法がディレクレ L関数に対する一般リーマン予想に対してもうまく使えるというのはもっともらしい。一般リーマン予想を仮定することで始めて証明されたいくつかの結果は、後に予想の仮定を用いない証明が与えられたが、それらはたいてい予想を仮定して証明するのに比べて遙かに難しい。以下のリストにある結果の多くは 2010 から取られている。- 1913年、グロンウォールは一般リーマン予想が類数1の虚二次体の Gauss のリストが完全であることを導くことを示した。しかし後に、Baker、Stark および Heegner は、一般リーマン予想を仮定せずに証明を与えた。- 1917年、ハーディとリトルウッドは、一般リーマン予想は
: 
という Chebyshev による予想を導くことを示した。この予想はある意味で、4 を法として 3 に合同な素数は 1 に合同なものよりも多いということを言っている。- 1923年、ハーディとリトルウッドは、一般リーマン予想は奇数に対するゴールドバッハ予想の弱い形、すなわち十分大きい任意の奇数は3つの素数の和であることを導くことを示したが、1937年、Vinogradov は無条件下での証明を与えた。1997年、label=Deshouillers, Effinger, te Riele, および Zinoviev は、一般リーマン予想は5よりも大きい任意の奇数は3つの素数の和であることを導くことを示した。- 1934年、Chowla は、一般リーマン予想は次を導くことを示した：等差数列 a mod m の最初の素数はある固定された定数 K に対して高々 Km2log(m)2 である。- 1967年、Hooley は一般リーマン予想がArtin's conjecture on primitive rootsを導くことを示した。- 1973年、Weinberger は一般リーマン予想が idoneal numberの Euler のリストが完全であることを導くことを示した。- 1973 は、すべての代数体のゼータ関数に対する一般リーマン予想が次を導くことを示した：類数 1 の任意の数体は、ユークリッド整域であるか、あるいは判別式が −19, −43, −67, あるいは −163 の虚二次体である。- 1976年、G. Miller は一般リーマン予想が次を導くことを示した：数が素数であるかどうかをミラー判定法によって多項式時間で判定できる。2002年，Manindra Agrawal, Neeraj Kayal および Nitin Saxena は、一般リーマン予想の仮定を用いない彼らのAKS素数判定法で素数判定が多項式時間できることを示した。- 1990 は、一般リーマン予想を数体の判別式と類数のより鋭い評価を与えるためにどのように使うことができるかを議論した。- 1997 は一般リーマン予想が次を導くことを示した：label=Ramanujan の整二次形式 x2 + y2 + 10z2 は、ちょうど18個の例外を除いて、それが局所的に表すすべての整数を表す。

**排中律**
リーマン予想のいくつかの帰結はその否定の帰結でもあり、したがって定理である。p=359 は，Heilbronnの類数定理の彼らの議論において、次のように言っている：
一般リーマン予想が偽であるということによって何が意味されるかを理解するのに注意を払うべきである：ちょうどどのクラスのディレクレ級数が反例を持っているのか特定すべきである。
このような論法は無理数の無理数乗で表される有理数が少なくとも１つ存在すること（京都大学入試問題）の証明やワイルズによるフェルマーの最終定理の証明などにも見られる（ワイルズの3-5トリック）。

**リトルウッドの定理**
リトルウッドの定理は素数定理における誤差項の符号に関するものである。すべての x ≤ 1023 に対して π(x)  Li(x) であるような x の値は知られていない。この表を参照。
1914年、リトルウッドは次のことを証明した：

となるような任意に大きい x の値が存在し、

となるような任意に大きい x の値も存在する。したがって、差 π(x) − Li(x) は無限回符号を変える。Skewes 数は最初の符号変化に対応する x の値の評価である．
リトルウッドの証明は2つの部分からなっている。リーマン予想を偽と仮定する部分（loc=Chapt. V の約半ページ）と、リーマン予想を真と仮定する部分（約12ページ）である。

**ガウスの類数予想**
ガウスの類数予想は，与えられた類数を持つ虚二次体は有限個しかないという（ガウスの Disquisitiones Arithmeticae の article 303 において最初に述べられた）予想である．それを示す1つの方法は、判別式  のとき類数  となることを示すことである。
リーマン予想に関わる以下の定理は pp=358–361 に記されている：
定理 (Hecke; 1918). math|D 
定理 (Deuring; 1933). リーマン予想が偽ならば， が十分大きいとき h(D) > 1 である．
定理 (Mordell; 1934). リーマン予想が偽ならば、のとき  である。
定理 (Heilbronn; 1934). 一般 Riemann 予想がある虚二次 ディレクレ指標の L 関数に対して偽ならば、 のとき  である。
（Hecke と Heilbronn の仕事において、現れる L 関数は虚二次指標に付随するものだけであり、それは一般リーマン予想が真であるあるいは一般リーマン予想が偽であることが意図されているのはそれらの L 関数に対してのみである。ある三次のディレクレ指標の L 関数に対して一般 リーマン予想が成り立たなければ、一般リーマン予想は成り立たないが、これは Heilbronn が考えていたような一般リーマン予想の不成立ではなく、したがって彼の仮定は単に一般リーマン予想が偽であるというものよりも限定されていた。）
1935年、Carl Siegel はリーマン予想や一般リーマン予想を全く用いずに結果を強化した。

**Growth of Euler's totient**
1983年、label=J. L. Nicolas は、無限個の n に対して

であることを示した p=320。ただし φ(n) は Euler のトーシェント関数で，γ は Euler の定数である。
Ribenboim は次のように注意している：

**一般化と類似物**

**ディリクレの L 級数と他の代数体**
リーマンのゼータ関数を、形式的には似ているがはるかに一般的な大域的 L-関数に置き換えることによって、リーマン予想を一般化することができる。このより広い設定において、大域的 L-関数の非自明な零点の実部が  であると期待される。リーマンのゼータ関数のみに対する古典的なリーマン予想よりもむしろ、これらの一般化されたリーマン予想が、数学におけるリーマン予想の真の重要性の理由である。
一般化されたリーマン予想 (generalized Riemann hypothesis) は、リーマン予想を全てのディリクレの L-関数へ拡張したものである。とくにこの予想は、Siegel zero（ と 1 の間にある L 関数の零点）が存在しないという予想を含んでいる。
拡張されたリーマン予想 (extended Riemann hypothesis) は、リーマン予想を代数体の全てのデデキントゼータ関数へと拡張したものである。有理数体のアーベル拡大に対する拡張されたリーマン予想は、一般化されたリーマン予想と同値である。リーマン予想は代数体のヘッケ指標の L-関数へ拡張することもできる。
(grand Riemann hypothesis) は、全ての保型形式のゼータ関数（例えばHecke eigenformのメリン変換）へ拡張したものである。

**種々の結果**
リーマン予想を証明したと発表した数学者もいるが、正しい解答として受け入れられたものは2019年9月現在存在しない。2007 はいくつかの正しくない解答をリストしており、より多くの正しくない解答は頻繁に発表されている。
例えば2004年には、ルイ・ド・ブランジュが証明に成功したと発表したが後に否定された。2018年には、マイケル・アティヤが微細構造定数の導出の副産物としてリーマン予想を証明したと発表したが、多くの専門家は懐疑的に見ている。この論文は王立協会が発行する科学誌に投稿され、専門家らにより検証が進められていたものの、発表から数ヶ月を経て著者は死去、論文は撤回となった。

**作用素理論**
ヒルベルトとポリヤはリーマン予想を導出する1つの方法は自己共役作用素を見つけることであると提案した。その存在から ζ(s) の零点の実部に関する例の主張が、実固有値に主張を適用すると従うのである。このアイデアのいくつかの根拠は、零点がある作用素の固有値に対応するリーマンゼータ関数のいくつかの類似から来る：有限体上の多様体のゼータ関数の零点はエタールコホモロジー群上のフロベニウス元の固有値に対応し、セルバーグゼータ関数の零点はリーマン面のラプラス作用素の固有値であり、p進ゼータ関数|p 進ゼータ関数の零点はイデール類群へのガロワ作用の固有ベクトルに対応する。
は、リーマンゼータ関数の零点の分布はGaussian unitary ensembleから来るランダム行列の固有値といくつかの統計学的性質を共有していることを示した。これはヒルベルト–ポリヤ予想にいくらかの根拠を与える。
1999年、マイケル・ベリーとJonathan Keatingは古典ハミルトニアン 1=H = xp のある未知の量子化  が存在して、以下を満たすと予想した。

あるいはさらに強く、リーマンの零点が作用素  のスペクトルと一致する。これは正準量子化と対照的である。正準量子化はハイゼンベルクの不確定性原理  を導き、Quantum harmonic oscillatorのスペクトルとして自然数が得られる。重要な点は、ハミルトニアンは量子化がヒルベルト–ポリヤプログラムの実現であるように自己共役作用素であるべきことである。この量子力学の問題との関連で、ベリーとコンヌは以下を提案した。ハミルトニアンのポテンシャルの逆は関数

の半微分と関連があり、ベリー–コンヌのアプローチでは

. これは次のようなハミルトニアンを生み出す。固有値がリーマンの零点の虚部の平方であり、またこのハミルトニアン作用素の汎関数行列式はリーマンのクシー関数である。実はリーマンのクシー関数はコンヌらによって証明されたように汎関数行列式（アダマール積）

の定数倍であり、このアプローチでは

有限体上のリーマン予想との類似は、零点と対応する固有ベクトルを含むヒルベルト空間は整数のスペクトル Spec(Z) のある種の1次コホモロジー群かもしれないと示唆する。1998 はそのようなコホモロジー論を見つける試みのいくつかを記述した 2005。
はラプラス作用素の下でリーマンゼータ関数の零点に対応する固有値をもつ上半平面上の不変関数の自然な空間を構成した。そして、この空間上の適切な正定値内積の存在を示すというありそうもないイベントにおいてリーマン予想が従うことを注意した。1982 は関連した例を議論した。奇妙なバグによってコンピュータープログラムが同じラプラス作用素の固有値としてリーマンゼータ関数の零点をリストするのである。
はリーマンゼータ関数に関連した適切な物理模型を構成する試みのいくつかをサーベイした。

**リー–ヤンの定理**
リー・ヤンの定理は、統計力学におけるある分割関数の零点がすべて実部 0 の「臨界線」上に乗っていると述べており、これはリーマン予想との関係についての推測をもたらした 1999。

**トゥランの結果**
は次のことを示した。関数

が s の実部が 1 よりも大きいときに零点をもたないならば、

となる。ここで λ(n) はLiouville functionで、n が r 個の素因子をもつとき (−1)r によって与えられる。彼はこのことからリーマン予想が真であることが導かれると示した。しかしながら、1958 は T(x) は無限個の x で負であること示し（また密接に関連したポリア予想も反証し）、2008 は最小のそのような x は 205 であることを示した。1968 は数値計算によって、上の有限ディリクレ級数が 1=N = 19 のときに実部が 1 よりも大きい零点をもつことを示した。トゥランはまた、いくぶん弱い仮定、すなわち上の有限ディリクレ級数で大きい N に対して実部が  よりも大きい零点が存在しないことが、リーマン予想を導くことを示したが、1983 はすべての十分大きい N に対してこれらの級数は実部が  よりも大きい零点をもつことを示した。したがって、トゥランの結果は空虚な真であって、リーマン予想の証明のためには使えない。

**非可換幾何学**
はリーマン予想と非可換幾何学の間の関係を記述し、アデール類空間へのイデール類群の作用に対するセルバーグ跡公式の適切な類似があればリーマン予想が従うことを示した。これらのアイデアのいくつかは 2008 に詳細に述べられている。

**整関数のヒルベルト空間**
はリーマン予想がある整関数のヒルベルト空間上の正性条件から従うことを示した。しかしながら、2000 は必要な正性条件が満たされないことを示した。この障害にもかかわらず、ド・ブランジュは同じ方針でリーマン予想を証明しようと取り組み続けたが、他の数学者から広く受け入れられていない 2005。

**準結晶**
リーマン予想はゼータ関数の零点が準結晶をなすことを意味する、つまり discrete support をもつ distribution でありそのフーリエ変換も discrete support をもつ。2009 は1次元の準結晶を分類する、あるいは少なくとも研究することによって、リーマン予想を証明しようとすることを提案した。

**数体上の楕円曲線のモデルの数論的ゼータ関数**
幾何次元 1、例えば代数体、から、幾何次元 2、例えば数体上の楕円曲線の regular model, に行った時、モデルの数論的ゼータ函数に対する一般リーマン予想の2次元部分はゼータ関数の極を扱う。次元1ではテイト論文におけるゼータ積分の研究はリーマン予想に関して新しい重要な情報を導かなかった。これに対し、次元 2 ではテイト論文の2次元の一般化に関するイヴァン・フェセンコの研究はゼータ関数に密接に関係するゼータ積分の積分表現を含む。次元 1 では可能ではなかったこの新しい状況において、ゼータ関数の極はゼータ積分と付随するアデール群を通して研究することができる。ゼータ積分に伴う boundary function の四次導関数の正性に関する txt の関連した予想は一般リーマン予想の極部分を本質的に含む。txt はある技術的仮定と合わせて後者がフェセンコの予想を導くことを示した。

**多重ゼータ関数**
有限体上のリーマン予想のドリーニュの証明は、もとのゼータ関数の零点の実部を制限するために、零点と極がもとのゼータ関数の零点と極の和に対応する、積多様体のゼータ関数を用いた。アナロジーによって、1992 は零点と極がリーマンゼータ関数の零点と極の和に対応する多重ゼータ関数を導入した。級数を収束させるため彼はすべて非負の虚部をもつ零点や極の和に制限した。今のところ、多重ゼータ関数の零点と極について知られている制限はリーマンゼータ関数の零点に対して有用な評価を与えるほど強くない。

**零点の位置**

**零点の個数**
関数等式を偏角の原理と合わせて考えれば虚部が 0 と T の間にあるゼータ関数の零点の個数は  に対して次で与えられる：

ここに偏角は、偏角 0 の ∞ + iT から出発し、直線  に沿って連続的に変化させることで定義される。これは大きいがよく分かっている項

と小さいがよく分かっていない項

の和である。なので虚部が T の近くの零点の密度は約  であり、関数 S はこれとの小さな差を記述する。関数 S(t) はゼータ関数の各零点において 1 飛び、t ≥ 8 に対しては零点の間で導関数がおよそ −log t で単調に減少する。

**零点の存在**
と 1921 は、ゼータ関数に関連したある関数のモーメントを考えることによって、臨界線上には零点が無限個存在することを証明した。1942 は、少なくとも（小さい）正の割合の零点は臨界帯上にあることを証明した。1974 は、ゼータ関数の零点をゼータ関数の導関数の零点と関連付けることで、それを  に改善し、1989 はさらに  に改善した。

**真偽の議論**
リーマン予想に関する数学の論文は、それが真であるかどうか注意深く明言しない傾向にある。1859 や 2000 のように、意見を述べる人の大半は、リーマン予想は正しいと予想（あるいは少なくとも期待）している。これについて深刻に疑問を呈することを表明する人は少なく、その中には 2008 や 1962 がいる。Ivić は懐疑的に考えている理由を並べている。また Littlewood は、誤りであると信じており、正しいという何らの証拠がない、正しいことを示す想像できる理由も全く存在しない、ときっぱり述べている。サーベイの論文 (2000, 2003, 2008) の共通認識としては、リーマン予想が正しいという証拠は、強いが圧倒的ではないので、おそらく正しいであろうが、これを疑問視するのも妥当であるとしている。

**関連項目**
与えられた数より小さい素数の個数について - リーマンの原論文。2012・1991・2004に収録。
*一般リーマン予想
*L関数
*ゼータ関数
*素数定理
*素数計数関数
*Grand Riemann hypothesis
*ヒルベルトの23の問題
**Hilbert's eighth problem
*ヒルベルト・ポリア予想
*ベルンハルト・リーマン
*ミレニアム懸賞問題
*モンゴメリー・オドリズコ予想
*Riemann hypothesis for curves over finite fields

**脚注**

**注釈**

**出典**

**参考文献**
 和書- - 原タイトル：Riemann's Zeta Function.- - 原タイトル：Prime obsession.- 黒川信重：「リーマン予想の150年」、岩波書店、ISBN 978-4-00-006792-8 (2009年11月5日).- 黒川信重（編著）：「リーマン予想がわかる」、日本評論社（数学セミナー増刊）(2009年11月25日）.- 黒川信重、小山信也：「リーマン予想のこれまでとこれから」、日本評論社、ISBN 978-4-535-78550-2 (2009年12月10日).- 黒川信重：「リーマン予想の先へ：深リーマン予想ーDRH」、東京図書、ISBN 978-4-489-02151-0 (2013年4月25日).- 仲村亮：「リーマン予想とはなにか：全ての素数を表す式は可能か」、講談社ブルーバックス、ISBN 978-4-06-257828-8 (2015年8月20日).- 黒川信重：「リーマンと数論」、共立出版、ISBN 978-4-320-11234-6 (2016年12月15日).
 洋書- Citation | last1=Artin | first1=Emil | author1-link=エミール・アルティン | title=Quadratische Körper im Gebiete der höheren Kongruenzen. II. Analytischer Teil | doi=10.1007/BF01181075 | year=1924 | journal=Mathematische Zeitschrift | pages=207–246 | volume=19 | issue=1- url=http://gallica.bnf.fr/ark:/12148/bpt6k3111d/f1983.image- Citation | author1-link=Arne Beurling | last1=Beurling | first1=Arne | title=A closure problem related to the Riemann zeta-function | mr=0070655 | year=1955 | journal=Proceedings of the National Academy of Sciences of the United States of America | volume=41 | pages=312–314 | doi=10.1073/pnas.41.5.312 | issue=5- Citation | last1=Bohr | first1=H. | author1-link=ハラルド・ボーア | last2=Landau | first2=E. | author2-link=エドムント・ランダウ | title=Ein Satz über Dirichletsche Reihen mit Anwendung auf die ζ-Funktion und die L-Funktionen | doi=10.1007/BF03014823 | journal=Rendiconti del Circolo Matematico di Palermo | volume=37 | issue = 1 | year=1914 | pages=269–272- citation|last=Bombieri|year=2000|first= Enrico|authorlink=Enrico Bombieri|url=http://www.claymath.org/sites/default/files/official_problem_description.pdf |format=PDF|title=The Riemann Hypothesis – official problem description|publisher=Clay Mathematics Institute|accessdate=2008-10-25 Reprinted in 2008.- Citation | last1=Borwein | first1=Peter |author1-link=Peter Borwein| last2=Ferguson | first2=Ron | last3=Mossinghoff | first3=Michael J. | title=Sign changes in sums of the Liouville function | doi=10.1090/S0025-5718-08-02036-X | mr=2398787 | year=2008 | journal=Mathematics of Computation | volume=77 | issue=263 | pages=1681–1694-  pages=122–210-  pages=35–48-  pages=29–106- Citation | last1=Connes | first1=Alain | author1-link=アラン・コンヌ | title=Mathematics: frontiers and perspectives | publisher=American Mathematical Society | location=Providence, R.I. | mr=1754766 | year=2000 | chapter=Noncommutative geometry and the Riemann zeta function | pages=35–54- format=PDF Reprinted in 2008.-  volume=2000- Citation | last1=Deligne | first1=Pierre | author1-link=ピエール・ドリーニュ | title=La conjecture de Weil. I | url=http://www.numdam.org/item?id=PMIHES_1974__43__273_0 | mr=0340258 | year=1974 | journal=Publications Mathématiques de l'IHÉS | volume=43 | pages=273–307 | doi=10.1007/BF02684373-  doi=10.1007/BF02684780-  pages=163–186- Citation | last1=Derbyshire | first1=John | author1-link=ジョン・ダービーシャー | title=Prime Obsession | publisher=Joseph Henry Press, Washington, DC | isbn=978-0-309-08549-6 | mr=1968857 | year=2003- issn=1793-0421- Citation | last1=Dyson | first1=Freeman |author1-link=Freeman Dyson| title=Birds and frogs | url=http://www.ams.org/notices/200902/rtx090200212p.pdf | mr=2483565 | year=2009 | journal=Notices of the American Mathematical Society | volume=56 | issue=2 | pages=212–223- Citation | last1=Edwards | first1=H. M. | authorlink = ハロルド・エドワーズ | title=Riemann's Zeta Function | publisher=Dover Publications | location=New York | isbn=978-0-486-41740-0 | mr=0466039 | year=1974-  doi=10.1017/is010004028jkt103-  pages=565–633- year=1924- doi=10.1016/0022-314X(83)90010-0 - year=2004- doi=10.1007/BF02421310- url=http://www.numdam.org/item?id=BSMF_1896__24__199_1 Reprinted in 2008.- jfm=45.0716.04 Reprinted in 2008.- issue=3–4-  zbl=0085.27102  Reprinted in 2008.- Citation | last1=Haselgrove | first1=C. B. |author1-link=C・ブライアン・ヘイゼルグローブ| last2=Miller | first2=J. C. P. |author2-link=J. C. P. ミラー| title=Tables of the Riemann zeta function | publisher=Cambridge University Press | series=Royal Society Mathematical Tables, Vol. 6 | mr=0117905 | year=1960|isbn=978-0-521-06152-0  Review- Citation | last1=Hutchinson | first1=J. I. |authorlink=John Irwin Hutchinson| title=On the Roots of the Riemann Zeta-Function | jstor=1989163 | year=1925 | journal=Transactions of the American Mathematical Society | volume=27 | pages=49–60 | doi=10.2307/1989163 | issue=1-  year=1932. Reprinted 1990, ISBN 978-0-521-39789-6, 1074573- Citation | last1=Ivić | first1=A. | title=The Riemann Zeta Function | publisher=John Wiley & Sons | location=New York | isbn=978-0-471-80634-9 | mr=0792089 | year=1985 (Reprinted by Dover 2003)
*language=Russian
*language=Russian
*language=Russian
*mr=1180378-  volume=5-  pages=57–89- doi=10.1142/S0129055X99000325- pages= 159–182-  pages=219–226-  year=2008- urlname=Zeta-function-  issue=2
*.- place=New York-  doi=10.2307/2008005-  pages=221–242
*url=http://modular.math.washington.edu/rh/-  pages=181–193 Reprinted in 2008.-  pages=497–506- Murphy, P. Terrence: "Study of Bernhard Riemann's 1859 Paper", Paramount Ridge Press, 978-0996167130 (2020).-  year = 1999.-  year=1950- Citation | last1=Odlyzko | first1=A. M. | author1-link=アンドリュー・オドリツコ| last2=te Riele | first2=H. J. J. | author2-link=Herman te Riele|title=Disproof of the Mertens conjecture | url=http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262633 | mr=783538 | year=1985 | journal=Journal für die reine und angewandte Mathematik | volume=357 | issue=357 | pages=138–160 | doi=10.1515/crll.1985.357.138-  doi=10.2307/2007890-  doi=10.5802/jtnb.22- url=http://www.dtc.umn.edu/~odlyzko/unpublished/zeta.10to20.1992.pdf This unpublished book describes the implementation of the algorithm and discusses the results in detail.- url=http://www.dtc.umn.edu/~odlyzko/unpublished/zeta.10to21.pdf- doi=10.1007/s002220050191 -  volume=14- . In Gesammelte Werke, Teubner, Leipzig (1892), Reprinted by Dover, New York (1953).  Original manuscript (with English translation). Reprinted in 2008 and 1974-  issue=112- doi=10.1007/BF02418544- Citation | last1=Robin | first1=G. | title=Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann | mr=774171 | year=1984 | journal=Journal de Mathématiques Pures et Appliquées|series= Neuvième Série | volume=63 | issue=2 | pages=187–213-  year=2005-  pages=70–76-  year=2003a-  url=https://books.google.co.jp/books?id=JesSAQAAMAAJ&redir_esc=y&hl=ja- Citation | last1=Salem | first1=Raphaël |authorlink=Raphaël Salem| title=Sur une proposition équivalente à l'hypothèse de Riemann | mr=0053148 | year=1953 | journal=Les Comptes rendus de l'Académie des sciences | volume=236 | pages=1127–1128-  year=2003-  jstor=2005976
*arxiv=1101.3116-  pages=89–155-  pages=47–87-  url = https://eudml.org/doc/110758 - Citation | last1=Sheats | first1=Jeffrey T. | title=The Riemann hypothesis for the Goss zeta function for FqT | doi=10.1006/jnth.1998.2232 | mr=1630979 | year=1998 | journal=Journal of Number Theory | volume=71 | issue=1 | pages=121–157- year= 1932 Reprinted in Gesammelte Abhandlungen, Vol. 1. Berlin: Springer-Verlag, 1966.- Citation|last=Speiser|first=Andreas|author-link=Andreas Speiser|title=Geometrisches zur Riemannschen Zetafunktion|year=1934|journal=Mathematische Annalen|volume=110|pages=514–521|doi=10.1007/BF01448042|jfm=60.0272.04|url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0110&DMDID=DMDLOG_0032&L=1- deadlinkdate=2017年9月-  doi=10.1016/j.jnt.2011.03.007-  doi=10.1098/rspa.1935.0146-  doi=10.1098/rspa.1936.0192-  year=1986-  doi=10.4064/aa148-3-2-  pages=36 Reprinted in 2008.-  pages=99–117- pages= 183–256- year=1899–1900 Reprinted in 2008.- Varga, Ricahrd S.: Scientific Computation on Mathemathical Problems and Conjectures, SIAM, ISBN 0-89871-257-2 (1990). Chap. 3: "Theoretical and Computational Aspects of the Riemann Hypothesis".-  year=1948- Citation | last1=Weil | first1=André | author1-link=アンドレ・ヴェイユ | title=Numbers of solutions of equations in finite fields | doi=10.1090/S0002-9904-1949-09219-4 | mr=0029393 | year=1949 | journal=Bulletin of the American Mathematical Society | volume=55 | pages=497–508 | issue=5 Reprinted in Oeuvres Scientifiques/Collected Papers by Andre Weil ISBN 0-387-90330-5-  pages=321–332-  pages=329–342-  deadlinkdate=2017年9月 -  pages=275–301

**外部リンク**
2=知恵蔵2013- pages=1-7 Riemann予想の原論文である Bernhard Riemann Ueber die Anzahl der Primzahlen unter einer gegeben Grosse の日本語訳．訳者：鈴木治郎
*urlname=RiemannHypothesis- The Riemann Hypothesis（英語）- American institute of mathematics,  Riemann hypothesis- title=Where are the zeros of zeta of s? Poem about the Riemann hypothesis,  sung by John Derbyshire.- deadlinkdate=2017年9月 (Slides for a lecture)-  year=2010- deadlinkdate=2017年9月- year=2004 (Reviews the GUE hypothesis, provides an extensive bibliography as well).- title=Home page including  papers on the zeros of the zeta function and  tables of the zeros of the zeta function- format=PDF Slides of a talk- publisher=Math Games website. A discussion of Xavier Gourdon's calculation of the first ten trillion non-trivial zeros- title=Java applet for plotting Z(t)- deadlinkdate=2017年9月 .- year=2006- deadlinkdate=2017年9月- year=2004, a simple animated Java applet.-  date=2007-07-18-  Zetagrid (2002) A distributed computing project that attempted to disprove Riemann's hypothesis; closed in November 2005- NHKスペシャル 魔性の難問 リーマン予想・天才たちの闘い