通过实斜对称算符构造纠缠见证

在本工作中，我们引入了新类型的纠缠见证（EWs）。它们是利用定义在二部 $d \times d$ 系统的单方子系统上的实斜对称算符以及该系统中的一个最大纠缠态来构造的。我们提出了这些见证的一种规范形式，称为规范 EW，对应于规范实斜对称算符。此外，对于规范实斜对称算符的每一种可能划分，都得到了相应的 EW。用于 $d \times d$ 情形的方法被推广到了 $d_1 \times d_2$ 系统。结果表明，对于给定的 $d_1 \times d_2$ Hilbert 空间，存在 $C_{d_2 \times d_1}$ 种不同的构造 EWs 的可能性。针对每种类型的 EWs 研究了其最优性与 $nd$-最优性问题。在每一步中，都引入了一大类量子 PPT 态。结果表明，其中存在被所构造的见证检测到的纠缠 PPT 态。此外，规范 EW 的思想也被推广，以获得具有更强 PPT 纠缠检测能力的其它 EWs。