[论文解读] X-matrices provide a lower bound of concurrence

Seyed Mohammad Hashemi Rafsanjani, Shantanu Agarwal|arXiv (Cornell University)|Apr 17, 2012

graph theory and CDMA systems被引用 3

一句话总结

本文提出了一种基于X矩阵的两量子比特量子态纠缠度的基依赖下界——即具有特定稀疏模式的密度矩阵。该方法提供了一种计算简便、解析的下界，始终小于或等于真实的纠缠度，从而可在无需完整态层析的情况下实现高效的纠缠检测，并可推广至任意维系统，且给出了非可分性的充分条件。

ABSTRACT

By focusing on the X-matrix part of a density matrix of two qubits we provide an algebraic lower bound for the concurrence. The lower bound is generalized for cases beyond two qubits and can serve as a sufficient condition for non-separability for bipartite density matrices of arbitrary dimension. Experimentally, our lower bound can be used to confirm non-separability without performing a complete state tomography.

研究动机与目标

• 通过X矩阵结构，为两量子比特密度矩阵的纠缠度建立一种计算上可行的下界。
• 将该下界推广至任意维两体系统，实现对量子比特以外系统的纠缠检测。
• 基于X矩阵的纠缠度，提供一种非可分性的充分条件，避免完整的态重建。
• 通过与已知精确纠缠度值（特别是保角态）对比，验证该下界的有效性。
• 通过展示该下界仅需少数密度矩阵元，减少层析开销，探索其在实验中的适用性。

提出的方法

• 将两量子比特密度矩阵分解为X矩阵（仅主对角线和反对角线元素非零）与O矩阵（X型模式补集中的非对角元素）之和。
• 定义X矩阵的纠缠度为 $ C(\hat{X}) = \text{Max}\{0, C_1(\hat{X}), C_2(\hat{X})\} $，其中 $ C_1(\hat{X}) = 2(|Q_{14}| - \sqrt{Q_{22}Q_{33}}) $ 与 $ C_2(\hat{X}) = 2(|Q_{23}| - \sqrt{Q_{11}Q_{44}}) $。
• 通过纯态的三角不等式与混合态的凸包最小化，严格证明对任意两量子比特态 $ \hat{Q} $，有 $ C(\hat{X}) \leq C(\hat{Q}) $。
• 通过定义 $ C_{ik,jl}(\hat{Q}) = 2(|Q_{ik,jl}| - \sqrt{Q_{il,il}Q_{jk,jk}}) $，将该下界推广至高维系统，其中 $ i<j, k<l $ 上的最大值即为下界。
• 利用 $ I $-纠缠度形式化方法，将纠缠度定义扩展至 $ d \times d $ 系统，确保下界在基依赖下依然有效。
• 将该下界与保角态的精确纠缠度进行比较，表明当 $ F \geq 1/d $ 时，该下界是紧的，且对可分态则为零。

实验结果

研究问题

• RQ1 密度矩阵的X矩阵结构能否为两量子比特态的真实纠缠度提供可靠的下界？
• RQ2 当该下界推广至任意维两体系统时，其有效性与实用性是否仍然成立？
• RQ3 该下界是否可作为非可分性的充分条件，而无需完整态层析？
• RQ4 在何种条件下，该下界与真实纠缠度相等？
• RQ5 该下界在定量上与已知精确纠缠度（如保角态）相比表现如何？

主要发现

• X矩阵分量的纠缠度 $ C(\hat{X}) $ 始终小于或等于真实纠缠度 $ C(\hat{Q}) $，构成一个严格的下界。
• 对于两量子比特态，该下界为 $ C(\hat{X}) = \text{Max}\{0, 2(|Q_{14}| - \sqrt{Q_{22}Q_{33}}), 2(|Q_{23}| - \sqrt{Q_{11}Q_{44}})\} $，无需对角化即可计算。
• 该下界可推广至 $ d \times d $ 系统，其中 $ i<j, k<l $ 上 $ C_{ik,jl}(\hat{Q}) $ 的最大值即为纠缠度的下界。
• 对于 $ d=3 $ 的保角态，该下界为 $ \frac{2}{d-1}(F - \frac{1}{d}) $，与精确纠缠度相差一个 $ \sqrt{2d/(d-1)} $ 的因子。
• 当 $ F \leq 1/d $ 时，该下界为零，正确识别出可分的保角态，而对纠缠态则非零。
• 该方法仅需三个密度矩阵元即可计算，使其在无需完整层析的情况下具备实验可行性，适用于纠缠检测。