Bell 态对角纠缠见证

已证明对于 $d_{1}\otimes d_{2}\otimes ....\otimes d_{n}$ 系统，寻找通用 Bell 态对角纠缠见证 (BDEW) 在可行域自身为多边形时精确化为线性规划，在可行域非多边形时近似地通过线性规划获得。由于通用情形的线性规划难以求解，考虑了多量子比特、$2\otimes N$ 和 $3 \otimes 3$ 系统在特定参数选取下的通用 BDEW 特例。在本文其余部分，我们针对某些特定参数选取获得了 $3 \otimes 3$ 系统的最优不可分解纠缠见证。通过证明著名的约化映射的最优性，并将其与最优且不可分解的 3 $\otimes$ 3 BDEW（称为临界纠缠见证）结合，也得到了最优且不可分解的 3 $\otimes$ 3 BDEW 族。利用近似临界纠缠见证，检测到了一些 3 $\otimes$ 3 束缚纠缠态。因此，作为正映射通过 Jamiolkowski 同构与该见证相关联的特例，考虑了著名的 Choi 映射，其近似地通过线性规划获得。