构造纠缠目击的一般方法

量子纠缠作为量子通信和量子计算过程中不可缺少的资源,在量子信息领域中有着广泛的应用.如何判定一个给定的量子态是否为纠缠态仍然是一个重要的课题.纠缠目击是一种特殊的自伴算子,它可以用来判断一个量子态是否为纠缠态.本文首先从纠缠目击的定义入手,给出构造纠缠目击的一般方法,证明了当一个可测量A在可分纯态上的最大期望CA严格小于它的最大特征值λ_(max)(A)时,对任何满足条件C_A≤C<λ_(max)(A)的参数C,算子W_C=CI-A都是一个纠缠目击;然后,作为应用得到了利用图态的稳定子构造纠缠目击的一系列方法.