リーマン予想

[thumb|300px|リーマンのゼータ関数  () の実部（赤線）と虚部（青線）。最初の非自明な[零点が  に現れる。]]

数学において**リーマン予想**（リーマンよそう、, 、略称:**RH**）は、リーマンゼータ関数の零点が、負の偶数と、実部が  の複素数に限られるという予想である。**リーマン仮説**とも。ドイツの数学者ベルンハルト・リーマン(1859)により提唱されたため、その名称が付いている。この名称は密接に関連した類似物に対しても使われ、例えば有限体上の曲線のリーマン予想がある。

リーマン予想は素数の分布についての結果を含んでいる。適切な一般化と合わせて、純粋数学において最も重要な未解決問題であると考える数学者もいる。リーマン予想は、ゴールドバッハの予想とともに、ヒルベルトの23の問題のリストのうちのの一部である。クレイ数学研究所のミレニアム懸賞問題の1つでもある。

リーマンゼータ関数  は  を除くすべての複素数  で定義され、複素数の値をとる関数である。その零点（つまり、関数値が  となる ）のうち、負の偶数  はその**自明な零点**と呼ばれる。しかしながら、負の偶数以外の零点も存在し、**非自明な零点**と呼ばれる。リーマン予想はこの非自明な零点の位置についての主張である：
:リーマンゼータ関数のすべての非自明な零点の実部は  である。
いいかえると、
:リーマンゼータ関数のすべての非自明な零点は、複素数平面上の直線 （ は実数）上にある。ここで  は虚数単位である。この直線を**臨界線** () という。

リーマン予想に関する入門向けの書籍が何冊か存在する。

## 概要
ベルンハルト・リーマンは素数の分布に関する研究を行っている際にレオンハルト・オイラーが研究していた以下の級数をゼータ関数と名づけ、解析接続を用いて複素数全体への拡張を行った。

ゼータ関数を次のように定義する（複素数  の実部が  より大きいとき、この級数は絶対収束する）。
:\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年にリーマンは自身の論文の中で、複素数全体 () へゼータ関数を拡張した場合、

と予想した。ここに、自明な零点とは負の偶数 () のことである。自明でない零点は  の範囲にしか存在しないことが知られており（下記の歴史を参照）、この範囲を臨界帯という。

なお素数定理はリーマン予想と同値な近似公式からの帰結であるが、素数定理自体はリーマン予想が真であるという仮定がなくとも証明できる。この注意は歴史的には重要なことで、実際リーマンがはっきりとは素数定理を証明できなかった理由はリーマン予想の正否にこだわっていたためであると思われている（素数分布とゼータ関数との関係は下記#素数の分布や、リーマンゼータ関数、素数定理、リーマンの素数公式の項を参照のこと）。

現在もリーマン予想は解決されていない。数学における最も重要な未解決問題の一つである。リーマンのゼータ関数を特殊な場合に含むL関数に対しても同様の予想を考えることができ、これを一般化されたリーマン予想（：GRHと略される）と呼んでいる。

最近では、虚部が小さい方から10兆個 (X. Gourdon and P. Demichel, 2004) までの複素零点はすべてリーマン予想を満たすことが計算されており、現在までにまだ反例は知られていない。現在では多くの数学者がリーマン予想は正しいと考えているようである。しかし無限にある零点からみれば有限に過ぎない10兆個程度の零点の例などは零点分布の真の姿を反映するには至らないとして、この計算結果に対して慎重な数学者もいる。歴史上有名な数学者の中でもリーマン予想を疑っている人物はいた。

