量子不可克隆定理详解:量子信息的守护者¶
前置阅读:第 1 章 量子计算基础中的量子态与测量公设。本篇是第 7 章的"宪法条款"——后面所有协议的安全性都从它出发。
课程目标:
理解"复制"在经典与量子世界的本质区别:为什么测量不能充当复印机。
掌握不可克隆定理的线性代数证明(两行内积论证),并能推广到一般量子操作 (CPTP map)。
辨析常见误解:正交态可以克隆;线性无关的有限集合可以概率性克隆;近似克隆有普适保真度上限 \(5/6\)。
理解定理的三重后果:QKD 安全性、量子货币、量子纠错必须走"子空间冗余"而非"复制备份"路线。
1. 问题:什么是"复制一个量子态"?¶
经典世界复制信息是平凡的:读出比特、写进新比特。我们能否给量子世界造一台"复印机"——一个物理装置 \(C\),对任意输入态 \(|\psi\rangle\) 执行
测量不是复印机。也许有同学想:先测量 \(|\psi\rangle\) 得到经典结果,再按结果制备两个同样的态。问题在于测量会把 \(|\psi\rangle = \sum_x \alpha_x|x\rangle\) 坍缩到某一个 \(|x\rangle\):概率幅 \(\alpha_x\) 的完整信息(相位、相干性)在第一次测量中就已丢失,复印件只是"随机抽到的那个基矢"的拷贝。对叠加态而言,这不是复制,是破坏。
要复制的恰恰是那些不能通过单次测量读出的信息(相位与相干结构)。这就把问题逼向了纯量子操作。
2. 定理与证明¶
量子不可克隆定理 (Wootters & Zurek; Dieks, 1982):不存在酉算子 \(C\),使得对希尔伯特空间中所有态 \(|\psi\rangle\) 都有 \(C\big(|\psi\rangle|0\rangle\big) = |\psi\rangle|\psi\rangle\)。
证明(内积论证,只需三行)。反设这样的 \(C\) 存在。任取两个态 \(|\psi\rangle, |\phi\rangle\),则
酉算子保持内积。左边做内积:\(\big(\langle\psi|\langle 0|\big)\big(|\phi\rangle|0\rangle\big) = \langle\psi|\phi\rangle\);右边做内积:\(\langle\psi|\phi\rangle^2\)。于是
设 \(c = \langle\psi|\phi\rangle\)(复数),则 \(c = c^2\),解只有 \(c = 0\) 或 \(c = 1\)。也就是说:能被同一台机器克隆的态,要么完全相同(\(c=1\)),要么相互正交(\(c=0\))。对任意(非正交的)态对——例如 \(|0\rangle\) 与 \(|+\rangle = (|0\rangle+|1\rangle)/\sqrt2\),\(\langle 0|+\rangle = 1/\sqrt2\)——克隆不可能。证毕。
推广到一般量子操作。若允许"复印机"是一般信道(CPTP map \(\mathcal E\),可以含测量、含辅助、允许失败后弃用),结论不变:\(\mathcal E\) 能确定性地把两个非正交纯态各自变成两份拷贝,当且仅当它们正交。证明思路是把 \(\mathcal E\) 的 Stinespring 表示(酉 + 环境)代入,追踪环境态的内积随时间只会减小(monotonicity of overlap under CPTP maps),而克隆要求"总系统内积"恰好从 \(\langle\psi|\phi\rangle\) 变为 \(\langle\psi|\phi\rangle^2\),对 \(0<|c|<1\) 这是增大。任何物理允许的操作都逃不出这条禁令。
值得强调定理的适用范围:它禁止的是"对未知、任意态的普适复制"。以下情形都不违反定理:
正交基矢可以完美克隆:\(C|0\rangle|0\rangle = |0\rangle|0\rangle,\ C|1\rangle|0\rangle = |1\rangle|1\rangle\),这正是一个受控非门 (CNOT)——经典比特复制是量子克隆在正交集上的特例,量子世界只是"兼容"经典世界。
已知态可以随意制备:知道 \(|\psi\rangle\) 的制备线路,想要多少份就能造多少份。定理针对的是"未知的量子态"。
3. 边界与推广¶
(a) 概率性精确克隆。Duan–Guo (1998):对一组线性无关的态 \(\{|\psi_i\rangle\}\),存在"克隆或宣布失败"的装置:以非零概率成功克隆、失败时给出可识别的失败信号。线性无关在 \(d\) 维空间最多容纳 \(d\) 个态,所以"指数多个码字态的量子纠错码"不可能被概率克隆——这排除了用"随机化+声明"绕过禁令的路线。
(b) 近似克隆:保真度 \(5/6\) 的天花板。放弃"完美",问"最好的复印机长什么样"?Bužek–Hillery (1996) 构造了普适量子克隆机 (universal quantum cloner):对任意输入 \(|\psi\rangle\),输出两份态 \(\rho^{\text{out}}\),每份与原件的保真度恰为
更妙的是 \(5/6\) 是最优值:任何物理过程对"每份拷贝"能达到的保真度都不可能超过 \(5/6\)(对单比特情形;\(d\) 维推广为 \(F = (2+d)/(2+2d)\))。克隆的"不可能"原来是一条连续的谱:完美 \(1\) 被禁止,\(5/6\) 是物理允许的极限。这个数字在第 8 章讨论量子数据增强时还会再露面。
(c) 对偶命题。与不可克隆对偶的是不可删除 (no-deleting):也不存在把两份相同拷贝"合并回收"为一份拷贝加空白态的酉操作。两条定理合起来说明:量子信息既不能无中生有,也不能凭空湮灭——非正交量子信息是一种"守恒"的资源。这个视角把 no-cloning 从"一条禁令"提升为"量子信息论的资源理论起点"。
4. 后果:这条禁令在保护谁?¶
后果一:量子密钥分发 (QKD) 的安全基石。窃听者面对传输中的未知量子态,"先抄一份再转发"的经典窃听套路被定理直接封死;她只剩下测量——而测量非正交态必然引入扰动,被合法用户检测(下一篇 BB84 将把这句话变成协议与数字)。可以说:经典密码怕算力,量子密钥怕的是物理本身。
后果二:量子货币。Wiesner 早在 1970 年(发表于 1983)就提出:钞票上放一串随机非正交态(随机地从 \(\{|0\rangle,|1\rangle,|+\\rangle,|-\\rangle\}\) 中选),只有知道制备基的央行能验证。伪造者没有基信息、又不能克隆,最多瞎猜。这是"信息写在量子态上、安全性由不可克隆背书"的第一个完整构想,比 QKD 协议早了十年。
后果三:量子纠错的独木桥。经典纠错靠冗余复制备份比特;量子纠错不能复制(no-cloning)、而且测量差错位置会破坏叠加。第 1 章预告过的答案是把信息编进纠缠子空间:逻辑比特"弥散"在多个物理比特的联合态中,用稳定子测量只读"错误症候"而不读逻辑信息本身—— syndromes 是正交可区分的,所以允许测量;逻辑叠加是非正交方向上的连续族,所以不可克隆也无需克隆。理解了 no-cloning,才能体会量子纠错码为什么必须是现在这个样子。
后果四:可分辨性的深层联系。no-cloning 等价于"非正交态不可被可靠区分"(若能区分就能重新制备多份,即克隆;反之克隆+测量也能区分)。这把三条线(克隆、区分、测量扰动)拧成一股:量子信息的"未知性"是一个物理事实,不是技术短板。
本课总结¶
测量会坍缩,不能当复印机;真正的克隆装置被线性代数封死:可克隆 \(\Rightarrow\) 态要么相同要么正交。
CPTQ/CPTP 推广、概率克隆(线性无关集)、近似克隆(最优保真 \(5/6\))构成定理的完整边界。
不可删除定理与不可克隆对偶:非正交量子信息是守恒资源。
四重后果:QKD 安全性、量子货币、量子纠错的纠缠子空间设计、非正交态不可靠区分。
习题¶
补全 CNOT 作为"计算基克隆机"的验证:写出 \(U_{\text{CNOT}}|x\rangle|0\rangle\)(\(x \in \{0,1\}\)),并解释为什么它作用在 \(|+\rangle|0\rangle\) 上不是克隆(算出输出态与 \(\frac{1}{2}(|0\rangle+|1\rangle)^{\otimes 2}\) 的差别——注意此时输出是纠缠态 \(|\Phi^+\rangle\))。
用内积论证证明:不存在酉 \(C\) 同时克隆 \(|0\rangle\)、\(|1\rangle\)、\(|+\rangle\) 三个态,哪怕允许第三个输出寄存器初态换成任意固定态 \(|s\rangle\)。
Bužek–Hillery 克隆机的输出形如 \(\rho^{\text{out}}_{12} = \frac{2}{3}|\Psi_{\psi}\rangle\langle\Psi_{\psi}| + \frac{1}{3}\cdot\frac{I\otimes I - |\Psi_\psi\rangle\langle\Psi_\psi|}{3}\) 的结构(\(|\Psi_\psi\rangle\) 为对称化直积)。据此计算单份拷贝的保真度,验证 \(F = 5/6\)。
证明 no-deleting:不存在酉 \(D\),对任意 \(|\psi\rangle\) 有 \(D\big(|\psi\rangle|\psi\rangle|s\rangle\big) = |\psi\rangle|0\rangle|s'\rangle\)(\(|s'\rangle\) 可依赖于 \(D\) 的设计但不依赖 \(\psi\))。提示:克隆机与删除机级联将违反什么?