[论文解读] Manifolds of interconvertible pure states

Magdalena M. Sinołęcka, Karol Życzkowski+1 more|ArXiv.org|Oct 12, 2001

Quantum chaos and dynamical systems被引用 3

一句话总结

该论文通过分析通过局部幺正变换可互换的态的流形维数，研究了 $N\times N$ 两体量子系统中纯态的局部幺正轨道的几何结构。基于奇异值系数简并性，推导出轨道维数的精确公式：一般态的维数为 $2N^2 - N - 1$，可分态构成 $4(N-1)$ 维流形，最大纠缠态构成 $N^2 - 1$ 维流形，从而对纠缠类进行了完整的代数表征。

ABSTRACT

Local orbits of a pure state of an N x N bi-partite quantum system are analyzed. We compute their dimensions which depends on the degeneracy of the vector of coefficients arising by the Schmidt decomposition. In particular, the generic orbit has 2N^2 -N-1 dimensions, the set of separable states is 4(N-1) dimensional, while the manifold of maximally entangled states has N^2-1 dimensions.

研究动机与目标

• 表征 $N\times N$ 两体量子系统中纯态的局部幺正轨道的拓扑与几何结构。
• 确定在局部幺正操作下可互换的纯态流形的维数。
• 根据轨道维数对纠缠类——可分态、最大纠缠态和一般态——进行分类。
• 通过代数与微分几何方法，建立奇异值系数简并性与轨道维数之间的联系。
• 提出系数矩阵的格拉姆矩阵特征多项式的系数作为纠缠单调量，以完全表征纯态纠缠。

提出的方法

• 使用奇异值分解将任意纯态表示为奇异值系数 $\lambda_k$ 的形式，这些系数决定了纠缠结构。
• 分析局部幺正群 $U(N) \times U(N)$ 在态空间上的作用，以定义可互换态的轨道。
• 通过确定局部幺正群的李代数导出的轨道在给定态处的切空间的秩，计算每个轨道的维数。
• 应用公式 $\dim \mathcal{O}_\psi = 2N^2 - N - 1 - \sum_{k=1}^r (2d_k - 1)$，其中 $d_k$ 为奇异值系数的简并度，以计算轨道维数。
• 引入系数矩阵 $C$ 的格拉姆矩阵，并推导其特征多项式以提取奇异值系数的对称多项式 $\tau_k$。
• 证明初等对称多项式 $\tau_k$（$k=2,\dots,N$）为纠缠单调量，其在局部幺正操作下不变，且当且仅当态为可分态时为零。

实验结果

研究问题

• RQ1 在 $N\times N$ 两体系统中，通过局部幺正操作可互换的纯态流形的维数是多少？
• RQ2 轨道维数如何依赖于纯态奇异值系数的简并结构？
• RQ3 格拉姆矩阵特征多项式的系数能否作为纯态的完整纠缠单调量？
• RQ4 对应于可分态和最大纠缠纯态的子流形的维数是多少？
• RQ5 局部幺正轨道的几何与拓扑性质如何与纠缠分类相关联？

主要发现

• 在 $N\times N$ 系统中，一般纯态的轨道维数为 $2N^2 - N - 1$，对应于奇异值系数非简并的情形。
• 可分纯态的集合构成维数为 $4(N - 1)$ 的流形，对应于两个子系统纯态空间的张量积。
• 最大纠缠纯态的流形维数为 $N^2 - 1$，对应于所有奇异值系数相等的情形。
• 格拉姆矩阵特征多项式系数 $\tau_k$ 为 Schur-凹函数，因此可作为纠缠单调量，为纯态纠缠提供 $N-1$ 个独立不变量的完整集合。
• 对于 $N=2$，$\tau_k$ 系数完全表征纠缠，并与标准度量一致；但对于 $N>2$，其对纠缠态的排序与 R\'enyi 熵不同。
• 该方法可推广至混合态，如广义 Werner 态所示，此时轨道维数仅依赖于纯态分量的奇异值系数。