量子隐形传态：纠缠的第一次"实战
一句话定义
量子隐形传态（teleportation）用一对纠缠比特、一次两比特测量与两比特经典通信，把一个未知量子态从甲处转移到乙处——原态在甲处被测量销毁，全过程不超光速、不复制态。
为什么重要
它是第一个把 kp-005（测量）、kp-011（受控门）、kp-004（纠缠）三课整合起来的完整协议，也是量子网络/中继器（产业方向之一）的基本构件。作为教学案例它无可替代：推导只有六行代数，却同时演示了"测量经典结果 + 条件修正"这一量子信息处理的通用模式。理解了它，再看纠错码的校验子-修正结构会觉得似曾相识。
前置知识
kp-005（测量与不可克隆）、kp-011（CNOT 与 Bell 态制备）。需要 kp-007 的 bra-ket 展开规则，推导全程可手算。
核心概念
- 资源：Alice 与 Bob 预先共享一个 Bell 对 (|00⟩+|11⟩)/√2（可用 H+CNOT 制备，kp-011）。
- Bell 基测量：Alice 对自己的两个比特做"换基到 Bell 基"的测量——电路上是 CNOT + H + 两次单比特测量。
- 经典修正：Alice 的测量结果（两比特，4 种可能）经经典信道告诉 Bob，Bob 据此执行 I、X、Z 或 XZ 之一。
- 三条铁律：原态在 Alice 端坍缩销毁（不违反不可克隆）；Bob 在收到经典比特前态是"平均意义的混态"（不超光速）；未知态本身从未被经典描述（传的是态，不是关于态的信息）。
直观类比
像一座"量子态的传送带"：纠缠对是预先铺好的传送轨道，Alice 把要寄的量子态"印"上轨道（通过联合测量），并把一张两比特的"提货码"用普通邮件寄给 Bob；Bob 凭码决定是否需要转个相位再取货。货物（态）在 Alice 端已经销毁，提货码本身不含货物的任何经典信息——单看码（随机两比特）什么都读不出来。
原理与机制
完整推导（可复现）。设待传态 |ψ⟩ = α|0⟩ + β|1⟩，共享 Bell 对，总态按 Bell 基展开：
|ψ⟩₁ ⊗ |Φ⁺⟩₂₃ = ½[ |Φ⁺⟩₁₂(α|0⟩+β|1⟩)₃ + |Φ⁻⟩₁₂(α|0⟩−β|1⟩)₃ + |Ψ⁺⟩₁₂(β|0⟩+α|1⟩)₃ + |Ψ⁻⟩₁₂(β|0⟩−α|1⟩)₃ ]
四种测量结果对应 Bob 的态分别是 |ψ⟩、Z|ψ⟩、X|ψ⟩、XZ|ψ⟩。电路实现 Bell 基测量：对 1、2 号比特先做 CNOT（1 控制 2）再做 H（1 号），然后测量——这个电路恰好把 Bell 基换回计算基（kp-011 指出它是 Bell 制备的逆过程）。Alice 把两位结果发给 Bob；Bob 按表修正：00→I，01→X，10→Z，11→ZX，之后他的比特即为 |ψ⟩。总开销：1 个纠缠对 + 2 比特经典通信 + 2 个双比特门 + 修正门——在 Alice 的比特与 Bob 的比特从不直接相遇的前提下完成了态的转移。
公式或模型
修正规则表（Alice 测量结果 → Bob 操作）：00→I；01→X；10→Z；11→ZX。资源账：1 ebit + 2 cbits；保真度理想值 1，实际受纠缠源与门错误限制（kp-020）。
图示
实例或案例
1997 年起光子、原子、超导、离子各平台陆续实现；中国"墨子号"卫星（2016 发射）在 2017 年完成千公里级星地隐形传态实验。教学上，kp-030 的任一云平台都有现成的 teleportation 教程电路：跑通后检查"修正后的 q2 测量分布与原始 |ψ⟩ 一致"，并故意删掉修正门观察失败模式——比读十遍推导更有效。
与其他知识点的关系
kp-004 提供纠缠资源与"无传信"约束；kp-011 的 Bell 制备电路在本节被逆向使用；kp-005 的不可克隆解释"原态必须销毁"；kp-025 的稳定子测量继承了"测量提取症状、经典决定修正"的模式。
常见误区
- "隐形传态=瞬间移动"：没有经典信道就没有修正信息；整体速度不超过光速。
- "传态复制了态"：原态在测量中坍缩销毁，全宇宙仍只有一份——协议的设计正是为了绕开不可克隆定理。
- "纠缠自己完成了传送"：纠缠 + 测量 + 经典通信三者缺一不可；只发纠缠对方得到的是随机结果。
自测题
- Alice 测得结果 10 时，Bob 需要什么修正？
- 为什么 Bob 在收到经典比特前"什么都没发生"？
- 为什么协议不违反不可克隆定理？
答案要点：Z 门（按表 10→Z）；修正后态为 Z·Z|ψ⟩ = |ψ⟩。
答案要点：他的单边态是两种结果的等权混合，局部密度矩阵与修正前完全相同——no-signalling（kp-004）。
答案要点：联合测量使 Alice 端 |ψ⟩ 坍缩为计算基态，任何时刻未知态只有一份存在。
延伸阅读
Bennett 等 (1993) PRL 原始论文（六页，推导与本节同构）；N. D. Mermin《Quantum Computer Science》第 2 章。