22、量子纠缠理论入门

量子纠缠理论入门

1. 纠缠度量相关概念

1.1 最佳可分近似

在处理量子态时，除了通过混合量子态来破坏纠缠，还可以考虑纠缠态中包含多少可分态。由此引出了最佳可分近似（Best Separable Approximation，BSA）的概念，其定义为：
[
\text{BSA}(\Lambda) := \inf \text{tr}{\Lambda - A}
]
满足条件：
- (A \geq 0)；
- (A \in \text{SEP})；
- ((\Lambda - A) \geq 0)。

这个度量无论是在解析计算还是数值计算上都并非易事。不过，若将集合 (\text{SEP}) 替换为集合 (\text{PPT})，就可以把这个问题转化为半定规划问题，对于此类问题已有高效的算法。

1.2 纠缠见证单调量

纠缠见证是用于判断一个量子态是否可分的工具。若一个厄米算符 (W) 满足以下条件，则被定义为纠缠见证：
- 对于所有可分态 (\Lambda \in \text{SEP})，有 (\text{tr}{W\Lambda} \geq 0)；
- 存在纠缠态 (\Lambda)，使得 (\text{tr}{W\Lambda} < 0)。

这意味着 (W) 就像一个线性超平面，将某些纠缠态与可分态的凸集分隔开来。许多纠缠见证是已知的，例如 CHSH 不等式就是著名的例子。可以选取一个合适的纠缠见证 (W)，并使用“违背量”：
[
E_{\text{wit}}(W) = \max{0, -\text{t