3. 纠缠产生与交换原理
在量子网络中，纠缠是比经典比特更“昂贵”的资源：它不能像数据包那样被任意复制、缓存或重传，只能通过物理过程产生、交换、纯化，并在测量中被消耗。理解纠缠路由，必须先理解纠缠本身如何被制造、如何被“接力”、如何被提纯，以及如何用保真度判断它是否还能用。本节围绕 EPR 对、纠缠交换、纠缠纯化、贝尔态测量（BSM）与保真度五个核心概念展开，并给出可操作的示例参数与判读方法。
一、EPR 对：纠缠的“基本粒子”
EPR 对（Einstein-Podolsky-Rosen pair）指两个量子比特处于最大纠缠态，最常用的是四个贝尔态：
|Φ⁺⟩ = (|00⟩ + |11⟩)/√2
|Φ⁻⟩ = (|00⟩ − |11⟩)/√2
|Ψ⁺⟩ = (|01⟩ + |10⟩)/√2
|Ψ⁻⟩ = (|01⟩ − |10⟩)/√2它们构成两比特空间的一组正交基，任何两比特纯态都可写成四者的叠加。物理上，EPR 对通常由自发参量下转换（SPDC）产生：泵浦光子进入非线性晶体，以一定概率分裂为信号光子和闲频光子，二者在偏振或时间-能量自由度上纠缠。示例参数：泵浦波长 405 nm，晶体为 PPKTP，信号/闲频中心波长约 810 nm，符合计数率约 10⁴ s⁻¹，Hong-Ou-Mandel 干涉可见度约 95%。这些数值属于教学示例，用于说明量级与判读方式，并非实测结果。
EPR 对的质量由保真度 F 描述：F = ⟨Φ⁺|ρ|Φ⁺⟩，即实际态与目标贝尔态的重叠。理想 EPR 对 F = 1；实际因多光子、暗计数、模式失配，F 通常低于 1。若 F ≤ 0.5，则纠缠不可用，因为此时经典混合态也能达到该值。
二、贝尔态测量：把纠缠“读出来”
贝尔态测量（BSM）是对两个量子比特做联合测量，使其投影到四个贝尔态之一。线性光学 BSM 的典型实现是：两路光子进入 50:50 分束器，输出端各接一个偏振分束器与单光子探测器，通过符合计数区分 |Ψ⁺⟩ 与 |Ψ⁻⟩，而 |Φ⁺⟩ 与 |Φ⁻⟩ 无法被完全区分。因此线性光学 BSM 的成功率上限为 50%，这是纠缠交换效率受限的根本原因之一。
BSM 的结果是经典 2 比特信息：它告诉控制端“测到了哪个贝尔态”，但不传递被测量子态本身。这个经典结果必须通过经典信道传到远端，用于后续的幺正修正。没有经典信道，纠缠交换无法完成——这正是量子网络不能脱离经典网络的原因。
三、纠缠交换：让纠缠“接力”
纠缠交换（entanglement swapping）是量子中继的核心操作。设节点 A 与中间节点 M 共享 EPR 对 1，M 与 B 共享 EPR 对 2。M 对自己手里的两个光子做 BSM，测得某个贝尔态后，A 与 B 的光子立即坍缩为纠缠态。此时 A–B 之间从未直接传输过光子，却建立了纠缠——这就是“交换”的含义。
关键点有三：第一，BSM 消耗两对 EPR，产出 1 个 A–B 纠缠，因此交换是“资源消耗型”操作；第二，BSM 结果必须经经典信道传到 B（或 A），用于幺正修正，修正操作为 I、X、Z、XZ 四种之一；第三，线性光学 BSM 只能区分两个贝尔态，所以交换成功率约 50%，且实际保真度会因测量不完美而下降。
示例：若两对 EPR 的保真度均为 0.92，BSM 可见度 0.90，则交换后 A–B 的保真度约为 0.92 × 0.90 ≈ 0.83（简化估算，实际需考虑暗计数与多光子）。这个数值说明：交换不是无损的，每经过一级中继，保真度都会衰减。
四、纠缠纯化：把“脏”纠缠变“干净”
纠缠纯化（entanglement purification / distillation）用多个低保真度 EPR 对，通过本地操作与经典通信（LOCC）提取出少量高保真度 EPR 对。最经典的 BBPSSW 协议流程如下：
- Alice 和 Bob 各持有两对 EPR，记为 (A1,B1) 与 (A2,B2)。
- 双方对第二对做 bilateral CNOT：A1 控制 A2，B1 控制 B2。
- 测量第二对（A2,B2）的 Z 基，比较结果；若相同，保留第一对；若不同，丢弃。
- 重复多轮，保真度逐步提升，但成功概率下降。
示例参数：初始 F = 0.85，经过一轮 BBPSSW 后 F ≈ 0.93，成功概率约 0.5；再经过一轮，F ≈ 0.97，成功概率约 0.25。这说明纯化是“以数量换质量”的过程。实际系统中，还需考虑探测器效率、存储寿命与纯化轮数上限。
五、保真度：纠缠是否“可用”的判据
保真度 F 是纠缠路由中最核心的质量指标。它有三种常见定义：
- 态保真度：F = ⟨ψ|ρ|ψ⟩，衡量实际态与目标态的接近程度。
- 纠缠保真度：在目标为贝尔态时，F = (1 + 3p)/4 形式常用于退极化信道，p 为保真参数。
- 测量保真度：BSM 正确识别贝尔态的概率，直接影响交换后 F。
判据：F > 0.5 表示存在可提取的纠缠；F > 0.9 通常可用于量子密钥分发；F > 0.99 才适合容错量子计算。在路由中，若某条路径的端到端 F 低于阈值，应触发纯化或改选路径。
| 阶段 | 典型 F | 说明 |
|---|---|---|
| SPDC 源输出 | 0.90–0.97 | 受多光子与模式失配限制 |
| 一次纠缠交换后 | 0.80–0.90 | BSM 不完美导致下降 |
| 一轮纯化后 | 0.93–0.97 | 成功概率约 0.5 |
| 两轮纯化后 | 0.97–0.99 | 成功概率约 0.25 |
表中数值为教学示例，用于说明量级与趋势，并非特定实验的实测结果。实际系统中，保真度还受存储退相干、探测器暗计数、光纤偏振漂移等因素影响，需要结合具体链路标定。
综合来看，EPR 对是资源，BSM 是测量手段，纠缠交换是连接手段，纠缠纯化是质量保障，保真度是统一判据。五者构成量子网络纠缠路由的底层逻辑：先产生、再测量、后交换、必要时纯化，全程用保真度决定“能不能用、要不要重试、走哪条路”。