不確定性原理 ( ふかくていせいげんり 、( 独 : Unschärferelation 、英 : Uncertainty principle )は、量子力学 に従う系 の物理量 A ^ {\displaystyle {\hat {A}}} を観測したときの不確定性と、同じ系で別の物理量 B ^ {\displaystyle {\hat {B}}} を観測したときの不確定性が適切な条件下では同時に0になる事はないとする一連の定理の総称である。特に重要なのは A ^ {\displaystyle {\hat {A}}} 、 B ^ {\displaystyle {\hat {B}}} がそれぞれ位置と運動量のときであり、狭義にはこの場合のものを不確定性原理という。
原理的には、一般のフーリエ解析で窓関数を狭めるほど得られるスペクトルが不正確となるのと同種の説明がなされる。
このような限界が存在するはずだという元々の発見的議論がハイゼンベルク によって与えられたため、これはハイゼンベルクの原理 という名前が付けられることもある。しかし後述するようにハイゼンベルク自身による不確定性原理の物理的説明は、今日の量子力学の知識からは正しいものではない。
今日の量子力学において、不確定性原理でいう観測 は日常語のそれとは意味が異なる用語であり、測定装置のような古典的物体と量子系との間の任意の相互作用を意味する[1] 。したがって例えば、実験者が測定装置に表示された値を実際に見たかどうかといった事とは無関係に定義される。また不確定性 とは、物理量を観測した時に得られる測定値の標準偏差 を表す。
不確定性原理が顕在化する現象の例としては、原子 (格子)の零点振動 (このためヘリウム は、常圧下では絶対零度まで冷却しても固化しない)、その他量子的なゆらぎ (例:遍歴電子系におけるスピン揺らぎ)などが挙げられる。
一般のフーリエ変換に現れる同種のトレードオフ [ 編集 ] 不確定性原理は、物質が根源的に波であり、位置と運動量が共役すなわちフーリエ変換の双対となることに由来する。よって、一般の音声解析等のフーリエ変換にて生じるトレードオフに例えられる。
フーリエ変換では対象となる波に窓関数を乗じて波の一部を切り出し、一度の解析対象領域とするが、この領域を長くとった方が周波数分析としては正確であり、スペクトル空間上の局在的な情報が得られる。例えば波長の値などが正確に得られる。
しかし、領域が長いほど、波の瞬時ピークの高さやその出現時刻といった、時間軸で局在している特徴は曖昧になる。スペクトル空間上の局在性を犠牲にして対象領域を狭めていくことで時間軸上の局在情報すなわち瞬時のピークや波形は、より正確に捉えられる。
これは窓関数の利用に限ったことではなく、波の局在した成分を捉えようとすると、周波数空間での情報は曖昧になり分布が広がる。両方を同時に局在化させることはできない。
※詳細は不確定性原理英語版 やフーリエ解析 にて図入りで説明されている。
観察者効果との混同 [ 編集 ] 歴史的に、不確定性原理は観察者効果 と呼ばれる物理学 におけるいくらか似た効果と混同されてきた[2] [3] 。観察者効果とは、系を測定する行為それ自身が系に影響を与えてしまうというものである。
量子力学が成立するミクロな世界が測定による観測者効果で「揺動」してしまうという説明は、ハイゼンベルク自身が当初不確定性原理に対して与えたものであり[4] 、今日において繰り返し出てくるものの、根本的に誤解を招くおそれのあることが現在は知られている[5] [6] 。
「不確定性原理は実際には量子系の基本的特性を述べており、現代のテクノロジーにおける測定精度の到達点について述べたものではない」[7] 。不確定性原理は全ての波 のような系にもともと備わっている特性であること[5] 、不確定性は単純に全ての量子物体の物質波 の性質によって現われることが今日の量子力学ではわかっている。
測定器の誤差と測定による反作用との不確定性とは区別して考えなければならない。量子論での時間発展や測定についての基本的要請をすべて使って展開できる量子測定理論 を用いて、ハイゼンベルクの考察した「測定精度と反作用に関する不確定性原理」ははじめて導けるが、その結果得られる不等式の下限はケースバイケースで変わることが判っている[8] 。後述する小澤の不等式 などがその1つである。
不確定性原理の概要 [ 編集 ] 不確定性原理で特に重要になるのは、物理量 A ^ {\displaystyle {\hat {A}}} と物理量 B ^ {\displaystyle {\hat {B}}} がそれぞれ(j 軸方向の)位置 Q ^ j {\displaystyle {\hat {Q}}_{j}} と運動量 P ^ j {\displaystyle {\hat {P}}_{j}} である場合である。系が状態ψ にあるときのこれらの不確定性をそれぞれ Δ ψ Q ^ j {\displaystyle \Delta _{\psi }{\hat {Q}}_{j}} 、 Δ ψ P ^ j {\displaystyle \Delta _{\psi }{\hat {P}}_{j}} とするとき、以下が成立する:
Δ ψ Q ^ j Δ ψ P ^ j ≥ ℏ 2 {\displaystyle \Delta _{\psi }{\hat {Q}}_{j}\Delta _{\psi }{\hat {P}}_{j}\geq {\frac {\hbar }{2}}~~}
ここで ℏ {\displaystyle \hbar } は換算プランク定数 である。なお本項ではH13 に従い、不確定性を Δ ψ Q ^ j {\displaystyle \Delta _{\psi }{\hat {Q}}_{j}} と表記したが、多くの物理の教科書では系の状態ψ を省略し Δ Q ^ j {\displaystyle \Delta {\hat {Q}}_{j}} と表記する。
上式右辺は0より真に大きいので、位置の不確定性 Δ ψ Q ^ j {\displaystyle \Delta _{\psi }{\hat {Q}}_{j}} が0に近い値であれば Δ ψ P ^ j {\displaystyle \Delta _{\psi }{\hat {P}}_{j}} は極端に大きくなり、逆に Δ ψ P ^ j {\displaystyle \Delta _{\psi }{\hat {P}}_{j}} が0に近い値であれば Δ ψ Q ^ j {\displaystyle \Delta _{\psi }{\hat {Q}}_{j}} は極端に大きくなる。両方共0に近い値にする事はできない。
一般の物理量 A ^ {\displaystyle {\hat {A}}} 、 B ^ {\displaystyle {\hat {B}}} に対する不確定性原理として、以下のロバートソンの不等式 がある:
( Δ ψ A ^ ) 2 ( Δ ψ B ^ ) 2 ≥ 1 4 | ⟨ [ A ^ , B ^ ] ⟩ ψ | 2 {\displaystyle (\Delta _{\psi }{\hat {A}})^{2}(\Delta _{\psi }{\hat {B}})^{2}\geq {\frac {1}{4}}\left|\langle [{\hat {A}},{\hat {B}}]\rangle _{\psi }\right|^{2}}
ここで [ A ^ , B ^ ] {\displaystyle [{\hat {A}},{\hat {B}}]} は A ^ {\displaystyle {\hat {A}}} と B ^ {\displaystyle {\hat {B}}} の交換子
[ A ^ , B ^ ] = A ^ B ^ − B ^ A ^ {\displaystyle [{\hat {A}},{\hat {B}}]={\hat {A}}{\hat {B}}-{\hat {B}}{\hat {A}}} であり、 ⟨ [ A ^ , B ^ ] ⟩ ψ {\displaystyle \langle [{\hat {A}},{\hat {B}}]\rangle _{\psi }} は系の状態がψ であるときに [ A ^ , B ^ ] {\displaystyle [{\hat {A}},{\hat {B}}]} を観測したときの観測値の期待値である。
これまでψ について詳しく書いてこなかったが、実はψ が適切な定義域に属している場合にしか不確定性原理は成り立たず、そうでない場合には反例がある 事が知られているので注意が必要である。そこで次節でこの点を考慮して不確定性原理を厳密に定式化する。
厳密な定式化 [ 編集 ] 予備知識 [ 編集 ] 不確定性原理を定式化する為の予備知識を説明する。量子力学 において(純粋)量子状態は状態空間 H {\displaystyle {\mathcal {H}}} という複素内積ベクトル空間(ヒルベルト空間 )における長さ1のベクトル(状態ベクトル )として記述され、物理量 (オブザーバブル と呼ぶ)は H {\displaystyle {\mathcal {H}}} 上の自己共役作用素 として定式化される。
粒子がn 個ある系の場合 H {\displaystyle {\mathcal {H}}} は、3n 次元空間 R 3 n = { ( x 1 , … , x 3 n ) } {\displaystyle \mathbf {R} ^{3n}=\{(x_{1},\ldots ,x_{3n})\}} 上の複素数値の自乗可積分函数 全体の空間と同一視でき、このようにみなした場合、状態ベクトルのことを波動関数 と呼ぶ。 x j {\displaystyle x_{j}} 軸方向の位置作用素 Q ^ j {\displaystyle {\hat {Q}}_{j}} と運動量作用素 P ^ j {\displaystyle {\hat {P}}_{j}} はそれぞれ
Q ^ j ψ ( x ) = x j ψ ( x ) P ^ j ψ ( x ) = − i ℏ ∂ ∂ x j ψ ( x ) {\displaystyle {\begin{aligned}{\hat {Q}}_{j}\psi (x)&=x_{j}\psi (x)\\{\hat {P}}_{j}\psi (x)&=-i\hbar {\frac {\partial }{\partial x_{j}}}\psi (x)\end{aligned}}} により定義される。ここで ℏ {\displaystyle \hbar } は換算プランク定数 である。
オブザーバブルの定義域 [ 編集 ] 不確定性原理を定式化する準備として、オブザーバブルの定義域 に関して述べる。後でみるように、不確定性原理を厳密に定式化する際、オブザーバブルの定義域に関して細心の注意を払わないと、反例がつくれてしまうからである。
まず運動量作用素と位置作用素の定義域に関して調べる。定義から分かるように、運動量作用素は波動関数が微分可能な場合しか定義できないが、自乗可積分関数の中には微分可能でないものもあるので、運動量作用素は状態空間 H {\displaystyle {\mathcal {H}}} の全域では定義できず、 H {\displaystyle {\mathcal {H}}} の部分空間でのみ定義された作用素である。また位置作用素に関しても、 Q ^ j ψ ( x ) = x j ψ ( x ) {\displaystyle {\hat {Q}}_{j}\psi (x)=x_{j}\psi (x)} が常に自乗可積分関数になるわけではないので、 Q ^ j ψ ( x ) = x j ψ ( x ) {\displaystyle {\hat {Q}}_{j}\psi (x)=x_{j}\psi (x)} が自乗可積分関数になるような ψ ( x ) {\displaystyle \psi (x)} に対してしか位置作用素を定義できない(そうしないと Q ^ j {\displaystyle {\hat {Q}}_{j}} の値域が H {\displaystyle {\mathcal {H}}} からはみ出してしまうので、 Q ^ j {\displaystyle {\hat {Q}}_{j}} が H {\displaystyle {\mathcal {H}}} 上の自己共役作用素にならない)。こうした事情から量子力学では、オブザーバブル A ^ {\displaystyle {\hat {A}}} が H {\displaystyle {\mathcal {H}}} の部分空間でのみでしか定義されていないケースをも許容し、代わりに定義域 D o m ( A ^ ) ⊂ H {\displaystyle \mathrm {Dom} ({\hat {A}})\subset {\mathcal {H}}} が H {\displaystyle {\mathcal {H}}} で稠密になる事を要請する 。
オブザーバブル A ^ {\displaystyle {\hat {A}}} が H {\displaystyle {\mathcal {H}}} の部分空間でのみでしか定義されない事を許容した事が原因で、2つのオブザーバブル A ^ {\displaystyle {\hat {A}}} 、 B ^ {\displaystyle {\hat {B}}} の交換子
[ A ^ , B ^ ] ψ := A ^ B ^ ψ − B ^ A ^ ψ {\displaystyle [{\hat {A}},{\hat {B}}]\psi :={\hat {A}}{\hat {B}}\psi -{\hat {B}}{\hat {A}}\psi } も常に定義できるとは限らない。実際、積 A ^ B ^ ψ {\displaystyle {\hat {A}}{\hat {B}}\psi } は
ψ ∈ D o m ( B ^ ) {\displaystyle \psi \in \mathrm {Dom} ({\hat {B}})} かつ B ^ ψ ∈ D o m ( A ^ ) {\displaystyle {\hat {B}}\psi \in \mathrm {Dom} ({\hat {A}})} のときしか意味を持たないし、 B ^ A ^ ψ {\displaystyle {\hat {B}}{\hat {A}}\psi } にも同様の制約が課せられる。結局 [ A ^ , B ^ ] ψ := A ^ B ^ ψ − B ^ A ^ ψ {\displaystyle [{\hat {A}},{\hat {B}}]\psi :={\hat {A}}{\hat {B}}\psi -{\hat {B}}{\hat {A}}\psi } が意味を持つのは、
ψ ∈ D o m ( A ^ ) ∩ D o m ( B ^ ) {\displaystyle \psi \in \mathrm {Dom} ({\hat {A}})\cap \mathrm {Dom} ({\hat {B}})} 、 B ^ ψ ∈ D o m ( A ^ ) {\displaystyle {\hat {B}}\psi \in \mathrm {Dom} ({\hat {A}})} 、 A ^ ψ ∈ D o m ( B ^ ) {\displaystyle {\hat {A}}\psi \in \mathrm {Dom} ({\hat {B}})} が全て成り立つときのみである。
不確定性の定義 [ 編集 ] 状態空間 H {\displaystyle {\mathcal {H}}} 上2つの元ψ 、χ に対し、ψ とχ の内積 を ⟨ ψ , χ ⟩ {\displaystyle \langle \psi ,\chi \rangle } と書き表し、ノルム を
‖ ψ ‖ := ⟨ ψ , ψ ⟩ {\displaystyle \|\psi \|:={\sqrt {\langle \psi ,\psi \rangle }}} とする。オブザーバブル A ^ {\displaystyle {\hat {A}}} と状態ベクトル ψ ∈ D o m ( A ^ ) {\displaystyle \psi \in \mathrm {Dom} ({\hat {A}})} に対し、
⟨ A ^ ⟩ ψ := ⟨ ψ , A ^ ψ ⟩ {\displaystyle \langle {\hat {A}}\rangle _{\psi }:=\langle \psi ,{\hat {A}}\psi \rangle } と定義しH13 (p53) 、さらに A ^ {\displaystyle {\hat {A}}} の ψ ∈ D o m ( A ^ ) {\displaystyle \psi \in \mathrm {Dom} ({\hat {A}})} に対する不確定性 を
Δ ψ A ^ := ‖ ( A ^ − ⟨ A ^ ⟩ ψ I ) ψ ‖ {\displaystyle \Delta _{\psi }{\hat {A}}:=\|({\hat {A}}-\langle {\hat {A}}\rangle _{\psi }I)\psi \|} により定義するH13 (p241) 。ここでI は単位行列 である。 ⟨ A ^ ⟩ ψ {\displaystyle \langle {\hat {A}}\rangle _{\psi }} と Δ ψ A ^ {\displaystyle \Delta _{\psi }{\hat {A}}} は物理的にはそれぞれ、状態 ψ {\displaystyle \psi } にある系で A ^ {\displaystyle {\hat {A}}} を観測した時に得られる観測値の平均値と標準偏差 である。
ロバートソンの不等式 [ 編集 ] A ^ {\displaystyle {\hat {A}}} 、 B ^ {\displaystyle {\hat {B}}} を状態空間 H {\displaystyle {\mathcal {H}}} 上のオブザーバブルとし、 ψ ∈ H {\displaystyle \psi \in {\mathcal {H}}} が
ψ ∈ D o m ( A ^ ) ∩ D o m ( B ^ ) {\displaystyle \psi \in \mathrm {Dom} ({\hat {A}})\cap \mathrm {Dom} ({\hat {B}})} 、 B ^ ψ ∈ D o m ( A ^ ) {\displaystyle {\hat {B}}\psi \in \mathrm {Dom} ({\hat {A}})} 、 A ^ ψ ∈ D o m ( B ^ ) {\displaystyle {\hat {A}}\psi \in \mathrm {Dom} ({\hat {B}})} を満たしているとする。このとき、 [ A ^ , B ^ ] ψ := A ^ B ^ ψ − B ^ A ^ ψ {\displaystyle [{\hat {A}},{\hat {B}}]\psi :={\hat {A}}{\hat {B}}\psi -{\hat {B}}{\hat {A}}\psi } が定義可能であり、以下の不等式(ロバートソンの不等式 )が成立するH13 (p241,242) :
( Δ ψ A ^ ) 2 ( Δ ψ B ^ ) 2 ≥ 1 4 | ⟨ [ A ^ , B ^ ] ⟩ ψ | 2 {\displaystyle (\Delta _{\psi }{\hat {A}})^{2}(\Delta _{\psi }{\hat {B}})^{2}\geq {\frac {1}{4}}\left|\langle [{\hat {A}},{\hat {B}}]\rangle _{\psi }\right|^{2}} 証明は後述する。
L 2 (R d ) における位置と運動量に関する不確定性原理[ 編集 ] d 次元空間R d 上の自乗可積分関数全体の空間 L 2 ( R d ) {\displaystyle L^{2}(\mathbf {R} ^{d})} におけるj 番目の位置作用素と運動量作用素
Q ^ j ψ ( x ) = x j ψ ( x ) P ^ j ψ ( x ) = − i ℏ ∂ ∂ x j ψ ( x ) {\displaystyle {\begin{aligned}{\hat {Q}}_{j}\psi (x)&=x_{j}\psi (x)\\{\hat {P}}_{j}\psi (x)&=-i\hbar {\frac {\partial }{\partial x_{j}}}\psi (x)\end{aligned}}} に関しては、ψ の定義域に関する条件を弱めることができる事が知られている。
すなわち状態空間が H = L 2 ( R d ) {\displaystyle {\mathcal {H}}=L^{2}(\mathbf {R} ^{d})} であるとき、
ψ ∈ D o m ( Q ^ j ) ∩ D o m ( P ^ j ) {\displaystyle \psi \in \mathrm {Dom} ({\hat {Q}}_{j})\cap \mathrm {Dom} ({\hat {P}}_{j})} であれば、
( Δ ψ Q ^ j ) 2 ( Δ ψ P ^ j ) 2 ≥ ℏ 2 {\displaystyle (\Delta _{\psi }{\hat {Q}}_{j})^{2}(\Delta _{\psi }{\hat {P}}_{j})^{2}\geq {\frac {\hbar }{2}}} が成立するH13 (p246,248) 。
なお、
D o m ( Q ^ j ) = { ψ ∈ L 2 ( R d ) | ∫ R d x j 2 ψ ( x ) 2 d x < ∞ } {\displaystyle \mathrm {Dom} ({\hat {Q}}_{j})={\Bigg \{}\psi \in L^{2}(\mathbf {R} ^{d}){\Bigg |}\int _{\mathbf {R} ^{d}}x_{j}{}^{2}\psi (x){}^{2}\mathrm {d} x<\infty {\Bigg \}}} D o m ( P ^ j ) = { ψ ∈ L 2 ( R d ) ∣ ψ ( x ) {\displaystyle \mathrm {Dom} ({\hat {P}}_{j})=\{\psi \in L^{2}(\mathbf {R} ^{d})\mid \psi (x)} の偏微分 ∂ ψ ∂ x j ( x ) {\displaystyle {\partial \psi \over \partial x_{j}}(x)} が定義可能 } {\displaystyle \}} である。ここで「偏微分可能」は通常の意味の偏微分が可能である事を含むのはもちろん、弱微分 の意味での偏微分が可能であるものも許容する。
証明は引用文献H13 のp246~248を参照されたい。
ロバートソンの不等式の証明 [ 編集 ] 本節の証明は引用文献H13p 243を参考にした。ψ が定理の条件を満たす時 [ A ^ , B ^ ] ψ = A ^ B ^ ψ − B ^ A ^ ψ {\displaystyle [{\hat {A}},{\hat {B}}]\psi ={\hat {A}}{\hat {B}}\psi -{\hat {B}}{\hat {A}}\psi } が定義可能であることは既に見たので、以下不等式が成り立つことの証明のみに注力する。記法を簡単にするため
A ^ ′ := A ^ − ⟨ A ^ ⟩ ψ I B ^ ′ := B ^ − ⟨ B ^ ⟩ ψ I {\displaystyle {\begin{aligned}{\hat {A}}'&:={\hat {A}}-\langle {\hat {A}}\rangle _{\psi }I\\{\hat {B}}'&:={\hat {B}}-\langle {\hat {B}}\rangle _{\psi }I\end{aligned}}} とする。単位行列I が H {\displaystyle {\mathcal {H}}} の全域で定義されている事を利用すると、ψ の条件 ψ ∈ D o m ( A ^ ) ∩ D o m ( B ^ ) {\displaystyle \psi \in \mathrm {Dom} ({\hat {A}})\cap \mathrm {Dom} ({\hat {B}})} 、 B ^ ψ ∈ D o m ( A ^ ) {\displaystyle {\hat {B}}\psi \in \mathrm {Dom} ({\hat {A}})} 、 A ^ ψ ∈ D o m ( B ^ ) {\displaystyle {\hat {A}}\psi \in \mathrm {Dom} ({\hat {B}})} より、
A ^ ′ ψ {\displaystyle {\hat {A}}'\psi } 、 B ^ ′ ψ {\displaystyle {\hat {B}}'\psi } 、 A ^ ′ B ^ ′ ψ {\displaystyle {\hat {A}}'{\hat {B}}'\psi } 、 B ^ ′ A ^ ′ ψ {\displaystyle {\hat {B}}'{\hat {A}}'\psi } がいずれも定義可能である事が簡単な議論で分る。
コーシー・シュワルツの不等式 により、
( Δ ψ A ^ ) 2 ( Δ ψ B ^ ) 2 = ‖ A ^ ′ ψ ‖ 2 ‖ B ^ ′ ψ ‖ 2 ≥ | ⟨ A ^ ′ ψ , B ^ ′ ψ ⟩ | 2 ≥ | I m ⟨ A ^ ′ ψ , B ^ ′ ψ ⟩ | 2 ≥ 1 4 | ⟨ A ^ ′ ψ , B ^ ′ ψ ⟩ − ⟨ B ^ ′ ψ , A ^ ′ ψ ⟩ | 2 {\displaystyle (\Delta _{\psi }{\hat {A}})^{2}(\Delta _{\psi }{\hat {B}})^{2}=\|{\hat {A}}'\psi \|^{2}\|{\hat {B}}'\psi \|^{2}\geq |\langle {\hat {A}}'\psi ,{\hat {B}}'\psi \rangle |^{2}\geq |\mathrm {Im} \langle {\hat {A}}'\psi ,{\hat {B}}'\psi \rangle |^{2}\geq {\frac {1}{4}}|\langle {\hat {A}}'\psi ,{\hat {B}}'\psi \rangle -\langle {\hat {B}}'\psi ,{\hat {A}}'\psi \rangle |^{2}} A ^ ′ B ^ ′ ψ {\displaystyle {\hat {A}}'{\hat {B}}'\psi } 、 B ^ ′ A ^ ′ ψ {\displaystyle {\hat {B}}'{\hat {A}}'\psi } が定義可能であったので、
⟨ A ^ ′ ψ , B ^ ′ ψ ⟩ − ⟨ B ^ ′ ψ , A ^ ′ ψ ⟩ = ⟨ ψ , A ^ ′ B ^ ′ ψ ⟩ − ⟨ ψ , B ^ ′ A ^ ′ ψ ⟩ = ⟨ ψ , [ A ^ ′ , B ^ ′ ] ψ ⟩ {\displaystyle \langle {\hat {A}}'\psi ,{\hat {B}}'\psi \rangle -\langle {\hat {B}}'\psi ,{\hat {A}}'\psi \rangle =\langle \psi ,{\hat {A}}'{\hat {B}}'\psi \rangle -\langle \psi ,{\hat {B}}'{\hat {A}}'\psi \rangle =\langle \psi ,[{\hat {A}}',{\hat {B}}']\psi \rangle } 単位行列I は全ての作用素と可換なので、
[ A ^ ′ , B ^ ′ ] = [ A ^ − ⟨ A ^ ⟩ ψ I , B ^ − ⟨ B ^ ⟩ ψ I ] = [ A ^ , B ^ ] {\displaystyle [{\hat {A}}',{\hat {B}}']=[{\hat {A}}-\langle {\hat {A}}\rangle _{\psi }I,{\hat {B}}-\langle {\hat {B}}\rangle _{\psi }I]=[{\hat {A}},{\hat {B}}]} よってロバートソンの不等式が証明された。
これまで我々はψ が定義域に関する条件を満たしていればロバートソンの不等式が成立する事を示し、さらに L 2 ( R d ) {\displaystyle L^{2}(\mathbf {R} ^{d})} における位置作用素と運動量作用素の場合には、この条件が緩められる事を見た。
しかし単位区間[-1,1] 上の自乗可積分関数の集合 L 2 ( [ − 1 , 1 ] ) {\displaystyle L^{2}([-1,1])} における位置作用素と運動量作用素の場合には、不確定性原理が成り立たない反例ψ0 が存在する。この反例は
後述するようにψ0 はロバートソンの不等式の定義域に関する条件を満たさない ψ0 は位置作用素と運動量作用素の不確定性原理における緩められた条件は満たすものの、空間が L 2 ( R d ) {\displaystyle L^{2}(\mathbf {R} ^{d})} ではなく L 2 ( [ − 1 , 1 ] ) {\displaystyle L^{2}([-1,1])} である よってこの反例の存在はこれまでの成果と矛盾しない。
なおこの反例は引用文献H13p 245~246によった。
反例となる作用素 [ 編集 ] 1次元空間 R {\displaystyle \mathbf {R} } 上の自乗可積分関数に対する通常の位置作用素 Q ^ {\displaystyle {\hat {Q}}} 、運動量作用素 P ^ {\displaystyle {\hat {P}}} と区別するため、[−1, 1] 上の自乗可積分関数に対する位置作用素と運動量作用素をそれぞれ Q ^ ′ {\displaystyle {\hat {Q}}'} 、 P ^ ′ {\displaystyle {\hat {P}}'} と書くことにする。すなわち
Q ^ ′ ψ ( x ) = x j ψ ( x ) P ^ ′ ψ ( x ) = − i ℏ d d x ψ ( x ) {\displaystyle {\begin{aligned}{\hat {Q}}'\psi (x)&=x_{j}\psi (x)\\{\hat {P}}'\psi (x)&=-i\hbar {\frac {\mathrm {d} }{\mathrm {d} x}}\psi (x)\end{aligned}}} である事は通常の Q ^ {\displaystyle {\hat {Q}}} 、 P ^ {\displaystyle {\hat {P}}} と変わらないが、 Q ^ {\displaystyle {\hat {Q}}} 、 P ^ {\displaystyle {\hat {P}}} の場合と違い、ψ はR 全体で定義された関数ではなく、区間[−1, 1] でのみ定義された関数である。
ˆ Q ′ の定義域[ 編集 ] 区間[−1, 1] 上の自乗可積分関数ψ に対し、区間[−1, 1] 上の積分 ∫ [ − 1 , 1 ] x 2 ψ ( x ) 2 d x {\displaystyle \int _{[-1,1]}x^{2}\psi (x)^{2}\mathrm {d} x} は必ず有限値になるので、
D o m ( Q ^ ′ ) = L 2 ( [ − 1 , 1 ] ) {\displaystyle \mathrm {Dom} ({\hat {Q}}')=L^{2}([-1,1])} でとしてよい。
ˆ P ′ の定義域[ 編集 ] 一方、ψ 、χ が周期性 ψ ( − 1 ) = ψ ( 1 ) {\displaystyle \psi (-1)=\psi (1)} 、 χ ( − 1 ) = χ ( 1 ) {\displaystyle \chi (-1)=\chi (1)} を満たす可微分関数であれば、 P ^ ′ {\displaystyle {\hat {P}}'} が対称性 を満たす事を簡単な計算で示すことができる:
⟨ ψ , P ^ ′ χ ⟩ − ⟨ P ^ ′ ψ , χ ⟩ = ∫ [ − 1 , 1 ] − i ℏ d ψ d x ( x ) ¯ χ ( x ) d x − ∫ [ − 1 , 1 ] ψ ( x ) ¯ ⋅ − i ℏ d χ d x ( x ) χ ( x ) d x = ∫ [ − 1 , 1 ] i ℏ d d x ( ψ ( x ) χ ( x ) ) d x = 0 {\displaystyle \langle \psi ,{\hat {P}}'\chi \rangle -\langle {\hat {P}}'\psi ,\chi \rangle =\int _{[-1,1]}{\overline {-i\hbar {\mathrm {d} \psi \over \mathrm {d} x}(x)}}\chi (x)\mathrm {d} x-\int _{[-1,1]}{\overline {\psi (x)}}\cdot -i\hbar {\frac {\mathrm {d} \chi }{\mathrm {d} x}}(x)\chi (x)\mathrm {d} x=\int _{[-1,1]}i\hbar {\frac {\mathrm {d} }{\mathrm {d} x}}(\psi (x)\chi (x))\mathrm {d} x=0} よって
D o m ( P ^ ′ ) = { ψ ∣ ψ ( − 1 ) = ψ ( 1 ) {\displaystyle \mathrm {Dom} ({\hat {P}}')=\{\psi \mid \psi (-1)=\psi (1)} を満たす[−1, 1] 区間上の可微分関数 } {\displaystyle \}} としてよい。(なお、 P ^ ′ {\displaystyle {\hat {P}}'} の自己共役性を示すには、「可微分」を弱微分の意味に解釈する必要があるが、本項の範囲を超えるので詳細は省略する)。
不等式の右辺 [ 編集 ] ψ が可微分であれば、
P ^ ′ Q ^ ′ ψ = − i ℏ d d x ( x ψ ( x ) ) = − i ℏ ψ ( x ) − i ℏ x d d x ( ψ ( x ) ) Q ^ ′ P ^ ′ ψ = − i ℏ x d d x ψ ( x ) {\displaystyle {\begin{aligned}{\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))\\{\hat {Q}}'{\hat {P}}'\psi &=-i\hbar x{\mathrm {d} \over \mathrm {d} x}\psi (x)\end{aligned}}} より、
[ Q ^ ′ , P ^ ′ ] ψ = − i ℏ ψ {\displaystyle [{\hat {Q}}',{\hat {P}}']\psi =-i\hbar \psi } が成立する。したがって特に、ロバートソンの不等式の定義域に関する条件を満たしている場合には、上式が成立する。
不等式の左辺が0になる関数 [ 編集 ] しかし
ψ 0 ( x ) := 1 2 e x p ( i π x ) {\displaystyle \psi _{0}(x):={1 \over {\sqrt {2}}}\mathrm {exp} (i\pi x)} とすると、ロバートソンの不等式の左辺が0になる事を示すことができる。
なぜなら、
‖ ψ 0 ‖ 2 = 1 2 ∫ [ − 1 , 1 ] e x p ( i π x ) ¯ e x p ( i π x ) d x = 1 2 ∫ [ − 1 , 1 ] d x = 1 {\displaystyle \|\psi _{0}\|^{2}={\frac {1}{2}}\int _{[-1,1]}{\overline {\mathrm {exp} (i\pi x)}}\mathrm {exp} (i\pi x)\mathrm {d} x={\frac {1}{2}}\int _{[-1,1]}\mathrm {d} x=1} P ^ ′ ψ 0 ( x ) := − i ℏ d d x e x p ( i π x ) = ℏ π ψ 0 ( x ) {\displaystyle {\hat {P}}'\psi _{0}(x):=-i\hbar {\mathrm {d} \over \mathrm {d} x}\mathrm {exp} (i\pi x)=\hbar \pi \psi _{0}(x)} よりψ0 は P ^ ′ {\displaystyle {\hat {P}}'} の長さ1の固有関数であるので、 Δ ψ 0 P ^ ′ {\displaystyle \Delta _{\psi _{0}}{\hat {P}}'} は0になる:
Δ ψ 0 P ^ ′ = ‖ P ^ ′ ψ 0 − ⟨ ψ 0 , P ^ ′ ψ 0 ⟩ ψ 0 ‖ {\displaystyle \Delta _{\psi _{0}}{\hat {P}}'=\|{\hat {P}}'\psi _{0}-\langle \psi _{0},{\hat {P}}'\psi _{0}\rangle \psi _{0}\|} = ‖ i π ψ 0 − i π ⟨ ψ 0 , ψ 0 ⟩ ψ 0 ‖ = 0 {\displaystyle =\|i\pi \psi _{0}-i\pi \langle \psi _{0},\psi _{0}\rangle \psi _{0}\|=0} 一方明らかに
Δ ψ 0 Q ^ ′ < ∞ {\displaystyle \Delta _{\psi _{0}}{\hat {Q}}'<\infty } なので、
Δ ψ 0 P ^ ′ Δ ψ 0 Q ^ ′ = 0 {\displaystyle \Delta _{\psi _{0}}{\hat {P}}'\Delta _{\psi _{0}}{\hat {Q}}'=0} どの条件に反しているか [ 編集 ] ロバートソンの不等式が成り立つためには、
Q ^ ψ ∈ D o m ( P ^ ′ ) {\displaystyle {\hat {Q}}\psi \in \mathrm {Dom} ({\hat {P}}')} 、 でなければならなかった。しかし上述したψ0 は
Q ^ ψ 0 ( x ) = x 2 e x p ( i π x ) {\displaystyle {\hat {Q}}\psi _{0}(x)={x \over {\sqrt {2}}}\mathrm {exp} (i\pi x)} は
Q ^ ψ 0 ( − 1 ) = 1 ≠ − 1 = Q ^ ψ 0 ( 1 ) {\displaystyle {\hat {Q}}\psi _{0}(-1)=1\neq -1={\hat {Q}}\psi _{0}(1)} であるので、 D o m ( P ^ ′ ) {\displaystyle \mathrm {Dom} ({\hat {P}}')} の周期性の条件を満たさない。よって
Q ^ ψ 0 ∉ D o m ( P ^ ′ ) {\displaystyle {\hat {Q}}\psi _{0}\notin \mathrm {Dom} ({\hat {P}}')} であり、ロバートソンの不等式の条件が満たされない。
小澤の関係式 [ 編集 ] 小澤正直 は、(当初のハイゼンベルクの思考実験では混同されており、ボーアが指摘している)測定限界や測定することによる対象の擾乱や測定誤差と、量子自体の性質(不確定性関係)による量子ゆらぎを厳密に区別した式(小澤の不等式 )を提案した。式の形は、ハイゼンベルクの式に補正項を付け加えた形になる。さらに、その式に従えば(従来のハイゼンベルクの式に従って信じられていた)「ハイゼンベルクの不確定性原理による測定の限界」を超えて、量子に対する精度の良い測定が可能であると、2003年1月に発表した[3] (この結果につながった論争は、1980年代に、重力波検出装置 の可能性と限界を巡って始まったものである)。オブサーバブル O {\displaystyle {\mathcal {O}}} の測定の誤差(すなわち精度)を ϵ O {\displaystyle \epsilon _{\mathcal {O}}} 、測定過程による撹乱を η O {\displaystyle \eta _{\mathcal {O}}} 、量子ゆらぎを σ O {\displaystyle \sigma _{\mathcal {O}}} とすると以下の不等式が成り立つ[3] 。
ϵ A η B + ϵ A σ B + σ A η B ≥ | 1 2 i ⟨ [ A ^ , B ^ ] ⟩ | {\displaystyle \epsilon _{A}\eta _{B}+\epsilon _{A}\sigma _{B}+\sigma _{A}\eta _{B}\geq \left|{\frac {1}{2i}}\langle [{\hat {A}},{\hat {B}}]\rangle \right|}
位置と運動量の測定の関係を小澤の不等式に当てはめると、
ϵ P η Q + ϵ P σ Q + σ P η Q ≥ ℏ 2 {\displaystyle \epsilon _{P}\eta _{Q}+\epsilon _{P}\sigma _{Q}+\sigma _{P}\eta _{Q}\geq {\frac {\hbar }{2}}} となる。この改良された不等式から見ると、1927年に発表されたハイゼンベルクの不確定性原理は上式の第1項についてのみ述べていたということになる。
小澤の不等式が示す測定誤差(左辺の第1項)の下限は、ハイゼンベルクの不等式が示していた測定誤差下限よりも第2項、第3項の分だけ小さい。このことは、ハイゼンベルクの不等式が示した限界よりも精度の良い測定ができる可能性を示唆しており、実際にそのような小澤の不等式を実証する実験結果が2012年に発表された[9] 。この実験では原子炉から出る中性子 のスピン 角度を2台の装置によってはかり、ハイゼンベルクの不等式の限界を超えて精度よく測定することに成功したと発表された[10] 。
時間とエネルギーの不確定性関係 [ 編集 ] 時間とエネルギーに関しては、観測量の分散に対するロバートソン不等式を論じることは一般にできない。それはエネルギー固有値が連続でかつ上限および下限を持たない量子系でなければ、ハミルトニアン ˆ H に正準共役な時間演算子 ˆ T は定義できないためである。もし考えている量子系においてエルミートな ˆ T が存在して
[ H ^ , T ^ ] = i ℏ {\displaystyle [{\hat {H}},{\hat {T}}]=i\hbar } を満たすならば、任意の実数 k に対して
U ^ ( k ) = exp ( − i k T ^ / ℏ ) {\displaystyle {\hat {U}}(k)=\exp(-ik{\hat {T}}/\hbar )} というユニタリ変換が存在する。これをあるエネルギー固有値 E に対応する固有状態 |E ⟩ に作用させると、得られる状態は
H ^ U ^ ( k ) | E ⟩ = ( E + k ) U ^ ( k ) | E ⟩ {\displaystyle {\hat {H}}{\hat {U}}(k)|E\rangle =(E+k){\hat {U}}(k)|E\rangle } という関係を満たすため、エネルギー固有値が E + k のエネルギー固有状態を得たことになる。しかし k は負の無限大から正の無限大の間の任意の実数値をとれるため、エネルギー固有値も連続的となり下限も上限もなくなる。安定した基底状態をもつ量子系ではエネルギー固有値は下限をもつため、エルミートな時間演算子は存在しないことが証明される。従って安定な基底状態をもつ通常の量子系では、時間とエネルギーに関するロバートソン不等式は意味を持たない。同様に、時間とエネルギーに関しては小澤の不等式も意味を持たない。
なお未知の時間パラメータ t {\displaystyle t} に依存する量子状態 |ψ (t )⟩ を量子測定して、その測定結果から t の値を推定する場合には、その推定誤差 δt とハミルトニアンの標準偏差との間に不等式 δ t ⟨ ( Δ H ^ ) 2 ⟩ ≥ ℏ / 2 {\displaystyle \delta t{\sqrt {\langle (\Delta {\hat {H}})^{2}\rangle }}\geq \hbar /2} が成立することは知られている。しかしこれはロバートソン不等式や小澤の不等式ではなく、量子推定理論 のクラメール・ラオ不等式 からの帰結である。
ハミルトニアン ˆ H によって時間発展した状態が初期状態に比べて有意に変化するには、 t ∼ ℏ / ⟨ ( Δ H ^ ) 2 ⟩ {\displaystyle t\sim \hbar /{\sqrt {\langle (\Delta {\hat {H}})^{2}\rangle }}} 以上の経過時間が必要である。この関係を時間とエネルギーの不確定性関係の一種とみなす場合もある[11] 。しかしエネルギーの標準偏差 ⟨ ( Δ H ^ ) 2 ⟩ {\displaystyle {\sqrt {\langle (\Delta {\hat {H}})^{2}\rangle }}} と、状態差が生まれるための経過時間 t との積の下限は ħ / 2 という普遍的な値を持たず、使用する状態差の指標等の詳細に依存する。
一方、エネルギーの測定誤差とエネルギーの測定にかかる時間との間には原理的な不確定性関係は存在しない。1930年のソルヴェイ会議 でのアインシュタイン との不確定性原理の論争において、ボーア が測定時間とエネルギーの誤差の不確定性関係を破る光子箱の思考実験 を論破したと言われているが、この時のボーアの議論は正確ではない。例えば重力場を電場に、光子を電子に置き換えることによって、光子箱と同様のエネルギー測定の思考実験が作れる[12] 。しかしこの場合は一般相対性理論 を必要とせず、重力ポテンシャル と時間の遅れの関係式も不必要となるため、ボーアが考えた測定時間とエネルギーの測定誤差の不確定性関係は成立しないことが示される。他の物理量と同様に、エネルギーは任意の時刻で正確に測定できる。例えば一定外部磁場 B 中のスピン S が持つエネルギー H ∝ B ·S の精密測定は、スピンの磁場方向成分の精密測定で実現できる。スピンの特定方向成分の理想測定 はその測定時間に原理的制約を持たないため、いくらでも短い測定時間の間に磁場方向のスピンの精密測定はできる。従ってそのエネルギーも測定時間に関係なく精密測定ができる。
時間とエネルギーの不確定性関係のために短時間ではエネルギー保存則が破れるという説も流布しているが、それに根拠はない。フェルミの黄金律 等の摂動論において議論されている有限時間でのエネルギー保存則の破れは、相互作用項を無視した自由ハミルトニアン ˆ H o のみに対する議論にすぎない。相互作用があると ˆ H o は時間的に保存しないが、相互作用項 ˆ V まで取り入れた全ハミルトニアン ˆ H o + ˆ V 自体は任意の時刻で保存しており、エネルギー保存則は量子力学でも破れることはない。場の量子論では、エネルギー運動量テンソル演算子 ˆ T μν を用いて
∂ μ T ^ μ 0 = 0 {\displaystyle \partial _{\mu }{\hat {T}}^{\mu 0}=0} という局所的表現でエネルギー保存則は与えられる。他の量子系と同様に、短時間でもエネルギー保存則が破れることはない。ファインマンダイアグラム を用いた摂動論において、仮想粒子が実粒子の間を媒介して力を伝達する事象をエネルギー保存則の破れで簡易に説明する場合があるが、厳密に言うとその破れは相互作用項を無視した自由ハミルトニアンの保存則の破れを指す。場の量子論においても相互作用項まで取り入れたエネルギー保存則は破れることはない。
1927年にヴェルナー・ハイゼンベルク は、ある粒子の位置をより正確に決定する程、その運動量を正確に知ることができなくなり、逆もまた同様である、と述べた[13] 。(小澤正直によれば、「ハイゼンベルクは、標準偏差の関係(3)と誤差の関係(1)を混同していたのではなく、測定直後の状態が関係(3)をみたすことから、誤差の関係(1)が帰結すると主張したのであるが、その推論は不十分であった」[14] )
位置の標準偏差 σ x と運動量の標準偏差 σ p を結び付ける不等式は1927年にアール・ヘッセ・ケナード によって[15] 、1928年にヘルマン・ワイル によって[16] 導出された。
^ 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 , http://www.scientificamerican.com/article.cfm?id=heisenbergs-uncertainty-principle-is-not-dead ^ a b c 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 ^ a b 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 。http://www.saiensu.co.jp/?page=book_details&ISBN=ISBN978-4-7819-1062-8&YEAR=2004 。 ^ 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日時点におけるアーカイブ。. https://web.archive.org/web/20120118050703/http://www.asahi.com/science/update/0116/TKY201201150398.html ^ 清水明「新版 量子論の基礎」(サイエンス社) ^ 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. ^ 数理科学2012年9月号 . サイエンス社. (2012年9月) ^ 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-07-01). Quantum Theory for Mathematicians . Graduate Texts in Mathematics 267. Springer その他関連書籍 [ 編集 ] 鈴木坦 『不確定性原理 現代物理学の言葉』富書店〈京大理学普及講座 4〉、1948年。 関連項目 [ 編集 ] 外部リンク [ 編集 ]