量子力学/密度行列 の履歴(No.1)
更新
密度行列について†
wikipedia:密度行列 を参考にまとめてみる。
量子状態と混合状態†
ある定まった量子状態 $|\psi\rangle$ にある1粒子に対してある物理量 $\hat O$ を測定した際の期待値は、
$$\langle O\rangle_\psi=\langle\psi|\hat O|\psi\rangle$$
として求められるのであった。
これは、完全に同一の量子状態 $|\psi\rangle$ を繰り返し生成し、測定を繰り返し、得られた物理量を平均した時に得られる測定値に対応する。
現実には「1つの定まった状態」を繰り返し生成することが難しい場合も多く、その場合には測定ごとに異なる量子状態が生成されてしまうことになる。それでも、「$|\psi_j\rangle$ にいる粒子が生成される確率が $p_j$ であるような状態」を再現可能であるとすれば、その状態に対する測定の期待値を考えることが意味を持つ。このように、1回1回の測定に対しては異なる量子状態にいる粒子が生成されるが、その確率的な割合は定まっているような状態のことを「混合状態」と呼ぶ。あるいは同時に存在する多数の粒子が確率 $p_j$ で1粒子状態 $|\psi_j\rangle$ にいるような多粒子状態に対して「一粒子物理量の平均値」を測定する状況を考えてもよい。
混合状態 $\rho$ に対する物理量 $\hat O$ の期待値は、個々の量子状態に対する期待値を、さらに $p_j$ で重みづけして足し合わせることで求められる。
$$\langle O\rangle_\rho=\sum_j p_j\langle\psi_j|\hat O|\psi_j\rangle$$
この式に現れる $|\psi_j\rangle$ は必ずしも直交している必要はなく、その混合状態で現れうるすべての状態を列挙していると考えて良い。
ここで、$p_j$ は確率であるから以下の性質を持つ。
$$ \begin{cases} p_j\ge 0\\ \sum_jp_j=1 \end{cases} $$
上の式は量子状態 $|\psi\rangle$ をある正規直交完全系 $|\phi_k\rangle$ で展開して、
$$|\psi\rangle=\underbrace{\bigg[\sum_k |\phi_k\rangle\langle\phi_k|\bigg]}_{\hat 1}|\psi\rangle=\sum_k |\phi_k\rangle\underbrace{\langle\phi_k|\psi\rangle}_{c_k}=\sum_k c_k|\phi_k\rangle$$
と書いた際に、$|\psi\rangle$ に対する期待値を、
$$\langle O\rangle_\psi=\langle\psi|\hat O|\psi\rangle=\sum_k\sum_{k'}c_kc_{k'}\langle\phi_k|\hat O|\phi_{k'}\rangle$$
と書けるのとは全く異なる状況であり、式であることに注意せよ。
密度演算子†
混合状態の期待値の式を適当な正規直交完全系 $|\phi_k\rangle$ を用いて変形すると、
$$ \begin{aligned} \langle O\rangle_\rho &=\sum_jp_j\langle\psi_j|\underbrace{\bigg[\sum_k |\phi_k\rangle\langle\phi_k|\bigg]}_{\hat 1}\hat O|\psi_j\rangle\\ &=\sum_j\sum_k p_j\langle\psi_j|\phi_k\rangle\langle\phi_k|\hat O|\psi_j\rangle\\ &=\sum_k \langle\phi_k|\hat O\underbrace{\bigg[\sum_jp_j|\psi_j\rangle\langle\psi_j|\bigg]}_{\hat\rho}|\phi_k\rangle\\ &=\sum_k \langle\phi_k|\hat O\hat\rho|\phi_k\rangle\\ &=\text{Tr}\big[\hat O\hat\rho\big]=\text{Tr}\big[\hat\rho\hat O\big]\\ \end{aligned} $$
のように、混合状態に関する完全な情報を含む「密度演算子」と呼ばれる量 $\hat\rho$ と $\hat O$ との積に対してトレースを取った形に書き表せることが分かる。
トレースは座標変換に対して保存するため、当然この期待値は $|\phi_k\rangle$ の取り方には依らない。
$\hat\rho$ の定義に出てくる
$$ \hat P_j=|\psi_j\rangle\langle\psi_j| $$
は量子状態 $|\psi_j\rangle$ への射影演算子であるから、$\hat\rho$ は
$$ \hat \rho=\sum_jp_j\hat P_j $$
と書くことができる。
密度演算子を適当な基底に対して行列したものを密度行列と呼ぶ。
密度演算子の性質†
エルミート性†
射影演算子はエルミートであるから、その重み付きの和である $\hat\rho$ もエルミートになる。
つまり $\hat\rho^\dagger=\hat\rho$ が成り立つ。
これは密度演算子の固有値が実数であり、異なる固有値に対する固有ベクトルが直交すること、そしてユニタリーな座標変換で対角化可能であること、すなわち固有ベクトルによる正規直交完全系が作れることを保証する。
非負性†
さらに、任意の状態ベクトル $|\psi\rangle$ に対して、
$$ \langle\psi|\hat \rho|\psi\rangle=\sum_jp_j\langle\psi|\psi_j\rangle\langle\psi_j|\psi\rangle=\sum_jp_j|\langle\psi_j|\psi\rangle|^2\ge0 $$
なる非負性が成り立つ。
これは密度演算子のすべての固有値がゼロ以上であることに対応する。
規格化されたトレース†
また任意の正規直交完全系 $|\phi_k\rangle$ に対して、
$$ \text{Tr}\big[\hat P_j\big]=\sum_k\langle\phi_k|\psi_j\rangle\langle\psi_j|\phi_k\rangle=\sum_k|\langle\phi_k|\psi_j\rangle|^2=\|\psi_j\|^2=1 $$
が成り立つから(後ろから2つ目の等号はパーセバルの等式)、任意の混合状態に対する密度演算子 $\hat \rho$ は
$$ \text{Tr}\big[\hat\rho\big]=\sum_jp_j\text{Tr}\big[\hat P_j\big]=\sum_jp_j=1 $$
を満たす。
これは密度演算子の固有値の総和が1であることに対応する。
対角化†
$\hat\rho$ の固有ベクトルにより作った正規直交完全系を $|\phi_k\rangle$ とする。
$$ \hat\rho|\phi_k\rangle=\lambda_k|\phi_k\rangle $$
このとき、
$$ \langle\phi_j|\hat\rho|\phi_k\rangle=\lambda_k\langle\phi_j|\phi_k\rangle=\lambda_k\delta_{jk} $$
であり、つまりこの正規直交完全系に対して $\hat\rho$ は対角化された形になる。
ここで、
$$ \hat\rho'=\sum_k \lambda_k|\phi_k\rangle\langle\phi_k| $$
を作れば、
$$ \langle\phi_j|\hat\rho'|\phi_k\rangle=\sum_{k'} \lambda_{k'}\langle\phi_j|\phi_{k'}\rangle\langle\phi_{k'}|\phi_k\rangle=\sum_{k'} \lambda_{k'}\delta_{jk'}\delta_{k'k}=\lambda_k\delta_{jk} $$
であるから、
$$\hat\rho'=\hat\rho$$
が成り立つことになる。($\hat\rho'$ の表式は $\hat\rho$ のスペクトル分解である)
この形から、
- 任意の状態 $|\psi_j\rangle$ が確率 $p_j$ で現れるという元の混合状態と、
- 正規直交する状態 $|\phi_k\rangle$ が確率 $\lambda_k$ で現れる混合状態と、
は、任意の物理量に対する測定で同一の期待値を与える。
すなわちどんな測定でも区別をつけることのできない「同一の物理状態」であると言える。
純粋状態†
ある状態を表す密度演算子の固有値が $1$ と $0$ のみであるとき(あるいはスペクトルがデルタ関数的であるとき)、そのような状態を純粋状態と呼ぶ。密度演算子のトレース、すなわち固有値の総和は $1$ なので、純粋状態とは
$$ \hat\rho_j=\hat P_j=|\phi_j\rangle\langle\phi_j| $$
のように密度演算子が1つの射影演算子で書けるような状態のことである。
この純粋状態は「毎回ある定まった量子状態 $|\phi_j\rangle$ が生成されるような混合状態」と同一視できる。
純粋状態の混合†
2つの純粋状態を表す密度演算子 $\hat\rho_j,\hat\rho_{j'}$ の線形結合
$$ \begin{aligned} \hat\rho&=p_j\hat\rho_j+(1-p_j)\hat\rho_{j'}\\ &=p_j\hat P_j+(1-p_j)\hat P_{j'} \end{aligned} $$
は、確率 $p_j$ で $|\psi_j\rangle$ が、確率 $1-p_j$ で $|\psi_{j'}\rangle$ が現れる混合状態を表す。
一般の密度演算子の混合†
同様に、任意の2つの密度演算子 $\hat\rho,\hat\rho'$ の混合、
$$ \hat\rho''=p\hat\rho+(1-p)\hat\rho' $$
は新しい密度演算子を与えることになる。
なぜなら、それぞれの混合状態をばらしてみれば、それぞれの量子状態が実現する確率を求められるし、確率の総和が1になることも確かめられる。
密度演算子の凸性†
上記の性質を指して、「密度演算子の集合は凸である」と言う。
ある集合に含まれる任意の2つのベクトルの「内分点」が必ずその集合に含まれる、というイメージだ。
純粋状態は外形線上に†
このイメージからすれば、純粋状態を表す密度演算子はこの凸集合の外形線上にある要素となる。また、どんな2つの異なる密度演算子を持ってきても、その線形結合として表すことのできない密度演算子であるとも言える。