[论文解读] Quantum entanglement and geometry of determinantal varieties

Hao Chen|ArXiv.org|Oct 17, 2001

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

一句话总结

本文将复射影空间中的行列式簇引入为混合量子态在局部幺正变换下的代数不变量，将量子纠缠与代数几何联系起来。它建立了一个几何可分性判据：可分态对应于线性子空间之和的行列式簇，从而导出新的纠缠判据、 Schmidt 数界、哈密顿量模拟方法，并系统构造 PPT 边缘纠缠态。

ABSTRACT

Quantum entanglement was first recognized as a feature of quantum mechanics in the famous paper of Einstein, Podolsky and Rosen [18]. Recently it has been realized that quantum entanglement is a key ingredient in quantum computation, quantum communication and quantum cryptography ([16],[17],[6]). In this paper, we introduce algebraic sets, which are determinantal varieties in the complex projective spaces or the products of complex projective spaces, for the mixed states in bipartite or multipartite quantum systems as their invariants under local unitary transformations. These invariants are naturally arised from the physical consideration of measuring mixed states by separable pure states. In this way algebraic geometry and complex differential geometry of these algebraic sets turn to be powerful tools for the understanding of quantum enatanglement. Our construction has applications in the following important topics in quantum information theory: 1) separability criterion, it is proved the algebraic sets have to be the sum of the linear subspaces if the mixed states are separable; 2) lower bound of Schmidt numbers, that is, generic low rank bipartite mixed states are entangled in many degrees of freedom; 3) simulation of Hamiltonians, it is proved the simulation of semi-positive Hamiltonians of the same rank implies the projective isomorphisms of the corresponding algebraic sets; 4) construction of bound enatanglement, examples of the entangled mixed states which are invariant under partial transpositions (thus PPT bound entanglement) are constructed systematically from our new separability criterion. On the other hand many examples of entangled mixed states with rich algebraic-geometric structure in their associated determinantal varieties are constructed and studied from this point of view.

研究动机与目标

• 建立一个基于混合态导出的代数不变量的几何框架，用于分析量子纠缠。
• 基于与混合态相关的行列式簇的代数结构，发展一种可分性判据。
• 应用代数几何解决量子信息理论中的关键问题，包括 Schmidt 数界与哈密顿量模拟。
• 利用新的几何可分性判据系统构造 PPT 边缘纠缠态。
• 通过分析其关联行列式簇的非线性结构，证明双局域系统中一般低秩混合态为纠缠态。

提出的方法

• 将行列式簇定义为在局部基选择下由密度矩阵构造的矩阵的子式为零的点集。
• 利用秩条件 $\text{rank}(\sum r_i A_i) \leq n-1$ 定义与混合态 $\rho$ 相关的行列式簇。
• 应用复代数几何与微分几何，分析这些簇在 $\mathbb{C}^m$ 或 $\mathbb{C}^m \times \mathbb{C}^n$ 中的结构。
• 证明可分混合态对应于仿射线性子空间之并的行列式簇。
• 利用这些簇的射影同构刻画在哈密顿量模拟下的等价性。
• 通过确保关联行列式簇为非线性，即使态在部分转置下不变，构造 PPT 纠缠态的显式例子。

实验结果

研究问题

• RQ1 能否通过其关联行列式簇的代数结构表征混合量子态的可分性？
• RQ2 行列式簇的何种几何条件意味着混合态为纠缠态或边缘纠缠态？
• RQ3 混合态的 Schmidt 数如何与行列式簇的维数及不可约性相关联？
• RQ4 能否通过行列式簇的射影同构刻画半正定哈密顿量的模拟？
• RQ5 在何种条件下，部分转置下不变的混合态为纠缠态（即边缘纠缠态）？

主要发现

• 双局域系统中的可分混合态对应于仿射线性子空间之并的行列式簇。
• 一般低秩双局域混合态为纠缠态，因为其关联行列式簇并非线性子空间之并。
• 相同秩的半正定哈密顿量的模拟意味着对应行列式簇的射影同构。
• 提出一种新系统方法，通过确保行列式簇为非线性而态在部分转置下不变，系统构造 PPT 边缘纠缠混合态。
• $\rho_{0,0,1}$ 是首个通过此几何判据构造的 PPT 纠缠混合态，其范围中包含可分纯态，为首个此类实例。
• 对于一般参数 $e_1, e_2, e_3$，行列式簇 $V_A^5(\rho_{e_1,e_2,e_3}) \cap C^3$ 包含一条曲线而非一条直线，通过其非线性结构证明了纠缠性。