4. 纠缠交换基本原理

纠缠交换是量子网络从“点对点链路”走向“多跳端到端连接”的关键机制。它的核心思想并不复杂：如果节点 A 与中继 R 共享一对纠缠粒子，节点 B 与同一个中继 R 也共享另一对纠缠粒子，那么在中继 R 上对来自两条链路的两个粒子做一次联合测量，并把测量结果通过经典信道告知 A 或 B，A 与 B 之间就能建立起纠缠关系——尽管它们从未直接交换过量子态。这一过程把“两段短纠缠”拼接成“一段长纠缠”，是量子中继器最基础的构件。

Bell态测量：纠缠交换的“引擎”

要理解纠缠交换，先要理解 Bell 态测量（Bell State Measurement, BSM）。四个最大纠缠的两量子比特态（Bell 基）为：

|Φ⁺⟩ = (|00⟩ + |11⟩)/√2
|Φ⁻⟩ = (|00⟩ − |11⟩)/√2
|Ψ⁺⟩ = (|01⟩ + |10⟩)/√2
|Ψ⁻⟩ = (|01⟩ − |10⟩)/√2

这四个态构成两量子比特空间的一组正交完备基。所谓 Bell 态测量，就是把两个量子比特投影到这组基上，并输出四种结果之一。在光学实现中，通常用分束器让两个光子干涉，再配合单光子探测器做符合计数：例如探测到两个探测器同时响应，往往对应 |Ψ⁺⟩ 或 |Ψ⁻⟩ 的区分；而 |Φ⁺⟩ 与 |Φ⁻⟩ 在简单线性光学下无法完全区分，需要辅助光子或非线性介质。因此实际 BSM 常是“部分 Bell 态测量”，只能区分其中两个 Bell 态，这会直接影响纠缠交换的成功概率。

BSM 的关键特征是：它不给出两个输入粒子的各自状态，只给出它们处于哪个 Bell 态。正是这种“只问关系、不问个体”的测量，使得中继节点无需知道 A、B 的量子态，也能把纠缠“传递”过去。

纠缠交换的数学推导

设 A 持有粒子 1，中继 R 持有粒子 2，二者处于纠缠态；R 还持有粒子 3，与 B 持有的粒子 4 处于纠缠态。为便于推导，假设两条链路都处于 |Φ⁺⟩：

|Φ⁺⟩₁₂ = (|00⟩₁₂ + |11⟩₁₂)/√2
|Φ⁺⟩₃₄ = (|00⟩₃₄ + |11⟩₃₄)/√2

整个四粒子系统的初态为 |Ψ⟩ = |Φ⁺⟩₁₂ ⊗ |Φ⁺⟩₃₄。把粒子 2 和 3 展开到 Bell 基上，经过代数重排可得：

|Ψ⟩ = ½ [ |Φ⁺⟩₂₃ |Φ⁺⟩₁₄
         + |Φ⁻⟩₂₃ |Φ⁻⟩₁₄
         + |Ψ⁺⟩₂₃ |Ψ⁺⟩₁₄
         + |Ψ⁻⟩₂₃ |Ψ⁻⟩₁₄ ]

这个表达式是纠缠交换的核心。它说明：中继对粒子 2、3 做 Bell 态测量后，若测得 |Φ⁺⟩₂₃，则粒子 1、4 塌缩到 |Φ⁺⟩₁₄；若测得 |Φ⁻⟩₂₃，则粒子 1、4 塌缩到 |Φ⁻⟩₁₄；其余同理。也就是说，BSM 结果与 A、B 两端最终纠缠态之间存在一一对应关系。中继只需把“我测到了哪个 Bell 态”这一经典信息（2 比特）发给 A 或 B，A 或 B 据此施加相应的 Pauli 修正（I、Z、X、Z·X），就能把粒子 1、4 恢复为确定的 |Φ⁺⟩₁₄。

需要强调：BSM 本身是概率性的，它并不“创造”纠缠，而是把原本分散在两段链路中的纠缠资源重新组织到 A、B 之间。测量结果必须通过经典信道传输，因此纠缠交换不能超光速传递信息，这与量子力学因果律一致。

成功概率与资源消耗分析

纠缠交换的“成功”取决于 BSM 能否被正确执行并识别。若使用理想线性光学 BSM，只能区分 |Ψ⁺⟩ 与 |Ψ⁻⟩ 两个 Bell 态，另外两个 |Φ⁺⟩、|Φ⁻⟩ 会给出相同的探测器响应，无法区分。此时 BSM 的成功概率上限为 50%。若采用辅助光子、非线性介质或完整 Bell 态测量方案，理论上可把成功概率提升到 100%，但代价是更高的实验复杂度和额外的光子资源。

更一般地，若两条初始链路各自的纠缠保真度为 F₁、F₂，BSM 成功概率为 p_BSM，则交换后 A、B 之间纠缠态的成功概率约为 p_BSM，而保真度会因链路噪声和测量不完美而下降。一个常用的近似估计是：交换后保真度 F_out ≈ F₁·F₂ / [F₁·F₂ + (1−F₁)(1−F₂)]（在对称噪声模型下）。这说明：即使两段链路各自保真度较高，经过一次交换后保真度也会明显衰减，因此实际量子中继器往往需要配合纠缠纯化（entanglement purification）来恢复保真度。

资源消耗方面，一次纠缠交换至少需要：两对初始纠缠粒子（4 个量子比特）、一次 BSM 操作、2 比特经典通信，以及 A 或 B 端的一次 Pauli 修正。若考虑多跳网络，端到端纠缠建立需要串联多次交换，总成功概率随跳数指数下降。例如每跳成功概率为 0.5，则 3 跳后成功概率约为 0.125。为提升成功率，可采用并行链路、纠缠交换重试、以及“交换—纯化”交替进行的策略。

总结来看，纠缠交换把“中继测量 + 经典通信 + 本地修正”组合成一个可重复的量子网络原语。它的数学本质是 Bell 基下的重展开，它的工程本质是概率性操作与资源消耗的权衡。理解 BSM 的可区分态数量、交换后保真度的衰减规律、以及多跳成功率的指数下降，是设计量子中继链和连接管理策略的基础。