[論文レビュー] Computing finite-dimensional bipartite quantum separability

Lawrence M. Ioannou|ArXiv.org|Apr 29, 2005

Quantum Information and Cryptography参考文献 76被引用数 4

ひとこと要約

本稿では、エンタングルメント・ウィtnessと解析的中心を活用して、最小限の量子リソースでエンタングルメントを検出するか、分離可能性を検証するための、有限次元の双対量子分離可能性問題を解くための新規内部点法を提示する。主な貢献は、複雑性理論的に有利なアルゴリズムであり、従来の決定的手法を改善するもので、多面体理論と半定値計画法に理論的基盤を置く。

ABSTRACT

Ever since entanglement was identified as a computational and cryptographic resource, effort has been made to find an efficient way to tell whether a given density matrix represents an unentangled, or separable, state. Essentially, this is the quantum separability problem. Chapters 1 to 3 motivate a new interior-point algorithm which, given the expected values of a subset of an orthogonal basis of observables of an otherwise unknown quantum state, searches for an entanglement witness in the span of the subset of observables. When all the expected values are known, the algorithm solves the separability problem. In Chapter 4, I give the motivation for the algorithm and show how it can be used in a particular physical scenario to detect entanglement (or decide separability) of an unknown quantum state using as few quantum resources as possible. I then explain the intuitive idea behind the algorithm and relate it to the standard algorithms of its kind. I end the chapter with a comparison of the complexities of the algorithms surveyed in Chapter 3. Finally, in Chapter 5, I present the details of the algorithm and discuss its performance relative to standard methods.

研究の動機と目的

• 量子分離可能性問題の計算的非効率性（NP困難）を克服するため、実用的で効率的な決定的アルゴリズムの開発を目的とする。
• Karp還元を用いて問題をNP内に再定義することで、分離可能性問題の複雑性状態を明確にし、そのNP完全性に関する曖昧さを解消する。
• 分離状態集合の両側でエンタングルメントを検出可能な「アンビドクストル・エンタングルメント・ウィtness」と呼ばれる新しい種類のエンタングルメント・ウィtnessを導入する。
• 多面体理論を適用して、分離状態の集合が多面体でないことを証明し、量子情報理論における未解決問題を解決する。
• 観測量の部分的期待値のみを用いてエンタングルメント・ウィtnessを探索するアルゴリズムを設計し、物理的実装における量子リソース使用量を最小限に抑える。

提案手法

• 分離可能性問題を計算的意思決定問題として定式化し、Karp還元を用いてNP内に再定義することで、複雑性理論的分析を可能にする。
• 多面体理論を適用して、積状態の凸包の非多面体的構造に基づき、分離状態の集合が多面体でないことを示す。
• 「アンビドクストル・エンタングルメント・ウィtness」として、分離集合の両側からエンタングルメントを示す期待値を持つ新たな観測量のクラスを導入する。
• バリア関数の解析的中心を用いて、観測量の部分集合のスパン内でエンタングルメント・ウィtnessを探索する内部点法を開発する。
• 2次テイラー近似と、補題18および補題20による誤差バウンドを用いて、収束を制御し、バリア関数評価における有界な部分最適性を保証する。
• 制約付きで $ F_{ ext{a}}(x) = -rac{1}{2} ext{Tr}(x ho) + rac{1}{2} ext{Tr}(x^2) $ という対数バリア関数を定義し、自己調和性を確保して効率的な最適化を実現する。

実験結果

リサーチクエスチョン

• RQ1 量子分離可能性問題は、NP完全であるか、単にNP困難であるか。また、それをNP内に再定式化することで、どのようにして複雑性の明確化が可能になるか。
• RQ2 分離状態の集合は多面体として特徴付けられるか。多面体理論はその幾何的構造に何を明らかにするか。
• RQ3 観測量の部分的期待値を用いたエンタングルメント検出の計算的複雑性はどの程度か。
• RQ4 分離状態境界の両側でエンタングルメントを検出可能な新たな種類のエンタングルメント・ウィtnessを定義できるか。
• RQ5 提案された内部点法は、既存の決定的アルゴリズムと比較して、複雑性および性能面でどのように優れているか。

主な発見

• 多面体理論と積状態の凸包の非多面体的性質に基づき、分離状態の集合が多面体でないことが証明された。
• Karp還元を用いて分離可能性問題をNP内のNP困難問題として再定式化し、そのNP完全性に関する曖昧さを解消し、形式的な複雑性理論的枠組みを提供した。
• 分離集合の両側からエンタングルメントを検出可能な「アンビドクストル・エンタングルメント・ウィtness」と呼ばれる新たなエンタングルメント・ウィtnessのクラスを導入した。
• 提案された内部点法は、バリア関数における有界な部分最適性を達成し、$ F_{ ext{a}}(z) - F_{ ext{a}}( ext{opt}) riangleq C_{ ext{a}} $ が成り立つ。ここで $ C_{ ext{a}} $ は初期パラメータ $ heta_0, ho_0, ilde{ heta}_0 $ に依存する定数である。
• 特に、観測量の部分的期待値しか入手できない状況においても、従来の決定的手法と比較して、複雑性面で優れた性能を示した。
• テイラー展開と補題17、18、20を用いて誤差項の理論的バウンドを導出し、解析的中心の制御された近傍内での収束を保証した。