温度定点
温度 (K )
温度 (°C )
平衡水素の三重点
0 0 13.8033
−259.3467
ネオンの三重点
0 0 24.5561
−248.5939
酸素の三重点
0 0 54.3584
−218.7916
アルゴンの三重点
0 0 83.8058
−189.3442
水銀の三重点
0 234.3156
0 −38.8344
水の三重点
0 273.16
0 0 0 0.01
ガリウムの融解点
0 302.9146
0 0 29.7646
インジウムの凝固点
0 429.7485
0 156.5985
錫の凝固点
0 505.078
0 231.928
亜鉛の凝固点
0 692.677
0 419.527
アルミニウムの凝固点
0 933.473
0 660.323
銀の凝固点
1234.93
0 961.78
金の凝固点
1337.33
1064.18
銅の凝固点
1357.77
1084.62
古典系
N 個の独立な調和振動子から構成される古典系を考える。調和振動子の質量をm とし、角振動数をω とする。系のハミルトニアンは
H
N
=
∑
i
=
1
N
h
(
q
i
,
p
i
)
=
∑
i
=
1
N
(
p
i
2
2
m
+
1
2
m
ω
2
q
i
2
)
{\displaystyle H_{N}=\sum _{i=1}^{N}{h(q_{i},p_{i})}=\sum _{i=1}^{N}{\biggl (}{\frac {p_{i}^{\,2}}{2m}}+{\frac {1}{2}}m\omega ^{2}q_{i}^{\,2}{\biggr )}}
となる。但し、
h
(
q
i
,
p
i
)
=
p
i
2
2
m
+
1
2
m
ω
2
q
i
2
{\displaystyle h(q_{i},p_{i})={\frac {p_{i}^{\,2}}{2m}}+{\frac {1}{2}}m\omega ^{2}q_{i}^{\,2}}
は一つの調和振動子のハミルトニアンであり、それぞれの調和振動子は区別できるとする。このとき、分配関数は調和振動子間の相互作用が無いことから
Z
(
β
,
N
)
=
1
(
2
π
ℏ
)
N
∬
⋯
∫
d
p
1
⋯
d
p
N
d
q
1
⋯
d
q
N
e
−
β
H
N
=
(
1
(
2
π
ℏ
)
∬
d
p
i
d
q
i
e
−
β
h
(
q
i
,
p
i
)
)
N
=
(
Z
(
β
,
1
)
)
N
{\displaystyle {\begin{aligned}Z(\beta ,N)&={\frac {1}{(2\pi \hbar )^{N}}}\iint \!\cdots \!\int \mathrm {d} p_{1}\cdots \mathrm {d} p_{N}\,\mathrm {d} q_{1}\cdots \mathrm {d} q_{N}\,e^{-\beta H_{N}}\\&={\biggl (}{\frac {1}{(2\pi \hbar )}}\iint \mathrm {d} p_{i}\mathrm {d} q_{i}\,e^{-\beta h(q_{i},p_{i})}{\biggr )}^{N}\\&={\bigl (}Z(\beta ,1){\bigr )}^{N}\end{aligned}}}
とZ (β ,1) の積で表される。ここでe-β h (qi , pi ) のqi にわたる積分が(2πm /β )1/2 に、pi にわたる積分が(2π/mω 2 β )1/2 になることから
Z
(
β
,
1
)
=
1
ℏ
β
ω
{\displaystyle Z(\beta ,1)={\frac {1}{\hbar \beta \omega }}}
Z
(
β
,
N
)
=
(
1
ℏ
β
ω
)
N
{\displaystyle Z(\beta ,N)={\biggl (}{\frac {1}{\hbar \beta \omega }}{\biggr )}^{N}}
となる。
量子系
N 個の独立な調和振動子から構成される量子系を考える。調和振動子の質量をm とし、角振動数をω とする。一つの調和振動子のハミルトニアンˆ h (qi ,pi ) に対するエネルギー固有値は
E
n
i
=
ℏ
ω
(
n
i
+
1
2
)
(
n
i
=
0
,
1
,
2
,
⋯
)
{\displaystyle E_{n_{i}}=\hbar \omega {\biggl (}n_{i}+{\frac {1}{2}}{\biggr )}\quad (n_{i}=0,1,2,\cdots )}
であり、系のハミルトニアンˆ H N のエネルギー固有値は
E
=
∑
i
=
1
N
E
n
i
=
∑
i
=
1
N
ℏ
ω
(
n
i
+
1
2
)
{\displaystyle E=\sum _{i=1}^{N}E_{n_{i}}=\sum _{i=1}^{N}\hbar \omega {\biggl (}n_{i}+{\frac {1}{2}}{\biggr )}}
になる。このとき、分配関数は
Z
(
β
,
N
)
=
∑
n
1
=
0
∞
⋯
∑
n
N
=
0
∞
exp
(
−
β
∑
i
=
1
N
E
n
i
)
=
∑
n
1
=
0
∞
⋯
∑
n
N
=
0
∞
∏
i
=
1
N
e
−
β
E
n
i
=
∏
i
=
1
N
∑
n
i
=
0
∞
e
−
β
E
n
i
=
(
Z
(
β
,
1
)
)
N
{\displaystyle {\begin{aligned}Z(\beta ,N)&=\sum _{n_{1}=0}^{\infty }\cdots \sum _{n_{N}=0}^{\infty }\exp {{\biggl (}-\beta \sum _{i=1}^{N}E_{n_{i}}}{\biggr )}\\&=\sum _{n_{1}=0}^{\infty }\cdots \sum _{n_{N}=0}^{\infty }\prod _{i=1}^{N}e^{-\beta E_{n_{i}}}\\&=\prod _{i=1}^{N}\sum _{n_{i}=0}^{\infty }e^{-\beta E_{n_{i}}}\\&=(Z(\beta _{,}1))^{N}\end{aligned}}}
となる。一つの調和振動子におけるZ (β ,1) は
Z
(
β
,
1
)
=
∑
n
=
0
∞
e
−
β
E
n
=
e
−
1
2
β
ℏ
ω
∑
n
=
0
∞
e
−
β
ℏ
ω
n
{\displaystyle Z(\beta ,1)=\sum _{n=0}^{\infty }e^{-\beta E_{n}}=e^{-{\frac {1}{2}}\beta \hbar \omega }\sum _{n=0}^{\infty }e^{-\beta \hbar \omega n}}
となる。これは等比級数であるから、
Z
(
β
,
1
)
=
e
−
1
2
β
ℏ
ω
1
−
e
−
β
ℏ
ω
=
[
2
sinh
β
ℏ
ω
2
]
−
1
{\displaystyle Z(\beta ,1)={\frac {e^{-{\frac {1}{2}}\beta \hbar \omega }}{1-e^{-\beta \hbar \omega }}}={\biggl [}2\sinh {\frac {\beta \hbar \omega }{2}}{\biggr ]}^{-1}}
と求まり、
Z
(
β
,
N
)
=
(
Z
(
β
,
1
)
)
N
=
[
2
sinh
β
ℏ
ω
2
]
−
N
{\displaystyle Z(\beta ,N)={\bigl (}Z(\beta ,1){\bigr )}^{N}={\biggl [}2\sinh {\frac {\beta \hbar \omega }{2}}{\biggr ]}^{-N}}
になる。
N 個の単原子分子の粒子から構成される理想気体の古典系を考える。単原子分子の質量をm とする。i 番目の粒子の正準座標をqi =(qix , qiy , qiz ) 、正準運動量をpi =(pix , piy , piz ) とすると系のハミルトニアンは
H
N
=
∑
i
=
1
N
h
(
q
i
,
p
i
)
=
∑
i
=
1
N
1
2
m
(
p
i
x
2
+
p
i
y
2
+
p
i
z
2
)
{\displaystyle H_{N}=\sum _{i=1}^{N}{h(q_{i},p_{i})}=\sum _{i=1}^{N}{\frac {1}{2m}}{\bigl (}p_{ix}^{\,2}+p_{iy}^{\,2}+p_{iz}^{\,2}{\bigr )}}
となる。但し、
h
(
q
i
,
p
i
)
=
1
2
m
(
p
i
x
2
+
p
i
y
2
+
p
i
z
2
)
{\displaystyle h(q_{i},p_{i})={\frac {1}{2m}}{\bigl (}p_{ix}^{\,2}+p_{iy}^{\,2}+p_{iz}^{\,2}{\bigr )}}
は1粒子のハミルトニアンである。このとき、分配関数は粒子間の相互作用が無いことから
Z
(
β
,
N
)
=
1
N
!
(
2
π
ℏ
)
3
N
∬
⋯
∫
d
3
p
1
⋯
d
3
p
N
d
3
q
1
⋯
d
3
q
N
e
−
β
H
N
=
1
N
!
(
1
(
2
π
ℏ
)
3
∬
d
3
p
i
d
3
q
i
e
−
β
h
(
q
i
,
p
i
)
)
N
=
1
N
!
(
Z
(
β
,
1
)
)
N
{\displaystyle {\begin{aligned}Z(\beta ,N)&={\frac {1}{N!\,(2\pi \hbar )^{3N}}}\iint \!\cdots \!\int \mathrm {d} ^{3}p_{1}\cdots \mathrm {d} ^{3}p_{N}\,\mathrm {d} ^{3}q_{1}\cdots \mathrm {d} ^{3}q_{N}\,e^{-\beta H_{N}}\\&={\frac {1}{N!}}{\biggl (}{\frac {1}{(2\pi \hbar )^{3}}}\iint \mathrm {d} ^{3}p_{i}\mathrm {d} ^{3}q_{i}\,e^{-\beta h(q_{i},p_{i})}{\biggr )}^{N}\\&={\frac {1}{N!}}{\bigl (}Z(\beta ,1){\bigr )}^{N}\end{aligned}}}
とZ (β ,1) の積で表される。ここでe-β h (qi , pi ) のqi =(qix , qiy , qiz ) にわたる積分が体積V 、pi =(pix , piy , piz ) にわたる積分が(2πm )3/2 になることから
Z
(
β
,
1
)
=
V
(
m
2
π
ℏ
2
β
)
3
2
=
V
(
2
π
m
h
2
β
)
3
2
{\displaystyle Z(\beta ,1)=V{\biggl (}{\frac {m}{2\pi \hbar ^{2}\beta }}{\biggr )}^{\frac {3}{2}}=V{\biggl (}{\frac {2\pi m}{h^{2}\beta }}{\biggr )}^{\frac {3}{2}}}
Z
(
β
,
N
)
=
V
N
N
!
(
m
2
π
ℏ
2
β
)
3
N
2
=
V
N
N
!
(
2
π
m
h
2
β
)
3
N
2
{\displaystyle Z(\beta ,N)={\frac {V^{N}}{N!}}{\biggl (}{\frac {m}{2\pi \hbar ^{2}\beta }}{\biggr )}^{\frac {3N}{2}}={\frac {V^{N}}{N!}}{\biggl (}{\frac {2\pi m}{h^{2}\beta }}{\biggr )}^{\frac {3N}{2}}}
となる。
一様な静磁場中での電子の旋回運動。軌道は磁場の方向を中心軸とする螺旋軌道となる。負の電荷をもつ電子は磁場の方向に対し、右回りに旋回運動する。
一様な静磁場中での電子の旋回運動。軌道は磁場の方向を中心軸とする螺旋軌道となる。負の電荷をもつ電子は磁場の方向に対し、右回りに旋回運動する。
N 個の二原子分子 の粒子から構成される理想気体の古典系を考える。二原子分子のモデルとしては、同種粒子からなる剛体モデル を考え、その質量をM とする。i 番目の粒子の重心座標 をR i =(Xi , Yi , Zi ) 、正準共役な運動量をP i =(PXi , PYi , PZi ) とし、
剛体の方位角 を(θi , ϕi ) 、方位角に正準共役な運動量を(p θi , p ϕi ) とする。系のハミルトニアンは
H
N
=
∑
i
=
1
N
(
h
t
r
a
n
s
(
R
i
,
P
i
)
+
h
r
o
t
(
θ
i
,
ϕ
i
,
p
θ
i
,
p
ϕ
i
)
)
{\displaystyle H_{N}=\sum _{i=1}^{N}{{\bigl (}h_{trans}({\boldsymbol {R}}_{i},{\boldsymbol {P}}_{i})+h_{rot}(\theta _{i},\phi _{i},p_{\theta i},p_{\phi i}){\bigr )}}}
となる。但し、
h
t
r
a
n
s
(
R
,
P
)
=
1
2
M
P
2
{\displaystyle h_{trans}({\boldsymbol {R}},{\boldsymbol {P}})={\frac {1}{2M}}{\boldsymbol {P}}^{\,2}}
は1分子のハミルトニアンの並進運動についての項である。また、
h
r
o
t
(
θ
,
ϕ
,
p
θ
,
p
ϕ
)
=
1
2
I
(
P
θ
2
+
P
ϕ
2
sin
2
θ
)
{\displaystyle h_{rot}(\theta ,\phi ,p_{\theta },p_{\phi })={\frac {1}{2I}}{\biggl (}P_{\,\theta }^{\,2}+{\frac {P_{\phi }^{\,2}}{\sin ^{2}\theta }}{\biggr )}}
は1分子のハミルトニアンの回転運動についての項であり、I は重心周りの慣性モーメント である。
このとき、分配関数は
Z
(
β
,
N
)
=
Z
t
r
a
n
s
(
β
,
N
)
Z
r
o
t
(
β
,
N
)
{\displaystyle Z(\beta ,N)=Z_{trans}(\beta ,N)Z_{rot}(\beta ,N)}
と並進運動の項Ztrans (β ,N ) と回転運動の項Zrot (β ,N ) の積になる。Ztrans (β ,N ) については
Z
t
r
a
n
s
(
β
,
N
)
=
1
N
!
(
2
π
ℏ
)
3
N
∬
⋯
∫
d
3
P
1
⋯
d
3
P
N
d
3
R
1
⋯
d
3
R
N
e
−
β
H
N
=
1
N
!
(
1
(
2
π
ℏ
)
3
∬
d
3
P
i
d
3
R
i
e
−
β
h
t
r
a
n
s
(
R
i
,
P
i
)
)
N
=
1
N
!
(
Z
t
r
a
n
s
(
β
,
1
)
)
N
{\displaystyle {\begin{aligned}Z_{trans}(\beta ,N)&={\frac {1}{N!\,(2\pi \hbar )^{3N}}}\iint \!\cdots \!\int \mathrm {d} ^{3}{\boldsymbol {P}}_{1}\cdots \mathrm {d} ^{3}{\boldsymbol {P}}_{N}\,\mathrm {d} ^{3}{\boldsymbol {R}}_{1}\cdots \mathrm {d} ^{3}{\boldsymbol {R}}_{N}\,e^{-\beta H_{N}}\\&={\frac {1}{N!}}{\biggl (}{\frac {1}{(2\pi \hbar )^{3}}}\iint \mathrm {d} ^{3}{\boldsymbol {P}}_{i}\mathrm {d} ^{3}{\boldsymbol {R}}_{i}\,e^{-\beta h_{trans}({\boldsymbol {R}}_{i},{\boldsymbol {P}}_{i})}{\biggr )}^{N}\\&={\frac {1}{N!}}{\bigl (}Z_{trans}(\beta ,1){\bigr )}^{N}\end{aligned}}}
とZtrans (β ,1) の積で表される。ここでe-β htrans (R i , P i ) のR i =(Xi , Yi , Zi ) にわたる積分が体積V 、P i =(PXi , P Yi , P Zi ) にわたる積分が(2πm )3/2 になることから
Z
t
r
a
n
s
(
β
,
1
)
=
V
(
m
2
π
ℏ
2
β
)
3
2
=
V
(
2
π
m
h
2
β
)
3
2
{\displaystyle Z_{trans}(\beta ,1)=V{\biggl (}{\frac {m}{2\pi \hbar ^{2}\beta }}{\biggr )}^{\frac {3}{2}}=V{\biggl (}{\frac {2\pi m}{h^{2}\beta }}{\biggr )}^{\frac {3}{2}}}
となる。Zrot (β ,N ) については
Z
r
o
t
(
β
,
N
)
=
1
(
2
π
ℏ
)
2
N
∬
⋯
∫
d
θ
1
⋯
d
θ
N
d
ϕ
1
⋯
d
ϕ
N
d
p
θ
1
⋯
d
p
θ
N
d
p
ϕ
1
⋯
d
p
ϕ
N
e
−
β
H
N
=
1
N
!
(
1
(
2
π
ℏ
)
2
∬
d
θ
i
d
ϕ
i
d
p
θ
i
d
p
ϕ
i
e
−
β
h
r
o
t
(
θ
i
,
ϕ
i
,
p
θ
i
,
p
ϕ
i
)
)
N
=
1
N
!
(
Z
r
o
t
(
β
,
1
)
)
N
{\displaystyle {\begin{aligned}Z_{rot}(\beta ,N)&={\frac {1}{(2\pi \hbar )^{2N}}}\iint \!\cdots \!\int \mathrm {d} \theta _{1}\cdots \mathrm {d} \theta _{N}\,\mathrm {d} \phi _{1}\cdots \mathrm {d} \phi _{N}\,\mathrm {d} p_{\theta 1}\cdots \mathrm {d} p_{\theta N}\,\mathrm {d} p_{\phi 1}\cdots \mathrm {d} p_{\phi N}\,e^{-\beta H_{N}}\\&={\frac {1}{N!}}{\biggl (}{\frac {1}{(2\pi \hbar )^{2}}}\iint \mathrm {d} \theta _{i}\mathrm {d} \phi _{i}\mathrm {d} p_{\theta i}\mathrm {d} p_{\phi i}\,e^{-\beta h_{rot}(\theta _{i},\phi _{i},p_{\theta i},p_{\phi i})}{\biggr )}^{N}\\&={\frac {1}{N!}}{\bigl (}Z_{rot}(\beta ,1){\bigr )}^{N}\end{aligned}}}
とZrot (β ,1) の積で表される。ここでe-β hrot (θi , ϕi , p θi , p ϕi ) のp θi にわたる積分が(2πI /β )1/2 、p ϕi にわたる積分が(2πI sin2 θ /β )1/2 になることから
Z
r
o
t
(
β
,
1
)
=
1
(
2
π
ℏ
)
2
∫
0
π
d
θ
i
∫
0
2
π
d
ϕ
i
2
π
I
β
2
π
I
β
sin
2
θ
=
I
β
ℏ
2
∫
0
π
d
θ
i
sin
θ
i
=
2
I
β
ℏ
2
{\displaystyle {\begin{aligned}Z_{rot}(\beta ,1)&={\frac {1}{(2\pi \hbar )^{2}}}\int _{0}^{\pi }\mathrm {d} \theta _{i}\int _{0}^{2\pi }\mathrm {d} \phi _{i}\,{\sqrt {\frac {2\pi I}{\beta }}}{\sqrt {{\frac {2\pi I}{\beta }}\sin ^{2}{\theta }}}\\&={\frac {I}{\beta \hbar ^{2}}}\int _{0}^{\pi }\mathrm {d} \theta _{i}\sin {\theta _{i}}\\&={\frac {2I}{\beta \hbar ^{2}}}\end{aligned}}}
磁性体のモデルとして、d -次元空間の格子点に上向きと下向きの2状態をとるスピン が配置された格子模型を考える。
σi =±1 を i 番目の格子点におけるスピンの状態を示す変数とし、+1 が上向きのスピン、−1 が下向きのスピンに対応するものとする。格子点の総数は N 個ととし、一つの格子点に最近接する格子点の数を z 個とする。例えば、1次元格子ではz =2 、2次元正方格子ではz =4 、3次元正方格子では z =6 である。
Jij を2つの格子点i, j 間における交換相互作用 、hi は格子点 i における外部磁場 とする。このとき、イジング模型のハミルトニアン は次式で与えられる[ 注 1] 。
H
=
−
∑
⟨
i
,
j
⟩
J
i
j
σ
i
⋅
σ
j
−
∑
i
h
i
σ
i
{\displaystyle {\mathcal {H}}=-\sum _{\left\langle i,j\right\rangle }J_{ij}\,\sigma _{i}\cdot \sigma _{j}-\sum _{i}h_{i}\,\sigma _{i}}
第1項目は最隣接する格子点におけるスピン間の相互作用のエネルギーを表し、⟨ i, j ⟩ は最近接する格子点のペアについての和であることを意味し、⟨ i,j ⟩ の和はzN /2 個の項の和になる。
Jij >0 の場合を強磁性相互作用、Jij <0 の場合を反磁性相互作用という。強磁性相互作用では最近接する格子点 i,j のスピン対が同じ向きに揃い、σi ·σj =+1 となるとエネルギーは Jij だけ下がる。一方、反磁性相互作用では最近接する格子点のスピン対が異なる向きをとり、σi ·σj =−1 となるとエネルギーは |Jij | だけ下がる。第2項目は外部磁場に対するのエネルギーを表す。格子点i において、スピンの向き(符号)が外部磁場の向き(符号)と揃うと、エネルギーーは |hi | だけ下がる。
特に格子点上で交換相互作用が一定値、外部磁場も一定値とする均一なケースでは
H
=
−
J
∑
⟨
i
,
j
⟩
σ
i
⋅
σ
j
−
h
∑
i
σ
i
{\displaystyle {\mathcal {H}}=-J\sum _{\left\langle i,j\right\rangle }\sigma _{i}\cdot \sigma _{j}-h\sum _{i}\sigma _{i}}
となる。
統計力学において、平衡状態での熱力学的な性質は分配関数 Z から求まる。分配関数は系の取りうる全ての状態についてのボルツマン因子e−βH の足し合わせで与えられる。
イジング模型においては、N 個の格子点のスピン変数がσ =±1 の値をとる2N 個の状態が存在し、分配関数は
Z
=
∑
σ
1
=
±
1
⋯
∑
σ
N
=
±
1
e
−
β
H
=
∑
σ
1
=
±
1
⋯
∑
σ
N
=
±
1
exp
(
β
∑
⟨
i
,
j
⟩
J
i
j
σ
i
σ
j
+
β
∑
i
h
i
σ
i
)
{\displaystyle {\begin{aligned}Z&=\sum _{\sigma _{1}=\pm 1}\cdots \sum _{\sigma _{N}=\pm 1}e^{-\beta {\mathcal {H}}}\\&=\sum _{\sigma _{1}=\pm 1}\cdots \sum _{\sigma _{N}=\pm 1}\exp {\biggl (}\beta \sum _{\left\langle i,j\right\rangle }J_{ij}\sigma _{i}\sigma _{j}+\beta \sum _{i}h_{i}\sigma _{i}{\biggr )}\end{aligned}}}
となる。
ここでH は系のハミルトニアンであり、β は温度T とボルツマン定数 k によって、β =1/kT で定義される逆温度である。ヘルムホルツの自由エネルギーF は分配関数から
F
=
β
ln
Z
{\displaystyle F=\beta \ln {Z}}
と求まる。
系全体のスピンの配向は∑N i で特徴付けられるが、熱平衡状態でのその平均は
磁化
M
=
⟨
∑
i
=
1
N
σ
i
⟩
{\displaystyle {\begin{aligned}M=\left\langle \sum _{i=1}^{N}\sigma _{i}\right\rangle \end{aligned}}}
で与えられる。
一般に相互作用を含むモデルでは分配関数を求めることは困難であるが、一様な交換相互作用、外部磁場の設定において、イジング模型では1次元のケース、外部磁場のない2次元のケースについては、厳密に分配関数を求めることが可能である。
解析接続で複素平面上で定義される。このとき、自明な零点と呼ばれる負の整数値での零点m=-2,-4,-6, …が存在するともに、非自明な零点と呼ばれる複素数値の零点ρ=β+iγがクリテイカル・ストライプ領域 0<Im(ρ)<1内に存在する。
非自明な零点ρは、実軸と1/2+it 直線に対して、対称に存在しており、ρを一つの非自明な零点とすると、ρ* 、1-ρも零点となる。有名なリーマン予想は、この非自明な零点が全て1/2+it 直線上に存在すること主張している。現在までに、数値計算で確認されている非自明な零点はリーマン予想の成立を支持しており、例えば、上半面Res >0に存在する最初の6つの非自明な零点は
1
2
+
i
14.13472...
,
1
2
+
i
21.02203...
,
1
2
+
i
25.01085...
,
1
2
+
i
30.42487...
,
1
2
+
i
32.93506...
,
1
2
+
i
37.58617...
,
{\displaystyle \qquad {\begin{matrix}{\frac {1}{2}}+i14.13472...,&{\frac {1}{2}}+i21.02203...,&{\frac {1}{2}}+i25.01085...,\\{\frac {1}{2}}+i30.42487...,&{\frac {1}{2}}+i32.93506...,&{\frac {1}{2}}+i37.58617...,\end{matrix}}}
である。
0<Im(ρ)<T の領域に存在する零点の数N (T )は、重複度も込めて、
N
(
T
)
=
T
2
π
log
T
2
π
−
T
2
π
+
S
(
T
)
+
7
8
+
O
(
T
−
1
)
∼
T
2
π
log
T
{\displaystyle {\begin{aligned}N(T)&={\frac {T}{2\pi }}\log {\frac {T}{2\pi }}-{\frac {T}{2\pi }}+S(T)+{\frac {7}{8}}+O(T^{-1})\\&\sim {\frac {T}{2\pi }}\log T\end{aligned}}}
で与えられる[ 1] 。但し、
S
(
T
)
=
1
π
arg
ζ
(
1
2
+
i
t
)
{\displaystyle S(T)={\frac {1}{\pi }}\arg \zeta {\biggl (}{\frac {1}{2}}+it{\biggr )}}
である。
1970年代以前に、非自明な零点の間隔分布についての研究はなく、
この結果は、
T →∞で、
1
M
{
(
n
,
k
)
|
N
≤
n
≤
N
+
M
,
k
≥
0
,
δ
n
+
δ
n
+
1
+
⋯
+
δ
n
+
k
∈
[
α
,
β
]
}
∼
∫
α
β
(
1
−
(
sin
π
u
π
u
)
2
)
d
u
{\displaystyle {\frac {1}{M}}\{(n,k)|N\leq n\leq N+M,\,k\geq 0,\,\delta _{n}+\delta _{n+1}+\cdots +\delta _{n+k}\in [\alpha ,\beta ]\}\sim \int _{\alpha }^{\beta }\left(1-{\biggl (}{\frac {\sin {\pi u}}{\pi u}}{\biggr )}^{2}\right)du}
右辺は、が指摘したようにGUE型の理論値である。
[ 2]
こうした、ランダム行列の固有値との関係性は、非自明な零点がある種のエルミート作用素の固有値として与えられるだろういうとヒルベルト・ポリア予想の成立を示唆するものであり、衝撃的なものであった。
AT&T ベル研究所の研究員であったオドリズコは、モンゴメリの予想結果に触発され、非自明な零点の間隔分布について、詳細な数値計算による検証を行った。そして、モンゴメリーの対相関関数予想の成立が確からしいこと、さらに、非自明な零点の規格化された間隔分布そのものが、GUE型のランダム行列の固有値の間隔分布に一致するであろうこと(***予想 )を示した。これらの結果は、1987年の論文「ゼータ関数の零点間隔の分布について」で報告された[ 3] 。
規格化された零点間隔
δ
n
=
(
γ
n
+
1
−
γ
n
)
log
γ
n
2
π
2
π
{\displaystyle \delta _{n}=(\gamma _{n+1}-\gamma _{n}){\frac {\log {\frac {\gamma _{n}}{2\pi }}}{2\pi }}}
を導入すれば、前述のモンゴメリーの対相関関数予想からM , N →∞で
1
M
{
(
n
,
k
)
|
N
≤
n
≤
N
+
M
,
k
≥
0
,
δ
n
+
δ
n
+
1
+
⋯
+
δ
n
+
k
∈
[
α
,
β
]
}
∼
∫
α
β
(
1
−
(
sin
π
u
π
u
)
2
)
d
u
{\displaystyle {\frac {1}{M}}\{(n,k)|N\leq n\leq N+M,\,k\geq 0,\,\delta _{n}+\delta _{n+1}+\cdots +\delta _{n+k}\in [\alpha ,\beta ]\}\sim \int _{\alpha }^{\beta }\left(1-{\biggl (}{\frac {\sin {\pi u}}{\pi u}}{\biggr )}^{2}\right)du}
が成立することが期待される。オドリズコは当時、最新鋭であったスーパーコンピューター Cray X-MPを用い、 N =1M =105 とN =1012 +1,M =105 の場合、すなわち、1番から105 番目までに位置する 105 個のγn と1012 +1番目から1012 +105 番目までに位置する105 個の γn を10±8 の精度で求め、それらについての規格化された間隔の対相関関数と求め、GUEの理論値1-(sin(πx )/π x )2 と精度よく一致することを示した。さらに規格化された零点間隔δn の分布とGUEの固有値の間隔の分布を計算し、両者がよく一致することを示した。後に、これらの結果は、オドリズコ自身によって、さらに1020 番目付近に位置するおよそ7×107 個の零点で確認され、より高い精度で確からしいことが示されている[ 4] ,[ 5] 。
^ E. C. Titchmarsh, "The Theory of the Riemann Zeta-function", Oxford Univ. Press (1951), Chapter.9
^ α, βの大小関係に制限を与えなければ、右辺の積分内には、δ(α, β)が加わる。但し、α<0< βの場合にはδ(α, β)=1であり、それ以外の場合にはδ(α, β)=0である。
^ a
^ A. M. Odlyzko, "The 1020 -th zero of the Riemann zeta function and 70 million of its neighbors," AT&T Bell Lab. preprint (1989)
^ M. Mehta (1990), chap.1
引用エラー: 「注」という名前のグループの <ref>
タグがありますが、対応する <references group="注"/>
タグが見つかりません