リーマン予想

数学において、リーマン予想（リーマンよそう、英: Riemann hypothesis, 独: Riemannsche Vermutung）は、リーマンゼータ関数の零点が、負の偶数と、実部が 1/2 の複素数に限られるという予想である。ドイツの数学者 Bernhard Riemann (1859) により提唱されたため、その名称が付いている。この名称は密接に関連した類似物に対しても使われ、例えば有限体上の曲線のリーマン予想がある。リーマン予想は、英語表記 Riemann hypothesis の直訳であるリーマン仮説と表記したり、RH と略すこともある。 リーマン予想は素数の分布についての結果を含んでいる。適切な一般化と合わせて、純粋数学において最も重要な未解決問題であると考える数学者もいる。リーマン予想は、ゴールドバッハの予想とともに、ヒルベルトの23の問題のリストのうちの第8問題（英語版）の一部である。クレイ数学研究所のミレニアム懸賞問題の1つでもある。 リーマンゼータ関数 ζ(s) は 1 を除くすべての複素数 s で定義され、複素数の値をとる関数である。その零点（つまり、関数値が 0 となる s）のうち、負の偶数 s = −2, −4, −6, … はその自明な零点と呼ばれる。しかしながら、負の偶数以外の零点も存在し、非自明な零点と呼ばれる。リーマン予想はこの非自明な零点の位置についての主張である： リーマンゼータ関数のすべての非自明な零点の実部は 1/2 である。 いいかえると、 リーマンゼータ関数のすべての非自明な零点は、複素数平面上の直線 1/2 + i t（t は実数）上にある。ここで i は虚数単位である。この直線を臨界線 (critical line) という。 リーマン予想に関する非専門の本がいくつかある。例えば ブルーバックス (2015)、Derbyshire (2003), Rockmore (2005), (Sabbagh 2003a, 2003b), du Sautoy (2003)．本 Edwards (1974), Patterson (1988), Borwein et al. (2008), Mazur & Stein (2015) は数学的な入門を与え、Titchmarsh (1986), Ivić (1985), Karatsuba & Voronin (1992) は進んだモノグラフである。さらに、John Forbes Nash Jr. と Michael Th. Rassias によって編集された本 Open Problems in Mathematics（英語版） は、Alain Connes によるリーマン予想に関する広範なエッセイを取り上げている。 リーマンは素数の分布に関する研究を行っている際にオイラーが研究していた以下の級数をゼータ関数と名づけ、解析接続を用いて複素数全体への拡張を行った。 ゼータ関数を次のように定義する（複素数 s の実部が 1 より大きいとき、この級数は絶対収束する）。 ζ ( s ) = ∑ n = 1 ∞ 1 n s = 1 + 1 2 s + 1 3 s + 1 4 s + ⋯ . {\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=1+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{4^{s}}}+\cdots .} 1859年にリーマンは自身の論文の中で、複素数全体 (s ≠ 1) へゼータ関数を拡張した場合、 ζ(s) の自明でない零点 s は、全て実部が 1/2 の直線上に存在する。 と予想した。ここに、自明な零点とは負の偶数 (−2, −4, −6, …) のことである。自明でない零点は 0 < Re s < 1 の範囲にしか存在しないことが知られており（下記の歴史を参照）、この範囲を臨界帯という。 なお素数定理はリーマン予想と同値な近似公式からの帰結であるが、素数定理自体はリーマン予想が真であるという仮定がなくとも証明できる。この注意は歴史的には重要なことで、実際リーマンがはっきりとは素数定理を証明できなかった理由はリーマン予想の正否にこだわっていたためであると思われている（素数分布とのゼータ関数との関係は下記#素数の分布や、リーマンゼータ関数、素数定理、リーマンの素数公式の項を参照のこと）。 現在もリーマン予想は解決されていない。数学における最も重要な未解決問題の一つである。リーマンのゼータ関数を特殊な場合に含むL関数に対しても同様の予想を考えることができ、これを一般化されたリーマン予想（Generalised Riemann Hypothesis：GRHと略される）と呼んでいる。 最近では、虚部が小さい方から10兆個 (X. Gourdon and P. Demichel, 2004) までの複素零点はすべてリーマン予想を満たすことが計算されており、現在までにまだ反例は知られていない。現在では多くの数学者が（当然のことだが、はっきりした根拠を持たずに）リーマン予想は正しいと考えているようである。しかし無限にある零点からみれば有限に過ぎない10兆個程度の零点の例などは零点分布の真の姿を反映するには至らないとして、この計算結果に対して慎重な数学者もいる。歴史上有名な数学者の中でもリーマン予想を疑っていた数学者はいる。 リーマンゼータ関数は実部が 1 よりも大きい複素数 s に対して絶対収束無限級数 ζ ( s ) = ∑ n = 1 ∞ 1 n s = 1 1 s + 1 2 s + 1 3 s + ⋯ {\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}={\frac {1}{1^{s}}}+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+\cdots } によって定義される。レオンハルト・オイラー（リーマンの生まれる40年前に死んだ）はこの級数がオイラー積 ζ ( s ) = ∏ p :  prime 1 1 − p − s = 1 1 − 2 − s ⋅ 1 1 − 3 − s ⋅ 1 1 − 5 − s ⋅ 1 1 − 7 − s ⋯ 1 1 − p − s ⋯ {\displaystyle \zeta (s)=\prod _{p:{\text{ prime}}}{\frac {1}{1-p^{-s}}}={\frac {1}{1-2^{-s}}}\cdot {\frac {1}{1-3^{-s}}}\cdot {\frac {1}{1-5^{-s}}}\cdot {\frac {1}{1-7^{-s}}}\cdots {\frac {1}{1-p^{-s}}}\cdots } に等しいことを示した、ここで無限積はすべての素数 p を走り、再び実部が 1 より大きい複素数 s に対して収束する。オイラー積の収束は、どの因子も零点を持っていないから、ζ(s) がこの領域において零点を持たないことを示している。 リーマン予想はこの級数とオイラー積の収束領域の外側での零点について議論する。予想が意味をなすために、関数を解析接続して、すべての複素数 s に対して有効な定義を与える必要がある。これは以下のようにディリクレのエータ関数（英語版）の言葉でゼータ関数を表すことによってできる。s の実部が 1 よりも大きければ、ゼータ関数は ( 1 − 2 2 s ) ζ ( s ) = ∑ n = 1 ∞ ( − 1 ) n + 1 n s = 1 1 s − 1 2 s + 1 3 s − ⋯ {\displaystyle \left(1-{\frac {2}{2^{s}}}\right)\zeta (s)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n^{s}}}={\frac {1}{1^{s}}}-{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}-\cdots } を満たす。しかしながら、右辺の級数は s の実部が 1 より大きいときだけでなく、より広く s の実部が正のときにいつでも収束する。したがって、この代わりの級数はゼータ関数を Re s > 1 からより大きい領域 Re s > 0 に、1 − 2/2s の零点 s = 1 + 2πin/log 2 を除いて、拡張する（ディリクレのエータ関数を参照）。ゼータ関数はこれらの除かれた値にも極限を取ることによって拡張でき、s = 1 における一位の極を除いて、正の実部を持つすべての s の値に対して有限値を与える。 帯 0 < Res < 1 において、ゼータ関数は関数等式 ζ ( s ) = 2 s π s − 1 sin ⁡ ( π s 2 ) Γ ( 1 − s ) ζ ( 1 − s ) {\displaystyle \zeta (s)=2^{s}\pi ^{s-1}\,\sin \left({\frac {\pi s}{2}}\right)\,\Gamma (1-s)\,\zeta (1-s)} を満たす。すると残りのすべての零でない複素数 s に対して ζ(s) を、この方程式が帯の外側でも成り立つと仮定し、ζ(s) は s の実部が正でないときに方程式の右辺に等しいとすることで定義できる。s が負の偶数のとき、因子 sin(πs/2) が消えるから ζ(s) = 0 である。これらがゼータ関数の自明な零点である（s が正の偶数のときにはこの議論は適用しない、なぜならば正弦関数の零点はガンマ関数が負の整数の引数を取るからその極によって打ち消されるからである）。値 ζ(0) = −1/2 は関数等式からは定まらないが、s が 0 に近づくときの ζ(s) の極限値である。関数等式はまた、ゼータ関数が自明な零点の他には実部が負の零点を持たないことも意味しており、したがってすべての非自明な零点は、s の実部が 0 と 1 の間の臨界帯 (critical strip) にある。 1859年にリーマンは論文「与えられた数より小さい素数の個数について」を発表し、その中でリーマン予想を提示した。リーマン自身はその証明を試みて成功しなかったことを認めているが中間的な結果としてゼータ関数の自明でない零点の実数部が 1/2 について対称であり、かつ 0 から 1 の間（境界を含む）にしか存在しないことを示していた。 1896年にド・ラ・ヴァレ・プーサン（英語版）とアダマールが独立に素数定理を証明したが、それはゼータ関数の自明でない零点の実数部が 1 になりえないことの証明によるものだった。よって自明でない零点の実数部の範囲は、境界を含まないところまで狭められた。 1900年にパリで開かれた第2回国際数学者会議でヒルベルトは数学上の未解決の問題23題（ヒルベルトの23の問題）を提起した。リーマン予想はこの内、素数の分布に関する8番目の問題に含まれている。 1914年、ハーディとリトルウッドは Re s = 1/2 上に零点が無限に存在することを示した。ただし、この他に零点が存在する可能性は排除できていない。 1972年、ヒュー・モンゴメリー（英語版）と物理学者フリーマン・ダイソンが、ゼータ関数上の零点の分布の数式が、原子核のエネルギー間隔を表す式と一致することを示し、素数と核物理現象との関連性が示唆された。以降物理学者も含めてリーマン予想の研究が活発化する。 1996年、シアトルで第一回世界リーマン予想会議が開催される。この中でアラン・コンヌが素数問題と非可換幾何との関係性を示した。 2000年にクレイ数学研究所はリーマン予想の証明を含む数学の未解決問題7問に対してそれぞれ100万ドルの賞金を懸けた（ミレニアム懸賞問題）。 リーマン予想の仮定の下で真である命題や、リーマン予想と同値である命題が、多く知られている。 以下の各命題は、リーマン予想と同値である。 ある定数 C が存在して、十分大きな任意の x に対し、 | π ( x ) − li ⁡ ( x ) | ≤ C x log ⁡ x {\displaystyle |\pi (x)-\operatorname {li} (x)|\leq C{\sqrt {x}}\,\log x} が成り立つこと。ここに li x は対数積分を表す。これは π ( x ) = li ⁡ ( x ) + O ( x 1 / 2 + ϵ ) {\displaystyle \pi (x)=\operatorname {li} (x)+O(x^{1/2+\epsilon })} と表現しても同じことである。ただし、O はランダウの記号である。 任意の自然数 n に対して σ ( n ) ≤ H n + e H n log ⁡ H n {\displaystyle \sigma (n)\leq H_{n}+e^{H_{n}}\log H_{n}} が成り立つこと。ここに Hn は n 番目の調和数、すなわち H n = ∑ k = 1 n 1 k {\displaystyle H_{n}=\sum _{k=1}^{n}{\frac {1}{k}}} で定義される有理数である。 リーマンの明示公式は、与えられた数よりも小さい素数の個数を、リーマンのゼータ関数の零点を渡る和で表すものであり、予想される位置の周りでの素数の振動の大きさがゼータ関数の零点の実部によって制御されることを述べている。特に、素数定理における誤差項は、零点の位置に密接に関係している。例えば、β が零点の実部の上界であれば、差 π(x) − Li(x) は error bound O(xβ log(x)) を持つ。1/2 ≤ β ≤ 1 であることが既に知られている。 Von Koch (1901) はリーマン予想が素数定理の誤差に対する「最良の」上界を導くことを示した。Schoenfeld (1976) による，Koch の結果の正確なバージョンによれば、リーマン予想から | π ( x ) − Li ⁡ ( x ) | < 1 8 π x log ⁡ ( x ) , for all  x ≥ 2657 {\displaystyle |\pi (x)-\operatorname {Li} (x)|<{\frac {1}{8\pi }}{\sqrt {x}}\,\log(x),\qquad {\text{for all }}x\geq 2657} が従う、ただし π(x) は素数計数関数であり、log(x) は x の自然対数である。 Schoenfeld (1976) はまた、リーマン予想から | ψ ( x ) − x | < 1 8 π x log 2 ⁡ ( x ) , for all  x ≥ 73.2 {\displaystyle |\psi (x)-x|<{\frac {1}{8\pi }}{\sqrt {x}}\,\log ^{2}(x),\qquad {\text{for all }}x\geq 73.2} が従うことを示した。ここで ψ(x) は 第二チェビシェフ関数である。 Dudek (2014) はリーマン予想から次が従うことを示した：任意の x ≥ 2 に対して、ある素数 p が存在して、 x − 4 π x log ⁡ x < p ≤ x {\displaystyle x-{\frac {4}{\pi }}{\sqrt {x}}\,\log x<p\leq x} が成り立つ。これはクラメルの定理の明示的なバージョンである。 リーマン予想は、上記の素数計数関数に加えて、他の多くの数論的関数の増大に関する強い上界も導く。 1つの例はメビウス関数 μ に関するものである。等式 1 ζ ( s ) = ∑ n = 1 ∞ μ ( n ) n s {\displaystyle {\frac {1}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}}} が、実部が 1/2 よりも大きいすべての s に対して右辺の和が収束して成り立つという主張は、リーマン予想と同値である。このことから次のことも結論できる：Mertens 関数（英語版）を M ( x ) = ∑ n ≤ x μ ( n ) {\displaystyle M(x)=\sum _{n\leq x}\mu (n)} によって定義すると、すべての ε > 0 に対して M ( x ) = O ( x 1 2 + ε ) {\displaystyle M(x)=O(x^{{\frac {1}{2}}+\varepsilon })} が成り立つという主張は、リーマン予想と同値である（これらの記号の意味については、ランダウの記法を参照）。order n の Redheffer 行列（英語版）の行列式は M(n) に等しいので、リーマン予想はこれらの行列式の増大に関する条件としても述べることができる。リーマン予想は M の増大度についてかなりきつい制限を与える、というのも Odlyzko & te Riele (1985) がわずかに強い Mertens 予想（英語版） | M ( x ) | ≤ x {\displaystyle |M(x)|\leq {\sqrt {x}}} を反証したからである． リーマン予想は μ(n) の他の数論的関数の増大率についての多くの予想とも同値である。典型的な例は次の Robin の定理（英語版） (Robin 1984) である：σ(n) を σ ( n ) = ∑ d ∣ n d {\displaystyle \sigma (n)=\sum _{d\mid n}d} で与えられる約数関数とすると、 σ ( n ) < e γ n log ⁡ log ⁡ n {\displaystyle \sigma (n)<e^{\gamma }n\log \log n} がすべての n > 5040 に対して成り立つことと、リーマン予想が真であることが同値である。ここで γ は Euler–Mascheroni 定数である。 別の例は Jérôme Franel（英語版） によって発見され、ランダウによって拡張された。リーマン予想は Farey 数列の項がかなり規則的であることを示すいくつかの主張と同値である。1つのそのような同値は以下のようである：Fn を 1/n で始まり 1/1 までの order n の Farey 数列とすると、すべての ε > 0 に対して ∑ i = 1 m | F n ( i ) − i m | = O ( n 1 2 + ε ) {\displaystyle \sum _{i=1}^{m}\left|F_{n}(i)-{\frac {i}{m}}\right|=O\left(n^{{\frac {1}{2}}+\varepsilon }\right)} が成り立つという主張は、リーマン予想と同値である。ここで m = ∑ i = 1 n ϕ ( i ) {\displaystyle m=\sum _{i=1}^{n}\phi (i)} は order n の Farey 数列における項の数である。 群論からの例として、g(n) を ランダウの関数（英語版）とする、つまり n 次の対称群 Sn の元の最大位数とする。Massias, Nicolas & Robin (1988) はリーマン予想が十分大きい全ての n に対する上界 log ⁡ g ( n ) < Li − 1 ⁡ ( n ) {\displaystyle \log g(n)<{\sqrt {\operatorname {Li} ^{-1}(n)}}} と同値であることを示した． リーマン予想は様々なより弱い結果も導く。その1つは リンデレーフ予想（英語版）である。これは臨界線上のゼータ関数の増大率に関する予想で、任意の ε > 0 に対して、t → ∞ のとき ζ ( 1 2 + i t ) = O ( t ε ) {\displaystyle \zeta \left({\frac {1}{2}}+it\right)=O(t^{\varepsilon })} が成り立つというものである。 リーマン予想はまた、臨界帯の他の領域におけるゼータ関数の増大率に対するかなり鋭い上界も与える。例えば、 e γ ≤ lim sup t → + ∞ | ζ ( 1 + i t ) | log ⁡ log ⁡ t ≤ 2 e γ {\displaystyle e^{\gamma }\leq \limsup _{t\rightarrow +\infty }{\frac {|\zeta (1+it)|}{\log \log t}}\leq 2e^{\gamma }} 6 π 2 e γ ≤ lim sup t → + ∞ 1 / | ζ ( 1 + i t ) | log ⁡ log ⁡ t ≤ 12 π 2 e γ {\displaystyle {\frac {6}{\pi ^{2}}}e^{\gamma }\leq \limsup _{t\rightarrow +\infty }{\frac {1/|\zeta (1+it)|}{\log \log t}}\leq {\frac {12}{\pi ^{2}}}e^{\gamma }} を与えるので、ζ(1 + it) とその逆数の増大率は2倍の違いを除いて分かることになる。 素数定理は平均的に素数 p とその次の素数の間の間隔（英語版）が log p であることを意味する。しかしながら、素数間の間隔には平均よりもはるかに大きいものもある。クラメルはリーマン予想を仮定してすべての間隔が O(√p log p) であることを示した。これは、リーマン予想を用いて証明できる最もよい上界でさえ、正しいと思われるものよりも遥かに弱い場合である。すなわち、クラメルの予想（英語版）はすべての間隔が O((log p)2) であることを意味しており、これは平均間隔よりは大きいが、リーマン予想から導かれる上界よりは遥かに小さいのである．数値計算はクラメルの予想を支持している。 リーマン予想に同値な多くの主張が発見されているが、これまでのところそれらがリーマン予想を証明する（あるいは反証する）のに大きな進展をもたらしたことはない。いくつかの典型的な例は以下のようである。（他に約数関数（英語版） σ(n) に関するものがある。） Riesz の判定法は Riesz (1916) によって与えられた、以下の主張である： − ∑ k = 1 ∞ ( − x ) k ( k − 1 ) ! ζ ( 2 k ) = O ( x 1 4 + ε ) {\displaystyle -\sum _{k=1}^{\infty }{\frac {(-x)^{k}}{(k-1)!\zeta (2k)}}=O\left(x^{{\frac {1}{4}}+\varepsilon }\right)} がすべての ε > 0 に対して成り立つこととリーマン予想が成り立つことは同値である。 Nyman (1950) はリーマン予想が真であることと次が同値であることを示した： f ( x ) = ∑ ν = 1 n c ν ρ ( θ ν x ) {\displaystyle f(x)=\sum _{\nu =1}^{n}c_{\nu }\rho \left({\frac {\theta _{\nu }}{x}}\right)} の形の関数全体のなす空間、ただし ρ(z) は z の小数部分で、0 ≤ θν ≤ 1 で、 ∑ ν = 1 n c ν θ ν = 0 , {\displaystyle \sum _{\nu =1}^{n}c_{\nu }\theta _{\nu }=0,} は、単位区間上の二乗可積分関数全体のなすヒルベルト空間 L2(0, 1) において稠密である。Beurling (1955) はこれを次を示すことで拡張した：ゼータ関数が実部が 1/p よりも大きい零点を持たないこととこの関数空間が Lp(0, 1) において稠密であることは同値である。 Salem (1953) はリーマン予想が真であることと次が同値であることを示した：積分方程式 ∫ 0 ∞ z − σ − 1 ϕ ( z ) e x / z + 1 d z = 0 {\displaystyle \int _{0}^{\infty }{\frac {z^{-\sigma -1}\phi (z)}{e^{x/z}+1}}\,dz=0} は 1/2 < σ < 1 に対して非自明な有界な解 φ を持たない。 Weil の判定法（英語版）はある関数の正値性がリーマン予想と同値であるという主張である．関連するのは Li の判定法（英語版）で，ある数列の正値性がリーマン予想と同値であるという主張である。 Speiser (1934) はリーマン予想が次の主張と同値であることを証明した：ζ(s) の導関数 ζ′(s) は帯 0 < ℜ ( s ) < 1 2 {\displaystyle 0<\Re (s)<{\frac {1}{2}}} に零点を持たない。ζ(s) が臨界線上に1位の零点しか持たないことはその導関数が臨界線上に零点を持たないことと同値である。 いくつかの応用は ディリクレの L 級数や数体のゼータ関数のためにただのリーマン予想ではなく一般リーマン予想を用いる。リーマンゼータ関数の多くの基本的な性質はすべてのディレクレ L 級数に容易に一般化できるので、リーマンゼータ関数に対するリーマン予想を証明する手法がディレクレ L 級数に対する一般リーマン予想に対してもうまくいくというのはもっともらしい。一般リーマン予想を用いて初めに証明されたいくつかの結果は、後にそれを用いない無条件の証明が与えられたが、これらは通常はるかに難しい。以下のリストにある結果の多くは Conrad (2010) から取られている。 1913年、グロンウォールは一般リーマン予想が類数1の虚二次体の Gauss のリストが完全であることを導くことを示した。しかし後に、Baker, Stark および Heegner が、一般リーマン予想を用いないこれの無条件の証明を与えた。 1917年、ハーディとリトルウッドは、一般リーマン予想は lim x → 1 − ∑ p > 2 ( − 1 ) ( p + 1 ) / 2 x p = + ∞ {\displaystyle \lim _{x\to 1^{-}}\sum _{p>2}(-1)^{(p+1)/2}x^{p}=+\infty } という Chebyshev による予想を導くことを示した。この予想はある意味で、4 を法として 3 に合同な素数は 1 に合同なものよりも多いということを言っている。 1923年、ハーディとリトルウッドは、一般リーマン予想は奇数に対するゴールドバッハ予想の弱い形、すなわち十分大きい任意の奇数は3つの素数の和であることを導くことを示したが、1937年、Vinogradov は無条件下での証明を与えた。1997年、Deshouillers（英語版）, Effinger, te Riele, および Zinoviev は、一般リーマン予想は5よりも大きい任意の奇数は3つの素数の和であることを導くことを示した。 1934年、Chowla は、一般リーマン予想は次を導くことを示した：等差数列 a mod m の最初の素数はある固定された定数 K に対して高々 Km2log(m)2 である。 1967年、Hooley は一般リーマン予想が原始根に関する Artin の予想（英語版）を導くことを示した。 1973年、Weinberger は一般リーマン予想が idoneal 数（英語版）の Euler のリストが完全であることを導くことを示した。 Weinberger (1973) は、すべての代数体のゼータ関数に対する一般リーマン予想が次を導くことを示した：類数 1 の任意の数体は、ユークリッド整域であるか、あるいは判別式が −19, −43, −67, あるいは −163 の虚二次体である。 1976年、G. Miller は一般リーマン予想が次を導くことを示した：数が素数であるかどうかをミラー判定法によって多項式時間で判定できる。2002年，Manindra Agrawal, Neeraj Kayal および Nitin Saxena は、AKS素数判定法を用いて無条件にこの結果を証明した。 Odlyzko (1990) は、一般リーマン予想を数体の判別式と類数のより鋭い評価を与えるためにどのように使うことができるかを議論した。 Ono & Soundararajan (1997) は一般リーマン予想が次を導くことを示した：Ramanujan の整二次形式（英語版） x2 + y2 + 10z2 は、ちょうど18個の例外を除いて、それが局所的に表すすべての整数を表す。 リーマン予想のいくつかの帰結はその否定の帰結でもあり、したがって定理である。(Ireland & Rosen 1990, p. 359) は，Hecke, Deuring, Mordell, Heilbronn 定理の彼らの議論において、次のように言っている： The method of proof here is truly amazing. If the generalized Riemann hypothesis is true, then the theorem is true. If the generalized Riemann hypothesis is false, then the theorem is true. Thus, the theorem is true!!　    (punctuation in original) ここでの証明の手法は本当にすごい．一般リーマン予想が正しいならば，定理は正しい．一般リーマン予想が間違いならば，定理は正しい．したがって，定理は正しい!! 一般リーマン予想が偽であるということによって何が意味されるかを理解するのに注意を払うべきである：ちょうどどのクラスのディレクレ級数が反例を持っているのか特定すべきである。 リトルウッドの定理は素数定理における誤差項の符号に関するものである。すべての x ≤ 1023 に対して π(x) < Li(x) であることが計算されており[要出典]、π(x) > Li(x) であるような x の値は知られていない。この表を参照。 1914年、リトルウッドは次のことを証明した： π ( x ) > Li ⁡ ( x ) + 1 3 x log ⁡ x log ⁡ log ⁡ log ⁡ x {\displaystyle \pi (x)>\operatorname {Li} (x)+{\frac {1}{3}}{\frac {\sqrt {x}}{\log x}}\log \log \log x} となるような任意に大きい x の値が存在し、 π ( x ) < Li ⁡ ( x ) − 1 3 x log ⁡ x log ⁡ log ⁡ log ⁡ x {\displaystyle \pi (x)<\operatorname {Li} (x)-{\frac {1}{3}}{\frac {\sqrt {x}}{\log x}}\log \log \log x} となるような任意に大きい x の値も存在する。したがって、差 π(x) − Li(x) は無限回符号を変える。Skewes 数は最初の符号変化に対応する x の値の評価である． リトルウッドの証明は2つの部分からなっている。リーマン予想を偽と仮定する部分（Ingham 1932, Chapt. V の約半ページ）と、リーマン予想を真と仮定する部分（約12ページ）である。 ガウスの類数予想は，与えられた類数を持つ虚二次体は有限個しかないという（ガウスの Disquisitiones Arithmeticae の article 303 において最初に述べられた）予想である．それを示す1つの方法は、判別式 D → −∞ のとき類数 h(D) → ∞ となることを示すことである． リーマン予想に関わる以下の定理は Ireland & Rosen 1990, pp. 358–361 に記されている： 定理 (Hecke; 1918). D < 0 を虚二次体 K の判別式とする。すべての虚二次ディレクレ指標の L 関数に対する一般リーマン予想を仮定する。このとき h ( D ) > C | D | log ⁡ | D | {\displaystyle h(D)>C{\frac {\sqrt {|D|}}{\log |D|}}} となるような絶対的な定数 C が存在する。 定理 (Deuring; 1933). リーマン予想が偽ならば，|D| が十分大きいとき h(D) > 1 である． 定理 (Mordell; 1934). リーマン予想が偽ならば、D → −∞ のとき h(D) → ∞ である。 定理 (Heilbronn; 1934). 一般 Riemann 予想がある虚二次 ディレクレ指標の L 関数に対して偽ならば、D → −∞ のとき h(D) → ∞ である。 （Hecke と Heilbronn の仕事において、現れる L 関数は虚二次指標に付随するものだけであり、それは一般リーマン予想が真であるあるいは一般リーマン予想が偽であることが意図されているのはそれらの L 関数に対してのみである。ある三次のディレクレ指標の L 関数に対して一般 リーマン予想が成り立たなければ、一般リーマン予想は成り立たないが、これは Heilbronn が考えていたような一般リーマン予想の不成立ではなく、したがって彼の仮定は単に一般リーマン予想が偽であるというものよりも限定されていた。） 1935年、Carl Siegel はリーマン予想や一般リーマン予想を全く用いずに結果を強化した。 1983年、J. L. Nicolas（英語版） は、無限個の n に対して φ ( n ) < e − γ n log ⁡ log ⁡ n {\displaystyle \varphi (n)<e^{-\gamma }{\frac {n}{\log \log n}}} であることを示した (Ribenboim 1996, p. 320)。ただし φ(n) は Euler のトーシェント関数で，γ は Euler の定数である。 Ribenboim は次のように注意している： The method of proof is interesting, in that the inequality is shown first under the assumption that the Riemann hypothesis is true, secondly under the contrary assumption. リーマンのゼータ関数を、形式的には似ているがはるかに一般的な大域的 L-関数に置き換えることによって、リーマン予想を一般化することができる。このより広い設定において、大域的 L-関数の非自明な零点の実部が 1/2 であると期待される。リーマンのゼータ関数のみに対する古典的なリーマン予想よりもむしろ、これらの一般化されたリーマン予想が、数学におけるリーマン予想の真の重要性の理由である。 一般化されたリーマン予想 (generalized Riemann hypothesis) は、リーマン予想を全てのディリクレの L-関数へ拡張したものである。とくにこの予想は、ジーゲルの零点（英語版）（1/2 と 1 の間にある L 関数の零点）が存在しないという予想を含んでいる。 拡張されたリーマン予想 (extended Riemann hypothesis) は、リーマン予想を代数体の全てのデデキントゼータ関数へと拡張したものである。有理数体のアーベル拡大に対する拡張されたリーマン予想は、一般化されたリーマン予想と同値である。リーマン予想は代数体のヘッケ指標の L-関数へ拡張することもできる。 大リーマン予想（英語版） (grand Riemann hypothesis) は、全ての保型形式のゼータ関数（例えばヘッケ固有形式（英語版）のメリン変換）へ拡張したものである。 リーマン予想を証明したと発表した数学者もいるが、正しい解答として受け入れられたものはいまだ存在しない。Watkins (2007) はいくつかの正しくない解答をリストしており、より多くの正しくない解答は頻繁に発表されている。 例えば2004年には、ルイ・ド・ブランジュが証明に成功したと発表したが後に否定された。2018年には、マイケル・アティヤが微細構造定数の導出の副産物としてリーマン予想を証明したと発表したが、多くの専門家は懐疑的に見ている。この論文は王立協会が発行する科学誌に投稿され、専門家らにより検証が進められている。 ヒルベルトとポリヤはリーマン予想を導出する1つの方法は自己共役作用素を見つけることであると提案した。その存在から ζ(s) の零点の実部に関する例の主張が、実固有値に主張を適用すると従うのである。このアイデアのいくつかの根拠は、零点がある作用素の固有値に対応するリーマンゼータ関数のいくつかの類似から来る：有限体上の多様体のゼータ関数の零点はエタールコホモロジー群上のフロベニウス元の固有値に対応し、セルバーグゼータ関数の零点はリーマン面のラプラス作用素の固有値であり、p 進ゼータ関数の零点はイデール類群へのガロワ作用の固有ベクトルに対応する。 Odlyzko (1987) は、リーマンゼータ関数の零点の分布はガウスのユニタリアンサンブル（英語版）から来るランダム行列の固有値といくつかの統計学的性質を共有していることを示した。これはヒルベルト–ポリヤ予想にいくらかの根拠を与える。 1999年、マイケル・ベリーとジョナサン・キーティング（英語版）は古典ハミルトニアン H = xp のある未知の量子化 H ^ {\displaystyle {\hat {H}}} が存在して、以下を満たすと予想した。 ζ ( 1 / 2 + i H ^ ) = 0 , {\displaystyle \zeta (1/2+i{\hat {H}})=0,} あるいはさらに強く、リーマンの零点が作用素 1 / 2 + i H ^ {\displaystyle 1/2+i{\hat {H}}} のスペクトルと一致する。これは正準量子化と対照的である。標準量子化はハイゼンベルクの不確定性原理 [ x , p ] = 1 / 2 {\displaystyle [x,p]=1/2} を導き、量子調和振動子（英語版）のスペクトルとして自然数が得られる。重要な点は、ハミルトニアンは量子化がヒルベルト–ポリヤプログラムの実現であるように自己共役作用素であるべきことである。この量子力学の問題との関連で、ベリーとコンヌは以下を提案した。ハミルトニアンのポテンシャルの逆は関数 N ( s ) = 1 π Arg ⁡ ξ ( 1 / 2 + i s ) {\displaystyle N(s)={\frac {1}{\pi }}\operatorname {Arg} \xi (1/2+i{\sqrt {s}})} の半微分と関連があり、ベリー–コンヌのアプローチでは V − 1 ( x ) = 4 π d 1 / 2 N ( x ) d x 1 / 2 {\displaystyle V^{-1}(x)={\sqrt {4\pi }}{\frac {d^{1/2}N(x)}{dx^{1/2}}}} (Connes 1999). これは次のようなハミルトニアンを生み出す。固有値がリーマンの零点の虚部の平方であり、またこのハミルトニアン作用素の汎関数行列式はリーマンのクシー関数である。実はリーマンのクシー関数はコンヌらによって証明されたように汎関数行列式（アダマール積） det ( H + 1 / 4 + s ( s − 1 ) ) {\displaystyle \det(H+1/4+s(s-1))} の定数倍であり、このアプローチでは ξ ( s ) ξ ( 0 ) = det ( H + s ( s − 1 ) + 1 / 4 ) det ( H + 1 / 4 ) . {\displaystyle {\frac {\xi (s)}{\xi (0)}}={\frac {\det(H+s(s-1)+1/4)}{\det(H+1/4)}}.} 有限体上のリーマン予想との類似は、零点と対応する固有ベクトルを含むヒルベルト空間は整数のスペクトル Spec(Z) のある種の1次コホモロジー群かもしれないと示唆する。Deninger (1998) はそのようなコホモロジー論を見つける試みのいくつかを記述した (Leichtnam 2005)。 Zagier (1981) はラプラス作用素の下でリーマンゼータ関数の零点に対応する固有値をもつ上半平面上の不変関数の自然な空間を構成した。そして、この空間上の適切な正定値内積の存在を示すというありそうもないイベントにおいてリーマン予想が従うことを注意した。Cartier (1982) は関連した例を議論した。奇妙なバグによってコンピュータープログラムが同じラプラス作用素の固有値としてリーマンゼータ関数の零点をリストするのである。 Schumayer & Hutchinson (2011) はリーマンゼータ関数に関連した適切な物理模型を構成する試みのいくつかをサーベイした。 リー–ヤンの定理（英語版）は、統計力学におけるある分割関数の零点がすべて実部 0 の「臨界線」上に乗っていると述べており、これはリーマン予想との関係についての推測をもたらした (Knauf 1999)。 Pál Turán (1948) は次のことを示した。関数 ∑ n = 1 N n − s {\displaystyle \sum _{n=1}^{N}n^{-s}} が s の実部が 1 よりも大きいときに零点をもたないならば、 T ( x ) = ∑ n ≤ x λ ( n ) n ≥ 0  for  x > 0 {\displaystyle T(x)=\sum _{n\leq x}{\frac {\lambda (n)}{n}}\geq 0{\text{ for }}x>0} となる。ここで λ(n) はリュービル関数（英語版）で、n が r 個の素因子をもつとき (−1)r によって与えられる。彼はこのことからリーマン予想が真であることが導かれると示した。しかしながら、Haselgrove (1958) は T(x) は無限個の x で負であること示し（また密接に関連したポリヤ予想（英語版）も反証し）、Borwein, Ferguson & Mossinghoff (2008) は最小のそのような x は 72185376951205 であることを示した。Spira (1968) は数値計算によって、上の有限ディリクレ級数が N = 19 のときに実部が 1 よりも大きい零点をもつことを示した。トゥランはまた、いくぶん弱い仮定、すなわち上の有限ディリクレ級数で大きい N に対して実部が 1+N−1/2+ε よりも大きい零点が存在しないことが、リーマン予想を導くことを示したが、Montgomery (1983) はすべての十分大きい N に対してこれらの級数は実部が 1 + (log log N)/(4 log N) よりも大きい零点をもつことを示した。したがって、トゥランの結果は自明に正しく（英語版）、リーマン予想の証明のためには使えない。 Connes (1999, 2000) はリーマン予想と非可換幾何学の間の関係を記述し、アデール類空間へのイデール類群の作用に対するセルバーグ跡公式の適切な類似があればリーマン予想が従うことを示した。これらのアイデアのいくつかは Lapidus (2008) に詳細に述べられている。 Louis de Branges (1992) はリーマン予想がある整関数のヒルベルト空間上の正性条件から従うことを示した。しかしながら、Conrey & Li (2000) は必要な正性条件が満たされないことを示した。この障害にもかかわらず、ド・ブランジュは同じ方針でリーマン予想を証明しようと取り組み続けたが、他の数学者から広く受け入れられていない (Sarnak 2005)。 リーマン予想はゼータ関数の零点が quasicrystal（英語版） をなすことを意味する、つまり discrete support をもつ distribution でありそのフーリエ変換も discrete support をもつ。Dyson (2009) は1次元の quasicrystals を分類する、あるいは少なくとも研究することによって、リーマン予想を証明しようとすることを提案した。 幾何次元 1、例えば代数体、から、幾何次元 2、例えば数体上の楕円曲線の regular model, に行った時、モデルの数論的ゼータ関数（英語版）に対する一般リーマン予想の2次元部分はゼータ関数の極を扱う。次元1ではテイト論文におけるゼータ積分の研究はリーマン予想に関して新しい重要な情報を導かなかった。これに対し、次元 2 ではテイト論文の2次元の一般化に関する Ivan Fesenko（英語版） の研究はゼータ関数に密接に関係するゼータ積分の積分表現を含む。次元 1 では可能ではなかったこの新しい状況において、ゼータ関数の極はゼータ積分と付随するアデール群を通して研究することができる。ゼータ積分に伴う boundary function の四次導関数の正性に関する Fesenko (2010) の関連した予想は一般リーマン予想の極部分を本質的に含む。Suzuki (2011) はある技術的仮定と合わせて後者がフェセンコの予想を導くことを示した。 有限体上のリーマン予想のドリーニュの証明は、もとのゼータ関数の零点の実部を制限するために、零点と極がもとのゼータ関数の零点と極の和に対応する、積多様体のゼータ関数を用いた。アナロジーによって、Kurokawa (1992) は零点と極がリーマンゼータ関数の零点と極の和に対応する多重ゼータ関数を導入した。級数を収束させるため彼はすべて非負の虚部をもつ零点や極の和に制限した。今のところ、多重ゼータ関数の零点と極について知られている制限はリーマンゼータ関数の零点に対して有用な評価を与えるほど強くない。 関数等式を偏角の原理と合わせて考えれば虚部が 0 と T の間にあるゼータ関数の零点の個数は s = 1/2 + iT に対して次で与えられる： N ( T ) = 1 π A r g ⁡ ( ξ ( s ) ) = 1 π Arg ⁡ ( Γ ( s 2 ) π − s / 2 ζ ( s ) s ( s − 1 ) 2 ) . {\displaystyle N(T)={\frac {1}{\pi }}\mathop {\mathrm {Arg} } (\xi (s))={\frac {1}{\pi }}\operatorname {Arg} \left(\Gamma \left({\frac {s}{2}}\right)\pi ^{-s/2}\zeta (s){\frac {s(s-1)}{2}}\right).} ここに偏角は、偏角 0 の ∞ + iT から出発し、直線 Im s =T に沿って連続的に変化させることで定義される。これは大きいがよく分かっている項 1 π Arg ⁡ ( Γ ( s 2 ) π − s / 2 s ( s − 1 ) 2 ) = T 2 π log ⁡ T 2 π − T 2 π + 7 8 + O ( 1 / T ) {\displaystyle {\frac {1}{\pi }}\operatorname {Arg} \left(\Gamma \left({\frac {s}{2}}\right)\pi ^{-s/2}{\frac {s(s-1)}{2}}\right)={\frac {T}{2\pi }}\log {\frac {T}{2\pi }}-{\frac {T}{2\pi }}+{\frac {7}{8}}+O(1/T)} と小さいがよく分かっていない項 S ( T ) = 1 π Arg ⁡ ( ζ ( 1 2 + i T ) ) = O ( log ⁡ T ) {\displaystyle S(T)={\frac {1}{\pi }}\operatorname {Arg} \left(\zeta \left({\frac {1}{2}}+iT\right)\right)=O(\log T)} の和である。なので虚部が T の近くの零点の密度は約 (log T)/2π であり、関数 S はこれとの小さな差を記述する。関数 S(t) はゼータ関数の各零点において 1 飛び、t ≥ 8 に対しては零点の間で導関数がおよそ −log t で単調に減少する。 Hardy (1914) と Hardy & Littlewood (1921) は、ゼータ関数に関連したある関数のモーメントを考えることによって、臨界線上には零点が無限個存在することを証明した。Selberg (1942) は、少なくとも（小さい）正の割合の零点は臨界帯上にあることを証明した。Levinson (1974) は、ゼータ関数の零点をゼータ関数の導関数の零点と関連付けることで、それを 1/3 に改善し、Conrey (1989) はさらに 2/5 に改善した。 リーマン予想に関する数学の論文はそれが真であるかどうか注意深く明言しない傾向にある。Riemann (1859) や Bombieri (2000) のように、意見を述べる人の大半は、リーマン予想は正しいと予想（あるいは少なくとも期待）している。これについて深刻に疑っていることを表明する人は少なく、その中には Ivić (2008) や Littlewood (1962) がいる。Ivić は懐疑的に考えている理由を並べている。また Littlewood は、誤りであると信じており、正しいという何らの証拠がない、正しいことを示す想像できる理由も全く存在しない、ときっぱり述べている。サーベイの論文 (Bombieri 2000, Conrey 2003, Sarnak 2008) の共通認識としては、リーマン予想が正しいという証拠は、強いが圧倒的ではないので、おそらく正しいであろうが、これを疑うのも妥当であるとしている。 与えられた数より小さい素数の個数について - リーマンの原論文。エドワーズ (2012)・鹿野 (1991)・リーマン (2004)に収録。 一般リーマン予想 L関数 ゼータ関数 素数定理 大リーマン予想（英語版） ヒルベルトの23の問題 ヒルベルトの第八問題（英語版） ヒルベルト・ポリア予想 ベルンハルト・リーマン ミレニアム懸賞問題 モンゴメリー・オドリズコ予想 有限体上の曲線に対するリーマン予想（英語版） ^ Re は複素数の実部を示す記号。 ^ 素数計数関数 π(x) の対数積分による近似公式を指す。同値命題の節の第一の命題を参照。リーマンの素数公式より、π(x) の対数積分による近似の誤差項はゼータ関数の零点が臨界帯の両端から遠ければ遠いほど小さくなることが分かる。この距離が最大限に遠いということ、即ち全てのゼータ零点が臨界帯の中心線上に整列しており、近似の誤差がその方針で考え得る限り最も小さくなるだろうということがリーマン予想のそもそもの意味である。 ^ 証明の手法は次の点で面白い：不等式は初めリーマン予想が正しいという仮定のもとで示され、次に反対の仮定のもとで示される。 ^ Bombieri 2000. ^ 中村, 亨. (2015). リーマン予想とは何か. 講談社, 東京.  ^ Nash, J. F.; Rassias, M. Th. (2016). Open Problems in Mathematics. Springer, New York.  ^ Connes, Alain (2016年). “An Essay on the Riemann Hypothesis”. In: Open Problems in Mathematics (J. F. Nash Jr. and M. Th. Rassias, eds.), Springer: 225–257. doi:10.1007/978-3-319-32162-2_5.  ^ ダービーシャー 2004, pp. 309, 411. ^ Helge von Koch, "Sur la distribution des nombres premiers", Acta Mathematica 24 (1901), 159–182. doi:10.1007/BF02403071 ^ Lagarias, Jeffrey C., "An elementary problem equivalent to the Riemann hypothesis." American Mathematical Monthly 109 (2002), no. 6, 534-543. ^ Ingham 1932, Theorem 30. ^ Ingham 1932, p. 82. ^ J.E. Littlewood, 1912; see for instance: paragraph 14.25 in Titchmarsh (1986) ^ Franel & Landau 1924. ^ Titchmarsh 1986. ^ Nicely 1999. ^ “the Riemann hypothesis”. arxiv.org (2018年10月3日). 2018年10月3日閲覧。 ^ “リーマン予想 - 意味・説明・解説 : ASCII.jpデジタル用語辞典” (日本語). yougo.ascii.jp. 2018年10月11日閲覧。 ^ リーマン予想の150年. Kurokawa, Nobushige, 1952-, 黒川, 信重, 1952-. 東京: 岩波書店. (2009). ISBN 9784000067928. OCLC 676013439. https://www.worldcat.org/oclc/676013439.  ^ “Famed mathematician claims proof of 160-year-old Riemann hypothesis” (英語). New Scientist. https://www.newscientist.com/article/2180406-famed-mathematician-claims-proof-of-160-year-old-riemann-hypothesis/#.W6l4nF6LAG9.twitter 2018年9月25日閲覧。  ^ “2018-The_Riemann_Hypothesis.pdf”. Google Docs. https://drive.google.com/file/d/17NBICP6OcUSucrXKNWvzLmrQpfUrEKuY/view 2018年9月25日閲覧。  ^ “超難問「リーマン予想」証明？　英数学者に懐疑的な声も：朝日新聞デジタル” (日本語). 朝日新聞デジタル. https://digital.asahi.com/articles/ASL9T42NNL9TULBJ004.html?_requesturl=articles/ASL9T42NNL9TULBJ004.html&rm=606 2018年10月11日閲覧。  和書 ハロルド・M・エドワーズ 『明解 ゼータ関数とリーマン予想』 鈴木治郎 訳、講談社、2012年6月25日。ISBN 978-4-06-155799-4。 - 原タイトル：Riemann's Zeta Function. 『リーマン予想』 鹿野健 編、日本評論社、1991年9月。ISBN 4-535-78181-8。 ジョン・ダービーシャー 『素数に憑かれた人たち　リーマン予想への挑戦』 松浦俊輔 訳、日経BP社、2004年8月30日。ISBN 4-8222-8204-X。 - 原タイトル：Prime obsession. リーマン 『リーマン論文集』 足立恒雄・杉浦光夫・長岡亮介 編、朝倉書店、2004年2月20日。ISBN 4-254-11460-5。 洋書 Artin, Emil (1924), “Quadratische Körper im Gebiete der höheren Kongruenzen. II. Analytischer Teil”, Mathematische Zeitschrift 19 (1): 207–246, doi:10.1007/BF01181075  Backlund, R. J. (1914), “Sur les Zéros de la Fonction ζ(s) de Riemann”, C. R. Acad. Sci. Paris 158: 1979–1981, http://gallica.bnf.fr/ark:/12148/bpt6k3111d/f1983.image  Beurling, Arne (1955), “A closure problem related to the Riemann zeta-function”, Proceedings of the National Academy of Sciences of the United States of America 41 (5): 312–314, doi:10.1073/pnas.41.5.312, MR 0070655  Bohr, H.; Landau, E. (1914), “Ein Satz über Dirichletsche Reihen mit Anwendung auf die ζ-Funktion und die L-Funktionen”, Rendiconti del Circolo Matematico di Palermo 37 (1): 269–272, doi:10.1007/BF03014823  Bombieri, Enrico (2000) (PDF), The Riemann Hypothesis – official problem description, Clay Mathematics Institute, http://www.claymath.org/sites/default/files/official_problem_description.pdf 2008年10月25日閲覧。  Reprinted in (Borwein et al. 2008). Borwein, Peter; Choi, Stephen; Rooney, Brendan et al., eds. (2008), The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike, CMS Books in Mathematics, New York: Springer, doi:10.1007/978-0-387-72126-2, ISBN 978-0-387-72125-5  Borwein, Peter; Ferguson, Ron; Mossinghoff, Michael J. (2008), “Sign changes in sums of the Liouville function”, Mathematics of Computation 77 (263): 1681–1694, doi:10.1090/S0025-5718-08-02036-X, MR 2398787  de Branges, Louis (1992), “The convergence of Euler products”, Journal of Functional Analysis 107 (1): 122–210, doi:10.1016/0022-1236(92)90103-P, MR 1165869  Cartier, P. (1982), “Comment l'hypothèse de Riemann ne fut pas prouvée”, Seminar on Number Theory, Paris 1980–81 (Paris, 1980/1981), Progr. Math., 22, Boston, MA: Birkhäuser Boston, pp. 35–48, MR 693308  Connes, Alain (1999), “Trace formula in noncommutative geometry and the zeros of the Riemann zeta function”, Selecta Mathematica. New Series 5 (1): 29–106, arXiv:math/9811068, doi:10.1007/s000290050042, MR 1694895  Connes, Alain (2000), “Noncommutative geometry and the Riemann zeta function”, Mathematics: frontiers and perspectives, Providence, R.I.: American Mathematical Society, pp. 35–54, MR 1754766  Conrey, J. B. (1989), “More than two fifths of the zeros of the Riemann zeta function are on the critical line”, J. Reine angew. Math. 399: 1–16, MR 1004130, http://www.digizeitschriften.de/resolveppn/GDZPPN002206781  Conrey, J. Brian (2003), “The Riemann Hypothesis” (PDF), Notices of the American Mathematical Society: 341–353, http://www.ams.org/notices/200303/fea-conrey-web.pdf  Reprinted in (Borwein et al. 2008). Conrey, J. B.; Li, Xian-Jin (2000), “A note on some positivity conditions related to zeta and L-functions”, International Mathematics Research Notices 2000 (18): 929–940, arXiv:math/9812166, doi:10.1155/S1073792800000489, MR 1792282  Deligne, Pierre (1974), “La conjecture de Weil. I”, Publications Mathématiques de l'IHÉS 43: 273–307, doi:10.1007/BF02684373, MR 0340258, http://www.numdam.org/item?id=PMIHES_1974__43__273_0  Deligne, Pierre (1980), “La conjecture de Weil : II”, Publications Mathématiques de l'IHÉS 52: 137–252, doi:10.1007/BF02684780, http://www.numdam.org/item?id=PMIHES_1980__52__137_0  Deninger, Christopher (1998), “Some analogies between number theory and dynamical systems on foliated spaces”, Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998), Documenta Mathematica, pp. 163–186, MR 1648030, http://www.mathematik.uni-bielefeld.de/documenta/xvol-icm/00/Deninger.MAN.html  Derbyshire, John (2003), Prime Obsession, Joseph Henry Press, Washington, DC, ISBN 978-0-309-08549-6, MR 1968857  Dudek, Adrian W. (2014-08-21), “On the Riemann hypothesis and the difference between primes”, International Journal of Number Theory 11 (03): 771–778, doi:10.1142/S1793042115500426, ISSN 1793-0421, http://www.worldscientific.com/doi/abs/10.1142/S1793042115500426  Dyson, Freeman (2009), “Birds and frogs”, Notices of the American Mathematical Society 56 (2): 212–223, MR 2483565, http://www.ams.org/notices/200902/rtx090200212p.pdf  Edwards, H. M. (1974), Riemann's Zeta Function, New York: Dover Publications, ISBN 978-0-486-41740-0, MR 0466039  Fesenko, Ivan (2010), “Analysis on arithmetic schemes. II”, Journal of K-theory 5 (3): 437–557, doi:10.1017/is010004028jkt103  Ford, Kevin (2002), “Vinogradov's integral and bounds for the Riemann zeta function”, Proceedings of the London Mathematical Society. Third Series 85 (3): 565–633, doi:10.1112/S0024611502013655, MR 1936814  Franel, J.; Landau, E. (1924), “Les suites de Farey et le problème des nombres premiers" (Franel, 198–201); "Bemerkungen zu der vorstehenden Abhandlung von Herrn Franel (Landau, 202–206)”, Göttinger Nachrichten: 198–206  Ghosh, Amit (1983), “On the Riemann zeta function—mean value theorems and the distribution of |S(T)|”, J. Number Theory 17: 93–102, doi:10.1016/0022-314X(83)90010-0  Gourdon, Xavier (2004) (PDF), The 1013 first zeros of the Riemann Zeta function, and zeros computation at very large height, http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeros1e13-1e24.pdf  Gram, J. P. (1903), “Note sur les zéros de la fonction ζ(s) de Riemann”, Acta Mathematica 27: 289–304, doi:10.1007/BF02421310  Hadamard, Jacques (1896), “Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques”, Bulletin Société Mathématique de France 14: 199–220, http://www.numdam.org/item?id=BSMF_1896__24__199_1  Reprinted in (Borwein et al. 2008). Hardy, G. H. (1914), “Sur les Zéros de la Fonction ζ(s) de Riemann”, C. R. Acad. Sci. Paris 158: 1012–1014, JFM 45.0716.04, http://gallica.bnf.fr/ark:/12148/bpt6k3111d.image.f1014.langEN  Reprinted in (Borwein et al. 2008). Hardy, G. H.; Littlewood, J. E. (1921), “The zeros of Riemann's zeta-function on the critical line”, Math. Z. 10 (3–4): 283–317, doi:10.1007/BF01211614  Haselgrove, C. B. (1958), “A disproof of a conjecture of Pólya”, Mathematika 5 (2): 141–145, doi:10.1112/S0025579300001480, ISSN 0025-5793, MR 0104638, Zbl 0085.27102  Reprinted in (Borwein et al. 2008). Haselgrove, C. B.; Miller, J. C. P. (1960), Tables of the Riemann zeta function, Royal Society Mathematical Tables, Vol. 6, Cambridge University Press, ISBN 978-0-521-06152-0, MR 0117905  Review Hutchinson, J. I. (1925), “On the Roots of the Riemann Zeta-Function”, Transactions of the American Mathematical Society 27 (1): 49–60, doi:10.2307/1989163, JSTOR 1989163, http://jstor.org/stable/1989163  Ingham, A.E. (1932), The Distribution of Prime Numbers, Cambridge Tracts in Mathematics and Mathematical Physics, 30, Cambridge University Press . Reprinted 1990, ISBN 978-0-521-39789-6, MR1074573 Ireland, Kenneth; Rosen, Michael (1990), A Classical Introduction to Modern Number Theory (Second edition), New York: Springer, ISBN 0-387-97329-X  Ivić, A. (1985), The Riemann Zeta Function, New York: John Wiley & Sons, ISBN 978-0-471-80634-9, MR 0792089  (Reprinted by Dover 2003) Ivić, Aleksandar (2008), “On some reasons for doubting the Riemann hypothesis”, in Borwein, Peter; Choi, Stephen; Rooney, Brendan et al., The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike, CMS Books in Mathematics, New York: Springer, pp. 131–160, arXiv:math.NT/0311162, ISBN 978-0-387-72125-5  Karatsuba, A. A. (1984a), “Zeros of the function ζ(s) on short intervals of the critical line” (Russian), Izv. Akad. Nauk SSSR, Ser. Mat. 48 (3): 569–584, MR 0747251  Karatsuba, A. A. (1984b), “Distribution of zeros of the function ζ(1/2 + it)” (Russian), Izv. Akad. Nauk SSSR, Ser. Mat. 48 (6): 1214–1224, MR 0772113  Karatsuba, A. A. (1985), “Zeros of the Riemann zeta-function on the critical line” (Russian), Trudy Mat. Inst. Steklov. (167): 167–178, MR 0804073  Karatsuba, A. A. (1992), “On the number of zeros of the Riemann zeta-function lying in almost all short intervals of the critical line” (Russian), Izv. Ross. Akad. Nauk, Ser. Mat. 56 (2): 372–397, MR 1180378  Karatsuba, A. A.; Voronin, S. M. (1992), The Riemann zeta-function, de Gruyter Expositions in Mathematics, 5, Berlin: Walter de Gruyter & Co., ISBN 978-3-11-013170-3, MR 1183467  Keating, Jonathan P.; Snaith, N. C. (2000), “Random matrix theory and ζ(1/2 + it)”, Communications in Mathematical Physics 214 (1): 57–89, doi:10.1007/s002200000261, MR 1794265  Knauf, Andreas (1999), “Number theory, dynamical systems and statistical mechanics”, Reviews in Mathematical Physics. A Journal for Both Review and Original Research Papers in the Field of Mathematical Physics 11 (8): 1027–1060, doi:10.1142/S0129055X99000325, MR 1714352  von Koch, Helge (1901), “Sur la distribution des nombres premiers”, Acta Mathematica 24: 159–182, doi:10.1007/BF02403071  Kurokawa, Nobushige (1992), “Multiple zeta functions: an example”, Zeta functions in geometry (Tokyo, 1990), Adv. Stud. Pure Math., 21, Tokyo: Kinokuniya, pp. 219–226, MR 1210791  Lapidus, Michel L. (2008), In search of the Riemann zeros, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-4222-5, MR 2375028  Lavrik, A. F. (2001), “Zeta-function”, in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://eom.springer.de/Z/z099260.htm  Lehmer, D. H. (1956), “Extended computation of the Riemann zeta-function”, Mathematika. A Journal of Pure and Applied Mathematics 3 (2): 102–108, doi:10.1112/S0025579300001753, MR 0086083  Leichtnam, Eric (2005), “An invitation to Deninger's work on arithmetic zeta functions”, Geometry, spectral theory, groups, and dynamics, Contemp. Math., 387, Providence, RI: Amer. Math. Soc., pp. 201–236, MR 2180209 . Levinson, N. (1974), “More than one-third of the zeros of Riemann's zeta function are on σ = 1/2”, Adv. In Math. 13 (4): 383–436, doi:10.1016/0001-8708(74)90074-7, MR 0564081  Littlewood, J. E. (1962), “The Riemann hypothesis”, The scientist speculates: an anthology of partly baked idea, New York: Basic books  van de Lune, J.; te Riele, H. J. J.; Winter, D. T. (1986), “On the zeros of the Riemann zeta function in the critical strip. IV”, Mathematics of Computation 46 (174): 667–681, doi:10.2307/2008005, JSTOR 2008005, MR 829637, http://jstor.org/stable/2008005  Massias, J.-P.; Nicolas, Jean-Louis; Robin, G. (1988), “Évaluation asymptotique de l'ordre maximum d'un élément du groupe symétrique”, Polska Akademia Nauk. Instytut Matematyczny. Acta Arithmetica 50 (3): 221–242, MR 960551, http://matwbn.icm.edu.pl/tresc.php?wyd=6&tom=50&jez=  Mazur, Barry; Stein, William (2014), Primes. What is Riemann's hypothesis?, http://modular.math.washington.edu/rh/  Montgomery, Hugh L. (1973), “The pair correlation of zeros of the zeta function”, Analytic number theory, Proc. Sympos. Pure Math., XXIV, Providence, R.I.: American Mathematical Society, pp. 181–193, MR 0337821  Reprinted in (Borwein et al. 2008). Montgomery, Hugh L. (1983), “Zeros of approximations to the zeta function”, in Erdős, Paul, Studies in pure mathematics. To the memory of Paul Turán, Basel, Boston, Berlin: Birkhäuser, pp. 497–506, ISBN 978-3-7643-1288-6, MR 820245  Nicely, Thomas R. (1999), “New maximal prime gaps and first occurrences”, Mathematics of Computation 68 (227): 1311–1315, doi:10.1090/S0025-5718-99-01065-0, MR 1627813, http://www.trnicely.net/gaps/gaps.html . Nyman, Bertil (1950), On the One-Dimensional Translation Group and Semi-Group in Certain Function Spaces, PhD Thesis, University of Uppsala: University of Uppsala, MR 0036444  Odlyzko, A. M.; te Riele, H. J. J. (1985), “Disproof of the Mertens conjecture”, Journal für die reine und angewandte Mathematik 357 (357): 138–160, doi:10.1515/crll.1985.357.138, MR 783538, http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262633  Odlyzko, A. M. (1987), “On the distribution of spacings between zeros of the zeta function”, Mathematics of Computation 48 (177): 273–308, doi:10.2307/2007890, JSTOR 2007890, MR 866115, http://jstor.org/stable/2007890  Odlyzko, A. M. (1990), “Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions: a survey of recent results”, Séminaire de Théorie des Nombres de Bordeaux, Série 2 2 (1): 119–141, doi:10.5802/jtnb.22, MR 1061762, http://www.numdam.org/item?id=JTNB_1990__2_1_119_0  Odlyzko, A. M. (1992), The 1020-th zero of the Riemann zeta function and 175 million of its neighbors, 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. Odlyzko, A. M. (1998), The 1021st zero of the Riemann zeta function, http://www.dtc.umn.edu/~odlyzko/unpublished/zeta.10to21.pdf  Ono, Ken; Soundararajan, K. (1997), “Ramanujan's ternary quadratic form”, Inventiones Mathematicae 130 (3): 415–454, doi:10.1007/s002220050191  Patterson, S. J. (1988), An introduction to the theory of the Riemann zeta-function, Cambridge Studies in Advanced Mathematics, 14, Cambridge University Press, ISBN 978-0-521-33535-5, MR 933558  Radziejewski, Maciej (2007), “Independence of Hecke zeta functions of finite order over normal fields”, Transactions of the American Mathematical Society 359 (5): 2383–2394, doi:10.1090/S0002-9947-06-04078-5, MR 2276625, "There are infinitely many nonisomorphic algebraic number fields whose Dedekind zeta functions have infinitely many nontrivial multiple zeros."  Ribenboim, Paulo (1996), The New Book of Prime Number Records, New York: Springer, ISBN 0-387-94457-5  Riemann, Bernhard (1859), “Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse”, Monatsberichte der Berliner Akademie, http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Zeta/ . In Gesammelte Werke, Teubner, Leipzig (1892), Reprinted by Dover, New York (1953). Original manuscript (with English translation). Reprinted in (Borwein et al. 2008) and (Edwards 1974) Riesel, Hans; Göhl, Gunnar (1970), “Some calculations related to Riemann's prime number formula”, Mathematics of Computation 24 (112): 969–983, doi:10.2307/2004630, JSTOR 2004630, MR 0277489, http://jstor.org/stable/2004630  Riesz, M. (1916), “Sur l'hypothèse de Riemann”, Acta Mathematica 40: 185–190, doi:10.1007/BF02418544  Robin, G. (1984), “Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann”, Journal de Mathématiques Pures et Appliquées, Neuvième Série 63 (2): 187–213, MR 774171  Rockmore, Dan (2005), Stalking the Riemann hypothesis, Pantheon Books, ISBN 978-0-375-42136-5, MR 2269393  Rosser, J. Barkley; Yohe, J. M.; Schoenfeld, Lowell (1969), “Rigorous computation and the zeros of the Riemann zeta-function. (With discussion)”, Information Processing 68 (Proc. IFIP Congress, Edinburgh, 1968), Vol. 1: Mathematics, Software, Amsterdam: North-Holland, pp. 70–76, MR 0258245  Rudin, Walter (1973), Functional Analysis, 1st edition (January 1973), New York: McGraw-Hill, ISBN 0-070-54225-2  Sabbagh, Karl (2003a), The Riemann hypothesis, Farrar, Straus and Giroux, New York, ISBN 978-0-374-25007-2, MR 1979664  Sabbagh, Karl (2003b), Dr. Riemann's zeros, Atlantic Books, London, ISBN 978-1-843-54101-1, http://books.google.com/?id=JesSAQAAMAAJ  Salem, Raphaël (1953), “Sur une proposition équivalente à l'hypothèse de Riemann”, Les Comptes rendus de l'Académie des sciences 236: 1127–1128, MR 0053148  Sarnak, Peter (2008), “Problems of the Millennium: The Riemann Hypothesis”, in Borwein, Peter; Choi, Stephen; Rooney, Brendan et al. (PDF), The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike, CMS Books in Mathematics, New York: Springer, pp. 107–115, ISBN 978-0-387-72125-5, http://www.claymath.org/sites/default/files/sarnak_rh_0.pdf  du Sautoy, Marcus (2003), The music of the primes, HarperCollins Publishers, ISBN 978-0-06-621070-4, MR 2060134  Schoenfeld, Lowell (1976), “Sharper bounds for the Chebyshev functions θ(x) and ψ(x). II”, Mathematics of Computation 30 (134): 337–360, doi:10.2307/2005976, JSTOR 2005976, MR 0457374, http://jstor.org/stable/2005976  Schumayer, Daniel; Hutchinson, David A. W. (2011), Physics of the Riemann Hypothesis, arXiv:1101.3116  Selberg, Atle (1942), “On the zeros of Riemann's zeta-function”, Skr. Norske Vid. Akad. Oslo I. 10: 59 pp, MR 0010712  Selberg, Atle (1946), “Contributions to the theory of the Riemann zeta-function”, Arch. Math. Naturvid. 48 (5): 89–155, MR 0020594  Selberg, Atle (1956), “Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series”, J. Indian Math. Soc. (N.S.) 20: 47–87, MR 0088511  Serre, Jean-Pierre (1969–1970), “Facteurs locaux des fonctions zeta des varietés algébriques (définitions et conjectures)”, Séminaire Delange-Pisot-Poitou 19, https://eudml.org/doc/110758  Sheats, Jeffrey T. (1998), “The Riemann hypothesis for the Goss zeta function for Fq[T]”, Journal of Number Theory 71 (1): 121–157, doi:10.1006/jnth.1998.2232, MR 1630979  Siegel, C. L. (1932), “Über Riemanns Nachlaß zur analytischen Zahlentheorie”, Quellen Studien zur Geschichte der Math. Astron. und Phys. Abt. B: Studien 2: 45–80  Reprinted in Gesammelte Abhandlungen, Vol. 1. Berlin: Springer-Verlag, 1966. Speiser, Andreas (1934), “Geometrisches zur Riemannschen Zetafunktion”, Mathematische Annalen 110: 514–521, doi:10.1007/BF01448042, JFM 60.0272.04, http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0110&DMDID=DMDLOG_0032&L=1  Spira, Robert (1968), “Zeros of sections of the zeta function. II”, Mathematics of Computation 22: 163–173, doi:10.2307/2004774, MR 0228456  Stein, William; Mazur, Barry (2007) (PDF), What is Riemann’s Hypothesis?, オリジナルの2009年3月27日時点によるアーカイブ。, https://web.archive.org/web/20090327181331/http://modular.math.washington.edu/edu/2007/simuw07/notes/rh.pdf  Suzuki, Masatoshi (2011), “Positivity of certain functions associated with analysis on elliptic surfaces”, Journal of Number Theory 131 (10): 1770–1796, doi:10.1016/j.jnt.2011.03.007  Titchmarsh, Edward Charles (1935), “The Zeros of the Riemann Zeta-Function”, Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences (The Royal Society) 151 (873): 234–255, doi:10.1098/rspa.1935.0146, JSTOR 96545, http://jstor.org/stable/96545  Titchmarsh, Edward Charles (1936), “The Zeros of the Riemann Zeta-Function”, Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences (The Royal Society) 157 (891): 261–263, doi:10.1098/rspa.1936.0192, JSTOR 96692, http://jstor.org/stable/96692  Titchmarsh, Edward Charles (1986), The theory of the Riemann zeta-function (2nd ed.), The Clarendon Press Oxford University Press, ISBN 978-0-19-853369-6, MR 882550  Trudgian, Timothy (2011), “On the success and failure of Gram's Law and the Rosser Rule”, Acta Arithmetica 125 (3): 225–256, doi:10.4064/aa148-3-2  Turán, Paul (1948), “On some approximative Dirichlet-polynomials in the theory of the zeta-function of Riemann”, Danske Vid. Selsk. Mat.-Fys. Medd. 24 (17): 36, MR 0027305  Reprinted in (Borwein et al. 2008). Turing, Alan M. (1953), “Some calculations of the Riemann zeta-function”, Proceedings of the London Mathematical Society. Third Series 3: 99–117, doi:10.1112/plms/s3-3.1.99, MR 0055785  de la Vallée-Poussin, Ch.J. (1896), “Recherches analytiques sur la théorie des nombers premiers”, Ann. Soc. Sci. Bruxelles 20: 183–256  de la Vallée-Poussin, Ch.J. (1899–1900), “Sur la fonction ζ(s) de Riemann et la nombre des nombres premiers inférieurs à une limite donnée”, Mem. Couronnes Acad. Sci. Belg. 59 (1)  Reprinted in (Borwein et al. 2008). Weil, André (1948), Sur les courbes algébriques et les variétés qui s'en déduisent, Actualités Sci. Ind., no. 1041 = Publ. Inst. Math. Univ. Strasbourg 7 (1945), Hermann et Cie., Paris, MR 0027151  Weil, André (1949), “Numbers of solutions of equations in finite fields”, Bulletin of the American Mathematical Society 55 (5): 497–508, doi:10.1090/S0002-9904-1949-09219-4, MR 0029393  Reprinted in Oeuvres Scientifiques/Collected Papers by Andre Weil ISBN 0-387-90330-5 Weinberger, Peter J. (1973), “On Euclidean rings of algebraic integers”, Analytic number theory ( St. Louis Univ., 1972), Proc. Sympos. Pure Math., 24, Providence, R.I.: Amer. Math. Soc., pp. 321–332, MR 0337902  Wiles, Andrew (2000), “Twenty years of number theory”, Mathematics: frontiers and perspectives, Providence, R.I.: American Mathematical Society, pp. 329–342, ISBN 978-0-8218-2697-3, MR 1754786  Zagier, Don (1977), “The first 50 million prime numbers” (PDF), Math. Intelligencer (Springer) 0: 7–19, doi:10.1007/BF03039306, MR 643810, オリジナルの2009年3月27日時点によるアーカイブ。, https://web.archive.org/web/20090327181245/http://modular.math.washington.edu/edu/2007/simuw07/misc/zagier-the_first_50_million_prime_numbers.pdf  Zagier, Don (1981), “Eisenstein series and the Riemann zeta function”, Automorphic forms, representation theory and arithmetic (Bombay, 1979), Tata Inst. Fund. Res. Studies in Math., 10, Tata Inst. Fundamental Res., Bombay, pp. 275–301, MR 633666  知恵蔵2013『リーマン予想』 - コトバンク 原論文「与えられた数より小さな素数の個数について」の日本語訳 (PDF) Weisstein, Eric W. "Riemann Hypothesis". MathWorld（英語）. CS1 maint: Multiple names: authors list The Riemann Hypothesis（英語） American institute of mathematics, Riemann hypothesis Apostol, Tom, Where are the zeros of zeta of s?, http://www.math.wisc.edu/~robbin/funnysongs.html#Zeta  Poem about the Riemann hypothesis, sung by John Derbyshire. Borwein, Peter (PDF), The Riemann Hypothesis, オリジナルの2009年3月27日時点によるアーカイブ。, https://web.archive.org/web/20090327181245/http://oldweb.cecm.sfu.ca/~pborwein/COURSE/MATH08/LECTURE.pdf  (Slides for a lecture) Conrad, K. (2010), Consequences of the Riemann hypothesis, http://mathoverflow.net/questions/17232  Conrey, J. Brian; Farmer, David W, Equivalences to the Riemann hypothesis, オリジナルの2010年3月16日時点によるアーカイブ。, https://web.archive.org/web/20100316235054/http://aimath.org/pl/rhequivalences  Gourdon, Xavier; Sebah, Pascal (2004), Computation of zeros of the Zeta function, http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeroscompute.html  (Reviews the GUE hypothesis, provides an extensive bibliography as well). Odlyzko, Andrew, Home page, http://www.dtc.umn.edu/~odlyzko/  including papers on the zeros of the zeta function and tables of the zeros of the zeta function Odlyzko, Andrew (2002) (PDF), Zeros of the Riemann zeta function: Conjectures and computations, http://www.dtc.umn.edu/~odlyzko/talks/riemann-conjectures.pdf  Slides of a talk Pegg, Ed (2004), Ten Trillion Zeta Zeros, Math Games website, http://www.maa.org/editorial/mathgames/mathgames_10_18_04.html . A discussion of Xavier Gourdon's calculation of the first ten trillion non-trivial zeros Pugh, Glen, Java applet for plotting Z(t), http://web.viu.ca/pughg/RiemannZeta/RiemannZetaLong.html  Rubinstein, Michael, algorithm for generating the zeros, オリジナルの2007年4月27日時点によるアーカイブ。, https://web.archive.org/web/20070427221654/http://pmmac03.math.uwaterloo.ca/~mrubinst/l_function_public/L.html . du Sautoy, Marcus (2006), Prime Numbers Get Hitched, Seed Magazine, http://www.seedmagazine.com/news/2006/03/prime_numbers_get_hitched.php  Stein, William A., What is Riemann's hypothesis, オリジナルの2009年1月4日時点によるアーカイブ。, https://web.archive.org/web/20090104104251/http://modular.math.washington.edu/edu/2007/simuw07/index.html  de Vries, Andreas (2004), The Graph of the Riemann Zeta function ζ(s), http://math-it.org/Mathematik/Riemann/RiemannApplet.html , a simple animated Java applet. Watkins, Matthew R. (2007-07-18), Proposed proofs of the Riemann Hypothesis, http://secamlocal.ex.ac.uk/~mwatkins/zeta/RHproofs.htm  Zetagrid (2002) A distributed computing project that attempted to disprove Riemann's hypothesis; closed in November 2005 NHKスペシャル 魔性の難問 リーマン予想・天才たちの闘い - NHK名作選(動画・静止画) NHKアーカイブス