$$\newcommand{\bra}[1]{\left\langle #1 \right|}
\newcommand{\ket}[1]{\left|#1 \right\rangle}$$
密度行列の部分転置
定義
中原幹夫「量子物理学のための線形代数 ＝ベクトルから量子情報へ」によると、密度行列の部分転置は以下のように定義されている。
２成分系が与えられ、\(\rho\)はその密度行列とする。\(\rho^{pt}\)を、２番目のヒルベルト空間に関する添え字の転置で
$$\rho_{ij,kl}\to\rho_{il,kj}$$と定義する。ここで、\(\{\ket{e_k^{(1)}}\}\)を第１成分の基底、\(\{\ket{e_k^{(2)}}\}\)を第２成分の基底とすると
$$\rho_{ij,kl}=(\bra{e_i^{(1)}}\otimes\bra{e_j^{(2)}})\rho(\ket{e_k^{(1)}}\otimes\ket{e_l^{(2)}})$$である。
解説
以上の定義を図式的に解説する。
という密度行列があるとして、これを構成する基底ベクトルが
- \(\ket{e_1^{(1)}}=\begin{pmatrix}1\\0\\\end{pmatrix}\)
- \(\ket{e_2^{(1)}}=\begin{pmatrix}0\\1\\\end{pmatrix}\)
- \(\ket{e_1^{(2)}}=\begin{pmatrix}1\\0\\\end{pmatrix}\)
- \(\ket{e_2^{(2)}}=\begin{pmatrix}0\\1\\\end{pmatrix}\)
であるとすると、第１成分の第１基底と第２成分の第１基底のテンソル積、第１成分の第１基底と第２成分の第２基底のテンソル積の２つを用いた場合、
より、密度行列\(\rho\)の成分\(b\)は\(\rho_{11,12}\)と表すことができる。同様の計算を繰り返すと、\(\rho\)の各成分は以下のように表せる。
また、\(\rho\)の部分転置\(\rho^{pt}\)の各成分も同様に、
と表せる。ここで、密度行列\(\rho\)の部分転置をとると、例えば成分\(\rho_{11,12}=b\)は２番目の添え字の転置で\(\rho^{pt}_{12,11}\)に移動する。この処理を\(\rho\)のすべての成分について繰り返すと、
が得られる。
では、第２成分の基底は上記の２つのままで、第１成分の基底が
- \(\ket{e_1^{(1)}}=\begin{pmatrix}1\\0\\0\\\end{pmatrix}\)
- \(\ket{e_2^{(1)}}=\begin{pmatrix}0\\1\\0\\\end{pmatrix}\)
- \(\ket{e_3^{(1)}}=\begin{pmatrix}0\\0\\1\\\end{pmatrix}\)
の３つある場合はどうなるだろうか。この時の密度行列\(\rho\)を
とおくと、部分転置をとって
が得られる。
以上のような行列の変換には、どのような法則があるだろうか。それを示すために、以下のように補助線を入れてみる。
すると、部分転置とは、これらの補助線で区切られたブロック内の行列をそれぞれ転置したものであることがわかる。すなわち、第１成分の基底の個数を\(N_1\)、第２成分の基底の個数を\(N_2\)とすると、密度行列を\(N_1\times N_1\)のブロック行列と見て、各ブロックを構成する\(N_2\times N_2\)行列をそれぞれ転置することで部分転置が得られる。
部分転置の実装
以上の処理は、次のようなPythonコードによって実装できる。
partial_transposition関数は、密度行列
を与えると、部分転置
が出力される。
参考文献
- 中原幹夫「量子物理学のための線形代数 ＝ベクトルから量子情報へ」(2016)培風館.
コメント