[论文解读] 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 改進的圖張量積在表徵多體量子態可分性方面扮演何種角色？

主要发现

• 多體純量子態的度數猜想強形式已獲證明為真，確立了可分性的必要與充分條件。
• 成功開發出一種多項式時間演算法，可用於完全分解任意純多體量子態，其執行時間隨系統部分數量多項式增長。
• 該猜想在一般情況下，甚至在弱形式下，對多體混合態均不成立，反例已明確展示。
• 該猜想的弱形式對特定類型的多體混合態已獲證明成立，僅提供可分性的必要條件。
• 改進的圖張量積是表徵可分性及實現純態高效分解的關鍵工具。