量子纠缠：比特之间的「神秘关联」

4.1 什么是纠缠

先看一个特殊的两比特状态：

|Φ+⟩ = (|00⟩ + |11⟩)/√2

这个状态叫贝尔态（Bell state）。对两比特都做理想 Z 基测量时：

• 第一个有 50% 概率得到 0，50% 概率得到 1；
• 第二个的结果一定和第一个相同；
• 单看一边是 50/50，合起来只出现 00、11。

更关键的是，这个联合纯态无法写成「第一个比特的纯态」与「第二个比特的纯态」的张量积，因此它是纠缠态（entangled state）。这不是说子系统完全没有状态：每边都有自己的约化态，此例中都是完全混合态；只是两份局部描述不足以恢复全部联合关联。

对混态，定义还要进一步：若能表示为若干乘积态按经典概率混合，就叫可分态；不能这样表示才叫纠缠态。因此「联合态不是一个乘积」单独用于判断混态还不够。

4.2 纠缠 vs 普通的相关性

你可能会问：这和「一双手套，一只放北京、一只放深圳，打开一个盒子就知道另一个是左手还是右手」有什么区别？

仅看「两边结果总相同或相反」，其实无法区分：共享经典随机数也能制造完美相关。量子差别要通过不同测量基的联合统计来检验，不能靠一组 00/11 记录下结论。

贝尔不等式限制的是满足局域性等条件的经典隐变量模型。合适的纠缠态和测量设置可以违反这个限制，排除这一类「事先约定答案」的解释；不是说任何纠缠态、任何一次测量都必然展示贝尔不等式违背。下面 4.5 节先用更简单的换基实验看区别。

4.3 纠缠能用来超光速通信吗？

不能。这是一个常见误解。

对一边做局域操作或测量、且不把结果传给另一边，不能改变另一边可独立观察到的边际分布。在这个贝尔态例子中，另一边测 Z 始终是 50/50，无法判断你是否测量，更不能由你控制其结果来发 0 或 1。

知道你的结果后，可以讨论另一边的条件分布，例如「已知左边为 0，右边必为 0」。但取得这个条件需要普通通信。条件分布变了，不等于远端边际分布被可控地改变；纠缠本身不是超光速信道。

4.4 纠缠在计算中的作用

纠缠是许多量子信息任务的重要资源，但应加上适用条件：

1. 始终为乘积纯态的标准线路容易模拟。在纯态、少比特门的电路模型中，若整个过程各比特始终不纠缠，可逐个记录其局部状态，不会仅因比特增加就产生稠密向量的指数负担。
2. 有纠缠不等于有计算优势。某些高度纠缠的 Clifford 线路仍可用稳定子方法高效经典模拟。要证明加速，必须同时看门集、线路结构、输入与输出任务。
3. 纠缠支撑多种通信任务，如量子隐形传态、纠缠型密钥分发和一些分布式量子协议；并不是所有量子通信方案都要求显式分发纠缠对。

一个通俗的说法：

叠加提供可干涉的成分，纠缠提供不能化成局部乘积的联合结构；算法负责把这些资源变成可利用的结果，而不是只把比特「绑在一起」。

4.5 动手比较：贝尔态与经典 00/11 混合

对照两种准备：A 是贝尔纯态 (|00⟩ + |11⟩)/√2；B 是抛一次公平硬币，正面准备 |00⟩，反面准备 |11⟩。B 没有纠缠，只共享了一个经典随机变量。

X 基就是 {|+⟩, |−⟩}。实际可在每边先做 H，再用常规 Z 读出：读到 0 记作 +，读到 1 记作 -。用 3.7 节的换基思路，贝尔态在 XX 下仍完美同号；B 中无论原来是 00 还是 11，每边测 X 都各半随机，所以四种组合各占四分之一。

用「同号记 +1、异号记 -1」计算平均相关性：A 的 ZZ、XX 都为 +1，B 的 ZZ 为 +1、XX 为 0。这解释了为什么只有 Z 基相关不足以证明纠缠。这个对照实验是在可信制备和测量模型下辨别两种状态，不等于已经完成无设备假设的贝尔不等式检验。

本章小结

• 纠缠纯态不能写成局部纯态的乘积；混态要排除所有乘积态的经典概率混合。
• 单一 Z 基的相关不足以证明纠缠，要检查不同基下的联合统计。
• 局域测量不改变远端可独立观察的边际分布，纠缠不能超光速通信。
• 纠缠是重要资源，但不保证经典难以模拟，也不单独保证算法优势。