# 量子不可克隆定理详解：量子信息的守护者

*前置阅读：[第 1 章 量子计算基础](../ch01-basics/quantum-computing-basics.md)中的量子态与测量公设。本篇是第 7 章的"宪法条款"——后面所有协议的安全性都从它出发。*

**课程目标：**

1. 理解"复制"在经典与量子世界的本质区别：为什么测量不能充当复印机。
2. 掌握不可克隆定理的**线性代数证明**（两行内积论证），并能推广到一般量子操作 (CPTP map)。
3. 辨析常见误解：正交态可以克隆；线性无关的有限集合可以概率性克隆；**近似**克隆有普适保真度上限 $5/6$。
4. 理解定理的三重后果：QKD 安全性、量子货币、量子纠错必须走"子空间冗余"而非"复制备份"路线。

:::{admonition} 本课知识点
:class: tip

1. **[克隆问题的定义与测量局限](#cloning-problem)**——能写出克隆装置 $C$ 须满足的作用式，并解释测量坍缩为何使"先测后制"无法复制未知叠加态。
2. **[不可克隆定理的内积证明](#no-cloning-proof)**——能复述三行内积论证，并由 $c=c^2$ 推出可被同一装置克隆的态只能完全相同或相互正交。
3. **[推广到一般量子操作](#cptp-generalization)**——能用 Stinespring 表示与保真度单调性说明含测量、含辅助的 CPTP 信道同样无法克隆非正交态。
4. **[定理的适用边界：正交态与已知态](#theorem-scope)**——能解释 CNOT 为何能完美克隆计算基矢，并比较"正交态可克隆"与"已知态可制备"这两种不违反定理的情形。
5. **[概率克隆与近似克隆](#cloning-relaxations)**——能写出概率克隆的线性无关条件与普适克隆机的最优保真度 $5/6$，并计算 $d$ 维推广公式给出的取值。
6. **[不可删除定理](#no-deleting)**——能陈述不可删除定理，并说明它与不可克隆定理的对偶关系。
7. **[不可克隆定理的四重后果](#no-cloning-consequences)**——能说明定理如何支撑 QKD 安全性与量子货币、量子纠错为何必须走纠缠子空间路线，并解释克隆与态可靠区分的等价性。

:::

(cloning-problem)=
## 1. 问题：什么是"复制一个量子态"？

经典世界复制信息是平凡的：读出比特、写进新比特。我们能否给量子世界造一台"复印机"——一个物理装置 $C$，对**任意**输入态 $|\psi\rangle$ 执行

$$
C\left(|\psi\rangle \otimes |0\rangle\right) = |\psi\rangle \otimes |\psi\rangle \quad \text{（空白纸 + 原件 }\to\ \text{原件 + 复印件）}？
$$

**测量不是复印机**。也许有同学想：先测量 $|\psi\rangle$ 得到经典结果，再按结果制备两个同样的态。问题在于测量会把 $|\psi\rangle = \sum_x \alpha_x|x\rangle$ 坍缩到**某一个** $|x\rangle$：概率幅 $\alpha_x$ 的完整信息（相位、相干性）在第一次测量中就已丢失，复印件只是"随机抽到的那个基矢"的拷贝。对叠加态而言，这不是复制，是破坏。

要复制的恰恰是那些**不能通过单次测量读出**的信息（相位与相干结构）。这就把问题逼向了纯量子操作。

## 2. 定理与证明

(no-cloning-proof)=
### 2.1 定理陈述与内积证明

> **量子不可克隆定理 (Wootters & Zurek; Dieks, 1982)**：不存在酉算子 $C$，使得对希尔伯特空间中**所有**态 $|\psi\rangle$ 都有 $C\big(|\psi\rangle|0\rangle\big) = |\psi\rangle|\psi\rangle$。

**证明（内积论证，只需三行）**。反设这样的 $C$ 存在。任取两个态 $|\psi\rangle, |\phi\rangle$，则

$$
C\big(|\psi\rangle|0\rangle\big) = |\psi\rangle|\psi\rangle, \qquad
C\big(|\phi\rangle|0\rangle\big) = |\phi\rangle|\phi\rangle .
$$

酉算子保持内积。左边做内积：$\big(\langle\psi|\langle 0|\big)\big(|\phi\rangle|0\rangle\big) = \langle\psi|\phi\rangle$；右边做内积：$\langle\psi|\phi\rangle^2$。于是

$$
\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-generalization)=
### 2.2 推广到一般量子操作（CPTP map）

若允许"复印机"是一般信道（CPTP map $\mathcal E$，可以含测量、含辅助、允许失败后弃用），结论不变：$\mathcal E$ 能**确定性地**把两个非正交纯态各自变成两份拷贝，当且仅当它们正交。证明思路是把 $\mathcal E$ 的 Stinespring 表示（酉 + 环境）代入，再用 CPTP 映射的保真度单调性（monotonicity of fidelity under CPTP maps）：丢弃环境只会让两个态的保真度**增大或不减**，而克隆要求两份拷贝之间的保真度恰好从 $|\langle\psi|\phi\rangle|$ 缩小为 $|\langle\psi|\phi\rangle|^2$，对 $0<|c|<1$ 这是严格减小，矛盾。**任何物理允许的操作都逃不出这条禁令。**

(theorem-scope)=
### 2.3 适用范围：哪些情形不违反定理

值得强调定理的适用范围：它禁止的是"对**未知、任意**态的普适复制"。以下情形都不违反定理：

- **正交基矢可以完美克隆**：$C|0\rangle|0\rangle = |0\rangle|0\rangle,\ C|1\rangle|0\rangle = |1\rangle|1\rangle$，这正是一个受控非门 (CNOT)——经典比特复制是量子克隆在正交集上的特例，量子世界只是"兼容"经典世界。
- **已知态可以随意制备**：知道 $|\psi\rangle$ 的制备线路，想要多少份就能造多少份。定理针对的是"未知的量子态"。

## 3. 边界与推广

(cloning-relaxations)=
### 3.1 放宽"完美"：概率克隆与近似克隆

**概率性精确克隆**。Duan–Guo (1998)：对一组**线性无关**的态 $\{|\psi_i\rangle\}$，存在"克隆或宣布失败"的装置：以非零概率成功克隆、失败时给出可识别的失败信号。线性无关在 $d$ 维空间最多容纳 $d$ 个态，所以"指数多个码字态的量子纠错码"不可能被概率克隆——这排除了用"随机化+声明"绕过禁令的路线。

**近似克隆：保真度 $5/6$ 的天花板**。放弃"完美"，问"最好的复印机长什么样"？Bužek–Hillery (1996) 构造了**普适量子克隆机 (universal quantum cloner)**：对任意输入 $|\psi\rangle$，输出两份态 $\rho^{\text{out}}$，每份与原件的保真度恰为

$$
F = \tfrac56 .
$$

更妙的是 $5/6$ 是**最优值**：任何物理过程对"每份拷贝"能达到的保真度都不可能超过 $5/6$（对单比特情形；$d$ 维推广为 $F = \frac{2d+1}{3d}$）。克隆的"不可能"原来是一条连续的谱：完美 $1$ 被禁止，$5/6$ 是物理允许的极限。这个数字在第 8 章讨论量子数据增强时还会再露面。

(no-deleting)=
### 3.2 对偶命题：不可删除定理

与不可克隆对偶的是**不可删除 (no-deleting)**：也不存在把两份相同拷贝"合并回收"为一份拷贝加空白态的酉操作。两条定理合起来说明：量子信息既不能无中生有，也不能凭空湮灭——非正交量子信息是一种"守恒"的资源。这个视角把 no-cloning 从"一条禁令"提升为"量子信息论的资源理论起点"。

(no-cloning-consequences)=
## 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 安全性、量子货币、量子纠错的纠缠子空间设计、非正交态不可靠区分。

## 练习题

**练习 1【克隆问题的定义与测量局限】**（→ [第 1 节](#cloning-problem)）

1. 基础：写出克隆装置 $C$ 必须满足的作用式（输入：原件与空白态；输出：两份完全相同的拷贝），并说明"对任意未知态 $|\psi\rangle$ 都成立"为何是这一定义的核心。
2. 进阶：设 $|\psi\rangle = \frac{1}{\sqrt2}(|0\rangle + i|1\rangle)$。写出"先在计算基下测量、再按结果制备两份"这一方案的所有可能输出及其概率，并解释为什么这些输出不是 $|\psi\rangle$ 的克隆。

> 提示：坍缩后只剩 $|0\rangle$ 或 $|1\rangle$，相对相位 $i$ 与叠加结构在第一次测量时就已丢失。

**练习 2【不可克隆定理的内积证明】**（→ [2.1 节](#no-cloning-proof)）

1. 基础：复述内积论证：从 $C$ 同时克隆 $|\psi\rangle$ 与 $|\phi\rangle$ 出发，利用酉算子保持内积导出 $\langle\psi|\phi\rangle = \langle\psi|\phi\rangle^2$，并解出复数 $c = \langle\psi|\phi\rangle$ 的全部可能取值。
2. 进阶：用内积论证证明：不存在酉 $C$ 同时克隆 $|0\rangle$、$|1\rangle$、$|+\rangle$ 三个态，哪怕允许第三个输出寄存器初态换成任意固定态 $|s\rangle$。

> 提示：克隆前后总内积必须相等：$\langle 0|+\rangle\cdot\langle s|s\rangle$ 与 $\langle 00|++\rangle\cdot\langle s'|s'\rangle$ 各等于多少？

**练习 3【推广到一般量子操作】**（→ [2.2 节](#cptp-generalization)）

1. 基础：写出 Stinespring 表示把信道 $\mathcal E$ 化成的形式（酉 + 环境初态 + 部分迹），并陈述 CPTP 保真度单调性 $F\big(\mathcal E(\rho),\mathcal E(\sigma)\big) \ge F(\rho,\sigma)$。
2. 进阶：用保真度单调性证明：不存在 CPTP 信道能把两个非正交纯态 $|\psi\rangle$、$|\phi\rangle$ 各自确定性地变成两份完美拷贝（信道内部允许含测量与辅助系统）。

> 提示：两份完美拷贝之间的保真度是 $|\langle\psi|\phi\rangle|^2$，与输入端的 $|\langle\psi|\phi\rangle|$ 比较大小。

**练习 4【定理的适用边界：正交态与已知态】**（→ [2.3 节](#theorem-scope)）

1. 基础：分别解释"正交基矢可以完美克隆"与"已知态可以随意制备"为何都不违反不可克隆定理，并各举一个具体例子。
2. 进阶：补全 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$）。

> 提示：先把 $|+\rangle|0\rangle$ 展开为 $\frac{1}{\sqrt2}(|00\rangle + |10\rangle)$，再逐项作用 CNOT。

**练习 5【概率克隆与近似克隆】**（→ [3.1 节](#cloning-relaxations)）

1. 基础：写出 Duan–Guo 概率克隆对态集的线性无关条件与 Bužek–Hillery 普适克隆机的最优保真度 $5/6$，并分别指出二者放宽了"完美、确定性克隆"中的哪一个要求；再用 $d$ 维公式 $F = \frac{2d+1}{3d}$ 验证 $d=2$ 的取值，并计算 $d=3$ 时的保真度。
2. 进阶：Bužek–Hillery 克隆机的输出形如 $\rho^{\text{out}}_{12} = \frac{2}{3}|\Psi_{\psi}\rangle\langle\Psi_{\psi}| + \frac{1}{6}\big(I\otimes I - |\Psi_\psi\rangle\langle\Psi_\psi|\big)$ 的结构（$|\Psi_{\psi}\rangle = |\psi\rangle|\psi\rangle$ 为对称化直积）。据此计算单份拷贝的保真度，验证 $F = 5/6$。

> 提示：对第二个比特求部分迹，用 $\operatorname{Tr}_2[I\otimes I] = 2I$ 把约化态整理成 $\frac{5}{6}|\psi\rangle\langle\psi| + \frac{1}{6}|\psi_\perp\rangle\langle\psi_\perp|$ 的形式。

**练习 6【不可删除定理】**（→ [3.2 节](#no-deleting)）

1. 基础：陈述不可删除定理，并说明它与不可克隆定理的对偶关系如何体现"非正交量子信息是守恒资源"。
2. 进阶：证明 no-deleting：不存在酉 $D$，对任意 $|\psi\rangle$ 有 $D\big(|\psi\rangle|\psi\rangle|s\rangle\big) = |\psi\rangle|0\rangle|s'\rangle$（$|s'\rangle$ 可依赖于 $D$ 的设计但不依赖 $\psi$）。

> 提示：克隆机与删除机级联将违反什么？

**练习 7【不可克隆定理的四重后果】**（→ [第 4 节](#no-cloning-consequences)）

1. 基础：说明 QKD 中"先抄一份再转发"的窃听套路为何被定理直接封死、窃听者只剩下什么手段，以及 Wiesner 量子货币为何只有知道制备基的央行能验证。
2. 基础：解释量子纠错为什么不能复制备份，而要把逻辑比特编进纠缠子空间、用稳定子测量只读"错误症候"而不读逻辑信息。
3. 进阶：写出 no-cloning 与"非正交态不可被可靠区分"等价性的两个论证方向："能可靠区分 $\Rightarrow$ 能克隆"与"能克隆 $\Rightarrow$ 能区分"。

> 提示：一个方向是"先区分、再按结果重新制备多份"，另一个方向是"先克隆多份、再做测量统计"。