量子力学・量子論において、密度行列 (みつどぎょうれつ、英語: density matrix) または密度演算子 (density operator) は、量子状態を表す演算子(またはその行列表示)である。状態ベクトルや波動関数が単独では「純粋状態」しか表現できないのに対し、密度演算子・密度行列は混合状態も表現することができる。
本項ではまず背景として混合状態とは何かについて解説し、その後に密度演算子・密度行列について解説する。
背景 - 混合状態
本節では、密度行列の概念の背後にある、混合状態の概念を説明する。次節ではこれを踏まえて密度行列の概念を説明する。
概要
量子力学では、系の状態は状態ベクトルもしくは純粋状態と呼ばれるベクトル
で書き表され、その振幅は波動関数
![{\displaystyle \psi (x)=\langle x\mid \psi \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fe418d5df90ec6bc3f70053fae1ae0adabaf261)
によって書き表されるが、こうした方法による系の記述方法は実験者がψ(x)の値を完全に知っているというのが暗黙の前提である。さもなければψ(x)を数式で書き表す事ができないので、系の数学的な解析ができなくなる。
しかしこの暗黙の前提は、実験者が系に関する情報を不完全にしか知らない場合には成り立たない。特に量子統計力学で想定されるような、数モル
個もの粒子を扱う状況下において、全ての粒子の情報を実験者が完全に知っていると仮定するのは現実的ではない。
そこでこうした、系に対する情報の不足石坂 et.al. 12:p104がある状況下における量子力学を記述するため、混合状態と呼ばれる複数の純粋状態に確率を付加した状態を考える必要がある。これは例えば「半分の確率で純粋状態
であり、残り半分の確率で純粋状態
になる」といったものが混合状態である。
混合状態について補足
混合状態でいうところの「混合」の確率は、古典的な確率論の確率(ベイズ確率)である。
重ね合わせとの違い
混合状態の「混合」とは量子力学的な状態の重ね合わせではない。これを偏光の例で説明する。光子には右円偏光と左円偏光がある。以下、右偏光と左偏光をそれぞれ純粋状態
、
で表すことにする。
量子力学では状態の重ね合わせが可能なので、ある光子の
の状態とこれと同じ光子の
の状態を1/2ずつ重ね合わせると、光子は
![{\displaystyle {|R\rangle +|L\rangle \over 2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/333eef70112fdeb0591019e43e8e8237f5a523a1)
という状態になる。これを規格化すれば
![{\displaystyle {|R\rangle +|L\rangle \over {\sqrt {2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce51a7196f64f8bae294e9c7c83a2390aa0e24ea)
である。この状態にある光子は垂直方向に偏光であり、垂直方向の偏光板は通過できる。
これに対し、無偏光の状態にある光は、上記のような重ね合わせでは表現できず、混合状態によって記述する必要がある。無偏光の光とは例えば、光に含まれる複数の光子のうち50%の光子が
の状態にあり、これらとは別の光子である残り50%の光子が
の状態にある場合である。このような状態にある光の中に重ね合わせ状態
の光子は存在しない。また上述の状態にある光は横向きの偏光板を完全に通過するが、縦向きの偏光板にはある程度吸収されるなど、物理的性質も
とは異なる。
このような「50%が
、残り50%が
」という統計的な状態、すなわち個々の粒子が「確率1/2で
、確率1/2で
」となっている状態を記述するのが混合状態である。
単純な記述方法の欠点
混合状態を記述する単純な記述方法は、状態ベクトルとその生起確率を並べて書く、というものである。例えば「確率1/2で
、確率1/2で
」という混合状態であれば、
![{\displaystyle s=((1/2,|R\rangle ),(1/2,|L\rangle ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a41aa7f6862f6c270df6bf7dab91b5867d6e273d)
と状態を記述する。しかしこの記述方法は、実質的に同一(=観測によって区別できない)の状態が複数の異なる表記を持ってしまうという欠点を持つ石坂 et.al. 12:p104-105。
このため密度行列という表記方法を採用する必要があるのだが、これについては次章で述べることとし、本節ではまず上述した欠点を具体例で示す。
具体例
、![{\displaystyle |-\rangle :={|R\rangle -|L\rangle \over {\sqrt {2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a792d768c8452c95281b83f61a4dd5f207c1d144)
と定義し、
![{\displaystyle s'=((1/2,|+\rangle ),(1/2,|-\rangle ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cc70c6fad08fc99f54c7c5b9ecb2861aa7db279)
という状態記述を考えると、s'は前述のsと見かけ上全く異なるにもかかわらず、観測によって両者は区別できない石坂 et.al. 12:p104-105。すなわち、どのような物理量Aを持ってきても、sでAを観測したときの観測値の確率分布とs'でAを観測したときの観測値の確率分布は同一となる石坂 et.al. 12:p104-105。
証明
実際、任意の観測値aに対し、
の観測値が
の観測値が
の観測値が![{\displaystyle a\mid |R\rangle ]={\langle L|P_{a}|L\rangle +\langle R|P_{a}|R\rangle \over 2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/adcad17862608897ea0864157738d4107f99607d)
であり、
の観測値が
の観測値が
の観測値が![{\displaystyle a\mid |-\rangle ]={\langle +|P_{a}|+\rangle +\langle -|P_{a}|-\rangle \over 2}={\langle L|P_{a}|L\rangle +\langle R|P_{a}|R\rangle \over 2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a70283435c63bdd8af8d9a1116b3e255490cfc66)
が成立するので両者は等しい。ここでPaはaの固有空間への射影である。
密度行列
密度行列は、混合状態を数学的に記述する為の道具立てであり、しかも上述した単純な記述方法のような欠点を持たない事である。
本章では、密度行列の定義とその性質を述べ、次章において単純な記述方法の欠点が解消されている事を見る。
数学的考察
密度行列の概念を導入する前準備として、簡単な数学的考察を行う。
系が純粋状態
にあるとき、物理量
を観測すると、観測値の期待値は
![{\displaystyle \langle \phi |{\hat {A}}|\phi \rangle \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb19e6e2b836e272d2070cf744e64b3b1071f5af)
となる。これを変形すれば以下のようになる:
![{\displaystyle \langle \phi |{\hat {A}}|\phi \rangle =\sum _{j}\langle \phi |\psi _{j}\rangle \langle \psi _{j}|{\hat {A}}|\phi \rangle =\sum _{\stackrel {j,k}{j=k}}\langle \psi _{j}|{\hat {A}}|\phi \rangle \langle \phi |\psi _{k}\rangle =\mathrm {tr} ({\hat {A}}|\phi \rangle \langle \phi |)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8a0ac339ca50a226160d666849cd8874dd2dfa6)
ここで
、
、…は完全正規直交系であり、
は行列
のトレース (trace) である。
したがってより一般に「p1の確率で
、p2の確率で
、…」という混合状態を観測すればその期待値は
![{\displaystyle \sum _{j}p_{j}\langle \phi _{j}|{\hat {A}}|\phi _{j}\rangle =\sum _{j}p_{j}\mathrm {tr} ({\hat {A}}|\phi _{j}\rangle \langle \phi _{j}|)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bec414052b50f891aba3344a6a5b7613c37b025)
である。
そこでこの混合状態の密度演算子を対角行列
![{\displaystyle \rho :=\sum _{j}p_{j}|\phi _{j}\rangle \langle \phi _{j}|\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/925f17df0479048455af8adf76ce8b8e95cdb35e)
によって定義し、その行列表示を密度行列と呼ぶことにすると、混合状態にある際の
の観測値の期待値は
![{\displaystyle \mathrm {tr} (\rho {\hat {A}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/594be6ca7c845908af0b6c415da1184fe2e5c80f)
という簡単な形で書き表す事ができる。以上のことから、密度行列は混合状態にある系の観測値の期待値を計算するのに便利である。
定義
以上を踏まえた上で、密度行列とその関連概念を以下のように定義する。
密度行列の厳密な定義
状態空間上の完全正規直交系
、
、…に対し、状態空間における
方向の射影作用素をPkとするとき、
....(M1)
という形で表記できる演算子
を密度演算子 (density operator )もしくは密度行列 (density matrix ) という。(上式右辺の収束はトレースノルムに関するものである新井08:p81)。
なお、射影作用素Pkはブラ-ケット記法では
![{\displaystyle P_{k}=|\psi _{k}\rangle \langle \psi _{k}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/954be7c2ddd8a24a131d5318ceeb8bf563f66ba2)
と書けるので、上述の定義は前節で述べた定義と実質的に一致する。しかしブラ-ケット記法は文脈により数学的な定式化方法が異なるので、本節では定義を厳密に記述する為、射影作用素Pkを用いて密度行列を定義した。
また上の定義では、
、
、…が正規直交系をなしている事を仮定したが、必ずしもこれは必須ではない。しかし正規直交ではない
、
、…に対して同様に密度行列を定義したとしても、必ず完全正規直交基底の表現に書き換えられる事が知られている(次節の別定義との同値性から従う)。
別定義
が上述したように書ける必要十分条件は、以下の3つを満たす事が知られている新井08:p81:
は有界な自己共役作用素
は非負の作用素である。すなわち
が状態空間上の任意の状態ベクトル
に対して成立する。 ![{\displaystyle \mathrm {tr} (\rho )=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27f5d8f87bc82337782dd1d6f0a401535a222e36)
よってこの3条件を満たす事を密度行列の定義としても良い。
なお、
は状態空間上の完全正規直交系
、
、…を用いて
![{\displaystyle \mathrm {tr} (\rho )=\sum _{k}\langle \psi _{k}|\rho |\psi _{k}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1277c0c544fbda8a0edf5c3df37ae439110e097d)
により定義されるH13:p421。この値は完全正規直交系の取り方に依存しない為、well-definedであるH13:p421。
本節の方法で定義した密度行列を前節の(M1)式の形で表す事を、密度行列のシャッテン分解という新井08:p81。
純粋状態の定義
状態ベクトル
に対し、状態空間における
方向の射影作用素をPψとする。
密度行列が何らかの純粋状態の状態ベクトル
を用いて
![{\displaystyle \rho =P_{\psi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f5fb848bbe41a99e7c956812547abe2b0a2f68a)
と書ける時、
は純粋状態にあるというH13:p426。前節で述べたように、ブラ-ケット記法では上式は
![{\displaystyle \rho =|\psi \rangle \langle \psi |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/caef57c47c042ade8573808c1d00117880088e4b)
を意味する。
観測
観測の期待値
密度演算子
と有界な自己共役作用素
に対し、
、
が定義可能で
![{\displaystyle \mathrm {tr} (\rho {\hat {A}})=\mathrm {tr} ({\hat {A}}\rho )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d377091df3f608e1b4d2e61f5b48f1dc7e097b7)
が成立することが知られているH13:p423。
既に述べたように、密度行列
で表現される混合状態において
を観測した際の観測値の期待値はこの値になる。
波束の収縮
密度行列
で記述される混合状態に対して物理量
を観測した結果、
の固有値λを得たとすると、波束の収縮が起こり、密度行列は
![{\displaystyle {P_{\lambda }\rho P_{\lambda } \over \mathrm {tr} (\rho P_{\lambda })}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ae0c957b54a641caf7a0bdc386399f3e4466287)
になるH13:p428。
密度行列集合の凸性
密度行列の全体の集合は凸集合である事が知られている。すなわち、
、
を密度行列とし、uを0≦u≦1満たす実数とする時、
、
の重ね合わせ
![{\displaystyle u\rho _{1}+(1-u)\rho _{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce413f60d023e67e582960b9cb8e5efffd3727a4)
も密度行列であるH13:p426。
また、この凸集合の「端っこ」にあるのは純粋状態である。すなわち
が純粋状態である必要十分条件は、
![{\displaystyle \rho =u\rho _{1}+(1-u)\rho _{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8608819963210bfae2d1b079ce535b1ddd68320)
を満たす密度行列
、
、および実数0<u<1が存在しない事であるH13:p426。
注意
上で定義した重ね合わせの概念は、状態ベクトルの重ね合わせとは異なる概念である。実際、一般には
![{\displaystyle |c_{1}\psi _{1}+c_{2}\psi _{2}\rangle \langle c_{1}\psi _{1}+c_{2}\psi _{2}|\neq c_{1}|\psi _{1}\rangle \langle \psi _{1}|+c_{2}|\psi _{1}\rangle \langle \psi _{1}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9585e30506e0c21108f9c456e6fec7bdef738254)
であるH13:p426。
両者を区別するため、状態ベクトルの重ね合わせをコヒーレントな重ね合わせ、密度行列の重ね合わせをインコヒーレントな重ね合わせというH13:p427。
密度行列の公理的特徴づけ
本章では密度行列を全く別の角度から公理的に特徴づける。そしてこの特徴づけができる事の結果として、前述した単純な表記方法の持つ欠点が密度行列では解消されている事を見る。
公理的特徴付け
Aを物理量、すなわち状態空間上の自己共役作用素であるとする。
今何らかの量子力学的な系が与えられていたとし、この系でAを観測した観測値の期待値を
![{\displaystyle E(A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c01e676d52a1836bfd813f8c5e9b6d4f25aa83c4)
と書くことにする。なお系の具体的な状態は問わない。したがって系が純粋状態であっても混合状態であってもよい。
は自己共役作用素Aに実数を対応させる関数
![{\displaystyle E~:~A\mapsto \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9ca87201f55f39c38c490a1ca3a799c30254c2e)
とみなす事ができるが、物理的に考えると、この関数は次の2性質を満たさねばならないはずである。なお以下でIは単位行列である。さらにAが非負であるとは、任意の状態ベクトル
に対し
が成立する事を言う:
- (1)
![{\displaystyle E(I)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe690160ef9e15237ef0192c6c98a71000f56803)
- (2) Aが非負なら、
![{\displaystyle E(A)\geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e479f4e1cd6f2b56605175607227aced69c8d1b9)
なぜこれらの条件が要請されるかというと、単位行列Iの固有値は全て1なので、Aを観測した結果は常に1でなければならない(=条件(1))。またAが非負になるにはその固有値(や連続スペクトル)が全て非負になる場合だけなので、
が成立しなければならない(=条件(2))。
さらに関数
が以下の連続性を満たしている事を要請する:
- (3)
のとき
となる任意の自己共役作用素の列
に対し、![{\displaystyle E(A_{n})\to E(A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88c8846d596611120950895a47e3e0fea2ecd63d)
ここで
は実数としての収束であり、
はL2ノルムに関するweak-*収束である。
このとき次が成立する事が知られている:
定理 ― 有界な自己共役作用素Aに実数を対応させる線形汎関数
が(1)、(2)、(3)をすべて満たす必要十分条件は、
![{\displaystyle E(A)=\mathrm {tr} (\rho A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4120cdfeb3a4f0cd0d8ac80abb437bdc2a530689)
を満たす密度行列ρが存在する事であるH13:p423-424。しかもそのような密度行列は一意に定まるH13:p423-424。
欠点が解消されている事
前の章で述べたように、混合状態を単純な方法で記述した場合、見かけ上の記述が異なるにもかかわらず、実質的に同一の量子状態を表している(=観測結果では両者を区別できない)、という事が起こりうる。
しかし密度行列を用いて混合状態を記述した場合にはこのような問題は生じない。
実際、2つの量子状態が実質的に同一である(=観測結果では両者を区別できない)という事は、この2つの量子状態に対する関数
が同一であるということを意味し、
が同一であるという事は対応する密度行列ρが同一だという事を意味するからである。したがって実質的に同一の量子状態が相異なる2つの密度行列で表示できる事はありえない。
純粋状態を記述する上での数学的利点
本項では密度行列を、混合状態を記述する上での便利な道具立てとして導入した。しかし純粋状態を記述する際にも密度行列は有効に働く[1]。
これは状態ベクトル表記もやはり、(位相以外にも差がある)全く別の状態ベクトルが、同一の純粋状態を表す場合があるからである。前述のように密度行列であればこうした問題は生じない。
状態ベクトルに対してこの問題が生じるのは、合成系の場合である。2つの系を合成した場合、合成系の状態ベクトルは、各々の系の状態ベクトル
、
のテンソル積である:
![{\displaystyle |\psi _{1},\psi _{2}\rangle =|\psi _{1}\rangle \otimes |\psi _{2}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed4a72dd7abfd53bfda0f2f10deab761bc724247)
位相にしか差がない2つの状態ベクトルは同一の物理状態を表すので、
![{\displaystyle |\Psi \rangle =|\psi _{1}\rangle \otimes |\psi _{2}\rangle +|\psi '_{1}\rangle \otimes |\psi '_{2}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5aa8f637fb5ef2323bdd83193570c4c85679824c)
と
![{\displaystyle |\Phi \rangle =|\psi _{1}\rangle \otimes |\psi _{2}\rangle +|\psi '_{1}\rangle \otimes e^{i\theta }|\psi '_{2}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/867122fec7302e93fec4b701cd8646493d873207)
は同一の物理状態を表す。しかしθが0でない限り、
![{\displaystyle |\Psi \rangle \sim \mathrm {e} ^{i\alpha }|\Phi \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4e63ee0415903388b0393144e11ec4c918b3552)
を満たすαは存在しない。
すなわち
と
は(位相以外にも差がある)全く別の状態ベクトルであるにもかかわらず、同一の量子状態を表す。
密度行列による問題解決
これに対し、密度行列を利用した場合は、上述の問題は生じない。そもそも、上述の問題が生じたのは、状態ベクトルに位相分の自由度
![{\displaystyle |\psi \rangle \sim \mathrm {e} ^{i\theta }|\psi \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cdc01a373a6f61f6a7ba214bfb36e3e81dbc5f8)
が存在したからである。しかし密度行列で記述した場合、純粋状態は
![{\displaystyle |\psi \rangle \langle \psi |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20c8150c524183acc0ea8e317b4331811e98671e)
という形式なので、位相分の自由度は消え去る:
![{\displaystyle e^{i\theta }|\psi \rangle \langle \psi |{\overline {e^{i\theta }}}=|\psi \rangle \langle \psi |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc68038cbfda1c8b45cfdbf07ac98fe43aa63943)
よって前述の問題はそもそも生じない。
フォン・ノイマンエントロピー
密度行列は何らかの混合状態を表し、混合状態とは純粋状態の集合に何らかの確率分布を付与したものである。よってこの確率分布に対して情報理論におけるシャノンエントロピー(情報量)を定義することができ、これにボルツマン定数をかけたものを密度行列のフォン・ノイマンエントロピーという。本項ではまず、シャノンエントロピーの概念を復習し、これをベースにフォン・ノイマンエントロピーの概念を定義する。
シャノンエントロピーとは
情報理論では、確率1/2で表がでるコインを単位として、事象の確率がコイン何枚分に相当するかを考える。例えば確率1/8=(1/2)3で起こる事象があったとき、この確率はコイン3枚全てが表になる確率に相当するので、この事象の「自己情報量」は
![{\displaystyle 3=-\log _{2}(1/8)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/074798f6d009b09653f8ff7b1b954921f071d50b)
であると定義する。より一般に、確率pで起こる事象があった場合、この事象の底aに対する自己情報量を
![{\displaystyle -\log _{a}p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edc68ba46b5b285c4487a9195b00aefbf0d8e13b)
により定義する。コインを単位にする場合は、底のaは2である。
また値1、2、3、…を取る確率変数Xがあった時、X=jであるという事象の自己情報量は
![{\displaystyle L_{j}=-\log _{a}\Pr[X=j]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40c995c2bad5c5b1de28d9ebd9a8cb9d23d416a1)
であるので、Ljの期待値
![{\displaystyle H_{a}(X):=-\sum _{j}\Pr[X=j]\log _{a}\Pr[X=j]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b47feac92277195846c773efccbf1134b0cd6794)
を定義でき、この値をXの底aに対する情報量、もしくは底aに対するシャノンエントロピーという。
ただし
である項に関しては、
![{\displaystyle \lim _{x\to 0}x\log _{a}x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a8bc40b1af78ebcca36c30ecd018d1c403160ff)
であるので、
![{\displaystyle \Pr[X=j]\log _{a}\Pr[X=j]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7b388dc6a5d2e5fea488d575c46f04e35ac3723)
とみなす。
本項で重要なのは底aが自然対数eの場合なので、底eに対するシャノンエントロピーを単にシャノンエントロピーと呼び、
![{\displaystyle H(X):=H_{\mathrm {e} }(X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01cee2e7347299ec64f6b0b4653dec6a02b9adf4)
と略記する。
フォン・ノイマンエントロピーの定義
定義
、
、…を完全正規直交系とする。密度行列
![{\displaystyle \rho :=\sum _{j}p_{j}|\psi _{j}\rangle \langle \psi _{j}|\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dea315da99c9cb41ead37d064afb49d7da1aba4f)
に対し、
のフォン・ノイマンエントロピーを
を
![{\displaystyle S(\rho ):=-k_{B}\sum _{j}p_{j}\log _{\mathrm {e} }p_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/711ac49c93262d77bd7155503606a36d07679d09)
と呼ぶ。ここでkBはボルツマン定数である。
なおシャノンエントロピーの場合と同様、上述の定義で
とみなす。
別定義
密度行列
に対し、作用素解析の手法により
![{\displaystyle \rho \log _{\mathrm {e} }\rho }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d218a64749442c1c1e2ad3d5562fdd48ad1ab563)
を定義する事ができ、
![{\displaystyle S(\rho ):=-k_{B}\mathrm {tr} (\rho \log _{\mathrm {e} }\rho )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de8b1896d92786f0bf12bde1ce88759ddd29aaf5)
によりフォン・ノイマンエントロピーを定義する事ができる新井08:p190-191。この定義は前述した定義と一致する新井08:p190-191。
性質
任意の密度行列
に対し、フォン・ノイマンエントロピーは
![{\displaystyle 0\leq S(\rho )\leq \infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/26525c7e0ddf8d8154527c8bf6ccd883b446cb81)
を満たす。
また、S(ρ)=0となる必要十分条件は
は純粋状態にある事であるH13:p426。したがってフォン・ノイマンエントロピーは純粋状態からの「ズレ」を表す量だと解釈できる。
フォン・ノイマンエントロピーは通常の観測(射影観測)を行った場合には、増加するかも知れないが、減少する事はない。しかしより一般的な観測をした場合には減少する場合がある[2][3]。
量子相互作用を混合系の中で消去することにより、観測は「情報を減少させる」。—量子もつれ, einselection, や量子デコヒーレンスを参照。すなわち孤立していない系のフォン・ノイマンエントロピーを減少させる事はできるが、これは系の外部のフォン・ノイマンエントロピーを上昇させている場合のみであり、系の内外のフォン・ノイマンエントロピーは減少しない。熱力学の第二法則、熱力学と情報理論のエントロピー(英語版)(Entropy in thermodynamics and information theory)を参照。
時間発展
密度演算子の時間発展は、次のフォン・ノイマン方程式 (von Neumann equation ) で記述される。フォン・ノイマン方程式は古典論におけるリウヴィル方程式 (Liouville equation ) に対応するので、リウヴィル=フォン・ノイマン方程式 (Liuville–von Neumann equation)、あるいは単に(量子)リウヴィル方程式とも呼ばれる。
ここで ħ = h/2π は換算プランク定数(h はプランク定数)、
はハミルトニアン、括弧 [·,·] は交換子である。
フォン・ノイマンの式は、純粋状態(状態ベクトル)の時間発展を記述するシュレーディンガー方程式
と密度演算子の定義式だけを用いて導出できる。ここでブラ・ベクトル ⟨Ψ| はケット・ベクトル |Ψ⟩ の双対であること ⟨Ψ| = |Ψ⟩† に注意。
統計力学への応用
統計力学においては、状態のアンサンブルを混合状態と考えることができる。量子統計力学では、あるハミルトニアンの各エネルギー固有状態が混合していると考えて密度行列を表現することがよくある。
密度行列 ρ は、たとえば混合の比率がカノニカル分布で表せるとすると、
グランドカノニカル分布では、
で表される。ここで β = 1/kBT は逆温度、kB はボルツマン定数、Ω はグランドポテンシャル、HG はグランドカノニカル分布でのハミルトニアンである。
このときオブザーバブルの期待値 ⟨A⟩ は、
と書くことができる。特に A が恒等演算子 A = Id の場合、
を満たす。また、A がハミルトニアン A = H の場合、ハミルトニアンの固有値を {Ei} とすれば、
と書き換えられる。
量子リウヴィル方程式、モーヤル方程式
密度行列演算子は相空間の中でも実現される。ウィグナー函数の下では、等価なウィグナー函数への密度行列変換は、
![{\displaystyle W(x,p){\stackrel {\mathrm {def} }{=}}{\frac {1}{\pi \hbar }}\int _{-\infty }^{\infty }\psi ^{*}(x+y)\psi (x-y)e^{2ipy/\hbar }\ dy~}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f33ec0a7204531ef3cbddf8d13f535aafd8a71a0)
である。このウィグナー函数の時間発展の方程式は、上記のフォン・ノイマン函数のウィグナー変換である。
![{\displaystyle {\frac {\partial W(q,p,t)}{\partial t}}=-\{\{W(q,p,t),H(q,p)\}\}~}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45151bb0393f5c0c272f89b05581c609d5776ce0)
ここに H(q,p) はハミルトニンであり、{ { •,• } } はモーヤルの括弧(英語版)(Moyal bracket)、量子交換子の変換関係である。
ウィグナー函数の発展方程式は、古典極限の発展方程式、古典物理学のリウヴィル方程式の類似である。プランク定数 ħ が 0 となる極限では、W(q,p,t) は相空間の古典リウヴィル確率分布函数へと還元される。
古典リウヴィル方程式は、偏微分方程式の特性曲線法を使い解くことができ、特性曲線はハミルトン方程式である。同じように、量子力学でのモーヤル方程式は、量子特性曲線法(英語版)(quantum characteristic)を用いて解、すなわち、相空間のモーヤル積(英語版)(Moyal−product)を求めることができる。実践的には、解を求める方法は異る方法を用いる。
脚注
[脚注の使い方]
注釈
出典
- ^ 本節はH13の19.1節を参考にした。
- ^ Nielsen, Michael; Chuang, Isaac (2000), Quantum Computation and Quantum Information, Cambridge University Press, ISBN 978-0-521-63503-5 . Chapter 11: Entropy and information, Theorem 11.9, "Projective measurements cannot decrease entropy"
- ^ Everett, Hugh (1973), “The Theory of the Universal Wavefunction (1956) Appendix I. "Monotone decrease of information for stochastic processes"”, The Many-Worlds Interpretation of Quantum Mechanics, Princeton Series in Physics, Princeton University Press, pp. 128–129, ISBN 978-0-691-08131-1
参考文献
- [H13] Brian C.Hall (2013/7/1). Quantum Theory for Mathematicians. Graduate Texts in Mathematics 267. Springer
- [新井08] 新井朝雄 (2008/7/10). 量子統計力学の数理. 共立出版. ISBN 978-4320018655
- [石坂 et.al. 12] 石坂智 、小川朋宏、河内亮周、木村元、林正人 (2012/6/8). 量子情報科学入門. 共立出版. ISBN 978-4320122994
関連記事