[論文レビュー] Coherent states, entanglement, and geometric invariant theory

Alexander A. Klyachko|ArXiv.org|Jun 3, 2002

Quantum Mechanics and Applications参考文献 17被引用数 37

ひとこと要約

本稿は、幾何的不変量理論（GIT）を用いた、群論的枠組みを提案し、量子もつれを特徴付ける。もつれ状態とは、すべてのカルタン部分代数にわたるスピンまたはキュービット射影重みの凸包の内部に、零重量サポートが存在する状態である。主な貢献は、ヒルベルト＝ムーディー基準に基づく安定性基準であり、すべてのカルタン部分代数に対して原点が重みサポートの相対的内部にあることでもつれを同定する。これは、一貫性があり、不変で、幾何的に意味のあるもつれの定義を提供する。

ABSTRACT

The main objective of the paper is to unveil an adequate mathematics hidden behind entanglement, that is Geometric Invariant Theory. More specifically relation between these two subjects can be described by the following theses. (i) Total variance of completely entangled state is maximal. (ii) This distinguishes the state as a minimal vector in its orbit under action of complexified dynamic group. (iii) An ultimate aim of Geometric Invariant Theory is a description of complex orbits and their minimal vectors. It suggests that noncompletely entangled states are just GIT semistable vectors.

研究の動機と目的

• もつれの定義と測定に関する合意の欠如を解消するため、幾何的かつ不変量理論的枠組みを導入すること。
• 群の軌道とボレル部分代数によって定義される一様状態と、対称性と縮退の双対性を通じてもつれ状態を結びつけること。
• ヒルベルト＝ムーディー安定性条件を用いて、もつれ状態を識別する、厳密で不変かつ幾何的に意味のある基準を確立すること。
• もつれは、すべてのカルタン部分代数にわたる重みサポートの凸包の内部に原点が存在するという条件によって特徴付けられることを示すこと。
• このアプローチが、複素軌道における最小ベクトル長や量子エントロピーを含む、明確に定義されたもつれの測度へ自然に導くこと、特に非自明な対称性群を有する系において。

提案手法

• 量子系の動的対称性群 $ G = \text{Exp}(\frak{G}) $ を採用し、$ \frak{G} $ を本質的観測量のリー代数とする。
• 一様状態を真空状態の $ G $-軌道として定義し、最大の縮退を保証する複素極化による条件 $ \frak{G}^c = \frak{G}_\rho^c + (\frak{G}_\rho^c)^\flat $ を課す。
• ヒルベルト＝ムーディー基準を用いる：状態 $ \rho $ が安定（したがってもつれ）であるとは、すべてのカルタン部分代数 $ \frak{C} \triangleleft \frak{G}^c $ に対して、$ \rho $ の $ \frak{C} $-サポートに原点が相対的内部にあることである。
• $ N $-キュービット系にこの基準を適用し、$ (s_1, \bar, s_N) \neq 0 $ における $ s_i = \frac{1}{2} $ の凸包を分析して、原点の位置によってもつれを同定する。
• スピン-$ j $ 系への基準の拡張を行い、ある量子化軸に沿った正のスピン射影を持つ状態の線形結合である場合に限り、状態がもつれでないことを示す。
• ケンプフ＝ネス定理を用いて、状態の複素軌道における最小ベクトルのノルムにより幾何的もつれ測度を定義し、$ |\rho_0|^2 = n |\text{det}[\rho]|^{2/n} $ を得る。

実験結果

リサーチクエスチョン

• RQ1 もつれは、基底に依存せず、局所ユニタリ変換に対して不変な方法で定義可能か？
• RQ2 特に対称性と群作用との関係において、もつれ概念の明確な数学的構造は何か？
• RQ3 ヒルベルト＝ムーディー基準は、カルタン部分代数における重みサポートの観点から、もつれ状態をどのように特徴付けるか？
• RQ4 対称性と安定化子は、特に関数的不変量を有する系において、もつれの定義と測定にどのような役割を果たすか？
• RQ5 幾何的不変量理論は、キュービットやスピン系を含むさまざまな量子系において、もつれの定義と測定を統一的に提供可能か？

主な発見

• 状態 $ \rho $ がもつれであるための必要十分条件は、すべてのカルタン部分代数 $ \frak{C} $ に対して、その重みサポートの凸包の内部に原点が存在することである。これは完全で不変な特徴付けを提供する。
• $ N $-キュービット系では、もつれは、任意の量子化軸の選択に対して、$ \big\backslash\big\backslash (s_1, \bar, s_N) \big\backslash\big\backslash $ における $ \rho_{s_1 \bar s_N} \neq 0 $ の集合の凸包に原点が存在することと同値である。
• スピン-$ j $ 系では、ある量子化軸に沿った非負の射影 $ j - \nu < j $ を持つ状態の線形結合である場合に限り、状態がもつれでない。
• ヒルベルト＝ムーディー基準により、安定状態（有限対称性群を有する）は明確に定義された密度行列と量子エントロピーを持つ。一般には $ N \to \forall $ でしか定義されないが、対称系では $ N \to 4 $ で成立する。
• 状態の複素軌道における最小ベクトル長 $ |\rho_0|^2 = n |\text{det}[\rho]|^{2/n} $ は、複素化群作用に対して不変な幾何的もつれ測度を提供する。
• このアプローチにより、いかなるもつれ測度も相対論的に不変ではないことが明らかになった。なぜなら、すべてのもつれ状態は、ある運動系において最大もつれ状態として現れるからである。これはもつれ測度のフレーム依存性を強調する。