CNOT：纠缠的最短路径

先备导航：你需要 014（门=表格）、015（张量积与纠缠的长相）、018（幺正资格线）。

下一篇预告：023《面粉与酵母：通用门集与 Clifford+T》。

CNOT：纠缠的最短路径

先说一个经典世界的小机关：一盏由隔壁开关接线的灯。

隔壁开关断开（记 0），这盏灯维持原样；隔壁开关合上（记 1），这盏灯的状态翻转——亮变灭、灭变亮。灯自己没有开关，它的命运完全由隔壁决定。把"隔壁开关"叫控制比特、"这盏灯"叫目标比特，你就已经懂了本篇主角 CNOT 的全部经典语义：如果控制是 1，就翻动目标；控制是 0，什么都不动。

上一批我们给单比特凑齐了三件套，但 003 篇的主角纠缠至今没在"操作层面"露过面——单比特门再多，也永远造不出纠缠（两个各自独立的比特，各自转各自的，何谈"长在一起"）。纠缠需要一个两比特的门，而 CNOT 是最短的那条路。

四行真值表，一条资格线

把经典语义写成表格（014 篇的口味，行=输入、列=输出），两比特共四行：

• 00 → 00（控制 0，不动）
• 01 → 01（控制 0，不动）
• 10 → 11（控制 1，翻转目标）
• 11 → 10（控制 1，翻转目标）

一，控制比特的列纹丝不动——CNOT 永远不碰控制线的值。

二，这个门是可逆的（018 篇的资格线）：四行输入映到四行不同的输出，一一对应，没有合并没有丢弃。而且它和 H 门一样，连跑两次等于没跑（翻转的翻转是不翻转）——用 CNOT 加密过的账，再跑一遍 CNOT 就解密。

三，它是"搬运式"的：表格做的事就是把 10 和 11 两行对调，00、01 两行原地不动。018 篇说幺正操作"只旋转不折纸"，CNOT 是其中最朴实的一类——洗牌：牌不折、不撕、不扔，只是换个顺序。

所以量子版 CNOT 完全合法：把这张表格作用到任何叠加态上，就是对每个基态的振幅各行其是地搬运，长度全保、账目不乱。

最短路径：两个门，从朋友到纠缠

好戏现在开场。让控制比特先经过 H 门（021 篇：把箭头放倒），再接一个 CNOT：

|00⟩ → H 作用在控制上 → (1/√2)(|00⟩ + |10⟩) → CNOT → (1/√2)(|00⟩ + |11⟩)

盯着最后那个态看。015 篇给过判据：能拆成"第一个的账本 ⊗ 第二个的账本"才算独立。试试拆 (|00⟩+|11⟩)/√2：第一比特要同时是 0 和 1，第二比特也得同时是 0 和 1——但配不成：想要第一比特是 0 时第二比特必是 0，第一比特是 1 时第二比特必是 1，两个账本各自单独都不完整。拆不开——这就是纠缠态（003 篇的心灵骰子，数学长相终于现身）。

两个门，三个比特时间步都没有，就从"两个陌生比特"走到了"心灵相通"。这就是标题里"最短路径"的全部含义：H 负责让控制比特拿不定主意，CNOT 负责把这个拿不定主意"传染"给目标——你不是 0 也不是 1？好，那我陪着你一起不是 0 也不是 1，而且我们俩必须同步。

一个重要的误会现场：它不是复印机

CNOT 作用在基态上时，看起来像"复制"：|10⟩ → |11⟩，控制比特的值出现在了目标上。于是很容易滑向一个危险的想法：那把叠加态放上去，是不是就把未知态复制了一份？

不是。把 (a|0⟩+b|1⟩) 喂给控制、|0⟩ 喂给目标，出来的是 a|00⟩+b|11⟩（纠缠态）；而"两份拷贝"应该长成 (a|0⟩+b|1⟩) 配 (a|0⟩+b|1⟩)，展开是 a²|00⟩+ab|01⟩+ab|10⟩+b²|11⟩——中间两项 ab 根本不在 CNOT 的输出里。两种结果完全不同。

CNOT 复制的是"翻不翻"这个决定，不是振幅本身。基态恰好看不出区别（决定只有一档），叠加态一上就现了原形：出来的是纠缠，不是拷贝。这不是 CNOT 设计得不周到——028 篇会证明，任何门都造不出未知的量子复印机（不可克隆定理），而这个定理正是量子密码安全的根。今天先记住现场证据：CNOT 放上去，出来的是纠缠态，跟拷贝长得不一样。

谁控制谁？——一个没有绝对答案的问题

贝尔态 (|00⟩+|11⟩)/√2 里，控制比特和目标比特还分得出身份吗？做一个实验：给两个比特都垫一个 H 门，再跑一遍 CNOT——纠缠态被解开，回到 |00⟩。这个"H 垫底 + CNOT + H 垫底"的组合，效果等于反向的 CNOT（原来的目标发号施令，原来的控制听令）。

也就是说：在换过基的世界里，控制与目标的位置可以对调。纠缠态本身没有"谁指挥谁"——003 篇说纠缠的两个比特"不是甲影响乙，而是第三方'一起'才完整"，今天你见到了这句话的操作版：描述一对纠缠比特，不存在天然的上下级。这一点在 025 篇的隐形传态里会变成实用技术。

把类比拆掉

开关-灯类比借了哪里：

• 不像之一：隔壁开关与这盏灯是两个各自确定的东西——开关要么合要么断，灯要么亮要么灭；量子的"条件翻转"作用在每一行振幅上，控制比特完全可以处于叠加（0 和 1 之间），"条件"本身可以是不确定的。
• 不像之二：灯的状态翻不翻有客观答案；CNOT 过后的纠缠态里，"目标比特此刻是什么"没有答案（015 篇：拆不开），答案只在测量那一刻才诞生（002 篇）。类比只负责"条件执行"这一个骨架。

带走的行李

1. CNOT=条件翻转：控制不动、目标看情况翻；可逆（自逆）、洗牌式幺正——量子版"如果"语句，多比特编程的原话筒。 2. H+CNOT=最短纠缠流水线：两个门从 |00⟩ 造出 (|00⟩+|11⟩)/√2；023 篇将证明"单比特门+CNOT"这套极简组合其实什么都能搭。 3. 它不是复印机：基态上像复制，叠加态上出纠缠——"翻不翻"的决定被复制了，振幅没有；不可克隆定理（028 篇）的现场预演。纠缠态里没有谁控制谁（垫 H 反跑即可对调）。

下一站的钩子：三件套加角度、再加一个 CNOT，手里的门已经多得用不完——但真机只肯给你寥寥几样，凭什么说"够用"？面和酵母的故事，要讲的是一个关于"稀少与万能"的数学奇迹。023《面粉与酵母：通用门集与 Clifford+T》。

#量子计算 #从硬币到纠错 #CNOT #纠缠