不確定性原理
不確定性原理（ふかくていせいげんり、独: Unschärferelation 英: Uncertainty principle）は、量子力学に従う系の物理量[math]\hat{A}[/math]を観測したときの不確定性と、同じ系で別の物理量[math]\hat{B}[/math]を観測したときの不確定性が適切な条件下では同時に0になる事はないとする一連の定理の総称である。特に重要なのは[math]\hat{A}[/math]、[math]\hat{B}[/math]がそれぞれ位置と運動量のときであり、狭義にはこの場合のものを不確定性原理という。
このような限界が存在するはずだという元々の発見的議論がハイゼンベルクによって与えられたため、これはハイゼンベルクの原理という名前が付けられることもある。しかし後述するようにハイゼンベルグ自身による不確定性原理の物理的説明は、今日の量子力学の知識からは正しいものではない。
今日の量子力学において、不確定性原理でいう観測は日常語のそれとは意味が異なるテクニカル・タームであり、観測機のようなマクロな古典的物体とミクロな量子物体との間の任意の相互作用を意味する[1]。したがって例えば、実験者が観測機に表示された観測値を実際に見たかどうかといった事とは無関係に定義される。また不確定性とは、物理量を観測した時に得られる観測値の標準偏差を表す。
不確定性原理が顕在化する現象の例としては、原子（格子）の零点振動（このためヘリウムは、常圧下では絶対零度まで冷却しても固化しない）、その他量子的なゆらぎ（例：遍歴電子系におけるスピン揺らぎ）などが挙げられる。
Contents
観察者効果との混同
歴史的に、不確定性原理は観察者効果と呼ばれる物理学におけるいくらか似た効果と混同されてきた[2][3]。観察者効果とは、系を測定する行為それ自身が系に影響を与えてしまうというものである。
量子力学が成立するミクロな世界が測定による観測者効果で「揺動」してしまうという説明は、ハイゼンベルグ自身が当初不確定性原理に対して与えたものであり[4]、今日において（専門家向けの教科書にはともかく、素人向けの啓蒙書等では）繰り返し出てくるものの、根本的に誤解を招く恐れのあることが現在は知られている[5][6]。
「不確定性原理は実際には量子系の基本的特性を述べており、現代のテクノロジーにおける測定精度の到達点ついて述べたものではない」[7]。不確定性原理は全ての波のような系にもともと備わっている特性であること[5]、不確定性は単純に全ての量子物体の物質波の性質によって現われることが今日の量子力学ではわかっている。
以上のように不確定性原理は量子状態そのものが持っている不確定性であり、測定器の誤差と測定による反作用との不確定性とは区別して考えなければならない。量子論での時間発展や測定についての基本的要請をすべてを使って展開できる量子測定理論を用いて、ハイゼンベルクの考察した「測定精度と反作用に関する不確定性原理」ははじめて導けるが、その結果得られる不等式の下限はケースバイケースで変わることが判っている。[8]。後述する小澤の不等式などがその１つである。
不確定性原理の概要
不確定性原理で特に重要になるのは、物理量[math]\hat{A}[/math]と物理量[math]\hat{B}[/math]がそれぞれ(j軸方向の)位置[math]\hat{Q}_j[/math]と運動量[math]\hat{P}_j[/math]である場合である。系が状態ψにあるときのこれらの不確定性をそれぞれ[math]\Delta_{\psi}\hat{Q}_j[/math]、[math]\Delta_{\psi}\hat{P}_j[/math]とするとき、以下が成立する：テンプレート:Equation box 1 ここで[math]\hbar[/math]は換算プランク定数である。なお本項ではH13に従い、不確定性を[math]\Delta_{\psi}\hat{Q}_j[/math]と表記したが、多くの物理の教科書では系の状態ψを省略し[math]\Delta\hat{Q}_j[/math]と表記する。
上式右辺は0より真に大きいので、位置の不確定性[math]\Delta_{\psi}\hat{Q}_j[/math]が0に近い値であれば[math]\Delta_{\psi}\hat{P}_j[/math]は極端に大きくなり、逆に[math]\Delta_{\psi}\hat{P}_j[/math]が0に近い値であれば[math]\Delta_{\psi}\hat{Q}_j[/math]は極端に大きくなる。両方共0に近い値にする事はできない。
一般の物理量[math]\hat{A}[/math]、[math]\hat{B}[/math]に対する不確定性原理として、以下のロバートソンの不等式がある：テンプレート:Equation box 1 ここで[math][\hat{A},\hat{B}][/math]は[math]\hat{A}[/math]と[math]\hat{B}[/math]の交換子
- [math][\hat{A},\hat{B}]=\hat{A}\hat{B}-\hat{B}\hat{A}[/math]
であり、[math]\langle [\hat{A},\hat{B}]\rangle_{\psi}[/math]は系の状態がψであるときに[math][\hat{A},\hat{B}][/math]を観測したときの観測値の期待値である。
これまでψについて詳しく書いてこなかったが、実はψが適切な定義域に属している場合にしか不確定性原理は成り立たず、そうでない場合には反例がある事が知られているので注意が必要である。そこで次節でこの点を考慮して不確定性原理を厳密に定式化する。
厳密な定式化
予備知識
不確定性原理を定式化する為の予備知識を説明する。量子力学において（純粋）量子状態は状態空間[math]\mathcal{H}[/math]という複素内積ベクトル空間（ヒルベルト空間）における長さ1のベクトル（状態ベクトル）として記述され、物理量（オブザーバブルと呼ぶ）は[math]\mathcal{H}[/math]上の自己共役作用素として定式化される。
粒子がn個ある系の場合[math]\mathcal{H}[/math]は、3n次元空間[math]\mathbf{R}^{3n}=\{(x_1,\ldots,x_{3n})\}[/math]上の複素数値の自乗可積分函数全体の空間と同一視でき、このようにみなした場合、状態ベクトルのことを波動関数と呼ぶ。[math]x_j[/math]軸方向の位置作用素[math]\hat{Q}_j[/math]と運動量作用素[math]\hat{P}_j[/math]はそれぞれ
- [math]\hat{Q}_j\psi(x)=x_j\psi(x)[/math]
- [math]\hat{P}_j\psi(x)=-i\hbar{\partial\over\partial x_j}\psi(x)[/math]
により定義される。ここで[math]\hbar[/math]は換算プランク定数である。
オブザーバブルの定義域
不確定性原理を定式化する準備として、オブザーバブルの定義域に関して述べる。後でみるように、不確定性原理を厳密に定式化する際、オブザーバブルの定義域に関して細心の注意を払わないと、反例がつくれてしまうからである。
まず運動量作用素と位置作用素の定義域に関して調べる。定義から分かるように、運動量作用素は波動関数が微分可能な場合しか定義できないが、自乗可積分関数の中には微分可能でないものもあるので、運動量作用素は状態空間[math]\mathcal{H}[/math]の全域では定義できず、[math]\mathcal{H}[/math]の部分空間でのみ定義された作用素である。また位置作用素に関しても、[math]\hat{Q}_j\psi(x)=x_j\psi(x)[/math]が常に自乗可積分関数になるわけではないので、[math]\hat{Q}_j\psi(x)=x_j\psi(x)[/math]が自乗可積分関数になるような[math]\psi(x)[/math]に対してしか位置作用素を定義できない（そうしないと[math]\hat{Q}_j[/math]の値域が[math]\mathcal{H}[/math]からはみ出してしまうので、[math]\hat{Q}_j[/math]が[math]\mathcal{H}[/math]上の自己共役作用素にならない）。こうした事情から量子力学では、オブザーバブル[math]\hat{A}[/math]が[math]\mathcal{H}[/math]の部分空間でのみでしか定義されていないケースをも許容し、代わりに定義域[math]\mathrm{Dom}(\hat{A})\subset\mathcal{H}[/math]が[math]\mathcal{H}[/math]で稠密になる事を要請する。
オブザーバブル[math]\hat{A}[/math]が[math]\mathcal{H}[/math]の部分空間でのみでしか定義されない事を許容した事が原因で、2つのオブザーバブル[math]\hat{A}[/math]、[math]\hat{B}[/math]の交換子
- [math][\hat{A},\hat{B}]\psi:=\hat{A}\hat{B}\psi-\hat{B}\hat{A}\psi[/math]
も常に定義できるとは限らない。実際、積[math]\hat{A}\hat{B}\psi[/math]は
- [math]\psi\in\mathrm{Dom}(\hat{B})[/math]でしかも[math]\hat{B}\psi\in\mathrm{Dom}(\hat{A})[/math]
のときしか意味を持たないし、[math]\hat{B}\hat{A}\psi[/math]にも同様の制約が課せられる。結局[math][\hat{A},\hat{B}]\psi:=\hat{A}\hat{B}\psi-\hat{B}\hat{A}\psi[/math]が意味を持つのは、
- [math]\psi\in\mathrm{Dom}(\hat{A})\cap\mathrm{Dom}(\hat{B})[/math]、[math]\hat{B}\psi\in\mathrm{Dom}(\hat{A})[/math]、[math]\hat{A}\psi\in\mathrm{Dom}(\hat{B})[/math]
が全て成り立つときのみである。
不確定性の定義
状態空間[math]\mathcal{H}[/math]上２つの元ψ、χに対し、ψとχの内積を[math]\langle \psi, \chi\rangle[/math]と書き表し、さらに
- [math]\|\psi\| := \sqrt{\langle \psi,\psi\rangle}[/math]
とする。オブザーバブル[math]\hat{A}[/math]と状態ベクトル[math]\psi\in\mathrm{Dom}(\hat{A})[/math]に対し、
- [math]\langle \hat{A}\rangle_\psi := \langle \psi, \hat{A}\psi\rangle[/math]
と定義しH13(p53)、さらに[math]\hat{A}[/math]の[math]\psi\in\mathrm{Dom}(\hat{A})[/math]に対する不確定性を
- [math]\Delta_{\psi} \hat{A} := \|(\hat{A}-\langle \hat{A} \rangle_\psi I)\psi\| [/math]
により定義するH13(p241)。ここでIは単位行列である。[math]\langle \hat{A}\rangle_\psi[/math]と[math]\Delta_\psi \hat{A}[/math]は物理的にはそれぞれ、状態[math]\psi[/math]にある系で[math]\hat{A}[/math]を観測した時に得られる観測値の平均値と標準偏差である。
ロバートソンの不等式
[math]\hat{A}[/math]、[math]\hat{B}[/math]を状態空間[math]\mathcal{H}[/math]上のオブザーバブルとし、[math]\psi\in\mathcal{H}[/math]が
- [math]\psi\in\mathrm{Dom}(\hat{A})\cap\mathrm{Dom}(\hat{B})[/math]、[math]\hat{B}\psi\in\mathrm{Dom}(\hat{A})[/math]、[math]\hat{A}\psi\in\mathrm{Dom}(\hat{B})[/math]
を満たしているとする。このとき、[math][\hat{A},\hat{B}]\psi:=\hat{A}\hat{B}\psi-\hat{B}\hat{A}\psi[/math]が定義可能であり、以下の不等式（ロバートソンの不等式）が成立するH13(p241,242)：
- [math](\Delta_{\psi} \hat{A})^2 ( \Delta_{\psi} \hat{B})^2 \ge \frac{1}{4} \left| \langle [\hat{A}, \hat{B}] \rangle_\psi \right|^2[/math]
証明は後述する。
L2(テンプレート:Mathbfd) における位置と運動量に関する不確定性原理
d次元空間Rd上の自乗可積分関数全体の空間[math]L^2(\mathbf{R}^d)[/math]におけるj番目の位置作用素と運動量作用素
- [math]\hat{Q}_j\psi(x)=x_j\psi(x)[/math]
- [math]\hat{P}_j\psi(x)=-i\hbar{\partial\over\partial x_j}\psi(x)[/math]
に関しては、ψの定義域に関する条件を弱めることができる事が知られている。
すなわち状態空間が[math]\mathcal{H}=L^2(\mathbf{R}^d)[/math]であるとき、
- [math]\psi\in\mathrm{Dom}(\hat{Q}_j)\cap\mathrm{Dom}(\hat{P}_j)[/math]
であれば、
- [math](\Delta_{\psi} \hat{Q}_j)^2 ( \Delta_{\psi} \hat{P}_j)^2 \ge \frac{\hbar}{2} [/math]
が成立するH13(p246,248)。
なお、
- [math]\mathrm{Dom}(\hat{Q}_j)=\Bigg\{\psi\in L^2(\mathbf{R}^d) \Bigg|[/math][math] \int_{\mathbf{R}^d}x_j{}^2\psi(x){}^2\mathrm{d}x \lt \infty \Bigg\}[/math]
- [math] \mathrm{Dom}(\hat{P}_j)=\{\psi\in L^2(\mathbf{R}^d) \mid \psi (x)[/math]の偏微分[math]{\partial \psi\over \partial x_j}(x)[/math]が定義可能[math]\}[/math]
である。ここで「偏微分可能」は通常の意味の偏微分が可能である事を含むのはもちろん、弱微分の意味での偏微分が可能であるものも許容する。
証明は引用文献H13のp246~248を参照されたい。
ロバートソンの不等式の証明
本節の証明は引用文献H13p243を参考にした。ψが定理の条件を満たす時[math][\hat{A},\hat{B}]\psi=\hat{A}\hat{B}\psi-\hat{B}\hat{A}\psi[/math]が定義可能であることは既に見たので、以下不等式が成り立つことの証明のみに注力する。記法を簡単にするため
- [math]\hat{A}' := \hat{A}-\langle \hat{A} \rangle_\psi I [/math]
- [math]\hat{B}' := \hat{B}-\langle \hat{B} \rangle_\psi I[/math]
とする。単位行列Iが[math]\mathcal{H}[/math]の全域で定義されている事を利用すると、ψの条件[math]\psi\in\mathrm{Dom}(\hat{A})\cap\mathrm{Dom}(\hat{B})[/math]、[math]\hat{B}\psi\in\mathrm{Dom}(\hat{A})[/math]、[math]\hat{A}\psi\in\mathrm{Dom}(\hat{B})[/math]より、
- [math]\hat{A}'\psi[/math]、[math]\hat{B}'\psi[/math]、[math]\hat{A}'\hat{B}'\psi[/math]、[math]\hat{B}'\hat{A}'\psi[/math]
がいずれも定義可能である事が簡単な議論で分る。
コーシー・シュワルツの不等式により、
- [math](\Delta_{\psi} \hat{A})^2 ( \Delta_{\psi} \hat{B})^2[/math][math]=\|\hat{A}'\psi\|^2\|\hat{B}'\psi\|^2[/math][math]\ge |\langle \hat{A}'\psi , \hat{B}'\psi \rangle|^2 [/math][math]\ge |\mathrm{Im}\langle \hat{A}'\psi , \hat{B}'\psi \rangle|^2[/math][math]\ge {1\over 4} |\langle \hat{A}'\psi,\hat{B}'\psi\rangle - \langle \hat{B}'\psi,\hat{A}'\psi\rangle |^2[/math]
[math]\hat{A}'\hat{B}'\psi[/math]、[math]\hat{B}'\hat{A}'\psi[/math]が定義可能であったので、
- [math]\langle \hat{A}'\psi,\hat{B}'\psi\rangle - \langle \hat{B}'\psi,\hat{A}'\psi\rangle [/math][math]=\langle \psi, \hat{A}'\hat{B}'\psi\rangle - \langle \psi, \hat{B}'\hat{A}'\psi\rangle[/math][math]=\langle\psi,[ \hat{A}',\hat{B}'] \psi \rangle [/math]
単位行列Iは全ての作用素と可換なので、
- [math][ \hat{A}',\hat{B}'][/math][math]=[ \hat{A}-\langle \hat{A} \rangle_\psi I, \hat{B}-\langle \hat{B} \rangle_\psi I][/math][math]=[\hat{A},\hat{B}][/math]
よってロバートソンの不等式が証明された。
反例
これまで我々はψが定義域に関する条件を満たしていればロバートソンの不等式が成立する事を示し、さらに[math]L^2(\mathbf{R}^d)[/math]における位置作用素と運動量作用素の場合には、この条件が緩められる事を見た。
しかし単位区間[-1,1]上の自乗可積分関数の集合[math]L^2([-1,1])[/math]における位置作用素と運動量作用素の場合には、不確定性原理が成り立たない反例ψ0が存在する。この反例は
- 後述するようにψ0はロバートソンの不等式の定義域に関する条件を満たさない
- ψ0は位置作用素と運動量作用素の不確定性原理における緩められた条件は満たすものの、空間が[math]L^2(\mathbf{R}^d)[/math]ではなく[math]L^2([-1,1])[/math]である
よってこの反例の存在はこれまでの成果と矛盾しない。
なおこの反例は引用文献H13p245~246によった。
反例となる作用素
1次元空間[math] \mathbf{R}[/math]上の自乗可積分関数に対する通常の位置作用素[math]\hat{Q}[/math]、運動量作用素[math]\hat{P}[/math]と区別するため、[−1, 1]上の自乗可積分関数に対する位置作用素と運動量作用素をそれぞれ[math]\hat{Q}'[/math]、[math]\hat{P}'[/math]と書くことにする。すなわち
- [math]\hat{Q}' \psi(x)=x_j\psi(x)[/math]
- [math]\hat{P}' \psi(x)=-i\hbar{\mathrm{d}\over\mathrm{d} x}\psi(x)[/math]
である事は通常の[math]\hat{Q}[/math]、[math]\hat{P}[/math]と変わらないが、[math]\hat{Q}[/math]、[math]\hat{P}[/math]の場合と違い、ψはR全体で定義された関数ではなく、区間[−1, 1]でのみ定義された関数である。
[math]\hat{Q}'[/math]の定義域
区間[−1, 1]上の自乗可積分関数ψに対し、区間[−1, 1]上の積分[math]\int_{[-1,1]}x^2 \psi(x)^2\mathrm{d}x[/math]は必ず有限値になるので、
- [math]\mathrm{Dom}(\hat{Q}')= L^2([-1,1])[/math]
でとしてよい。
[math]\hat{P}'[/math]の定義域
一方、ψ、χが周期性[math]\psi(-1)=\psi(1)[/math]、[math]\chi(-1)=\chi(1)[/math]を満たす可微分関数であれば、[math]\hat{P}'[/math]が対称性を満たす事を簡単な計算で示すことができる：
- [math]\langle \psi,\hat{P}'\chi\rangle - \langle \hat{P}'\psi, \chi\rangle [/math]=[math]\int_{[-1,1]} \overline{- i\hbar { \mathrm{d}\psi \over \mathrm{d} x}(x)}\chi(x) \mathrm{d}x [/math][math]- \int_{[-1,1]} \overline{\psi(x)}\cdot -i\hbar {\mathrm{d}\chi \over \mathrm{d} x}(x)\chi(x) \mathrm{d}x [/math][math]=\int_{[-1,1]}i\hbar { \mathrm{d} \over \mathrm{d} x}(\psi (x)\chi(x))\mathrm{d}x=0[/math]
よって
- [math]\mathrm{Dom}(\hat{P}')= \{\psi \mid\psi(-1)=\psi(1) [/math]を満たす[−1, 1]区間上の可微分関数[math]\}[/math]
としてよい。（なお、[math]\hat{P}'[/math]の自己共役性を示すには、「可微分」を弱微分の意味に解釈する必要があるが、本項の範囲を超えるので詳細は省略する）。
不等式の右辺
ψが可微分であれば、
- [math]\hat{P}'\hat{Q}'\psi = -i\hbar {\mathrm{d}\over \mathrm{d}x}(x\psi(x)) = -i\hbar\psi(x) -i\hbar x{\mathrm{d}\over \mathrm{d}x}(\psi(x)) [/math]
- [math]\hat{Q}'\hat{P}'\psi = -i\hbar x {\mathrm{d}\over \mathrm{d}x}\psi(x)[/math]
より、
- [math][\hat{Q}',\hat{P}']\psi =-i \hbar \psi[/math]
が成立する。したがって特に、ロバートソンの不等式の定義域に関する条件を満たしている場合には、上式が成立する。
不等式の左辺が0になる関数
しかし
- [math]\psi_0(x):={1\over \sqrt{2}}\mathrm{exp}(i\pi x)[/math]
とすると、ロバートソンの不等式の左辺が0になる事を示すことができる。
なぜなら、
- [math]\|\psi_0\|^2={1\over 2}\int_{[-1,1]} \overline{\mathrm{exp}(i\pi x)} \mathrm{exp}(i\pi x) \mathrm{d}x[/math][math] ={1\over 2}\int_{[-1,1]} \mathrm{d}x =1[/math]
- [math]\hat{P}'\psi_0(x):=-i\hbar{\mathrm{d}\over\mathrm{d} x}\mathrm{exp}(i\pi x) = \hbar\pi\psi_0(x) [/math]
よりψ0は[math]\hat{P}'[/math]の長さ1の固有関数であるので、[math]\Delta_{\psi_0}\hat{P}'[/math]は0になる：
- [math]\Delta_{\psi_0}\hat{P}'=\|\hat{P}'\psi_0-\langle\psi_0, \hat{P}'\psi_0 \rangle \psi_0\|[/math][math]=\|i\pi \psi_0-i\pi \langle\psi_0, \psi_0 \rangle \psi_0\|=0[/math]
一方明らかに
- [math]\Delta_{\psi_0}\hat{Q}'\lt \infty[/math]
なので、
- [math]\Delta_{\psi_0}\hat{P}'\Delta_{\psi_0}\hat{Q}'=0 [/math]
どの条件に反しているか
ロバートソンの不等式が成り立つためには、
- [math]\hat{Q}\psi\in\mathrm{Dom}(\hat{P}')[/math]、
でなければならなかった。しかし上述したψ0は
- [math]\hat{Q}\psi_0(x)= {x\over \sqrt{2}}\mathrm{exp}(i\pi x)[/math]
は
- [math]\hat{Q}\psi_0(-1) =1\neq -1 =\hat{Q}\psi_0(1)[/math]
であるので、[math]\mathrm{Dom}(\hat{P}')[/math]の周期性の条件を満たさない。よって
- [math]\hat{Q}\psi_0\notin \mathrm{Dom}(\hat{P}')[/math]
であり、ロバートソンの不等式の条件が満たされない。
小澤の関係式
小澤正直は、（当初のハイゼンベルクの思考実験では混同されており、ボーアが指摘している）測定限界や測定することによる対象の擾乱や測定誤差と、量子自体の性質（不確定性関係）による量子ゆらぎを厳密に区別した式（小澤の不等式）を提案した。式の形は、ハイゼンベルクの式に補正項を付け加えた形になる。さらに、その式に従えば（従来のハイゼンベルクの式に従って信じられていた）「ハイゼンベルクの不確定性原理による測定の限界」を超えて、量子に対する精度の良い測定が可能であると、2003年1月に発表した[3]（この結果につながった論争は、1980年代に、重力波検出装置の可能性と限界を巡って始まったものである）。オブサーバブル [math]\mathcal{O}[/math] の測定の誤差（すなわち精度）を [math]\epsilon_{\mathcal{O}}[/math]、測定過程による撹乱を [math]\eta_{\mathcal{O}}[/math]、量子ゆらぎを [math]\sigma_{\mathcal{O}}[/math] とすると以下の不等式が成り立つ[3]。テンプレート:Equation box 1 位置と運動量の測定の関係を小澤の不等式に当てはめると、
- [math] \epsilon_P \eta_Q + \epsilon_P \sigma_Q + \sigma_P \eta_Q \ge \frac{\hbar}{2}[/math]
となる。この改良された不等式から見ると、1927年に発表されたハイゼンベルクの不確定性原理は上式の第1項についてのみ述べていたということになる。
小沢の不等式が示す測定誤差 (左辺の第1項) の下限は、ハイゼンベルクの不等式が示していた測定誤差下限よりも第2項、第3項の分だけ小さい。このことは、ハイゼンベルクの不等式が示した限界よりも精度の良い測定ができる可能性を示唆しており、実際にそのような小澤の不等式を実証する実験結果が2012年に発表された[9]。この実験では原子炉から出る中性子のスピン角度を2台の装置によってはかり、ハイゼンベルクの不等式の限界を超えて精度よく測定することに成功したと発表された[10]。
時間とエネルギーの不確定性関係
時間とエネルギーに関しては、観測量の分散に対するロバートソン不等式を論じることは一般にできない。それはエネルギー固有値が連続でかつ上限および下限を持たない量子系でなければ、ハミルトニアン テンプレート:Hat に正準共役な時間演算子 テンプレート:Hat は定義できないためである。もし考えている量子系においてエルミートな テンプレート:Hat が存在して
- [math][\hat{H},\hat{T}]=i\hbar[/math]
を満たすならば、任意の実数 k に対して
- [math]\hat{U}(k) = \exp (-ik \hat{T} / \hbar) [/math]
というユニタリ変換が存在する。これをあるエネルギー固有値 E に対応する固有状態 テンプレート:Ket に作用させると、得られる状態は
- [math]\hat{H}\hat{U}(k)|E\rangle =(E+k)\hat{U}(k)|E\rangle[/math]
という関係を満たすため、エネルギー固有値が E + k のエネルギー固有状態を得たことになる。しかし k は負の無限大から正の無限大の間の任意の実数値をとれるため、エネルギー固有値も連続的となり下限も上限もなくなる。安定した基底状態をもつ量子系ではエネルギー固有値は下限をもつため、エルミートな時間演算子は存在しないことが証明される。従って安定な基底状態をもつ通常の量子系では、時間とエネルギーに関するロバートソン不等式は意味を持たない。同様に、時間とエネルギーに関しては小澤の不等式も意味を持たない。
なお未知の時間パラメータ[math]t[/math]に依存する量子状態 テンプレート:Ket を量子測定して、その測定結果から t の値を推定する場合には、その推定誤差 δt とハミルトニアンの標準偏差との間に不等式 [math]\delta t \sqrt{\langle (\Delta \hat{H})^2 \rangle} \geq \hbar / 2[/math] が成立することは知られている。しかしこれはロバートソン不等式や小澤の不等式ではなく、量子推定理論のクラメール・ラオ不等式からの帰結である。
ハミルトニアン テンプレート:Hat によって時間発展した状態が初期状態に比べて有意に変化するには、[math]t \sim \hbar / \sqrt{\langle (\Delta \hat{H})^2 \rangle}[/math]以上の経過時間が必要である。この関係を時間とエネルギーの不確定性関係の一種とみなす場合もある[11]。しかしエネルギーの標準偏差[math]\sqrt{\langle(\Delta \hat{H})^2 \rangle}[/math]と、状態差が生まれるための経過時間 t との積の下限は ħ / 2 という普遍的な値を持たず、使用する状態差の指標等の詳細に依存する。
一方、エネルギーの測定誤差とエネルギーの測定にかかる時間との間には原理的な不確定性関係は存在しない。1930年のソルヴェイ会議でのアインシュタインとの不確定性原理の論争において、ボーアが測定時間とエネルギーの誤差の不確定性関係を破る光子箱の思考実験を論破したと言われているが、この時のボーアの議論は正確ではない。例えば重力場を電場に、光子を電子に置き換えることによって、光子箱と同様のエネルギー測定の思考実験が作れる[12]。しかしこの場合は一般相対性理論を必要とせず、重力ポテンシャルと時間の遅れの関係式も不必要となるため、ボーアが考えた測定時間とエネルギーの測定誤差の不確定性関係は成立しないことが示される。他の物理量と同様に、エネルギーは任意の時刻で正確に測定できる。例えば一定外部磁場 B 中のスピン S が持つエネルギー H ∝ B·S の精密測定は、スピンの磁場方向成分の精密測定で実現できる。スピンの特定方向成分の理想測定はその測定時間に原理的制約を持たないため、いくらでも短い測定時間の間に磁場方向のスピンの精密測定はできる。従ってそのエネルギーも測定時間に関係なく精密測定ができる。
時間とエネルギーの不確定性関係のために短時間ではエネルギー保存則が破れるという説も流布しているが、それに根拠はない。フェルミの黄金律等の摂動論において議論されている有限時間でのエネルギー保存則の破れは、相互作用項を無視した自由ハミルトニアン テンプレート:Hato のみに対する議論にすぎない。相互作用があると テンプレート:Hato は時間的に保存しないが、相互作用項 テンプレート:Hat まで取り入れた全ハミルトニアン テンプレート:Hato + テンプレート:Hat 自体は任意の時刻で保存しており、エネルギー保存則は量子力学でも破れることはない。場の量子論では、エネルギー運動量テンソル演算子 テンプレート:Hatμν を用いて
- [math]\partial_{\mu}\hat{T}^{\mu0}=0[/math]
という局所的表現でエネルギー保存則は与えられる。他の量子系と同様に、短時間でもエネルギー保存則が破れることはない。ファインマンダイアグラムを用いた摂動論において、仮想粒子が実粒子の間を媒介して力を伝達する事象をエネルギー保存則の破れで簡易に説明する場合があるが、厳密に言うとその破れは相互作用項を無視した自由ハミルトニアンの保存則の破れを指す。場の量子論においても相互作用項まで取り入れたエネルギー保存則は破れることはない。
歴史
1927年にヴェルナー・ハイゼンベルクは、ある粒子の位置をより正確に決定する程、その運動量を正確に知ることができなくなり、逆もまた同様である、と述べた[13]。位置の標準偏差 σx と運動量の標準偏差 σp を結び付ける不等式は1927年にアール・ヘッセ・ケナードによって[14]、1928年にヘルマン・ワイルによって[15]導出された。
引用
- ↑ Quantum Mechanics Non-Relativistic Theory, Third Edition: Volume 3. Landau, Lifshitz
- ↑ Furuta, Aya (2012), “One Thing Is Certain: Heisenberg's Uncertainty Principle Is Not Dead”, Scientific American
- ↑ 3.0 3.1 3.2 Ozawa, Masanao (2003), “Universally valid reformulation of the Heisenberg uncertainty principle on noise and disturbance in measurement”, Physical Review A 67 (4), arXiv:quant-ph/0207121, Bibcode 2003PhRvA..67d2105O, doi:10.1103/PhysRevA.67.042105
- ↑ Werner Heisenberg, The Physical Principles of the Quantum Theory, p. 20
- ↑ 5.0 5.1 Rozema, Lee A.; Darabi, Ardavan; Mahler, Dylan H.; Hayat, Alex; Soudagar, Yasaman; Steinberg, Aephraim M. (2012). “Violation of Heisenberg’s Measurement-Disturbance Relationship by Weak Measurements”. Physical Review Letters 109 (10). doi:10.1103/PhysRevLett.109.100404. ISSN 0031-9007.
- ↑ Scientists Cast Doubt On Heisenberg's Uncertainty Principle Science Daily 7 September 2012
- ↑ youtube.com website Indian Institute of Technology Madras, Professor V. Balakrishnan, Lecture 1 – Introduction to Quantum Physics; Heisenberg's uncertainty principle, National Programme of Technology Enhanced Learning
- ↑ 清水明 『量子論の基礎―その本質のやさしい理解のために―』 サイエンス社〈新物理学ライブラリ 別巻2〉、2003年4月、新版、pp.85 f。ISBN 4-7819-1062-9。
- ↑ Erhart, Jacqueline; Stephan Sponar, Georg Sulyok, Gerald Badurek, Masanao Ozawa, Yuji Hasegawa (2012), “Experimental demonstration of a universally valid error-disturbance uncertainty relation in spin-measurements”, Nature Physics 8 (3): 185–189, arXiv:1201.1833, Bibcode 2012NatPh...8..185E, doi:10.1038/nphys2194
- ↑ “物理の根幹、新たな数式 名大教授の予測を実証”. asahi.com. (2012年1月16日). オリジナルの2012年1月18日時点によるアーカイブ。
- ↑ 清水明「新版 量子論の基礎」（サイエンス社）
- ↑ H. J. Treder,"The Einstein-Bohr Box Experiment" published in Perspective in Quantum Theory, Yourgrau and van der Mehwe (eds), MIT press (1970) pp. 17–24.
- ↑ Heisenberg, W. (1927), “Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik”, Zeitschrift für Physik 43 (3–4): 172–198, Bibcode 1927ZPhy...43..172H, doi:10.1007/BF01397280.. Annotated pre-publication proof sheet of Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik, March 23, 1927.
- ↑ Kennard, E. H. (1927), “Zur Quantenmechanik einfacher Bewegungstypen”, Zeitschrift für Physik 44 (4–5): 326, Bibcode 1927ZPhy...44..326K, doi:10.1007/BF01391200.
- ↑ Weyl, H. (1928), Gruppentheorie und Quantenmechanik, Leipzig: Hirzel
文献
引用文献
- [H13] Brian C.Hall (2013/7/1). Quantum Theory for Mathematicians, Graduate Texts in Mathematics 267. Springer.
その他関連書籍
- 石井茂 『ハイゼンベルクの顕微鏡 不確定性原理は超えられるか』 日経BP社、2006年1月。ISBN 4-8222-8233-3。
- 鈴木坦 『不確定性原理 現代物理学の言葉』 富書店〈京大理学普及講座 4〉、1948年。
- 都筑卓司 『不確定性原理 運命への挑戦』 講談社〈ブルーバックス B-155〉、1970年5月。ISBN 4-06-117755-9。
- 都筑卓司 『不確定性原理 運命への挑戦』 講談社〈ブルーバックス B-1385〉、2002年9月、新装版。ISBN 4-06-257385-7。
- 並木美喜雄 『不確定性原理 量子力学を語る』 共立出版〈物理学one point 18〉、1982年5月。ISBN 4-320-03172-5。
- ハーバート, ニック 『量子と実在 不確定性原理からベルの定理へ』 はやしはじめ訳、白揚社、1990年11月。ISBN 4-8269-0045-7。
- ハイゼンベルク, ヴェルナー 「不確定性原理」『自然のなかの数学』 J・R・ニューマンほか編、林雄一郎訳編、東京図書〈科学技術選書〉、1970年。
- 原康夫 『量子の不思議 不確定性原理の世界』 中央公論社〈中公新書〉、1985年1月。ISBN 4-12-100751-4。
- 古澤明 『量子もつれとは何か 「不確定性原理」と複数の量子を扱う量子力学』 講談社〈ブルーバックス B-1715〉、2011年2月。ISBN 978-4-06-257715-1。
- 宮下精二 『量子スピン系 不確定性原理と秩序』 岩波書店〈岩波講座 物理の世界 物質科学の展開 7〉、2006年10月。ISBN 4-00-011130-2。
関連項目
外部リンク
- The Uncertainty Principle （英語） - スタンフォード哲学百科事典「不確定性原理」の項目。
- The certainty principle –確定性原理 （英語）