[论文解读] Coherent states, entanglement, and geometric invariant theory

Alexander A. Klyachko|ArXiv.org|Jun 3, 2002

Quantum Mechanics and Applications参考文献 17被引用 37

一句话总结

本文提出了一种基于几何不变理论（GIT）的新型群论框架，用于表征量子纠缠，主张纠缠态是其在所有卡坦子代数上的自旋或量子比特投影权重的凸包内部具有零权支撑的态。关键贡献是基于希尔伯特-穆尔福德准则的稳定性判据，该判据通过要求原点位于每个卡坦子代数的权重支撑的相对内部，从而以严格、不变且几何意义明确的方式定义纠缠。

ABSTRACT

The main objective of the paper is to unveil an adequate mathematics hidden behind entanglement, that is Geometric Invariant Theory. More specifically relation between these two subjects can be described by the following theses. (i) Total variance of completely entangled state is maximal. (ii) This distinguishes the state as a minimal vector in its orbit under action of complexified dynamic group. (iii) An ultimate aim of Geometric Invariant Theory is a description of complex orbits and their minimal vectors. It suggests that noncompletely entangled states are just GIT semistable vectors.

研究动机与目标

• 通过引入几何的、不变理论的框架，解决量子纠缠定义与度量方面缺乏共识的问题。
• 通过对称性与简并性的对偶关系，建立相干态（通过群轨道和博雷尔子代数定义）与纠缠态之间的联系。
• 利用希尔伯特-穆尔福德稳定性条件，提供一种严格、不变且几何意义明确的纠缠态识别准则。
• 证明纠缠可通过原点位于所有卡坦子代数上权重支撑凸包内部的条件来表征。
• 表明该方法自然导出明确定义的纠缠度量，如复轨道中最小向量长度和量子熵，尤其适用于具有非平凡对称群的系统。

提出的方法

• 采用量子系统的动力对称群 $ G = \text{Exp}(\frak{G}) $，其中 $ \frak{G} $ 是基本可观测量的李代数。
• 将相干态定义为真空态在 $ G $ 下的轨道，关键条件为 $ \frak{G}^c = \frak{G}_\rho^c + (\frak{G}_\rho^c)^\flat $，通过复极化实现最大简并性。
• 应用希尔伯特-穆尔福德准则：当且仅当对每个卡坦子代数 $ \frak{C} \triangleleft \frak{G}^c $，原点位于 $ \rho $ 的 $ \frak{C} $-支撑内部时，态 $ \rho $ 是稳定的（因此为纠缠态）。
• 通过分析 $ (s_1, \bar, s_N) \neq 0 $ 时 $ s_i = \frac{1}{2} $ 的情况，将该准则应用于 $ N $-量子比特系统，通过原点位置判断纠缠。
• 将准则推广至自旋-$ j $ 系统，证明当且仅当态可表示为沿某一定轴具有非负自旋投影的态的线性组合时，该态非纠缠。
• 利用坎佩夫-内斯定理，通过态的复轨道中最小向量的范数定义几何纠缠度量，$ |\rho_0|^2 = n |\text{det}[\rho]|^{2/n} $。

实验结果

研究问题

• RQ1 纠缠能否以不依赖基底且在局部酉变换下不变的方式定义？
• RQ2 纠缠概念背后的精确数学结构是什么，特别是与对称性和群作用的关系？
• RQ3 希尔伯特-穆尔福德准则如何用于通过卡坦子代数中的权重支撑表征纠缠态？
• RQ4 对称性和稳定子在纠缠的定义与度量中起什么作用，特别是在具有函数不变量的系统中？
• RQ5 几何不变理论能否为不同量子系统（如量子比特和自旋系统）提供统一的纠缠定义与度量框架？

主要发现

• 当且仅当对每个卡坦子代数 $ \frak{C} $，原点位于其权重支撑凸包内部时，态 $ \rho $ 为纠缠态，从而提供了完整且不变的表征。
• 对于 $ N $-量子比特系统，纠缠等价于：对任意定轴选择，原点位于集合 $ \big\backslash\!\big\backslash (s_1, \bar, s_N) \big\backslash\!\big\backslash $ 的凸包内部，其中 $ \rho_{s_1 \bar s_N} \neq 0 $。
• 在自旋-$ j $ 系统中，当且仅当态是沿某一定轴具有非负投影 $ j - \nu < j $ 的态的线性组合时，该态非纠缠。
• 希尔伯特-穆尔福德准则确保稳定态（具有有限对称群）具有明确定义的密度矩阵和量子熵，该熵在一般情况下仅对 $ N \to \forall $ 有定义，但在对称系统中对 $ N \to 4 $ 有定义。
• 态的复轨道中最小向量长度 $ |\rho_0|^2 = n |\text{det}[\rho]|^{2/n} $ 提供了一种在复群作用下不变的几何纠缠度量。
• 该方法揭示，不存在任何相对论不变的纠缠度量，因为每个纠缠态在某个运动参考系中均表现为最大纠缠，突显了纠缠度量的参考系依赖性。