[论文解读] Quantum entanglement without eigenvalue spectra:multipartite case

Hao Chen|ArXiv.org|Sep 13, 2001

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

一句话总结

该论文提出了一类无需依赖特征值的多体量子混合态代数集不变量，基于特征向量在乘积复射影空间中的几何构型。这些不变量导出了一种与特征值无关的新可分性判据，证明可分态的代数集必须是线性子空间乘积的和，且揭示了部分迹谱在刻画多体量子系统纠缠时的局限性，尤其是在具有LOCC不可比较性的三体系统中，这些系统虽具有相同的谱却仍存在纠缠差异。

ABSTRACT

We introduce algebriac sets in the products of complex projective spaces for multipartite mixed states, which are independent of their eigenvalues and only measure the "position" of their eigenvectors, as their non-local invariants (ie. remaining invariant after local untary transformations). These invariants are naturally arised from the physical consideration of checking multipartite mixed states by measuring them with multipartite separable pure states. The algebraic sets have to be the sum of linear subspaces if the multipartite mixed state is separable, and thus we give a new separability criterion of multipartite mixed states. A continuous family of 4-party mixed states, whose members are separable for any 2:2 cut and entangled for any 1:3 cut (thus bound entanglement if 4 parties are isolated), is constructed and studied from our invariants and separability criterion. Examples of LOCC-incomparable entangled tripartite pure states are given to show it is hopeless to characterize the entanglement properties of tripartite pure states by only using the eigenvalue speactra of their partial traces. We also prove that at least $n^2+n-1$ terms of separable pure states, which are "orthogonal" in some sence, are needed to write a generic pure state in $H_A^{n^2} \otimes H_B^{n^2} \otimes H_C^{n^2}$ as a linear combination of them.

研究动机与目标

• 开发一类不依赖于特征值谱的多体混合态纠缠不变量。
• 填补对多体纠缠理解的空白，特别是针对混合态和超出两体系统的纯态。
• 基于特征向量的几何构型而非特征值，构建新的可分性判据。
• 证明多体纯态的纠缠特性无法仅通过部分迹特征值谱来刻画。
• 推广束缚纠缠态（如Smolin型）并利用所提出的不变量分析其结构。

提出的方法

• 将代数集定义为：通过用多体可分纯态测量混合态而产生的厄米双线性型的退化点集。
• 在复射影空间的乘积中构造不变量，这些不变量在局部酉变换下保持不变，且仅依赖于特征向量的'位置'。
• 利用代数几何刻画这些不变量的结构，包括维数、不可约分支以及体积、曲率等微分几何性质。
• 证明一种新的可分性判据：当且仅当代数集是线性子空间乘积的和时，多体混合态才是可分的。
• 将该判据应用于构造一个四体束缚纠缠态的连续族，推广Smolin的构造。
• 通过不变量分析三体纯态，表明尽管部分迹谱相同，但其仍为LOCC不可比较，从而揭示其内在结构差异。

实验结果

研究问题

• RQ1 是否可以不依赖密度矩阵或其部分迹的特征值谱来刻画多体纠缠？
• RQ2 哪些特征向量的几何不变量在局部酉变换下保持不变，并可作为纠缠度量？
• RQ3 为何某些三体纯态虽具有相同的部分迹谱，却仍为LOCC不可比较？其代数检测方法为何？
• RQ4 能否利用基于特征向量的不变量，构造并刻画一个四体束缚纠缠混合态的连续族？
• RQ5 在 $H_{A}^{n^2} \otimes H_{B}^{n^2} \otimes H_{C}^{n^2}$ 中，分解一个通用三体纯态至少需要多少个正交可分纯态？

主要发现

• 提出了一种新的无特征值可分性判据：当且仅当代数集是线性子空间乘积的和时，多体混合态才是可分的。
• 该判据可检测出整个连续的纠缠态族——只要特征向量相同且特征值任意，但判据不成立，则该态必为纠缠态。
• 构造了一个四体束缚纠缠混合态的连续族，推广了Smolin态，其在任意2:2划分下可分，但在任意1:3划分下均为纠缠态。
• 构造了若干具有相同部分迹谱但LOCC不可比较的三体纯态实例，证明仅凭谱无法刻画多体纠缠。
• 对于 $H_{A}^{n^2} \otimes H_{B}^{n^2} \otimes H_{C}^{n^2}$ 中的通用纯态，其类似Schmidt分解的 $n^2$ 个分量中，至少有一个的Schmidt秩至少为 $n$，显示出与两体系统的根本差异。
• 证明在 $H_{A}^{n^2} \otimes H_{B}^{n^2} \otimes H_{C}^{n^2}$ 中，将一个通用纯态表示为线性组合，至少需要 $n^2 + n - 1$ 个正交可分纯态。