[論文レビュー] Separability criterion for multipartite pure quantum states

Ali Saif M. Hassan, Pramod S. Joag|arXiv (Cornell University)|Jan 9, 2007

Quantum Computing Algorithms and Architecture被引用数 2

ひとこと要約

この論文は、多粒子純粋量子状態の分離可能性に関する次数予想の強い形を証明し、状態が分離可能であるための必要十分条件として、関連するグラフの次数行列がその部分転置の次数行列と一致することを示した。修正されたグラフのテンソル積を用いて、任意の純粋多粒子状態の完全因数分解を可能にする多項式時間アルゴリズムを構築した。一方、混合状態では予想は一般に成り立たないが、特定のクラスの混合状態では弱い形で成立することが示された。

ABSTRACT

We settle the so-called degree conjecture for the separability of multipartite quantum states, which are normalized graph Laplacians, first given by Braunstein {\it et al.} [Phys. Rev. A extbf{73}, 012320 (2006)]. The conjecture states that a multipartite quantum state is separable if and only if the degree matrix of the graph associated with the state is equal to the degree matrix of the partial transpose of this graph. We call this statement to be the strong form of the conjecture. In its weak version, the conjecture requires only the necessity, that is, if the state is separable, the corresponding degree matrices match. We prove the strong form of the conjecture for {\it pure} multipartite quantum states, using the modified tensor product of graphs defined in [J. Phys. A: Math. Theor. extbf{40}, 10251 (2007)], as both necessary and sufficient condition for separability. Based on this proof, we give a polynomial-time algorithm for completely factorizing any pure multipartite quantum state. By polynomial-time algorithm we mean that the execution time of this algorithm increases as a polynomial in $m,$ where $m$ is the number of parts of the quantum system. We give a counter-example to show that the conjecture fails, in general, even in its weak form, for multipartite mixed states. Finally, we prove this conjecture, in its weak form, for a class of multipartite mixed states, giving only a necessary condition for separability.

研究の動機と目的

• 多粒子量子状態の分離可能性に関する次数予想を解明すること、特に純粋状態に対して。
• 状態に関連するグラフのグラフ論的性質を用いて、分離可能性の必要十分条件を確立すること。
• 任意の純粋多粒子量子状態の完全因数分解を効率的に行う多項式時間アルゴリズムを開発すること。
• 混合状態に対する予想の有効性を検証し、弱形と強形の違いを明確にすること。
• 特定のクラスの混合状態において、予想が弱い形で成立する条件を同定すること。

提案手法

• 著者たちは、以前の研究で導入された修正されたグラフのテンソル積を用いて、多粒子量子状態をモデル化し、その分離可能性を分析した。
• 量子状態に関連するグラフの次数行列を定義し、その状態の部分転置の次数行列と比較した。
• 証明は、純粋状態における分離可能性の必要十分条件として、元のグラフの次数行列と部分転置グラフの次数行列が等価であることの証明に依拠している。
• この等価性に基づき、純粋多粒子状態の完全因数分解を可能にする多項式時間アルゴリズムを構築した。
• 著者たちは、一般に予想が成り立たないことを示す反例を提示した。これは、混合状態において、弱い形でも一般には成立しないことを示している。
• さらに、特定のクラスの混合状態に対して、予想の弱い形が成り立つことを証明し、分離可能性の必要条件に限定して成立することを示した。

実験結果

リサーチクエスチョン

• RQ1 多粒子純粋量子状態のグラフの次数行列が、その部分転置の次数行列と等しいのは、その状態が分離可能であるときかつそのときに限り成り立つか？
• RQ2 グラフ論的基準に基づいて、任意の純粋多粒子量子状態を完全因数分解する多項式時間アルゴリズムを構築できるか？
• RQ3 多粒子混合状態において、次数予想は弱形または強形のいずれかで成り立つか？
• RQ4 どのような構造的性質が、混合状態において予想の弱い形が依然として成立するのを可能にするか？
• RQ5 修正されたグラフのテンソル積は、多粒子量子状態の分離可能性を特徴付ける上で果たす役割は何か？

主な発見

• 多粒子純粋量子状態に対して、次数予想の強い形がすべての状態で証明され、分離可能性の必要十分条件が確立された。
• 任意の純粋多粒子量子状態の完全因数分解を可能にする多項式時間アルゴリズムが成功裏に開発され、システムの部品数に対して時間計算量が多項式的に増加することが確認された。
• 反例により、混合状態において一般に予想が成り立たないことが示された。これは、弱い形でも一般には成立しないことを意味する。
• 特定のクラスの多粒子混合状態において、予想の弱い形が正当であることが証明され、分離可能性の必要条件に限定して成立することが示された。
• 修正されたグラフのテンソル積は、分離可能性の特徴付けと純粋状態の効率的因数分解を可能にする重要なツールである。