相対エントロピーから情報と物理を組み立てる 第1部 第7章 §1.7.5 ★★ 温度を推定する精度の限界は、測る系の熱容量で決まる
逆温度の Fisher 情報はエネルギーの分散
温度 T T T の熱浴に接した系の微視的な状態 x x x の確率は、カノニカル分布
p ( x ; β ) = e − β E ( x ) Z ( β ) , Z ( β ) = ∑ x e − β E ( x ) , β = 1 k B T (1.7.16) p(x;\beta)=\frac{\mathrm{e}^{-\beta E(x)}}{Z(\beta)},\qquad Z(\beta)=\sum_x\mathrm{e}^{-\beta E(x)},\qquad \beta=\frac1{ k_{\mathrm B} T}\tag{1.7.16} p ( x ; β ) = Z ( β ) e − β E ( x ) , Z ( β ) = x ∑ e − β E ( x ) , β = k B T 1 ( 1.7.16 )
で与えられる(解析力学から様々な理論分野を組み立てる 第3部第3章 。情報の側からの導き方は 第2部第1章 )。この巻では H H H を Shannon エントロピーに使うので、状態 x x x のエネルギーを E ( x ) E(x) E ( x ) と書く。これは β \beta β をパラメータとする指数型分布族である。スコアは s β ( x ) = − E ( x ) − ∂ β ln Z = − E ( x ) + ⟨ E ⟩ β s_\beta(x)=-E(x)-\partial_\beta\ln Z=-E(x)+\langle E \rangle _\beta s β ( x ) = − E ( x ) − ∂ β ln Z = − E ( x ) + ⟨ E ⟩ β で、Fisher 情報は
J ( β ) = ⟨ ( E − ⟨ E ⟩ β ) 2 ⟩ β = V a r β ( E ) = ∂ 2 ln Z ∂ β 2 (1.7.17) J(\beta)=\langle (E-\langle E \rangle _\beta)^2 \rangle _\beta=\mathrm{Var}_\beta(E)=\frac{\partial^2\ln Z}{\partial\beta^2}\tag{1.7.17} J ( β ) = ⟨( E − ⟨ E ⟩ β ) 2 ⟩ β = Var β ( E ) = ∂ β 2 ∂ 2 ln Z ( 1.7.17 )
となる。逆温度についての Fisher 情報は、エネルギーの揺らぎの大きさそのものである。
温度の推定の限界
統計力学で知られている揺らぎと熱容量の関係 V a r β ( E ) = k B T 2 C V \mathrm{Var}_\beta(E)= k_{\mathrm B} T^2C_V Var β ( E ) = k B T 2 C V (C V = ∂ ⟨ E ⟩ / ∂ T C_V=\partial\langle E \rangle /\partial T C V = ∂ ⟨ E ⟩ / ∂ T )を使い、付け替えの式 (1.7.9) で β \beta β から T T T に移る(d β / d T = − 1 / ( k B T 2 ) \mathrm{d}\beta/\mathrm{d} T=-1/( k_{\mathrm B} T^2) d β / d T = − 1/ ( k B T 2 ) )と
J ( T ) = V a r β ( E ) ( 1 k B T 2 ) 2 = C V k B T 2 (1.7.18) J(T)=\mathrm{Var}_\beta(E)\Bigl(\frac{1}{ k_{\mathrm B} T^2}\Bigr)^2=\frac{C_V}{ k_{\mathrm B} T^2}\tag{1.7.18} J ( T ) = Var β ( E ) ( k B T 2 1 ) 2 = k B T 2 C V ( 1.7.18 )
を得る。系のエネルギーを n n n 回独立に測って温度を推定するとき、Cramér–Rao の不等式から
V a r ( T ^ ) T 2 ≥ k B n C V (1.7.19) \frac{\mathrm{Var}(\hat T)}{T^2}\ge\frac{ k_{\mathrm B}}{n\,C_V}\tag{1.7.19} T 2 Var ( T ^ ) ≥ n C V k B ( 1.7.19 )
となる。熱容量の小さい温度計ほど、1回の測定から読み取れる温度の情報が少ない。熱容量が小さいとは、温度を変えてもエネルギーの分布がほとんど変わらないことで、分布の変化が小さければ見分けにくいという、1.7.1 節の D D D の読み方と同じ理由である。カノニカル分布ではエネルギー E E E が十分統計量なので、エネルギーの測定は状態 x x x そのものを見るのと同じ Fisher 情報を持つ(命題 1.7.2 の等号)。
外場 h h h が磁化 M ( x ) M(x) M ( x ) と − h M -hM − h M の形で結合する場合も同じ計算で J ( h ) = β 2 V a r ( M ) J(h)=\beta^2\mathrm{Var}(M) J ( h ) = β 2 Var ( M ) となり、揺らぎと応答の関係(解析力学から様々な理論分野を組み立てる 第3部第9章 )から、これは帯磁率に比例する。統計力学の応答係数は、どれも対応するパラメータの Fisher 情報として読める。
Gibbs 分布どうしの D D D
カノニカル分布どうしの相対エントロピーは自由エネルギーで書ける。F ( β ) = − β − 1 ln Z ( β ) F(\beta)=-\beta^{-1}\ln Z(\beta) F ( β ) = − β − 1 ln Z ( β ) とすると
D ( p β ∥ p β ′ ) = ( β ′ − β ) ⟨ E ⟩ β + ln Z ( β ′ ) Z ( β ) (1.7.20) D(p_\beta\,\|\,p_{\beta'})=(\beta'-\beta)\langle E \rangle _\beta+\ln\frac{Z(\beta')}{Z(\beta)}\tag{1.7.20} D ( p β ∥ p β ′ ) = ( β ′ − β ) ⟨ E ⟩ β + ln Z ( β ) Z ( β ′ ) ( 1.7.20 )
で、これを β ′ = β + δ \beta'=\beta+\delta β ′ = β + δ で2次まで展開すると 1 2 ∂ β 2 ln Z δ 2 = 1 2 V a r β ( E ) δ 2 \frac12\,\partial_\beta^2\ln Z\,\delta^2=\frac12\mathrm{Var}_\beta(E)\,\delta^2 2 1 ∂ β 2 ln Z δ 2 = 2 1 Var β ( E ) δ 2 となり、式 (1.7.17) と合う。Gibbs 分布でない一般の分布 p p p と Gibbs 分布の D D D が自由エネルギーの差になること(Gibbs の変分原理)は第2部第2章(第2部第2章 )で扱う。量子系の温度計の精度は、量子 Fisher 情報を使って第3部第8章で同じ形に書ける。
図 1.7.3 エネルギー差 ε \varepsilon ε の2準位系を温度計にしたときの、温度についての Fisher 情報(ε 2 / k B 2 \varepsilon ^2/ k_{\mathrm B}^2 ε 2 / k B 2 を単位にした値)。k B T ≈ 0.242 ε k_{\mathrm B} T\approx0.242\,\varepsilon k B T ≈ 0.242 ε で最大になり、それより低温でも高温でも急に小さくなる(例題 1.7.5 )。
例題 1.7.5 2準位系の温度計が最もよく働く温度 ★★
オリジナル エネルギー 0 0 0 と ε > 0 \varepsilon >0 ε > 0 の2つの状態だけを持つ系が温度 T T T の熱浴と平衡にある。系がどちらの状態にあるかを測って T T T を推定する。
x = β ε x=\beta\varepsilon x = β ε とおいて、熱容量 C V C_V C V と温度についての Fisher 情報 J ( T ) J(T) J ( T ) を x x x で表せ。
ε \varepsilon ε を固定して T T T を動かしたとき、J ( T ) J(T) J ( T ) を最大にする x x x が満たす方程式を導き、数値で解け。
1回の測定あたりの相対誤差の下限 k B / C V \sqrt{ k_{\mathrm B}/C_V} k B / C V を、その温度で求めよ。
解答 (1) 上の状態の確率は q = 1 / ( 1 + e x ) q=1/(1+\mathrm{e}^{x}) q = 1/ ( 1 + e x ) で、E E E は 0 0 0 か ε \varepsilon ε の値をとるので V a r ( E ) = ε 2 q ( 1 − q ) = ε 2 e x / ( 1 + e x ) 2 \mathrm{Var}(E)=\varepsilon ^2q(1-q)=\varepsilon ^2\mathrm{e}^x/(1+\mathrm{e}^x)^2 Var ( E ) = ε 2 q ( 1 − q ) = ε 2 e x / ( 1 + e x ) 2 である。V a r ( E ) = k B T 2 C V \mathrm{Var}(E)= k_{\mathrm B} T^2C_V Var ( E ) = k B T 2 C V より C V / k B = x 2 e x / ( 1 + e x ) 2 C_V/ k_{\mathrm B}=x^2\mathrm{e}^x/(1+\mathrm{e}^x)^2 C V / k B = x 2 e x / ( 1 + e x ) 2 。式 (1.7.18) と T = ε / ( k B x ) T=\varepsilon /( k_{\mathrm B} x) T = ε / ( k B x ) から
J ( T ) = C V k B T 2 = k B 2 ε 2 x 4 e x ( 1 + e x ) 2 J(T)=\frac{C_V}{ k_{\mathrm B} T^2}=\frac{ k_{\mathrm B}^2}{\varepsilon ^2}\,\frac{x^4\mathrm{e}^x}{(1+\mathrm{e}^x)^2} J ( T ) = k B T 2 C V = ε 2 k B 2 ( 1 + e x ) 2 x 4 e x
となる。
(2) g ( x ) = x 4 e x / ( 1 + e x ) 2 g(x)=x^4\mathrm{e}^x/(1+\mathrm{e}^x)^2 g ( x ) = x 4 e x / ( 1 + e x ) 2 の対数微分は 4 x + 1 − 2 e x 1 + e x = 4 x − tanh x 2 \dfrac4x+1-\dfrac{2\mathrm{e}^x}{1+\mathrm{e}^x}=\dfrac4x-\tanh\dfrac x2 x 4 + 1 − 1 + e x 2 e x = x 4 − tanh 2 x なので、最大の条件は
x tanh x 2 = 4 x\tanh\frac x2=4 x tanh 2 x = 4
である。x = 4 x=4 x = 4 で左辺は 3.856 3.856 3.856 、x = 4.2 x=4.2 x = 4.2 で 4.076 4.076 4.076 なので解はその間にあり、数値で解くと x = 4.131 x=4.131 x = 4.131 、すなわち k B T = 0.242 ε k_{\mathrm B} T=0.242\,\varepsilon k B T = 0.242 ε を得る(図 1.7.3 )。このとき g = 4.53 g=4.53 g = 4.53 である。
(3) x = 4.131 x=4.131 x = 4.131 で C V / k B = x 2 e x / ( 1 + e x ) 2 = 0.265 C_V/ k_{\mathrm B}=x^2\mathrm{e}^x/(1+\mathrm{e}^x)^2=0.265 C V / k B = x 2 e x / ( 1 + e x ) 2 = 0.265 なので k B / C V = 1.94 \sqrt{ k_{\mathrm B}/C_V}=1.94 k B / C V = 1.94 である。1回の測定では温度の相対誤差が約2倍(194%)にもなり、相対誤差を10%にするには n ≥ ( 1.94 / 0.1 ) 2 ≈ 377 n\ge(1.94/0.1)^2\approx377 n ≥ ( 1.94/0.1 ) 2 ≈ 377 回の測定が要る。最適な温度はエネルギー差の約4分の1である。それより低温では系がほとんど下の状態にいて、高温では2つの状態がほぼ等確率になるので、どちらの場合も測定結果の分布が温度によってほとんど変わらない。
ほかの巻では
解析力学から様々な理論分野を組み立てる 第3部第6章 :エネルギーの揺らぎ V a r ( E ) = k B T 2 C \mathrm{Var}(E)= k_{\mathrm B} T^2C Var ( E ) = k B T 2 C を相空間の部分積分で出しており、J ( β ) J(\beta) J ( β ) の物理の側が読める
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com