[論文レビュー] Manifold of density matrices

Aik-meng Kuah, E. C. G. Sudarshan|ArXiv.org|Jul 30, 2003

Quantum Information and Cryptography参考文献 1被引用数 3

ひとこと要約

この論文は、混合状態を$N^2$次元の純粋状態に純化することにより得られる、$N\times N$密度行列の多様体が、$\mathbb{C}P^{N^2-1}/SU(N)$という商空間として現れることを確立している。主な貢献は、$SU(N)$による作用の軌道としての密度行列の幾何学的構造を、ランク$\mu$でインデックスされた階層的空間として特定し、$N=2$のときには有名なブロイ・球面が得られることを示したことである。

ABSTRACT

We show that the manifold of density matrices can be derived from CP^{N^2-1} by the action of SU(N). We give some preliminary observations on the structure of this manifold.

研究の動機と目的

• N×N密度行列の集合の数学的構造を幾何的多様体として特徴づけること。
• 純粋状態とは対照的に、混合量子状態に明確な幾何的フレームワークが欠如しているという問題に取り組むこと。
• 純化を介して、密度行列と$\mathbb{C}P^{N^2-1}$上の$SU(N)$の作用による軌道との間の対応を確立すること。
• 密度行列のランクに応じた、多様体の階層的幾何構造を分析すること。
• N=2のとき、多様体がよく知られたブロイ・球面に簡約されることを示し、フレームワークの妥当性を検証すること。

提案手法

• N×N密度行列を$N^2$次元ヒルベルト空間内の純粋状態に写像する純化手続きを用いる。
• スミット分解を用いて、純化状態を$|\psi\rangle = \sum_{i} \sqrt{\rho_i} |i^A\rangle \otimes |i^B\rangle$の形に表現する。ここで$\rho$は密度行列である。
• 2つの純粋状態が同じ縮約密度行列を持つための必要十分条件が、$I^A \otimes U^B$（$U \in SU(N)$）によるユニタリ変換で関係づけられることを証明する。
• 密度行列の多様体が、軌道が密度行列に対応する$\mathbb{C}P^{N^2-1}/SU(N)$という軌道空間として特定されることを示す。
• $SU(N)$作用における状態の安定化部分群を分類し、スミット数$\mu$に対して、$U(N-\mu)$に同型であることを示す。
• 各層の次元が$\mu(2N - \mu) - 1$となることを分析し、$\mu$が1から$N$まで変化する。また、純粋状態の多様体が$\mathbb{C}P^{N-1}$に同型であることを特定する。

実験結果

リサーチクエスチョン

• RQ1 N×N密度行列の集合に、明確な幾何的多様体構造をどのように与えることができるか？
• RQ2 密度行列の多様体と純粋状態の空間$\mathbb{C}P^{N^2-1}$との関係は何か？
• RQ3 $\mathbb{C}P^{N^2-1}$上の$SU(N)$群作用が、軌道同倹によりどのように密度行列を分類するか？
• RQ4 密度行列の多様体の階層的幾何的構造は何か？また、密度行列のランクにどのように依存するか？
• RQ5 このフレームワークは、$N=2$のときの量子ビットにおける既知の結果（ブロイ・球面）を再現するか？

主な発見

• N×N密度行列の多様体は、$\mathbb{C}P^{N^2-1}/SU(N)$という商空間と微分同相であり、$SU(N)$の軌道が一意に密度行列に対応する。
• 密度行列の多様体の次元は$N^2 - 1$であり、$N×N$密度行列の空間の期待される次元と整合する。
• ランク$\mu$の密度行列に対して、対応する層の次元は$\mu(2N - \mu) - 1$である。最小次元の層（$\mu = 1$）は$2N - 2$次元であり、純粋状態に対応する。
• 純粋状態の層（$\mu = 1$）は$\mathbb{C}P^{N-1}$に同型であり、すべての密度行列の凸包を形成する。
• N=2のとき、密度行列の多様体は3次元球面となり、標準的なブロイ・球面表現を確認する。
• 幾何はランクが低下するに従い次元が減少する階層的構造を持ち、ランク$\mu$の各層は、より低いランクの層を凸被覆する。