[论文解读] A general algorithm for manipulating non-linear and linear entanglement witnesses by using exact convex optimization

M. A. Jafarizadeh, K. Aghayar+1 more|arXiv (Cornell University)|Jan 28, 2009

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

一句话总结

本文提出了一种通用的凸优化框架，用于在任意N-粒子量子系统中构建线性和非线性纠缠判据（EWs）。通过将可分态映射到可行区域（FR），该方法从多边形FR导出线性EWs，从弯曲FR中通过线性EWs的包络构造非线性EWs，从而实现对W态和GHZ-W态等复杂态的系统性纠缠检测。

ABSTRACT

A generic algorithm is developed to reduce the problem of obtaining linear and nonlinear entanglement witnesses of a given quantum system, to convex optimization problem. This approach is completely general and can be applied for the entanglement detection of any N-partite quantum system. For this purpose, a map from convex space of separable density matrices to a convex region called feasible region is defined, where by using exact convex optimization method, the linear entanglement witnesses can be obtained from polygonal shape feasible regions, while for curved shape feasible regions, envelope of the family of linear entanglement witnesses can be considered as nonlinear entanglement witnesses. This method proposes a new methodological framework within which most of previous EWs can be studied. To conclude and in order to demonstrate the capability of the proposed approach, besides providing some nonlinear witnesses for entanglement detection of density matrices in unextendible product bases, W-states, and GHZ with W-states, some further examples of three qubits systems and their classification and entanglement detection are included. Also it is explained how one can manipulate most of the non-decomposable linear and nonlinear three qubits entanglement witnesses appearing in some of the papers published by us and other authors, by the method proposed in this paper. Keywords: non-linear and linear entanglement witnesses, convex optimization. PACS number(s): 03.67.Mn, 03.65.Ud

研究动机与目标

• 开发一种适用于任意N-粒子量子系统的通用算法，用于生成纠缠判据（EWs）。
• 解决在传统线性EWs可能失效的量子态中检测纠缠的挑战，特别是针对非可分解态或高度纠缠态。
• 通过将纠缠检测问题表述为凸优化问题，统一并推广现有的EW构造方法。
• 通过显式构造W态、GHZ-W态和三量子比特系统的非线性EWs，展示该方法的能力。
• 提供一种系统化方法，利用凸优化原理对不可分解的线性和非线性EWs进行操控与分类。

提出的方法

• 将可行区域（FR）定义为可分密度矩阵集合在迹映射 $ \mathrm{Tr}(W\rho_{\text{sep}}) $ 下的像，由于可分态的凸结构，该FR具有凸性。
• 对于多边形FR，应用精确凸优化以识别对应于线性纠缠判据的顶点。
• 对于弯曲FR，通过计算由凸优化获得的线性EWs族的包络，定义非线性纠缠判据。
• 利用拉格朗日对偶性和Karush-Kuhn-Tucker（KKT）条件求解凸优化问题，确保在强对偶性下全局最优解和零对偶间隙。
• 当解析解不可行时，采用内点法求解数值解，利用凸优化算法的高效性。
• 通过引入附加约束重新应用凸优化，以针对特定目标态（如不可延伸的乘积基或W态）优化EWs。

实验结果

研究问题

• RQ1 如何设计一种通用算法，以适用于任意N-粒子量子系统，生成线性和非线性纠缠判据？
• RQ2 可行区域（FR）在将纠缠检测问题转化为凸优化框架中起什么作用？
• RQ3 如何通过包络构造，系统地从线性EWs族中推导出非线性纠缠判据？
• RQ4 该方法能否检测三量子比特系统中的非可分解纠缠，如W态和GHZ-W态？
• RQ5 现有文献中的线性和非线性EWs在多大程度上可通过这种统一的凸优化方法重新推导和操控？

主要发现

• 该方法通过从弯曲可行区域中导出线性EWs的包络，成功构造了不可延伸乘积基态、W态和GHZ-W态的非线性纠缠判据。
• 对于三量子比特系统，该框架能够对多种态中的纠缠进行分类与检测，包括具有非可分解EWs的态。
• 对于给定系统，可行区域由于源自可分密度矩阵的凸集在线性迹映射下的像，因此在构造上即为凸集。
• 该方法证明了凸优化公式中强对偶性成立，保证了KKT条件可导出全局最优解且对偶间隙为零。
• 该方法推广并统一了先前的EW构造，允许对文献中报道的不可分解线性和非线性EWs进行系统化操控。
• 当解析解不可行时，通过内点法获得的数值解是可行的，确保了该方法在复杂量子系统中的广泛应用性。