## リーマンゼータ関数
リーマンゼータ関数は実部が  よりも大きい複素数  に対して絶対収束無限級数
:\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s}
= \frac{1}{1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots
によって定義される。レオンハルト・オイラー（リーマンの生まれる40年前に亡くなった）はこの級数がオイラー積
:\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
に等しいことを示した、ここで無限積はすべての素数  を走り、再び実部が  より大きい複素数  に対して収束する。オイラー積の収束は、どの因子も零点を持っていないから、 がこの領域において零点を持たないことを示している。

リーマン予想はこの級数とオイラー積の収束領域の外側での零点について議論する。予想が意味をなすために、関数を解析接続して、すべての複素数  に対して有効な定義を与える必要がある。これは以下のようにの言葉でゼータ関数を表すことによってできる。 の実部が  よりも大きければ、ゼータ関数は
:\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
を満たす。しかしながら、右辺の級数は  の実部が  より大きいときだけでなく、より広く  の実部が正のときにいつでも収束する。したがって、この代わりの級数はゼータ関数を  からより大きい領域  に、 の零点を除いて、拡張する（:en:ディリクレのエータ関数を参照）。ゼータ関数はこれらの除かれた値にも極限を取ることによって拡張でき、 における一位の極を除いて、正の実部を持つすべての  の値に対して有限値を与える。

帯  において、ゼータ関数は関数等式
:\zeta (s)=2^s \pi^{s-1} \, \sin \left( \frac{\pi s}{2} \right) \, \Gamma (1-s)\, \zeta (1-s)
を満たす。すると残りのすべての零でない複素数  に対して  を、この方程式が帯の外側でも成り立つと仮定し、 は  の実部が正でないときに方程式の右辺に等しいとすることで定義できる。 が負の偶数のとき、因子  が消えるから  である。これらがゼータ関数の**自明な零点**である（ が正の偶数のときにはこの議論は適用しない、なぜならば正弦関数の零点はガンマ関数が負の整数の引数を取るからその極によって打ち消されるからである）。値  は関数等式からは定まらないが、 が  に近づくときの  の極限値である。関数等式はまた、ゼータ関数が自明な零点の他には実部が負の零点を持たないことも意味しており、したがってすべての非自明な零点は、 の実部が  と  の間の**臨界帯** (critical strip) にある。

## 歴史
*1859年、リーマンは論文「与えられた数より小さい素数の個数について」を発表し、その中でリーマン予想を提示した。リーマン自身はその証明を試みて成功しなかったことを認めているが中間的な結果としてゼータ関数の自明でない零点の実数部が  について対称であり、かつ  から  の間（境界を含む）にしか存在しないことを示していた。
*1896年、とジャック・アダマールが独立に素数定理を証明したが、それはゼータ関数の零点には実部が1のものが無いことを用いたものであった。よって自明でない零点の実数部の範囲は、境界である1を含まないところにまで狭められた。
*1900年、パリで開かれた第2回国際数学者会議でヒルベルトは数学上の未解決の問題23題（ヒルベルトの23の問題）を提起した。そのなかで、リーマン予想は素数の分布に関する第8番目の問題として含まれている。
*1914年、ゴッドフレイ・ハロルド・ハーディとジョン・エデンサー・リトルウッドは臨界線  上には零点が無限に存在することを示した。ただし、それ以外の自明ではない零点が存在するという可能性は排除できていない。
*1972年、ヒュー・モンゴメリーと物理学者フリーマン・ダイソンが、ゼータ関数上の零点の間隔の分布の式が、あるモデルによる原子核のエネルギー間隔の分布を表す式に一致することを示し、素数分布と核物理現象との関連性が示唆された。これ以降は数理物理学者も加わってリーマン予想の研究が活発化する。
*1996年、シアトルで第一回**世界リーマン予想会議**が開催される。この中でアラン・コンヌが素数問題と非可換幾何との関係性を示した。
*2000年、クレイ数学研究所はリーマン予想の証明を含む数学の未解決問題7問に対してそれぞれ100万ドルの賞金を懸けた（ミレニアム懸賞問題）。
なお、リーマン予想を解決したと主張する論文やレポートは時々現われるが、解決に到達したと認められたものはまだない。

## 帰結
リーマン予想の仮定の下で真である命題や、リーマン予想と同値である命題が、多く知られている。

### 同値な命題
以下の各命題は、リーマン予想と同値である。
*ある定数  が存在して、十分大きな任意の  に対し、
::|\pi(x) - \operatorname{li}(x)| \leq C \sqrt{x} \, \log x
:が成り立つこと。ここに  は対数積分を表す。これは
::\pi(x) = \operatorname{li}(x) + O(x^{\frac{1}{2} + \epsilon})
:と表現しても同じことである。ただし、 はランダウの記号である。
*  に対して
::\sigma(n) \le e^{\gamma} n \log \log n
:が成り立つこと。

### 素数の分布
リーマンの素数公式(リーマンの明示公式)は、与えられた数よりも小さい素数の個数を、リーマンのゼータ関数の零点全てに渡る無限和により表すものであり、予想される位置の周りでの素数の振動の大きさがゼータ関数の零点の実部によって制御されることを述べている。特に、素数定理における誤差項は、零点の位置に密接に関係している。例えば、 が零点の実部の上界であれば、差  は error bound  を持つ。 であることが既に知られている。

Von Koch (1901) はリーマン予想が素数定理の誤差に対する「最良の」上界を導くことを示した。 による，Koch の結果の正確なバージョンによれば、リーマン予想からは
:|\pi(x) - \operatorname{Li}(x)| 
が従う、ただし  は素数計数関数であり、 は  の自然対数である。また\operatorname{Li}(x) \equiv \operatorname{li}(x) - \operatorname{li}(2)。

 はまた、リーマン予想から
:|\psi(x) - x| 
が従うことを示した。ここで  は 第二チェビシェフ関数である。

 はリーマン予想から次のことが従うことを示した：任意の  に対して、ある素数  が存在して、
:x - \frac{4}{\pi} \sqrt{x} \, \log x 
が成り立つ。これはクラメルの定理の明示的なバージョンである。

### 数論的関数の増大
リーマン予想は、上記の素数計数関数に加えて、他の多くの数論的関数の増大に関する強い上界も導く。

1つの例はメビウス関数  に関するものである。等式
:\frac{1}{\zeta(s)} = \sum_{n=1}^\infty \frac{\mu(n)}{n^s}
が、実部が  よりも大きいすべての  に対して右辺の和が収束して成り立つという主張は、リーマン予想と同値である。このことから次のことも結論できる：を
:M(x) = \sum_{n \le x} \mu(n)
によって定義すると、すべての  に対して
:M(x) = O(x^{\frac{1}{2} + \varepsilon})
が成り立つという主張は、リーマン予想と同値である（これらの記号の意味については、ランダウの記法を参照）。order  の の行列式は  に等しいので、リーマン予想はこれらの行列式の増大に関する条件としても述べることができる。リーマン予想は  の増大度についてかなりきつい制限を与える、というのも  がわずかに強い 
:|M(x)| \le \sqrt{x}
を反証したからである．

リーマン予想は  の他の数論的関数の増大率についての多くの予想とも同値である。典型的な例は次の   である： を
:\sigma(n) = \sum_{d \mid n} d
で与えられる約数関数とすると、
:\sigma(n) 
がすべての  に対して成り立つことと、リーマン予想が真であることが同値である。ここで  は Euler–Mascheroni 定数である。

別の例は  によって発見され、ランダウによって拡張された。リーマン予想は Farey 数列の項がかなり規則的であることを示すいくつかの主張と同値である。1つのそのような同値は以下のようである： を  で始まり  までの order  の Farey 数列とすると、すべての  に対して
:\sum_{i=1}^m \left| F_n(i) - \frac{i}{m} \right| = O\left(n^{\frac{1}{2} + \varepsilon}\right)
が成り立つという主張は、リーマン予想と同値である。ここで
:m = \sum_{i=1}^n \phi(i)
は order  の Farey 数列における項の数である。

群論からの例として、 を とする、つまり  次の対称群  の元の最大位数とする。 はリーマン予想が十分大きい全ての  に対する上界
:\log g(n) 
と同値であることを示した．

### リンデレーフ予想とゼータ関数の増大
リーマン予想は様々なより弱い結果も導く。その1つは である。これは臨界線上のゼータ関数の増大率に関する予想で、任意の  に対して、t\rightarrow \infty のとき
:\zeta \left( \frac{1}{2} + it \right) = O(t^\varepsilon)
が成り立つというものである。

リーマン予想はまた、臨界帯の他の領域におけるゼータ関数の増大率に対するかなり鋭い上界も与える。例えば、
:e^\gamma \le \limsup_{t \rightarrow +\infty} \frac{\log (\log t)} \le 2 e^\gamma
:\frac{6}{\pi^2} e^\gamma \le \limsup_{t \rightarrow +\infty} \frac{1}{\log (\log t)\cdot|\zeta (1+it)|}
\le \frac{12}{\pi^2} e^\gamma
を与えるので、 とその逆数の増大率は2倍の違いを除いて分かることになる。

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

### リーマン予想に同値な主張
リーマン予想に同値な多くの主張が発見されているが、これまでのところそれらがリーマン予想を証明する（あるいは反証する）のに大きな進展をもたらしたことはない。いくつかの典型的な例は以下のようである。（他に  に関するものがある。）

Riesz の判定法は  によって与えられた、以下の主張である：
:-\sum_{k=1}^\infty \frac{(-x)^k}{(k-1)! \zeta(2k)} = O\left(x^{\frac{1}{4}+\varepsilon}\right)
がすべての  に対して成り立つこととリーマン予想が成り立つことは同値である。

 はリーマン予想が真であることと次が同値であることを示した：
:f(x) = \sum_{\nu=1}^n c_\nu \rho \left(\frac{\theta_\nu}{x} \right)
の形の関数全体のなす空間、ただし  は  の小数部分で、 で、
:\sum_{\nu=1}^n c_\nu \theta_\nu = 0,
は、単位区間上の二乗可積分関数全体のなすヒルベルト空間  において稠密である。 はこれを次を示すことで拡張した：ゼータ関数が実部が  よりも大きい零点を持たないこととこの関数空間が  において稠密であることは同値である。

 はリーマン予想が真であることと次が同値であることを示した：積分方程式
:\int_0^\infty \frac{z^{-\sigma-1} \phi(z)}{e^{\frac{x}{z}} + 1} \, dz = 0
は  に対して非自明な有界な解  を持たない。

はある関数の正値性がリーマン予想と同値であるという主張である．関連するのは で，ある数列の正値性がリーマン予想と同値であるという主張である。

 はリーマン予想が次の主張と同値であることを証明した： の導関数  は帯
:0 
に零点を持たない。 が臨界線上に1位の零点しか持たないことはその導関数が臨界線上に零点を持たないことと同値である。

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

### 排中律
リーマン予想のいくつかの帰結はその否定の帰結でもあり、したがって定理である。 は，Heilbronnの類数定理の彼らの議論において、次のように言っている：

一般リーマン予想が偽であるということによって何が意味されるかを理解するのに注意を払うべきである：ちょうどどのクラスのディレクレ級数が反例を持っているのか特定すべきである。

このような論法は無理数の無理数乗で表される有理数が少なくとも１つ存在すること（京都大学入試問題）の証明やワイルズによるフェルマーの最終定理の証明などにも見られる（ワイルズの3-5トリック）。

#### リトルウッドの定理
リトルウッドの定理は素数定理における誤差項の符号に関するものである。すべての  に対して  であることが計算されており、 であるような  の値は知られていない。この表を参照。

1914年、リトルウッドは次のことを証明した：
:\pi(x) > \operatorname{Li}(x) + \frac13 \frac{\sqrt{x}}{\log x} \log (\log (\log x))
となるような任意に大きい  の値が存在し、
:\pi(x) 
となるような任意に大きい  の値も存在する。したがって、差  は無限回符号を変える。Skewes 数は最初の符号変化に対応する  の値の評価である．

リトルウッドの証明は2つの部分からなっている。リーマン予想を偽と仮定する部分（ の約半ページ）と、リーマン予想を真と仮定する部分（約12ページ）である。

#### ガウスの類数予想
ガウスの類数予想は，与えられた類数を持つ虚二次体は有限個しかないという（ガウスの Disquisitiones Arithmeticae の article 303 において最初に述べられた）予想である．それを示す1つの方法は、判別式 D\rightarrow-\infty のとき類数 h(D)\rightarrow\infty となることを示すことである。

リーマン予想に関わる以下の定理は  に記されている：
**定理 (Hecke; 1918).**  を虚二次体  の判別式とする。すべての虚二次ディレクレ指標の *L* 関数に対する一般リーマン予想を仮定する。このとき
:h(D) > C \frac{\sqrt}{\log |D|}
となるような絶対的な定数  が存在する。
**定理 (Deuring; 1933).** リーマン予想が偽ならば， が十分大きいとき  である．
**定理 (Mordell; 1934).** リーマン予想が偽ならば、D\rightarrow-\inftyのとき h(D)\rightarrow\infty である。
**定理 (Heilbronn; 1934).** 一般 Riemann 予想がある虚二次 ディレクレ指標の *L* 関数に対して偽ならば、D\rightarrow-\infty のとき h(D)\rightarrow\infty である。
（Hecke と Heilbronn の仕事において、現れる *L* 関数は虚二次指標に付随するものだけであり、それは**一般リーマン予想が真である**あるいは**一般リーマン予想が偽である**ことが意図されているのはそれらの *L* 関数に対してのみである。ある三次のディレクレ指標の *L* 関数に対して一般 リーマン予想が成り立たなければ、一般リーマン予想は成り立たないが、これは Heilbronn が考えていたような一般リーマン予想の不成立ではなく、したがって彼の仮定は単に**一般リーマン予想が偽である**というものよりも限定されていた。）

((【上記注釈の注釈】

一般 リーマン予想(GRH)が真ならば定理が成り立つ**(Hecke; 1918)**

GRHについて虚二次指標のL関数において予想が間違っていれば定理が成り立つ**(Heilbronn; 1934)**

これはつまりガウスの類数予想とGRHの間には本質的な関係はなく以下の通り無関係に証明されたってことになる。

))

1935年、Carl Siegel はリーマン予想や一般リーマン予想を全く用いずに結果を強化した。

#### Growth of Euler's totient
1983年、 は、無限個の  に対して
:\varphi(n) 
であることを示した 。ただし  は Euler のトーシェント関数で， は Euler の定数である。

Ribenboim は次のように注意している：

## 一般化と類似物

### ディリクレの L 級数と他の代数体
リーマンのゼータ関数を、形式的には似ているがはるかに一般的な大域的 ''L''-関数に置き換えることによって、リーマン予想を一般化することができる。このより広い設定において、大域的 *L*-関数の非自明な零点の実部が  であると期待される。リーマンのゼータ関数のみに対する古典的なリーマン予想よりもむしろ、これらの一般化されたリーマン予想が、数学におけるリーマン予想の真の重要性の理由である。

一般化されたリーマン予想 (generalized Riemann hypothesis) は、リーマン予想を全てのディリクレの ''L''-関数へ拡張したものである。とくにこの予想は、（ と  の間にある *L* 関数の零点）が存在しないという予想を含んでいる。

拡張されたリーマン予想 (extended Riemann hypothesis) は、リーマン予想を代数体の全てのデデキントゼータ関数へと拡張したものである。有理数体のアーベル拡大に対する拡張されたリーマン予想は、一般化されたリーマン予想と同値である。リーマン予想は代数体のヘッケ指標の *L*-関数へ拡張することもできる。

 (grand Riemann hypothesis) は、全ての保型形式のゼータ関数（例えばのメリン変換）へ拡張したものである。

## 種々の結果

リーマン予想を証明したと発表した数学者もいるが、正しい解答として受け入れられたものは2019年9月現在存在しない。 はいくつかの正しくない解答をリストしており、より多くの正しくない解答は頻繁に発表されている。

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

### 作用素理論

ヒルベルトとポリヤはリーマン予想を導出する1つの方法は自己共役作用素を見つけることであると提案した。その存在から  の零点の実部に関する例の主張が、実固有値に主張を適用すると従うのである。このアイデアのいくつかの根拠は、零点がある作用素の固有値に対応するリーマンゼータ関数のいくつかの類似から来る：有限体上の多様体のゼータ関数の零点はエタールコホモロジー群上のフロベニウス元の固有値に対応し、セルバーグゼータ関数の零点はリーマン面のラプラス作用素の固有値であり、進ゼータ関数の零点はイデール類群へのガロワ作用の固有ベクトルに対応する。

 は、リーマンゼータ関数の零点の分布はから来るランダム行列の固有値といくつかの統計学的性質を共有していることを示した。これはヒルベルト–ポリヤ予想にいくらかの根拠を与える。

1999年、マイケル・ベリーとは古典ハミルトニアン  のある未知の量子化 \hat H が存在して、以下を満たすと予想した。

: \zeta \left(\frac{1}{2}+i\hat H\right) = 0,

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

: N(s)= \frac{1}{\pi}\operatorname{Arg}\xi\left(\frac{1}{2}+i\sqrt s\right)

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

: V^{-1}(x) = \sqrt{4\pi} \frac{d^{\frac{1}{2}}N(x)}{dx^{\frac{1}{2}}} 

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

: \det\left(H+\frac{1}{4}+s(s-1)\right) 

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

: \frac{\xi(s)}{\xi(0)}=\frac{\det\left(H+s(s-1)+\frac{1}{4}\right)}{\det\left(H+\frac{1}{4}\right)}.

有限体上のリーマン予想との類似は、零点と対応する固有ベクトルを含むヒルベルト空間は整数のスペクトル  のある種の1次コホモロジー群かもしれないと示唆する。 はそのようなコホモロジー論を見つける試みのいくつかを記述した 。

 はラプラス作用素の下でリーマンゼータ関数の零点に対応する固有値をもつ上半平面上の不変関数の自然な空間を構成した。そして、この空間上の適切な正定値内積の存在を示すというありそうもないイベントにおいてリーマン予想が従うことを注意した。 は関連した例を議論した。奇妙なバグによってコンピュータープログラムが同じラプラス作用素の固有値としてリーマンゼータ関数の零点をリストするのである。

 はリーマンゼータ関数に関連した適切な物理模型を構成する試みのいくつかをサーベイした。

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

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

:\sum_{n=1}^N n^{-s}

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

:T(x) = \sum_{n\le x}\frac{\lambda(n)}{n}\ge 0\text{ for } x > 0

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

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

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

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

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

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

## 零点の位置

### 零点の個数
関数等式を偏角の原理と合わせて考えれば虚部が  と  の間にあるゼータ関数の零点の個数は  に対して次で与えられる：
:N(T) = \frac{1}{\pi} \mathop{\mathrm{Arg}}(\xi(s))
=\frac{1}{\pi} \operatorname{Arg} \left( \Gamma \left(\frac{s}{2} \right)
\pi^{-\frac{s}{2}} \zeta(s) \frac{s(s-1)}{2} \right).
ここに偏角は、偏角  の  から出発し、直線  に沿って連続的に変化させることで定義される。これは大きいがよく分かっている項
:\frac{1}{\pi} \operatorname{Arg} \left(\Gamma \left(\frac{s}{2} \right)\pi^{-\frac{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\left(\frac{1}{T}\right)
と小さいがよく分かっていない項
:S(T) = \frac{1}{\pi} \operatorname{Arg} \left( \zeta \left( \frac{1}{2} + iT \right) \right)
 = O(\log T)
の和である。なので虚部が  の近くの零点の密度は約  であり、関数  はこれとの小さな差を記述する。関数  はゼータ関数の各零点において  飛び、 に対しては零点の間で導関数がおよそ  で単調に減少する。

## 零点の存在

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

## 真偽の議論

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

## 関連項目
*与えられた数より小さい素数の個数について - リーマンの原論文。・・に収録。

*一般リーマン予想
*L関数
*ゼータ関数
*素数定理
*素数計数関数
*
*ヒルベルトの23の問題
**
*ヒルベルト・ポリア予想
*ベルンハルト・リーマン
*ミレニアム懸賞問題
*モンゴメリー・オドリズコ予想
*

## 脚注

### 注釈

### 出典

## 参考文献
; 和書
* - 原タイトル：*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日).
; 洋書

* 
* 
* 
* 
*  Reprinted in .
* 
* 
* 
* 
* 
* 
* 
*  Reprinted in .
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
*  Reprinted in .
*  Reprinted in .
* 
*  Reprinted in .
*  Review
* 
* . Reprinted 1990, ISBN 978-0-521-39789-6, 
* 
*  (Reprinted by Dover 2003)
* 
*
*
*
*
* 
* 
* 
* 
* 
* 
* 
* 
*.
* 
* 
* 
* 
*
*  Reprinted in .
* 
* Murphy, P. Terrence: "Study of Bernhard Riemann's 1859 Paper", Paramount Ridge Press,  (2020).
* .
* 
* 
* 
* 
*  This unpublished book describes the implementation of the algorithm and discusses the results in detail.
* 
* 
* 
*
* 
* . In *Gesammelte Werke*, Teubner, Leipzig (1892), Reprinted by Dover, New York (1953). Original manuscript (with English translation). Reprinted in  and 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
*
* 
* 
* 
* 
* 
*  Reprinted in Gesammelte Abhandlungen, Vol. 1. Berlin: Springer-Verlag, 1966.
* 
* 
* 
* 
* 
* 
* 
* 
*  Reprinted in .
* 
* 
*  Reprinted in .
* 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".
* 
*  Reprinted in Oeuvres Scientifiques/Collected Papers by Andre Weil ISBN 0-387-90330-5
* 
* 
* 
* 

## 外部リンク
*
*  Riemann予想の原論文である Bernhard Riemann Ueber die Anzahl der Primzahlen unter einer gegeben Grosse の日本語訳．訳者：鈴木治郎
*
*The Riemann Hypothesis（英語）
* American institute of mathematics, Riemann hypothesis
*  Poem about the Riemann hypothesis, sung by John Derbyshire.
*  (Slides for a lecture)
* 
* 
*  (Reviews the GUE hypothesis, provides an extensive bibliography as well).
*  including papers on the zeros of the zeta function and tables of the zeros of the zeta function
*  Slides of a talk
* . A discussion of Xavier Gourdon's calculation of the first ten trillion non-trivial zeros
* 
* .
* 
* 
* , a simple animated Java applet.
* 
* *[http://www.zetagrid.net/ Zetagrid]* (2002) A distributed computing project that attempted to disprove Riemann's hypothesis; closed in November 2005
*