ウィグナー関数
ウィグナー関数(ウィグナーかんすう、英: Wigner function)とは、ユージン・ウィグナーにより1932年に導入された[1]、古典統計力学を量子補正するための関数である。その目標は、シュレーディンガー方程式に表われる波動関数を位相空間上の確率分布と結びつけることであった。ウィグナーの擬確率分布関数(英: Wigner quasiprobability distribution)、ウィグナー・ビレ分布 (英: Wigner–Ville distribution) とも。
ウィグナー関数は量子力学的波動関数 ψ(x) のすべての空間的自己相関の母関数である。 従って、ウィグナー関数と密度行列との間の写像[2]により、実位相空間上の関数とヘルマン・ワイルが1927年に導入した[3]エルミート演算子とを表現論的な文脈で対応づけられる(ワイル量子化)。ウィグナー関数は密度行列をウィグナー・ワイル変換したものとみなすことができ、よって密度行列の位相空間上での表現とみなせる。1948年、ジャン・ビレによって独立にスペクトログラムの一種、信号エネルギーの局所時間・周波数表示方法として再導入された[4]。
1949年、ホセ・エンリケ・モヤルは量子化された運動量の母関数としてウィグナー関数を再導入し[5]、これを用いて全ての量子期待値を計算する方法を確立し、位相空間上における量子力学の基礎を築いた(位相空間表示を参照)。統計力学、量子化学、量子光学、古典光学、および電子工学、地震学、音楽の時間周波数解析、生物学のスペクトログラム、音声合成、エンジンの設計など、信号処理を伴う幅広い分野で応用されている。
古典力学との関係
[編集]古典力学的には、粒子は決まった位置と運動量を持ち、その運動状態は位相空間上の一点により表現される。多数の粒子の集合体が与えられたとき、位相空間内の特定の領域に粒子をみいだす確率はリウビル確率密度と呼ばれる確率密度関数に従う。しかし、このような決定論的な取扱いは量子力学的な粒子に対しては不確定性原理のために不可能である。ウィグナー関数は古典的な確率密度分布と同様に取り扱うことができるが、ウィグナー関数は古典的な確率密度関数の満すべき条件を全て満たしてはいない。そのかわり、古典的な分布が必ずしも満たさない有界性を満たしている。
たとえば、ウィグナー関数は古典的分布ではありえない負値をとることがよくある。そして、ウィグナー関数が負値をとることは量子干渉が起きていることを示す指標である。ウィグナー関数にディラック定数 ħ よりも小さな位相空間体積における構造を無視するような処理(たとえば 伏見表示(後述)を得るために位相空間上のガウス関数で畳み込むなど)を施すと、半正定値関数となり半古典形式に粗視化できる[注 1]。
負の値をとる領域が存在しても、(幅の小さいガウス関数と畳み込んだ場合)多くの場合その領域は「小さく」なる。つまり、その領域は ħ の数倍より大きくなることはなく、そのため古典極限においては消滅する。 これは、位相空間上で ħ よりも小さな体積をもつ領域に粒子の運動状態を特定することはできないとする不確定性原理による遮蔽であり、「負の確率」という概念の矛盾を軽減している。
定義と意味
[編集]ψ を波動関数とし、x, p をそれぞれ位置および運動量、または他の正準共役量(例えば電磁場の実部および虚部、もしくは信号における時間と周波数など)とすると、ウィグナー関数 P(x, p) は以下のように定義される。
ここで、ウィグナー関数は ψ が x 上に台を持たない領域でも台を持つことがある。
ウィグナー関数の定義は x および p について対称である。
ここで、φ は ψ のフーリエ変換である。
三次元系では、以下のようになる。
混合状態を含む一般の場合には、密度行列のウィグナー変換を用いて以下のように定義される。
ここで、 ⟨x|ψ⟩ = ψ(x) である。このウィグナー変換(または写像)は、位相空間上の関数をヒルベルト空間上の作用素へと移すワイル変換の逆になっている。
よって、ウィグナー関数は位相空間上の量子力学における基礎となっている。
1949年、ホセ・エンリケ・モヤルはウィグナー関数が確率密度関数と同様に、位相空間に測度を与えていることを明らかにした。つまり、古典確率論と同様に、c-数を返す位相空間上の一価の関数 g(x, p) とワイル変換によって関係づけられる作用素 の期待値をウィグナー関数を使って定義することができる(後述のウィグナー・ワイル変換の性質を参照)。
具体的に書き下せば、作用素 の期待値は作用素をウィグナー変換して得られる関数 g(x, p) の「位相空間上の平均値」として以下のように定義される。
数学的特徴
[編集]![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6d/Wigner_functions.jpg/220px-Wigner_functions.jpg)
- P(x, p) は実関数である。
- x および p の確率密度関数は次の周辺確率により与えられる。
- P(x, p) は次の鏡映対称性をもつ。
- 時間対称性:
- 空間対称性:
- P(x, p) はガリレイ共変(ガリレイ変換に対して不変)である。
- ローレンツ共変ではない。
- 位相空間上の各点における運動方程式は力のない古典力学の方程式である。
- 実際、調和力が働いている場合も古典的である。
- 状態の重なり積分は以下のように計算される。
- 作用素の期待値(平均値)はウィグナー変換したのちに位相空間上の平均値をとることにより与えられる。
- P(x, p) が物理的な(正の)密度行列を持つためには、全ての純粋状態 |θ⟩ に対して以下を満たす必要がある。
- コーシー・シュワルツ不等式を用い、純粋状態においては以下のように有界である。
古典極限 ħ → 0 においては非有界となる。 このことから、 P(x, p) は x 座標空間においては確率密度関数に帰着し、通常は非常に局在化した、運動量方向にデルタ関数のかかった分布になる。つまり、古典極限は「尖って」いる。このことから、この有界性は不確定性原理を反映し、ウィグナー関数が位相空間上で完全に局在化した関数になることを防いできると言える[6]。
ウィグナー関数の時間発展方程式
[編集]![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/43/SmallDisplacedGaussianWF.gif/220px-SmallDisplacedGaussianWF.gif)
ウィグナー変換は、ヒルベルト空間上の作用素 を位相空間上の関数 g(x,p) へと写す可逆な変換であり、以下のように定義される。
エルミート演算子は実関数に写される。 位相空間からヒルベルト空間への逆変換はワイル変換と呼ばれる。
(別の定義のワイル変換も存在することに注意。)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5f/TwoStateWF.gif/230px-TwoStateWF.gif)
この項で取り扱ってきたウィグナー関数 P(x,p) は、密度行列 をウィグナー変換したものと捉えることができる。よって、ある作用素と密度行列をかけたもののトレースは、その作用素をウィグナー変換したもの g(x, p) と、ウィグナー関数との位相空間上の重なり積分と等しい。
シュレーディンガー描像における密度行列の時間発展を記述する、フォン・ノイマン方程式のウィグナー変換は
- ウィグナー関数に対するモヤル方程式
-
に帰着する。ここで、H(x,p) はハミルトニアン、{{•, •}}はモヤル括弧を表わす。古典極限 ħ → 0 では、モヤル括弧はポアソン括弧に帰着し、従ってこの時間発展方程式は古典統計力学におけるリウビル方程式に帰着する。
Quantum characteristicsの記法[訳語疑問点]を用いて、上の方程式の形式的な厳密解は以下のように書ける。 ここで と はいわゆる量子ハミルトン方程式の解で、初期条件 及び に従い、積の合成は全ての関数について成り立つものとする。合成は完全に非局所(モヤルが指摘したように、「量子確率流体」は拡散する)であるため、通常はウィグナー関数の発展につれて、局所的な軌道のなごりはほとんど確認できなくなる[注 2]。積の積分表示においては、積を連続的に位相空間経路積分に適用することで、このウィグナー関数の発展方程式を解くことができる[8](以下も参照[9][10])。
- ウィグナー関数の時間発展の例
古典極限
[編集]ウィグナー関数により古典極限を記述することで、位相空間上の古典動力学と量子動力学とを対応づけることができる[11][12]。
近年、ウィグナー関数法は1932年にベルナルド・クープマンとフォン・ノイマンによって導入された、古典力学の演算子表式の量子的アナロジーになっていることが示唆されている。ħ → 0 の極限では、ウィグナー関数の時間発展はクープマン・フォンノイマン波動関数の時間発展に漸近する[13][14]。
ウィグナー関数と他の量子力学の表現との関係
[編集]ウィグナー関数は、ドブロイ・ボームアンサンブルを表わす位相空間分布関数の ħ-変形とみなせることが示されている[15]。バジル・ハイリーは、ウィグナー関数は位相空間上の「セル」における平均座標と平均運動量で密度行列を表わしたものと見ることができ、ドブロイ・ボーム表式はその「セル」の中心が従うダイナミクスを表わしていることを示した[16][17]。
ウィグナー関数による量子状態の表現は、相互不偏基底による量子状態の再構成と密接な関係がある[18]。
量子力学以外でのウィグナー関数の利用
[編集]![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8e/Chirpedpulse.jpg/220px-Chirpedpulse.jpg)
- 望遠鏡や光ファイバー通信機器の設計において、ウィグナー関数は単純なレイトレーシングと波形解析とのギャップを埋めるために用いられる。ここで近軸近似の下では、p/ħ は k = |k|sinθ ≈ |k|θ と置き換えられる。この文脈では、ウィグナー関数は干渉の影響をとりこんだまま光線の位置 x と角度 θ で系を取り扱う最善の方法である。ウィグナー関数がいずれかの点で負になった場合、単純なレイトレーシングでは系をモデル化するのに不十分であることを示している。
- 超高速光学において、短レーザーパルスは上と同じように f および t で置換されたウィグナー関数により特徴づけられる。チャープ(周波数の時間依存性)などのパルスの乱れをウィグナー関数により可視化することができる。図7を参照。
ウィグナー関数の測定
[編集]関連する他の擬確率分布
[編集]ウィグナー関数は初めて定式化された擬確率分布関数であるが、多くの形式的に等価で相互変換可能な擬確率分布関数が提案されている(時間周波数分析の分布関数間の変換を参照)。座標系の場合と同じように、変化する特性を扱う場合それぞれの関数に用途にあわせた様々な利点がある。
しかし、ウィグナー関数はこれらの関数のなかでも、ある意味で特別な地位を占めている。ウィグナー関数は上に示したように、期待値の計算にスター積を必要としない唯一の関数である。また、擬確率分布を古典的な分布と比較できる形で可視化することもできる。
歴史的注意
[編集]上に示したとおり、ウィグナー関数の形式化はいくつかの分野で独立に数回行われている。実際、ウィグナーは同じ量子論の分野でも、純粋に形式的なものにせよハイゼンベルクとディラックにより既に導入されていたことに気付いていなかった[19]。この二人はウィグナー関数を完全に量子化された系の近似的形式化と考えており[注 3]、この関数の重要さ、そして負値の重要さに気付いていなかった(偶然、ディラックは後にウィグナーの妹マルギット(Manci)と結婚したことによりウィグナーの義理の弟となった)。同様に、1940年代中頃の伝説的な18ヶ月にわたるモヤルとのやりとりにおいて、ディラックは後にモヤルが指摘するまでモヤルの量子運動量生成関数がウィグナー関数と等価であることに気付いていなかった[20]。
脚注
[編集]注釈
[編集]- ^ この畳み込みは可逆であるため、情報は全く失われておらず、量子エントロピーは増加していない。
- ^ Quantum characteristics とファインマンの経路積分やド・ブロイ-ボーム理論におけるトラジェクトリを混同しないように注意。 この三つ巴の曖昧さから、ニールス・ボーアの立場をより理解できるだろう。彼は熱心に原子物理学におけるトラジェクトリへの言及に反対していた。例えば、1948年のポコノ会議において彼はリチャード・ファインマンに対して「…原子内の電子のトラジェクトリについて議論することはできない。なぜなら観測できないからである」 ("The Beat of a Different Drum: The Life and Science of Richard Feynman", by Jagdish Mehra (Oxford, 1994, pp. 245-248))と言っている。このような議論はエルンスト・マッハがかつて原子論を批判した際や、1960年代にジェフリー・チューやトゥーリオ・レッジェらが局所的量子場理論をS行列で置き換えようとした際などに広く用いられた論法である。今日では、完全に原子論的概念に基いた統計物理学が標準的に教えられているし、S行列理論は時代遅れになっているのに対してファインマンの経路積分法はゲージ理論において最も効率的な手法であるとみなされている。
- ^ 繰り返しになるが、密度行列からウィグナー関数への変換は可換であり情報は失なわれておらず、近似ではない。
出典
[編集]- ^ Wigner, E. P. (June 1932). “On the quantum correction for thermodynamic equilibrium”. Phys. Rev. 40: 749-759. doi:10.1103/PhysRev.40.749.
- ^ Groenewold, H. J. (1946). “On the Principles of elementary quantum mechanics”. Physica 12: 405–460. doi:10.1016/S0031-8914(46)80059-4.
- ^ Weyl, H. (1927). “Quantenmechanik und Gruppentheorie” (ドイツ語). Z. Phys. 46: 1-46.; Weyl, H. (1928) (ドイツ語). Gruppentheorie und Quantenmechanik. Leipzig: Hirzel; Weyl, H. (1931) (英語). The Theory of Groups and Quantum Mechanics. New York: Dover
- ^ Ville, J. (1948). “Théorie et Applications de la Notion de Signal Analytique” (フランス語). Câbles et Transmissions 2: 61–74.
- ^ Moyal, J. E. (1949). “Quantum mechanics as a statistical theory”. Proceedings of the Cambridge Philosophical Society 45: 99–124. doi:10.1017/S0305004100000487.
- ^ Curtright, T. L.; Zachos, C. K. (2012). “Quantum Mechanics in Phase Space”. Asia Pacific Physics Newsletter 1: 37. doi:10.1142/S2251158X12000069.; Zachos, C., ed (2005). Quantum Mechanics in Phase Space. Singapore: World Scientific. ISBN 978-981-238-384-6
- ^ Curtright, T. L. (2012年). “Time-dependent Wigner Functions”. 2015年11月28日閲覧。
- ^ Leaf, B. (1968). “Weyl Transform in Nonrelativistic Quantum Dynamics”. J. Math. Phys 9: 769-781. doi:10.1063/1.1664640.
- ^ Marinov, M. S. (1991). “A new type of phase-space path integral”. Phys. Lett. A 153: 5–11. doi:10.1016/0375-9601(91)90352-9 .
- ^ Segev, B.. “Evolution kernels for phase space distributions”. In M. A. Olshanetsky; Arkady Vainshtein. Multiple Facets of Quantization and Supersymmetry: Michael Marinov Memorial Volume. World Scientific. pp. 68–90. ISBN 978-981-238-072-2 2015年11月28日閲覧。 特に86-89ページの5節 "Path integral for the propagator" を参照。
- ^ Zurek, Wojciech H. (2002). “Decoherence and the transition from quantum to classical - revisited”. Los Alamos Science 27: 86-109. arXiv:quant-ph/0306072.
- ^ Zachos, C., ed (2005). “an overview with selected papers”. Quantum Mechanics in Phase Space. Singapore: World Scientific. ISBN 978-981-238-384-6
- ^ Denys I. Bondar, Renan Cabrera, Dmitry V. Zhdanov, Herschel A. Rabitz: Wigner Function's Negativity Demystified arXiv:1202.3628 (submitted February 2012, version of 3 November 2012)
- ^ Renan Cabrera, Denys I. Bondar, Herschel A. Rabitz: Relativistic Wigner function and consistent classical limit for spin 1/2 particles, arXiv:1107.5139v2 (submitted on 26 July 2011, version of 22 August 2012)
- ^ Nuno Costa Dias; Joao Nuno Prata (2002). “Bohmian trajectories and quantum phase space distributions”. Physics Letters A 302: 261-272. arXiv:quant-ph/0208156v1. doi:10.1016/S0375-9601(02)01175-1. (submitted 26 August 2002)
- ^ Hiley, B. J. (2003). “Phase space descriptions of quantum phenomena”. In Khrennikov, A. (pdf). Quantum Theory: Re-consideration of Foundations–2,. Sweden: Växjö University Press. pp. 267-286
- ^ B. Hiley: Moyal's characteristic function, the density matrix and von Neumann's idempotent (preprint) arXiv:1408.5680
- ^ F.C. Khanna, P.A. Mello, M. Revzen, Classical and Quantum Mechanical State Reconstruction, arXiv:1112.3164v1 [quant-ph] (submitted December 14, 2011)
- ^ Heisenberg, W. (1931). “Über die inkohärente Streuung von Röntgenstrahlen” (ドイツ語). Physik. Zeitschr 32: 737–740.; Dirac, P. A. M. (1930). “Note on exchange phenomena in the Thomas atom”. Proc. Camb. Phil. Soc. 26: 376–395. doi:10.1017/S0305004100016108.
- ^ Ann Moyal (2006). Maverick Mathematician: The Life and Science of J.E. Moyal. ANU E-press. ISBN 1-920942-59-9
関連文献
[編集]- Levanda, M.; Fleurov, V. (2001). “Wigner quasi-distribution function for charged particles in classical electromagnetic fields”. Annals of Physics 292: 199–231. arXiv:cond-mat/0105137.
関連項目
[編集]外部リンク
[編集]- Wigner function tutorial and Gallery of WFs, Institute for Quantum Information Science (IQIS), University of Calgary
- Quantum Optics Gallery