3. 量子中继器与纠缠交换基础
量子中继器的核心任务，是在两个相距较远的节点之间建立纠缠，而这两个节点之间并没有直接的光纤或自由空间信道。它采用的办法不是把量子态“放大再转发”，而是把长距离拆成若干段短距离纠缠，再通过纠缠交换把这些短段“缝合”成一条端到端纠缠。理解纠缠交换、贝尔态测量、交换成功概率、交换后保真度衰减以及多跳链上的保真度传递，是后续做端到端保真度优化的前提。
纠缠交换的基本原理
设中继链上有三个节点 A、B、C。A 与 B 之间已建立纠缠对 (A,B)，B 与 C 之间已建立纠缠对 (B,C)。此时 B 同时持有两个纠缠粒子。若在 B 处对这两个粒子做一次贝尔态测量（Bell State Measurement，BSM），测量结果会把 A 与 C 的粒子投影到四个贝尔态之一。测量完成后，A 与 C 之间就建立了纠缠，尽管它们从未直接交互。B 的测量结果通过经典信道告知 A 或 C，用于确定 A–C 纠缠的具体形式（是否需要做 Pauli 修正）。
关键点在于：纠缠交换消耗掉 B 处的两个粒子，换来 A–C 之间的一段新纠缠。因此中继链每做一次交换，就“吃掉”两段相邻纠缠，产出一段更长的纠缠。若链上有 N 段，则需要 N−1 次交换才能得到端到端纠缠。
贝尔态测量与四种结果
两量子比特的四个最大纠缠态为：
|Φ+⟩ = (|00⟩ + |11⟩)/√2
|Φ−⟩ = (|00⟩ − |11⟩)/√2
|Ψ+⟩ = (|01⟩ + |10⟩)/√2
|Ψ−⟩ = (|01⟩ − |10⟩)/√2贝尔态测量就是把这四个态区分开的联合测量。在线性光学实现中，通常用分束器加两个单光子探测器做“部分贝尔态测量”，只能区分 |Ψ−⟩ 与 |Ψ+⟩，另外两个态无法区分。这意味着实际交换成功概率会进一步下降。理想情况下，BSM 四个结果等概率，各为 1/4；但只有测量到特定结果（如 |Ψ−⟩）时，A–C 的态才直接是已知贝尔态，其余结果需要经典前馈做 Pauli 修正，或被视为失败。
交换成功概率
交换成功概率受三方面影响：
- BSM 本身的区分能力：理想 BSM 成功概率为 1；线性光学部分 BSM 通常只有 1/2。
- 输入纠缠对的保真度：若 A–B、B–C 本身不是完美贝尔态，交换后 A–C 的态会偏离贝尔态，测量结果分布也会改变。
- 探测器效率与暗计数：光子丢失或误计数会导致 BSM 结果不可信，实际被判定为失败。
在简化模型中，若每段纠缠的建立概率为 plink，BSM 成功概率为 pBSM，则一次交换的成功概率约为 pswap = plink² · pBSM。注意是平方关系：两段都要先成功，交换才可能成功。这解释了为什么多跳链的端到端成功率会随跳数指数下降。
交换后保真度衰减
即使交换成功，A–C 的纠缠保真度通常也低于原来两段中较低的那一段。原因包括：
- B 处两个粒子的局域操作不完美，引入额外噪声；
- BSM 结果误判，导致 Pauli 修正错误；
- 两段纠缠的噪声不独立，交换后噪声会叠加。
一个常用的近似关系是：若两段输入保真度分别为 F₁、F₂，则交换后保真度约为 Fswap ≈ F₁·F₂ + (1−F₁)(1−F₂)/3。这个式子说明，当 F₁、F₂ 都接近 1 时，Fswap 也接近 1；但当它们降到 0.9 左右时，交换后可能只有 0.8 左右。保真度衰减是逐跳累积的，这正是端到端保真度优化的核心难点。
多跳中继链的保真度传递
把上述单次交换推广到 N 段链：每段初始保真度 F₀，经过 N−1 次交换后，端到端保真度会按近似递推关系逐级下降。若每跳交换的等效衰减因子为 η（由 BSM 质量、局域操作误差决定），则端到端保真度大致按 ηN−1 衰减。这意味着：
- 跳数越多，端到端保真度越低，且下降速度由单跳质量决定；
- 提高单跳保真度（更好的纠缠源、更低的信道噪声、更精确的 BSM）比单纯增加中继节点更有效；
- 在长链中，通常需要配合纠缠纯化（entanglement purification）或量子纠错，在交换前后插入纯化步骤，把保真度“拉回来”。
下面这张图给出三节点两段链的纠缠交换与保真度传递关系，重点标出输入段、BSM、经典前馈和输出段之间的连接与衰减路径。
一个可复算的教学示例
假设某三节点链中，A–B 段保真度 F₁ = 0.92，B–C 段保真度 F₂ = 0.90，BSM 成功概率 pBSM = 0.5，每段纠缠建立概率 plink = 0.8。则：
交换成功概率：
p_swap = 0.8² × 0.5 = 0.32
交换后保真度（近似）：
F_swap ≈ 0.92×0.90 + (1−0.92)(1−0.90)/3
= 0.828 + 0.008/3
≈ 0.8307可以看到，两段输入保真度都在 0.9 以上，交换后却降到约 0.83；同时交换成功概率只有 0.32。若把链延长到 5 段，即使每跳都保持类似质量，端到端保真度会进一步降到 0.6 以下，成功率也会降到 0.32⁴ 量级。这就是为什么实际量子中继协议必须在交换前后引入纠缠纯化，并且要尽量提高单跳的 F 和 pBSM。